//
// time: Wed Apr  9 15:37:33 1997
//
// version: 3.1.1 (format), 3.1.4 (DX Beta)
//
// Message Window:
// window: position = (0.5,0.5), size = 0.4x0.4
//
// panel[0]: position = (0.6859,0.2129), size = 0.2484x0.1719, startup = 1, devstyle = 1
// title: value = RubberSheet Control Panel
//
// workspace: width = 500, height = 500
// layout: snap = 0, width = 50, height = 50, align = UL
//
// panel[1]: position = (0.6844,0.2139), size = 0.2500x0.1758, startup = 1, devstyle = 1
// title: value = Contours Control Panel
//
// workspace: width = 500, height = 500
// layout: snap = 0, width = 50, height = 50, align = UL
//
// panel[2]: position = (0.6828,0.0029), size = 0.2516x0.1836, startup = 1, devstyle = 1
// title: value = Control Panel
//
// workspace: width = 500, height = 500
// layout: snap = 0, width = 50, height = 50, align = UL
//
// interactor Scalar[1]: num_components = 1, value = 0.0006 
// component[0]: minimum = 0, maximum = 0.005, global increment = 0.0001, decimal = 5, global continuous = 0
// instance: panel = 0, x = 75, y = 15, style = Stepper, vertical = 1, size = 154x62
// local continuous: value = 0, mode = global
// local increment[0]: value = 1, mode = global
//
// node Colormap[1]:
// input[1]: defaulting = 0, value = { [0.0 0.666667] [0.92948718 0.57894737] [0.93276884 0.18947368] [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 = -5498.0
// input[8]: defaulting = 1, value = 407.0
// input[9]: defaulting = 1, value = 20
// input[12]: defaulting = 0, value = { -5498.0 407.0 }
// input[17]: defaulting = 0, value = -5498.0
// input[18]: defaulting = 0, value = 407.0
// window: position = (0.3242,0.4854), size = 0.5078x0.4395
//
// interactor Selector[1]: num_components = 1, value = 1 
// selections: maximum = 2, current = 0 
// option[0]: name = "contour lines", value = 1
// option[1]: name = "rubbersheet", value = 2
// instance: panel = 2, x = 79, y = 19, style = Radio Button, vertical = 1, size = 131x79
//
// interactor Integer[1]: num_components = 1, value = 5 
// component[0]: minimum = 1, maximum = 30, global increment = 1, decimal = 0, global continuous = 0
// instance: panel = 1, x = 78, y = 13, style = Stepper, vertical = 1, size = 176x56
// label: value = number of contour lines
// local continuous: value = 0, mode = global
// local increment[0]: value = 1, mode = global
//
// node Image[3]:
// depth: value = 24
// window: position = (0.2406,0.0303), size = 0.4148x0.4111
// input[1]: defaulting = 0, value = "Image_3"
// input[4]: defaulting = 0, value = 1
// input[5]: defaulting = 0, value = [275 29.1667 -1.5273]
// input[6]: defaulting = 0, value = [275 29.1667 66.718]
// input[7]: defaulting = 0, value = 36.5727
// input[8]: defaulting = 0, value = 517
// input[9]: defaulting = 0, value = 0.73
// 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 = 0, value = 0
// internal caching: 1
