Labels Milestones
Back1.95 -4.325 (end 1.95 -4.325 (end 1.95 4.325 (end -1.95 3.35 (end -0.975 4.325 (end 190.1 159.25 (end 140.2 178.5 (end 172.35 128.8475 (end 168.75 111.4625 (end 167.58 112.6325 (end 170.54 127.0375 (end 155.1 157.67 (end 161.04 118.54 (end 156.25 129.25 (end 158.5 127 (end 164.745 127.005 (end 169.1 85 (end 170.595 111.84875 (end 179 130.25 (end 164.6975 85 (end 170.595 111.541474 (end 156.1525 129.5 (end 156.1525 126.75 (end 168.90625 113.5375 (end 168.6 113.6875 (end 161.6 76.4025 (end 161.6 72.75 (end 161.6 72.75 (end 161.6 112.1 (end 163.5 117.5975 (end 162.78 116.8775 (end 156.61 112.1 (end 162.78 113.28 (end 167.5 95.706712 (end 159.1 134.838478 (end 159.1 87.306712 (end 163 109.7525 (end 162.6 108.098177 (end 163 108.25 (end 173 103.541823 (end 173 107.48995 (end 171.78995 108.7 (end 167.07 112.085 (end 168.25 108.25 (end 162.724089.
- 9.381525e+01 1.855000e+01 vertex -1.042959e+02.
- -0.106258 0.890411 facet normal -0.0819349.
- Export 45cf8c00cd Merge pull request 'Put title box.
- 1.058129e+02 3.455000e+01 facet normal -6.869846e-01 -7.266720e-01 0.000000e+00.
- Module make_surface(filename, h) { } module make_step(bottom_element="switch") .