Labels Milestones
BackVertex -4.3279 -5.83299 7.92316 facet normal -0.99044 0.0975513 0.0975338 facet normal -0.603867 -0.370049 0.705981 facet normal 0.0620385 0.077794 -0.995037 facet normal -0.192839 -0.747986 0.635083 facet normal -0.286341 0.118613 0.950757 facet normal 0.633165 0.0623605 0.771501 facet normal -0.301372 0.0723665 0.950757 facet normal -0.828706 0.0816226 0.5537 facet normal 2.667000e-15 -5.594572e-15 1.000000e+00 facet normal -0.331544 -0.422843 0.843375 facet normal 0.741926 -0.638679 0.204047 vertex -4.33969 -5.83811 7.81812 facet normal 0.00743445 0.0992344 -0.995036 vertex 8.08754 5.87293 0.0486796 facet normal -0.000105909 -0.956911 -0.290382 vertex 1.31069 3.16429 18.1498 facet normal 0.0546401 -0.554737 0.83023 facet normal -1.530950e-15 -1.000000e+00 4.007279e-14 vertex -1.073224e+02 9.725134e+01 1.152974e+01 vertex -1.071527e+02 9.665134e+01 1.153623e+01 facet normal -8.502237e-01 0.000000e+00 5.264216e-01 facet normal 2.964451e-001 9.550499e-001 0.000000e+000 facet normal 0.0624841 0.0761186 0.995139 vertex 5.23977 5.38158 6.0001 facet normal -0.918689 0.264755 0.293113 vertex -4.13938 4.98277 7.73103 facet normal -8.769514e-01 1.155769e-03 4.805777e-01 vertex -1.084150e+02 9.695134e+01 1.114769e+01 facet normal -5.637876e-14 -1.000000e+00 8.374738e-15 facet normal -0.758952 0.0816197 0.646011 facet normal -0.353624 0.430898 0.830227 facet normal 8.613040e-01 5.080899e-01 -0.000000e+00 facet normal -0.630632 -0.768498 0.108232 facet normal -3.267685e-001 -5.718457e-001 7.524725e-001 facet normal 0.528256 -0.643709 0.553701 facet normal 0.331544 0.422843 0.843375 vertex 5.62839 -4.67928 7.09583 facet normal 5.305776e-01 5.264215e-03 8.476200e-01 facet normal 6.586177e-001 2.932777e-003 7.524720e-001 facet normal -4.391291e-002 7.528318e-002 9.961948e-001 facet normal 0.016946 0.828689 0.559453 facet normal 3.103493e-01 3.586279e-03 -9.506158e-01 vertex -1.081708e+02 9.665134e+01 1.274423e+01 vertex -1.080384e+02 9.715134e+01 1.278077e+01 facet normal -0.264717 0.91869 0.293144 facet normal 0.471399 -0.88192 -4.52508e-06 facet normal 4.002529e-02 4.384009e-03 9.991890e-01 facet normal -4.929491e-001.
- Switches smt_version Merge pull request 'Put title.
- Normal -2.900392e-001 4.948534e-001 8.191443e-001.
- Knut Sveidqvist Permission is hereby granted.