Skip to Content.
Sympa Menu

cgal-discuss - [cgal-discuss] nef_3_homogeous bug rebot

Subject: CGAL users discussion list

List archive

[cgal-discuss] nef_3_homogeous bug rebot


Chronological Thread 
  • From: "Wayne C. Gramlich" <>
  • To:
  • Subject: [cgal-discuss] nef_3_homogeous bug rebot
  • Date: Mon, 19 Oct 2009 19:58:17 -0700

All:

As per the CAL FAQ, I am submitting a bug report to the cgal-discuss
mailing list.

I have recently downloaded and compiled CGAL 3.5 on a Kubuntu Intrepid
Ibex system. In using .../demo/Nef_3/nef_3_homogeneous I get a
segementation fault when I perform a difference operation on two
.nef3 files I have loaded. The command is:

nef_3_homogeneous loadnef3 ExteriorR-11.nef3 loadnef3 Drill-20.nef3 diff

The two .nef3 files are attached. The gdb stack back trace is:


(gdb) run loadnef3 ExteriorR-11.nef3 loadnef3 Drill-20.nef3 diff
Starting program: /tmp/nx loadnef3 ExteriorR-11.nef3 loadnef3 Drill-20.nef3
diff
[Thread debugging using libthread_db enabled]
[New Thread 0xb70d0980 (LWP 20217)]

Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0xb70d0980 (LWP 20217)]
0x080ee023 in CGAL::SNC_external_structure<CGAL::SNC_indexed_items, CGAL::SNC_structure<CGAL::Homogeneous<CGAL::Gmpz, CGAL::Quotient<CGAL::Gmpz> >, CGAL::SNC_indexed_items, bool> >::pair_up_halfedges ()
Current language: auto; currently asm
(gdb) bt
#0 0x080ee023 in CGAL::SNC_external_structure<CGAL::SNC_indexed_items, CGAL::SNC_structure<CGAL::Homogeneous<CGAL::Gmpz, CGAL::Quotient<CGAL::Gmpz> >, CGAL::SNC_indexed_items, bool> >::pair_up_halfedges ()
#1 0x081857de in CGAL::SNC_external_structure<CGAL::SNC_indexed_items, CGAL::SNC_structure<CGAL::Homogeneous<CGAL::Gmpz, CGAL::Quotient<CGAL::Gmpz> >, CGAL::SNC_indexed_items, bool> >::build_after_binary_operation<CGAL::ID_support_handler<CGAL::SNC_indexed_items, CGAL::SNC_decorator<CGAL::SNC_structure<CGAL::Homogeneous<CGAL::Gmpz, CGAL::Quotient<CGAL::Gmpz> >, CGAL::SNC_indexed_items, bool> > > > ()
#2 0x0818a276 in CGAL::Binary_operation<CGAL::SNC_structure<CGAL::Homogeneous<CGAL::Gmpz, CGAL::Quotient<CGAL::Gmpz> >, CGAL::SNC_indexed_items, bool> >::operator()<CGAL::Nef_polyhedron_3<CGAL::Homogeneous<CGAL::Gmpz, CGAL::Quotient<CGAL::Gmpz> >, CGAL::SNC_indexed_items, bool>::DIFF> ()
#3 0x0818fa87 in CGAL::demo_stack<CGAL::Homogeneous<CGAL::Gmpz, CGAL::Quotient<CGAL::Gmpz> > >::eval ()
#4 0x080aebee in main ()
(gdb)

In general, I have found CGAL to be rock solid. This is the
first time I have managed to tickle a bug in the Nef_3 code base.
I am truly impressed.

-Wayne

Selective Nef Complex
standard
vertices 48
halfedges 144
facets 52
volumes 2
shalfedges 288
shalfloops 0
sfaces 96
0 { 0 2, 0 5, 0 1, -2 | -21250 -16250 -6000 1 } 1
1 { 3 5, 6 11, 2 3, -2 | 21250 -16250 -6000 1 } 1
2 { 6 8, 12 17, 4 5, -2 | 21250 16250 -6000 1 } 1
3 { 9 11, 18 23, 6 7, -2 | -21250 16250 -6000 1 } 1
4 { 12 14, 24 29, 8 9, -2 | 21250 -16250 -1000 1 } 1
5 { 15 17, 30 35, 10 11, -2 | 21250 16250 -1000 1 } 1
6 { 18 20, 36 41, 12 13, -2 | -21250 16250 -1000 1 } 1
7 { 21 23, 42 47, 14 15, -2 | -21250 -16250 -1000 1 } 1
8 { 24 26, 48 53, 16 17, -2 | 12500 4000 -1000 1 } 1
9 { 27 29, 54 59, 18 19, -2 | 10000 4000 -6000 1 } 1
10 { 30 32, 60 65, 20 21, -2 | 12233 5339 -1000 1 } 1
11 { 33 35, 66 71, 22 23, -2 | 9923 4382 -6000 1 } 1
12 { 36 38, 72 77, 24 25, -2 | 11474 6474 -1000 1 } 1
13 { 39 41, 78 83, 26 27, -2 | 9707 4707 -6000 1 } 1
14 { 42 44, 84 89, 28 29, -2 | 10339 7233 -1000 1 } 1
15 { 45 47, 90 95, 30 31, -2 | 9382 4923 -6000 1 } 1
16 { 48 50, 96 101, 32 33, -2 | 8999 7500 -1000 1 } 1
17 { 51 53, 102 107, 34 35, -2 | 8999 5000 -6000 1 } 1
18 { 54 56, 108 113, 36 37, -2 | -8999 7500 -1000 1 } 1
19 { 57 59, 114 119, 38 39, -2 | -8999 5000 -6000 1 } 1
20 { 60 62, 120 125, 40 41, -2 | -10339 7233 -1000 1 } 1
21 { 63 65, 126 131, 42 43, -2 | -9382 4923 -6000 1 } 1
22 { 66 68, 132 137, 44 45, -2 | -11474 6474 -1000 1 } 1
23 { 69 71, 138 143, 46 47, -2 | -9707 4707 -6000 1 } 1
24 { 72 74, 144 149, 48 49, -2 | -12233 5339 -1000 1 } 1
25 { 75 77, 150 155, 50 51, -2 | -9923 4382 -6000 1 } 1
26 { 78 80, 156 161, 52 53, -2 | -12500 4000 -1000 1 } 1
27 { 81 83, 162 167, 54 55, -2 | -10000 4000 -6000 1 } 1
28 { 84 86, 168 173, 56 57, -2 | -12500 -4000 -1000 1 } 1
29 { 87 89, 174 179, 58 59, -2 | -10000 -4000 -6000 1 } 1
30 { 90 92, 180 185, 60 61, -2 | -12233 -5339 -1000 1 } 1
31 { 93 95, 186 191, 62 63, -2 | -9923 -4382 -6000 1 } 1
32 { 96 98, 192 197, 64 65, -2 | -11474 -6474 -1000 1 } 1
33 { 99 101, 198 203, 66 67, -2 | -9707 -4707 -6000 1 } 1
34 { 102 104, 204 209, 68 69, -2 | -10339 -7233 -1000 1 } 1
35 { 105 107, 210 215, 70 71, -2 | -9382 -4923 -6000 1 } 1
36 { 108 110, 216 221, 72 73, -2 | -8999 -7500 -1000 1 } 1
37 { 111 113, 222 227, 74 75, -2 | -8999 -5000 -6000 1 } 1
38 { 114 116, 228 233, 76 77, -2 | 8999 -7500 -1000 1 } 1
39 { 117 119, 234 239, 78 79, -2 | 8999 -5000 -6000 1 } 1
40 { 120 122, 240 245, 80 81, -2 | 10339 -7233 -1000 1 } 1
41 { 123 125, 246 251, 82 83, -2 | 9382 -4923 -6000 1 } 1
42 { 126 128, 252 257, 84 85, -2 | 11474 -6474 -1000 1 } 1
43 { 129 131, 258 263, 86 87, -2 | 9707 -4707 -6000 1 } 1
44 { 132 134, 264 269, 88 89, -2 | 12233 -5339 -1000 1 } 1
45 { 135 137, 270 275, 90 91, -2 | 9923 -4382 -6000 1 } 1
46 { 138 140, 276 281, 92 93, -2 | 12500 -4000 -1000 1 } 1
47 { 141 143, 282 287, 94 95, -2 | 10000 -4000 -6000 1 } 1
0 { 22, 0, 0 0 | 0 0 5000 1 } 1
1 { 3, 0, 0 1 | 42500 0 0 1 } 1
2 { 11, 0, 0 3 | 0 32500 0 1 } 1
3 { 1, 1, 0 6 | -42500 0 0 1 } 1
4 { 12, 1, 0 7 | 0 0 5000 1 } 1
5 { 8, 1, 0 9 | 0 32500 0 1 } 1
6 { 16, 2, 0 12 | 0 0 5000 1 } 1
7 { 9, 2, 0 13 | -42500 0 0 1 } 1
8 { 5, 2, 0 15 | 0 -32500 0 1 } 1
9 { 7, 3, 0 18 | 42500 0 0 1 } 1
10 { 18, 3, 0 19 | 0 0 5000 1 } 1
11 { 2, 3, 0 21 | 0 -32500 0 1 } 1
12 { 4, 4, 0 24 | 0 0 -5000 1 } 1
13 { 21, 4, 0 25 | -42500 0 0 1 } 1
14 { 17, 4, 0 27 | 0 32500 0 1 } 1
15 { 19, 5, 0 30 | -42500 0 0 1 } 1
16 { 6, 5, 0 31 | 0 0 -5000 1 } 1
17 { 14, 5, 0 33 | 0 -32500 0 1 } 1
18 { 10, 6, 0 36 | 0 0 -5000 1 } 1
19 { 15, 6, 0 37 | 42500 0 0 1 } 1
20 { 23, 6, 0 39 | 0 -32500 0 1 } 1
21 { 13, 7, 0 42 | 42500 0 0 1 } 1
22 { 0, 7, 0 43 | 0 0 -5000 1 } 1
23 { 20, 7, 0 45 | 0 32500 0 1 } 1
24 { 139, 8, 0 48 | 0 -2762500000 0 1 } 1
25 { 31, 8, 0 49 | -267 1339 0 1 } 1
26 { 29, 8, 0 52 | -2500 0 -5000 1 } 1
27 { 143, 9, 0 56 | 0 -2762500000 0 1 } 1
28 { 35, 9, 0 58 | -77 382 0 1 } 1
29 { 26, 9, 0 59 | 2500 0 5000 1 } 1
30 { 37, 10, 0 61 | -759 1135 0 1 } 1
31 { 25, 10, 0 60 | 267 -1339 0 1 } 1
32 { 34, 10, 0 64 | -2310 -957 -5000 1 } 1
33 { 41, 11, 0 66 | -216 325 0 1 } 1
34 { 32, 11, 0 68 | 2310 957 5000 1 } 1
35 { 28, 11, 0 70 | 77 -382 0 1 } 1
36 { 43, 12, 0 73 | -1135 759 0 1 } 1
37 { 30, 12, 0 72 | 759 -1135 0 1 } 1
38 { 40, 12, 0 76 | -1767 -1767 -5000 1 } 1
39 { 47, 13, 0 78 | -325 216 0 1 } 1
40 { 38, 13, 0 80 | 1767 1767 5000 1 } 1
41 { 33, 13, 0 82 | 216 -325 0 1 } 1
42 { 49, 14, 0 85 | -1340 267 0 1 } 1
43 { 36, 14, 0 84 | 1135 -759 0 1 } 1
44 { 46, 14, 0 88 | -957 -2310 -5000 1 } 1
45 { 53, 15, 0 90 | -383 77 0 1 } 1
46 { 44, 15, 0 92 | 957 2310 5000 1 } 1
47 { 39, 15, 0 94 | 325 -216 0 1 } 1
48 { 55, 16, 0 97 | -7631406250000000000 0 0 1 } 1
49 { 42, 16, 0 96 | 1340 -267 0 1 } 1
50 { 52, 16, 0 100 | 0 -2500 -5000 1 } 1
51 { 59, 17, 0 102 | -7631406250000000000 0 0 1 } 1
52 { 50, 17, 0 104 | 0 2500 5000 1 } 1
53 { 45, 17, 0 106 | 383 -77 0 1 } 1
54 { 61, 18, 0 109 | -1340 -267 0 1 } 1
55 { 48, 18, 0 108 | 7631406250000000000 0 0 1 } 1
56 { 58, 18, 0 112 | 0 -2500 -5000 1 } 1
57 { 65, 19, 0 114 | -383 -77 0 1 } 1
58 { 56, 19, 0 116 | 0 2500 5000 1 } 1
59 { 51, 19, 0 118 | 7631406250000000000 0 0 1 } 1
60 { 67, 20, 0 121 | -1135 -759 0 1 } 1
61 { 54, 20, 0 120 | 1340 267 0 1 } 1
62 { 64, 20, 0 124 | 957 -2310 -5000 1 } 1
63 { 71, 21, 0 126 | -325 -216 0 1 } 1
64 { 62, 21, 0 128 | -957 2310 5000 1 } 1
65 { 57, 21, 0 130 | 383 77 0 1 } 1
66 { 73, 22, 0 133 | -759 -1135 0 1 } 1
67 { 60, 22, 0 132 | 1135 759 0 1 } 1
68 { 70, 22, 0 136 | 1767 -1767 -5000 1 } 1
69 { 77, 23, 0 138 | -216 -325 0 1 } 1
70 { 68, 23, 0 140 | -1767 1767 5000 1 } 1
71 { 63, 23, 0 142 | 325 216 0 1 } 1
72 { 79, 24, 0 145 | -267 -1339 0 1 } 1
73 { 66, 24, 0 144 | 759 1135 0 1 } 1
74 { 76, 24, 0 148 | 2310 -957 -5000 1 } 1
75 { 83, 25, 0 150 | -77 -382 0 1 } 1
76 { 74, 25, 0 152 | -2310 957 5000 1 } 1
77 { 69, 25, 0 154 | 216 325 0 1 } 1
78 { 85, 26, 0 158 | 0 -2762500000 0 1 } 1
79 { 72, 26, 0 156 | 267 1339 0 1 } 1
80 { 82, 26, 0 161 | 2500 0 -5000 1 } 1
81 { 89, 27, 0 167 | 0 -2762500000 0 1 } 1
82 { 80, 27, 0 164 | -2500 0 5000 1 } 1
83 { 75, 27, 0 166 | 77 382 0 1 } 1
84 { 90, 28, 0 170 | 267 -1339 0 1 } 1
85 { 78, 28, 0 169 | 0 2762500000 0 1 } 1
86 { 87, 28, 0 172 | 2500 0 -5000 1 } 1
87 { 86, 29, 0 178 | -2500 0 5000 1 } 1
88 { 93, 29, 0 174 | 77 -382 0 1 } 1
89 { 81, 29, 0 175 | 0 2762500000 0 1 } 1
90 { 84, 30, 0 181 | -267 1339 0 1 } 1
91 { 96, 30, 0 182 | 759 -1135 0 1 } 1
92 { 94, 30, 0 184 | 2310 957 -5000 1 } 1
93 { 88, 31, 0 188 | -77 382 0 1 } 1
94 { 92, 31, 0 190 | -2310 -957 5000 1 } 1
95 { 99, 31, 0 186 | 216 -325 0 1 } 1
96 { 91, 32, 0 193 | -759 1135 0 1 } 1
97 { 102, 32, 0 194 | 1135 -759 0 1 } 1
98 { 100, 32, 0 196 | 1767 1767 -5000 1 } 1
99 { 95, 33, 0 200 | -216 325 0 1 } 1
100 { 98, 33, 0 202 | -1767 -1767 5000 1 } 1
101 { 105, 33, 0 198 | 325 -216 0 1 } 1
102 { 97, 34, 0 205 | -1135 759 0 1 } 1
103 { 108, 34, 0 206 | 1340 -267 0 1 } 1
104 { 106, 34, 0 208 | 957 2310 -5000 1 } 1
105 { 101, 35, 0 212 | -325 216 0 1 } 1
106 { 104, 35, 0 214 | -957 -2310 5000 1 } 1
107 { 111, 35, 0 210 | 383 -77 0 1 } 1
108 { 103, 36, 0 217 | -1340 267 0 1 } 1
109 { 114, 36, 0 218 | 7631406250000000000 0 0 1 } 1
110 { 112, 36, 0 220 | 0 2500 -5000 1 } 1
111 { 107, 37, 0 224 | -383 77 0 1 } 1
112 { 110, 37, 0 226 | 0 -2500 5000 1 } 1
113 { 117, 37, 0 222 | 7631406250000000000 0 0 1 } 1
114 { 109, 38, 0 229 | -7631406250000000000 0 0 1 } 1
115 { 120, 38, 0 230 | 1340 267 0 1 } 1
116 { 118, 38, 0 232 | 0 2500 -5000 1 } 1
117 { 113, 39, 0 236 | -7631406250000000000 0 0 1 } 1
118 { 116, 39, 0 238 | 0 -2500 5000 1 } 1
119 { 123, 39, 0 234 | 383 77 0 1 } 1
120 { 115, 40, 0 241 | -1340 -267 0 1 } 1
121 { 126, 40, 0 242 | 1135 759 0 1 } 1
122 { 124, 40, 0 244 | -957 2310 -5000 1 } 1
123 { 119, 41, 0 248 | -383 -77 0 1 } 1
124 { 122, 41, 0 250 | 957 -2310 5000 1 } 1
125 { 129, 41, 0 246 | 325 216 0 1 } 1
126 { 121, 42, 0 253 | -1135 -759 0 1 } 1
127 { 132, 42, 0 254 | 759 1135 0 1 } 1
128 { 130, 42, 0 256 | -1767 1767 -5000 1 } 1
129 { 125, 43, 0 260 | -325 -216 0 1 } 1
130 { 128, 43, 0 262 | 1767 -1767 5000 1 } 1
131 { 135, 43, 0 258 | 216 325 0 1 } 1
132 { 127, 44, 0 265 | -759 -1135 0 1 } 1
133 { 138, 44, 0 266 | 267 1339 0 1 } 1
134 { 136, 44, 0 268 | -2310 957 -5000 1 } 1
135 { 131, 45, 0 272 | -216 -325 0 1 } 1
136 { 134, 45, 0 274 | 2310 -957 5000 1 } 1
137 { 141, 45, 0 270 | 77 382 0 1 } 1
138 { 133, 46, 0 277 | -267 -1339 0 1 } 1
139 { 24, 46, 0 279 | 0 2762500000 0 1 } 1
140 { 142, 46, 0 280 | -2500 0 -5000 1 } 1
141 { 137, 47, 0 284 | -77 -382 0 1 } 1
142 { 140, 47, 0 286 | 2500 0 5000 1 } 1
143 { 27, 47, 0 282 | 0 2762500000 0 1 } 1
0 { 1, 69 , , 1 | 6695000 1335000 -3347500 -92375000000 } 1
1 { 0, 68 , , 0 | -6695000 -1335000 3347500 92375000000 } 1
2 { 3, 81 , , 1 | 5675000 3795000 -3348213 -93031993000 } 1
3 { 2, 80 , , 0 | -5675000 -3795000 3348213 93031993000 } 1
4 { 5, 93 , , 1 | 3795000 5675000 -3346698 -83630478000 } 1
5 { 4, 92 , , 0 | -3795000 -5675000 3346698 83630478000 } 1
6 { 7, 105 , , 1 | 1335000 6700000 -3350919 -65614584000 } 1
7 { 6, 104 , , 0 | -1335000 -6700000 3350919 65614584000 } 1
8 { 9, 117 , , 1 | 0 38157031250000000000000 -19078515625000000000000
-305256250000000000000000000 } 1
9 { 8, 116 , , 0 | 0 -38157031250000000000000 19078515625000000000000
305256250000000000000000000 } 1
10 { 11, 123 , , 1 | -1335000 6700000 -3350000 -65613665000 } 1
11 { 10, 122 , , 0 | 1335000 -6700000 3350000 65613665000 } 1
12 { 13, 135 , , 1 | -3795000 5675000 -3348213 -83631993000 } 1
13 { 12, 134 , , 0 | 3795000 -5675000 3348213 83631993000 } 1
14 { 15, 147 , , 1 | -5675000 3795000 -3346698 -93030478000 } 1
15 { 14, 146 , , 0 | 5675000 -3795000 3346698 93030478000 } 1
16 { 17, 161 , , 1 | -6695000 1335000 -3348609 -92376109000 } 1
17 { 16, 160 , , 0 | 6695000 -1335000 3348609 92376109000 } 1
18 { 19, 172 , , 1 | -13812500000000 0 -6906250000000 -179562500000000000 } 1
19 { 18, 173 , , 0 | 13812500000000 0 6906250000000 179562500000000000 } 1
20 { 21, 170 , , 1 | -6695000 -1335000 -3347500 -92375000000 } 1
21 { 20, 171 , , 0 | 6695000 1335000 3347500 92375000000 } 1
22 { 23, 182 , , 1 | -5675000 -3795000 -3348213 -93031993000 } 1
23 { 22, 183 , , 0 | 5675000 3795000 3348213 93031993000 } 1
24 { 25, 194 , , 1 | -3795000 -5675000 -3346698 -83630478000 } 1
25 { 24, 195 , , 0 | 3795000 5675000 3346698 83630478000 } 1
26 { 27, 206 , , 1 | -1335000 -6700000 -3350919 -65614584000 } 1
27 { 26, 207 , , 0 | 1335000 6700000 3350919 65614584000 } 1
28 { 29, 218 , , 1 | 0 -38157031250000000000000 -19078515625000000000000
-305256250000000000000000000 } 1
29 { 28, 219 , , 0 | 0 38157031250000000000000 19078515625000000000000
305256250000000000000000000 } 1
30 { 31, 230 , , 1 | 1335000 -6700000 -3350000 -65613665000 } 1
31 { 30, 231 , , 0 | -1335000 6700000 3350000 65613665000 } 1
32 { 33, 250 , , 1 | 3795000 -5675000 -3348213 -83631993000 } 1
33 { 32, 251 , , 0 | -3795000 5675000 3348213 83631993000 } 1
34 { 35, 262 , , 1 | 5675000 -3795000 -3346698 -93030478000 } 1
35 { 34, 263 , , 0 | -5675000 3795000 3346698 93030478000 } 1
36 { 37, 274 , , 1 | 6695000 -1335000 -3348609 -92376109000 } 1
37 { 36, 275 , , 0 | -6695000 1335000 3348609 92376109000 } 1
38 { 39, 286 , , 1 | 13812500000000 0 -6906250000000 -179562500000000000 } 1
39 { 38, 287 , , 0 | -13812500000000 0 6906250000000 179562500000000000 } 1
40 { 41, 46 168 , , 0 | 0 0 2762500000 2762500000000 } 1
41 { 40, 47 169 , , 1 | 0 0 -2762500000 -2762500000000 } 1
42 { 43, 2 175 , , 0 | 0 0 -2762500000 -16575000000000 } 1
43 { 42, 3 174 , , 1 | 0 0 2762500000 16575000000000 } 1
44 { 45, 4 , , 0 | -325000000 0 0 -6906250000000 } 1
45 { 44, 5 , , 1 | 325000000 0 0 6906250000000 } 1
46 { 47, 8 , , 0 | 325000000 0 0 -6906250000000 } 1
47 { 46, 9 , , 1 | -325000000 0 0 6906250000000 } 1
48 { 49, 0 , , 0 | 0 -425000000 0 -6906250000000 } 1
49 { 48, 1 , , 1 | 0 425000000 0 6906250000000 } 1
50 { 51, 18 , , 0 | 0 425000000 0 -6906250000000 } 1
51 { 50, 19 , , 1 | 0 -425000000 0 6906250000000 } 1
0 { 0 } 0
1 { 1 } 1
0 { 1, 4, 2, 0, 1, 42, 6, 48 | 0 425000000 0 0 } 1
1 { 0, 3, 5, 1, 0, 7, 43, 49 | 0 -425000000 0 0 } 1
2 { 3, 0, 4, 1, 1, 10, 22, 42 | 0 0 2762500000 0 } 1
3 { 2, 5, 1, 2, 0, 23, 11, 43 | 0 0 -2762500000 0 } 1
4 { 5, 2, 0, 2, 1, 20, 44, 44 | 325000000 0 0 0 } 1
5 { 4, 1, 3, 0, 0, 45, 21, 45 | -325000000 0 0 0 } 1
6 { 7, 10, 8, 3, 3, 0, 24, 48 | 0 425000000 0 0 } 1
7 { 6, 9, 11, 4, 2, 25, 1, 49 | 0 -425000000 0 0 } 1
8 { 9, 6, 10, 4, 3, 28, 16, 46 | -325000000 0 0 0 } 1
9 { 8, 11, 7, 5, 2, 17, 29, 47 | 325000000 0 0 0 } 1
10 { 11, 8, 6, 5, 3, 14, 2, 42 | 0 0 2762500000 0 } 1
11 { 10, 7, 9, 3, 2, 3, 15, 43 | 0 0 -2762500000 0 } 1
12 { 13, 16, 14, 6, 5, 30, 18, 50 | 0 -425000000 0 0 } 1
13 { 12, 15, 17, 7, 4, 19, 31, 51 | 0 425000000 0 0 } 1
14 { 15, 12, 16, 7, 5, 22, 10, 42 | 0 0 2762500000 0 } 1
15 { 14, 17, 13, 8, 4, 11, 23, 43 | 0 0 -2762500000 0 } 1
16 { 17, 14, 12, 8, 5, 8, 32, 46 | -325000000 0 0 0 } 1
17 { 16, 13, 15, 6, 4, 33, 9, 47 | 325000000 0 0 0 } 1
18 { 19, 22, 20, 9, 7, 12, 36, 50 | 0 -425000000 0 0 } 1
19 { 18, 21, 23, 10, 6, 37, 13, 51 | 0 425000000 0 0 } 1
20 { 21, 18, 22, 10, 7, 40, 4, 44 | 325000000 0 0 0 } 1
21 { 20, 23, 19, 11, 6, 5, 41, 45 | -325000000 0 0 0 } 1
22 { 23, 20, 18, 11, 7, 2, 14, 42 | 0 0 2762500000 0 } 1
23 { 22, 19, 21, 9, 6, 15, 3, 43 | 0 0 -2762500000 0 } 1
24 { 25, 28, 26, 12, 9, 6, 42, 48 | 0 425000000 0 0 } 1
25 { 24, 27, 29, 13, 8, 43, 7, 49 | 0 -425000000 0 0 } 1
26 { 27, 24, 28, 13, 9, 46, 34, 40 | 0 0 -2762500000 0 } 1
27 { 26, 29, 25, 14, 8, 35, 47, 41 | 0 0 2762500000 0 } 1
28 { 29, 26, 24, 14, 9, 32, 8, 46 | -325000000 0 0 0 } 1
29 { 28, 25, 27, 12, 8, 9, 33, 47 | 325000000 0 0 0 } 1
30 { 31, 34, 32, 15, 11, 36, 12, 50 | 0 -425000000 0 0 } 1
31 { 30, 33, 35, 16, 10, 13, 37, 51 | 0 425000000 0 0 } 1
32 { 33, 30, 34, 16, 11, 16, 28, 46 | -325000000 0 0 0 } 1
33 { 32, 35, 31, 17, 10, 29, 17, 47 | 325000000 0 0 0 } 1
34 { 35, 32, 30, 17, 11, 26, 38, 40 | 0 0 -2762500000 0 } 1
35 { 34, 31, 33, 15, 10, 39, 27, 41 | 0 0 2762500000 0 } 1
36 { 37, 40, 38, 18, 13, 18, 30, 50 | 0 -425000000 0 0 } 1
37 { 36, 39, 41, 19, 12, 31, 19, 51 | 0 425000000 0 0 } 1
38 { 39, 36, 40, 19, 13, 34, 46, 40 | 0 0 -2762500000 0 } 1
39 { 38, 41, 37, 20, 12, 47, 35, 41 | 0 0 2762500000 0 } 1
40 { 41, 38, 36, 20, 13, 44, 20, 44 | 325000000 0 0 0 } 1
41 { 40, 37, 39, 18, 12, 21, 45, 45 | -325000000 0 0 0 } 1
42 { 43, 46, 44, 21, 15, 24, 0, 48 | 0 425000000 0 0 } 1
43 { 42, 45, 47, 22, 14, 1, 25, 49 | 0 -425000000 0 0 } 1
44 { 45, 42, 46, 22, 15, 4, 40, 44 | 325000000 0 0 0 } 1
45 { 44, 47, 43, 23, 14, 41, 5, 45 | -325000000 0 0 0 } 1
46 { 47, 44, 42, 23, 15, 38, 26, 40 | 0 0 -2762500000 0 } 1
47 { 46, 43, 45, 21, 14, 27, 39, 41 | 0 0 2762500000 0 } 1
48 { 49, 51, 53, 24, 16, 277, 60, 41 | 0 0 21081759765625000000000000000 0 } 1
49 { 48, 52, 50, 25, 17, 61, 276, 40 | 0 0 -21081759765625000000000000000 0 }
1
50 { 51, 49, 52, 24, 17, 278, 55, 39 | 13812500000000 0 -6906250000000 0 } 1
51 { 50, 53, 48, 26, 16, 54, 279, 38 | -13812500000000 0 6906250000000 0 } 1
52 { 53, 50, 49, 26, 17, 58, 62, 1 | 6695000 1335000 -3347500 0 } 1
53 { 52, 48, 51, 25, 16, 63, 59, 0 | -6695000 -1335000 3347500 0 } 1
54 { 55, 57, 59, 27, 18, 286, 51, 38 | -13812500000000 0 6906250000000 0 } 1
55 { 54, 58, 56, 29, 19, 50, 287, 39 | 13812500000000 0 -6906250000000 0 } 1
56 { 57, 55, 58, 27, 19, 283, 70, 42 | 0 0 21081759765625000000000000000 0 } 1
57 { 56, 59, 54, 28, 18, 71, 282, 43 | 0 0 -21081759765625000000000000000 0 }
1
58 { 59, 56, 55, 28, 19, 68, 52, 1 | 1910000 385000 -955000 0 } 1
59 { 58, 54, 57, 29, 18, 53, 69, 0 | -1910000 -385000 955000 0 } 1
60 { 61, 63, 65, 31, 20, 48, 72, 41 | 0 0 10218452968750000000000 0 } 1
61 { 60, 64, 62, 30, 21, 73, 49, 40 | 0 0 -10218452968750000000000 0 } 1
62 { 63, 61, 64, 31, 21, 52, 68, 1 | 6695000 1335000 -3348609 0 } 1
63 { 62, 65, 60, 32, 20, 69, 53, 0 | -6695000 -1335000 3348609 0 } 1
64 { 65, 62, 61, 32, 21, 66, 74, 3 | 5675000 3795000 -3348213 0 } 1
65 { 64, 60, 63, 30, 20, 75, 67, 2 | -5675000 -3795000 3348213 0 } 1
66 { 67, 70, 68, 33, 23, 80, 64, 3 | 1625000 1080000 -957462 0 } 1
67 { 66, 69, 71, 34, 22, 65, 81, 2 | -1625000 -1080000 957462 0 } 1
68 { 69, 66, 70, 34, 23, 62, 58, 1 | 1910000 385000 -956109 0 } 1
69 { 68, 71, 67, 35, 22, 59, 63, 0 | -1910000 -385000 956109 0 } 1
70 { 71, 68, 66, 35, 23, 56, 82, 42 | 0 0 2915197187500000000000 0 } 1
71 { 70, 67, 69, 33, 22, 83, 57, 43 | 0 0 -2915197187500000000000 0 } 1
72 { 73, 75, 77, 37, 24, 60, 84, 41 | 0 0 8661646093750000000000 0 } 1
73 { 72, 76, 74, 36, 25, 85, 61, 40 | 0 0 -8661646093750000000000 0 } 1
74 { 75, 73, 76, 37, 25, 64, 80, 3 | 5675000 3795000 -3346698 0 } 1
75 { 74, 77, 72, 38, 24, 81, 65, 2 | -5675000 -3795000 3346698 0 } 1
76 { 77, 74, 73, 38, 25, 78, 86, 5 | 3795000 5675000 -3346698 0 } 1
77 { 76, 72, 75, 36, 24, 87, 79, 4 | -3795000 -5675000 3346698 0 } 1
78 { 79, 82, 80, 39, 27, 92, 76, 5 | 1080000 1625000 -955947 0 } 1
79 { 78, 81, 83, 40, 26, 77, 93, 4 | -1080000 -1625000 955947 0 } 1
80 { 81, 78, 82, 40, 27, 74, 66, 3 | 1625000 1080000 -955947 0 } 1
81 { 80, 83, 79, 41, 26, 67, 75, 2 | -1625000 -1080000 955947 0 } 1
82 { 83, 80, 78, 41, 27, 70, 94, 42 | 0 0 2480207031250000000000 0 } 1
83 { 82, 79, 81, 39, 26, 95, 71, 43 | 0 0 -2480207031250000000000 0 } 1
84 { 85, 87, 89, 43, 28, 72, 96, 41 | 0 0 5792237343750000000000 0 } 1
85 { 84, 88, 86, 42, 29, 97, 73, 40 | 0 0 -5792237343750000000000 0 } 1
86 { 87, 85, 88, 43, 29, 76, 92, 5 | 3795000 5675000 -3348213 0 } 1
87 { 86, 89, 84, 44, 28, 93, 77, 4 | -3795000 -5675000 3348213 0 } 1
88 { 89, 86, 85, 44, 29, 90, 98, 7 | 1335000 6700000 -3350919 0 } 1
89 { 88, 84, 87, 42, 28, 99, 91, 6 | -1335000 -6700000 3350919 0 } 1
90 { 91, 94, 92, 45, 31, 104, 88, 7 | 385000 1915000 -958419 0 } 1
91 { 90, 93, 95, 46, 30, 89, 105, 6 | -385000 -1915000 958419 0 } 1
92 { 93, 90, 94, 46, 31, 86, 78, 5 | 1080000 1625000 -957462 0 } 1
93 { 92, 95, 91, 47, 30, 79, 87, 4 | -1080000 -1625000 957462 0 } 1
94 { 95, 92, 90, 47, 31, 82, 106, 42 | 0 0 1648383750000000000000 0 } 1
95 { 94, 91, 93, 45, 30, 107, 83, 43 | 0 0 -1648383750000000000000 0 } 1
96 { 97, 99, 101, 49, 32, 84, 108, 41 | 0 0 2037585468750000000000 0 } 1
97 { 96, 100, 98, 48, 33, 109, 85, 40 | 0 0 -2037585468750000000000 0 } 1
98 { 99, 97, 100, 49, 33, 88, 104, 7 | 1335000 6700000 -3350000 0 } 1
99 { 98, 101, 96, 50, 32, 105, 89, 6 | -1335000 -6700000 3350000 0 } 1
100 { 101, 98, 97, 50, 33, 102, 110, 9 | 0 38157031250000000000000
-19078515625000000000000 0 } 1
101 { 100, 96, 99, 48, 32, 111, 103, 8 | 0 -38157031250000000000000
19078515625000000000000 0 } 1
102 { 103, 106, 104, 51, 35, 116, 100, 9 | 0 38157031250000000000000
-19078515625000000000000 0 } 1
103 { 102, 105, 107, 52, 34, 101, 117, 8 | 0 -38157031250000000000000
19078515625000000000000 0 } 1
104 { 105, 102, 106, 52, 35, 98, 90, 7 | 385000 1915000 -957500 0 } 1
105 { 104, 107, 103, 53, 34, 91, 99, 6 | -385000 -1915000 957500 0 } 1
106 { 107, 104, 102, 53, 35, 94, 118, 42 | 0 0 587618281250000000000 0 } 1
107 { 106, 103, 105, 51, 34, 119, 95, 43 | 0 0 -587618281250000000000 0 } 1
108 { 109, 111, 113, 55, 36, 96, 120, 41 | 0 0 21081759765625000000000000000
0 } 1
109 { 108, 112, 110, 54, 37, 121, 97, 40 | 0 0 -21081759765625000000000000000
0 } 1
110 { 111, 109, 112, 55, 37, 100, 116, 9 | 0 38157031250000000000000
-19078515625000000000000 0 } 1
111 { 110, 113, 108, 56, 36, 117, 101, 8 | 0 -38157031250000000000000
19078515625000000000000 0 } 1
112 { 113, 110, 109, 56, 37, 114, 122, 11 | -1335000 6700000 -3350000 0 } 1
113 { 112, 108, 111, 54, 36, 123, 115, 10 | 1335000 -6700000 3350000 0 } 1
114 { 115, 118, 116, 57, 39, 128, 112, 11 | -385000 1915000 -957500 0 } 1
115 { 114, 117, 119, 58, 38, 113, 129, 10 | 385000 -1915000 957500 0 } 1
116 { 117, 114, 118, 58, 39, 110, 102, 9 | 0 38157031250000000000000
-19078515625000000000000 0 } 1
117 { 116, 119, 115, 59, 38, 103, 111, 8 | 0 -38157031250000000000000
19078515625000000000000 0 } 1
118 { 119, 116, 114, 59, 39, 106, 130, 42 | 0 0 21081759765625000000000000000
0 } 1
119 { 118, 115, 117, 57, 38, 131, 107, 43 | 0 0
-21081759765625000000000000000 0 } 1
120 { 121, 123, 125, 61, 40, 108, 132, 41 | 0 0 3701750000000 0 } 1
121 { 120, 124, 122, 60, 41, 133, 109, 40 | 0 0 -3701750000000 0 } 1
122 { 123, 121, 124, 61, 41, 112, 128, 11 | -1335000 6700000 -3350919 0 } 1
123 { 122, 125, 120, 62, 40, 129, 113, 10 | 1335000 -6700000 3350919 0 } 1
124 { 125, 122, 121, 62, 41, 126, 134, 13 | -3795000 5675000 -3348213 0 } 1
125 { 124, 120, 123, 60, 40, 135, 127, 12 | 3795000 -5675000 3348213 0 } 1
126 { 127, 130, 128, 63, 43, 140, 124, 13 | -1080000 1625000 -957462 0 } 1
127 { 126, 129, 131, 64, 42, 125, 141, 12 | 1080000 -1625000 957462 0 } 1
128 { 129, 126, 130, 64, 43, 122, 114, 11 | -385000 1915000 -958419 0 } 1
129 { 128, 131, 127, 65, 42, 115, 123, 10 | 385000 -1915000 958419 0 } 1
130 { 131, 128, 126, 65, 43, 118, 142, 42 | 0 0 1058037500000 0 } 1
131 { 130, 127, 129, 63, 42, 143, 119, 43 | 0 0 -1058037500000 0 } 1
132 { 133, 135, 137, 67, 44, 120, 144, 41 | 0 0 3135437500000 0 } 1
133 { 132, 136, 134, 66, 45, 145, 121, 40 | 0 0 -3135437500000 0 } 1
134 { 135, 133, 136, 67, 45, 124, 140, 13 | -3795000 5675000 -3346698 0 } 1
135 { 134, 137, 132, 68, 44, 141, 125, 12 | 3795000 -5675000 3346698 0 } 1
136 { 137, 134, 133, 68, 45, 138, 146, 15 | -5675000 3795000 -3346698 0 } 1
137 { 136, 132, 135, 66, 44, 147, 139, 14 | 5675000 -3795000 3346698 0 } 1
138 { 139, 142, 140, 69, 47, 152, 136, 15 | -1625000 1080000 -955947 0 } 1
139 { 138, 141, 143, 70, 46, 137, 153, 14 | 1625000 -1080000 955947 0 } 1
140 { 141, 138, 142, 70, 47, 134, 126, 13 | -1080000 1625000 -955947 0 } 1
141 { 140, 143, 139, 71, 46, 127, 135, 12 | 1080000 -1625000 955947 0 } 1
142 { 143, 140, 138, 71, 47, 130, 154, 42 | 0 0 897812500000 0 } 1
143 { 142, 139, 141, 69, 46, 155, 131, 43 | 0 0 -897812500000 0 } 1
144 { 145, 147, 149, 73, 48, 132, 156, 41 | 0 0 2096737500000 0 } 1
145 { 144, 148, 146, 72, 49, 157, 133, 40 | 0 0 -2096737500000 0 } 1
146 { 147, 145, 148, 73, 49, 136, 152, 15 | -5675000 3795000 -3348213 0 } 1
147 { 146, 149, 144, 74, 48, 153, 137, 14 | 5675000 -3795000 3348213 0 } 1
148 { 149, 146, 145, 74, 49, 150, 160, 17 | -6695000 1335000 -3348609 0 } 1
149 { 148, 144, 147, 72, 48, 161, 151, 16 | 6695000 -1335000 3348609 0 } 1
150 { 151, 154, 152, 75, 51, 164, 148, 17 | -1910000 385000 -956109 0 } 1
151 { 150, 153, 155, 76, 50, 149, 165, 16 | 1910000 -385000 956109 0 } 1
152 { 153, 150, 154, 76, 51, 146, 138, 15 | -1625000 1080000 -957462 0 } 1
153 { 152, 155, 151, 77, 50, 139, 147, 14 | 1625000 -1080000 957462 0 } 1
154 { 155, 152, 150, 77, 51, 142, 166, 42 | 0 0 596700000000 0 } 1
155 { 154, 151, 153, 75, 50, 167, 143, 43 | 0 0 -596700000000 0 } 1
156 { 157, 161, 158, 79, 52, 144, 169, 41 | 0 0 737587500000 0 } 1
157 { 156, 159, 160, 78, 53, 168, 145, 40 | 0 0 -737587500000 0 } 1
158 { 159, 156, 161, 78, 52, 172, 163, 18 | 13812500000000 0 6906250000000 0
} 1
159 { 158, 160, 157, 80, 53, 162, 173, 19 | -13812500000000 0 -6906250000000
0 } 1
160 { 161, 157, 159, 79, 53, 148, 164, 17 | -6695000 1335000 -3347500 0 } 1
161 { 160, 158, 156, 80, 52, 165, 149, 16 | 6695000 -1335000 3347500 0 } 1
162 { 163, 166, 164, 81, 54, 176, 159, 19 | -13812500000000 0 -6906250000000
0 } 1
163 { 162, 165, 167, 82, 55, 158, 177, 18 | 13812500000000 0 6906250000000 0
} 1
164 { 165, 162, 166, 82, 54, 160, 150, 17 | -1910000 385000 -955000 0 } 1
165 { 164, 167, 163, 83, 55, 151, 161, 16 | 1910000 -385000 955000 0 } 1
166 { 167, 164, 162, 83, 54, 154, 175, 42 | 0 0 212712500000 0 } 1
167 { 166, 163, 165, 81, 55, 174, 155, 43 | 0 0 -212712500000 0 } 1
168 { 169, 171, 173, 84, 56, 180, 157, 40 | 0 0
-21081759765625000000000000000 0 } 1
169 { 168, 172, 170, 85, 57, 156, 181, 41 | 0 0 21081759765625000000000000000
0 } 1
170 { 171, 169, 172, 84, 57, 184, 178, 20 | 6695000 1335000 3347500 0 } 1
171 { 170, 173, 168, 86, 56, 179, 185, 21 | -6695000 -1335000 -3347500 0 } 1
172 { 173, 170, 169, 86, 57, 177, 158, 18 | 13812500000000 0 6906250000000 0
} 1
173 { 172, 168, 171, 85, 56, 159, 176, 19 | -13812500000000 0 -6906250000000
0 } 1
174 { 175, 178, 177, 88, 59, 186, 167, 43 | 0 0
-21081759765625000000000000000 0 } 1
175 { 174, 176, 179, 89, 58, 166, 187, 42 | 0 0 21081759765625000000000000000
0 } 1
176 { 177, 179, 175, 87, 58, 173, 162, 19 | -13812500000000 0 -6906250000000
0 } 1
177 { 176, 174, 178, 89, 59, 163, 172, 18 | 13812500000000 0 6906250000000 0
} 1
178 { 179, 177, 174, 87, 59, 170, 188, 20 | 1910000 385000 955000 0 } 1
179 { 178, 175, 176, 88, 58, 189, 171, 21 | -1910000 -385000 -955000 0 } 1
180 { 181, 183, 185, 91, 61, 192, 168, 40 | 0 0
-21081759765625000000000000000 0 } 1
181 { 180, 184, 182, 90, 60, 169, 193, 41 | 0 0 21081759765625000000000000000
0 } 1
182 { 183, 181, 184, 91, 60, 196, 190, 22 | 5675000 3795000 3348213 0 } 1
183 { 182, 185, 180, 92, 61, 191, 197, 23 | -5675000 -3795000 -3348213 0 } 1
184 { 185, 182, 181, 92, 60, 188, 170, 20 | 6695000 1335000 3348609 0 } 1
185 { 184, 180, 183, 90, 61, 171, 189, 21 | -6695000 -1335000 -3348609 0 } 1
186 { 187, 190, 188, 95, 63, 198, 174, 43 | 0 0
-21081759765625000000000000000 0 } 1
187 { 186, 189, 191, 93, 62, 175, 199, 42 | 0 0 21081759765625000000000000000
0 } 1
188 { 189, 186, 190, 93, 63, 178, 184, 20 | 1910000 385000 956109 0 } 1
189 { 188, 191, 187, 94, 62, 185, 179, 21 | -1910000 -385000 -956109 0 } 1
190 { 191, 188, 186, 94, 63, 182, 200, 22 | 1625000 1080000 957462 0 } 1
191 { 190, 187, 189, 95, 62, 201, 183, 23 | -1625000 -1080000 -957462 0 } 1
192 { 193, 195, 197, 97, 65, 204, 180, 40 | 0 0
-21081759765625000000000000000 0 } 1
193 { 192, 196, 194, 96, 64, 181, 205, 41 | 0 0 21081759765625000000000000000
0 } 1
194 { 195, 193, 196, 97, 64, 208, 202, 24 | 3795000 5675000 3346698 0 } 1
195 { 194, 197, 192, 98, 65, 203, 209, 25 | -3795000 -5675000 -3346698 0 } 1
196 { 197, 194, 193, 98, 64, 200, 182, 22 | 5675000 3795000 3346698 0 } 1
197 { 196, 192, 195, 96, 65, 183, 201, 23 | -5675000 -3795000 -3346698 0 } 1
198 { 199, 202, 200, 101, 67, 210, 186, 43 | 0 0
-21081759765625000000000000000 0 } 1
199 { 198, 201, 203, 99, 66, 187, 211, 42 | 0 0 21081759765625000000000000000
0 } 1
200 { 201, 198, 202, 99, 67, 190, 196, 22 | 1625000 1080000 955947 0 } 1
201 { 200, 203, 199, 100, 66, 197, 191, 23 | -1625000 -1080000 -955947 0 } 1
202 { 203, 200, 198, 100, 67, 194, 212, 24 | 1080000 1625000 955947 0 } 1
203 { 202, 199, 201, 101, 66, 213, 195, 25 | -1080000 -1625000 -955947 0 } 1
204 { 205, 207, 209, 103, 69, 216, 192, 40 | 0 0
-21081759765625000000000000000 0 } 1
205 { 204, 208, 206, 102, 68, 193, 217, 41 | 0 0
21081759765625000000000000000 0 } 1
206 { 207, 205, 208, 103, 68, 220, 214, 26 | 1335000 6700000 3350919 0 } 1
207 { 206, 209, 204, 104, 69, 215, 221, 27 | -1335000 -6700000 -3350919 0 } 1
208 { 209, 206, 205, 104, 68, 212, 194, 24 | 3795000 5675000 3348213 0 } 1
209 { 208, 204, 207, 102, 69, 195, 213, 25 | -3795000 -5675000 -3348213 0 } 1
210 { 211, 214, 212, 107, 71, 222, 198, 43 | 0 0
-21081759765625000000000000000 0 } 1
211 { 210, 213, 215, 105, 70, 199, 223, 42 | 0 0
21081759765625000000000000000 0 } 1
212 { 213, 210, 214, 105, 71, 202, 208, 24 | 1080000 1625000 957462 0 } 1
213 { 212, 215, 211, 106, 70, 209, 203, 25 | -1080000 -1625000 -957462 0 } 1
214 { 215, 212, 210, 106, 71, 206, 224, 26 | 385000 1915000 958419 0 } 1
215 { 214, 211, 213, 107, 70, 225, 207, 27 | -385000 -1915000 -958419 0 } 1
216 { 217, 219, 221, 109, 73, 228, 204, 40 | 0 0
-21081759765625000000000000000 0 } 1
217 { 216, 220, 218, 108, 72, 205, 229, 41 | 0 0
21081759765625000000000000000 0 } 1
218 { 219, 217, 220, 109, 72, 232, 226, 28 | 0 38157031250000000000000
19078515625000000000000 0 } 1
219 { 218, 221, 216, 110, 73, 227, 233, 29 | 0 -38157031250000000000000
-19078515625000000000000 0 } 1
220 { 221, 218, 217, 110, 72, 224, 206, 26 | 1335000 6700000 3350000 0 } 1
221 { 220, 216, 219, 108, 73, 207, 225, 27 | -1335000 -6700000 -3350000 0 } 1
222 { 223, 226, 224, 113, 75, 234, 210, 43 | 0 0
-21081759765625000000000000000 0 } 1
223 { 222, 225, 227, 111, 74, 211, 235, 42 | 0 0
21081759765625000000000000000 0 } 1
224 { 225, 222, 226, 111, 75, 214, 220, 26 | 385000 1915000 957500 0 } 1
225 { 224, 227, 223, 112, 74, 221, 215, 27 | -385000 -1915000 -957500 0 } 1
226 { 227, 224, 222, 112, 75, 218, 236, 28 | 0 38157031250000000000000
19078515625000000000000 0 } 1
227 { 226, 223, 225, 113, 74, 237, 219, 29 | 0 -38157031250000000000000
-19078515625000000000000 0 } 1
228 { 229, 231, 233, 115, 77, 240, 216, 40 | 0 0
-21081759765625000000000000000 0 } 1
229 { 228, 232, 230, 114, 76, 217, 241, 41 | 0 0
21081759765625000000000000000 0 } 1
230 { 231, 229, 232, 115, 76, 244, 238, 30 | -1335000 6700000 3350000 0 } 1
231 { 230, 233, 228, 116, 77, 239, 245, 31 | 1335000 -6700000 -3350000 0 } 1
232 { 233, 230, 229, 116, 76, 236, 218, 28 | 0 38157031250000000000000
19078515625000000000000 0 } 1
233 { 232, 228, 231, 114, 77, 219, 237, 29 | 0 -38157031250000000000000
-19078515625000000000000 0 } 1
234 { 235, 238, 236, 119, 79, 246, 222, 43 | 0 0
-21081759765625000000000000000 0 } 1
235 { 234, 237, 239, 117, 78, 223, 247, 42 | 0 0
21081759765625000000000000000 0 } 1
236 { 237, 234, 238, 117, 79, 226, 232, 28 | 0 38157031250000000000000
19078515625000000000000 0 } 1
237 { 236, 239, 235, 118, 78, 233, 227, 29 | 0 -38157031250000000000000
-19078515625000000000000 0 } 1
238 { 239, 236, 234, 118, 79, 230, 248, 30 | -385000 1915000 957500 0 } 1
239 { 238, 235, 237, 119, 78, 249, 231, 31 | 385000 -1915000 -957500 0 } 1
240 { 241, 243, 245, 121, 81, 252, 228, 40 | 0 0 -3701750000000 0 } 1
241 { 240, 244, 242, 120, 80, 229, 253, 41 | 0 0 3701750000000 0 } 1
242 { 243, 241, 244, 121, 80, 256, 250, 32 | -3795000 5675000 3348213 0 } 1
243 { 242, 245, 240, 122, 81, 251, 257, 33 | 3795000 -5675000 -3348213 0 } 1
244 { 245, 242, 241, 122, 80, 248, 230, 30 | -1335000 6700000 3350919 0 } 1
245 { 244, 240, 243, 120, 81, 231, 249, 31 | 1335000 -6700000 -3350919 0 } 1
246 { 247, 250, 248, 125, 83, 258, 234, 43 | 0 0 -1058037500000 0 } 1
247 { 246, 249, 251, 123, 82, 235, 259, 42 | 0 0 1058037500000 0 } 1
248 { 249, 246, 250, 123, 83, 238, 244, 30 | -385000 1915000 958419 0 } 1
249 { 248, 251, 247, 124, 82, 245, 239, 31 | 385000 -1915000 -958419 0 } 1
250 { 251, 248, 246, 124, 83, 242, 260, 32 | -1080000 1625000 957462 0 } 1
251 { 250, 247, 249, 125, 82, 261, 243, 33 | 1080000 -1625000 -957462 0 } 1
252 { 253, 255, 257, 127, 85, 264, 240, 40 | 0 0 -3135437500000 0 } 1
253 { 252, 256, 254, 126, 84, 241, 265, 41 | 0 0 3135437500000 0 } 1
254 { 255, 253, 256, 127, 84, 268, 262, 34 | -5675000 3795000 3346698 0 } 1
255 { 254, 257, 252, 128, 85, 263, 269, 35 | 5675000 -3795000 -3346698 0 } 1
256 { 257, 254, 253, 128, 84, 260, 242, 32 | -3795000 5675000 3346698 0 } 1
257 { 256, 252, 255, 126, 85, 243, 261, 33 | 3795000 -5675000 -3346698 0 } 1
258 { 259, 262, 260, 131, 87, 270, 246, 43 | 0 0 -897812500000 0 } 1
259 { 258, 261, 263, 129, 86, 247, 271, 42 | 0 0 897812500000 0 } 1
260 { 261, 258, 262, 129, 87, 250, 256, 32 | -1080000 1625000 955947 0 } 1
261 { 260, 263, 259, 130, 86, 257, 251, 33 | 1080000 -1625000 -955947 0 } 1
262 { 263, 260, 258, 130, 87, 254, 272, 34 | -1625000 1080000 955947 0 } 1
263 { 262, 259, 261, 131, 86, 273, 255, 35 | 1625000 -1080000 -955947 0 } 1
264 { 265, 267, 269, 133, 89, 276, 252, 40 | 0 0 -2096737500000 0 } 1
265 { 264, 268, 266, 132, 88, 253, 277, 41 | 0 0 2096737500000 0 } 1
266 { 267, 265, 268, 133, 88, 280, 274, 36 | -6695000 1335000 3348609 0 } 1
267 { 266, 269, 264, 134, 89, 275, 281, 37 | 6695000 -1335000 -3348609 0 } 1
268 { 269, 266, 265, 134, 88, 272, 254, 34 | -5675000 3795000 3348213 0 } 1
269 { 268, 264, 267, 132, 89, 255, 273, 35 | 5675000 -3795000 -3348213 0 } 1
270 { 271, 274, 272, 137, 91, 282, 258, 43 | 0 0 -596700000000 0 } 1
271 { 270, 273, 275, 135, 90, 259, 283, 42 | 0 0 596700000000 0 } 1
272 { 273, 270, 274, 135, 91, 262, 268, 34 | -1625000 1080000 957462 0 } 1
273 { 272, 275, 271, 136, 90, 269, 263, 35 | 1625000 -1080000 -957462 0 } 1
274 { 275, 272, 270, 136, 91, 266, 284, 36 | -1910000 385000 956109 0 } 1
275 { 274, 271, 273, 137, 90, 285, 267, 37 | 1910000 -385000 -956109 0 } 1
276 { 277, 278, 281, 139, 93, 49, 264, 40 | 0 0 -737587500000 0 } 1
277 { 276, 280, 279, 138, 92, 265, 48, 41 | 0 0 737587500000 0 } 1
278 { 279, 281, 276, 140, 93, 287, 50, 39 | 13812500000000 0 -6906250000000 0
} 1
279 { 278, 277, 280, 139, 92, 51, 286, 38 | -13812500000000 0 6906250000000 0
} 1
280 { 281, 279, 277, 140, 92, 284, 266, 36 | -6695000 1335000 3347500 0 } 1
281 { 280, 276, 278, 138, 93, 267, 285, 37 | 6695000 -1335000 -3347500 0 } 1
282 { 283, 286, 284, 143, 95, 57, 270, 43 | 0 0 -212712500000 0 } 1
283 { 282, 285, 287, 141, 94, 271, 56, 42 | 0 0 212712500000 0 } 1
284 { 285, 282, 286, 141, 95, 274, 280, 36 | -1910000 385000 955000 0 } 1
285 { 284, 287, 283, 142, 94, 281, 275, 37 | 1910000 -385000 -955000 0 } 1
286 { 287, 284, 282, 142, 95, 279, 54, 38 | -13812500000000 0 6906250000000 0
} 1
287 { 286, 283, 285, 143, 94, 55, 278, 39 | 13812500000000 0 -6906250000000 0
} 1
0 { 0, 1 , , , 0 } 0
1 { 0, 0 , , , 1 } 1
2 { 1, 7 , , , 0 } 0
3 { 1, 6 , , , 1 } 1
4 { 2, 13 , , , 0 } 0
5 { 2, 12 , , , 1 } 1
6 { 3, 19 , , , 0 } 0
7 { 3, 18 , , , 1 } 1
8 { 4, 25 , , , 0 } 0
9 { 4, 24 , , , 1 } 1
10 { 5, 31 , , , 0 } 0
11 { 5, 30 , , , 1 } 1
12 { 6, 37 , , , 0 } 0
13 { 6, 36 , , , 1 } 1
14 { 7, 43 , , , 0 } 0
15 { 7, 42 , , , 1 } 1
16 { 8, 48 , , , 0 } 0
17 { 8, 49 , , , 1 } 1
18 { 9, 54 , , , 0 } 0
19 { 9, 55 , , , 1 } 1
20 { 10, 60 , , , 0 } 0
21 { 10, 61 , , , 1 } 1
22 { 11, 67 , , , 0 } 0
23 { 11, 66 , , , 1 } 1
24 { 12, 72 , , , 0 } 0
25 { 12, 73 , , , 1 } 1
26 { 13, 79 , , , 0 } 0
27 { 13, 78 , , , 1 } 1
28 { 14, 84 , , , 0 } 0
29 { 14, 85 , , , 1 } 1
30 { 15, 91 , , , 0 } 0
31 { 15, 90 , , , 1 } 1
32 { 16, 96 , , , 0 } 0
33 { 16, 97 , , , 1 } 1
34 { 17, 103 , , , 0 } 0
35 { 17, 102 , , , 1 } 1
36 { 18, 108 , , , 0 } 0
37 { 18, 109 , , , 1 } 1
38 { 19, 115 , , , 0 } 0
39 { 19, 114 , , , 1 } 1
40 { 20, 120 , , , 0 } 0
41 { 20, 121 , , , 1 } 1
42 { 21, 127 , , , 0 } 0
43 { 21, 126 , , , 1 } 1
44 { 22, 132 , , , 0 } 0
45 { 22, 133 , , , 1 } 1
46 { 23, 139 , , , 0 } 0
47 { 23, 138 , , , 1 } 1
48 { 24, 144 , , , 0 } 0
49 { 24, 145 , , , 1 } 1
50 { 25, 151 , , , 0 } 0
51 { 25, 150 , , , 1 } 1
52 { 26, 156 , , , 0 } 0
53 { 26, 157 , , , 1 } 1
54 { 27, 162 , , , 1 } 1
55 { 27, 163 , , , 0 } 0
56 { 28, 168 , , , 1 } 1
57 { 28, 169 , , , 0 } 0
58 { 29, 175 , , , 1 } 1
59 { 29, 174 , , , 0 } 0
60 { 30, 181 , , , 0 } 0
61 { 30, 180 , , , 1 } 1
62 { 31, 187 , , , 1 } 1
63 { 31, 186 , , , 0 } 0
64 { 32, 193 , , , 0 } 0
65 { 32, 192 , , , 1 } 1
66 { 33, 199 , , , 1 } 1
67 { 33, 198 , , , 0 } 0
68 { 34, 205 , , , 0 } 0
69 { 34, 204 , , , 1 } 1
70 { 35, 211 , , , 1 } 1
71 { 35, 210 , , , 0 } 0
72 { 36, 217 , , , 0 } 0
73 { 36, 216 , , , 1 } 1
74 { 37, 223 , , , 1 } 1
75 { 37, 222 , , , 0 } 0
76 { 38, 229 , , , 0 } 0
77 { 38, 228 , , , 1 } 1
78 { 39, 235 , , , 1 } 1
79 { 39, 234 , , , 0 } 0
80 { 40, 241 , , , 0 } 0
81 { 40, 240 , , , 1 } 1
82 { 41, 247 , , , 1 } 1
83 { 41, 246 , , , 0 } 0
84 { 42, 253 , , , 0 } 0
85 { 42, 252 , , , 1 } 1
86 { 43, 259 , , , 1 } 1
87 { 43, 258 , , , 0 } 0
88 { 44, 265 , , , 0 } 0
89 { 44, 264 , , , 1 } 1
90 { 45, 271 , , , 1 } 1
91 { 45, 270 , , , 0 } 0
92 { 46, 277 , , , 0 } 0
93 { 46, 276 , , , 1 } 1
94 { 47, 283 , , , 1 } 1
95 { 47, 282 , , , 0 } 0
/* end Selective Nef complex */
Selective Nef Complex
standard
vertices 72
halfedges 216
facets 76
volumes 2
shalfedges 432
shalfloops 0
sfaces 144
0 { 0 2, 0 5, 0 1, -2 | -11250 -6250 -5000 1 } 1
1 { 3 5, 6 11, 2 3, -2 | 11250 -6250 -5000 1 } 1
2 { 6 8, 12 17, 4 5, -2 | 11250 6250 -5000 1 } 1
3 { 9 11, 18 23, 6 7, -2 | -11250 6250 -5000 1 } 1
4 { 12 14, 24 29, 8 9, -2 | 11250 -6250 0 1 } 1
5 { 15 17, 30 35, 10 11, -2 | 11250 6250 0 1 } 1
6 { 18 20, 36 41, 12 13, -2 | -11250 6250 0 1 } 1
7 { 21 23, 42 47, 14 15, -2 | -11250 -6250 0 1 } 1
8 { 24 26, 48 53, 16 17, -2 | -8247 -2500 -5000 1 } 1
9 { 27 29, 54 59, 18 19, -2 | -8028 -1972 -5000 1 } 1
10 { 30 32, 60 65, 20 21, -2 | -8028 -3028 -5000 1 } 1
11 { 33 35, 66 71, 22 23, -2 | -7500 -1753 -5000 1 } 1
12 { 36 38, 72 77, 24 25, -2 | -7500 -3247 -5000 1 } 1
13 { 39 41, 78 83, 26 27, -2 | -6972 -1972 -5000 1 } 1
14 { 42 44, 84 89, 28 29, -2 | -6972 -3028 -5000 1 } 1
15 { 45 47, 90 95, 30 31, -2 | -6753 -2500 -5000 1 } 1
16 { 48 50, 96 101, 32 33, -2 | -8247 -2500 0 1 } 1
17 { 51 53, 102 107, 34 35, -2 | -8028 -1972 0 1 } 1
18 { 54 56, 108 113, 36 37, -2 | -8028 -3028 0 1 } 1
19 { 57 59, 114 119, 38 39, -2 | -7500 -1753 0 1 } 1
20 { 60 62, 120 125, 40 41, -2 | -7500 -3247 0 1 } 1
21 { 63 65, 126 131, 42 43, -2 | -6972 -1972 0 1 } 1
22 { 66 68, 132 137, 44 45, -2 | -6972 -3028 0 1 } 1
23 { 69 71, 138 143, 46 47, -2 | -6753 -2500 0 1 } 1
24 { 72 74, 144 149, 48 49, -2 | -8247 2500 -5000 1 } 1
25 { 75 77, 150 155, 50 51, -2 | -8028 3028 -5000 1 } 1
26 { 78 80, 156 161, 52 53, -2 | -8028 1972 -5000 1 } 1
27 { 81 83, 162 167, 54 55, -2 | -7500 3247 -5000 1 } 1
28 { 84 86, 168 173, 56 57, -2 | -7500 1753 -5000 1 } 1
29 { 87 89, 174 179, 58 59, -2 | -6972 3028 -5000 1 } 1
30 { 90 92, 180 185, 60 61, -2 | -6972 1972 -5000 1 } 1
31 { 93 95, 186 191, 62 63, -2 | -6753 2500 -5000 1 } 1
32 { 96 98, 192 197, 64 65, -2 | -8247 2500 0 1 } 1
33 { 99 101, 198 203, 66 67, -2 | -8028 3028 0 1 } 1
34 { 102 104, 204 209, 68 69, -2 | -8028 1972 0 1 } 1
35 { 105 107, 210 215, 70 71, -2 | -7500 3247 0 1 } 1
36 { 108 110, 216 221, 72 73, -2 | -7500 1753 0 1 } 1
37 { 111 113, 222 227, 74 75, -2 | -6972 3028 0 1 } 1
38 { 114 116, 228 233, 76 77, -2 | -6972 1972 0 1 } 1
39 { 117 119, 234 239, 78 79, -2 | -6753 2500 0 1 } 1
40 { 120 122, 240 245, 80 81, -2 | 6753 -2500 -5000 1 } 1
41 { 123 125, 246 251, 82 83, -2 | 6972 -1972 -5000 1 } 1
42 { 126 128, 252 257, 84 85, -2 | 6972 -3028 -5000 1 } 1
43 { 129 131, 258 263, 86 87, -2 | 7500 -1753 -5000 1 } 1
44 { 132 134, 264 269, 88 89, -2 | 7500 -3247 -5000 1 } 1
45 { 135 137, 270 275, 90 91, -2 | 8028 -1972 -5000 1 } 1
46 { 138 140, 276 281, 92 93, -2 | 8028 -3028 -5000 1 } 1
47 { 141 143, 282 287, 94 95, -2 | 8247 -2500 -5000 1 } 1
48 { 144 146, 288 293, 96 97, -2 | 6753 -2500 0 1 } 1
49 { 147 149, 294 299, 98 99, -2 | 6972 -1972 0 1 } 1
50 { 150 152, 300 305, 100 101, -2 | 6972 -3028 0 1 } 1
51 { 153 155, 306 311, 102 103, -2 | 7500 -1753 0 1 } 1
52 { 156 158, 312 317, 104 105, -2 | 7500 -3247 0 1 } 1
53 { 159 161, 318 323, 106 107, -2 | 8028 -1972 0 1 } 1
54 { 162 164, 324 329, 108 109, -2 | 8028 -3028 0 1 } 1
55 { 165 167, 330 335, 110 111, -2 | 8247 -2500 0 1 } 1
56 { 168 170, 336 341, 112 113, -2 | 6753 2500 -5000 1 } 1
57 { 171 173, 342 347, 114 115, -2 | 6972 3028 -5000 1 } 1
58 { 174 176, 348 353, 116 117, -2 | 6972 1972 -5000 1 } 1
59 { 177 179, 354 359, 118 119, -2 | 7500 3247 -5000 1 } 1
60 { 180 182, 360 365, 120 121, -2 | 7500 1753 -5000 1 } 1
61 { 183 185, 366 371, 122 123, -2 | 8028 3028 -5000 1 } 1
62 { 186 188, 372 377, 124 125, -2 | 8028 1972 -5000 1 } 1
63 { 189 191, 378 383, 126 127, -2 | 8247 2500 -5000 1 } 1
64 { 192 194, 384 389, 128 129, -2 | 6753 2500 0 1 } 1
65 { 195 197, 390 395, 130 131, -2 | 6972 3028 0 1 } 1
66 { 198 200, 396 401, 132 133, -2 | 6972 1972 0 1 } 1
67 { 201 203, 402 407, 134 135, -2 | 7500 3247 0 1 } 1
68 { 204 206, 408 413, 136 137, -2 | 7500 1753 0 1 } 1
69 { 207 209, 414 419, 138 139, -2 | 8028 3028 0 1 } 1
70 { 210 212, 420 425, 140 141, -2 | 8028 1972 0 1 } 1
71 { 213 215, 426 431, 142 143, -2 | 8247 2500 0 1 } 1
0 { 22, 0, 0 0 | 0 0 5000 1 } 1
1 { 3, 0, 0 1 | 22500 0 0 1 } 1
2 { 11, 0, 0 3 | 0 12500 0 1 } 1
3 { 1, 1, 0 6 | -22500 0 0 1 } 1
4 { 12, 1, 0 7 | 0 0 5000 1 } 1
5 { 8, 1, 0 9 | 0 12500 0 1 } 1
6 { 16, 2, 0 12 | 0 0 5000 1 } 1
7 { 9, 2, 0 13 | -22500 0 0 1 } 1
8 { 5, 2, 0 15 | 0 -12500 0 1 } 1
9 { 7, 3, 0 18 | 22500 0 0 1 } 1
10 { 18, 3, 0 19 | 0 0 5000 1 } 1
11 { 2, 3, 0 21 | 0 -12500 0 1 } 1
12 { 4, 4, 0 24 | 0 0 -5000 1 } 1
13 { 21, 4, 0 25 | -22500 0 0 1 } 1
14 { 17, 4, 0 27 | 0 12500 0 1 } 1
15 { 19, 5, 0 30 | -22500 0 0 1 } 1
16 { 6, 5, 0 31 | 0 0 -5000 1 } 1
17 { 14, 5, 0 33 | 0 -12500 0 1 } 1
18 { 10, 6, 0 36 | 0 0 -5000 1 } 1
19 { 15, 6, 0 37 | 22500 0 0 1 } 1
20 { 23, 6, 0 39 | 0 -12500 0 1 } 1
21 { 13, 7, 0 42 | 22500 0 0 1 } 1
22 { 0, 7, 0 43 | 0 0 -5000 1 } 1
23 { 20, 7, 0 45 | 0 12500 0 1 } 1
24 { 48, 8, 0 48 | 0 0 1 1 } 1
25 { 29, 8, 0 52 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
26 { 31, 8, 0 53 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
27 { 51, 9, 0 54 | 0 0 1 1 } 1
28 { 35, 9, 0 58 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
29 { 25, 9, 0 59 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
30 { 54, 10, 0 60 | 0 0 1 1 } 1
31 { 26, 10, 0 64 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
32 { 37, 10, 0 65 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
33 { 57, 11, 0 66 | 0 0 1 1 } 1
34 { 41, 11, 0 70 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
35 { 28, 11, 0 71 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
36 { 60, 12, 0 72 | 0 0 1 1 } 1
37 { 32, 12, 0 76 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
38 { 43, 12, 0 77 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
39 { 63, 13, 0 78 | 0 0 1 1 } 1
40 { 47, 13, 0 82 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
41 { 34, 13, 0 83 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
42 { 66, 14, 0 84 | 0 0 1 1 } 1
43 { 38, 14, 0 88 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
44 { 46, 14, 0 89 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
45 { 69, 15, 0 90 | 0 0 1 1 } 1
46 { 44, 15, 0 94 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
47 { 40, 15, 0 95 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
48 { 24, 16, 0 98 | 0 0 -1 1 } 1
49 { 53, 16, 0 100 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
50 { 55, 16, 0 99 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
51 { 27, 17, 0 104 | 0 0 -1 1 } 1
52 { 59, 17, 0 106 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
53 { 49, 17, 0 105 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
54 { 30, 18, 0 110 | 0 0 -1 1 } 1
55 { 50, 18, 0 112 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
56 { 61, 18, 0 111 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
57 { 33, 19, 0 116 | 0 0 -1 1 } 1
58 { 65, 19, 0 118 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
59 { 52, 19, 0 117 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
60 { 36, 20, 0 122 | 0 0 -1 1 } 1
61 { 56, 20, 0 124 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
62 { 67, 20, 0 123 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
63 { 39, 21, 0 128 | 0 0 -1 1 } 1
64 { 71, 21, 0 130 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
65 { 58, 21, 0 129 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
66 { 42, 22, 0 134 | 0 0 -1 1 } 1
67 { 62, 22, 0 136 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
68 { 70, 22, 0 135 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
69 { 45, 23, 0 140 | 0 0 -1 1 } 1
70 { 68, 23, 0 142 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
71 { 64, 23, 0 141 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
72 { 96, 24, 0 144 | 0 0 1 1 } 1
73 { 77, 24, 0 148 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
74 { 79, 24, 0 149 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
75 { 99, 25, 0 150 | 0 0 1 1 } 1
76 { 83, 25, 0 154 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
77 { 73, 25, 0 155 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
78 { 102, 26, 0 156 | 0 0 1 1 } 1
79 { 74, 26, 0 160 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
80 { 85, 26, 0 161 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
81 { 105, 27, 0 162 | 0 0 1 1 } 1
82 { 89, 27, 0 166 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
83 { 76, 27, 0 167 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
84 { 108, 28, 0 168 | 0 0 1 1 } 1
85 { 80, 28, 0 172 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
86 { 91, 28, 0 173 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
87 { 111, 29, 0 174 | 0 0 1 1 } 1
88 { 95, 29, 0 178 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
89 { 82, 29, 0 179 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
90 { 114, 30, 0 180 | 0 0 1 1 } 1
91 { 86, 30, 0 184 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
92 { 94, 30, 0 185 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
93 { 117, 31, 0 186 | 0 0 1 1 } 1
94 { 92, 31, 0 190 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
95 { 88, 31, 0 191 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
96 { 72, 32, 0 194 | 0 0 -1 1 } 1
97 { 101, 32, 0 196 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
98 { 103, 32, 0 195 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
99 { 75, 33, 0 200 | 0 0 -1 1 } 1
100 { 107, 33, 0 202 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
101 { 97, 33, 0 201 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
102 { 78, 34, 0 206 | 0 0 -1 1 } 1
103 { 98, 34, 0 208 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
104 { 109, 34, 0 207 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
105 { 81, 35, 0 212 | 0 0 -1 1 } 1
106 { 113, 35, 0 214 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
107 { 100, 35, 0 213 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
108 { 84, 36, 0 218 | 0 0 -1 1 } 1
109 { 104, 36, 0 220 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
110 { 115, 36, 0 219 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
111 { 87, 37, 0 224 | 0 0 -1 1 } 1
112 { 119, 37, 0 226 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
113 { 106, 37, 0 225 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
114 { 90, 38, 0 230 | 0 0 -1 1 } 1
115 { 110, 38, 0 232 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
116 { 118, 38, 0 231 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
117 { 93, 39, 0 236 | 0 0 -1 1 } 1
118 { 116, 39, 0 238 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
119 { 112, 39, 0 237 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
120 { 144, 40, 0 240 | 0 0 1 1 } 1
121 { 125, 40, 0 244 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
122 { 127, 40, 0 245 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
123 { 147, 41, 0 246 | 0 0 1 1 } 1
124 { 131, 41, 0 250 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
125 { 121, 41, 0 251 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
126 { 150, 42, 0 252 | 0 0 1 1 } 1
127 { 122, 42, 0 256 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
128 { 133, 42, 0 257 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
129 { 153, 43, 0 258 | 0 0 1 1 } 1
130 { 137, 43, 0 262 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
131 { 124, 43, 0 263 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
132 { 156, 44, 0 264 | 0 0 1 1 } 1
133 { 128, 44, 0 268 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
134 { 139, 44, 0 269 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
135 { 159, 45, 0 270 | 0 0 1 1 } 1
136 { 143, 45, 0 274 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
137 { 130, 45, 0 275 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
138 { 162, 46, 0 276 | 0 0 1 1 } 1
139 { 134, 46, 0 280 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
140 { 142, 46, 0 281 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
141 { 165, 47, 0 282 | 0 0 1 1 } 1
142 { 140, 47, 0 286 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
143 { 136, 47, 0 287 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
144 { 120, 48, 0 290 | 0 0 -1 1 } 1
145 { 149, 48, 0 292 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
146 { 151, 48, 0 291 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
147 { 123, 49, 0 296 | 0 0 -1 1 } 1
148 { 155, 49, 0 298 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
149 { 145, 49, 0 297 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
150 { 126, 50, 0 302 | 0 0 -1 1 } 1
151 { 146, 50, 0 304 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
152 { 157, 50, 0 303 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
153 { 129, 51, 0 308 | 0 0 -1 1 } 1
154 { 161, 51, 0 310 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
155 { 148, 51, 0 309 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
156 { 132, 52, 0 314 | 0 0 -1 1 } 1
157 { 152, 52, 0 316 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
158 { 163, 52, 0 315 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
159 { 135, 53, 0 320 | 0 0 -1 1 } 1
160 { 167, 53, 0 322 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
161 { 154, 53, 0 321 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
162 { 138, 54, 0 326 | 0 0 -1 1 } 1
163 { 158, 54, 0 328 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
164 { 166, 54, 0 327 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
165 { 141, 55, 0 332 | 0 0 -1 1 } 1
166 { 164, 55, 0 334 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
167 { 160, 55, 0 333 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
168 { 192, 56, 0 336 | 0 0 1 1 } 1
169 { 173, 56, 0 340 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
170 { 175, 56, 0 341 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
171 { 195, 57, 0 342 | 0 0 1 1 } 1
172 { 179, 57, 0 346 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
173 { 169, 57, 0 347 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
174 { 198, 58, 0 348 | 0 0 1 1 } 1
175 { 170, 58, 0 352 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
176 { 181, 58, 0 353 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
177 { 201, 59, 0 354 | 0 0 1 1 } 1
178 { 185, 59, 0 358 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
179 { 172, 59, 0 359 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
180 { 204, 60, 0 360 | 0 0 1 1 } 1
181 { 176, 60, 0 364 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
182 { 187, 60, 0 365 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
183 { 207, 61, 0 366 | 0 0 1 1 } 1
184 { 191, 61, 0 370 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
185 { 178, 61, 0 371 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
186 { 210, 62, 0 372 | 0 0 1 1 } 1
187 { 182, 62, 0 376 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
188 { 190, 62, 0 377 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
189 { 213, 63, 0 378 | 0 0 1 1 } 1
190 { 188, 63, 0 382 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
191 { 184, 63, 0 383 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
192 { 168, 64, 0 386 | 0 0 -1 1 } 1
193 { 197, 64, 0 388 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
194 { 199, 64, 0 387 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
195 { 171, 65, 0 392 | 0 0 -1 1 } 1
196 { 203, 65, 0 394 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
197 { 193, 65, 0 393 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
198 { 174, 66, 0 398 | 0 0 -1 1 } 1
199 { 194, 66, 0 400 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
200 { 205, 66, 0 399 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
201 { 177, 67, 0 404 | 0 0 -1 1 } 1
202 { 209, 67, 0 406 | 26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
203 { 196, 67, 0 405 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
204 { 180, 68, 0 410 | 0 0 -1 1 } 1
205 { 200, 68, 0 412 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
206 { 211, 68, 0 411 | 26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
207 { 183, 69, 0 416 | 0 0 -1 1 } 1
208 { 215, 69, 0 418 | 26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
209 { 202, 69, 0 417 | -26017200000000000000000000000
10791225000000000000000000000 0 1 } 1
210 { 186, 70, 0 422 | 0 0 -1 1 } 1
211 { 206, 70, 0 424 | -26017200000000000000000000000
-10791225000000000000000000000 0 1 } 1
212 { 214, 70, 0 423 | 26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
213 { 189, 71, 0 428 | 0 0 -1 1 } 1
214 { 212, 71, 0 430 | -26017200000000000000000000000
-62726400000000000000000000000 0 1 } 1
215 { 208, 71, 0 429 | -26017200000000000000000000000
62726400000000000000000000000 0 1 } 1
0 { 1, 367 , , 1 | 111513600000000000000 46252800000000000000 0
-1035284659200000000000000 } 1
1 { 0, 366 , , 0 | -111513600000000000000 -46252800000000000000 0
1035284659200000000000000 } 1
2 { 3, 355 , , 1 | 19184400000000000000 46252800000000000000 0
-294065841600000000000000 } 1
3 { 2, 354 , , 0 | -19184400000000000000 -46252800000000000000 0
294065841600000000000000 } 1
4 { 5, 343 , , 1 | -19184400000000000000 46252800000000000000 0
-6299841600000000000000 } 1
5 { 4, 342 , , 0 | 19184400000000000000 -46252800000000000000 0
6299841600000000000000 } 1
6 { 7, 337 , , 1 | -111513600000000000000 46252800000000000000 0
637419340800000000000000 } 1
7 { 6, 336 , , 0 | 111513600000000000000 -46252800000000000000 0
-637419340800000000000000 } 1
8 { 9, 338 , , 1 | -111513600000000000000 -46252800000000000000 0
868683340800000000000000 } 1
9 { 8, 339 , , 0 | 111513600000000000000 46252800000000000000 0
-868683340800000000000000 } 1
10 { 11, 350 , , 1 | -19184400000000000000 -46252800000000000000 0
224964158400000000000000 } 1
11 { 10, 351 , , 0 | 19184400000000000000 46252800000000000000 0
-224964158400000000000000 } 1
12 { 13, 362 , , 1 | 19184400000000000000 -46252800000000000000 0
-62801841600000000000000 } 1
13 { 12, 363 , , 0 | -19184400000000000000 46252800000000000000 0
62801841600000000000000 } 1
14 { 15, 374 , , 1 | 111513600000000000000 -46252800000000000000 0
-804020659200000000000000 } 1
15 { 14, 375 , , 0 | -111513600000000000000 46252800000000000000 0
804020659200000000000000 } 1
16 { 17, 271 , , 1 | 111513600000000000000 46252800000000000000 0
-804020659200000000000000 } 1
17 { 16, 270 , , 0 | -111513600000000000000 -46252800000000000000 0
804020659200000000000000 } 1
18 { 19, 259 , , 1 | 19184400000000000000 46252800000000000000 0
-62801841600000000000000 } 1
19 { 18, 258 , , 0 | -19184400000000000000 -46252800000000000000 0
62801841600000000000000 } 1
20 { 21, 247 , , 1 | -19184400000000000000 46252800000000000000 0
224964158400000000000000 } 1
21 { 20, 246 , , 0 | 19184400000000000000 -46252800000000000000 0
-224964158400000000000000 } 1
22 { 23, 241 , , 1 | -111513600000000000000 46252800000000000000 0
868683340800000000000000 } 1
23 { 22, 240 , , 0 | 111513600000000000000 -46252800000000000000 0
-868683340800000000000000 } 1
24 { 25, 242 , , 1 | -111513600000000000000 -46252800000000000000 0
637419340800000000000000 } 1
25 { 24, 243 , , 0 | 111513600000000000000 46252800000000000000 0
-637419340800000000000000 } 1
26 { 27, 254 , , 1 | -19184400000000000000 -46252800000000000000 0
-6299841600000000000000 } 1
27 { 26, 255 , , 0 | 19184400000000000000 46252800000000000000 0
6299841600000000000000 } 1
28 { 29, 266 , , 1 | 19184400000000000000 -46252800000000000000 0
-294065841600000000000000 } 1
29 { 28, 267 , , 0 | -19184400000000000000 46252800000000000000 0
294065841600000000000000 } 1
30 { 31, 278 , , 1 | 111513600000000000000 -46252800000000000000 0
-1035284659200000000000000 } 1
31 { 30, 279 , , 0 | -111513600000000000000 46252800000000000000 0
1035284659200000000000000 } 1
32 { 33, 175 , , 1 | 111513600000000000000 46252800000000000000 0
637419340800000000000000 } 1
33 { 32, 174 , , 0 | -111513600000000000000 -46252800000000000000 0
-637419340800000000000000 } 1
34 { 35, 163 , , 1 | 19184400000000000000 46252800000000000000 0
-6299841600000000000000 } 1
35 { 34, 162 , , 0 | -19184400000000000000 -46252800000000000000 0
6299841600000000000000 } 1
36 { 37, 151 , , 1 | -19184400000000000000 46252800000000000000 0
-294065841600000000000000 } 1
37 { 36, 150 , , 0 | 19184400000000000000 -46252800000000000000 0
294065841600000000000000 } 1
38 { 39, 145 , , 1 | -111513600000000000000 46252800000000000000 0
-1035284659200000000000000 } 1
39 { 38, 144 , , 0 | 111513600000000000000 -46252800000000000000 0
1035284659200000000000000 } 1
40 { 41, 146 , , 1 | -111513600000000000000 -46252800000000000000 0
-804020659200000000000000 } 1
41 { 40, 147 , , 0 | 111513600000000000000 46252800000000000000 0
804020659200000000000000 } 1
42 { 43, 158 , , 1 | -19184400000000000000 -46252800000000000000 0
-62801841600000000000000 } 1
43 { 42, 159 , , 0 | 19184400000000000000 46252800000000000000 0
62801841600000000000000 } 1
44 { 45, 170 , , 1 | 19184400000000000000 -46252800000000000000 0
224964158400000000000000 } 1
45 { 44, 171 , , 0 | -19184400000000000000 46252800000000000000 0
-224964158400000000000000 } 1
46 { 47, 182 , , 1 | 111513600000000000000 -46252800000000000000 0
868683340800000000000000 } 1
47 { 46, 183 , , 0 | -111513600000000000000 46252800000000000000 0
-868683340800000000000000 } 1
48 { 49, 79 , , 1 | 111513600000000000000 46252800000000000000 0
868683340800000000000000 } 1
49 { 48, 78 , , 0 | -111513600000000000000 -46252800000000000000 0
-868683340800000000000000 } 1
50 { 51, 67 , , 1 | 19184400000000000000 46252800000000000000 0
224964158400000000000000 } 1
51 { 50, 66 , , 0 | -19184400000000000000 -46252800000000000000 0
-224964158400000000000000 } 1
52 { 53, 55 , , 1 | -19184400000000000000 46252800000000000000 0
-62801841600000000000000 } 1
53 { 52, 54 , , 0 | 19184400000000000000 -46252800000000000000 0
62801841600000000000000 } 1
54 { 55, 49 , , 1 | -111513600000000000000 46252800000000000000 0
-804020659200000000000000 } 1
55 { 54, 48 , , 0 | 111513600000000000000 -46252800000000000000 0
804020659200000000000000 } 1
56 { 57, 50 , , 1 | -111513600000000000000 -46252800000000000000 0
-1035284659200000000000000 } 1
57 { 56, 51 , , 0 | 111513600000000000000 46252800000000000000 0
1035284659200000000000000 } 1
58 { 59, 62 , , 1 | -19184400000000000000 -46252800000000000000 0
-294065841600000000000000 } 1
59 { 58, 63 , , 0 | 19184400000000000000 46252800000000000000 0
294065841600000000000000 } 1
60 { 61, 74 , , 1 | 19184400000000000000 -46252800000000000000 0
-6299841600000000000000 } 1
61 { 60, 75 , , 0 | -19184400000000000000 46252800000000000000 0
6299841600000000000000 } 1
62 { 63, 86 , , 1 | 111513600000000000000 -46252800000000000000 0
637419340800000000000000 } 1
63 { 62, 87 , , 0 | -111513600000000000000 46252800000000000000 0
-637419340800000000000000 } 1
64 { 65, 2 52 148 244 340 , , 0 | 0 0 -562500000 -2812500000000 } 1
65 { 64, 3 53 149 245 341 , , 1 | 0 0 562500000 2812500000000 } 1
66 { 67, 46 101 197 293 389 , , 0 | 0 0 562500000 0 } 1
67 { 66, 47 100 196 292 388 , , 1 | 0 0 -562500000 0 } 1
68 { 69, 4 , , 0 | -125000000 0 0 -1406250000000 } 1
69 { 68, 5 , , 1 | 125000000 0 0 1406250000000 } 1
70 { 71, 8 , , 0 | 125000000 0 0 -1406250000000 } 1
71 { 70, 9 , , 1 | -125000000 0 0 1406250000000 } 1
72 { 73, 0 , , 0 | 0 -225000000 0 -1406250000000 } 1
73 { 72, 1 , , 1 | 0 225000000 0 1406250000000 } 1
74 { 75, 18 , , 0 | 0 225000000 0 -1406250000000 } 1
75 { 74, 19 , , 1 | 0 -225000000 0 1406250000000 } 1
0 { 0 } 0
1 { 1 } 1
0 { 1, 4, 2, 0, 1, 42, 6, 72 | 0 225000000 0 0 } 1
1 { 0, 3, 5, 1, 0, 7, 43, 73 | 0 -225000000 0 0 } 1
2 { 3, 0, 4, 1, 1, 10, 22, 64 | 0 0 562500000 0 } 1
3 { 2, 5, 1, 2, 0, 23, 11, 65 | 0 0 -562500000 0 } 1
4 { 5, 2, 0, 2, 1, 20, 44, 68 | 125000000 0 0 0 } 1
5 { 4, 1, 3, 0, 0, 45, 21, 69 | -125000000 0 0 0 } 1
6 { 7, 10, 8, 3, 3, 0, 24, 72 | 0 225000000 0 0 } 1
7 { 6, 9, 11, 4, 2, 25, 1, 73 | 0 -225000000 0 0 } 1
8 { 9, 6, 10, 4, 3, 28, 16, 70 | -125000000 0 0 0 } 1
9 { 8, 11, 7, 5, 2, 17, 29, 71 | 125000000 0 0 0 } 1
10 { 11, 8, 6, 5, 3, 14, 2, 64 | 0 0 562500000 0 } 1
11 { 10, 7, 9, 3, 2, 3, 15, 65 | 0 0 -562500000 0 } 1
12 { 13, 16, 14, 6, 5, 30, 18, 74 | 0 -225000000 0 0 } 1
13 { 12, 15, 17, 7, 4, 19, 31, 75 | 0 225000000 0 0 } 1
14 { 15, 12, 16, 7, 5, 22, 10, 64 | 0 0 562500000 0 } 1
15 { 14, 17, 13, 8, 4, 11, 23, 65 | 0 0 -562500000 0 } 1
16 { 17, 14, 12, 8, 5, 8, 32, 70 | -125000000 0 0 0 } 1
17 { 16, 13, 15, 6, 4, 33, 9, 71 | 125000000 0 0 0 } 1
18 { 19, 22, 20, 9, 7, 12, 36, 74 | 0 -225000000 0 0 } 1
19 { 18, 21, 23, 10, 6, 37, 13, 75 | 0 225000000 0 0 } 1
20 { 21, 18, 22, 10, 7, 40, 4, 68 | 125000000 0 0 0 } 1
21 { 20, 23, 19, 11, 6, 5, 41, 69 | -125000000 0 0 0 } 1
22 { 23, 20, 18, 11, 7, 2, 14, 64 | 0 0 562500000 0 } 1
23 { 22, 19, 21, 9, 6, 15, 3, 65 | 0 0 -562500000 0 } 1
24 { 25, 28, 26, 12, 9, 6, 42, 72 | 0 225000000 0 0 } 1
25 { 24, 27, 29, 13, 8, 43, 7, 73 | 0 -225000000 0 0 } 1
26 { 27, 24, 28, 13, 9, 46, 34, 66 | 0 0 -562500000 0 } 1
27 { 26, 29, 25, 14, 8, 35, 47, 67 | 0 0 562500000 0 } 1
28 { 29, 26, 24, 14, 9, 32, 8, 70 | -125000000 0 0 0 } 1
29 { 28, 25, 27, 12, 8, 9, 33, 71 | 125000000 0 0 0 } 1
30 { 31, 34, 32, 15, 11, 36, 12, 74 | 0 -225000000 0 0 } 1
31 { 30, 33, 35, 16, 10, 13, 37, 75 | 0 225000000 0 0 } 1
32 { 33, 30, 34, 16, 11, 16, 28, 70 | -125000000 0 0 0 } 1
33 { 32, 35, 31, 17, 10, 29, 17, 71 | 125000000 0 0 0 } 1
34 { 35, 32, 30, 17, 11, 26, 38, 66 | 0 0 -562500000 0 } 1
35 { 34, 31, 33, 15, 10, 39, 27, 67 | 0 0 562500000 0 } 1
36 { 37, 40, 38, 18, 13, 18, 30, 74 | 0 -225000000 0 0 } 1
37 { 36, 39, 41, 19, 12, 31, 19, 75 | 0 225000000 0 0 } 1
38 { 39, 36, 40, 19, 13, 34, 46, 66 | 0 0 -562500000 0 } 1
39 { 38, 41, 37, 20, 12, 47, 35, 67 | 0 0 562500000 0 } 1
40 { 41, 38, 36, 20, 13, 44, 20, 68 | 125000000 0 0 0 } 1
41 { 40, 37, 39, 18, 12, 21, 45, 69 | -125000000 0 0 0 } 1
42 { 43, 46, 44, 21, 15, 24, 0, 72 | 0 225000000 0 0 } 1
43 { 42, 45, 47, 22, 14, 1, 25, 73 | 0 -225000000 0 0 } 1
44 { 45, 42, 46, 22, 15, 4, 40, 68 | 125000000 0 0 0 } 1
45 { 44, 47, 43, 23, 14, 41, 5, 69 | -125000000 0 0 0 } 1
46 { 47, 44, 42, 23, 15, 38, 26, 66 | 0 0 -562500000 0 } 1
47 { 46, 43, 45, 21, 14, 27, 39, 67 | 0 0 562500000 0 } 1
48 { 49, 51, 52, 24, 16, 96, 57, 55 | -111513600000000000000
46252800000000000000 0 0 } 1
49 { 48, 53, 50, 25, 17, 56, 97, 54 | 111513600000000000000
-46252800000000000000 0 0 } 1
50 { 51, 49, 53, 24, 17, 99, 61, 56 | 111513600000000000000
46252800000000000000 0 0 } 1
51 { 50, 52, 48, 26, 16, 60, 98, 57 | -111513600000000000000
-46252800000000000000 0 0 } 1
52 { 53, 48, 51, 25, 16, 58, 64, 64 | 0 0 562500000 0 } 1
53 { 52, 50, 49, 26, 17, 65, 59, 65 | 0 0 -562500000 0 } 1
54 { 55, 57, 58, 27, 18, 102, 69, 53 | -19184400000000000000
46252800000000000000 0 0 } 1
55 { 54, 59, 56, 28, 19, 68, 103, 52 | 19184400000000000000
-46252800000000000000 0 0 } 1
56 { 57, 55, 59, 27, 19, 105, 49, 54 | 111513600000000000000
-46252800000000000000 0 0 } 1
57 { 56, 58, 54, 29, 18, 48, 104, 55 | -111513600000000000000
46252800000000000000 0 0 } 1
58 { 59, 54, 57, 28, 18, 70, 52, 64 | 0 0 562500000 0 } 1
59 { 58, 56, 55, 29, 19, 53, 71, 65 | 0 0 -562500000 0 } 1
60 { 61, 63, 64, 30, 20, 108, 51, 57 | -111513600000000000000
-46252800000000000000 0 0 } 1
61 { 60, 65, 62, 31, 21, 50, 109, 56 | 111513600000000000000
46252800000000000000 0 0 } 1
62 { 63, 61, 65, 30, 21, 111, 73, 58 | 19184400000000000000
46252800000000000000 0 0 } 1
63 { 62, 64, 60, 32, 20, 72, 110, 59 | -19184400000000000000
-46252800000000000000 0 0 } 1
64 { 65, 60, 63, 31, 20, 52, 76, 64 | 0 0 562500000 0 } 1
65 { 64, 62, 61, 32, 21, 77, 53, 65 | 0 0 -562500000 0 } 1
66 { 67, 69, 70, 33, 22, 114, 81, 51 | 19184400000000000000
46252800000000000000 0 0 } 1
67 { 66, 71, 68, 34, 23, 80, 115, 50 | -19184400000000000000
-46252800000000000000 0 0 } 1
68 { 69, 67, 71, 33, 23, 117, 55, 52 | 19184400000000000000
-46252800000000000000 0 0 } 1
69 { 68, 70, 66, 35, 22, 54, 116, 53 | -19184400000000000000
46252800000000000000 0 0 } 1
70 { 71, 66, 69, 34, 22, 82, 58, 64 | 0 0 562500000 0 } 1
71 { 70, 68, 67, 35, 23, 59, 83, 65 | 0 0 -562500000 0 } 1
72 { 73, 75, 76, 36, 24, 120, 63, 59 | -19184400000000000000
-46252800000000000000 0 0 } 1
73 { 72, 77, 74, 37, 25, 62, 121, 58 | 19184400000000000000
46252800000000000000 0 0 } 1
74 { 75, 73, 77, 36, 25, 123, 85, 60 | -19184400000000000000
46252800000000000000 0 0 } 1
75 { 74, 76, 72, 38, 24, 84, 122, 61 | 19184400000000000000
-46252800000000000000 0 0 } 1
76 { 77, 72, 75, 37, 24, 64, 88, 64 | 0 0 562500000 0 } 1
77 { 76, 74, 73, 38, 25, 89, 65, 65 | 0 0 -562500000 0 } 1
78 { 79, 81, 82, 39, 26, 126, 93, 49 | 111513600000000000000
46252800000000000000 0 0 } 1
79 { 78, 83, 80, 40, 27, 92, 127, 48 | -111513600000000000000
-46252800000000000000 0 0 } 1
80 { 81, 79, 83, 39, 27, 129, 67, 50 | -19184400000000000000
-46252800000000000000 0 0 } 1
81 { 80, 82, 78, 41, 26, 66, 128, 51 | 19184400000000000000
46252800000000000000 0 0 } 1
82 { 83, 78, 81, 40, 26, 94, 70, 64 | 0 0 562500000 0 } 1
83 { 82, 80, 79, 41, 27, 71, 95, 65 | 0 0 -562500000 0 } 1
84 { 85, 87, 88, 42, 28, 132, 75, 61 | 19184400000000000000
-46252800000000000000 0 0 } 1
85 { 84, 89, 86, 43, 29, 74, 133, 60 | -19184400000000000000
46252800000000000000 0 0 } 1
86 { 87, 85, 89, 42, 29, 135, 91, 62 | -111513600000000000000
46252800000000000000 0 0 } 1
87 { 86, 88, 84, 44, 28, 90, 134, 63 | 111513600000000000000
-46252800000000000000 0 0 } 1
88 { 89, 84, 87, 43, 28, 76, 94, 64 | 0 0 562500000 0 } 1
89 { 88, 86, 85, 44, 29, 95, 77, 65 | 0 0 -562500000 0 } 1
90 { 91, 93, 94, 45, 30, 138, 87, 63 | 111513600000000000000
-46252800000000000000 0 0 } 1
91 { 90, 95, 92, 46, 31, 86, 139, 62 | -111513600000000000000
46252800000000000000 0 0 } 1
92 { 93, 91, 95, 45, 31, 141, 79, 48 | -111513600000000000000
-46252800000000000000 0 0 } 1
93 { 92, 94, 90, 47, 30, 78, 140, 49 | 111513600000000000000
46252800000000000000 0 0 } 1
94 { 95, 90, 93, 46, 30, 88, 82, 64 | 0 0 562500000 0 } 1
95 { 94, 92, 91, 47, 31, 83, 89, 65 | 0 0 -562500000 0 } 1
96 { 97, 101, 98, 49, 32, 104, 48, 55 | -111513600000000000000
46252800000000000000 0 0 } 1
97 { 96, 99, 100, 48, 33, 49, 105, 54 | 111513600000000000000
-46252800000000000000 0 0 } 1
98 { 99, 96, 101, 48, 32, 51, 108, 57 | -111513600000000000000
-46252800000000000000 0 0 } 1
99 { 98, 100, 97, 50, 33, 109, 50, 56 | 111513600000000000000
46252800000000000000 0 0 } 1
100 { 101, 97, 99, 49, 33, 106, 112, 67 | 0 0 562500000 0 } 1
101 { 100, 98, 96, 50, 32, 113, 107, 66 | 0 0 -562500000 0 } 1
102 { 103, 107, 104, 52, 34, 116, 54, 53 | -19184400000000000000
46252800000000000000 0 0 } 1
103 { 102, 105, 106, 51, 35, 55, 117, 52 | 19184400000000000000
-46252800000000000000 0 0 } 1
104 { 105, 102, 107, 51, 34, 57, 96, 55 | -111513600000000000000
46252800000000000000 0 0 } 1
105 { 104, 106, 103, 53, 35, 97, 56, 54 | 111513600000000000000
-46252800000000000000 0 0 } 1
106 { 107, 103, 105, 52, 35, 118, 100, 67 | 0 0 562500000 0 } 1
107 { 106, 104, 102, 53, 34, 101, 119, 66 | 0 0 -562500000 0 } 1
108 { 109, 113, 110, 55, 36, 98, 60, 57 | -111513600000000000000
-46252800000000000000 0 0 } 1
109 { 108, 111, 112, 54, 37, 61, 99, 56 | 111513600000000000000
46252800000000000000 0 0 } 1
110 { 111, 108, 113, 54, 36, 63, 120, 59 | -19184400000000000000
-46252800000000000000 0 0 } 1
111 { 110, 112, 109, 56, 37, 121, 62, 58 | 19184400000000000000
46252800000000000000 0 0 } 1
112 { 113, 109, 111, 55, 37, 100, 124, 67 | 0 0 562500000 0 } 1
113 { 112, 110, 108, 56, 36, 125, 101, 66 | 0 0 -562500000 0 } 1
114 { 115, 119, 116, 58, 38, 128, 66, 51 | 19184400000000000000
46252800000000000000 0 0 } 1
115 { 114, 117, 118, 57, 39, 67, 129, 50 | -19184400000000000000
-46252800000000000000 0 0 } 1
116 { 117, 114, 119, 57, 38, 69, 102, 53 | -19184400000000000000
46252800000000000000 0 0 } 1
117 { 116, 118, 115, 59, 39, 103, 68, 52 | 19184400000000000000
-46252800000000000000 0 0 } 1
118 { 119, 115, 117, 58, 39, 130, 106, 67 | 0 0 562500000 0 } 1
119 { 118, 116, 114, 59, 38, 107, 131, 66 | 0 0 -562500000 0 } 1
120 { 121, 125, 122, 61, 40, 110, 72, 59 | -19184400000000000000
-46252800000000000000 0 0 } 1
121 { 120, 123, 124, 60, 41, 73, 111, 58 | 19184400000000000000
46252800000000000000 0 0 } 1
122 { 123, 120, 125, 60, 40, 75, 132, 61 | 19184400000000000000
-46252800000000000000 0 0 } 1
123 { 122, 124, 121, 62, 41, 133, 74, 60 | -19184400000000000000
46252800000000000000 0 0 } 1
124 { 125, 121, 123, 61, 41, 112, 136, 67 | 0 0 562500000 0 } 1
125 { 124, 122, 120, 62, 40, 137, 113, 66 | 0 0 -562500000 0 } 1
126 { 127, 131, 128, 64, 42, 140, 78, 49 | 111513600000000000000
46252800000000000000 0 0 } 1
127 { 126, 129, 130, 63, 43, 79, 141, 48 | -111513600000000000000
-46252800000000000000 0 0 } 1
128 { 129, 126, 131, 63, 42, 81, 114, 51 | 19184400000000000000
46252800000000000000 0 0 } 1
129 { 128, 130, 127, 65, 43, 115, 80, 50 | -19184400000000000000
-46252800000000000000 0 0 } 1
130 { 131, 127, 129, 64, 43, 142, 118, 67 | 0 0 562500000 0 } 1
131 { 130, 128, 126, 65, 42, 119, 143, 66 | 0 0 -562500000 0 } 1
132 { 133, 137, 134, 67, 44, 122, 84, 61 | 19184400000000000000
-46252800000000000000 0 0 } 1
133 { 132, 135, 136, 66, 45, 85, 123, 60 | -19184400000000000000
46252800000000000000 0 0 } 1
134 { 135, 132, 137, 66, 44, 87, 138, 63 | 111513600000000000000
-46252800000000000000 0 0 } 1
135 { 134, 136, 133, 68, 45, 139, 86, 62 | -111513600000000000000
46252800000000000000 0 0 } 1
136 { 137, 133, 135, 67, 45, 124, 142, 67 | 0 0 562500000 0 } 1
137 { 136, 134, 132, 68, 44, 143, 125, 66 | 0 0 -562500000 0 } 1
138 { 139, 143, 140, 70, 46, 134, 90, 63 | 111513600000000000000
-46252800000000000000 0 0 } 1
139 { 138, 141, 142, 69, 47, 91, 135, 62 | -111513600000000000000
46252800000000000000 0 0 } 1
140 { 141, 138, 143, 69, 46, 93, 126, 49 | 111513600000000000000
46252800000000000000 0 0 } 1
141 { 140, 142, 139, 71, 47, 127, 92, 48 | -111513600000000000000
-46252800000000000000 0 0 } 1
142 { 143, 139, 141, 70, 47, 136, 130, 67 | 0 0 562500000 0 } 1
143 { 142, 140, 138, 71, 46, 131, 137, 66 | 0 0 -562500000 0 } 1
144 { 145, 147, 148, 72, 48, 192, 153, 39 | -111513600000000000000
46252800000000000000 0 0 } 1
145 { 144, 149, 146, 73, 49, 152, 193, 38 | 111513600000000000000
-46252800000000000000 0 0 } 1
146 { 147, 145, 149, 72, 49, 195, 157, 40 | 111513600000000000000
46252800000000000000 0 0 } 1
147 { 146, 148, 144, 74, 48, 156, 194, 41 | -111513600000000000000
-46252800000000000000 0 0 } 1
148 { 149, 144, 147, 73, 48, 154, 160, 64 | 0 0 562500000 0 } 1
149 { 148, 146, 145, 74, 49, 161, 155, 65 | 0 0 -562500000 0 } 1
150 { 151, 153, 154, 75, 50, 198, 165, 37 | -19184400000000000000
46252800000000000000 0 0 } 1
151 { 150, 155, 152, 76, 51, 164, 199, 36 | 19184400000000000000
-46252800000000000000 0 0 } 1
152 { 153, 151, 155, 75, 51, 201, 145, 38 | 111513600000000000000
-46252800000000000000 0 0 } 1
153 { 152, 154, 150, 77, 50, 144, 200, 39 | -111513600000000000000
46252800000000000000 0 0 } 1
154 { 155, 150, 153, 76, 50, 166, 148, 64 | 0 0 562500000 0 } 1
155 { 154, 152, 151, 77, 51, 149, 167, 65 | 0 0 -562500000 0 } 1
156 { 157, 159, 160, 78, 52, 204, 147, 41 | -111513600000000000000
-46252800000000000000 0 0 } 1
157 { 156, 161, 158, 79, 53, 146, 205, 40 | 111513600000000000000
46252800000000000000 0 0 } 1
158 { 159, 157, 161, 78, 53, 207, 169, 42 | 19184400000000000000
46252800000000000000 0 0 } 1
159 { 158, 160, 156, 80, 52, 168, 206, 43 | -19184400000000000000
-46252800000000000000 0 0 } 1
160 { 161, 156, 159, 79, 52, 148, 172, 64 | 0 0 562500000 0 } 1
161 { 160, 158, 157, 80, 53, 173, 149, 65 | 0 0 -562500000 0 } 1
162 { 163, 165, 166, 81, 54, 210, 177, 35 | 19184400000000000000
46252800000000000000 0 0 } 1
163 { 162, 167, 164, 82, 55, 176, 211, 34 | -19184400000000000000
-46252800000000000000 0 0 } 1
164 { 165, 163, 167, 81, 55, 213, 151, 36 | 19184400000000000000
-46252800000000000000 0 0 } 1
165 { 164, 166, 162, 83, 54, 150, 212, 37 | -19184400000000000000
46252800000000000000 0 0 } 1
166 { 167, 162, 165, 82, 54, 178, 154, 64 | 0 0 562500000 0 } 1
167 { 166, 164, 163, 83, 55, 155, 179, 65 | 0 0 -562500000 0 } 1
168 { 169, 171, 172, 84, 56, 216, 159, 43 | -19184400000000000000
-46252800000000000000 0 0 } 1
169 { 168, 173, 170, 85, 57, 158, 217, 42 | 19184400000000000000
46252800000000000000 0 0 } 1
170 { 171, 169, 173, 84, 57, 219, 181, 44 | -19184400000000000000
46252800000000000000 0 0 } 1
171 { 170, 172, 168, 86, 56, 180, 218, 45 | 19184400000000000000
-46252800000000000000 0 0 } 1
172 { 173, 168, 171, 85, 56, 160, 184, 64 | 0 0 562500000 0 } 1
173 { 172, 170, 169, 86, 57, 185, 161, 65 | 0 0 -562500000 0 } 1
174 { 175, 177, 178, 87, 58, 222, 189, 33 | 111513600000000000000
46252800000000000000 0 0 } 1
175 { 174, 179, 176, 88, 59, 188, 223, 32 | -111513600000000000000
-46252800000000000000 0 0 } 1
176 { 177, 175, 179, 87, 59, 225, 163, 34 | -19184400000000000000
-46252800000000000000 0 0 } 1
177 { 176, 178, 174, 89, 58, 162, 224, 35 | 19184400000000000000
46252800000000000000 0 0 } 1
178 { 179, 174, 177, 88, 58, 190, 166, 64 | 0 0 562500000 0 } 1
179 { 178, 176, 175, 89, 59, 167, 191, 65 | 0 0 -562500000 0 } 1
180 { 181, 183, 184, 90, 60, 228, 171, 45 | 19184400000000000000
-46252800000000000000 0 0 } 1
181 { 180, 185, 182, 91, 61, 170, 229, 44 | -19184400000000000000
46252800000000000000 0 0 } 1
182 { 183, 181, 185, 90, 61, 231, 187, 46 | -111513600000000000000
46252800000000000000 0 0 } 1
183 { 182, 184, 180, 92, 60, 186, 230, 47 | 111513600000000000000
-46252800000000000000 0 0 } 1
184 { 185, 180, 183, 91, 60, 172, 190, 64 | 0 0 562500000 0 } 1
185 { 184, 182, 181, 92, 61, 191, 173, 65 | 0 0 -562500000 0 } 1
186 { 187, 189, 190, 93, 62, 234, 183, 47 | 111513600000000000000
-46252800000000000000 0 0 } 1
187 { 186, 191, 188, 94, 63, 182, 235, 46 | -111513600000000000000
46252800000000000000 0 0 } 1
188 { 189, 187, 191, 93, 63, 237, 175, 32 | -111513600000000000000
-46252800000000000000 0 0 } 1
189 { 188, 190, 186, 95, 62, 174, 236, 33 | 111513600000000000000
46252800000000000000 0 0 } 1
190 { 191, 186, 189, 94, 62, 184, 178, 64 | 0 0 562500000 0 } 1
191 { 190, 188, 187, 95, 63, 179, 185, 65 | 0 0 -562500000 0 } 1
192 { 193, 197, 194, 97, 64, 200, 144, 39 | -111513600000000000000
46252800000000000000 0 0 } 1
193 { 192, 195, 196, 96, 65, 145, 201, 38 | 111513600000000000000
-46252800000000000000 0 0 } 1
194 { 195, 192, 197, 96, 64, 147, 204, 41 | -111513600000000000000
-46252800000000000000 0 0 } 1
195 { 194, 196, 193, 98, 65, 205, 146, 40 | 111513600000000000000
46252800000000000000 0 0 } 1
196 { 197, 193, 195, 97, 65, 202, 208, 67 | 0 0 562500000 0 } 1
197 { 196, 194, 192, 98, 64, 209, 203, 66 | 0 0 -562500000 0 } 1
198 { 199, 203, 200, 100, 66, 212, 150, 37 | -19184400000000000000
46252800000000000000 0 0 } 1
199 { 198, 201, 202, 99, 67, 151, 213, 36 | 19184400000000000000
-46252800000000000000 0 0 } 1
200 { 201, 198, 203, 99, 66, 153, 192, 39 | -111513600000000000000
46252800000000000000 0 0 } 1
201 { 200, 202, 199, 101, 67, 193, 152, 38 | 111513600000000000000
-46252800000000000000 0 0 } 1
202 { 203, 199, 201, 100, 67, 214, 196, 67 | 0 0 562500000 0 } 1
203 { 202, 200, 198, 101, 66, 197, 215, 66 | 0 0 -562500000 0 } 1
204 { 205, 209, 206, 103, 68, 194, 156, 41 | -111513600000000000000
-46252800000000000000 0 0 } 1
205 { 204, 207, 208, 102, 69, 157, 195, 40 | 111513600000000000000
46252800000000000000 0 0 } 1
206 { 207, 204, 209, 102, 68, 159, 216, 43 | -19184400000000000000
-46252800000000000000 0 0 } 1
207 { 206, 208, 205, 104, 69, 217, 158, 42 | 19184400000000000000
46252800000000000000 0 0 } 1
208 { 209, 205, 207, 103, 69, 196, 220, 67 | 0 0 562500000 0 } 1
209 { 208, 206, 204, 104, 68, 221, 197, 66 | 0 0 -562500000 0 } 1
210 { 211, 215, 212, 106, 70, 224, 162, 35 | 19184400000000000000
46252800000000000000 0 0 } 1
211 { 210, 213, 214, 105, 71, 163, 225, 34 | -19184400000000000000
-46252800000000000000 0 0 } 1
212 { 213, 210, 215, 105, 70, 165, 198, 37 | -19184400000000000000
46252800000000000000 0 0 } 1
213 { 212, 214, 211, 107, 71, 199, 164, 36 | 19184400000000000000
-46252800000000000000 0 0 } 1
214 { 215, 211, 213, 106, 71, 226, 202, 67 | 0 0 562500000 0 } 1
215 { 214, 212, 210, 107, 70, 203, 227, 66 | 0 0 -562500000 0 } 1
216 { 217, 221, 218, 109, 72, 206, 168, 43 | -19184400000000000000
-46252800000000000000 0 0 } 1
217 { 216, 219, 220, 108, 73, 169, 207, 42 | 19184400000000000000
46252800000000000000 0 0 } 1
218 { 219, 216, 221, 108, 72, 171, 228, 45 | 19184400000000000000
-46252800000000000000 0 0 } 1
219 { 218, 220, 217, 110, 73, 229, 170, 44 | -19184400000000000000
46252800000000000000 0 0 } 1
220 { 221, 217, 219, 109, 73, 208, 232, 67 | 0 0 562500000 0 } 1
221 { 220, 218, 216, 110, 72, 233, 209, 66 | 0 0 -562500000 0 } 1
222 { 223, 227, 224, 112, 74, 236, 174, 33 | 111513600000000000000
46252800000000000000 0 0 } 1
223 { 222, 225, 226, 111, 75, 175, 237, 32 | -111513600000000000000
-46252800000000000000 0 0 } 1
224 { 225, 222, 227, 111, 74, 177, 210, 35 | 19184400000000000000
46252800000000000000 0 0 } 1
225 { 224, 226, 223, 113, 75, 211, 176, 34 | -19184400000000000000
-46252800000000000000 0 0 } 1
226 { 227, 223, 225, 112, 75, 238, 214, 67 | 0 0 562500000 0 } 1
227 { 226, 224, 222, 113, 74, 215, 239, 66 | 0 0 -562500000 0 } 1
228 { 229, 233, 230, 115, 76, 218, 180, 45 | 19184400000000000000
-46252800000000000000 0 0 } 1
229 { 228, 231, 232, 114, 77, 181, 219, 44 | -19184400000000000000
46252800000000000000 0 0 } 1
230 { 231, 228, 233, 114, 76, 183, 234, 47 | 111513600000000000000
-46252800000000000000 0 0 } 1
231 { 230, 232, 229, 116, 77, 235, 182, 46 | -111513600000000000000
46252800000000000000 0 0 } 1
232 { 233, 229, 231, 115, 77, 220, 238, 67 | 0 0 562500000 0 } 1
233 { 232, 230, 228, 116, 76, 239, 221, 66 | 0 0 -562500000 0 } 1
234 { 235, 239, 236, 118, 78, 230, 186, 47 | 111513600000000000000
-46252800000000000000 0 0 } 1
235 { 234, 237, 238, 117, 79, 187, 231, 46 | -111513600000000000000
46252800000000000000 0 0 } 1
236 { 237, 234, 239, 117, 78, 189, 222, 33 | 111513600000000000000
46252800000000000000 0 0 } 1
237 { 236, 238, 235, 119, 79, 223, 188, 32 | -111513600000000000000
-46252800000000000000 0 0 } 1
238 { 239, 235, 237, 118, 79, 232, 226, 67 | 0 0 562500000 0 } 1
239 { 238, 236, 234, 119, 78, 227, 233, 66 | 0 0 -562500000 0 } 1
240 { 241, 243, 244, 120, 80, 288, 249, 23 | -111513600000000000000
46252800000000000000 0 0 } 1
241 { 240, 245, 242, 121, 81, 248, 289, 22 | 111513600000000000000
-46252800000000000000 0 0 } 1
242 { 243, 241, 245, 120, 81, 291, 253, 24 | 111513600000000000000
46252800000000000000 0 0 } 1
243 { 242, 244, 240, 122, 80, 252, 290, 25 | -111513600000000000000
-46252800000000000000 0 0 } 1
244 { 245, 240, 243, 121, 80, 250, 256, 64 | 0 0 562500000 0 } 1
245 { 244, 242, 241, 122, 81, 257, 251, 65 | 0 0 -562500000 0 } 1
246 { 247, 249, 250, 123, 82, 294, 261, 21 | -19184400000000000000
46252800000000000000 0 0 } 1
247 { 246, 251, 248, 124, 83, 260, 295, 20 | 19184400000000000000
-46252800000000000000 0 0 } 1
248 { 249, 247, 251, 123, 83, 297, 241, 22 | 111513600000000000000
-46252800000000000000 0 0 } 1
249 { 248, 250, 246, 125, 82, 240, 296, 23 | -111513600000000000000
46252800000000000000 0 0 } 1
250 { 251, 246, 249, 124, 82, 262, 244, 64 | 0 0 562500000 0 } 1
251 { 250, 248, 247, 125, 83, 245, 263, 65 | 0 0 -562500000 0 } 1
252 { 253, 255, 256, 126, 84, 300, 243, 25 | -111513600000000000000
-46252800000000000000 0 0 } 1
253 { 252, 257, 254, 127, 85, 242, 301, 24 | 111513600000000000000
46252800000000000000 0 0 } 1
254 { 255, 253, 257, 126, 85, 303, 265, 26 | 19184400000000000000
46252800000000000000 0 0 } 1
255 { 254, 256, 252, 128, 84, 264, 302, 27 | -19184400000000000000
-46252800000000000000 0 0 } 1
256 { 257, 252, 255, 127, 84, 244, 268, 64 | 0 0 562500000 0 } 1
257 { 256, 254, 253, 128, 85, 269, 245, 65 | 0 0 -562500000 0 } 1
258 { 259, 261, 262, 129, 86, 306, 273, 19 | 19184400000000000000
46252800000000000000 0 0 } 1
259 { 258, 263, 260, 130, 87, 272, 307, 18 | -19184400000000000000
-46252800000000000000 0 0 } 1
260 { 261, 259, 263, 129, 87, 309, 247, 20 | 19184400000000000000
-46252800000000000000 0 0 } 1
261 { 260, 262, 258, 131, 86, 246, 308, 21 | -19184400000000000000
46252800000000000000 0 0 } 1
262 { 263, 258, 261, 130, 86, 274, 250, 64 | 0 0 562500000 0 } 1
263 { 262, 260, 259, 131, 87, 251, 275, 65 | 0 0 -562500000 0 } 1
264 { 265, 267, 268, 132, 88, 312, 255, 27 | -19184400000000000000
-46252800000000000000 0 0 } 1
265 { 264, 269, 266, 133, 89, 254, 313, 26 | 19184400000000000000
46252800000000000000 0 0 } 1
266 { 267, 265, 269, 132, 89, 315, 277, 28 | -19184400000000000000
46252800000000000000 0 0 } 1
267 { 266, 268, 264, 134, 88, 276, 314, 29 | 19184400000000000000
-46252800000000000000 0 0 } 1
268 { 269, 264, 267, 133, 88, 256, 280, 64 | 0 0 562500000 0 } 1
269 { 268, 266, 265, 134, 89, 281, 257, 65 | 0 0 -562500000 0 } 1
270 { 271, 273, 274, 135, 90, 318, 285, 17 | 111513600000000000000
46252800000000000000 0 0 } 1
271 { 270, 275, 272, 136, 91, 284, 319, 16 | -111513600000000000000
-46252800000000000000 0 0 } 1
272 { 273, 271, 275, 135, 91, 321, 259, 18 | -19184400000000000000
-46252800000000000000 0 0 } 1
273 { 272, 274, 270, 137, 90, 258, 320, 19 | 19184400000000000000
46252800000000000000 0 0 } 1
274 { 275, 270, 273, 136, 90, 286, 262, 64 | 0 0 562500000 0 } 1
275 { 274, 272, 271, 137, 91, 263, 287, 65 | 0 0 -562500000 0 } 1
276 { 277, 279, 280, 138, 92, 324, 267, 29 | 19184400000000000000
-46252800000000000000 0 0 } 1
277 { 276, 281, 278, 139, 93, 266, 325, 28 | -19184400000000000000
46252800000000000000 0 0 } 1
278 { 279, 277, 281, 138, 93, 327, 283, 30 | -111513600000000000000
46252800000000000000 0 0 } 1
279 { 278, 280, 276, 140, 92, 282, 326, 31 | 111513600000000000000
-46252800000000000000 0 0 } 1
280 { 281, 276, 279, 139, 92, 268, 286, 64 | 0 0 562500000 0 } 1
281 { 280, 278, 277, 140, 93, 287, 269, 65 | 0 0 -562500000 0 } 1
282 { 283, 285, 286, 141, 94, 330, 279, 31 | 111513600000000000000
-46252800000000000000 0 0 } 1
283 { 282, 287, 284, 142, 95, 278, 331, 30 | -111513600000000000000
46252800000000000000 0 0 } 1
284 { 285, 283, 287, 141, 95, 333, 271, 16 | -111513600000000000000
-46252800000000000000 0 0 } 1
285 { 284, 286, 282, 143, 94, 270, 332, 17 | 111513600000000000000
46252800000000000000 0 0 } 1
286 { 287, 282, 285, 142, 94, 280, 274, 64 | 0 0 562500000 0 } 1
287 { 286, 284, 283, 143, 95, 275, 281, 65 | 0 0 -562500000 0 } 1
288 { 289, 293, 290, 145, 96, 296, 240, 23 | -111513600000000000000
46252800000000000000 0 0 } 1
289 { 288, 291, 292, 144, 97, 241, 297, 22 | 111513600000000000000
-46252800000000000000 0 0 } 1
290 { 291, 288, 293, 144, 96, 243, 300, 25 | -111513600000000000000
-46252800000000000000 0 0 } 1
291 { 290, 292, 289, 146, 97, 301, 242, 24 | 111513600000000000000
46252800000000000000 0 0 } 1
292 { 293, 289, 291, 145, 97, 298, 304, 67 | 0 0 562500000 0 } 1
293 { 292, 290, 288, 146, 96, 305, 299, 66 | 0 0 -562500000 0 } 1
294 { 295, 299, 296, 148, 98, 308, 246, 21 | -19184400000000000000
46252800000000000000 0 0 } 1
295 { 294, 297, 298, 147, 99, 247, 309, 20 | 19184400000000000000
-46252800000000000000 0 0 } 1
296 { 297, 294, 299, 147, 98, 249, 288, 23 | -111513600000000000000
46252800000000000000 0 0 } 1
297 { 296, 298, 295, 149, 99, 289, 248, 22 | 111513600000000000000
-46252800000000000000 0 0 } 1
298 { 299, 295, 297, 148, 99, 310, 292, 67 | 0 0 562500000 0 } 1
299 { 298, 296, 294, 149, 98, 293, 311, 66 | 0 0 -562500000 0 } 1
300 { 301, 305, 302, 151, 100, 290, 252, 25 | -111513600000000000000
-46252800000000000000 0 0 } 1
301 { 300, 303, 304, 150, 101, 253, 291, 24 | 111513600000000000000
46252800000000000000 0 0 } 1
302 { 303, 300, 305, 150, 100, 255, 312, 27 | -19184400000000000000
-46252800000000000000 0 0 } 1
303 { 302, 304, 301, 152, 101, 313, 254, 26 | 19184400000000000000
46252800000000000000 0 0 } 1
304 { 305, 301, 303, 151, 101, 292, 316, 67 | 0 0 562500000 0 } 1
305 { 304, 302, 300, 152, 100, 317, 293, 66 | 0 0 -562500000 0 } 1
306 { 307, 311, 308, 154, 102, 320, 258, 19 | 19184400000000000000
46252800000000000000 0 0 } 1
307 { 306, 309, 310, 153, 103, 259, 321, 18 | -19184400000000000000
-46252800000000000000 0 0 } 1
308 { 309, 306, 311, 153, 102, 261, 294, 21 | -19184400000000000000
46252800000000000000 0 0 } 1
309 { 308, 310, 307, 155, 103, 295, 260, 20 | 19184400000000000000
-46252800000000000000 0 0 } 1
310 { 311, 307, 309, 154, 103, 322, 298, 67 | 0 0 562500000 0 } 1
311 { 310, 308, 306, 155, 102, 299, 323, 66 | 0 0 -562500000 0 } 1
312 { 313, 317, 314, 157, 104, 302, 264, 27 | -19184400000000000000
-46252800000000000000 0 0 } 1
313 { 312, 315, 316, 156, 105, 265, 303, 26 | 19184400000000000000
46252800000000000000 0 0 } 1
314 { 315, 312, 317, 156, 104, 267, 324, 29 | 19184400000000000000
-46252800000000000000 0 0 } 1
315 { 314, 316, 313, 158, 105, 325, 266, 28 | -19184400000000000000
46252800000000000000 0 0 } 1
316 { 317, 313, 315, 157, 105, 304, 328, 67 | 0 0 562500000 0 } 1
317 { 316, 314, 312, 158, 104, 329, 305, 66 | 0 0 -562500000 0 } 1
318 { 319, 323, 320, 160, 106, 332, 270, 17 | 111513600000000000000
46252800000000000000 0 0 } 1
319 { 318, 321, 322, 159, 107, 271, 333, 16 | -111513600000000000000
-46252800000000000000 0 0 } 1
320 { 321, 318, 323, 159, 106, 273, 306, 19 | 19184400000000000000
46252800000000000000 0 0 } 1
321 { 320, 322, 319, 161, 107, 307, 272, 18 | -19184400000000000000
-46252800000000000000 0 0 } 1
322 { 323, 319, 321, 160, 107, 334, 310, 67 | 0 0 562500000 0 } 1
323 { 322, 320, 318, 161, 106, 311, 335, 66 | 0 0 -562500000 0 } 1
324 { 325, 329, 326, 163, 108, 314, 276, 29 | 19184400000000000000
-46252800000000000000 0 0 } 1
325 { 324, 327, 328, 162, 109, 277, 315, 28 | -19184400000000000000
46252800000000000000 0 0 } 1
326 { 327, 324, 329, 162, 108, 279, 330, 31 | 111513600000000000000
-46252800000000000000 0 0 } 1
327 { 326, 328, 325, 164, 109, 331, 278, 30 | -111513600000000000000
46252800000000000000 0 0 } 1
328 { 329, 325, 327, 163, 109, 316, 334, 67 | 0 0 562500000 0 } 1
329 { 328, 326, 324, 164, 108, 335, 317, 66 | 0 0 -562500000 0 } 1
330 { 331, 335, 332, 166, 110, 326, 282, 31 | 111513600000000000000
-46252800000000000000 0 0 } 1
331 { 330, 333, 334, 165, 111, 283, 327, 30 | -111513600000000000000
46252800000000000000 0 0 } 1
332 { 333, 330, 335, 165, 110, 285, 318, 17 | 111513600000000000000
46252800000000000000 0 0 } 1
333 { 332, 334, 331, 167, 111, 319, 284, 16 | -111513600000000000000
-46252800000000000000 0 0 } 1
334 { 335, 331, 333, 166, 111, 328, 322, 67 | 0 0 562500000 0 } 1
335 { 334, 332, 330, 167, 110, 323, 329, 66 | 0 0 -562500000 0 } 1
336 { 337, 339, 340, 168, 112, 384, 345, 7 | -111513600000000000000
46252800000000000000 0 0 } 1
337 { 336, 341, 338, 169, 113, 344, 385, 6 | 111513600000000000000
-46252800000000000000 0 0 } 1
338 { 339, 337, 341, 168, 113, 387, 349, 8 | 111513600000000000000
46252800000000000000 0 0 } 1
339 { 338, 340, 336, 170, 112, 348, 386, 9 | -111513600000000000000
-46252800000000000000 0 0 } 1
340 { 341, 336, 339, 169, 112, 346, 352, 64 | 0 0 562500000 0 } 1
341 { 340, 338, 337, 170, 113, 353, 347, 65 | 0 0 -562500000 0 } 1
342 { 343, 345, 346, 171, 114, 390, 357, 5 | -19184400000000000000
46252800000000000000 0 0 } 1
343 { 342, 347, 344, 172, 115, 356, 391, 4 | 19184400000000000000
-46252800000000000000 0 0 } 1
344 { 345, 343, 347, 171, 115, 393, 337, 6 | 111513600000000000000
-46252800000000000000 0 0 } 1
345 { 344, 346, 342, 173, 114, 336, 392, 7 | -111513600000000000000
46252800000000000000 0 0 } 1
346 { 347, 342, 345, 172, 114, 358, 340, 64 | 0 0 562500000 0 } 1
347 { 346, 344, 343, 173, 115, 341, 359, 65 | 0 0 -562500000 0 } 1
348 { 349, 351, 352, 174, 116, 396, 339, 9 | -111513600000000000000
-46252800000000000000 0 0 } 1
349 { 348, 353, 350, 175, 117, 338, 397, 8 | 111513600000000000000
46252800000000000000 0 0 } 1
350 { 351, 349, 353, 174, 117, 399, 361, 10 | 19184400000000000000
46252800000000000000 0 0 } 1
351 { 350, 352, 348, 176, 116, 360, 398, 11 | -19184400000000000000
-46252800000000000000 0 0 } 1
352 { 353, 348, 351, 175, 116, 340, 364, 64 | 0 0 562500000 0 } 1
353 { 352, 350, 349, 176, 117, 365, 341, 65 | 0 0 -562500000 0 } 1
354 { 355, 357, 358, 177, 118, 402, 369, 3 | 19184400000000000000
46252800000000000000 0 0 } 1
355 { 354, 359, 356, 178, 119, 368, 403, 2 | -19184400000000000000
-46252800000000000000 0 0 } 1
356 { 357, 355, 359, 177, 119, 405, 343, 4 | 19184400000000000000
-46252800000000000000 0 0 } 1
357 { 356, 358, 354, 179, 118, 342, 404, 5 | -19184400000000000000
46252800000000000000 0 0 } 1
358 { 359, 354, 357, 178, 118, 370, 346, 64 | 0 0 562500000 0 } 1
359 { 358, 356, 355, 179, 119, 347, 371, 65 | 0 0 -562500000 0 } 1
360 { 361, 363, 364, 180, 120, 408, 351, 11 | -19184400000000000000
-46252800000000000000 0 0 } 1
361 { 360, 365, 362, 181, 121, 350, 409, 10 | 19184400000000000000
46252800000000000000 0 0 } 1
362 { 363, 361, 365, 180, 121, 411, 373, 12 | -19184400000000000000
46252800000000000000 0 0 } 1
363 { 362, 364, 360, 182, 120, 372, 410, 13 | 19184400000000000000
-46252800000000000000 0 0 } 1
364 { 365, 360, 363, 181, 120, 352, 376, 64 | 0 0 562500000 0 } 1
365 { 364, 362, 361, 182, 121, 377, 353, 65 | 0 0 -562500000 0 } 1
366 { 367, 369, 370, 183, 122, 414, 381, 1 | 111513600000000000000
46252800000000000000 0 0 } 1
367 { 366, 371, 368, 184, 123, 380, 415, 0 | -111513600000000000000
-46252800000000000000 0 0 } 1
368 { 369, 367, 371, 183, 123, 417, 355, 2 | -19184400000000000000
-46252800000000000000 0 0 } 1
369 { 368, 370, 366, 185, 122, 354, 416, 3 | 19184400000000000000
46252800000000000000 0 0 } 1
370 { 371, 366, 369, 184, 122, 382, 358, 64 | 0 0 562500000 0 } 1
371 { 370, 368, 367, 185, 123, 359, 383, 65 | 0 0 -562500000 0 } 1
372 { 373, 375, 376, 186, 124, 420, 363, 13 | 19184400000000000000
-46252800000000000000 0 0 } 1
373 { 372, 377, 374, 187, 125, 362, 421, 12 | -19184400000000000000
46252800000000000000 0 0 } 1
374 { 375, 373, 377, 186, 125, 423, 379, 14 | -111513600000000000000
46252800000000000000 0 0 } 1
375 { 374, 376, 372, 188, 124, 378, 422, 15 | 111513600000000000000
-46252800000000000000 0 0 } 1
376 { 377, 372, 375, 187, 124, 364, 382, 64 | 0 0 562500000 0 } 1
377 { 376, 374, 373, 188, 125, 383, 365, 65 | 0 0 -562500000 0 } 1
378 { 379, 381, 382, 189, 126, 426, 375, 15 | 111513600000000000000
-46252800000000000000 0 0 } 1
379 { 378, 383, 380, 190, 127, 374, 427, 14 | -111513600000000000000
46252800000000000000 0 0 } 1
380 { 381, 379, 383, 189, 127, 429, 367, 0 | -111513600000000000000
-46252800000000000000 0 0 } 1
381 { 380, 382, 378, 191, 126, 366, 428, 1 | 111513600000000000000
46252800000000000000 0 0 } 1
382 { 383, 378, 381, 190, 126, 376, 370, 64 | 0 0 562500000 0 } 1
383 { 382, 380, 379, 191, 127, 371, 377, 65 | 0 0 -562500000 0 } 1
384 { 385, 389, 386, 193, 128, 392, 336, 7 | -111513600000000000000
46252800000000000000 0 0 } 1
385 { 384, 387, 388, 192, 129, 337, 393, 6 | 111513600000000000000
-46252800000000000000 0 0 } 1
386 { 387, 384, 389, 192, 128, 339, 396, 9 | -111513600000000000000
-46252800000000000000 0 0 } 1
387 { 386, 388, 385, 194, 129, 397, 338, 8 | 111513600000000000000
46252800000000000000 0 0 } 1
388 { 389, 385, 387, 193, 129, 394, 400, 67 | 0 0 562500000 0 } 1
389 { 388, 386, 384, 194, 128, 401, 395, 66 | 0 0 -562500000 0 } 1
390 { 391, 395, 392, 196, 130, 404, 342, 5 | -19184400000000000000
46252800000000000000 0 0 } 1
391 { 390, 393, 394, 195, 131, 343, 405, 4 | 19184400000000000000
-46252800000000000000 0 0 } 1
392 { 393, 390, 395, 195, 130, 345, 384, 7 | -111513600000000000000
46252800000000000000 0 0 } 1
393 { 392, 394, 391, 197, 131, 385, 344, 6 | 111513600000000000000
-46252800000000000000 0 0 } 1
394 { 395, 391, 393, 196, 131, 406, 388, 67 | 0 0 562500000 0 } 1
395 { 394, 392, 390, 197, 130, 389, 407, 66 | 0 0 -562500000 0 } 1
396 { 397, 401, 398, 199, 132, 386, 348, 9 | -111513600000000000000
-46252800000000000000 0 0 } 1
397 { 396, 399, 400, 198, 133, 349, 387, 8 | 111513600000000000000
46252800000000000000 0 0 } 1
398 { 399, 396, 401, 198, 132, 351, 408, 11 | -19184400000000000000
-46252800000000000000 0 0 } 1
399 { 398, 400, 397, 200, 133, 409, 350, 10 | 19184400000000000000
46252800000000000000 0 0 } 1
400 { 401, 397, 399, 199, 133, 388, 412, 67 | 0 0 562500000 0 } 1
401 { 400, 398, 396, 200, 132, 413, 389, 66 | 0 0 -562500000 0 } 1
402 { 403, 407, 404, 202, 134, 416, 354, 3 | 19184400000000000000
46252800000000000000 0 0 } 1
403 { 402, 405, 406, 201, 135, 355, 417, 2 | -19184400000000000000
-46252800000000000000 0 0 } 1
404 { 405, 402, 407, 201, 134, 357, 390, 5 | -19184400000000000000
46252800000000000000 0 0 } 1
405 { 404, 406, 403, 203, 135, 391, 356, 4 | 19184400000000000000
-46252800000000000000 0 0 } 1
406 { 407, 403, 405, 202, 135, 418, 394, 67 | 0 0 562500000 0 } 1
407 { 406, 404, 402, 203, 134, 395, 419, 66 | 0 0 -562500000 0 } 1
408 { 409, 413, 410, 205, 136, 398, 360, 11 | -19184400000000000000
-46252800000000000000 0 0 } 1
409 { 408, 411, 412, 204, 137, 361, 399, 10 | 19184400000000000000
46252800000000000000 0 0 } 1
410 { 411, 408, 413, 204, 136, 363, 420, 13 | 19184400000000000000
-46252800000000000000 0 0 } 1
411 { 410, 412, 409, 206, 137, 421, 362, 12 | -19184400000000000000
46252800000000000000 0 0 } 1
412 { 413, 409, 411, 205, 137, 400, 424, 67 | 0 0 562500000 0 } 1
413 { 412, 410, 408, 206, 136, 425, 401, 66 | 0 0 -562500000 0 } 1
414 { 415, 419, 416, 208, 138, 428, 366, 1 | 111513600000000000000
46252800000000000000 0 0 } 1
415 { 414, 417, 418, 207, 139, 367, 429, 0 | -111513600000000000000
-46252800000000000000 0 0 } 1
416 { 417, 414, 419, 207, 138, 369, 402, 3 | 19184400000000000000
46252800000000000000 0 0 } 1
417 { 416, 418, 415, 209, 139, 403, 368, 2 | -19184400000000000000
-46252800000000000000 0 0 } 1
418 { 419, 415, 417, 208, 139, 430, 406, 67 | 0 0 562500000 0 } 1
419 { 418, 416, 414, 209, 138, 407, 431, 66 | 0 0 -562500000 0 } 1
420 { 421, 425, 422, 211, 140, 410, 372, 13 | 19184400000000000000
-46252800000000000000 0 0 } 1
421 { 420, 423, 424, 210, 141, 373, 411, 12 | -19184400000000000000
46252800000000000000 0 0 } 1
422 { 423, 420, 425, 210, 140, 375, 426, 15 | 111513600000000000000
-46252800000000000000 0 0 } 1
423 { 422, 424, 421, 212, 141, 427, 374, 14 | -111513600000000000000
46252800000000000000 0 0 } 1
424 { 425, 421, 423, 211, 141, 412, 430, 67 | 0 0 562500000 0 } 1
425 { 424, 422, 420, 212, 140, 431, 413, 66 | 0 0 -562500000 0 } 1
426 { 427, 431, 428, 214, 142, 422, 378, 15 | 111513600000000000000
-46252800000000000000 0 0 } 1
427 { 426, 429, 430, 213, 143, 379, 423, 14 | -111513600000000000000
46252800000000000000 0 0 } 1
428 { 429, 426, 431, 213, 142, 381, 414, 1 | 111513600000000000000
46252800000000000000 0 0 } 1
429 { 428, 430, 427, 215, 143, 415, 380, 0 | -111513600000000000000
-46252800000000000000 0 0 } 1
430 { 431, 427, 429, 214, 143, 424, 418, 67 | 0 0 562500000 0 } 1
431 { 430, 428, 426, 215, 142, 419, 425, 66 | 0 0 -562500000 0 } 1
0 { 0, 1 , , , 0 } 0
1 { 0, 0 , , , 1 } 1
2 { 1, 7 , , , 0 } 0
3 { 1, 6 , , , 1 } 1
4 { 2, 13 , , , 0 } 0
5 { 2, 12 , , , 1 } 1
6 { 3, 19 , , , 0 } 0
7 { 3, 18 , , , 1 } 1
8 { 4, 25 , , , 0 } 0
9 { 4, 24 , , , 1 } 1
10 { 5, 31 , , , 0 } 0
11 { 5, 30 , , , 1 } 1
12 { 6, 37 , , , 0 } 0
13 { 6, 36 , , , 1 } 1
14 { 7, 43 , , , 0 } 0
15 { 7, 42 , , , 1 } 1
16 { 8, 48 , , , 1 } 1
17 { 8, 49 , , , 0 } 0
18 { 9, 54 , , , 1 } 1
19 { 9, 55 , , , 0 } 0
20 { 10, 60 , , , 1 } 1
21 { 10, 61 , , , 0 } 0
22 { 11, 66 , , , 1 } 1
23 { 11, 67 , , , 0 } 0
24 { 12, 72 , , , 1 } 1
25 { 12, 73 , , , 0 } 0
26 { 13, 78 , , , 1 } 1
27 { 13, 79 , , , 0 } 0
28 { 14, 84 , , , 1 } 1
29 { 14, 85 , , , 0 } 0
30 { 15, 90 , , , 1 } 1
31 { 15, 91 , , , 0 } 0
32 { 16, 96 , , , 1 } 1
33 { 16, 97 , , , 0 } 0
34 { 17, 102 , , , 1 } 1
35 { 17, 103 , , , 0 } 0
36 { 18, 108 , , , 1 } 1
37 { 18, 109 , , , 0 } 0
38 { 19, 114 , , , 1 } 1
39 { 19, 115 , , , 0 } 0
40 { 20, 120 , , , 1 } 1
41 { 20, 121 , , , 0 } 0
42 { 21, 126 , , , 1 } 1
43 { 21, 127 , , , 0 } 0
44 { 22, 132 , , , 1 } 1
45 { 22, 133 , , , 0 } 0
46 { 23, 138 , , , 1 } 1
47 { 23, 139 , , , 0 } 0
48 { 24, 144 , , , 1 } 1
49 { 24, 145 , , , 0 } 0
50 { 25, 150 , , , 1 } 1
51 { 25, 151 , , , 0 } 0
52 { 26, 156 , , , 1 } 1
53 { 26, 157 , , , 0 } 0
54 { 27, 162 , , , 1 } 1
55 { 27, 163 , , , 0 } 0
56 { 28, 168 , , , 1 } 1
57 { 28, 169 , , , 0 } 0
58 { 29, 174 , , , 1 } 1
59 { 29, 175 , , , 0 } 0
60 { 30, 180 , , , 1 } 1
61 { 30, 181 , , , 0 } 0
62 { 31, 186 , , , 1 } 1
63 { 31, 187 , , , 0 } 0
64 { 32, 192 , , , 1 } 1
65 { 32, 193 , , , 0 } 0
66 { 33, 198 , , , 1 } 1
67 { 33, 199 , , , 0 } 0
68 { 34, 204 , , , 1 } 1
69 { 34, 205 , , , 0 } 0
70 { 35, 210 , , , 1 } 1
71 { 35, 211 , , , 0 } 0
72 { 36, 216 , , , 1 } 1
73 { 36, 217 , , , 0 } 0
74 { 37, 222 , , , 1 } 1
75 { 37, 223 , , , 0 } 0
76 { 38, 228 , , , 1 } 1
77 { 38, 229 , , , 0 } 0
78 { 39, 234 , , , 1 } 1
79 { 39, 235 , , , 0 } 0
80 { 40, 240 , , , 1 } 1
81 { 40, 241 , , , 0 } 0
82 { 41, 246 , , , 1 } 1
83 { 41, 247 , , , 0 } 0
84 { 42, 252 , , , 1 } 1
85 { 42, 253 , , , 0 } 0
86 { 43, 258 , , , 1 } 1
87 { 43, 259 , , , 0 } 0
88 { 44, 264 , , , 1 } 1
89 { 44, 265 , , , 0 } 0
90 { 45, 270 , , , 1 } 1
91 { 45, 271 , , , 0 } 0
92 { 46, 276 , , , 1 } 1
93 { 46, 277 , , , 0 } 0
94 { 47, 282 , , , 1 } 1
95 { 47, 283 , , , 0 } 0
96 { 48, 288 , , , 1 } 1
97 { 48, 289 , , , 0 } 0
98 { 49, 294 , , , 1 } 1
99 { 49, 295 , , , 0 } 0
100 { 50, 300 , , , 1 } 1
101 { 50, 301 , , , 0 } 0
102 { 51, 306 , , , 1 } 1
103 { 51, 307 , , , 0 } 0
104 { 52, 312 , , , 1 } 1
105 { 52, 313 , , , 0 } 0
106 { 53, 318 , , , 1 } 1
107 { 53, 319 , , , 0 } 0
108 { 54, 324 , , , 1 } 1
109 { 54, 325 , , , 0 } 0
110 { 55, 330 , , , 1 } 1
111 { 55, 331 , , , 0 } 0
112 { 56, 336 , , , 1 } 1
113 { 56, 337 , , , 0 } 0
114 { 57, 342 , , , 1 } 1
115 { 57, 343 , , , 0 } 0
116 { 58, 348 , , , 1 } 1
117 { 58, 349 , , , 0 } 0
118 { 59, 354 , , , 1 } 1
119 { 59, 355 , , , 0 } 0
120 { 60, 360 , , , 1 } 1
121 { 60, 361 , , , 0 } 0
122 { 61, 366 , , , 1 } 1
123 { 61, 367 , , , 0 } 0
124 { 62, 372 , , , 1 } 1
125 { 62, 373 , , , 0 } 0
126 { 63, 378 , , , 1 } 1
127 { 63, 379 , , , 0 } 0
128 { 64, 384 , , , 1 } 1
129 { 64, 385 , , , 0 } 0
130 { 65, 390 , , , 1 } 1
131 { 65, 391 , , , 0 } 0
132 { 66, 396 , , , 1 } 1
133 { 66, 397 , , , 0 } 0
134 { 67, 402 , , , 1 } 1
135 { 67, 403 , , , 0 } 0
136 { 68, 408 , , , 1 } 1
137 { 68, 409 , , , 0 } 0
138 { 69, 414 , , , 1 } 1
139 { 69, 415 , , , 0 } 0
140 { 70, 420 , , , 1 } 1
141 { 70, 421 , , , 0 } 0
142 { 71, 426 , , , 1 } 1
143 { 71, 427 , , , 0 } 0
/* end Selective Nef complex */


  • [cgal-discuss] nef_3_homogeous bug rebot, Wayne C. Gramlich, 10/20/2009

Archive powered by MHonArc 2.6.16.

Top of Page