amb_space 8
inhom_inequalities 729
0 0 -4 -4 -2 0 0 0 72 
-2 -2 -10 -12 -6 0 0 0 216 
-4 -2 -8 -8 -8 0 0 0 192 
-12 6 8 -16 -8 0 0 0 288 
-4 2 0 -4 -4 0 0 0 96 
-5 1 -4 -6 -6 0 0 0 144 
-8 -2 -10 -12 -12 0 0 0 288 
-4 2 -4 -2 -4 0 0 0 96 
-7 -1 -10 -8 -10 0 0 0 240 
-8 -2 -12 -8 -12 0 0 0 288 
-8 -2 -8 -16 -8 0 0 0 288 
-4 2 -8 0 0 0 0 0 96 
0 6 -8 4 8 0 0 0 0 
4 6 -8 0 8 0 0 0 0 
2 2 -4 -2 2 0 0 0 24 
-24 -6 -40 -16 -32 0 0 0 864 
0 0 -2 -2 2 0 0 0 24 
4 10 -16 0 24 0 0 0 0 
1 1 -4 0 12 0 0 0 0 
0 6 -16 8 40 0 0 0 0 
-4 2 -16 16 32 0 0 0 96 
-8 -2 -16 0 0 0 0 0 288 
-4 2 8 -8 8 0 0 0 96 
-8 -2 8 -24 24 0 0 0 288 
0 2 -8 8 24 0 0 0 0 
-1 -1 -4 -8 8 0 0 0 96 
-12 -6 -16 -40 16 0 0 0 576 
-4 -2 0 -16 16 0 0 0 192 
-8 -6 -24 -32 -16 0 0 0 576 
-12 -6 -20 -32 -16 0 0 0 576 
-16 -10 -40 -56 -16 0 0 0 960 
0 0 -7 -7 -6 -1 0 -1 160 
-4 -4 -21 -21 -18 -1 0 -3 480 
-4 -4 -12 -4 -8 4 2 -4 192 
-16 -8 -28 -28 -24 4 2 -4 640 
-8 -6 -28 -28 -24 0 0 -4 640 
-8 0 -8 -8 -8 4 2 0 192 
-12 -4 -16 -16 -16 4 2 0 384 
-20 -12 -42 -42 -36 4 2 -6 960 
-9 -1 -11 -9 -10 3 2 -1 240 
2 2 4 0 0 -4 -2 0 0 
-22 -4 -24 -28 -24 8 4 -4 640 
-60 -20 -76 -84 -72 20 10 -12 1920 
-32 -22 -84 -84 -72 4 2 -12 1920 
-28 -10 -44 -36 -40 8 4 -4 960 
-36 -12 -52 -44 -48 12 6 -4 1152 
-23 -7 -33 -27 -30 7 4 -3 720 
-48 -24 -88 -72 -80 12 6 -8 1920 
-96 -40 -160 -128 -144 28 14 -16 3456 
-15 -7 -26 -20 -24 4 2 -4 576 
-12 -4 -20 -12 -16 4 2 0 384 
-11 -3 -17 -11 -14 3 2 -1 336 
-8 0 -12 -4 -8 4 2 0 192 
0 0 -4 4 0 4 2 0 0 
0 2 -8 8 0 8 4 -2 0 
-12 12 -28 12 -8 20 10 -4 192 
-12 12 -20 4 -8 12 6 -2 192 
-48 -24 -92 -60 -80 12 6 -4 1920 
-15 -7 -28 -18 -24 4 2 -2 576 
-42 -18 -76 -40 -64 12 6 -8 1536 
-12 -4 -20 4 -16 4 2 -4 384 
-60 -20 -102 18 -76 14 10 -18 1920 
-60 -20 -102 -46 -76 14 10 -2 1920 
-22 -6 -37 -17 -26 5 4 -1 672 
-22 -4 -36 -16 -24 4 4 0 640 
-40 0 -64 -16 -32 8 10 0 960 
-4 4 -8 0 0 0 2 0 64 
0 8 -6 2 4 -2 2 0 0 
8 18 -8 0 8 -8 2 0 0 
36 60 -28 -4 24 -28 6 -4 64 
28 36 -20 -12 8 -20 2 -4 192 
4 4 -5 -5 -2 -3 0 -1 96 
4 6 -4 -4 0 -4 0 0 64 
0 0 -5 -5 -2 -1 0 -1 96 
0 0 -1 -1 0 0 0 0 16 
-6 0 -8 12 -8 0 0 -4 192 
-6 0 -8 -4 -8 0 0 0 192 
-30 -8 -48 -20 -40 8 4 -4 960 
-32 -8 -52 -20 -40 12 6 -4 960 
-32 -8 -52 44 -40 12 6 -20 960 
-30 -8 -48 12 -40 8 4 -12 960 
-16 -6 -28 -12 -24 4 2 -4 576 
-8 0 -8 -8 -8 4 2 -2 208 
-7 1 -5 -7 -6 3 2 -1 160 
-12 12 0 -8 -8 8 6 0 192 
-9 7 -1 -7 -6 5 4 -1 160 
-20 -4 -20 -28 -24 4 2 -4 640 
-5 3 -2 -4 -4 2 2 0 96 
-6 0 -4 -8 -8 0 0 0 192 
-18 -2 -17 -21 -18 7 4 -3 480 
-19 -3 -20 -22 -20 8 4 -4 528 
-30 -4 -32 -36 -40 4 2 -4 960 
-36 -4 -32 -40 -48 0 2 -8 1152 
-36 -12 -48 -40 -48 8 6 -8 1152 
-8 0 -4 -4 -8 4 2 -4 192 
-6 0 0 -4 -8 0 0 -4 192 
-12 -4 -8 -8 -16 4 2 -8 384 
-48 -24 -48 -40 -80 12 6 -40 1920 
-16 2 -20 -12 -16 4 4 0 384 
-24 0 -32 -16 -24 8 6 0 576 
-17 -1 -23 -13 -18 5 4 -1 432 
-28 12 -36 -12 -24 12 10 -4 576 
-52 36 -92 12 -40 52 26 -12 960 
0 4 -14 10 4 6 6 -2 0 
-72 -32 -120 -104 -112 16 10 -8 2688 
0 8 -20 12 56 -12 2 -4 0 
-4 4 -16 8 24 -4 2 0 64 
-8 0 -16 0 0 0 2 0 192 
8 16 -20 -4 24 -12 2 -4 64 
2 4 -4 0 8 -4 0 0 0 
-13 3 -12 -10 -12 6 4 -2 288 
-14 2 -15 -11 -14 7 4 -3 336 
3 1 -8 -6 4 0 0 -2 96 
12 0 -20 -12 8 4 2 -4 192 
4 8 -6 2 4 -2 2 -2 0 
-12 12 -28 28 -8 20 10 -12 192 
0 0 -4 16 0 4 2 -6 0 
0 0 -4 40 0 4 2 -12 0 
-8 0 -12 44 -8 4 2 -12 192 
0 2 0 32 0 0 0 -8 0 
-12 12 -20 300 -8 12 6 -76 192 
-40 0 -64 208 -32 8 10 -56 960 
-72 -16 -120 120 -80 16 14 -48 2112 
-16 -4 -26 6 -20 2 2 -6 512 
-16 -4 -26 -10 -20 2 2 -2 512 
-16 0 -24 -8 -16 0 2 0 448 
24 8 -68 -20 56 12 6 -20 448 
8 2 -24 -8 16 4 2 -8 192 
16 0 -36 -4 24 12 6 -12 192 
-13 -5 -23 -13 -18 3 2 -1 448 
-2 0 -4 0 0 0 0 0 64 
2 -2 -4 4 0 4 2 -2 0 
0 0 -22 22 4 14 10 0 0 
0 0 -22 82 4 14 10 -30 0 
0 4 -14 34 4 6 6 -14 0 
-21 3 -20 -18 -20 8 6 -2 480 
-19 1 -16 -18 -20 4 4 -2 480 
-52 0 -44 -52 -56 12 10 -4 1344 
-22 0 -12 -24 -24 4 4 0 576 
-28 -4 -24 -32 -32 8 6 0 768 
-28 -4 40 -32 -32 -8 6 0 768 
-22 0 20 -24 -24 -4 4 0 576 
-12 0 10 -14 -12 -2 2 -2 320 
-7 1 3 -7 -6 1 2 -1 160 
2 2 -12 8 16 4 2 -4 0 
22 14 -52 16 80 12 6 -16 0 
32 16 -68 -4 88 12 6 -20 192 
18 10 -36 -8 48 4 2 -8 128 
8 8 -20 -4 24 -4 2 -4 64 
4 2 -4 4 8 0 0 -4 0 
4 8 -14 2 20 -4 2 -2 0 
1 7 -11 3 14 -3 2 -1 0 
0 8 -12 4 16 -4 2 0 0 
4 12 -20 4 32 -8 2 0 0 
0 24 -44 20 64 -16 6 0 0 
0 4 -10 6 12 -2 2 -2 0 
14 22 -44 8 64 -12 6 -8 0 
6 10 -18 2 28 -6 2 -2 0 
28 36 -52 -12 72 -36 2 -12 192 
3 3 -8 -6 4 -4 0 -2 96 
1 1 -2 0 4 0 0 0 0 
0 12 -10 6 12 -6 2 -2 0 
0 0 -3 -3 2 -1 0 -1 48 
16 24 -44 -12 72 -28 2 -12 192 
4 12 -14 2 20 -8 2 -2 0 
1 9 -11 3 14 -5 2 -1 0 
32 40 -68 -4 88 -36 6 -20 192 
1 1 -3 -1 6 -1 0 -1 16 
4 6 -12 -4 24 -8 0 -4 64 
4 12 -20 4 40 -12 2 -4 0 
0 10 -16 8 24 -8 2 0 0 
-12 12 -40 16 32 -8 6 0 192 
0 24 -34 14 44 -14 6 -2 0 
-4 4 -16 8 16 0 2 0 64 
0 8 -20 12 32 0 2 0 0 
0 4 -14 10 20 2 2 -2 0 
0 2 -2 2 4 -2 0 0 0 
0 24 -44 20 72 -20 6 -4 0 
0 24 -60 36 104 -4 6 -4 0 
6 10 -16 4 24 -8 2 -4 0 
1 1 -1 1 2 -1 0 -1 0 
6 18 -16 4 24 -12 2 -4 0 
0 -2 -20 -20 -8 0 0 -4 384 
-12 -4 -12 -20 -8 4 2 -4 384 
-16 -8 -20 -36 -8 4 2 -4 640 
-20 -12 -32 -56 -8 4 2 -4 960 
-1 -1 -4 -6 0 0 0 0 96 
-6 -14 -60 -80 0 -4 2 0 1280 
-2 -10 -52 -64 0 -4 2 0 1024 
-12 -12 -48 -56 -16 0 2 -8 1024 
8 -4 -24 -24 0 0 2 0 384 
4 -4 -16 -16 0 2 2 0 256 
0 -16 -56 -56 -16 8 6 -8 1024 
0 -16 -52 -52 -16 12 6 -8 960 
-96 -72 -280 -280 -240 8 6 -40 6400 
-16 -12 -42 -42 -36 2 2 -6 960 
-48 -40 -168 -168 -144 0 2 -24 3840 
-72 -48 -178 -178 -148 10 6 -26 4032 
-20 -14 -52 -52 -40 4 2 -8 1152 
2 -2 0 0 0 2 2 0 0 
-6 0 12 -8 -8 -4 0 0 192 
-4 -4 -8 -8 -8 4 2 0 192 
-176 -88 -288 -288 -288 40 26 0 6912 
-48 -24 -80 -80 -80 10 6 0 1920 
-12 -10 -24 -24 -24 6 4 0 576 
-168 -64 -264 -216 -240 48 26 -24 5760 
-48 24 -36 -36 -40 20 18 -4 960 
-44 12 -28 -36 -40 12 14 -4 960 
-12 12 4 -4 -8 4 6 -4 192 
-56 48 -20 -36 -40 28 26 -4 960 
-20 0 -4 -28 -24 -2 0 -4 640 
-24 0 -28 -12 -24 4 6 -4 576 
0 0 4 8 0 -2 0 -4 0 
-6 0 -4 12 -8 -4 0 -6 192 
-30 0 -32 -12 -40 -8 0 -6 960 
-32 0 -36 -20 -40 -4 2 -4 960 
-20 0 -28 -4 -24 -4 0 -2 640 
0 20 -4 12 8 -12 0 -2 0 
0 0 -1 -1 6 -1 0 -1 16 
-23 -3 -25 -27 -30 3 2 -3 720 
-21 -1 -27 -17 -26 1 2 -1 624 
-26 0 -32 -20 -32 0 2 0 768 
-62 0 -80 -44 -64 16 14 0 1536 
-42 -12 -64 -44 -56 12 6 -4 1344 
-90 -28 -128 -108 -120 28 14 -12 2880 
-30 0 -12 -32 -40 -6 0 -8 960 
-30 0 -24 -28 -32 6 6 -4 768 
-24 0 -20 -20 -24 8 6 -4 576 
-24 0 -15 -23 -22 9 6 -5 576 
-8 0 12 -4 -8 -4 2 -4 192 
0 2 -4 4 8 0 0 0 0 
0 0 -8 8 8 4 2 0 0 
-12 12 -76 76 88 20 10 -12 192 
0 6 -28 28 40 8 4 -6 0 
-15 -7 -29 -15 -22 3 2 -1 576 
-13 -5 -25 -7 -14 3 2 -1 448 
-14 -6 -26 -14 -20 4 2 -2 512 
-13 -5 -23 -5 -18 3 2 -3 448 
-6 -4 -16 -20 -8 0 0 -4 384 
6 8 -16 4 40 -4 0 -4 0 
8 8 -24 8 48 0 2 -8 0 
-1 -1 0 -6 36 -4 0 -6 96 
-4 -4 12 -12 72 -4 2 -12 192 
0 0 -6 6 4 2 2 0 0 
-12 -4 -22 -6 -12 2 2 0 384 
-31 -15 -59 -37 -50 7 4 -3 1216 
-20 -16 -42 -42 -36 10 6 -6 960 
-72 -20 -112 -64 -96 16 10 -8 2304 
-42 -12 -64 -36 -56 8 6 -6 1344 
-36 -12 -56 -32 -48 8 6 -4 1152 
-12 -4 -16 -8 -16 0 2 0 384 
-6 0 -4 0 -8 -4 0 0 192 
-26 -10 -43 -31 -38 5 4 -1 912 
-27 -11 -46 -32 -40 6 4 -2 960 
-39 -15 -66 -44 -56 10 6 -4 1344 
-120 -48 -200 -152 -176 32 18 -16 4224 
-132 -60 -240 -168 -208 32 18 -16 4992 
-96 -40 -168 -104 -144 24 14 -16 3456 
-76 -28 -128 -72 -112 16 10 -16 2688 
-29 -9 -46 -28 -40 6 4 -4 960 
2 -2 12 0 0 -4 2 0 0 
-20 -20 134 -42 -36 -38 10 -6 960 
-60 -20 148 -84 -72 -36 10 -12 1920 
-68 -12 100 -84 -72 -20 14 -12 1920 
-12 0 -6 -14 -12 2 2 -2 320 
-40 0 -26 -42 -36 18 10 -6 960 
-12 -8 -22 -30 -12 2 2 -6 576 
-12 -10 -8 -24 -24 -2 4 0 576 
-56 -32 -80 -96 -96 8 10 0 2304 
-20 -20 -38 -42 -36 20 10 -6 960 
-6 0 -4 -4 -8 -2 0 -2 192 
0 0 1 1 2 -1 0 -1 0 
-8 0 -4 28 -8 -4 2 -12 192 
-8 0 -4 60 -8 -4 2 -20 192 
0 2 -4 4 16 -4 0 0 0 
-28 -20 -80 -88 -48 0 2 -16 1792 
-3 -3 -18 -20 -8 -2 0 -4 384 
-204 -100 -384 -264 -336 48 26 -24 8064 
-48 -24 -88 -56 -80 8 6 -8 1920 
-12 -4 -16 8 -16 0 2 -8 384 
-12 12 -12 -4 -8 4 6 0 192 
-12 12 -12 12 -8 4 6 -8 192 
-12 12 4 60 -8 -12 6 -28 192 
0 0 -8 8 16 0 2 0 0 
-4 -2 -4 -4 -8 0 0 -4 192 
-4 -4 16 -12 0 -4 2 0 192 
-20 -12 40 -48 0 -8 6 0 768 
-14 -6 20 -32 0 -4 2 0 512 
-2 0 0 -4 0 0 0 0 64 
-60 12 -68 -44 -56 20 18 -4 1344 
-92 12 -116 -60 -88 28 26 -4 2112 
-44 12 -52 -28 -40 12 14 0 960 
-48 -24 -72 -56 -80 8 6 -24 1920 
-5 3 -4 -2 -4 0 2 0 96 
0 2 -8 24 0 8 4 -10 0 
4 4 -16 8 112 -16 2 -8 0 
-12 -4 -24 0 0 0 2 0 384 
2 -2 -4 16 0 4 2 -8 0 
-4 4 -20 20 24 4 2 -2 64 
-6 2 -20 16 16 4 2 -2 128 
-8 0 -20 12 8 4 2 0 192 
-4 0 -14 10 8 4 2 -2 96 
-20 4 -76 60 56 20 10 -12 448 
-4 -2 -4 -12 8 0 0 -4 192 
-12 -4 0 -24 16 4 2 -8 384 
-8 0 4 -12 8 4 2 -4 192 
12 20 -20 -12 8 -12 2 -4 192 
12 4 -20 -12 8 -4 2 -4 192 
76 20 -84 -12 72 -4 18 -12 192 
20 12 -28 -4 24 -4 6 -4 64 
20 44 -28 -4 24 -20 6 -4 64 
12 36 -22 2 20 -14 6 -2 0 
4 10 -8 0 8 -4 2 0 0 
4 6 -8 0 8 -2 2 0 0 
4 0 -6 2 4 2 2 -2 0 
0 4 -6 2 4 0 2 0 0 
4 2 -12 -12 0 -4 0 0 192 
8 8 -16 0 24 -4 2 0 0 
20 4 -28 -4 24 4 6 -4 64 
20 4 -24 0 24 4 6 0 0 
8 0 -8 0 8 4 2 0 0 
5 -1 -6 2 4 4 2 -2 0 
24 0 -28 -4 24 12 6 -4 64 
46 -10 -42 -6 36 18 14 -6 96 
18 -6 -14 -2 12 10 6 -2 32 
112 -40 -84 -12 72 76 38 -12 192 
6 -2 -4 0 4 4 2 0 0 
0 0 0 16 0 0 2 -8 0 
-12 12 4 28 -8 4 6 -20 192 
-40 0 38 -42 -36 2 10 -6 960 
-40 8 -20 -36 -40 4 10 -4 960 
-8 2 0 -8 -8 0 2 0 192 
-18 6 -4 -16 -16 4 6 0 384 
-8 0 8 -8 -8 0 2 0 192 
-20 20 10 -14 -12 14 10 -2 320 
-8 -6 -20 -36 24 -4 0 -12 576 
-1 -1 -4 -6 4 0 0 -2 96 
16 -8 -20 -12 8 12 6 -4 192 
12 -20 -60 -52 -8 20 10 -12 960 
-12 -8 -26 -26 -20 4 2 -4 576 
-48 -24 -68 -100 -40 12 6 -20 1920 
-16 -8 -32 -16 -24 4 2 0 640 
-12 -4 -24 0 -8 4 2 0 384 
-8 0 -36 44 24 12 6 -12 192 
-8 0 -36 76 24 12 6 -20 192 
-6 2 -20 40 16 4 2 -8 128 
-4 4 -20 60 24 4 2 -12 64 
0 2 -4 20 8 0 0 -4 0 
-21 -5 -34 -16 -24 4 4 0 624 
-12 -4 -20 -12 -16 2 2 0 400 
1 -1 -10 -12 0 -2 0 0 192 
-16 -8 -8 -40 48 0 2 -16 640 
-48 -24 -24 -120 80 8 6 -40 1920 
8 8 -22 -6 36 -10 2 -6 96 
8 8 -16 0 32 -8 2 0 0 
-72 -16 -120 -40 -80 16 14 -8 2112 
-100 -36 -160 -120 -144 24 14 -16 3456 
-36 -12 -59 -27 -46 7 6 -3 1152 
-48 -24 -96 -32 -64 8 6 0 1920 
-16 -8 -32 0 0 0 2 0 640 
-2 -2 -11 -15 10 -3 0 -5 240 
-20 -12 -32 -56 16 0 2 -16 960 
-48 -24 216 -80 -80 -64 6 0 1920 
-12 -4 32 -16 -16 -8 2 0 384 
-10 0 18 -14 -12 -6 0 -2 320 
-6 0 20 -4 -8 -8 0 -4 192 
-10 0 -14 18 -12 -2 0 -6 320 
-1 1 -4 6 20 -4 0 -2 32 
-8 0 -16 32 0 0 2 -8 192 
-8 0 -20 28 8 4 2 -4 192 
0 0 -8 28 8 4 2 -8 0 
0 0 -6 34 4 2 2 -10 0 
-12 -4 -22 2 -12 2 2 -2 384 
-12 12 28 -12 8 12 6 -4 192 
-24 0 -8 -24 -16 8 6 -8 576 
-8 0 -2 -10 -4 4 2 -2 192 
0 -8 -40 -40 -16 0 2 -8 768 
0 -56 -200 -200 -80 24 18 -40 3840 
0 -6 -20 -20 -8 4 2 -4 384 
-12 -10 -36 -36 -24 4 2 -6 768 
-8 0 -20 28 88 -12 2 -4 192 
-4 4 -20 52 200 -28 2 -12 64 
0 8 -24 72 336 -48 2 -24 0 
1 1 -2 4 40 -6 0 -4 0 
0 2 -4 12 48 -8 0 -4 0 
-4 -20 -88 -112 0 -8 6 0 1792 
4 -12 -40 -48 0 0 6 0 768 
0 -4 -10 -10 -4 2 2 -2 192 
-5 3 1 -5 -2 3 2 -1 96 
6 -2 -10 -6 4 2 2 -2 96 
9 -11 -35 -29 -2 9 6 -7 528 
38 -18 -50 -30 20 22 14 -10 480 
12 -12 -40 -40 0 8 6 0 640 
-3 3 -14 8 24 -4 2 0 48 
2 -6 -20 -24 144 4 2 -24 384 
-4 -2 -6 -10 -4 0 0 -2 192 
-24 -16 -56 -72 -16 0 2 -16 1344 
-60 -36 -112 -152 -56 12 6 -28 2880 
-24 -16 -56 -72 -24 4 2 -12 1344 
-6 -6 -12 -24 0 0 2 0 384 
-4 4 4 -4 0 4 2 0 64 
-12 -4 48 -8 -16 -16 2 -8 384 
-6 0 12 -4 -8 -6 0 -4 192 
-18 0 -23 -3 -22 -5 0 -3 576 
0 0 -22 194 4 14 10 -58 0 
-4 4 -8 96 0 0 2 -24 64 
0 10 -2 154 4 -6 0 -38 0 
-12 -4 16 -24 80 0 2 -16 384 
-2 0 8 -4 24 0 0 -4 64 
-12 -4 48 -24 144 0 2 -24 384 
-8 0 4 -12 0 4 2 0 192 
-12 -4 16 -24 16 0 2 -8 384 
0 6 1 9 2 -5 0 -3 0 
0 2 4 16 0 -4 0 -6 0 
-56 8 -60 -44 -56 12 14 -4 1344 
-4 -2 32 -4 -8 -12 0 -4 192 
-48 -24 296 -40 -80 -104 6 -40 1920 
-4 -2 24 -8 -8 -8 0 0 192 
-20 -10 114 -42 -36 -38 0 -6 960 
-16 -8 68 -28 -24 -20 2 -4 640 
10 2 -12 0 160 -20 2 0 0 
3 -1 -6 4 40 -2 2 -4 0 
8 -8 -24 24 80 8 10 -8 0 
116 -36 -80 0 80 64 38 0 0 
136 -56 -120 40 80 104 58 -40 0 
14 -6 -12 4 8 12 6 -4 0 
10 -6 -12 8 16 12 6 -8 0 
8 -8 -20 -4 88 12 6 -20 192 
0 -16 -52 -52 248 12 6 -52 960 
0 2 -4 20 80 -12 0 -4 0 
-2 0 -4 8 24 -4 0 0 64 
-40 -20 -68 -84 -72 -2 0 -12 1920 
-12 -6 -19 -23 -22 -1 0 -5 576 
-48 -24 -72 -72 -80 4 6 -8 1920 
-4 -4 4 -4 -8 -4 2 -4 192 
-68 -12 -60 -84 -72 20 14 -12 1920 
1 1 -2 4 24 -4 0 -4 0 
0 2 -4 12 32 -6 0 -4 0 
-4 4 -20 52 72 -12 2 -12 64 
-8 0 -20 28 24 -4 2 -4 192 
-16 0 -36 28 56 -12 2 -4 448 
-8 -4 -2 -18 12 2 2 -6 288 
-4 -4 12 -12 8 -4 2 -4 192 
-12 12 14 -10 -4 10 6 -2 192 
-8 0 36 -12 72 4 2 -12 192 
-24 -16 -36 -84 120 -12 2 -36 1344 
-20 -12 -20 -60 72 -4 2 -24 960 
-16 -8 -20 -36 0 4 2 -8 640 
-12 -8 -18 -34 -4 2 2 -2 576 
-4 -4 -4 -12 0 4 2 0 192 
-4 -4 -6 -10 -4 4 2 -2 192 
-4 -4 36 -4 -8 -12 2 -4 192 
-4 -4 28 -8 -8 -8 2 0 192 
-4 -4 4 -8 -8 -2 2 0 192 
-20 -20 22 -42 -36 -10 10 -6 960 
-12 -4 16 -8 -16 -8 2 -8 384 
-12 -6 0 -16 -24 -10 0 -8 576 
-48 -24 -24 -56 -80 -16 6 -24 1920 
-48 -24 72 -40 -80 -48 6 -40 1920 
-4 -2 8 -4 -8 -6 0 -4 192 
-12 -6 -15 -23 -22 -3 0 -5 576 
0 0 -8 24 80 -8 2 -8 0 
-4 4 -20 20 72 -12 2 -4 64 
-8 0 -20 12 24 -4 2 0 192 
-6 0 -12 8 8 -4 0 0 192 
0 0 -8 24 16 0 2 -8 0 
0 2 -4 20 16 -4 0 -4 0 
0 2 -4 12 24 -4 0 -4 0 
-4 0 -14 10 20 -2 2 -2 96 
-4 4 -20 52 40 -4 2 -12 64 
-12 12 -60 188 152 -28 6 -36 192 
-4 -2 -4 -12 0 0 0 0 192 
16 24 -52 12 120 -12 2 -12 0 
0 14 -18 6 20 -6 4 0 0 
-8 -8 -20 -36 24 -4 2 -12 576 
-16 -8 24 -40 48 -8 2 -16 640 
-6 0 8 -12 8 0 0 -4 192 
-20 -4 16 -40 48 0 2 -16 640 
-20 -12 -4 -60 168 -12 2 -36 960 
-16 -8 24 -40 176 -8 2 -32 640 
-16 -8 56 -40 240 -8 2 -40 640 
-20 -12 28 -60 296 -20 2 -52 960 
-4 -2 12 -12 72 -4 0 -12 192 
-48 -24 156 -100 -40 -44 6 -20 1920 
-12 -4 20 -20 -8 -4 2 -4 384 
-8 0 6 -10 -4 2 2 -2 192 
0 0 8 4 0 -4 0 -2 0 
-12 12 4 12 -8 -12 6 -4 192 
-8 0 -4 4 -8 -4 2 0 192 
-6 0 -4 20 -8 -4 0 -8 192 
3 11 -9 1 10 -5 2 -1 0 
-12 -6 -16 -16 -24 -2 0 -8 576 
-48 -24 -48 -112 32 8 6 -32 1920 
-16 -8 -8 -40 16 0 2 -8 640 
-12 -12 -52 -60 -24 -4 2 -12 1152 
-60 -36 -112 -152 -48 8 6 -32 2880 
8 16 -36 12 120 -28 2 -12 0 
2 4 -8 4 40 -8 0 -4 0 
0 4 -16 16 48 -8 2 -4 0 
4 4 -16 8 48 -8 2 -8 0 
-6 2 -2 -6 -4 2 2 0 128 
-7 1 1 -9 -2 3 2 -1 160 
-8 -4 -2 -18 0 2 2 0 288 
-20 -12 8 -48 0 0 6 0 768 
8 0 0 0 96 -16 2 0 0 
4 -4 12 -12 72 -20 2 -12 192 
6 -2 12 0 48 -12 2 0 0 
12 -4 -8 0 96 -8 6 0 0 
16 -16 -12 -12 72 4 14 -12 192 
14 -10 -4 0 48 4 10 0 0 
-16 -8 32 -40 0 -8 2 0 640 
-48 -24 104 -120 80 -24 6 -40 1920 
-48 -24 116 -108 8 -36 6 -28 1920 
-16 -8 24 -40 16 -8 2 -8 640 
-4 -2 12 -12 8 -4 0 -4 192 
-4 -2 13 -11 2 -5 0 -3 192 
-12 -6 28 -36 16 -12 0 -8 576 
-4 -2 12 -12 0 -4 0 0 192 
-4 -2 18 -10 -4 -6 0 -2 192 
-12 -4 16 -24 0 0 2 0 384 
-12 -4 0 -24 0 4 2 0 384 
-48 -24 -56 -56 -80 -8 6 -8 1920 
20 4 -24 0 288 -40 6 0 0 
2 0 4 0 8 -4 0 0 0 
10 -6 -4 0 16 4 6 0 0 
14 -6 -8 0 8 8 6 0 0 
20 -4 -16 0 16 8 6 0 0 
8 2 -8 0 8 0 2 0 0 
32 0 -32 0 32 8 10 0 0 
19 -1 -21 -3 18 5 6 -3 48 
-18 -14 -50 -62 -20 2 2 -10 1152 
2 -2 -2 2 4 2 2 -2 0 
-4 -2 4 -12 40 -4 0 -8 192 
-4 -2 4 -12 24 -4 0 -6 192 
-3 -1 2 -8 16 -2 0 -4 128 
-4 4 -20 20 40 -4 2 -4 64 
-12 12 -52 36 104 -20 6 -4 192 
0 6 -12 20 40 -8 0 -4 0 
-12 -4 -24 32 64 -8 2 0 384 
0 0 -6 18 4 2 2 -6 0 
0 0 -8 20 8 4 2 -6 0 
0 8 -24 40 208 -32 2 -16 0 
0 8 -24 40 144 -24 2 -16 0 
0 8 -24 40 112 -16 2 -16 0 
-8 0 -20 60 152 -20 2 -4 192 
-4 4 -20 84 264 -36 2 -12 64 
-16 -12 -26 -42 -36 -6 2 -6 960 
-20 -12 -34 -42 -36 0 2 -6 960 
-20 -16 -18 -42 -36 -2 6 -6 960 
-8 -8 -20 -36 88 -4 2 -20 576 
132 -60 -84 -12 72 76 58 -12 192 
20 -12 -20 -12 8 12 10 -4 192 
3 -3 -6 -6 0 2 2 0 96 
16 -16 -48 -48 0 8 10 0 768 
-1 -1 0 -6 20 -4 0 -4 96 
3 5 -10 8 72 -14 0 -8 0 
4 12 -32 24 176 -32 2 -16 0 
-12 12 -60 60 152 -28 6 -4 192 
-12 12 -76 76 184 -28 10 -12 192 
0 0 0 48 0 0 2 -16 0 
-12 -8 -12 -36 24 0 2 -12 576 
-4 -4 -4 -12 8 4 2 -4 192 
0 12 -32 32 96 -16 2 -8 0 
24 -8 -24 8 16 16 10 -8 0 
52 -28 -64 40 80 48 30 -40 0 
-12 12 20 156 -8 -28 6 -60 192 
-12 12 20 380 -8 -28 6 -116 192 
0 2 4 40 0 -4 0 -12 0 
0 6 8 24 0 -8 0 -10 0 
0 8 -36 28 152 -20 6 -4 0 
-2 2 -12 8 32 -4 2 0 32 
0 2 4 4 0 -4 0 0 0 
0 6 8 8 0 -8 0 -2 0 
0 6 1 5 2 -5 0 -1 0 
-16 -12 -48 -48 -32 4 2 -8 1024 
-23 -15 -55 -57 -42 3 2 -9 1248 
-24 -16 -58 -66 -36 2 2 -12 1344 
-21 -13 -45 -51 -30 3 2 -9 1056 
-20 -12 -40 -48 -24 4 2 -8 960 
0 8 -24 24 112 -20 2 -8 0 
4 12 -32 24 144 -24 2 -16 0 
0 8 -24 24 80 -12 2 -8 0 
8 0 -8 24 80 -8 2 -24 0 
6 -2 -4 16 48 4 2 -16 0 
14 -10 -20 16 48 20 10 -16 0 
20 -12 -32 24 80 16 14 -24 0 
14 -2 -20 8 16 12 6 -8 0 
12 -4 -16 8 16 8 6 -8 0 
2 0 0 4 8 0 0 -4 0 
4 -4 -12 -4 88 4 2 -20 192 
1 -3 -4 -6 36 0 2 -6 96 
4 -12 -4 -12 72 12 10 -12 192 
-4 -4 22 -10 -4 -6 2 -2 192 
-28 -16 -54 -62 -44 2 2 -10 1344 
-36 -28 -120 -144 -32 -8 2 -32 2688 
-8 -6 -28 -36 0 -4 0 -8 640 
-1 -1 -5 -7 2 -1 0 -1 112 
2 2 -7 -3 18 -5 0 -3 48 
1 1 -2 0 8 -2 0 0 0 
12 20 -48 24 240 -48 2 -24 0 
-80 -56 -216 -216 -176 8 6 -32 4864 
-32 -24 -104 -104 -80 0 2 -16 2304 
-24 -14 -44 -60 -24 4 2 -12 1152 
-6 -4 -12 -24 24 -4 0 -8 384 
-28 -20 -64 -104 48 -8 2 -32 1728 
-24 -16 -36 -84 88 -12 2 -28 1344 
8 -8 -12 -12 8 4 6 -4 192 
48 -32 -28 -12 72 20 30 -12 192 
-48 -24 -44 -108 8 4 6 -28 1920 
-20 -12 -20 -60 40 -4 2 -16 960 
-28 -16 -28 -84 40 -4 2 -20 1344 
-14 -8 -20 -48 24 -4 0 -12 768 
-32 -24 -68 -132 152 -20 2 -52 2112 
-4 -2 -3 -11 2 -1 0 -3 192 
-12 -6 -4 -36 16 -4 0 -8 576 
-4 -2 4 -12 16 -4 0 -4 192 
-36 -18 -59 -75 -62 -3 0 -13 1728 
4 -4 -12 -12 0 4 2 0 192 
-1 -1 -3 -5 -2 -1 0 -1 96 
0 -2 -4 -12 0 -4 0 0 192 
-36 -28 -96 -152 16 -8 2 -16 2496 
-12 -12 -36 -60 8 -4 2 -4 960 
-18 -26 -76 -120 0 -4 6 0 1920 
-42 -34 -116 -144 -48 4 6 -24 2688 
-17 -11 -37 -43 -22 3 2 -7 864 
-60 -36 -118 -142 -76 10 6 -26 2880 
-6 0 -10 10 -4 -2 0 -2 192 
-6 0 -10 2 -4 -2 0 0 192 
0 2 -2 26 4 -2 0 -6 0 
-12 12 -40 240 32 -8 6 -56 192 
-7 -5 -12 -30 52 -8 0 -14 480 
0 4 -16 16 80 -12 2 -4 0 
4 6 -12 4 48 -12 0 -4 0 
-36 -12 -60 -20 -40 4 6 -4 1152 
2 8 -16 12 56 -12 0 -4 0 
10 16 -32 12 120 -28 0 -12 0 
9 -1 16 -6 36 -20 0 -6 96 
1 -1 0 -6 4 -4 0 -2 96 
-10 -6 -12 -24 16 4 2 -8 416 
-4 -4 6 -10 -4 -2 2 -2 192 
-4 -4 8 -12 0 -2 2 0 192 
4 -2 -3 1 2 3 2 -1 0 
-12 -12 -44 -52 -16 4 2 -8 960 
-8 -8 -28 -28 -16 4 2 -4 576 
3 5 -9 1 10 -1 2 -1 0 
3 7 -9 1 10 -3 2 -1 0 
-16 -24 -88 -88 -48 8 6 -16 1792 
-15 -11 -39 -41 -26 3 2 -7 864 
-11 -9 -31 -33 -18 3 2 -5 672 
-16 -12 -42 -50 -20 2 2 -8 960 
-80 -40 -154 -90 -132 18 10 -6 3200 
-48 -24 -94 -46 -76 10 6 -2 1920 
-12 -12 -50 -58 -4 -2 2 -14 1056 
-12 -12 -44 -52 -8 4 2 -12 960 
0 6 -20 20 56 -8 2 -6 0 
8 8 -24 -8 16 -8 2 -8 192 
3 1 -2 4 8 -2 0 -4 0 
11 1 -2 20 40 -6 0 -20 0 
0 18 -3 13 10 -13 0 -3 0 
-6 -4 -16 -20 -8 -2 0 -4 400 
-64 -40 -144 -176 -96 -8 2 -32 3648 
-8 -6 -26 -34 -4 -4 0 -8 624 
0 -6 -28 -36 0 -4 2 0 576 
-60 -52 -200 -240 -96 -8 6 -48 4608 
-18 -14 -48 -60 -24 0 2 -12 1152 
-34 -22 -80 -92 -56 0 2 -16 1920 
-36 -22 -74 -82 -52 8 4 -14 1728 
-28 -20 -40 -80 96 8 6 -32 1344 
-12 -8 -12 -36 56 0 2 -16 576 
-13 -7 -16 -30 4 4 2 -8 528 
-12 12 -48 40 80 -16 6 -8 192 
-12 12 -48 200 80 -16 6 -48 192 
0 6 -12 52 40 -8 0 -12 0 
0 2 -3 21 10 -3 0 -5 0 
-8 0 -12 12 -8 -2 0 -4 256 
-6 0 -7 13 -6 -3 0 -5 192 
-16 0 -24 0 -16 -4 0 -2 512 
-14 -6 -4 -32 0 2 2 0 512 
-16 -8 -8 -40 0 2 2 0 640 
-20 -14 -20 -60 0 2 4 0 960 
-20 -12 -4 -60 72 -12 2 -20 960 
-20 -12 -4 -60 104 -12 2 -28 960 
-12 12 20 36 -8 -28 6 0 192 
0 2 -3 5 10 -3 0 -1 0 
28 -4 -44 -4 24 20 10 -12 192 
8 0 -12 -4 8 4 2 -2 64 
14 6 -36 -16 32 4 2 -8 256 
4 6 -10 -2 20 -8 0 -4 48 
2 4 -4 0 8 -4 0 -2 16 
12 36 -28 12 56 -28 2 -12 0 
4 4 -8 0 8 0 2 0 0 
4 8 -12 -4 8 -4 2 0 64 
12 12 -36 -28 8 -12 2 -4 448 
-10 -8 -28 -48 8 -4 0 -4 768 
-22 -16 -52 -96 56 -12 0 -28 1536 
-16 -16 -88 -88 -48 0 2 -16 1792 
6 -10 -20 -24 0 4 6 0 384 
-12 -28 -104 -144 0 -8 6 0 2304 
-48 -40 -168 -200 -80 -8 2 -40 3840 
0 8 -6 10 4 -2 2 -4 0 
4 8 -6 18 4 -2 2 -10 0 
-16 -10 -16 -48 24 -2 2 -12 768 
-56 -32 -32 -144 96 8 10 -48 2304 
-48 -24 -16 -112 0 8 10 0 1792 
-56 -32 -32 -144 0 8 10 0 2304 
-6 0 -7 5 -6 -3 0 -3 192 
-14 0 -19 1 -14 -5 0 -3 448 
-18 0 -24 4 -16 -8 0 -4 576 
-60 -36 -96 -168 -16 8 6 -16 2880 
-6 0 10 -10 -4 -2 0 -2 192 
-8 0 12 -12 -8 -4 0 -2 256 
-16 0 0 -24 -16 -2 0 -4 512 
-6 0 2 -10 -4 0 0 -2 192 
-18 0 4 -24 -16 -4 0 -8 576 
-14 0 1 -19 -14 -3 0 -5 448 
-18 0 -3 -23 -22 -3 0 -5 576 
-6 0 5 -7 -6 -3 0 -3 192 
-6 0 13 -7 -6 -5 0 -3 192 
-4 4 20 -4 24 4 2 -4 64 
-56 -32 -96 -96 -96 16 10 0 2304 
-30 0 -32 -28 -32 8 6 0 768 
1 0 0 0 0 0 0 0 0 
0 1 0 0 0 0 0 0 0 
0 0 1 0 0 0 0 0 0 
0 0 0 1 0 0 0 0 0 
0 0 0 0 1 0 0 0 0 
0 0 0 0 0 1 0 0 0 
0 0 0 0 0 0 1 0 0 
0 0 0 0 0 0 0 1 0 
VerticesOfPolyhedron
