// time: Thu Jan  5 14:51:24 1995
//
// version: 2.0.2 (format), 2.1.0 (DX)
//
//
// panel[0]: x = 919, y = 83, width = 405, height = 835, startup = 1
// title: value = Control Panel
// workspace: width = 500, height = 793
// layout: snap = 0, width = 50, height = 50, align = UL
//
// interactor VectorList[1]: num_components = 3, value = { [1.00000 1.00000 1.00000 ], [1.00000 -1.00000 -1.00000 ], [-1.00000 -1.00000 1.00000 ], [-1.00000 1.00000 -1.00000 ] }
// component[0]: minimum = -10, maximum = 10, global increment = 0.01, decimal = 2, global continuous = 0
// component[1]: minimum = -10, maximum = 10, global increment = 0.01, decimal = 2, global continuous = 0
// component[2]: minimum = -10, maximum = 10, global increment = 0.01, decimal = 2, global continuous = 0
// instance: panel = 0, x = 2, y = 7, style = List Editor, vertical = 1
// label: value = vertex list
// local continuous: value = 0, mode = global
// local increment[0]: value = 1, mode = global
// local increment[1]: value = 1, mode = global
// local increment[2]: value = 1, mode = global
//
// interactor VectorList[2]: num_components = 3, value = { [0.00000 2.00000 1.00000 ], [0.00000 1.00000 3.00000 ], [0.00000 3.00000 2.00000 ], [1.00000 2.00000 3.00000 ] }
// component[0]: minimum = 0, maximum = 100, global increment = 1, decimal = 0, global continuous = 0
// component[1]: minimum = 0, maximum = 100, global increment = 1, decimal = 0, global continuous = 0
// component[2]: minimum = 0, maximum = 100, global increment = 1, decimal = 0, global continuous = 0
// instance: panel = 0, x = 3, y = 260, style = List Editor, vertical = 1
// label: value = face list
// local continuous: value = 0, mode = global
// local increment[0]: value = 1, mode = global
// local increment[1]: value = 1, mode = global
// local increment[2]: value = 1, mode = global
//
// interactor Selector[1]: num_components = 1, value = 1
// selections: maximum = 3, current = 0
// option[0]: name = "tetrahedron", value = 1
// option[1]: name = "octahedron", value = 2
// option[2]: name = "cube", value = 3
// instance: panel = 0, x = 15, y = 529, style = Option Menu, vertical = 1
// label: value = Shape
//
// interactor Selector[2]: num_components = 1, value = 0
// selections: maximum = 2, current = 1
// option[0]: name = "yes", value = 1
// option[1]: name = "no", value = 0
// instance: panel = 0, x = 181, y = 527, style = Option Menu, vertical = 1
// label: value = Save Shape?
//
// interactor FileSelector[1]: num_components = 1, value = "/afs/theory.cornell.edu/user/tc/bruce/junk.dx"
// instance: panel = 0, x = 12, y = 630, style = FileSelector, vertical = 1
// filter = /afs/theory.cornell.edu/user/tc/bruce/*.dx
//
// node Image[1]: