//
// time: Wed Apr  9 15:46:24 1997
//
// version: 3.1.1 (format), 3.1.4 (DX Beta)
//
// Message Window:
// window: position = (0.5,0.5), size = 0.4x0.4
// inaccessible panels:
// inaccessible groups:
//
// panel[0]: position = (0.0133,0.0547), size = 0.2617x0.1865, startup = 1, devstyle = 1
// title: value = Control Panel
//
// workspace: width = 500, height = 500
// layout: snap = 0, width = 50, height = 50, align = UL
//
// interactor Selector[1]: num_components = 1, value = 1 
// selections: maximum = 3, current = 0 
// option[0]: name = "smooth colormap", value = 1
// option[1]: name = "stepped colormap", value = 2
// option[2]: name = "constructed colormap", value = 3
// instance: panel = 0, x = 41, y = 13, style = Option Menu, vertical = 1, size = 226x81
//
// node Colormap[1]:
// input[1]: defaulting = 0, value = { [0.0 0.666667] [1.0 0.0] }
// input[2]: defaulting = 0, value = { [0.0 1.0] [1.0 1.0] }
// input[3]: defaulting = 0, value = { [0.0 1.0] [1.0 1.0] }
// input[4]: defaulting = 0, value = { [0.0 1.0] [1.0 1.0] }
// input[5]: defaulting = 0, value = "Colormap_1"
// input[7]: defaulting = 1, value = 0.0
// input[8]: defaulting = 1, value = 0.75
// input[9]: defaulting = 1, value = 20
// input[12]: defaulting = 0, value = { 0.0 0.75 }
// window: position = (0.2969,0.0000), size = 0.5078x0.4395
//
// node Colormap[2]:
// input[1]: defaulting = 0, value = { [0.0 0.906667] [0.058823467 0.906667] [0.058823467 0.666667] [0.22172 0.666667] [0.22172 0.426667] [0.47963867 0.426667] [0.47963867 0.213333] [0.77828 0.213333] [0.77828 0.08] [0.86877867 0.08] [0.86877867 0.0] [1.0 0.0] }
// input[2]: defaulting = 0, value = { [0.0 1.0] [0.058823467 1.0] [0.058823467 1.0] [0.22172 1.0] [0.22172 1.0] [0.47963867 1.0] [0.47963867 1.0] [0.77828 1.0] [0.77828 1.0] [0.86877867 1.0] [0.86877867 1.0] [1.0 1.0] }
// input[3]: defaulting = 0, value = { [0.0 1.0] [0.058823467 1.0] [0.058823467 1.0] [0.22172 1.0] [0.22172 1.0] [0.47963867 1.0] [0.47963867 1.0] [0.77828 1.0] [0.77828 1.0] [0.86877867 1.0] [0.86877867 1.0] [1.0 1.0] }
// input[4]: defaulting = 0, value = { [0.0 1.0] [1.0 1.0] }
// input[5]: defaulting = 0, value = "Colormap_2"
// input[7]: defaulting = 1, value = 0.0
// input[8]: defaulting = 1, value = 0.75
// input[9]: defaulting = 1, value = 20
// input[12]: defaulting = 0, value = { 0.0 0.75 }
// window: position = (0.3828,0.1709), size = 0.5078x0.4395
//
// node Image[2]:
// depth: value = 24
// window: position = (0.3844,0.0742), size = 0.5109x0.5117
// input[1]: defaulting = 0, value = "Image_2"
// input[4]: defaulting = 0, value = 1
// input[5]: defaulting = 0, value = [0.95 -0.05 -1.4]
// input[6]: defaulting = 0, value = [0.95 -0.05 16.3725]
// input[7]: defaulting = 0, value = 9.52428
// input[8]: defaulting = 0, value = 640
// input[9]: defaulting = 0, value = 0.75
// input[10]: defaulting = 0, value = [0 1 0]
// input[11]: defaulting = 1, value = 30.0001
// input[12]: defaulting = 0, value = 0
// input[14]: defaulting = 0, value = 1
// input[19]: defaulting = 0, value = 0
// input[29]: defaulting = 1, value = 0
// internal caching: 1