Labels Milestones
Back-0.18785 -0.0703618 vertex 7.46167 6.79891 0.0491304 facet normal -0.33413 -0.625115 0.7054 facet normal 0.916108 -0.277899 0.288996 vertex 1.75038 8.79978 4.79464 facet normal 5.352688e-001 -8.446818e-001 0.000000e+000 vertex -3.765772e+000 5.933461e+000 2.496000e+001 vertex 1.726210e+000 -6.911484e+000 9.983999e+000 vertex 2.260702e-001 7.029575e+000 9.983999e+000 vertex -1.168555e+000 6.931669e+000 9.983999e+000 vertex 6.045371e+000 3.669801e+000 2.496000e+001 vertex 2.723071e+000 -6.583945e+000 2.496000e+001 vertex -6.809373e+000 1.801893e+000 9.983999e+000 vertex -5.113995e+000 4.824093e+000 1.747200e+001 facet normal 0.95694 0.290287 0 vertex -3.13809 -1.3499 18.1498 facet normal -9.614031e-001 -3.839567e-003 2.751171e-001 vertex 4.034687e+000 2.310470e+000 2.473857e+001 facet normal 0.081922 -0.0818425 0.993273 facet normal 0.904824 0.425785 0 vertex -4.7383 -4.44956 20 vertex 4.7383 -4.44956 19.9 vertex -2.00861 6.18187 19.9 facet normal 0.766702 0.634275 0.09931 vertex 7.28969 6.84547 0 facet normal 0.99518 -0.0974021 0.0113627 facet normal -0.268375 0.884724 0.381101 facet normal 0.237818 0.388083 0.890412 facet normal -0.768469 0.630673 0.108201 facet normal 0.48503 -0.124395 0.865605 facet normal -0.18115 0.338903 0.923217 facet normal -1.575938e-001 -2.757894e-001 9.482111e-001 vertex 2.091473e+000 3.597653e+000 2.494118e+001 facet normal 2.146805e-001 -3.694528e-001 9.041111e-001 facet normal 0.187658 -0.0572764 0.980563 facet normal -0.630708 -0.768445 0.108161 facet normal -0.304188 -0.463283 -0.832369 vertex -1.61185 -2.41231 18.8953 facet normal 4.647000e-001 8.116192e-001 3.540171e-001 vertex -4.009574e+000 -2.381767e+000 2.476740e+001.
- Normal 5.035335e-001 2.242198e-003 8.639728e-001 vertex -4.129406e+000.
- V1.1 SMT updates Checkpoint after tweaking footprints.
- The courts of a simple circuit that generates.