CGAL users discussion list

[Laure Guicherd <>]

Hi everyone,
First i would like to thank you for all the great work.


I'm having a problem with boolean operations on Nef_polyhedron_3.
I'm using a Simple_cartesian<Gmpq> kernel and so far everything was ok, 
it really works fine with a lot of models :)

But I'm in trouble with a model that seems to be problematic, that 
passes every test with success (the Polyhedron converted from my 
geometry is both "valid" and "closed", and the Nef polyhedron converted 
from this polyhedron is "valid" and "simple".)
So I can get a valid nef, but when i try to compute boolean operations 
with a simple sphere (attached as sphere.off), the program crashes on :

terminate called after throwing an instance of 'CGAL::Assertion_exception'
what():  CGAL ERROR: assertion violation!
Expr: itl != it->second.end()
File: 
/net/rnd/src/CGAL-3.4/linux-x86_64-gcc-4.1.1/include/CGAL/Nef_3/SNC_external_structure.h 

Line: 1088
Abort


I must admit I am really stuck here, as the model seems closed, valid 
and with no self-intersections.
The strangest thing is that it works fine with a cube, or most of the 
time if the sphere intersects the model differently.

I'm really sorry that the model is really big, unfortunately I was 
unable to reproduce the problem with a simpler one, so here is the path 
to the .off file (that is too big to be attached for the mailing list) : 
http://dl.free.fr/rXNVUQVqg

Am i missing something ? Or do you think there is a problem with the 
model topology ? And if there is, how can i detect it in the future to 
prevent crashes ?


Any help would be really appreciated, thank you !
Best regards,


Laure Guicherd
Selective Nef Complex
standard
vertices   58
halfedges  336
facets     224
volumes    2
shalfedges 672
shalfloops 0
sfaces     116
0 { 0 7, 0 15, 0 1, -2 | 0 5 0 1 } 1
1 { 8 15, 16 31, 2 3, -2 | 0 -5 0 1 } 1
2 { 16 20, 32 41, 4 5, -2 | 8025465 19375168 0 4194304 } 1
3 { 21 25, 42 51, 6 7, -2 | 11349703 38750336 -11349703 8388608 } 1
4 { 26 30, 52 61, 8 9, -2 | 0 19375168 -8025465 4194304 } 1
5 { 31 35, 62 71, 10 11, -2 | -11349703 38750336 -11349703 8388608 } 1
6 { 36 40, 72 81, 12 13, -2 | -8025465 19375168 0 4194304 } 1
7 { 41 45, 82 91, 14 15, -2 | -11349703 38750336 11349703 8388608 } 1
8 { 46 50, 92 101, 16 17, -2 | 0 19375168 8025465 4194304 } 1
9 { 51 55, 102 111, 18 19, -2 | 11349703 38750336 11349703 8388608 } 1
10 { 56 61, 112 123, 20 21, -2 | 463409 463409 0 131072 } 1
11 { 62 67, 124 135, 22 23, -2 | 327680 463409 -327680 131072 } 1
12 { 68 73, 136 147, 24 25, -2 | 0 463409 -463409 131072 } 1
13 { 74 79, 148 159, 26 27, -2 | -327680 463409 -327680 131072 } 1
14 { 80 85, 160 171, 28 29, -2 | -463409 463409 0 131072 } 1
15 { 86 91, 172 183, 30 31, -2 | -327680 463409 327680 131072 } 1
16 { 92 97, 184 195, 32 33, -2 | 0 463409 463409 131072 } 1
17 { 98 103, 196 207, 34 35, -2 | 327680 463409 327680 131072 } 1
18 { 104 109, 208 219, 36 37, -2 | 19375168 8025465 0 4194304 } 1
19 { 110 115, 220 231, 38 39, -2 | 13700317 8025465 -13700317 4194304 } 1
20 { 116 121, 232 243, 40 41, -2 | 0 8025465 -19375168 4194304 } 1
21 { 122 127, 244 255, 42 43, -2 | -13700317 8025465 -13700317 4194304 } 1
22 { 128 133, 256 267, 44 45, -2 | -19375168 8025465 0 4194304 } 1
23 { 134 139, 268 279, 46 47, -2 | -13700317 8025465 13700317 4194304 } 1
24 { 140 145, 280 291, 48 49, -2 | 0 8025465 19375168 4194304 } 1
25 { 146 151, 292 303, 50 51, -2 | 13700317 8025465 13700317 4194304 } 1
26 { 152 157, 304 315, 52 53, -2 | 5 0 0 1 } 1
27 { 158 163, 316 327, 54 55, -2 | 463409 0 -463409 131072 } 1
28 { 164 169, 328 339, 56 57, -2 | 0 0 -5 1 } 1
29 { 170 175, 340 351, 58 59, -2 | -463409 0 -463409 131072 } 1
30 { 176 181, 352 363, 60 61, -2 | -5 0 0 1 } 1
31 { 182 187, 364 375, 62 63, -2 | -463409 0 463409 131072 } 1
32 { 188 193, 376 387, 64 65, -2 | 0 0 5 1 } 1
33 { 194 199, 388 399, 66 67, -2 | 463409 0 463409 131072 } 1
34 { 200 205, 400 411, 68 69, -2 | 19375168 -8025465 0 4194304 } 1
35 { 206 211, 412 423, 70 71, -2 | 13700317 -8025465 -13700317 4194304 } 1
36 { 212 217, 424 435, 72 73, -2 | 0 -8025465 -19375168 4194304 } 1
37 { 218 223, 436 447, 74 75, -2 | -13700317 -8025465 -13700317 4194304 } 1
38 { 224 229, 448 459, 76 77, -2 | -19375168 -8025465 0 4194304 } 1
39 { 230 235, 460 471, 78 79, -2 | -13700317 -8025465 13700317 4194304 } 1
40 { 236 241, 472 483, 80 81, -2 | 0 -8025465 19375168 4194304 } 1
41 { 242 247, 484 495, 82 83, -2 | 13700317 -8025465 13700317 4194304 } 1
42 { 248 253, 496 507, 84 85, -2 | 463409 -463409 0 131072 } 1
43 { 254 259, 508 519, 86 87, -2 | 327680 -463409 -327680 131072 } 1
44 { 260 265, 520 531, 88 89, -2 | 0 -463409 -463409 131072 } 1
45 { 266 271, 532 543, 90 91, -2 | -327680 -463409 -327680 131072 } 1
46 { 272 277, 544 555, 92 93, -2 | -463409 -463409 0 131072 } 1
47 { 278 283, 556 567, 94 95, -2 | -327680 -463409 327680 131072 } 1
48 { 284 289, 568 579, 96 97, -2 | 0 -463409 463409 131072 } 1
49 { 290 295, 580 591, 98 99, -2 | 327680 -463409 327680 131072 } 1
50 { 296 300, 592 601, 100 101, -2 | 8025465 -19375168 0 4194304 } 1
51 { 301 305, 602 611, 102 103, -2 | 11349703 -38750336 -11349703 8388608 } 1
52 { 306 310, 612 621, 104 105, -2 | 0 -19375168 -8025465 4194304 } 1
53 { 311 315, 622 631, 106 107, -2 | -11349703 -38750336 -11349703 8388608 } 1
54 { 316 320, 632 641, 108 109, -2 | -8025465 -19375168 0 4194304 } 1
55 { 321 325, 642 651, 110 111, -2 | -11349703 -38750336 11349703 8388608 } 1
56 { 326 330, 652 661, 112 113, -2 | 0 -19375168 8025465 4194304 } 1
57 { 331 335, 662 671, 114 115, -2 | 11349703 -38750336 11349703 8388608 } 1
0 { 17, 0, 0 0 | 8025465 -1596352 0 1 } 1
1 { 51, 0, 0 1 | 11349703 -3192704 11349703 1 } 1
2 { 46, 0, 0 3 | 0 -1596352 8025465 1 } 1
3 { 41, 0, 0 5 | -11349703 -3192704 11349703 1 } 1
4 { 36, 0, 0 7 | -8025465 -1596352 0 1 } 1
5 { 31, 0, 0 9 | -11349703 -3192704 -11349703 1 } 1
6 { 26, 0, 0 11 | 0 -1596352 -8025465 1 } 1
7 { 21, 0, 0 13 | 11349703 -3192704 -11349703 1 } 1
8 { 332, 1, 0 16 | 11349703 3192704 11349703 1 } 1
9 { 296, 1, 0 17 | 8025465 1596352 0 1 } 1
10 { 302, 1, 0 19 | 11349703 3192704 -11349703 1 } 1
11 { 307, 1, 0 21 | 0 1596352 -8025465 1 } 1
12 { 312, 1, 0 23 | -11349703 3192704 -11349703 1 } 1
13 { 317, 1, 0 25 | -8025465 1596352 0 1 } 1
14 { 322, 1, 0 27 | -11349703 3192704 11349703 1 } 1
15 { 327, 1, 0 29 | 0 1596352 8025465 1 } 1
16 { 52, 2, 0 32 | -4701227 0 11349703 1 } 1
17 { 0, 2, 0 33 | -8025465 1596352 0 1 } 1
18 { 25, 2, 0 35 | -4701227 0 -11349703 1 } 1
19 { 58, 2, 0 37 | 6803623 -4546080 0 1 } 1
20 { 103, 2, 0 39 | 492059 -909216 2097152 1 } 1
21 { 7, 3, 0 42 | -11349703 3192704 11349703 1 } 1
22 { 30, 3, 0 43 | -11349703 0 -4701227 1 } 1
23 { 66, 3, 0 45 | 9621817 -9092160 -9621817 1 } 1
24 { 59, 3, 0 47 | 18308473 -9092160 11349703 1 } 1
25 { 18, 3, 0 49 | 4701227 0 11349703 1 } 1
26 { 6, 4, 0 52 | 0 1596352 8025465 1 } 1
27 { 35, 4, 0 53 | -11349703 0 4701227 1 } 1
28 { 72, 4, 0 55 | 0 -4546080 -6803623 1 } 1
29 { 67, 4, 0 57 | 2097152 -909216 -492059 1 } 1
30 { 22, 4, 0 59 | 11349703 0 4701227 1 } 1
31 { 5, 5, 0 62 | 11349703 3192704 11349703 1 } 1
32 { 40, 5, 0 63 | -4701227 0 11349703 1 } 1
33 { 78, 5, 0 65 | -9621817 -9092160 -9621817 1 } 1
34 { 73, 5, 0 67 | 11349703 -9092160 -18308473 1 } 1
35 { 27, 5, 0 69 | 11349703 0 -4701227 1 } 1
36 { 4, 6, 0 72 | 8025465 1596352 0 1 } 1
37 { 45, 6, 0 73 | 4701227 0 11349703 1 } 1
38 { 84, 6, 0 75 | -6803623 -4546080 0 1 } 1
39 { 79, 6, 0 77 | -492059 -909216 -2097152 1 } 1
40 { 32, 6, 0 79 | 4701227 0 -11349703 1 } 1
41 { 3, 7, 0 82 | 11349703 3192704 -11349703 1 } 1
42 { 50, 7, 0 83 | 11349703 0 4701227 1 } 1
43 { 90, 7, 0 85 | -9621817 -9092160 9621817 1 } 1
44 { 85, 7, 0 87 | -18308473 -9092160 -11349703 1 } 1
45 { 37, 7, 0 89 | -4701227 0 -11349703 1 } 1
46 { 2, 8, 0 92 | 0 1596352 -8025465 1 } 1
47 { 55, 8, 0 93 | 11349703 0 -4701227 1 } 1
48 { 96, 8, 0 95 | 0 -4546080 6803623 1 } 1
49 { 91, 8, 0 97 | -2097152 -909216 492059 1 } 1
50 { 42, 8, 0 99 | -11349703 0 -4701227 1 } 1
51 { 1, 9, 0 102 | -11349703 3192704 -11349703 1 } 1
52 { 16, 9, 0 103 | 4701227 0 -11349703 1 } 1
53 { 102, 9, 0 105 | 9621817 -9092160 9621817 1 } 1
54 { 97, 9, 0 107 | -11349703 -9092160 18308473 1 } 1
55 { 47, 9, 0 109 | -11349703 0 4701227 1 } 1
56 { 151, 10, 0 112 | -1128771 -6803623 13700317 1 } 1
57 { 98, 10, 0 113 | -135729 0 327680 1 } 1
58 { 19, 10, 0 115 | -6803623 4546080 0 1 } 1
59 { 24, 10, 0 117 | -18308473 9092160 -11349703 1 } 1
60 { 65, 10, 0 119 | -135729 0 -327680 1 } 1
61 { 106, 10, 0 121 | 4546080 -6803623 0 1 } 1
62 { 71, 11, 0 124 | -327680 0 -135729 1 } 1
63 { 114, 11, 0 125 | 3214557 -6803623 -3214557 1 } 1
64 { 107, 11, 0 127 | 8889408 -6803623 10485760 1 } 1
65 { 60, 11, 0 129 | 135729 0 327680 1 } 1
66 { 23, 11, 0 131 | -9621817 9092160 9621817 1 } 1
67 { 29, 11, 0 133 | -2097152 909216 492059 1 } 1
68 { 77, 12, 0 136 | -327680 0 135729 1 } 1
69 { 120, 12, 0 137 | 0 -6803623 -4546080 1 } 1
70 { 115, 12, 0 139 | 13700317 -6803623 1128771 1 } 1
71 { 62, 12, 0 141 | 327680 0 135729 1 } 1
72 { 28, 12, 0 143 | 0 4546080 6803623 1 } 1
73 { 34, 12, 0 145 | -11349703 9092160 18308473 1 } 1
74 { 83, 13, 0 148 | -135729 0 327680 1 } 1
75 { 126, 13, 0 149 | -3214557 -6803623 -3214557 1 } 1
76 { 121, 13, 0 151 | 10485760 -6803623 -8889408 1 } 1
77 { 68, 13, 0 153 | 327680 0 -135729 1 } 1
78 { 33, 13, 0 155 | 9621817 9092160 9621817 1 } 1
79 { 39, 13, 0 157 | 492059 909216 2097152 1 } 1
80 { 89, 14, 0 160 | 135729 0 327680 1 } 1
81 { 132, 14, 0 161 | -4546080 -6803623 0 1 } 1
82 { 127, 14, 0 163 | 1128771 -6803623 -13700317 1 } 1
83 { 74, 14, 0 165 | 135729 0 -327680 1 } 1
84 { 38, 14, 0 167 | 6803623 4546080 0 1 } 1
85 { 44, 14, 0 169 | 18308473 9092160 11349703 1 } 1
86 { 95, 15, 0 172 | 327680 0 135729 1 } 1
87 { 138, 15, 0 173 | -3214557 -6803623 3214557 1 } 1
88 { 133, 15, 0 175 | -8889408 -6803623 -10485760 1 } 1
89 { 80, 15, 0 177 | -135729 0 -327680 1 } 1
90 { 43, 15, 0 179 | 9621817 9092160 -9621817 1 } 1
91 { 49, 15, 0 181 | 2097152 909216 -492059 1 } 1
92 { 101, 16, 0 184 | 327680 0 -135729 1 } 1
93 { 144, 16, 0 185 | 0 -6803623 4546080 1 } 1
94 { 139, 16, 0 187 | -13700317 -6803623 -1128771 1 } 1
95 { 86, 16, 0 189 | -327680 0 -135729 1 } 1
96 { 48, 16, 0 191 | 0 4546080 -6803623 1 } 1
97 { 54, 16, 0 193 | 11349703 9092160 -18308473 1 } 1
98 { 57, 17, 0 196 | 135729 0 -327680 1 } 1
99 { 150, 17, 0 197 | 3214557 -6803623 3214557 1 } 1
100 { 145, 17, 0 199 | -10485760 -6803623 8889408 1 } 1
101 { 92, 17, 0 201 | -327680 0 135729 1 } 1
102 { 53, 17, 0 203 | -9621817 9092160 -9621817 1 } 1
103 { 20, 17, 0 205 | -492059 909216 -2097152 1 } 1
104 { 199, 18, 0 208 | -4546080 -8025465 14829088 1 } 1
105 { 146, 18, 0 209 | -5674851 0 13700317 1 } 1
106 { 61, 18, 0 211 | -4546080 6803623 0 1 } 1
107 { 64, 18, 0 213 | -8889408 6803623 -10485760 1 } 1
108 { 113, 18, 0 215 | -5674851 0 -13700317 1 } 1
109 { 154, 18, 0 217 | 1596352 -8025465 0 1 } 1
110 { 119, 19, 0 220 | -13700317 0 -5674851 1 } 1
111 { 162, 19, 0 221 | 53751 -382165 -53751 1 } 1
112 { 155, 19, 0 223 | 7271203 -8025465 13700317 1 } 1
113 { 108, 19, 0 225 | 5674851 0 13700317 1 } 1
114 { 63, 19, 0 227 | -3214557 6803623 3214557 1 } 1
115 { 70, 19, 0 229 | -13700317 6803623 -1128771 1 } 1
116 { 125, 20, 0 232 | -13700317 0 5674851 1 } 1
117 { 168, 20, 0 233 | 0 -8025465 -1596352 1 } 1
118 { 163, 20, 0 235 | 14829088 -8025465 4546080 1 } 1
119 { 110, 20, 0 237 | 13700317 0 5674851 1 } 1
120 { 69, 20, 0 239 | 0 6803623 4546080 1 } 1
121 { 76, 20, 0 241 | -10485760 6803623 8889408 1 } 1
122 { 131, 21, 0 244 | -5674851 0 13700317 1 } 1
123 { 174, 21, 0 245 | -53751 -382165 -53751 1 } 1
124 { 169, 21, 0 247 | 13700317 -8025465 -7271203 1 } 1
125 { 116, 21, 0 249 | 13700317 0 -5674851 1 } 1
126 { 75, 21, 0 251 | 3214557 6803623 3214557 1 } 1
127 { 82, 21, 0 253 | -1128771 6803623 13700317 1 } 1
128 { 137, 22, 0 256 | 5674851 0 13700317 1 } 1
129 { 180, 22, 0 257 | -1596352 -8025465 0 1 } 1
130 { 175, 22, 0 259 | 4546080 -8025465 -14829088 1 } 1
131 { 122, 22, 0 261 | 5674851 0 -13700317 1 } 1
132 { 81, 22, 0 263 | 4546080 6803623 0 1 } 1
133 { 88, 22, 0 265 | 8889408 6803623 10485760 1 } 1
134 { 143, 23, 0 268 | 13700317 0 5674851 1 } 1
135 { 186, 23, 0 269 | -53751 -382165 53751 1 } 1
136 { 181, 23, 0 271 | -7271203 -8025465 -13700317 1 } 1
137 { 128, 23, 0 273 | -5674851 0 -13700317 1 } 1
138 { 87, 23, 0 275 | 3214557 6803623 -3214557 1 } 1
139 { 94, 23, 0 277 | 13700317 6803623 1128771 1 } 1
140 { 149, 24, 0 280 | 13700317 0 -5674851 1 } 1
141 { 192, 24, 0 281 | 0 -8025465 1596352 1 } 1
142 { 187, 24, 0 283 | -14829088 -8025465 -4546080 1 } 1
143 { 134, 24, 0 285 | -13700317 0 -5674851 1 } 1
144 { 93, 24, 0 287 | 0 6803623 -4546080 1 } 1
145 { 100, 24, 0 289 | 10485760 6803623 -8889408 1 } 1
146 { 105, 25, 0 292 | 5674851 0 -13700317 1 } 1
147 { 198, 25, 0 293 | 53751 -382165 53751 1 } 1
148 { 193, 25, 0 295 | -13700317 -8025465 7271203 1 } 1
149 { 140, 25, 0 297 | -13700317 0 5674851 1 } 1
150 { 99, 25, 0 299 | -3214557 6803623 -3214557 1 } 1
151 { 56, 25, 0 301 | 1128771 6803623 -13700317 1 } 1
152 { 247, 26, 0 304 | -7271203 -8025465 13700317 1 } 1
153 { 194, 26, 0 305 | -191951 0 463409 1 } 1
154 { 109, 26, 0 307 | -1596352 8025465 0 1 } 1
155 { 112, 26, 0 309 | -7271203 8025465 -13700317 1 } 1
156 { 161, 26, 0 311 | -191951 0 -463409 1 } 1
157 { 202, 26, 0 313 | -1596352 -8025465 0 1 } 1
158 { 167, 27, 0 316 | -463409 0 -191951 1 } 1
159 { 210, 27, 0 317 | -53751 -382165 53751 1 } 1
160 { 203, 27, 0 319 | 4546080 -8025465 14829088 1 } 1
161 { 156, 27, 0 321 | 191951 0 463409 1 } 1
162 { 111, 27, 0 323 | -53751 382165 53751 1 } 1
163 { 118, 27, 0 325 | -14829088 8025465 -4546080 1 } 1
164 { 173, 28, 0 328 | -463409 0 191951 1 } 1
165 { 216, 28, 0 329 | 0 -8025465 1596352 1 } 1
166 { 211, 28, 0 331 | 13700317 -8025465 7271203 1 } 1
167 { 158, 28, 0 333 | 463409 0 191951 1 } 1
168 { 117, 28, 0 335 | 0 8025465 1596352 1 } 1
169 { 124, 28, 0 337 | -13700317 8025465 7271203 1 } 1
170 { 179, 29, 0 340 | -191951 0 463409 1 } 1
171 { 222, 29, 0 341 | 53751 -382165 53751 1 } 1
172 { 217, 29, 0 343 | 14829088 -8025465 -4546080 1 } 1
173 { 164, 29, 0 345 | 463409 0 -191951 1 } 1
174 { 123, 29, 0 347 | 53751 382165 53751 1 } 1
175 { 130, 29, 0 349 | -4546080 8025465 14829088 1 } 1
176 { 185, 30, 0 352 | 191951 0 463409 1 } 1
177 { 228, 30, 0 353 | 1596352 -8025465 0 1 } 1
178 { 223, 30, 0 355 | 7271203 -8025465 -13700317 1 } 1
179 { 170, 30, 0 357 | 191951 0 -463409 1 } 1
180 { 129, 30, 0 359 | 1596352 8025465 0 1 } 1
181 { 136, 30, 0 361 | 7271203 8025465 13700317 1 } 1
182 { 191, 31, 0 364 | 463409 0 191951 1 } 1
183 { 234, 31, 0 365 | 53751 -382165 -53751 1 } 1
184 { 229, 31, 0 367 | -4546080 -8025465 -14829088 1 } 1
185 { 176, 31, 0 369 | -191951 0 -463409 1 } 1
186 { 135, 31, 0 371 | 53751 382165 -53751 1 } 1
187 { 142, 31, 0 373 | 14829088 8025465 4546080 1 } 1
188 { 197, 32, 0 376 | 463409 0 -191951 1 } 1
189 { 240, 32, 0 377 | 0 -8025465 -1596352 1 } 1
190 { 235, 32, 0 379 | -13700317 -8025465 -7271203 1 } 1
191 { 182, 32, 0 381 | -463409 0 -191951 1 } 1
192 { 141, 32, 0 383 | 0 8025465 -1596352 1 } 1
193 { 148, 32, 0 385 | 13700317 8025465 -7271203 1 } 1
194 { 153, 33, 0 388 | 191951 0 -463409 1 } 1
195 { 246, 33, 0 389 | -53751 -382165 -53751 1 } 1
196 { 241, 33, 0 391 | -14829088 -8025465 4546080 1 } 1
197 { 188, 33, 0 393 | -463409 0 191951 1 } 1
198 { 147, 33, 0 395 | -53751 382165 -53751 1 } 1
199 { 104, 33, 0 397 | 4546080 8025465 -14829088 1 } 1
200 { 295, 34, 0 400 | -8889408 -6803623 10485760 1 } 1
201 { 242, 34, 0 401 | -5674851 0 13700317 1 } 1
202 { 157, 34, 0 403 | 1596352 8025465 0 1 } 1
203 { 160, 34, 0 405 | -4546080 8025465 -14829088 1 } 1
204 { 209, 34, 0 407 | -5674851 0 -13700317 1 } 1
205 { 250, 34, 0 409 | -4546080 -6803623 0 1 } 1
206 { 215, 35, 0 412 | -13700317 0 -5674851 1 } 1
207 { 258, 35, 0 413 | -3214557 -6803623 3214557 1 } 1
208 { 251, 35, 0 415 | 1128771 -6803623 13700317 1 } 1
209 { 204, 35, 0 417 | 5674851 0 13700317 1 } 1
210 { 159, 35, 0 419 | 53751 382165 -53751 1 } 1
211 { 166, 35, 0 421 | -13700317 8025465 -7271203 1 } 1
212 { 221, 36, 0 424 | -13700317 0 5674851 1 } 1
213 { 264, 36, 0 425 | 0 -6803623 4546080 1 } 1
214 { 259, 36, 0 427 | 10485760 -6803623 8889408 1 } 1
215 { 206, 36, 0 429 | 13700317 0 5674851 1 } 1
216 { 165, 36, 0 431 | 0 8025465 -1596352 1 } 1
217 { 172, 36, 0 433 | -14829088 8025465 4546080 1 } 1
218 { 227, 37, 0 436 | -5674851 0 13700317 1 } 1
219 { 270, 37, 0 437 | 3214557 -6803623 3214557 1 } 1
220 { 265, 37, 0 439 | 13700317 -6803623 -1128771 1 } 1
221 { 212, 37, 0 441 | 13700317 0 -5674851 1 } 1
222 { 171, 37, 0 443 | -53751 382165 -53751 1 } 1
223 { 178, 37, 0 445 | -7271203 8025465 13700317 1 } 1
224 { 233, 38, 0 448 | 5674851 0 13700317 1 } 1
225 { 276, 38, 0 449 | 4546080 -6803623 0 1 } 1
226 { 271, 38, 0 451 | 8889408 -6803623 -10485760 1 } 1
227 { 218, 38, 0 453 | 5674851 0 -13700317 1 } 1
228 { 177, 38, 0 455 | -1596352 8025465 0 1 } 1
229 { 184, 38, 0 457 | 4546080 8025465 14829088 1 } 1
230 { 239, 39, 0 460 | 13700317 0 5674851 1 } 1
231 { 282, 39, 0 461 | 3214557 -6803623 -3214557 1 } 1
232 { 277, 39, 0 463 | -1128771 -6803623 -13700317 1 } 1
233 { 224, 39, 0 465 | -5674851 0 -13700317 1 } 1
234 { 183, 39, 0 467 | -53751 382165 53751 1 } 1
235 { 190, 39, 0 469 | 13700317 8025465 7271203 1 } 1
236 { 245, 40, 0 472 | 13700317 0 -5674851 1 } 1
237 { 288, 40, 0 473 | 0 -6803623 -4546080 1 } 1
238 { 283, 40, 0 475 | -10485760 -6803623 -8889408 1 } 1
239 { 230, 40, 0 477 | -13700317 0 -5674851 1 } 1
240 { 189, 40, 0 479 | 0 8025465 1596352 1 } 1
241 { 196, 40, 0 481 | 14829088 8025465 -4546080 1 } 1
242 { 201, 41, 0 484 | 5674851 0 -13700317 1 } 1
243 { 294, 41, 0 485 | -3214557 -6803623 -3214557 1 } 1
244 { 289, 41, 0 487 | -13700317 -6803623 1128771 1 } 1
245 { 236, 41, 0 489 | -13700317 0 5674851 1 } 1
246 { 195, 41, 0 491 | 53751 382165 53751 1 } 1
247 { 152, 41, 0 493 | 7271203 8025465 -13700317 1 } 1
248 { 335, 42, 0 496 | -18308473 -9092160 11349703 1 } 1
249 { 290, 42, 0 497 | -135729 0 327680 1 } 1
250 { 205, 42, 0 499 | 4546080 6803623 0 1 } 1
251 { 208, 42, 0 501 | -1128771 6803623 -13700317 1 } 1
252 { 257, 42, 0 503 | -135729 0 -327680 1 } 1
253 { 298, 42, 0 505 | -6803623 -4546080 0 1 } 1
254 { 263, 43, 0 508 | -327680 0 -135729 1 } 1
255 { 304, 43, 0 509 | -9621817 -9092160 9621817 1 } 1
256 { 299, 43, 0 511 | -492059 -909216 2097152 1 } 1
257 { 252, 43, 0 513 | 135729 0 327680 1 } 1
258 { 207, 43, 0 515 | 3214557 6803623 -3214557 1 } 1
259 { 214, 43, 0 517 | -10485760 6803623 -8889408 1 } 1
260 { 269, 44, 0 520 | -327680 0 135729 1 } 1
261 { 309, 44, 0 521 | 0 -4546080 6803623 1 } 1
262 { 305, 44, 0 523 | 11349703 -9092160 18308473 1 } 1
263 { 254, 44, 0 525 | 327680 0 135729 1 } 1
264 { 213, 44, 0 527 | 0 6803623 -4546080 1 } 1
265 { 220, 44, 0 529 | -13700317 6803623 1128771 1 } 1
266 { 275, 45, 0 532 | -135729 0 327680 1 } 1
267 { 314, 45, 0 533 | 9621817 -9092160 9621817 1 } 1
268 { 310, 45, 0 535 | 2097152 -909216 492059 1 } 1
269 { 260, 45, 0 537 | 327680 0 -135729 1 } 1
270 { 219, 45, 0 539 | -3214557 6803623 -3214557 1 } 1
271 { 226, 45, 0 541 | -8889408 6803623 10485760 1 } 1
272 { 281, 46, 0 544 | 135729 0 327680 1 } 1
273 { 319, 46, 0 545 | 6803623 -4546080 0 1 } 1
274 { 315, 46, 0 547 | 18308473 -9092160 -11349703 1 } 1
275 { 266, 46, 0 549 | 135729 0 -327680 1 } 1
276 { 225, 46, 0 551 | -4546080 6803623 0 1 } 1
277 { 232, 46, 0 553 | 1128771 6803623 13700317 1 } 1
278 { 287, 47, 0 556 | 327680 0 135729 1 } 1
279 { 324, 47, 0 557 | 9621817 -9092160 -9621817 1 } 1
280 { 320, 47, 0 559 | 492059 -909216 -2097152 1 } 1
281 { 272, 47, 0 561 | -135729 0 -327680 1 } 1
282 { 231, 47, 0 563 | -3214557 6803623 3214557 1 } 1
283 { 238, 47, 0 565 | 10485760 6803623 8889408 1 } 1
284 { 293, 48, 0 568 | 327680 0 -135729 1 } 1
285 { 329, 48, 0 569 | 0 -4546080 -6803623 1 } 1
286 { 325, 48, 0 571 | -11349703 -9092160 -18308473 1 } 1
287 { 278, 48, 0 573 | -327680 0 -135729 1 } 1
288 { 237, 48, 0 575 | 0 6803623 4546080 1 } 1
289 { 244, 48, 0 577 | 13700317 6803623 -1128771 1 } 1
290 { 249, 49, 0 580 | 135729 0 -327680 1 } 1
291 { 334, 49, 0 581 | -9621817 -9092160 -9621817 1 } 1
292 { 330, 49, 0 583 | -2097152 -909216 -492059 1 } 1
293 { 284, 49, 0 585 | -327680 0 135729 1 } 1
294 { 243, 49, 0 587 | 3214557 6803623 3214557 1 } 1
295 { 200, 49, 0 589 | 8889408 6803623 -10485760 1 } 1
296 { 9, 50, 0 592 | -8025465 -1596352 0 1 } 1
297 { 331, 50, 0 593 | -4701227 0 11349703 1 } 1
298 { 253, 50, 0 595 | 6803623 4546080 0 1 } 1
299 { 256, 50, 0 597 | 492059 909216 -2097152 1 } 1
300 { 303, 50, 0 599 | -4701227 0 -11349703 1 } 1
301 { 308, 51, 0 602 | -11349703 0 -4701227 1 } 1
302 { 10, 51, 0 603 | -11349703 -3192704 11349703 1 } 1
303 { 300, 51, 0 605 | 4701227 0 11349703 1 } 1
304 { 255, 51, 0 607 | 9621817 9092160 -9621817 1 } 1
305 { 262, 51, 0 609 | -11349703 9092160 -18308473 1 } 1
306 { 313, 52, 0 612 | -11349703 0 4701227 1 } 1
307 { 11, 52, 0 613 | 0 -1596352 8025465 1 } 1
308 { 301, 52, 0 615 | 11349703 0 4701227 1 } 1
309 { 261, 52, 0 617 | 0 4546080 -6803623 1 } 1
310 { 268, 52, 0 619 | -2097152 909216 -492059 1 } 1
311 { 318, 53, 0 622 | -4701227 0 11349703 1 } 1
312 { 12, 53, 0 623 | 11349703 -3192704 11349703 1 } 1
313 { 306, 53, 0 625 | 11349703 0 -4701227 1 } 1
314 { 267, 53, 0 627 | -9621817 9092160 -9621817 1 } 1
315 { 274, 53, 0 629 | -18308473 9092160 11349703 1 } 1
316 { 323, 54, 0 632 | 4701227 0 11349703 1 } 1
317 { 13, 54, 0 633 | 8025465 -1596352 0 1 } 1
318 { 311, 54, 0 635 | 4701227 0 -11349703 1 } 1
319 { 273, 54, 0 637 | -6803623 4546080 0 1 } 1
320 { 280, 54, 0 639 | -492059 909216 2097152 1 } 1
321 { 328, 55, 0 642 | 11349703 0 4701227 1 } 1
322 { 14, 55, 0 643 | 11349703 -3192704 -11349703 1 } 1
323 { 316, 55, 0 645 | -4701227 0 -11349703 1 } 1
324 { 279, 55, 0 647 | -9621817 9092160 9621817 1 } 1
325 { 286, 55, 0 649 | 11349703 9092160 18308473 1 } 1
326 { 333, 56, 0 652 | 11349703 0 -4701227 1 } 1
327 { 15, 56, 0 653 | 0 -1596352 -8025465 1 } 1
328 { 321, 56, 0 655 | -11349703 0 -4701227 1 } 1
329 { 285, 56, 0 657 | 0 4546080 6803623 1 } 1
330 { 292, 56, 0 659 | 2097152 909216 492059 1 } 1
331 { 297, 57, 0 662 | 4701227 0 -11349703 1 } 1
332 { 8, 57, 0 663 | -11349703 -3192704 -11349703 1 } 1
333 { 326, 57, 0 665 | -11349703 0 4701227 1 } 1
334 { 291, 57, 0 667 | 9621817 9092160 9621817 1 } 1
335 { 248, 57, 0 669 | 18308473 9092160 -11349703 1 } 1
0 { 1, 46 , , 0 | 390505298499993600 584428630068822016 -161751994812334080 
-3446908240540666777 } 1
1 { 0, 47 , , 1 | -390505298499993600 -584428630068822016 161751994812334080 
3446908240540666777 } 1
2 { 3, 48 , , 0 | 6762877133028065280 10121261924216864768 
-2801290974351851520 -59694381686239744481 } 1
3 { 2, 49 , , 1 | -6762877133028065280 -10121261924216864768 
2801290974351851520 59694381686239744481 } 1
4 { 5, 142 , , 0 | 246813956928 891764473856 -595863797760 -5259554517527 } 1
5 { 4, 143 , , 1 | -246813956928 -891764473856 595863797760 5259554517527 } 1
6 { 7, 58 , , 0 | 26678961660493824 96393538930081792 -64408353647886336 
-568520545671846649 } 1
7 { 6, 59 , , 1 | -26678961660493824 -96393538930081792 64408353647886336 
568520545671846649 } 1
8 { 9, 154 , , 0 | -161751994812334080 584428630068822016 -390505298499993600 
-3446908240540666777 } 1
9 { 8, 155 , , 1 | 161751994812334080 -584428630068822016 390505298499993600 
3446908240540666777 } 1
10 { 11, 68 , , 0 | -2801290974351851520 10121261924216864768 
-6762877133028065280 -59694381686239744481 } 1
11 { 10, 69 , , 1 | 2801290974351851520 -10121261924216864768 
6762877133028065280 59694381686239744481 } 1
12 { 13, 166 , , 0 | -595863797760 891764473856 -246813956928 -5259554517527 
} 1
13 { 12, 167 , , 1 | 595863797760 -891764473856 246813956928 5259554517527 } 1
14 { 15, 156 , , 0 | -64408353647886336 96393538930081792 -26678961660493824 
-568520545671846649 } 1
15 { 14, 157 , , 1 | 64408353647886336 -96393538930081792 26678961660493824 
568520545671846649 } 1
16 { 17, 170 , , 0 | -390505298499993600 584428630068822016 
161751994812334080 -3446908240540666777 } 1
17 { 16, 171 , , 1 | 390505298499993600 -584428630068822016 
-161751994812334080 3446908240540666777 } 1
18 { 19, 168 , , 0 | -6762877133028065280 10121261924216864768 
2801290974351851520 -59694381686239744481 } 1
19 { 18, 169 , , 1 | 6762877133028065280 -10121261924216864768 
-2801290974351851520 59694381686239744481 } 1
20 { 21, 182 , , 0 | -246813956928 891764473856 595863797760 -5259554517527 } 
1
21 { 20, 183 , , 1 | 246813956928 -891764473856 -595863797760 5259554517527 } 
1
22 { 23, 180 , , 0 | -26678961660493824 96393538930081792 64408353647886336 
-568520545671846649 } 1
23 { 22, 181 , , 1 | 26678961660493824 -96393538930081792 -64408353647886336 
568520545671846649 } 1
24 { 25, 194 , , 0 | 161751994812334080 584428630068822016 390505298499993600 
-3446908240540666777 } 1
25 { 24, 195 , , 1 | -161751994812334080 -584428630068822016 
-390505298499993600 3446908240540666777 } 1
26 { 27, 192 , , 0 | 2801290974351851520 10121261924216864768 
6762877133028065280 -59694381686239744481 } 1
27 { 26, 193 , , 1 | -2801290974351851520 -10121261924216864768 
-6762877133028065280 59694381686239744481 } 1
28 { 29, 38 , , 0 | 595863797760 891764473856 246813956928 -5259554517527 } 1
29 { 28, 39 , , 1 | -595863797760 -891764473856 -246813956928 5259554517527 } 
1
30 { 31, 104 , , 0 | 64408353647886336 96393538930081792 26678961660493824 
-568520545671846649 } 1
31 { 30, 105 , , 1 | -64408353647886336 -96393538930081792 -26678961660493824 
568520545671846649 } 1
32 { 33, 126 , , 0 | 190897749705709568 127554727773339648 -79072351816034304 
-1125898832011112861 } 1
33 { 32, 127 , , 1 | -190897749705709568 -127554727773339648 
79072351816034304 1125898832011112861 } 1
34 { 35, 128 , , 0 | 4458822369280 2979318988800 -1846897892334 
-26297772587635 } 1
35 { 34, 129 , , 1 | -4458822369280 -2979318988800 1846897892334 
26297772587635 } 1
36 { 37, 238 , , 0 | 5060630516226195456 8163522918135889920 
-12217455981165412352 -72057564168901956059 } 1
37 { 36, 239 , , 1 | -5060630516226195456 -8163522918135889920 
12217455981165412352 72057564168901956059 } 1
38 { 39, 140 , , 0 | 121038300272001024 195252013604929536 
-292213382793134080 -1723448576960985277 } 1
39 { 38, 141 , , 1 | -121038300272001024 -195252013604929536 
292213382793134080 1723448576960985277 } 1
40 { 41, 250 , , 0 | -79072351816034304 127554727773339648 
-190897749705709568 -1125898832011112861 } 1
41 { 40, 251 , , 1 | 79072351816034304 -127554727773339648 190897749705709568 
1125898832011112861 } 1
42 { 43, 152 , , 0 | -1846897892334 2979318988800 -4458822369280 
-26297772587635 } 1
43 { 42, 153 , , 1 | 1846897892334 -2979318988800 4458822369280 
26297772587635 } 1
44 { 45, 262 , , 0 | -12217455981165412352 8163522918135889920 
-5060630516226195456 -72057564168901956059 } 1
45 { 44, 263 , , 1 | 12217455981165412352 -8163522918135889920 
5060630516226195456 72057564168901956059 } 1
46 { 47, 164 , , 0 | -292213382793134080 195252013604929536 
-121038300272001024 -1723448576960985277 } 1
47 { 46, 165 , , 1 | 292213382793134080 -195252013604929536 
121038300272001024 1723448576960985277 } 1
48 { 49, 266 , , 0 | -190897749705709568 127554727773339648 79072351816034304 
-1125898832011112861 } 1
49 { 48, 267 , , 1 | 190897749705709568 -127554727773339648 
-79072351816034304 1125898832011112861 } 1
50 { 51, 264 , , 0 | -4458822369280 2979318988800 1846897892334 
-26297772587635 } 1
51 { 50, 265 , , 1 | 4458822369280 -2979318988800 -1846897892334 
26297772587635 } 1
52 { 53, 278 , , 0 | -5060630516226195456 8163522918135889920 
12217455981165412352 -72057564168901956059 } 1
53 { 52, 279 , , 1 | 5060630516226195456 -8163522918135889920 
-12217455981165412352 72057564168901956059 } 1
54 { 55, 276 , , 0 | -121038300272001024 195252013604929536 
292213382793134080 -1723448576960985277 } 1
55 { 54, 277 , , 1 | 121038300272001024 -195252013604929536 
-292213382793134080 1723448576960985277 } 1
56 { 57, 290 , , 0 | 79072351816034304 127554727773339648 190897749705709568 
-1125898832011112861 } 1
57 { 56, 291 , , 1 | -79072351816034304 -127554727773339648 
-190897749705709568 1125898832011112861 } 1
58 { 59, 288 , , 0 | 1846897892334 2979318988800 4458822369280 
-26297772587635 } 1
59 { 58, 289 , , 1 | -1846897892334 -2979318988800 -4458822369280 
26297772587635 } 1
60 { 61, 302 , , 0 | 12217455981165412352 8163522918135889920 
5060630516226195456 -72057564168901956059 } 1
61 { 60, 303 , , 1 | -12217455981165412352 -8163522918135889920 
-5060630516226195456 72057564168901956059 } 1
62 { 63, 196 , , 0 | 292213382793134080 195252013604929536 121038300272001024 
-1723448576960985277 } 1
63 { 62, 197 , , 1 | -292213382793134080 -195252013604929536 
-121038300272001024 1723448576960985277 } 1
64 { 65, 222 , , 0 | 35419740097 7045251072 -14671390783 -177098700485 } 1
65 { 64, 223 , , 1 | -35419740097 -7045251072 14671390783 177098700485 } 1
66 { 67, 224 , , 0 | 109951414572405 21870528443584 -45543318080715 
-549757072862025 } 1
67 { 66, 225 , , 1 | -109951414572405 -21870528443584 45543318080715 
549757072862025 } 1
68 { 69, 334 , , 0 | 1540496032215 739763883968 -3719072710185 
-18595363550925 } 1
69 { 68, 335 , , 1 | -1540496032215 -739763883968 3719072710185 
18595363550925 } 1
70 { 71, 236 , , 0 | 4441557877585920 2132858173784064 -10722880811632640 
-53614329288727445 } 1
71 { 70, 237 , , 1 | -4441557877585920 -2132858173784064 10722880811632640 
53614329288727445 } 1
72 { 73, 346 , , 0 | -14671390783 7045251072 -35419740097 -177098700485 } 1
73 { 72, 347 , , 1 | 14671390783 -7045251072 35419740097 177098700485 } 1
74 { 75, 248 , , 0 | -45543318080715 21870528443584 -109951414572405 
-549757072862025 } 1
75 { 74, 249 , , 1 | 45543318080715 -21870528443584 109951414572405 
549757072862025 } 1
76 { 77, 358 , , 0 | -3719072710185 739763883968 -1540496032215 
-18595363550925 } 1
77 { 76, 359 , , 1 | 3719072710185 -739763883968 1540496032215 18595363550925 
} 1
78 { 79, 260 , , 0 | -10722880811632640 2132858173784064 -4441557877585920 
-53614329288727445 } 1
79 { 78, 261 , , 1 | 10722880811632640 -2132858173784064 4441557877585920 
53614329288727445 } 1
80 { 81, 362 , , 0 | -35419740097 7045251072 14671390783 -177098700485 } 1
81 { 80, 363 , , 1 | 35419740097 -7045251072 -14671390783 177098700485 } 1
82 { 83, 360 , , 0 | -109951414572405 21870528443584 45543318080715 
-549757072862025 } 1
83 { 82, 361 , , 1 | 109951414572405 -21870528443584 -45543318080715 
549757072862025 } 1
84 { 85, 374 , , 0 | -1540496032215 739763883968 3719072710185 
-18595363550925 } 1
85 { 84, 375 , , 1 | 1540496032215 -739763883968 -3719072710185 
18595363550925 } 1
86 { 87, 372 , , 0 | -4441557877585920 2132858173784064 10722880811632640 
-53614329288727445 } 1
87 { 86, 373 , , 1 | 4441557877585920 -2132858173784064 -10722880811632640 
53614329288727445 } 1
88 { 89, 386 , , 0 | 14671390783 7045251072 35419740097 -177098700485 } 1
89 { 88, 387 , , 1 | -14671390783 -7045251072 -35419740097 177098700485 } 1
90 { 91, 384 , , 0 | 45543318080715 21870528443584 109951414572405 
-549757072862025 } 1
91 { 90, 385 , , 1 | -45543318080715 -21870528443584 -109951414572405 
549757072862025 } 1
92 { 93, 398 , , 0 | 3719072710185 739763883968 1540496032215 -18595363550925 
} 1
93 { 92, 399 , , 1 | -3719072710185 -739763883968 -1540496032215 
18595363550925 } 1
94 { 95, 292 , , 0 | 10722880811632640 2132858173784064 4441557877585920 
-53614329288727445 } 1
95 { 94, 293 , , 1 | -10722880811632640 -2132858173784064 -4441557877585920 
53614329288727445 } 1
96 { 97, 418 , , 0 | 10722880811632640 -2132858173784064 -4441557877585920 
-53614329288727445 } 1
97 { 96, 419 , , 1 | -10722880811632640 2132858173784064 4441557877585920 
53614329288727445 } 1
98 { 99, 320 , , 0 | 3719072710185 -739763883968 -1540496032215 
-18595363550925 } 1
99 { 98, 321 , , 1 | -3719072710185 739763883968 1540496032215 18595363550925 
} 1
100 { 101, 430 , , 0 | 45543318080715 -21870528443584 -109951414572405 
-549757072862025 } 1
101 { 100, 431 , , 1 | -45543318080715 21870528443584 109951414572405 
549757072862025 } 1
102 { 103, 332 , , 0 | 14671390783 -7045251072 -35419740097 -177098700485 } 1
103 { 102, 333 , , 1 | -14671390783 7045251072 35419740097 177098700485 } 1
104 { 105, 342 , , 0 | -4441557877585920 -2132858173784064 -10722880811632640 
-53614329288727445 } 1
105 { 104, 343 , , 1 | 4441557877585920 2132858173784064 10722880811632640 
53614329288727445 } 1
106 { 107, 344 , , 0 | -1540496032215 -739763883968 -3719072710185 
-18595363550925 } 1
107 { 106, 345 , , 1 | 1540496032215 739763883968 3719072710185 
18595363550925 } 1
108 { 109, 354 , , 0 | -109951414572405 -21870528443584 -45543318080715 
-549757072862025 } 1
109 { 108, 355 , , 1 | 109951414572405 21870528443584 45543318080715 
549757072862025 } 1
110 { 111, 356 , , 0 | -35419740097 -7045251072 -14671390783 -177098700485 } 1
111 { 110, 357 , , 1 | 35419740097 7045251072 14671390783 177098700485 } 1
112 { 113, 458 , , 0 | -10722880811632640 -2132858173784064 4441557877585920 
-53614329288727445 } 1
113 { 112, 459 , , 1 | 10722880811632640 2132858173784064 -4441557877585920 
53614329288727445 } 1
114 { 115, 352 , , 0 | -3719072710185 -739763883968 1540496032215 
-18595363550925 } 1
115 { 114, 353 , , 1 | 3719072710185 739763883968 -1540496032215 
18595363550925 } 1
116 { 117, 470 , , 0 | -45543318080715 -21870528443584 109951414572405 
-549757072862025 } 1
117 { 116, 471 , , 1 | 45543318080715 21870528443584 -109951414572405 
549757072862025 } 1
118 { 119, 364 , , 0 | -14671390783 -7045251072 35419740097 -177098700485 } 1
119 { 118, 365 , , 1 | 14671390783 7045251072 -35419740097 177098700485 } 1
120 { 121, 482 , , 0 | 4441557877585920 -2132858173784064 10722880811632640 
-53614329288727445 } 1
121 { 120, 483 , , 1 | -4441557877585920 2132858173784064 -10722880811632640 
53614329288727445 } 1
122 { 123, 480 , , 0 | 1540496032215 -739763883968 3719072710185 
-18595363550925 } 1
123 { 122, 481 , , 1 | -1540496032215 739763883968 -3719072710185 
18595363550925 } 1
124 { 125, 494 , , 0 | 109951414572405 -21870528443584 45543318080715 
-549757072862025 } 1
125 { 124, 495 , , 1 | -109951414572405 21870528443584 -45543318080715 
549757072862025 } 1
126 { 127, 492 , , 0 | 35419740097 -7045251072 14671390783 -177098700485 } 1
127 { 126, 493 , , 1 | -35419740097 7045251072 -14671390783 177098700485 } 1
128 { 129, 514 , , 0 | 292213382793134080 -195252013604929536 
-121038300272001024 -1723448576960985277 } 1
129 { 128, 515 , , 1 | -292213382793134080 195252013604929536 
121038300272001024 1723448576960985277 } 1
130 { 131, 416 , , 0 | 12217455981165412352 -8163522918135889920 
-5060630516226195456 -72057564168901956059 } 1
131 { 130, 417 , , 1 | -12217455981165412352 8163522918135889920 
5060630516226195456 72057564168901956059 } 1
132 { 133, 526 , , 0 | 1846897892334 -2979318988800 -4458822369280 
-26297772587635 } 1
133 { 132, 527 , , 1 | -1846897892334 2979318988800 4458822369280 
26297772587635 } 1
134 { 135, 428 , , 0 | 79072351816034304 -127554727773339648 
-190897749705709568 -1125898832011112861 } 1
135 { 134, 429 , , 1 | -79072351816034304 127554727773339648 
190897749705709568 1125898832011112861 } 1
136 { 137, 438 , , 0 | -121038300272001024 -195252013604929536 
-292213382793134080 -1723448576960985277 } 1
137 { 136, 439 , , 1 | 121038300272001024 195252013604929536 
292213382793134080 1723448576960985277 } 1
138 { 139, 440 , , 0 | -5060630516226195456 -8163522918135889920 
-12217455981165412352 -72057564168901956059 } 1
139 { 138, 441 , , 1 | 5060630516226195456 8163522918135889920 
12217455981165412352 72057564168901956059 } 1
140 { 141, 450 , , 0 | -4458822369280 -2979318988800 -1846897892334 
-26297772587635 } 1
141 { 140, 451 , , 1 | 4458822369280 2979318988800 1846897892334 
26297772587635 } 1
142 { 143, 452 , , 0 | -190897749705709568 -127554727773339648 
-79072351816034304 -1125898832011112861 } 1
143 { 142, 453 , , 1 | 190897749705709568 127554727773339648 
79072351816034304 1125898832011112861 } 1
144 { 145, 554 , , 0 | -292213382793134080 -195252013604929536 
121038300272001024 -1723448576960985277 } 1
145 { 144, 555 , , 1 | 292213382793134080 195252013604929536 
-121038300272001024 1723448576960985277 } 1
146 { 147, 448 , , 0 | -12217455981165412352 -8163522918135889920 
5060630516226195456 -72057564168901956059 } 1
147 { 146, 449 , , 1 | 12217455981165412352 8163522918135889920 
-5060630516226195456 72057564168901956059 } 1
148 { 149, 566 , , 0 | -1846897892334 -2979318988800 4458822369280 
-26297772587635 } 1
149 { 148, 567 , , 1 | 1846897892334 2979318988800 -4458822369280 
26297772587635 } 1
150 { 151, 460 , , 0 | -79072351816034304 -127554727773339648 
190897749705709568 -1125898832011112861 } 1
151 { 150, 461 , , 1 | 79072351816034304 127554727773339648 
-190897749705709568 1125898832011112861 } 1
152 { 153, 578 , , 0 | 121038300272001024 -195252013604929536 
292213382793134080 -1723448576960985277 } 1
153 { 152, 579 , , 1 | -121038300272001024 195252013604929536 
-292213382793134080 1723448576960985277 } 1
154 { 155, 576 , , 0 | 5060630516226195456 -8163522918135889920 
12217455981165412352 -72057564168901956059 } 1
155 { 154, 577 , , 1 | -5060630516226195456 8163522918135889920 
-12217455981165412352 72057564168901956059 } 1
156 { 157, 590 , , 0 | 4458822369280 -2979318988800 1846897892334 
-26297772587635 } 1
157 { 156, 591 , , 1 | -4458822369280 2979318988800 -1846897892334 
26297772587635 } 1
158 { 159, 588 , , 0 | 190897749705709568 -127554727773339648 
79072351816034304 -1125898832011112861 } 1
159 { 158, 589 , , 1 | -190897749705709568 127554727773339648 
-79072351816034304 1125898832011112861 } 1
160 { 161, 606 , , 0 | 64408353647886336 -96393538930081792 
-26678961660493824 -568520545671846649 } 1
161 { 160, 607 , , 1 | -64408353647886336 96393538930081792 26678961660493824 
568520545671846649 } 1
162 { 163, 596 , , 0 | 595863797760 -891764473856 -246813956928 
-5259554517527 } 1
163 { 162, 597 , , 1 | -595863797760 891764473856 246813956928 5259554517527 
} 1
164 { 165, 616 , , 0 | 2801290974351851520 -10121261924216864768 
-6762877133028065280 -59694381686239744481 } 1
165 { 164, 617 , , 1 | -2801290974351851520 10121261924216864768 
6762877133028065280 59694381686239744481 } 1
166 { 167, 524 , , 0 | 161751994812334080 -584428630068822016 
-390505298499993600 -3446908240540666777 } 1
167 { 166, 525 , , 1 | -161751994812334080 584428630068822016 
390505298499993600 3446908240540666777 } 1
168 { 169, 534 , , 0 | -26678961660493824 -96393538930081792 
-64408353647886336 -568520545671846649 } 1
169 { 168, 535 , , 1 | 26678961660493824 96393538930081792 64408353647886336 
568520545671846649 } 1
170 { 171, 536 , , 0 | -246813956928 -891764473856 -595863797760 
-5259554517527 } 1
171 { 170, 537 , , 1 | 246813956928 891764473856 595863797760 5259554517527 } 
1
172 { 173, 546 , , 0 | -6762877133028065280 -10121261924216864768 
-2801290974351851520 -59694381686239744481 } 1
173 { 172, 547 , , 1 | 6762877133028065280 10121261924216864768 
2801290974351851520 59694381686239744481 } 1
174 { 175, 548 , , 0 | -390505298499993600 -584428630068822016 
-161751994812334080 -3446908240540666777 } 1
175 { 174, 549 , , 1 | 390505298499993600 584428630068822016 
161751994812334080 3446908240540666777 } 1
176 { 177, 558 , , 0 | -64408353647886336 -96393538930081792 
26678961660493824 -568520545671846649 } 1
177 { 176, 559 , , 1 | 64408353647886336 96393538930081792 -26678961660493824 
568520545671846649 } 1
178 { 179, 544 , , 0 | -595863797760 -891764473856 246813956928 
-5259554517527 } 1
179 { 178, 545 , , 1 | 595863797760 891764473856 -246813956928 5259554517527 
} 1
180 { 181, 650 , , 0 | -2801290974351851520 -10121261924216864768 
6762877133028065280 -59694381686239744481 } 1
181 { 180, 651 , , 1 | 2801290974351851520 10121261924216864768 
-6762877133028065280 59694381686239744481 } 1
182 { 183, 556 , , 0 | -161751994812334080 -584428630068822016 
390505298499993600 -3446908240540666777 } 1
183 { 182, 557 , , 1 | 161751994812334080 584428630068822016 
-390505298499993600 3446908240540666777 } 1
184 { 185, 660 , , 0 | 26678961660493824 -96393538930081792 64408353647886336 
-568520545671846649 } 1
185 { 184, 661 , , 1 | -26678961660493824 96393538930081792 
-64408353647886336 568520545671846649 } 1
186 { 187, 658 , , 0 | 246813956928 -891764473856 595863797760 -5259554517527 
} 1
187 { 186, 659 , , 1 | -246813956928 891764473856 -595863797760 5259554517527 
} 1
188 { 189, 670 , , 0 | 6762877133028065280 -10121261924216864768 
2801290974351851520 -59694381686239744481 } 1
189 { 188, 671 , , 1 | -6762877133028065280 10121261924216864768 
-2801290974351851520 59694381686239744481 } 1
190 { 191, 668 , , 0 | 390505298499993600 -584428630068822016 
161751994812334080 -3446908240540666777 } 1
191 { 190, 669 , , 1 | -390505298499993600 584428630068822016 
-161751994812334080 3446908240540666777 } 1
192 { 193, 14 , , 0 | 18118121083456 91086644186895 -7504813123904 
-455433220934475 } 1
193 { 192, 15 , , 1 | -18118121083456 -91086644186895 7504813123904 
455433220934475 } 1
194 { 195, 60 , , 0 | 7504813123904 91086644186895 -18118121083456 
-455433220934475 } 1
195 { 194, 61 , , 1 | -7504813123904 -91086644186895 18118121083456 
455433220934475 } 1
196 { 197, 70 , , 0 | -7504813123904 91086644186895 -18118121083456 
-455433220934475 } 1
197 { 196, 71 , , 1 | 7504813123904 -91086644186895 18118121083456 
455433220934475 } 1
198 { 199, 80 , , 0 | -18118121083456 91086644186895 -7504813123904 
-455433220934475 } 1
199 { 198, 81 , , 1 | 18118121083456 -91086644186895 7504813123904 
455433220934475 } 1
200 { 201, 72 , , 0 | -18118121083456 91086644186895 7504813123904 
-455433220934475 } 1
201 { 200, 73 , , 1 | 18118121083456 -91086644186895 -7504813123904 
455433220934475 } 1
202 { 203, 82 , , 0 | -7504813123904 91086644186895 18118121083456 
-455433220934475 } 1
203 { 202, 83 , , 1 | 7504813123904 -91086644186895 -18118121083456 
455433220934475 } 1
204 { 205, 92 , , 0 | 7504813123904 91086644186895 18118121083456 
-455433220934475 } 1
205 { 204, 93 , , 1 | -7504813123904 -91086644186895 -18118121083456 
455433220934475 } 1
206 { 207, 0 , , 0 | 18118121083456 91086644186895 7504813123904 
-455433220934475 } 1
207 { 206, 1 , , 1 | -18118121083456 -91086644186895 -7504813123904 
455433220934475 } 1
208 { 209, 18 , , 0 | 18118121083456 -91086644186895 -7504813123904 
-455433220934475 } 1
209 { 208, 19 , , 1 | -18118121083456 91086644186895 7504813123904 
455433220934475 } 1
210 { 211, 20 , , 0 | 7504813123904 -91086644186895 -18118121083456 
-455433220934475 } 1
211 { 210, 21 , , 1 | -7504813123904 91086644186895 18118121083456 
455433220934475 } 1
212 { 213, 624 , , 0 | -7504813123904 -91086644186895 -18118121083456 
-455433220934475 } 1
213 { 212, 625 , , 1 | 7504813123904 91086644186895 18118121083456 
455433220934475 } 1
214 { 215, 634 , , 0 | -18118121083456 -91086644186895 -7504813123904 
-455433220934475 } 1
215 { 214, 635 , , 1 | 18118121083456 91086644186895 7504813123904 
455433220934475 } 1
216 { 217, 632 , , 0 | -18118121083456 -91086644186895 7504813123904 
-455433220934475 } 1
217 { 216, 633 , , 1 | 18118121083456 91086644186895 -7504813123904 
455433220934475 } 1
218 { 219, 642 , , 0 | -7504813123904 -91086644186895 18118121083456 
-455433220934475 } 1
219 { 218, 643 , , 1 | 7504813123904 91086644186895 -18118121083456 
455433220934475 } 1
220 { 221, 30 , , 0 | 7504813123904 -91086644186895 18118121083456 
-455433220934475 } 1
221 { 220, 31 , , 1 | -7504813123904 91086644186895 -18118121083456 
455433220934475 } 1
222 { 223, 16 , , 0 | 18118121083456 -91086644186895 7504813123904 
-455433220934475 } 1
223 { 222, 17 , , 1 | -18118121083456 91086644186895 -7504813123904 
455433220934475 } 1
0 { 0 } 0
1 { 1 } 1
0 { 1, 14, 2, 0, 1, 32, 102, 206 | -18118121083456 -91086644186895 
-7504813123904 0 } 1
1 { 0, 3, 15, 1, 0, 103, 33, 207 | 18118121083456 91086644186895 
7504813123904 0 } 1
2 { 3, 0, 4, 1, 1, 110, 92, 204 | -7504813123904 -91086644186895 
-18118121083456 0 } 1
3 { 2, 5, 1, 2, 0, 93, 111, 205 | 7504813123904 91086644186895 18118121083456 
0 } 1
4 { 5, 2, 6, 2, 1, 100, 82, 202 | 7504813123904 -91086644186895 
-18118121083456 0 } 1
5 { 4, 7, 3, 3, 0, 83, 101, 203 | -7504813123904 91086644186895 
18118121083456 0 } 1
6 { 7, 4, 8, 3, 1, 90, 72, 200 | 18118121083456 -91086644186895 
-7504813123904 0 } 1
7 { 6, 9, 5, 4, 0, 73, 91, 201 | -18118121083456 91086644186895 7504813123904 
0 } 1
8 { 9, 6, 10, 4, 1, 80, 62, 198 | 18118121083456 -91086644186895 
7504813123904 0 } 1
9 { 8, 11, 7, 5, 0, 63, 81, 199 | -18118121083456 91086644186895 
-7504813123904 0 } 1
10 { 11, 8, 12, 5, 1, 70, 52, 196 | 7504813123904 -91086644186895 
18118121083456 0 } 1
11 { 10, 13, 9, 6, 0, 53, 71, 197 | -7504813123904 91086644186895 
-18118121083456 0 } 1
12 { 13, 10, 14, 6, 1, 60, 42, 194 | -7504813123904 -91086644186895 
18118121083456 0 } 1
13 { 12, 15, 11, 7, 0, 43, 61, 195 | 7504813123904 91086644186895 
-18118121083456 0 } 1
14 { 15, 12, 0, 7, 1, 50, 34, 192 | -18118121083456 -91086644186895 
7504813123904 0 } 1
15 { 14, 1, 13, 0, 0, 35, 51, 193 | 18118121083456 91086644186895 
-7504813123904 0 } 1
16 { 17, 30, 18, 8, 3, 662, 592, 222 | -18118121083456 91086644186895 
-7504813123904 0 } 1
17 { 16, 19, 31, 9, 2, 593, 663, 223 | 18118121083456 -91086644186895 
7504813123904 0 } 1
18 { 19, 16, 20, 9, 3, 600, 604, 208 | -18118121083456 91086644186895 
7504813123904 0 } 1
19 { 18, 21, 17, 10, 2, 605, 601, 209 | 18118121083456 -91086644186895 
-7504813123904 0 } 1
20 { 21, 18, 22, 10, 3, 602, 614, 210 | -7504813123904 91086644186895 
18118121083456 0 } 1
21 { 20, 23, 19, 11, 2, 615, 603, 211 | 7504813123904 -91086644186895 
-18118121083456 0 } 1
22 { 23, 20, 24, 11, 3, 612, 624, 212 | 7504813123904 91086644186895 
18118121083456 0 } 1
23 { 22, 25, 21, 12, 2, 625, 613, 213 | -7504813123904 -91086644186895 
-18118121083456 0 } 1
24 { 25, 22, 26, 12, 3, 622, 634, 214 | 18118121083456 91086644186895 
7504813123904 0 } 1
25 { 24, 27, 23, 13, 2, 635, 623, 215 | -18118121083456 -91086644186895 
-7504813123904 0 } 1
26 { 27, 24, 28, 13, 3, 632, 644, 216 | 18118121083456 91086644186895 
-7504813123904 0 } 1
27 { 26, 29, 25, 14, 2, 645, 633, 217 | -18118121083456 -91086644186895 
7504813123904 0 } 1
28 { 29, 26, 30, 14, 3, 642, 654, 218 | 7504813123904 91086644186895 
-18118121083456 0 } 1
29 { 28, 31, 27, 15, 2, 655, 643, 219 | -7504813123904 -91086644186895 
18118121083456 0 } 1
30 { 31, 28, 16, 15, 3, 652, 664, 220 | -7504813123904 91086644186895 
-18118121083456 0 } 1
31 { 30, 17, 29, 8, 2, 665, 653, 221 | 7504813123904 -91086644186895 
18118121083456 0 } 1
32 { 33, 40, 34, 16, 5, 102, 0, 206 | -18118121083456 -91086644186895 
-7504813123904 0 } 1
33 { 32, 35, 41, 17, 4, 1, 103, 207 | 18118121083456 91086644186895 
7504813123904 0 } 1
34 { 35, 32, 36, 17, 5, 14, 50, 192 | -18118121083456 -91086644186895 
7504813123904 0 } 1
35 { 34, 37, 33, 18, 4, 51, 15, 193 | 18118121083456 91086644186895 
-7504813123904 0 } 1
36 { 37, 34, 38, 18, 5, 48, 116, 2 | -51596657814240 -77219100373969 
21372154040160 0 } 1
37 { 36, 39, 35, 19, 4, 117, 49, 3 | 51596657814240 77219100373969 
-21372154040160 0 } 1
38 { 39, 36, 40, 19, 5, 114, 206, 28 | -9310371840 -13933819904 -3856468077 0 
} 1
39 { 38, 41, 37, 20, 4, 207, 115, 29 | 9310371840 13933819904 3856468077 0 } 1
40 { 41, 38, 32, 20, 5, 204, 104, 30 | -491396741088 -735424338761 
-203544324192 0 } 1
41 { 40, 33, 39, 16, 4, 105, 205, 31 | 491396741088 735424338761 203544324192 
0 } 1
42 { 43, 50, 44, 21, 7, 12, 60, 194 | -7504813123904 -91086644186895 
18118121083456 0 } 1
43 { 42, 45, 51, 22, 6, 61, 13, 195 | 7504813123904 91086644186895 
-18118121083456 0 } 1
44 { 45, 42, 46, 22, 7, 58, 132, 6 | -203544324192 -735424338761 491396741088 
0 } 1
45 { 44, 47, 43, 23, 6, 133, 59, 7 | 203544324192 735424338761 -491396741088 
0 } 1
46 { 47, 44, 48, 23, 7, 130, 118, 0 | -2979318988800 -4458836594153 
1234069784640 0 } 1
47 { 46, 49, 45, 24, 6, 119, 131, 1 | 2979318988800 4458836594153 
-1234069784640 0 } 1
48 { 49, 46, 50, 24, 7, 116, 36, 2 | -51596657814240 -77219100373969 
21372154040160 0 } 1
49 { 48, 51, 47, 25, 6, 37, 117, 3 | 51596657814240 77219100373969 
-21372154040160 0 } 1
50 { 51, 48, 42, 25, 7, 34, 14, 192 | -18118121083456 -91086644186895 
7504813123904 0 } 1
51 { 50, 43, 49, 21, 6, 15, 35, 193 | 18118121083456 91086644186895 
-7504813123904 0 } 1
52 { 53, 60, 54, 26, 9, 10, 70, 196 | 7504813123904 -91086644186895 
18118121083456 0 } 1
53 { 52, 55, 61, 27, 8, 71, 11, 197 | -7504813123904 91086644186895 
-18118121083456 0 } 1
54 { 55, 52, 56, 27, 9, 68, 144, 10 | 21372154040160 -77219100373969 
51596657814240 0 } 1
55 { 54, 57, 53, 28, 8, 145, 69, 11 | -21372154040160 77219100373969 
-51596657814240 0 } 1
56 { 57, 54, 58, 28, 9, 142, 134, 4 | -3856468077 -13933819904 9310371840 0 } 
1
57 { 56, 59, 55, 29, 8, 135, 143, 5 | 3856468077 13933819904 -9310371840 0 } 1
58 { 59, 56, 60, 29, 9, 132, 44, 6 | -203544324192 -735424338761 491396741088 
0 } 1
59 { 58, 61, 57, 30, 8, 45, 133, 7 | 203544324192 735424338761 -491396741088 
0 } 1
60 { 61, 58, 52, 30, 9, 42, 12, 194 | -7504813123904 -91086644186895 
18118121083456 0 } 1
61 { 60, 53, 59, 26, 8, 13, 43, 195 | 7504813123904 91086644186895 
-18118121083456 0 } 1
62 { 63, 70, 64, 31, 11, 8, 80, 198 | 18118121083456 -91086644186895 
7504813123904 0 } 1
63 { 62, 65, 71, 32, 10, 81, 9, 199 | -18118121083456 91086644186895 
-7504813123904 0 } 1
64 { 65, 62, 66, 32, 11, 78, 156, 14 | 491396741088 -735424338761 
203544324192 0 } 1
65 { 64, 67, 63, 33, 10, 157, 79, 15 | -491396741088 735424338761 
-203544324192 0 } 1
66 { 67, 64, 68, 33, 11, 154, 146, 8 | 1234069784640 -4458836594153 
2979318988800 0 } 1
67 { 66, 69, 65, 34, 10, 147, 155, 9 | -1234069784640 4458836594153 
-2979318988800 0 } 1
68 { 69, 66, 70, 34, 11, 144, 54, 10 | 21372154040160 -77219100373969 
51596657814240 0 } 1
69 { 68, 71, 67, 35, 10, 55, 145, 11 | -21372154040160 77219100373969 
-51596657814240 0 } 1
70 { 71, 68, 62, 35, 11, 52, 10, 196 | 7504813123904 -91086644186895 
18118121083456 0 } 1
71 { 70, 63, 69, 31, 10, 11, 53, 197 | -7504813123904 91086644186895 
-18118121083456 0 } 1
72 { 73, 80, 74, 36, 13, 6, 90, 200 | 18118121083456 -91086644186895 
-7504813123904 0 } 1
73 { 72, 75, 81, 37, 12, 91, 7, 201 | -18118121083456 91086644186895 
7504813123904 0 } 1
74 { 75, 72, 76, 37, 13, 88, 168, 18 | 51596657814240 -77219100373969 
-21372154040160 0 } 1
75 { 74, 77, 73, 38, 12, 169, 89, 19 | -51596657814240 77219100373969 
21372154040160 0 } 1
76 { 77, 74, 78, 38, 13, 166, 158, 12 | 9310371840 -13933819904 3856468077 0 
} 1
77 { 76, 79, 75, 39, 12, 159, 167, 13 | -9310371840 13933819904 -3856468077 0 
} 1
78 { 79, 76, 80, 39, 13, 156, 64, 14 | 491396741088 -735424338761 
203544324192 0 } 1
79 { 78, 81, 77, 40, 12, 65, 157, 15 | -491396741088 735424338761 
-203544324192 0 } 1
80 { 81, 78, 72, 40, 13, 62, 8, 198 | 18118121083456 -91086644186895 
7504813123904 0 } 1
81 { 80, 73, 79, 36, 12, 9, 63, 199 | -18118121083456 91086644186895 
-7504813123904 0 } 1
82 { 83, 90, 84, 41, 15, 4, 100, 202 | 7504813123904 -91086644186895 
-18118121083456 0 } 1
83 { 82, 85, 91, 42, 14, 101, 5, 203 | -7504813123904 91086644186895 
18118121083456 0 } 1
84 { 85, 82, 86, 42, 15, 98, 180, 22 | 203544324192 -735424338761 
-491396741088 0 } 1
85 { 84, 87, 83, 43, 14, 181, 99, 23 | -203544324192 735424338761 
491396741088 0 } 1
86 { 87, 84, 88, 43, 15, 178, 170, 16 | 2979318988800 -4458836594153 
-1234069784640 0 } 1
87 { 86, 89, 85, 44, 14, 171, 179, 17 | -2979318988800 4458836594153 
1234069784640 0 } 1
88 { 89, 86, 90, 44, 15, 168, 74, 18 | 51596657814240 -77219100373969 
-21372154040160 0 } 1
89 { 88, 91, 87, 45, 14, 75, 169, 19 | -51596657814240 77219100373969 
21372154040160 0 } 1
90 { 91, 88, 82, 45, 15, 72, 6, 200 | 18118121083456 -91086644186895 
-7504813123904 0 } 1
91 { 90, 83, 89, 41, 14, 7, 73, 201 | -18118121083456 91086644186895 
7504813123904 0 } 1
92 { 93, 100, 94, 46, 17, 2, 110, 204 | -7504813123904 -91086644186895 
-18118121083456 0 } 1
93 { 92, 95, 101, 47, 16, 111, 3, 205 | 7504813123904 91086644186895 
18118121083456 0 } 1
94 { 95, 92, 96, 47, 17, 108, 192, 26 | -21372154040160 -77219100373969 
-51596657814240 0 } 1
95 { 94, 97, 93, 48, 16, 193, 109, 27 | 21372154040160 77219100373969 
51596657814240 0 } 1
96 { 97, 94, 98, 48, 17, 190, 182, 20 | 3856468077 -13933819904 -9310371840 0 
} 1
97 { 96, 99, 95, 49, 16, 183, 191, 21 | -3856468077 13933819904 9310371840 0 
} 1
98 { 99, 96, 100, 49, 17, 180, 84, 22 | 203544324192 -735424338761 
-491396741088 0 } 1
99 { 98, 101, 97, 50, 16, 85, 181, 23 | -203544324192 735424338761 
491396741088 0 } 1
100 { 101, 98, 92, 50, 17, 82, 4, 202 | 7504813123904 -91086644186895 
-18118121083456 0 } 1
101 { 100, 93, 99, 46, 16, 5, 83, 203 | -7504813123904 91086644186895 
18118121083456 0 } 1
102 { 103, 110, 104, 51, 19, 0, 32, 206 | -18118121083456 -91086644186895 
-7504813123904 0 } 1
103 { 102, 105, 111, 52, 18, 33, 1, 207 | 18118121083456 91086644186895 
7504813123904 0 } 1
104 { 105, 102, 106, 52, 19, 40, 204, 30 | -491396741088 -735424338761 
-203544324192 0 } 1
105 { 104, 107, 103, 53, 18, 205, 41, 31 | 491396741088 735424338761 
203544324192 0 } 1
106 { 107, 104, 108, 53, 19, 202, 194, 24 | -1234069784640 -4458836594153 
-2979318988800 0 } 1
107 { 106, 109, 105, 54, 18, 195, 203, 25 | 1234069784640 4458836594153 
2979318988800 0 } 1
108 { 109, 106, 110, 54, 19, 192, 94, 26 | -21372154040160 -77219100373969 
-51596657814240 0 } 1
109 { 108, 111, 107, 55, 18, 95, 193, 27 | 21372154040160 77219100373969 
51596657814240 0 } 1
110 { 111, 108, 102, 55, 19, 92, 2, 204 | -7504813123904 -91086644186895 
-18118121083456 0 } 1
111 { 110, 103, 109, 51, 18, 3, 93, 205 | 7504813123904 91086644186895 
18118121083456 0 } 1
112 { 113, 122, 114, 56, 21, 300, 196, 62 | -2229411184640 -1489654644813 
-923448946167 0 } 1
113 { 112, 115, 123, 57, 20, 197, 301, 63 | 2229411184640 1489654644813 
923448946167 0 } 1
114 { 115, 112, 116, 57, 21, 206, 38, 28 | -9310371840 -13933819904 
-3856468077 0 } 1
115 { 114, 117, 113, 58, 20, 39, 207, 29 | 9310371840 13933819904 3856468077 
0 } 1
116 { 117, 114, 118, 58, 21, 36, 48, 2 | -51596657814240 -77219100373969 
21372154040160 0 } 1
117 { 116, 119, 115, 59, 20, 49, 37, 3 | 51596657814240 77219100373969 
-21372154040160 0 } 1
118 { 119, 116, 120, 59, 21, 46, 130, 0 | -2979318988800 -4458836594153 
1234069784640 0 } 1
119 { 118, 121, 117, 60, 20, 131, 47, 1 | 2979318988800 4458836594153 
-1234069784640 0 } 1
120 { 121, 118, 122, 60, 21, 128, 212, 34 | -2229411184640 -1489659494400 
923448946167 0 } 1
121 { 120, 123, 119, 61, 20, 213, 129, 35 | 2229411184640 1489659494400 
-923448946167 0 } 1
122 { 123, 120, 112, 61, 21, 210, 302, 60 | -93211791848491 -62282737107360 
-38609546785173 0 } 1
123 { 122, 113, 121, 56, 20, 303, 211, 61 | 93211791848491 62282737107360 
38609546785173 0 } 1
124 { 125, 134, 126, 62, 23, 140, 228, 38 | -923448946167 -1489654644813 
2229411184640 0 } 1
125 { 124, 127, 135, 63, 22, 229, 141, 39 | 923448946167 1489654644813 
-2229411184640 0 } 1
126 { 127, 124, 128, 63, 23, 226, 214, 32 | -93211791848491 -62282581920576 
38609546785173 0 } 1
127 { 126, 129, 125, 64, 22, 215, 227, 33 | 93211791848491 62282581920576 
-38609546785173 0 } 1
128 { 129, 126, 130, 64, 23, 212, 120, 34 | -2229411184640 -1489659494400 
923448946167 0 } 1
129 { 128, 131, 127, 65, 22, 121, 213, 35 | 2229411184640 1489659494400 
-923448946167 0 } 1
130 { 131, 128, 132, 65, 23, 118, 46, 0 | -2979318988800 -4458836594153 
1234069784640 0 } 1
131 { 130, 133, 129, 66, 22, 47, 119, 1 | 2979318988800 4458836594153 
-1234069784640 0 } 1
132 { 133, 130, 134, 66, 23, 44, 58, 6 | -203544324192 -735424338761 
491396741088 0 } 1
133 { 132, 135, 131, 67, 22, 59, 45, 7 | 203544324192 735424338761 
-491396741088 0 } 1
134 { 135, 132, 124, 67, 23, 56, 142, 4 | -3856468077 -13933819904 9310371840 
0 } 1
135 { 134, 125, 133, 62, 22, 143, 57, 5 | 3856468077 13933819904 -9310371840 
0 } 1
136 { 137, 146, 138, 68, 25, 152, 240, 42 | 923448946167 -1489659494400 
2229411184640 0 } 1
137 { 136, 139, 147, 69, 24, 241, 153, 43 | -923448946167 1489659494400 
-2229411184640 0 } 1
138 { 139, 136, 140, 69, 25, 238, 230, 36 | -38609546785173 -62282737107360 
93211791848491 0 } 1
139 { 138, 141, 137, 70, 24, 231, 239, 37 | 38609546785173 62282737107360 
-93211791848491 0 } 1
140 { 141, 138, 142, 70, 25, 228, 124, 38 | -923448946167 -1489654644813 
2229411184640 0 } 1
141 { 140, 143, 139, 71, 24, 125, 229, 39 | 923448946167 1489654644813 
-2229411184640 0 } 1
142 { 143, 140, 144, 71, 25, 134, 56, 4 | -3856468077 -13933819904 9310371840 
0 } 1
143 { 142, 145, 141, 72, 24, 57, 135, 5 | 3856468077 13933819904 -9310371840 
0 } 1
144 { 145, 142, 146, 72, 25, 54, 68, 10 | 21372154040160 -77219100373969 
51596657814240 0 } 1
145 { 144, 147, 143, 73, 24, 69, 55, 11 | -21372154040160 77219100373969 
-51596657814240 0 } 1
146 { 147, 144, 136, 73, 25, 66, 154, 8 | 1234069784640 -4458836594153 
2979318988800 0 } 1
147 { 146, 137, 145, 68, 24, 155, 67, 9 | -1234069784640 4458836594153 
-2979318988800 0 } 1
148 { 149, 158, 150, 74, 27, 164, 252, 46 | 2229411184640 -1489654644813 
923448946167 0 } 1
149 { 148, 151, 159, 75, 26, 253, 165, 47 | -2229411184640 1489654644813 
-923448946167 0 } 1
150 { 151, 148, 152, 75, 27, 250, 242, 40 | 38609546785173 -62282581920576 
93211791848491 0 } 1
151 { 150, 153, 149, 76, 26, 243, 251, 41 | -38609546785173 62282581920576 
-93211791848491 0 } 1
152 { 153, 150, 154, 76, 27, 240, 136, 42 | 923448946167 -1489659494400 
2229411184640 0 } 1
153 { 152, 155, 151, 77, 26, 137, 241, 43 | -923448946167 1489659494400 
-2229411184640 0 } 1
154 { 155, 152, 156, 77, 27, 146, 66, 8 | 1234069784640 -4458836594153 
2979318988800 0 } 1
155 { 154, 157, 153, 78, 26, 67, 147, 9 | -1234069784640 4458836594153 
-2979318988800 0 } 1
156 { 157, 154, 158, 78, 27, 64, 78, 14 | 491396741088 -735424338761 
203544324192 0 } 1
157 { 156, 159, 155, 79, 26, 79, 65, 15 | -491396741088 735424338761 
-203544324192 0 } 1
158 { 159, 156, 148, 79, 27, 76, 166, 12 | 9310371840 -13933819904 3856468077 
0 } 1
159 { 158, 149, 157, 74, 26, 167, 77, 13 | -9310371840 13933819904 
-3856468077 0 } 1
160 { 161, 170, 162, 80, 29, 176, 264, 50 | 2229411184640 -1489659494400 
-923448946167 0 } 1
161 { 160, 163, 171, 81, 28, 265, 177, 51 | -2229411184640 1489659494400 
923448946167 0 } 1
162 { 163, 160, 164, 81, 29, 262, 254, 44 | 93211791848491 -62282737107360 
38609546785173 0 } 1
163 { 162, 165, 161, 82, 28, 255, 263, 45 | -93211791848491 62282737107360 
-38609546785173 0 } 1
164 { 165, 162, 166, 82, 29, 252, 148, 46 | 2229411184640 -1489654644813 
923448946167 0 } 1
165 { 164, 167, 163, 83, 28, 149, 253, 47 | -2229411184640 1489654644813 
-923448946167 0 } 1
166 { 167, 164, 168, 83, 29, 158, 76, 12 | 9310371840 -13933819904 3856468077 
0 } 1
167 { 166, 169, 165, 84, 28, 77, 159, 13 | -9310371840 13933819904 
-3856468077 0 } 1
168 { 169, 166, 170, 84, 29, 74, 88, 18 | 51596657814240 -77219100373969 
-21372154040160 0 } 1
169 { 168, 171, 167, 85, 28, 89, 75, 19 | -51596657814240 77219100373969 
21372154040160 0 } 1
170 { 171, 168, 160, 85, 29, 86, 178, 16 | 2979318988800 -4458836594153 
-1234069784640 0 } 1
171 { 170, 161, 169, 80, 28, 179, 87, 17 | -2979318988800 4458836594153 
1234069784640 0 } 1
172 { 173, 182, 174, 86, 31, 188, 276, 54 | 923448946167 -1489654644813 
-2229411184640 0 } 1
173 { 172, 175, 183, 87, 30, 277, 189, 55 | -923448946167 1489654644813 
2229411184640 0 } 1
174 { 175, 172, 176, 87, 31, 274, 266, 48 | 93211791848491 -62282581920576 
-38609546785173 0 } 1
175 { 174, 177, 173, 88, 30, 267, 275, 49 | -93211791848491 62282581920576 
38609546785173 0 } 1
176 { 177, 174, 178, 88, 31, 264, 160, 50 | 2229411184640 -1489659494400 
-923448946167 0 } 1
177 { 176, 179, 175, 89, 30, 161, 265, 51 | -2229411184640 1489659494400 
923448946167 0 } 1
178 { 179, 176, 180, 89, 31, 170, 86, 16 | 2979318988800 -4458836594153 
-1234069784640 0 } 1
179 { 178, 181, 177, 90, 30, 87, 171, 17 | -2979318988800 4458836594153 
1234069784640 0 } 1
180 { 181, 178, 182, 90, 31, 84, 98, 22 | 203544324192 -735424338761 
-491396741088 0 } 1
181 { 180, 183, 179, 91, 30, 99, 85, 23 | -203544324192 735424338761 
491396741088 0 } 1
182 { 183, 180, 172, 91, 31, 96, 190, 20 | 3856468077 -13933819904 
-9310371840 0 } 1
183 { 182, 173, 181, 86, 30, 191, 97, 21 | -3856468077 13933819904 9310371840 
0 } 1
184 { 185, 194, 186, 92, 33, 200, 288, 58 | -923448946167 -1489659494400 
-2229411184640 0 } 1
185 { 184, 187, 195, 93, 32, 289, 201, 59 | 923448946167 1489659494400 
2229411184640 0 } 1
186 { 187, 184, 188, 93, 33, 286, 278, 52 | 38609546785173 -62282737107360 
-93211791848491 0 } 1
187 { 186, 189, 185, 94, 32, 279, 287, 53 | -38609546785173 62282737107360 
93211791848491 0 } 1
188 { 189, 186, 190, 94, 33, 276, 172, 54 | 923448946167 -1489654644813 
-2229411184640 0 } 1
189 { 188, 191, 187, 95, 32, 173, 277, 55 | -923448946167 1489654644813 
2229411184640 0 } 1
190 { 191, 188, 192, 95, 33, 182, 96, 20 | 3856468077 -13933819904 
-9310371840 0 } 1
191 { 190, 193, 189, 96, 32, 97, 183, 21 | -3856468077 13933819904 9310371840 
0 } 1
192 { 193, 190, 194, 96, 33, 94, 108, 26 | -21372154040160 -77219100373969 
-51596657814240 0 } 1
193 { 192, 195, 191, 97, 32, 109, 95, 27 | 21372154040160 77219100373969 
51596657814240 0 } 1
194 { 195, 192, 184, 97, 33, 106, 202, 24 | -1234069784640 -4458836594153 
-2979318988800 0 } 1
195 { 194, 185, 193, 92, 32, 203, 107, 25 | 1234069784640 4458836594153 
2979318988800 0 } 1
196 { 197, 206, 198, 98, 35, 112, 300, 62 | -2229411184640 -1489654644813 
-923448946167 0 } 1
197 { 196, 199, 207, 99, 34, 301, 113, 63 | 2229411184640 1489654644813 
923448946167 0 } 1
198 { 199, 196, 200, 99, 35, 298, 290, 56 | -38609546785173 -62282581920576 
-93211791848491 0 } 1
199 { 198, 201, 197, 100, 34, 291, 299, 57 | 38609546785173 62282581920576 
93211791848491 0 } 1
200 { 201, 198, 202, 100, 35, 288, 184, 58 | -923448946167 -1489659494400 
-2229411184640 0 } 1
201 { 200, 203, 199, 101, 34, 185, 289, 59 | 923448946167 1489659494400 
2229411184640 0 } 1
202 { 203, 200, 204, 101, 35, 194, 106, 24 | -1234069784640 -4458836594153 
-2979318988800 0 } 1
203 { 202, 205, 201, 102, 34, 107, 195, 25 | 1234069784640 4458836594153 
2979318988800 0 } 1
204 { 205, 202, 206, 102, 35, 104, 40, 30 | -491396741088 -735424338761 
-203544324192 0 } 1
205 { 204, 207, 203, 103, 34, 41, 105, 31 | 491396741088 735424338761 
203544324192 0 } 1
206 { 207, 204, 196, 103, 35, 38, 114, 28 | -9310371840 -13933819904 
-3856468077 0 } 1
207 { 206, 197, 205, 98, 34, 115, 39, 29 | 9310371840 13933819904 3856468077 
0 } 1
208 { 209, 218, 210, 104, 37, 396, 292, 94 | -5235781646305 -1041434655168 
-2168729432415 0 } 1
209 { 208, 211, 219, 105, 36, 293, 397, 95 | 5235781646305 1041434655168 
2168729432415 0 } 1
210 { 211, 208, 212, 105, 37, 302, 122, 60 | -93211791848491 -62282737107360 
-38609546785173 0 } 1
211 { 210, 213, 209, 106, 36, 123, 303, 61 | 93211791848491 62282737107360 
38609546785173 0 } 1
212 { 213, 210, 214, 106, 37, 120, 128, 34 | -2229411184640 -1489659494400 
923448946167 0 } 1
213 { 212, 215, 211, 107, 36, 129, 121, 35 | 2229411184640 1489659494400 
-923448946167 0 } 1
214 { 215, 212, 216, 107, 37, 126, 226, 32 | -93211791848491 -62282581920576 
38609546785173 0 } 1
215 { 214, 217, 213, 108, 36, 227, 127, 33 | 93211791848491 62282581920576 
-38609546785173 0 } 1
216 { 217, 214, 218, 108, 37, 224, 308, 66 | -109951414572405 -21870528443584 
45543318080715 0 } 1
217 { 216, 219, 215, 109, 36, 309, 225, 67 | 109951414572405 21870528443584 
-45543318080715 0 } 1
218 { 219, 216, 208, 109, 37, 306, 398, 92 | -3719072710185 -739763883968 
-1540496032215 0 } 1
219 { 218, 209, 217, 104, 36, 399, 307, 93 | 3719072710185 739763883968 
1540496032215 0 } 1
220 { 221, 230, 222, 110, 39, 236, 324, 70 | -2168729432415 -1041434655168 
5235781646305 0 } 1
221 { 220, 223, 231, 111, 38, 325, 237, 71 | 2168729432415 1041434655168 
-5235781646305 0 } 1
222 { 223, 220, 224, 111, 39, 322, 310, 64 | -35419740097 -7045251072 
14671390783 0 } 1
223 { 222, 225, 221, 112, 38, 311, 323, 65 | 35419740097 7045251072 
-14671390783 0 } 1
224 { 225, 222, 226, 112, 39, 308, 216, 66 | -109951414572405 -21870528443584 
45543318080715 0 } 1
225 { 224, 227, 223, 113, 38, 217, 309, 67 | 109951414572405 21870528443584 
-45543318080715 0 } 1
226 { 227, 224, 228, 113, 39, 214, 126, 32 | -93211791848491 -62282581920576 
38609546785173 0 } 1
227 { 226, 229, 225, 114, 38, 127, 215, 33 | 93211791848491 62282581920576 
-38609546785173 0 } 1
228 { 229, 226, 230, 114, 39, 124, 140, 38 | -923448946167 -1489654644813 
2229411184640 0 } 1
229 { 228, 231, 227, 115, 38, 141, 125, 39 | 923448946167 1489654644813 
-2229411184640 0 } 1
230 { 231, 228, 220, 115, 39, 138, 238, 36 | -38609546785173 -62282737107360 
93211791848491 0 } 1
231 { 230, 221, 229, 110, 38, 239, 139, 37 | 38609546785173 62282737107360 
-93211791848491 0 } 1
232 { 233, 242, 234, 116, 41, 248, 336, 74 | 45543318080715 -21870528443584 
109951414572405 0 } 1
233 { 232, 235, 243, 117, 40, 337, 249, 75 | -45543318080715 21870528443584 
-109951414572405 0 } 1
234 { 235, 232, 236, 117, 41, 334, 326, 68 | -1540496032215 -739763883968 
3719072710185 0 } 1
235 { 234, 237, 233, 118, 40, 327, 335, 69 | 1540496032215 739763883968 
-3719072710185 0 } 1
236 { 237, 234, 238, 118, 41, 324, 220, 70 | -2168729432415 -1041434655168 
5235781646305 0 } 1
237 { 236, 239, 235, 119, 40, 221, 325, 71 | 2168729432415 1041434655168 
-5235781646305 0 } 1
238 { 239, 236, 240, 119, 41, 230, 138, 36 | -38609546785173 -62282737107360 
93211791848491 0 } 1
239 { 238, 241, 237, 120, 40, 139, 231, 37 | 38609546785173 62282737107360 
-93211791848491 0 } 1
240 { 241, 238, 242, 120, 41, 136, 152, 42 | 923448946167 -1489659494400 
2229411184640 0 } 1
241 { 240, 243, 239, 121, 40, 153, 137, 43 | -923448946167 1489659494400 
-2229411184640 0 } 1
242 { 243, 240, 232, 121, 41, 150, 250, 40 | 38609546785173 -62282581920576 
93211791848491 0 } 1
243 { 242, 233, 241, 116, 40, 251, 151, 41 | -38609546785173 62282581920576 
-93211791848491 0 } 1
244 { 245, 254, 246, 122, 43, 260, 348, 78 | 5235781646305 -1041434655168 
2168729432415 0 } 1
245 { 244, 247, 255, 123, 42, 349, 261, 79 | -5235781646305 1041434655168 
-2168729432415 0 } 1
246 { 247, 244, 248, 123, 43, 346, 338, 72 | 14671390783 -7045251072 
35419740097 0 } 1
247 { 246, 249, 245, 124, 42, 339, 347, 73 | -14671390783 7045251072 
-35419740097 0 } 1
248 { 249, 246, 250, 124, 43, 336, 232, 74 | 45543318080715 -21870528443584 
109951414572405 0 } 1
249 { 248, 251, 247, 125, 42, 233, 337, 75 | -45543318080715 21870528443584 
-109951414572405 0 } 1
250 { 251, 248, 252, 125, 43, 242, 150, 40 | 38609546785173 -62282581920576 
93211791848491 0 } 1
251 { 250, 253, 249, 126, 42, 151, 243, 41 | -38609546785173 62282581920576 
-93211791848491 0 } 1
252 { 253, 250, 254, 126, 43, 148, 164, 46 | 2229411184640 -1489654644813 
923448946167 0 } 1
253 { 252, 255, 251, 127, 42, 165, 149, 47 | -2229411184640 1489654644813 
-923448946167 0 } 1
254 { 255, 252, 244, 127, 43, 162, 262, 44 | 93211791848491 -62282737107360 
38609546785173 0 } 1
255 { 254, 245, 253, 122, 42, 263, 163, 45 | -93211791848491 62282737107360 
-38609546785173 0 } 1
256 { 257, 266, 258, 128, 45, 272, 360, 82 | 109951414572405 -21870528443584 
-45543318080715 0 } 1
257 { 256, 259, 267, 129, 44, 361, 273, 83 | -109951414572405 21870528443584 
45543318080715 0 } 1
258 { 259, 256, 260, 129, 45, 358, 350, 76 | 3719072710185 -739763883968 
1540496032215 0 } 1
259 { 258, 261, 257, 130, 44, 351, 359, 77 | -3719072710185 739763883968 
-1540496032215 0 } 1
260 { 261, 258, 262, 130, 45, 348, 244, 78 | 5235781646305 -1041434655168 
2168729432415 0 } 1
261 { 260, 263, 259, 131, 44, 245, 349, 79 | -5235781646305 1041434655168 
-2168729432415 0 } 1
262 { 263, 260, 264, 131, 45, 254, 162, 44 | 93211791848491 -62282737107360 
38609546785173 0 } 1
263 { 262, 265, 261, 132, 44, 163, 255, 45 | -93211791848491 62282737107360 
-38609546785173 0 } 1
264 { 265, 262, 266, 132, 45, 160, 176, 50 | 2229411184640 -1489659494400 
-923448946167 0 } 1
265 { 264, 267, 263, 133, 44, 177, 161, 51 | -2229411184640 1489659494400 
923448946167 0 } 1
266 { 267, 264, 256, 133, 45, 174, 274, 48 | 93211791848491 -62282581920576 
-38609546785173 0 } 1
267 { 266, 257, 265, 128, 44, 275, 175, 49 | -93211791848491 62282581920576 
38609546785173 0 } 1
268 { 269, 278, 270, 134, 47, 284, 372, 86 | 2168729432415 -1041434655168 
-5235781646305 0 } 1
269 { 268, 271, 279, 135, 46, 373, 285, 87 | -2168729432415 1041434655168 
5235781646305 0 } 1
270 { 271, 268, 272, 135, 47, 370, 362, 80 | 35419740097 -7045251072 
-14671390783 0 } 1
271 { 270, 273, 269, 136, 46, 363, 371, 81 | -35419740097 7045251072 
14671390783 0 } 1
272 { 273, 270, 274, 136, 47, 360, 256, 82 | 109951414572405 -21870528443584 
-45543318080715 0 } 1
273 { 272, 275, 271, 137, 46, 257, 361, 83 | -109951414572405 21870528443584 
45543318080715 0 } 1
274 { 275, 272, 276, 137, 47, 266, 174, 48 | 93211791848491 -62282581920576 
-38609546785173 0 } 1
275 { 274, 277, 273, 138, 46, 175, 267, 49 | -93211791848491 62282581920576 
38609546785173 0 } 1
276 { 277, 274, 278, 138, 47, 172, 188, 54 | 923448946167 -1489654644813 
-2229411184640 0 } 1
277 { 276, 279, 275, 139, 46, 189, 173, 55 | -923448946167 1489654644813 
2229411184640 0 } 1
278 { 279, 276, 268, 139, 47, 186, 286, 52 | 38609546785173 -62282737107360 
-93211791848491 0 } 1
279 { 278, 269, 277, 134, 46, 287, 187, 53 | -38609546785173 62282737107360 
93211791848491 0 } 1
280 { 281, 290, 282, 140, 49, 296, 384, 90 | -45543318080715 -21870528443584 
-109951414572405 0 } 1
281 { 280, 283, 291, 141, 48, 385, 297, 91 | 45543318080715 21870528443584 
109951414572405 0 } 1
282 { 283, 280, 284, 141, 49, 382, 374, 84 | 1540496032215 -739763883968 
-3719072710185 0 } 1
283 { 282, 285, 281, 142, 48, 375, 383, 85 | -1540496032215 739763883968 
3719072710185 0 } 1
284 { 285, 282, 286, 142, 49, 372, 268, 86 | 2168729432415 -1041434655168 
-5235781646305 0 } 1
285 { 284, 287, 283, 143, 48, 269, 373, 87 | -2168729432415 1041434655168 
5235781646305 0 } 1
286 { 287, 284, 288, 143, 49, 278, 186, 52 | 38609546785173 -62282737107360 
-93211791848491 0 } 1
287 { 286, 289, 285, 144, 48, 187, 279, 53 | -38609546785173 62282737107360 
93211791848491 0 } 1
288 { 289, 286, 290, 144, 49, 184, 200, 58 | -923448946167 -1489659494400 
-2229411184640 0 } 1
289 { 288, 291, 287, 145, 48, 201, 185, 59 | 923448946167 1489659494400 
2229411184640 0 } 1
290 { 291, 288, 280, 145, 49, 198, 298, 56 | -38609546785173 -62282581920576 
-93211791848491 0 } 1
291 { 290, 281, 289, 140, 48, 299, 199, 57 | 38609546785173 62282581920576 
93211791848491 0 } 1
292 { 293, 302, 294, 146, 51, 208, 396, 94 | -5235781646305 -1041434655168 
-2168729432415 0 } 1
293 { 292, 295, 303, 147, 50, 397, 209, 95 | 5235781646305 1041434655168 
2168729432415 0 } 1
294 { 295, 292, 296, 147, 51, 394, 386, 88 | -14671390783 -7045251072 
-35419740097 0 } 1
295 { 294, 297, 293, 148, 50, 387, 395, 89 | 14671390783 7045251072 
35419740097 0 } 1
296 { 297, 294, 298, 148, 51, 384, 280, 90 | -45543318080715 -21870528443584 
-109951414572405 0 } 1
297 { 296, 299, 295, 149, 50, 281, 385, 91 | 45543318080715 21870528443584 
109951414572405 0 } 1
298 { 299, 296, 300, 149, 51, 290, 198, 56 | -38609546785173 -62282581920576 
-93211791848491 0 } 1
299 { 298, 301, 297, 150, 50, 199, 291, 57 | 38609546785173 62282581920576 
93211791848491 0 } 1
300 { 301, 298, 302, 150, 51, 196, 112, 62 | -2229411184640 -1489654644813 
-923448946167 0 } 1
301 { 300, 303, 299, 151, 50, 113, 197, 63 | 2229411184640 1489654644813 
923448946167 0 } 1
302 { 303, 300, 292, 151, 51, 122, 210, 60 | -93211791848491 -62282737107360 
-38609546785173 0 } 1
303 { 302, 293, 301, 146, 50, 211, 123, 61 | 93211791848491 62282737107360 
38609546785173 0 } 1
304 { 305, 314, 306, 152, 53, 492, 388, 126 | -35419740097 7045251072 
-14671390783 0 } 1
305 { 304, 307, 315, 153, 52, 389, 493, 127 | 35419740097 -7045251072 
14671390783 0 } 1
306 { 307, 304, 308, 153, 53, 398, 218, 92 | -3719072710185 -739763883968 
-1540496032215 0 } 1
307 { 306, 309, 305, 154, 52, 219, 399, 93 | 3719072710185 739763883968 
1540496032215 0 } 1
308 { 309, 306, 310, 154, 53, 216, 224, 66 | -109951414572405 -21870528443584 
45543318080715 0 } 1
309 { 308, 311, 307, 155, 52, 225, 217, 67 | 109951414572405 21870528443584 
-45543318080715 0 } 1
310 { 311, 308, 312, 155, 53, 222, 322, 64 | -35419740097 -7045251072 
14671390783 0 } 1
311 { 310, 313, 309, 156, 52, 323, 223, 65 | 35419740097 7045251072 
-14671390783 0 } 1
312 { 313, 310, 314, 156, 53, 320, 404, 98 | -3719072710185 739763883968 
1540496032215 0 } 1
313 { 312, 315, 311, 157, 52, 405, 321, 99 | 3719072710185 -739763883968 
-1540496032215 0 } 1
314 { 315, 312, 304, 157, 53, 402, 494, 124 | -109951414572405 21870528443584 
-45543318080715 0 } 1
315 { 314, 305, 313, 152, 52, 495, 403, 125 | 109951414572405 -21870528443584 
45543318080715 0 } 1
316 { 317, 326, 318, 158, 55, 332, 420, 102 | -14671390783 7045251072 
35419740097 0 } 1
317 { 316, 319, 327, 159, 54, 421, 333, 103 | 14671390783 -7045251072 
-35419740097 0 } 1
318 { 319, 316, 320, 159, 55, 418, 406, 96 | -5235781646305 1041434655168 
2168729432415 0 } 1
319 { 318, 321, 317, 160, 54, 407, 419, 97 | 5235781646305 -1041434655168 
-2168729432415 0 } 1
320 { 321, 318, 322, 160, 55, 404, 312, 98 | -3719072710185 739763883968 
1540496032215 0 } 1
321 { 320, 323, 319, 161, 54, 313, 405, 99 | 3719072710185 -739763883968 
-1540496032215 0 } 1
322 { 323, 320, 324, 161, 55, 310, 222, 64 | -35419740097 -7045251072 
14671390783 0 } 1
323 { 322, 325, 321, 162, 54, 223, 311, 65 | 35419740097 7045251072 
-14671390783 0 } 1
324 { 325, 322, 326, 162, 55, 220, 236, 70 | -2168729432415 -1041434655168 
5235781646305 0 } 1
325 { 324, 327, 323, 163, 54, 237, 221, 71 | 2168729432415 1041434655168 
-5235781646305 0 } 1
326 { 327, 324, 316, 163, 55, 234, 334, 68 | -1540496032215 -739763883968 
3719072710185 0 } 1
327 { 326, 317, 325, 158, 54, 335, 235, 69 | 1540496032215 739763883968 
-3719072710185 0 } 1
328 { 329, 338, 330, 164, 57, 344, 432, 106 | 1540496032215 739763883968 
3719072710185 0 } 1
329 { 328, 331, 339, 165, 56, 433, 345, 107 | -1540496032215 -739763883968 
-3719072710185 0 } 1
330 { 331, 328, 332, 165, 57, 430, 422, 100 | -45543318080715 21870528443584 
109951414572405 0 } 1
331 { 330, 333, 329, 166, 56, 423, 431, 101 | 45543318080715 -21870528443584 
-109951414572405 0 } 1
332 { 333, 330, 334, 166, 57, 420, 316, 102 | -14671390783 7045251072 
35419740097 0 } 1
333 { 332, 335, 331, 167, 56, 317, 421, 103 | 14671390783 -7045251072 
-35419740097 0 } 1
334 { 335, 332, 336, 167, 57, 326, 234, 68 | -1540496032215 -739763883968 
3719072710185 0 } 1
335 { 334, 337, 333, 168, 56, 235, 327, 69 | 1540496032215 739763883968 
-3719072710185 0 } 1
336 { 337, 334, 338, 168, 57, 232, 248, 74 | 45543318080715 -21870528443584 
109951414572405 0 } 1
337 { 336, 339, 335, 169, 56, 249, 233, 75 | -45543318080715 21870528443584 
-109951414572405 0 } 1
338 { 339, 336, 328, 169, 57, 246, 346, 72 | 14671390783 -7045251072 
35419740097 0 } 1
339 { 338, 329, 337, 164, 56, 347, 247, 73 | -14671390783 7045251072 
-35419740097 0 } 1
340 { 341, 350, 342, 170, 59, 356, 444, 110 | 35419740097 7045251072 
14671390783 0 } 1
341 { 340, 343, 351, 171, 58, 445, 357, 111 | -35419740097 -7045251072 
-14671390783 0 } 1
342 { 343, 340, 344, 171, 59, 442, 434, 104 | 2168729432415 1041434655168 
5235781646305 0 } 1
343 { 342, 345, 341, 172, 58, 435, 443, 105 | -2168729432415 -1041434655168 
-5235781646305 0 } 1
344 { 345, 342, 346, 172, 59, 432, 328, 106 | 1540496032215 739763883968 
3719072710185 0 } 1
345 { 344, 347, 343, 173, 58, 329, 433, 107 | -1540496032215 -739763883968 
-3719072710185 0 } 1
346 { 347, 344, 348, 173, 59, 338, 246, 72 | 14671390783 -7045251072 
35419740097 0 } 1
347 { 346, 349, 345, 174, 58, 247, 339, 73 | -14671390783 7045251072 
-35419740097 0 } 1
348 { 349, 346, 350, 174, 59, 244, 260, 78 | 5235781646305 -1041434655168 
2168729432415 0 } 1
349 { 348, 351, 347, 175, 58, 261, 245, 79 | -5235781646305 1041434655168 
-2168729432415 0 } 1
350 { 351, 348, 340, 175, 59, 258, 358, 76 | 3719072710185 -739763883968 
1540496032215 0 } 1
351 { 350, 341, 349, 170, 58, 359, 259, 77 | -3719072710185 739763883968 
-1540496032215 0 } 1
352 { 353, 362, 354, 176, 61, 368, 456, 114 | 3719072710185 739763883968 
-1540496032215 0 } 1
353 { 352, 355, 363, 177, 60, 457, 369, 115 | -3719072710185 -739763883968 
1540496032215 0 } 1
354 { 355, 352, 356, 177, 61, 454, 446, 108 | 109951414572405 21870528443584 
45543318080715 0 } 1
355 { 354, 357, 353, 178, 60, 447, 455, 109 | -109951414572405 
-21870528443584 -45543318080715 0 } 1
356 { 357, 354, 358, 178, 61, 444, 340, 110 | 35419740097 7045251072 
14671390783 0 } 1
357 { 356, 359, 355, 179, 60, 341, 445, 111 | -35419740097 -7045251072 
-14671390783 0 } 1
358 { 359, 356, 360, 179, 61, 350, 258, 76 | 3719072710185 -739763883968 
1540496032215 0 } 1
359 { 358, 361, 357, 180, 60, 259, 351, 77 | -3719072710185 739763883968 
-1540496032215 0 } 1
360 { 361, 358, 362, 180, 61, 256, 272, 82 | 109951414572405 -21870528443584 
-45543318080715 0 } 1
361 { 360, 363, 359, 181, 60, 273, 257, 83 | -109951414572405 21870528443584 
45543318080715 0 } 1
362 { 363, 360, 352, 181, 61, 270, 370, 80 | 35419740097 -7045251072 
-14671390783 0 } 1
363 { 362, 353, 361, 176, 60, 371, 271, 81 | -35419740097 7045251072 
14671390783 0 } 1
364 { 365, 374, 366, 182, 63, 380, 468, 118 | 14671390783 7045251072 
-35419740097 0 } 1
365 { 364, 367, 375, 183, 62, 469, 381, 119 | -14671390783 -7045251072 
35419740097 0 } 1
366 { 367, 364, 368, 183, 63, 466, 458, 112 | 5235781646305 1041434655168 
-2168729432415 0 } 1
367 { 366, 369, 365, 184, 62, 459, 467, 113 | -5235781646305 -1041434655168 
2168729432415 0 } 1
368 { 369, 366, 370, 184, 63, 456, 352, 114 | 3719072710185 739763883968 
-1540496032215 0 } 1
369 { 368, 371, 367, 185, 62, 353, 457, 115 | -3719072710185 -739763883968 
1540496032215 0 } 1
370 { 371, 368, 372, 185, 63, 362, 270, 80 | 35419740097 -7045251072 
-14671390783 0 } 1
371 { 370, 373, 369, 186, 62, 271, 363, 81 | -35419740097 7045251072 
14671390783 0 } 1
372 { 373, 370, 374, 186, 63, 268, 284, 86 | 2168729432415 -1041434655168 
-5235781646305 0 } 1
373 { 372, 375, 371, 187, 62, 285, 269, 87 | -2168729432415 1041434655168 
5235781646305 0 } 1
374 { 375, 372, 364, 187, 63, 282, 382, 84 | 1540496032215 -739763883968 
-3719072710185 0 } 1
375 { 374, 365, 373, 182, 62, 383, 283, 85 | -1540496032215 739763883968 
3719072710185 0 } 1
376 { 377, 386, 378, 188, 65, 392, 480, 122 | -1540496032215 739763883968 
-3719072710185 0 } 1
377 { 376, 379, 387, 189, 64, 481, 393, 123 | 1540496032215 -739763883968 
3719072710185 0 } 1
378 { 379, 376, 380, 189, 65, 478, 470, 116 | 45543318080715 21870528443584 
-109951414572405 0 } 1
379 { 378, 381, 377, 190, 64, 471, 479, 117 | -45543318080715 -21870528443584 
109951414572405 0 } 1
380 { 381, 378, 382, 190, 65, 468, 364, 118 | 14671390783 7045251072 
-35419740097 0 } 1
381 { 380, 383, 379, 191, 64, 365, 469, 119 | -14671390783 -7045251072 
35419740097 0 } 1
382 { 383, 380, 384, 191, 65, 374, 282, 84 | 1540496032215 -739763883968 
-3719072710185 0 } 1
383 { 382, 385, 381, 192, 64, 283, 375, 85 | -1540496032215 739763883968 
3719072710185 0 } 1
384 { 385, 382, 386, 192, 65, 280, 296, 90 | -45543318080715 -21870528443584 
-109951414572405 0 } 1
385 { 384, 387, 383, 193, 64, 297, 281, 91 | 45543318080715 21870528443584 
109951414572405 0 } 1
386 { 387, 384, 376, 193, 65, 294, 394, 88 | -14671390783 -7045251072 
-35419740097 0 } 1
387 { 386, 377, 385, 188, 64, 395, 295, 89 | 14671390783 7045251072 
35419740097 0 } 1
388 { 389, 398, 390, 194, 67, 304, 492, 126 | -35419740097 7045251072 
-14671390783 0 } 1
389 { 388, 391, 399, 195, 66, 493, 305, 127 | 35419740097 -7045251072 
14671390783 0 } 1
390 { 391, 388, 392, 195, 67, 490, 482, 120 | -2168729432415 1041434655168 
-5235781646305 0 } 1
391 { 390, 393, 389, 196, 66, 483, 491, 121 | 2168729432415 -1041434655168 
5235781646305 0 } 1
392 { 393, 390, 394, 196, 67, 480, 376, 122 | -1540496032215 739763883968 
-3719072710185 0 } 1
393 { 392, 395, 391, 197, 66, 377, 481, 123 | 1540496032215 -739763883968 
3719072710185 0 } 1
394 { 395, 392, 396, 197, 67, 386, 294, 88 | -14671390783 -7045251072 
-35419740097 0 } 1
395 { 394, 397, 393, 198, 66, 295, 387, 89 | 14671390783 7045251072 
35419740097 0 } 1
396 { 397, 394, 398, 198, 67, 292, 208, 94 | -5235781646305 -1041434655168 
-2168729432415 0 } 1
397 { 396, 399, 395, 199, 66, 209, 293, 95 | 5235781646305 1041434655168 
2168729432415 0 } 1
398 { 399, 396, 388, 199, 67, 218, 306, 92 | -3719072710185 -739763883968 
-1540496032215 0 } 1
399 { 398, 389, 397, 194, 66, 307, 219, 93 | 3719072710185 739763883968 
1540496032215 0 } 1
400 { 401, 410, 402, 200, 69, 588, 484, 158 | -93211791848491 62282581920576 
-38609546785173 0 } 1
401 { 400, 403, 411, 201, 68, 485, 589, 159 | 93211791848491 -62282581920576 
38609546785173 0 } 1
402 { 403, 400, 404, 201, 69, 494, 314, 124 | -109951414572405 21870528443584 
-45543318080715 0 } 1
403 { 402, 405, 401, 202, 68, 315, 495, 125 | 109951414572405 -21870528443584 
45543318080715 0 } 1
404 { 405, 402, 406, 202, 69, 312, 320, 98 | -3719072710185 739763883968 
1540496032215 0 } 1
405 { 404, 407, 403, 203, 68, 321, 313, 99 | 3719072710185 -739763883968 
-1540496032215 0 } 1
406 { 407, 404, 408, 203, 69, 318, 418, 96 | -5235781646305 1041434655168 
2168729432415 0 } 1
407 { 406, 409, 405, 204, 68, 419, 319, 97 | 5235781646305 -1041434655168 
-2168729432415 0 } 1
408 { 409, 406, 410, 204, 69, 416, 500, 130 | -93211791848491 62282737107360 
38609546785173 0 } 1
409 { 408, 411, 407, 205, 68, 501, 417, 131 | 93211791848491 -62282737107360 
-38609546785173 0 } 1
410 { 411, 408, 400, 205, 69, 498, 590, 156 | -2229411184640 1489659494400 
-923448946167 0 } 1
411 { 410, 401, 409, 200, 68, 591, 499, 157 | 2229411184640 -1489659494400 
923448946167 0 } 1
412 { 413, 422, 414, 206, 71, 428, 516, 134 | -38609546785173 62282581920576 
93211791848491 0 } 1
413 { 412, 415, 423, 207, 70, 517, 429, 135 | 38609546785173 -62282581920576 
-93211791848491 0 } 1
414 { 415, 412, 416, 207, 71, 514, 502, 128 | -2229411184640 1489654644813 
923448946167 0 } 1
415 { 414, 417, 413, 208, 70, 503, 515, 129 | 2229411184640 -1489654644813 
-923448946167 0 } 1
416 { 417, 414, 418, 208, 71, 500, 408, 130 | -93211791848491 62282737107360 
38609546785173 0 } 1
417 { 416, 419, 415, 209, 70, 409, 501, 131 | 93211791848491 -62282737107360 
-38609546785173 0 } 1
418 { 419, 416, 420, 209, 71, 406, 318, 96 | -5235781646305 1041434655168 
2168729432415 0 } 1
419 { 418, 421, 417, 210, 70, 319, 407, 97 | 5235781646305 -1041434655168 
-2168729432415 0 } 1
420 { 421, 418, 422, 210, 71, 316, 332, 102 | -14671390783 7045251072 
35419740097 0 } 1
421 { 420, 423, 419, 211, 70, 333, 317, 103 | 14671390783 -7045251072 
-35419740097 0 } 1
422 { 423, 420, 412, 211, 71, 330, 430, 100 | -45543318080715 21870528443584 
109951414572405 0 } 1
423 { 422, 413, 421, 206, 70, 431, 331, 101 | 45543318080715 -21870528443584 
-109951414572405 0 } 1
424 { 425, 434, 426, 212, 73, 440, 528, 138 | 38609546785173 62282737107360 
93211791848491 0 } 1
425 { 424, 427, 435, 213, 72, 529, 441, 139 | -38609546785173 -62282737107360 
-93211791848491 0 } 1
426 { 427, 424, 428, 213, 73, 526, 518, 132 | -923448946167 1489659494400 
2229411184640 0 } 1
427 { 426, 429, 425, 214, 72, 519, 527, 133 | 923448946167 -1489659494400 
-2229411184640 0 } 1
428 { 429, 426, 430, 214, 73, 516, 412, 134 | -38609546785173 62282581920576 
93211791848491 0 } 1
429 { 428, 431, 427, 215, 72, 413, 517, 135 | 38609546785173 -62282581920576 
-93211791848491 0 } 1
430 { 431, 428, 432, 215, 73, 422, 330, 100 | -45543318080715 21870528443584 
109951414572405 0 } 1
431 { 430, 433, 429, 216, 72, 331, 423, 101 | 45543318080715 -21870528443584 
-109951414572405 0 } 1
432 { 433, 430, 434, 216, 73, 328, 344, 106 | 1540496032215 739763883968 
3719072710185 0 } 1
433 { 432, 435, 431, 217, 72, 345, 329, 107 | -1540496032215 -739763883968 
-3719072710185 0 } 1
434 { 435, 432, 424, 217, 73, 342, 442, 104 | 2168729432415 1041434655168 
5235781646305 0 } 1
435 { 434, 425, 433, 212, 72, 443, 343, 105 | -2168729432415 -1041434655168 
-5235781646305 0 } 1
436 { 437, 446, 438, 218, 75, 452, 540, 142 | 93211791848491 62282581920576 
38609546785173 0 } 1
437 { 436, 439, 447, 219, 74, 541, 453, 143 | -93211791848491 -62282581920576 
-38609546785173 0 } 1
438 { 439, 436, 440, 219, 75, 538, 530, 136 | 923448946167 1489654644813 
2229411184640 0 } 1
439 { 438, 441, 437, 220, 74, 531, 539, 137 | -923448946167 -1489654644813 
-2229411184640 0 } 1
440 { 441, 438, 442, 220, 75, 528, 424, 138 | 38609546785173 62282737107360 
93211791848491 0 } 1
441 { 440, 443, 439, 221, 74, 425, 529, 139 | -38609546785173 -62282737107360 
-93211791848491 0 } 1
442 { 443, 440, 444, 221, 75, 434, 342, 104 | 2168729432415 1041434655168 
5235781646305 0 } 1
443 { 442, 445, 441, 222, 74, 343, 435, 105 | -2168729432415 -1041434655168 
-5235781646305 0 } 1
444 { 445, 442, 446, 222, 75, 340, 356, 110 | 35419740097 7045251072 
14671390783 0 } 1
445 { 444, 447, 443, 223, 74, 357, 341, 111 | -35419740097 -7045251072 
-14671390783 0 } 1
446 { 447, 444, 436, 223, 75, 354, 454, 108 | 109951414572405 21870528443584 
45543318080715 0 } 1
447 { 446, 437, 445, 218, 74, 455, 355, 109 | -109951414572405 
-21870528443584 -45543318080715 0 } 1
448 { 449, 458, 450, 224, 77, 464, 552, 146 | 93211791848491 62282737107360 
-38609546785173 0 } 1
449 { 448, 451, 459, 225, 76, 553, 465, 147 | -93211791848491 -62282737107360 
38609546785173 0 } 1
450 { 451, 448, 452, 225, 77, 550, 542, 140 | 2229411184640 1489659494400 
923448946167 0 } 1
451 { 450, 453, 449, 226, 76, 543, 551, 141 | -2229411184640 -1489659494400 
-923448946167 0 } 1
452 { 453, 450, 454, 226, 77, 540, 436, 142 | 93211791848491 62282581920576 
38609546785173 0 } 1
453 { 452, 455, 451, 227, 76, 437, 541, 143 | -93211791848491 -62282581920576 
-38609546785173 0 } 1
454 { 455, 452, 456, 227, 77, 446, 354, 108 | 109951414572405 21870528443584 
45543318080715 0 } 1
455 { 454, 457, 453, 228, 76, 355, 447, 109 | -109951414572405 
-21870528443584 -45543318080715 0 } 1
456 { 457, 454, 458, 228, 77, 352, 368, 114 | 3719072710185 739763883968 
-1540496032215 0 } 1
457 { 456, 459, 455, 229, 76, 369, 353, 115 | -3719072710185 -739763883968 
1540496032215 0 } 1
458 { 459, 456, 448, 229, 77, 366, 466, 112 | 5235781646305 1041434655168 
-2168729432415 0 } 1
459 { 458, 449, 457, 224, 76, 467, 367, 113 | -5235781646305 -1041434655168 
2168729432415 0 } 1
460 { 461, 470, 462, 230, 79, 476, 564, 150 | 38609546785173 62282581920576 
-93211791848491 0 } 1
461 { 460, 463, 471, 231, 78, 565, 477, 151 | -38609546785173 -62282581920576 
93211791848491 0 } 1
462 { 463, 460, 464, 231, 79, 562, 554, 144 | 2229411184640 1489654644813 
-923448946167 0 } 1
463 { 462, 465, 461, 232, 78, 555, 563, 145 | -2229411184640 -1489654644813 
923448946167 0 } 1
464 { 465, 462, 466, 232, 79, 552, 448, 146 | 93211791848491 62282737107360 
-38609546785173 0 } 1
465 { 464, 467, 463, 233, 78, 449, 553, 147 | -93211791848491 -62282737107360 
38609546785173 0 } 1
466 { 467, 464, 468, 233, 79, 458, 366, 112 | 5235781646305 1041434655168 
-2168729432415 0 } 1
467 { 466, 469, 465, 234, 78, 367, 459, 113 | -5235781646305 -1041434655168 
2168729432415 0 } 1
468 { 469, 466, 470, 234, 79, 364, 380, 118 | 14671390783 7045251072 
-35419740097 0 } 1
469 { 468, 471, 467, 235, 78, 381, 365, 119 | -14671390783 -7045251072 
35419740097 0 } 1
470 { 471, 468, 460, 235, 79, 378, 478, 116 | 45543318080715 21870528443584 
-109951414572405 0 } 1
471 { 470, 461, 469, 230, 78, 479, 379, 117 | -45543318080715 -21870528443584 
109951414572405 0 } 1
472 { 473, 482, 474, 236, 81, 488, 576, 154 | -38609546785173 62282737107360 
-93211791848491 0 } 1
473 { 472, 475, 483, 237, 80, 577, 489, 155 | 38609546785173 -62282737107360 
93211791848491 0 } 1
474 { 475, 472, 476, 237, 81, 574, 566, 148 | 923448946167 1489659494400 
-2229411184640 0 } 1
475 { 474, 477, 473, 238, 80, 567, 575, 149 | -923448946167 -1489659494400 
2229411184640 0 } 1
476 { 477, 474, 478, 238, 81, 564, 460, 150 | 38609546785173 62282581920576 
-93211791848491 0 } 1
477 { 476, 479, 475, 239, 80, 461, 565, 151 | -38609546785173 -62282581920576 
93211791848491 0 } 1
478 { 479, 476, 480, 239, 81, 470, 378, 116 | 45543318080715 21870528443584 
-109951414572405 0 } 1
479 { 478, 481, 477, 240, 80, 379, 471, 117 | -45543318080715 -21870528443584 
109951414572405 0 } 1
480 { 481, 478, 482, 240, 81, 376, 392, 122 | -1540496032215 739763883968 
-3719072710185 0 } 1
481 { 480, 483, 479, 241, 80, 393, 377, 123 | 1540496032215 -739763883968 
3719072710185 0 } 1
482 { 483, 480, 472, 241, 81, 390, 490, 120 | -2168729432415 1041434655168 
-5235781646305 0 } 1
483 { 482, 473, 481, 236, 80, 491, 391, 121 | 2168729432415 -1041434655168 
5235781646305 0 } 1
484 { 485, 494, 486, 242, 83, 400, 588, 158 | -93211791848491 62282581920576 
-38609546785173 0 } 1
485 { 484, 487, 495, 243, 82, 589, 401, 159 | 93211791848491 -62282581920576 
38609546785173 0 } 1
486 { 487, 484, 488, 243, 83, 586, 578, 152 | -923448946167 1489654644813 
-2229411184640 0 } 1
487 { 486, 489, 485, 244, 82, 579, 587, 153 | 923448946167 -1489654644813 
2229411184640 0 } 1
488 { 489, 486, 490, 244, 83, 576, 472, 154 | -38609546785173 62282737107360 
-93211791848491 0 } 1
489 { 488, 491, 487, 245, 82, 473, 577, 155 | 38609546785173 -62282737107360 
93211791848491 0 } 1
490 { 491, 488, 492, 245, 83, 482, 390, 120 | -2168729432415 1041434655168 
-5235781646305 0 } 1
491 { 490, 493, 489, 246, 82, 391, 483, 121 | 2168729432415 -1041434655168 
5235781646305 0 } 1
492 { 493, 490, 494, 246, 83, 388, 304, 126 | -35419740097 7045251072 
-14671390783 0 } 1
493 { 492, 495, 491, 247, 82, 305, 389, 127 | 35419740097 -7045251072 
14671390783 0 } 1
494 { 495, 492, 484, 247, 83, 314, 402, 124 | -109951414572405 21870528443584 
-45543318080715 0 } 1
495 { 494, 485, 493, 242, 82, 403, 315, 125 | 109951414572405 -21870528443584 
45543318080715 0 } 1
496 { 497, 506, 498, 248, 85, 668, 580, 190 | -2979318988800 4458836594153 
-1234069784640 0 } 1
497 { 496, 499, 507, 249, 84, 581, 669, 191 | 2979318988800 -4458836594153 
1234069784640 0 } 1
498 { 499, 496, 500, 249, 85, 590, 410, 156 | -2229411184640 1489659494400 
-923448946167 0 } 1
499 { 498, 501, 497, 250, 84, 411, 591, 157 | 2229411184640 -1489659494400 
923448946167 0 } 1
500 { 501, 498, 502, 250, 85, 408, 416, 130 | -93211791848491 62282737107360 
38609546785173 0 } 1
501 { 500, 503, 499, 251, 84, 417, 409, 131 | 93211791848491 -62282737107360 
-38609546785173 0 } 1
502 { 503, 500, 504, 251, 85, 414, 514, 128 | -2229411184640 1489654644813 
923448946167 0 } 1
503 { 502, 505, 501, 252, 84, 515, 415, 129 | 2229411184640 -1489654644813 
-923448946167 0 } 1
504 { 505, 502, 506, 252, 85, 512, 596, 162 | -9310371840 13933819904 
3856468077 0 } 1
505 { 504, 507, 503, 253, 84, 597, 513, 163 | 9310371840 -13933819904 
-3856468077 0 } 1
506 { 507, 504, 496, 253, 85, 594, 670, 188 | -51596657814240 77219100373969 
-21372154040160 0 } 1
507 { 506, 497, 505, 248, 84, 671, 595, 189 | 51596657814240 -77219100373969 
21372154040160 0 } 1
508 { 509, 518, 510, 254, 87, 524, 608, 166 | -1234069784640 4458836594153 
2979318988800 0 } 1
509 { 508, 511, 519, 255, 86, 609, 525, 167 | 1234069784640 -4458836594153 
-2979318988800 0 } 1
510 { 511, 508, 512, 255, 87, 606, 598, 160 | -491396741088 735424338761 
203544324192 0 } 1
511 { 510, 513, 509, 256, 86, 599, 607, 161 | 491396741088 -735424338761 
-203544324192 0 } 1
512 { 513, 510, 514, 256, 87, 596, 504, 162 | -9310371840 13933819904 
3856468077 0 } 1
513 { 512, 515, 511, 257, 86, 505, 597, 163 | 9310371840 -13933819904 
-3856468077 0 } 1
514 { 515, 512, 516, 257, 87, 502, 414, 128 | -2229411184640 1489654644813 
923448946167 0 } 1
515 { 514, 517, 513, 258, 86, 415, 503, 129 | 2229411184640 -1489654644813 
-923448946167 0 } 1
516 { 517, 514, 518, 258, 87, 412, 428, 134 | -38609546785173 62282581920576 
93211791848491 0 } 1
517 { 516, 519, 515, 259, 86, 429, 413, 135 | 38609546785173 -62282581920576 
-93211791848491 0 } 1
518 { 519, 516, 508, 259, 87, 426, 526, 132 | -923448946167 1489659494400 
2229411184640 0 } 1
519 { 518, 509, 517, 254, 86, 527, 427, 133 | 923448946167 -1489659494400 
-2229411184640 0 } 1
520 { 521, 530, 522, 260, 89, 536, 618, 170 | 3856468077 13933819904 
9310371840 0 } 1
521 { 520, 523, 531, 261, 88, 619, 537, 171 | -3856468077 -13933819904 
-9310371840 0 } 1
522 { 523, 520, 524, 261, 89, 616, 610, 164 | -21372154040160 77219100373969 
51596657814240 0 } 1
523 { 522, 525, 521, 262, 88, 611, 617, 165 | 21372154040160 -77219100373969 
-51596657814240 0 } 1
524 { 525, 522, 526, 262, 89, 608, 508, 166 | -1234069784640 4458836594153 
2979318988800 0 } 1
525 { 524, 527, 523, 263, 88, 509, 609, 167 | 1234069784640 -4458836594153 
-2979318988800 0 } 1
526 { 527, 524, 528, 263, 89, 518, 426, 132 | -923448946167 1489659494400 
2229411184640 0 } 1
527 { 526, 529, 525, 264, 88, 427, 519, 133 | 923448946167 -1489659494400 
-2229411184640 0 } 1
528 { 529, 526, 530, 264, 89, 424, 440, 138 | 38609546785173 62282737107360 
93211791848491 0 } 1
529 { 528, 531, 527, 265, 88, 441, 425, 139 | -38609546785173 -62282737107360 
-93211791848491 0 } 1
530 { 531, 528, 520, 265, 89, 438, 538, 136 | 923448946167 1489654644813 
2229411184640 0 } 1
531 { 530, 521, 529, 260, 88, 539, 439, 137 | -923448946167 -1489654644813 
-2229411184640 0 } 1
532 { 533, 542, 534, 266, 91, 548, 628, 174 | 2979318988800 4458836594153 
1234069784640 0 } 1
533 { 532, 535, 543, 267, 90, 629, 549, 175 | -2979318988800 -4458836594153 
-1234069784640 0 } 1
534 { 535, 532, 536, 267, 91, 626, 620, 168 | 203544324192 735424338761 
491396741088 0 } 1
535 { 534, 537, 533, 268, 90, 621, 627, 169 | -203544324192 -735424338761 
-491396741088 0 } 1
536 { 537, 534, 538, 268, 91, 618, 520, 170 | 3856468077 13933819904 
9310371840 0 } 1
537 { 536, 539, 535, 269, 90, 521, 619, 171 | -3856468077 -13933819904 
-9310371840 0 } 1
538 { 539, 536, 540, 269, 91, 530, 438, 136 | 923448946167 1489654644813 
2229411184640 0 } 1
539 { 538, 541, 537, 270, 90, 439, 531, 137 | -923448946167 -1489654644813 
-2229411184640 0 } 1
540 { 541, 538, 542, 270, 91, 436, 452, 142 | 93211791848491 62282581920576 
38609546785173 0 } 1
541 { 540, 543, 539, 271, 90, 453, 437, 143 | -93211791848491 -62282581920576 
-38609546785173 0 } 1
542 { 543, 540, 532, 271, 91, 450, 550, 140 | 2229411184640 1489659494400 
923448946167 0 } 1
543 { 542, 533, 541, 266, 90, 551, 451, 141 | -2229411184640 -1489659494400 
-923448946167 0 } 1
544 { 545, 554, 546, 272, 93, 560, 638, 178 | 9310371840 13933819904 
-3856468077 0 } 1
545 { 544, 547, 555, 273, 92, 639, 561, 179 | -9310371840 -13933819904 
3856468077 0 } 1
546 { 547, 544, 548, 273, 93, 636, 630, 172 | 51596657814240 77219100373969 
21372154040160 0 } 1
547 { 546, 549, 545, 274, 92, 631, 637, 173 | -51596657814240 -77219100373969 
-21372154040160 0 } 1
548 { 549, 546, 550, 274, 93, 628, 532, 174 | 2979318988800 4458836594153 
1234069784640 0 } 1
549 { 548, 551, 547, 275, 92, 533, 629, 175 | -2979318988800 -4458836594153 
-1234069784640 0 } 1
550 { 551, 548, 552, 275, 93, 542, 450, 140 | 2229411184640 1489659494400 
923448946167 0 } 1
551 { 550, 553, 549, 276, 92, 451, 543, 141 | -2229411184640 -1489659494400 
-923448946167 0 } 1
552 { 553, 550, 554, 276, 93, 448, 464, 146 | 93211791848491 62282737107360 
-38609546785173 0 } 1
553 { 552, 555, 551, 277, 92, 465, 449, 147 | -93211791848491 -62282737107360 
38609546785173 0 } 1
554 { 555, 552, 544, 277, 93, 462, 562, 144 | 2229411184640 1489654644813 
-923448946167 0 } 1
555 { 554, 545, 553, 272, 92, 563, 463, 145 | -2229411184640 -1489654644813 
923448946167 0 } 1
556 { 557, 566, 558, 278, 95, 572, 648, 182 | 1234069784640 4458836594153 
-2979318988800 0 } 1
557 { 556, 559, 567, 279, 94, 649, 573, 183 | -1234069784640 -4458836594153 
2979318988800 0 } 1
558 { 559, 556, 560, 279, 95, 646, 640, 176 | 491396741088 735424338761 
-203544324192 0 } 1
559 { 558, 561, 557, 280, 94, 641, 647, 177 | -491396741088 -735424338761 
203544324192 0 } 1
560 { 561, 558, 562, 280, 95, 638, 544, 178 | 9310371840 13933819904 
-3856468077 0 } 1
561 { 560, 563, 559, 281, 94, 545, 639, 179 | -9310371840 -13933819904 
3856468077 0 } 1
562 { 563, 560, 564, 281, 95, 554, 462, 144 | 2229411184640 1489654644813 
-923448946167 0 } 1
563 { 562, 565, 561, 282, 94, 463, 555, 145 | -2229411184640 -1489654644813 
923448946167 0 } 1
564 { 565, 562, 566, 282, 95, 460, 476, 150 | 38609546785173 62282581920576 
-93211791848491 0 } 1
565 { 564, 567, 563, 283, 94, 477, 461, 151 | -38609546785173 -62282581920576 
93211791848491 0 } 1
566 { 567, 564, 556, 283, 95, 474, 574, 148 | 923448946167 1489659494400 
-2229411184640 0 } 1
567 { 566, 557, 565, 278, 94, 575, 475, 149 | -923448946167 -1489659494400 
2229411184640 0 } 1
568 { 569, 578, 570, 284, 97, 584, 658, 186 | -3856468077 13933819904 
-9310371840 0 } 1
569 { 568, 571, 579, 285, 96, 659, 585, 187 | 3856468077 -13933819904 
9310371840 0 } 1
570 { 571, 568, 572, 285, 97, 656, 650, 180 | 21372154040160 77219100373969 
-51596657814240 0 } 1
571 { 570, 573, 569, 286, 96, 651, 657, 181 | -21372154040160 -77219100373969 
51596657814240 0 } 1
572 { 573, 570, 574, 286, 97, 648, 556, 182 | 1234069784640 4458836594153 
-2979318988800 0 } 1
573 { 572, 575, 571, 287, 96, 557, 649, 183 | -1234069784640 -4458836594153 
2979318988800 0 } 1
574 { 575, 572, 576, 287, 97, 566, 474, 148 | 923448946167 1489659494400 
-2229411184640 0 } 1
575 { 574, 577, 573, 288, 96, 475, 567, 149 | -923448946167 -1489659494400 
2229411184640 0 } 1
576 { 577, 574, 578, 288, 97, 472, 488, 154 | -38609546785173 62282737107360 
-93211791848491 0 } 1
577 { 576, 579, 575, 289, 96, 489, 473, 155 | 38609546785173 -62282737107360 
93211791848491 0 } 1
578 { 579, 576, 568, 289, 97, 486, 586, 152 | -923448946167 1489654644813 
-2229411184640 0 } 1
579 { 578, 569, 577, 284, 96, 587, 487, 153 | 923448946167 -1489654644813 
2229411184640 0 } 1
580 { 581, 590, 582, 290, 99, 496, 668, 190 | -2979318988800 4458836594153 
-1234069784640 0 } 1
581 { 580, 583, 591, 291, 98, 669, 497, 191 | 2979318988800 -4458836594153 
1234069784640 0 } 1
582 { 583, 580, 584, 291, 99, 666, 660, 184 | -203544324192 735424338761 
-491396741088 0 } 1
583 { 582, 585, 581, 292, 98, 661, 667, 185 | 203544324192 -735424338761 
491396741088 0 } 1
584 { 585, 582, 586, 292, 99, 658, 568, 186 | -3856468077 13933819904 
-9310371840 0 } 1
585 { 584, 587, 583, 293, 98, 569, 659, 187 | 3856468077 -13933819904 
9310371840 0 } 1
586 { 587, 584, 588, 293, 99, 578, 486, 152 | -923448946167 1489654644813 
-2229411184640 0 } 1
587 { 586, 589, 585, 294, 98, 487, 579, 153 | 923448946167 -1489654644813 
2229411184640 0 } 1
588 { 589, 586, 590, 294, 99, 484, 400, 158 | -93211791848491 62282581920576 
-38609546785173 0 } 1
589 { 588, 591, 587, 295, 98, 401, 485, 159 | 93211791848491 -62282581920576 
38609546785173 0 } 1
590 { 591, 588, 580, 295, 99, 410, 498, 156 | -2229411184640 1489659494400 
-923448946167 0 } 1
591 { 590, 581, 589, 290, 98, 499, 411, 157 | 2229411184640 -1489659494400 
923448946167 0 } 1
592 { 593, 600, 594, 296, 101, 16, 662, 222 | -18118121083456 91086644186895 
-7504813123904 0 } 1
593 { 592, 595, 601, 297, 100, 663, 17, 223 | 18118121083456 -91086644186895 
7504813123904 0 } 1
594 { 595, 592, 596, 297, 101, 670, 506, 188 | -51596657814240 77219100373969 
-21372154040160 0 } 1
595 { 594, 597, 593, 298, 100, 507, 671, 189 | 51596657814240 -77219100373969 
21372154040160 0 } 1
596 { 597, 594, 598, 298, 101, 504, 512, 162 | -9310371840 13933819904 
3856468077 0 } 1
597 { 596, 599, 595, 299, 100, 513, 505, 163 | 9310371840 -13933819904 
-3856468077 0 } 1
598 { 599, 596, 600, 299, 101, 510, 606, 160 | -491396741088 735424338761 
203544324192 0 } 1
599 { 598, 601, 597, 300, 100, 607, 511, 161 | 491396741088 -735424338761 
-203544324192 0 } 1
600 { 601, 598, 592, 300, 101, 604, 18, 208 | -18118121083456 91086644186895 
7504813123904 0 } 1
601 { 600, 593, 599, 296, 100, 19, 605, 209 | 18118121083456 -91086644186895 
-7504813123904 0 } 1
602 { 603, 610, 604, 301, 103, 614, 20, 210 | -7504813123904 91086644186895 
18118121083456 0 } 1
603 { 602, 605, 611, 302, 102, 21, 615, 211 | 7504813123904 -91086644186895 
-18118121083456 0 } 1
604 { 605, 602, 606, 302, 103, 18, 600, 208 | -18118121083456 91086644186895 
7504813123904 0 } 1
605 { 604, 607, 603, 303, 102, 601, 19, 209 | 18118121083456 -91086644186895 
-7504813123904 0 } 1
606 { 607, 604, 608, 303, 103, 598, 510, 160 | -491396741088 735424338761 
203544324192 0 } 1
607 { 606, 609, 605, 304, 102, 511, 599, 161 | 491396741088 -735424338761 
-203544324192 0 } 1
608 { 609, 606, 610, 304, 103, 508, 524, 166 | -1234069784640 4458836594153 
2979318988800 0 } 1
609 { 608, 611, 607, 305, 102, 525, 509, 167 | 1234069784640 -4458836594153 
-2979318988800 0 } 1
610 { 611, 608, 602, 305, 103, 522, 616, 164 | -21372154040160 77219100373969 
51596657814240 0 } 1
611 { 610, 603, 609, 301, 102, 617, 523, 165 | 21372154040160 -77219100373969 
-51596657814240 0 } 1
612 { 613, 620, 614, 306, 105, 624, 22, 212 | 7504813123904 91086644186895 
18118121083456 0 } 1
613 { 612, 615, 621, 307, 104, 23, 625, 213 | -7504813123904 -91086644186895 
-18118121083456 0 } 1
614 { 615, 612, 616, 307, 105, 20, 602, 210 | -7504813123904 91086644186895 
18118121083456 0 } 1
615 { 614, 617, 613, 308, 104, 603, 21, 211 | 7504813123904 -91086644186895 
-18118121083456 0 } 1
616 { 617, 614, 618, 308, 105, 610, 522, 164 | -21372154040160 77219100373969 
51596657814240 0 } 1
617 { 616, 619, 615, 309, 104, 523, 611, 165 | 21372154040160 -77219100373969 
-51596657814240 0 } 1
618 { 619, 616, 620, 309, 105, 520, 536, 170 | 3856468077 13933819904 
9310371840 0 } 1
619 { 618, 621, 617, 310, 104, 537, 521, 171 | -3856468077 -13933819904 
-9310371840 0 } 1
620 { 621, 618, 612, 310, 105, 534, 626, 168 | 203544324192 735424338761 
491396741088 0 } 1
621 { 620, 613, 619, 306, 104, 627, 535, 169 | -203544324192 -735424338761 
-491396741088 0 } 1
622 { 623, 630, 624, 311, 107, 634, 24, 214 | 18118121083456 91086644186895 
7504813123904 0 } 1
623 { 622, 625, 631, 312, 106, 25, 635, 215 | -18118121083456 -91086644186895 
-7504813123904 0 } 1
624 { 625, 622, 626, 312, 107, 22, 612, 212 | 7504813123904 91086644186895 
18118121083456 0 } 1
625 { 624, 627, 623, 313, 106, 613, 23, 213 | -7504813123904 -91086644186895 
-18118121083456 0 } 1
626 { 627, 624, 628, 313, 107, 620, 534, 168 | 203544324192 735424338761 
491396741088 0 } 1
627 { 626, 629, 625, 314, 106, 535, 621, 169 | -203544324192 -735424338761 
-491396741088 0 } 1
628 { 629, 626, 630, 314, 107, 532, 548, 174 | 2979318988800 4458836594153 
1234069784640 0 } 1
629 { 628, 631, 627, 315, 106, 549, 533, 175 | -2979318988800 -4458836594153 
-1234069784640 0 } 1
630 { 631, 628, 622, 315, 107, 546, 636, 172 | 51596657814240 77219100373969 
21372154040160 0 } 1
631 { 630, 623, 629, 311, 106, 637, 547, 173 | -51596657814240 
-77219100373969 -21372154040160 0 } 1
632 { 633, 640, 634, 316, 109, 644, 26, 216 | 18118121083456 91086644186895 
-7504813123904 0 } 1
633 { 632, 635, 641, 317, 108, 27, 645, 217 | -18118121083456 -91086644186895 
7504813123904 0 } 1
634 { 635, 632, 636, 317, 109, 24, 622, 214 | 18118121083456 91086644186895 
7504813123904 0 } 1
635 { 634, 637, 633, 318, 108, 623, 25, 215 | -18118121083456 -91086644186895 
-7504813123904 0 } 1
636 { 637, 634, 638, 318, 109, 630, 546, 172 | 51596657814240 77219100373969 
21372154040160 0 } 1
637 { 636, 639, 635, 319, 108, 547, 631, 173 | -51596657814240 
-77219100373969 -21372154040160 0 } 1
638 { 639, 636, 640, 319, 109, 544, 560, 178 | 9310371840 13933819904 
-3856468077 0 } 1
639 { 638, 641, 637, 320, 108, 561, 545, 179 | -9310371840 -13933819904 
3856468077 0 } 1
640 { 641, 638, 632, 320, 109, 558, 646, 176 | 491396741088 735424338761 
-203544324192 0 } 1
641 { 640, 633, 639, 316, 108, 647, 559, 177 | -491396741088 -735424338761 
203544324192 0 } 1
642 { 643, 650, 644, 321, 111, 654, 28, 218 | 7504813123904 91086644186895 
-18118121083456 0 } 1
643 { 642, 645, 651, 322, 110, 29, 655, 219 | -7504813123904 -91086644186895 
18118121083456 0 } 1
644 { 645, 642, 646, 322, 111, 26, 632, 216 | 18118121083456 91086644186895 
-7504813123904 0 } 1
645 { 644, 647, 643, 323, 110, 633, 27, 217 | -18118121083456 -91086644186895 
7504813123904 0 } 1
646 { 647, 644, 648, 323, 111, 640, 558, 176 | 491396741088 735424338761 
-203544324192 0 } 1
647 { 646, 649, 645, 324, 110, 559, 641, 177 | -491396741088 -735424338761 
203544324192 0 } 1
648 { 649, 646, 650, 324, 111, 556, 572, 182 | 1234069784640 4458836594153 
-2979318988800 0 } 1
649 { 648, 651, 647, 325, 110, 573, 557, 183 | -1234069784640 -4458836594153 
2979318988800 0 } 1
650 { 651, 648, 642, 325, 111, 570, 656, 180 | 21372154040160 77219100373969 
-51596657814240 0 } 1
651 { 650, 643, 649, 321, 110, 657, 571, 181 | -21372154040160 
-77219100373969 51596657814240 0 } 1
652 { 653, 660, 654, 326, 113, 664, 30, 220 | -7504813123904 91086644186895 
-18118121083456 0 } 1
653 { 652, 655, 661, 327, 112, 31, 665, 221 | 7504813123904 -91086644186895 
18118121083456 0 } 1
654 { 655, 652, 656, 327, 113, 28, 642, 218 | 7504813123904 91086644186895 
-18118121083456 0 } 1
655 { 654, 657, 653, 328, 112, 643, 29, 219 | -7504813123904 -91086644186895 
18118121083456 0 } 1
656 { 657, 654, 658, 328, 113, 650, 570, 180 | 21372154040160 77219100373969 
-51596657814240 0 } 1
657 { 656, 659, 655, 329, 112, 571, 651, 181 | -21372154040160 
-77219100373969 51596657814240 0 } 1
658 { 659, 656, 660, 329, 113, 568, 584, 186 | -3856468077 13933819904 
-9310371840 0 } 1
659 { 658, 661, 657, 330, 112, 585, 569, 187 | 3856468077 -13933819904 
9310371840 0 } 1
660 { 661, 658, 652, 330, 113, 582, 666, 184 | -203544324192 735424338761 
-491396741088 0 } 1
661 { 660, 653, 659, 326, 112, 667, 583, 185 | 203544324192 -735424338761 
491396741088 0 } 1
662 { 663, 670, 664, 331, 115, 592, 16, 222 | -18118121083456 91086644186895 
-7504813123904 0 } 1
663 { 662, 665, 671, 332, 114, 17, 593, 223 | 18118121083456 -91086644186895 
7504813123904 0 } 1
664 { 665, 662, 666, 332, 115, 30, 652, 220 | -7504813123904 91086644186895 
-18118121083456 0 } 1
665 { 664, 667, 663, 333, 114, 653, 31, 221 | 7504813123904 -91086644186895 
18118121083456 0 } 1
666 { 667, 664, 668, 333, 115, 660, 582, 184 | -203544324192 735424338761 
-491396741088 0 } 1
667 { 666, 669, 665, 334, 114, 583, 661, 185 | 203544324192 -735424338761 
491396741088 0 } 1
668 { 669, 666, 670, 334, 115, 580, 496, 190 | -2979318988800 4458836594153 
-1234069784640 0 } 1
669 { 668, 671, 667, 335, 114, 497, 581, 191 | 2979318988800 -4458836594153 
1234069784640 0 } 1
670 { 671, 668, 662, 335, 115, 506, 594, 188 | -51596657814240 77219100373969 
-21372154040160 0 } 1
671 { 670, 663, 669, 331, 114, 595, 507, 189 | 51596657814240 -77219100373969 
21372154040160 0 } 1
0 { 0, 1 , , , 0 } 0
1 { 0, 0 , , , 1 } 1
2 { 1, 17 , , , 0 } 0
3 { 1, 16 , , , 1 } 1
4 { 2, 33 , , , 0 } 0
5 { 2, 32 , , , 1 } 1
6 { 3, 43 , , , 0 } 0
7 { 3, 42 , , , 1 } 1
8 { 4, 53 , , , 0 } 0
9 { 4, 52 , , , 1 } 1
10 { 5, 63 , , , 0 } 0
11 { 5, 62 , , , 1 } 1
12 { 6, 73 , , , 0 } 0
13 { 6, 72 , , , 1 } 1
14 { 7, 83 , , , 0 } 0
15 { 7, 82 , , , 1 } 1
16 { 8, 93 , , , 0 } 0
17 { 8, 92 , , , 1 } 1
18 { 9, 103 , , , 0 } 0
19 { 9, 102 , , , 1 } 1
20 { 10, 113 , , , 0 } 0
21 { 10, 112 , , , 1 } 1
22 { 11, 125 , , , 0 } 0
23 { 11, 124 , , , 1 } 1
24 { 12, 137 , , , 0 } 0
25 { 12, 136 , , , 1 } 1
26 { 13, 149 , , , 0 } 0
27 { 13, 148 , , , 1 } 1
28 { 14, 161 , , , 0 } 0
29 { 14, 160 , , , 1 } 1
30 { 15, 173 , , , 0 } 0
31 { 15, 172 , , , 1 } 1
32 { 16, 185 , , , 0 } 0
33 { 16, 184 , , , 1 } 1
34 { 17, 197 , , , 0 } 0
35 { 17, 196 , , , 1 } 1
36 { 18, 209 , , , 0 } 0
37 { 18, 208 , , , 1 } 1
38 { 19, 221 , , , 0 } 0
39 { 19, 220 , , , 1 } 1
40 { 20, 233 , , , 0 } 0
41 { 20, 232 , , , 1 } 1
42 { 21, 245 , , , 0 } 0
43 { 21, 244 , , , 1 } 1
44 { 22, 257 , , , 0 } 0
45 { 22, 256 , , , 1 } 1
46 { 23, 269 , , , 0 } 0
47 { 23, 268 , , , 1 } 1
48 { 24, 281 , , , 0 } 0
49 { 24, 280 , , , 1 } 1
50 { 25, 293 , , , 0 } 0
51 { 25, 292 , , , 1 } 1
52 { 26, 305 , , , 0 } 0
53 { 26, 304 , , , 1 } 1
54 { 27, 317 , , , 0 } 0
55 { 27, 316 , , , 1 } 1
56 { 28, 329 , , , 0 } 0
57 { 28, 328 , , , 1 } 1
58 { 29, 341 , , , 0 } 0
59 { 29, 340 , , , 1 } 1
60 { 30, 353 , , , 0 } 0
61 { 30, 352 , , , 1 } 1
62 { 31, 365 , , , 0 } 0
63 { 31, 364 , , , 1 } 1
64 { 32, 377 , , , 0 } 0
65 { 32, 376 , , , 1 } 1
66 { 33, 389 , , , 0 } 0
67 { 33, 388 , , , 1 } 1
68 { 34, 401 , , , 0 } 0
69 { 34, 400 , , , 1 } 1
70 { 35, 413 , , , 0 } 0
71 { 35, 412 , , , 1 } 1
72 { 36, 425 , , , 0 } 0
73 { 36, 424 , , , 1 } 1
74 { 37, 437 , , , 0 } 0
75 { 37, 436 , , , 1 } 1
76 { 38, 449 , , , 0 } 0
77 { 38, 448 , , , 1 } 1
78 { 39, 461 , , , 0 } 0
79 { 39, 460 , , , 1 } 1
80 { 40, 473 , , , 0 } 0
81 { 40, 472 , , , 1 } 1
82 { 41, 485 , , , 0 } 0
83 { 41, 484 , , , 1 } 1
84 { 42, 497 , , , 0 } 0
85 { 42, 496 , , , 1 } 1
86 { 43, 509 , , , 0 } 0
87 { 43, 508 , , , 1 } 1
88 { 44, 521 , , , 0 } 0
89 { 44, 520 , , , 1 } 1
90 { 45, 533 , , , 0 } 0
91 { 45, 532 , , , 1 } 1
92 { 46, 545 , , , 0 } 0
93 { 46, 544 , , , 1 } 1
94 { 47, 557 , , , 0 } 0
95 { 47, 556 , , , 1 } 1
96 { 48, 569 , , , 0 } 0
97 { 48, 568 , , , 1 } 1
98 { 49, 581 , , , 0 } 0
99 { 49, 580 , , , 1 } 1
100 { 50, 593 , , , 0 } 0
101 { 50, 592 , , , 1 } 1
102 { 51, 603 , , , 0 } 0
103 { 51, 602 , , , 1 } 1
104 { 52, 613 , , , 0 } 0
105 { 52, 612 , , , 1 } 1
106 { 53, 623 , , , 0 } 0
107 { 53, 622 , , , 1 } 1
108 { 54, 633 , , , 0 } 0
109 { 54, 632 , , , 1 } 1
110 { 55, 643 , , , 0 } 0
111 { 55, 642 , , , 1 } 1
112 { 56, 653 , , , 0 } 0
113 { 56, 652 , , , 1 } 1
114 { 57, 663 , , , 0 } 0
115 { 57, 662 , , , 1 } 1
/* end Selective Nef complex */