Labels Milestones
Back0.766718 0.634283 0.0991387 vertex 6.47214 -4.70228 20 vertex -6.44874 -0.814666 19.9 vertex 5.165 2.35444 19.9 facet normal -0.0376247 -0.382437 0.923215 vertex -1.71116 -8.83147 3.82299 facet normal 0.081929 0.133699 0.98763 facet normal 0.0816197 -0.758952 0.646011 facet normal -0.945995 0.308563 0.0994105 facet normal -5.964255e-001 8.026685e-001 0.000000e+000 vertex -4.337701e+000 5.530056e+000 9.983999e+000 vertex 4.344010e+000 3.615769e+000 2.496000e+001 vertex 2.434567e+000 -5.153887e+000 2.496000e+001 vertex -6.260352e+000 -3.300258e+000 2.496000e+001 vertex 6.433005e+000 -3.038559e+000 1.747200e+001 facet normal 0.950499 -0.290271 0.110881 vertex 6.27889 0.209414 7.81747 facet normal -0.995186 0.0980092 3.9263e-06 facet normal 1.226511e-001 -1.990748e-004 9.924498e-001 facet normal 0.0363537 -0.092629 -0.995037 vertex -8.08542 -5.87701 0.0420632 facet normal 0.237818 0.388083 0.890412 facet normal -0.192821 -0.747983 0.635092 facet normal -0.0546401 0.554737 0.83023 facet normal 2.890015e-001 -4.954571e-001 8.191462e-001 vertex -2.565695e+000 4.392734e+000 2.488700e+001 facet normal 9.013770e-01 -2.530432e-03 4.330278e-01 vertex -1.092141e+02 9.695134e+01 9.850273e+00 vertex -1.092228e+02 9.665134e+01 9.866685e+00 facet normal -3.566373e-01 9.342428e-01 3.501715e-04 vertex -1.005052e+02 1.053817e+02 1.055000e+01 vertex -9.838217e+01 1.060245e+02 2.550000e+00 facet normal 5.628345e-001 8.265696e-001 -0.000000e+000 vertex 5.645941e+000 5.707424e-001 2.496000e+001 vertex 7.057426e+000 7.134280e-001 1.747200e+001 facet normal -0.528262 -0.643692 0.553714 vertex 5.64888 7.91125 3.26879 facet normal -0.0868543 -0.0464227 0.995139 vertex -5.51093 -5.51093 5.97318 vertex 4.25594 -6.18898 6.0001 facet normal 0.608832 -0.184686 0.771502 facet normal 0.0729058 -0.338907 0.937991 facet normal -9.529315e-01 -3.031856e-01 -3.901305e-05 facet normal 0.734373 -0.325742 0.595474 facet normal -0.0817037 0.0823248 0.993251 vertex 5.59201 -4.18951 7.89187 facet normal 9.991951e-01 0.000000e+00 -4.011372e-02 facet normal 4.463730e-08 1.000000e+00 -0.000000e+00 facet normal -4.792329e-001 -8.386580e-001 2.588213e-001 facet normal -2.129179e-001 3.650216e-001 9.063251e-001 facet normal 0.299918 0.561107 0.771497 vertex -3.27641 7.90994 5.56266 facet normal -8.613040e-01 -5.080899e-01 3.257410e-04 facet normal 0.000138976 -0.113303 0.99356 vertex 0 -9.46879 3.54602 vertex 1.59974 -9.31122 3.54602 facet normal -0.468073 0.31275 -0.826496 vertex 2.31466 -1.79825 18.88 vertex 2.48005 1.89374 18.7502 vertex 2.92547 1.22714 18.7502 vertex 2.92253 -1.22544 18.7525 facet normal 0.220665 0.32036 0.921236 facet normal -0.0992428 -8.20381e-05 0.995063 vertex 7.90683 1.19177 19.9411 facet normal -0.39254 -0.665267 0.635084 facet normal -7.011925e-01 3.483989e-03 7.129634e-01 vertex -1.047732e+02 9.665134e+01 9.412657e+00 facet normal 0.261456 -0.103805 0.959617 facet normal 0.191476 0.962626 -0.191544 facet normal -0.816088 0.545288 -0.191472 facet normal -0.241727 0.796853 0.553709 facet normal -0.608832 0.184686 0.771502 facet normal -0.0153859 -0.484645 0.874575 facet normal -9.194819e-001 -3.931324e-001 0.000000e+000 vertex 6.433005e+000 -3.038559e+000 1.747200e+001 facet normal -0.100994 -0.992167 0.0735183 facet normal -0.0948182 0.029279 0.995064 vertex 7.75351 -1.99076 19.95 facet normal 0.353597 -0.430898 0.830239 facet normal -1.215679e-14 -1.000000e+00 -4.728938e-15 facet normal 0.114971 -8.78678e-05 0.993369 vertex -6.27889 0.209414 7.81747 vertex 6.33956.
- 3.531812e-04 facet normal -1.546389e-15 5.482183e-16 -1.000000e+00 facet.
- 0.6mm; http://ww1.microchip.com/downloads/en/DeviceDoc/39969b.pdf Zynq-7000 BGA, 34x34 grid, 35x35mm package.
- Implicitly verifying that all code is defined as.