Labels Milestones
BackNormal 0.22241 -0.884711 0.409659 vertex 7.16087 1.01235 7.60514 vertex -4.43088 -5.75031 7.41293 facet normal 0.615693 -0.525853 0.586857 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.725134e+01 1.278077e+01 facet normal -0.16633 -0.219559 0.961316 facet normal 6.716636e-001 2.828501e-003 7.408509e-001 facet normal 0.83125 0.555899 4.94372e-08 vertex 2.40319 -2.4343 6.59 facet normal -0.0938358 -0.952717 0.289008 vertex 0 -7.79364 5.97318 facet normal 0.740023 0.60732 0.289014 facet normal -0.992165 0.101034 0.0734901 facet normal -0.0378714 0.382337 0.923247 facet normal -0.125325 -0.992116 -0 facet normal 9.407388e-01 -3.391319e-01 -3.084939e-04 facet normal -0.654326 -0.271034 0.705973 facet normal -9.989544e-01 -3.202262e-04 -4.571741e-02 facet normal 4.478014e-001 7.852051e-001 4.276995e-001 vertex 4.685031e-002 -5.883039e+000 2.479508e+001 facet normal -0.106257 -0.442581 0.890411 facet normal -8.443595e-01 1.798249e-03 -5.357740e-01 vertex -1.084229e+02 9.665134e+01 1.058613e+01 vertex -1.078264e+02 9.665134e+01 1.028031e+01 vertex -1.084024e+02 9.665134e+01 1.055388e+01 facet normal 9.964600e-01 8.406740e-02 -2.572556e-04 facet normal -0.11511 7.7227e-05 0.993353 vertex -0.209414 -6.29114 7.71246 facet normal -0.734383 0.392551 0.553702 facet normal 3.734794e-001 -6.399524e-001 6.715460e-001 facet normal -0.768461 0.630682 0.108208 facet normal -0.995114 -0.0980109 -0.0119198 facet normal 0.768425 -0.630723 0.108218 facet normal -0.305573 0.114506 0.945258 vertex 4.95759 -5.32576 6.89409 facet normal -0.282974 -0.360201 0.888921 facet normal 4.840700e-001 8.495575e-001 2.095909e-001 vertex 3.738381e-002 -4.684811e+000 2.473857e+001 facet normal -0.262733 0.257269 0.929938 facet normal -7.406479e-01 -6.718933e-01 3.225159e-04 vertex -9.219327e+01 9.392257e+01 4.255000e+01 facet normal -4.496505e-001 -7.868879e-001 4.226369e-001 facet normal 0.0980045 0.995186 -0 vertex 5.96308 -8.22545 0 vertex -6.04355 -2.39281 19.9 facet normal -0.499998 -0.866026 0 facet normal -0.282966 0.360203 0.888923 facet normal -0.828696 0.081619 0.553716 facet normal 4.225832e-001 9.496832e-004 9.063236e-001 vertex -5.166329e+000 1.988451e+000 2.491820e+001 facet normal -3.817616e-02 -3.280157e-03 9.992656e-01 vertex -1.073224e+02 9.665134e+01 1.152974e+01 facet normal -0.137635 -0.106825 0.984705 vertex 5.32461 5.12711 6.87554 vertex -7.39065 0.0879059 6.86646 facet normal -0.891007 0.45399 0 facet normal -0.525853 -0.615693 0.586857 vertex 6.19038 -1.70385 19.9 facet normal -0.468222 0.88192 0.0546261 facet normal 0.433885 0.900968 -0 facet normal 0.288901 0.952377 0.0975456 facet normal -0.773356 0.633859 -0.0119696 facet normal -0.0973878 0.989349 0.108188 facet normal -0.938727 -0.284751 0.194185 facet normal 1.087044e-001 4.840526e-004 9.940740e-001 facet normal -0.18809 -0.243721 0.951432 facet normal -0.118614 -0.286341 0.950757 facet normal -9.964629e-01 8.403365e-02 -2.572556e-04 facet normal -0.995111 -0.0980359 -0.0119751 facet normal 0.097575 -0.990435 0.0975568 vertex 1.75581 -8.82707 3 vertex 8.30568 -3.44384 3 vertex -1.75094 -8.81921 3 vertex -3.44096 -8.30722 3 vertex -1.75419 -8.81889 3 vertex 3.44384 -8.30568 3 vertex -8.81889 -1.75419 3 vertex -7.4763 4.9955 3 vertex -7.47422 4.99803 3 vertex -1.75094 8.81921 3.
-
X="3.7" y="3.0"/>
Updates SMT updates SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b - -9.617960e+01 1.059924e+02 1.055000e+01 vertex -9.838217e+01 9.177819e+01.