//
// time: Wed Apr  9 15:44:58 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.0406,0.0752), size = 0.1992x0.2754, startup = 1, devstyle = 1
//
// workspace: width = 500, height = 500
// layout: snap = 0, width = 50, height = 50, align = UL
//
// interactor Selector[1]: num_components = 1, value = 2 
// selections: maximum = 3, current = 1 
// option[0]: name = "rubbersheet", value = 1
// option[1]: name = "contour lines", value = 2
// option[2]: name = "colored", value = 3
// instance: panel = 0, x = 30, y = 26, style = Radio Button, vertical = 1, size = 152x129
//
// node Image[2]:
// depth: value = 24
// window: position = (0.3328,0.2471), size = 0.5109x0.5117
// input[1]: defaulting = 0, value = "Image_2"
// input[4]: defaulting = 0, value = 1
// input[5]: defaulting = 0, value = [273.51 29.1667 0]
// input[6]: defaulting = 0, value = [273.51 29.1667 60.7733]
// input[7]: defaulting = 0, value = 32.5684
// 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
