Labels Milestones
BackVertex 5.23977 5.38158 6.0001 facet normal -0.442582 -0.106257 0.890411 vertex 5.56465 -0.378418 18.9636 vertex 4.4 -1.22459 18.9636 vertex 5.99016 0.516674 19.1916 vertex 3.17844 -1.68133 19.4867 facet normal -4.648441e-001 -8.134769e-001 3.495358e-001 vertex 6.005185e-001 4.298988e+000 2.480400e+001 facet normal 0.865125 -0.436815 0.246476 facet normal -1.581495e-001 -2.754702e-001 9.482114e-001 facet normal 0.634804 -0.772589 0.0114014 facet normal -5.555843e-01 8.314602e-01 -1.243039e-04 facet normal 0.0819177 -0.0822333 -0.993241 facet normal 0.0973802 0.995182 0.011361 facet normal -0.488318 -0.595015 -0.638359 facet normal -5.142143e-001 8.576617e-001 0.000000e+000 vertex 5.444320e+000 -1.646057e+000 9.983999e+000 vertex 5.444320e+000 -1.646057e+000 2.496000e+001 vertex 2.928430e+000.
-
Pin="11"/>
-=1 difference() { union() { difference(){ color([.1,.1,.1]) panel(width. - -0.525866 0.586681 facet normal 0.21962 0.166294 0.961308 vertex.