//
// time: Tue Apr 23 20:53:45 2002
//
// version: 3.1.2 (format), 4.1.3 (DX)
//
//
// panel[0]: position = (0.2469,0.2920), size = 0.2930x0.4395, startup = 1, devstyle = 1
// title: value = Options
//
// workspace: width = 500, height = 500
// layout: snap = 0, width = 20, height = 20, align = NN
//
// interactor Integer[1]: num_components = 1, value = 1 
// component[0]: minimum = 0, maximum = 3, global increment = 1, decimal = 0, global continuous = 0
// instance: panel = 0, x = 0, y = 7, style = Stepper, vertical = 1, size = 226x52
// label: value = reduction exponent
// local continuous: value = 0, mode = global
// local increment[0]: value = 1, mode = global
//
// interactor Scalar[1]: num_components = 1, value = 0.500000 
// component[0]: minimum = 0, maximum = 1, global increment = 0.1, decimal = 2, global continuous = 0
// instance: panel = 0, x = 0, y = 90, style = Stepper, vertical = 1, size = 226x52
// label: value = rubber sheet scale factor
// local continuous: value = 0, mode = global
// local increment[0]: value = 1, mode = global
//
// node Image[2]:
// title: value = Colorado
// depth: value = 24
// window: position = (0.0406,0.3516), size = 0.3187x0.3506
// input[1]: defaulting = 0, value = "Image_2"
// input[4]: defaulting = 0, value = 1
// input[5]: defaulting = 0, value = [196.368 193.184 57.397]
// input[6]: defaulting = 0, value = [625.786 -755.708 806.556]
// input[7]: defaulting = 0, value = 344.652
// input[8]: defaulting = 0, value = 394
// input[9]: defaulting = 0, value = 0.805838
// input[10]: defaulting = 0, value = [-0.0583675 0.6022 0.796209]
// input[11]: defaulting = 1, value = 15.3
// input[12]: defaulting = 0, value = 0
// input[14]: defaulting = 0, value = 1
// input[15]: defaulting = 1, value = "none"
// input[16]: defaulting = 1, value = "none"
// input[17]: defaulting = 1, value = 1
// input[18]: defaulting = 1, value = 1
// input[19]: defaulting = 0, value = 0
// input[29]: defaulting = 1, value = 0
// input[41]: defaulting = 0, value = "rotate"
// input[42]: defaulting = 0, value = "Colorado"
// internal caching: 1
//
// node Image[4]:
// depth: value = 24
// window: position = (0.3859,0.3711), size = 0.3187x0.3506
// input[1]: defaulting = 0, value = "Image_4"
// input[4]: defaulting = 0, value = 1
// input[5]: defaulting = 0, value = [196.368 193.184 57.397]
// input[6]: defaulting = 0, value = [625.786 -755.708 806.556]
// input[7]: defaulting = 0, value = 344.652
// input[8]: defaulting = 0, value = 394
// input[9]: defaulting = 0, value = 0.805838
// input[10]: defaulting = 0, value = [-0.0583675 0.6022 0.796209]
// input[11]: defaulting = 1, value = 15.3
// input[12]: defaulting = 0, value = 0
// input[14]: defaulting = 0, value = 1
// input[15]: defaulting = 1, value = "none"
// input[16]: defaulting = 1, value = "none"
// input[17]: defaulting = 1, value = 1
// input[18]: defaulting = 1, value = 1
// input[19]: defaulting = 0, value = 0
// input[21]: defaulting = 0, value = 1
// input[29]: defaulting = 1, value = 0
// internal caching: 1
