================================================================
reLOC 0.05-legio : Multirobot Solution reSolver
(C) Copyright 2011-2012 Pavel Surynek
----------------------------------------------------------------
window size:16
Reading graph...
0,1
0,16
1,2
1,66
2,3
3,4
3,76
3,127
3,196
4,5
4,20
4,171
5,6
5,189
6,7
7,8
7,26
8,9
8,25
9,10
9,36
9,90
10,11
10,137
11,12
11,21
11,64
11,75
11,85
12,13
12,77
13,14
14,15
14,125
15,16
15,124
16,17
16,197
17,18
18,19
19,20
21,22
22,23
23,24
23,51
23,176
24,25
24,122
26,27
27,28
28,29
28,94
29,30
30,31
30,37
30,92
31,32
31,95
32,33
33,34
33,67
34,35
34,52
35,36
35,84
36,123
37,38
38,39
39,40
40,41
41,42
42,43
43,44
44,45
45,46
45,78
46,47
46,103
46,119
47,48
48,49
48,228
48,242
49,50
50,51
51,65
52,53
53,54
53,108
54,55
55,56
55,210
56,57
57,58
58,59
59,60
60,61
60,126
61,62
61,104
62,63
62,91
63,64
65,66
66,120
67,68
68,69
69,70
69,133
70,71
70,93
70,227
71,72
72,73
73,74
74,75
76,77
78,79
79,80
79,177
80,81
80,107
81,82
82,83
83,84
85,86
86,87
87,88
88,89
89,90
89,132
91,92
93,94
94,190
95,96
96,97
96,159
97,98
97,172
98,99
99,100
99,145
100,101
101,102
102,103
103,160
104,105
105,106
106,107
107,146
108,109
109,110
110,111
111,112
112,113
113,114
114,115
115,116
116,117
117,118
117,170
118,119
120,121
120,138
121,122
123,124
125,126
127,128
128,129
129,130
130,131
131,132
131,214
133,134
134,135
135,136
136,137
138,139
139,140
140,141
141,142
142,143
143,144
144,145
145,169
146,147
147,148
148,149
149,150
150,151
151,152
152,153
153,154
154,155
155,156
156,157
157,158
158,159
159,241
160,161
161,162
162,163
163,164
163,209
164,165
165,166
166,167
167,168
168,169
170,171
171,215
172,173
173,174
174,175
175,176
177,178
178,179
179,180
180,181
181,182
182,183
183,184
184,185
185,186
186,187
186,254
187,188
188,189
188,255
190,191
191,192
192,193
193,194
194,195
195,196
197,198
198,199
199,200
200,201
201,202
202,203
203,204
204,205
205,206
206,207
207,208
208,209
210,211
211,212
212,213
213,214
213,268
215,216
216,217
217,218
218,219
219,220
220,221
221,222
222,223
223,224
224,225
225,226
226,227
228,229
229,230
230,231
231,232
232,233
233,234
234,235
235,236
236,237
237,238
238,239
239,240
240,241
242,243
243,244
244,245
245,246
246,247
247,248
248,249
249,250
250,251
251,252
252,253
253,254
255,256
256,257
257,258
258,259
259,260
260,261
261,262
262,263
263,264
264,265
265,266
266,267
267,268
Reading initial arrangement...
Reading original solution...
Length:2222
250 # 170 ---> 171 (0)
240 # 78 ---> 45 (0)
235 # 187 ---> 186 (0)
234 # 189 ---> 188 (0)
250 # 171 ---> 4 (1)
240 # 45 ---> 46 (1)
234 # 188 ---> 187 (1)
247 # 236 ---> 237 (0)
263 # 47 ---> 48 (0)
240 # 46 ---> 47 (2)
246 # 240 ---> 241 (0)
261 # 238 ---> 239 (0)
247 # 237 ---> 238 (1)
263 # 48 ---> 228 (1)
240 # 47 ---> 48 (3)
246 # 241 ---> 159 (1)
261 # 239 ---> 240 (1)
247 # 238 ---> 239 (2)
263 # 228 ---> 229 (2)
240 # 48 ---> 228 (4)
246 # 159 ---> 96 (2)
261 # 240 ---> 241 (2)
247 # 239 ---> 240 (3)
263 # 229 ---> 230 (3)
240 # 228 ---> 229 (5)
246 # 96 ---> 97 (3)
261 # 241 ---> 159 (3)
247 # 240 ---> 241 (4)
263 # 230 ---> 231 (4)
240 # 229 ---> 230 (6)
261 # 159 ---> 96 (4)
247 # 241 ---> 159 (5)
263 # 231 ---> 232 (5)
240 # 230 ---> 231 (7)
232 # 91 ---> 62 (0)
261 # 96 ---> 95 (5)
247 # 159 ---> 96 (6)
263 # 232 ---> 233 (6)
240 # 231 ---> 232 (8)
244 # 44 ---> 45 (1)
261 # 95 ---> 31 (6)
247 # 96 ---> 95 (7)
261 # 31 ---> 30 (7)
247 # 95 ---> 31 (8)
252 # 29 ---> 28 (0)
261 # 30 ---> 29 (8)
247 # 31 ---> 30 (9)
252 # 28 ---> 27 (1)
261 # 29 ---> 28 (9)
247 # 30 ---> 29 (10)
252 # 27 ---> 26 (2)
261 # 28 ---> 27 (10)
247 # 29 ---> 28 (11)
252 # 26 ---> 7 (3)
261 # 27 ---> 26 (11)
247 # 28 ---> 27 (12)
252 # 7 ---> 8 (4)
261 # 26 ---> 7 (12)
247 # 27 ---> 26 (13)
252 # 8 ---> 9 (5)
261 # 7 ---> 8 (13)
247 # 26 ---> 7 (14)
247 # 7 ---> 6 (15)
261 # 8 ---> 7 (15)
247 # 6 ---> 5 (16)
247 # 5 ---> 189 (17)
247 # 189 ---> 188 (18)
247 # 188 ---> 255 (19)
261 # 7 ---> 6 (16)
261 # 6 ---> 5 (17)
261 # 5 ---> 189 (18)
261 # 189 ---> 188 (19)
247 # 255 ---> 256 (20)
261 # 188 ---> 255 (20)
250 # 4 ---> 5 (18)
250 # 5 ---> 6 (19)
247 # 256 ---> 257 (21)
261 # 255 ---> 256 (21)
244 # 45 ---> 78 (2)
234 # 187 ---> 188 (20)
244 # 78 ---> 79 (3)
234 # 188 ---> 189 (21)
235 # 186 ---> 187 (20)
244 # 79 ---> 177 (4)
234 # 189 ---> 5 (22)
247 # 257 ---> 258 (22)
261 # 256 ---> 257 (22)
247 # 258 ---> 259 (23)
261 # 257 ---> 258 (23)
235 # 187 ---> 188 (21)
247 # 259 ---> 260 (24)
261 # 258 ---> 259 (24)
235 # 188 ---> 255 (22)
247 # 260 ---> 261 (25)
261 # 259 ---> 260 (25)
235 # 255 ---> 256 (23)
247 # 261 ---> 262 (26)
261 # 260 ---> 261 (26)
235 # 256 ---> 257 (24)
247 # 262 ---> 263 (27)
261 # 261 ---> 262 (27)
235 # 257 ---> 258 (25)
247 # 263 ---> 264 (28)
261 # 262 ---> 263 (28)
235 # 258 ---> 259 (26)
247 # 264 ---> 265 (29)
261 # 263 ---> 264 (29)
235 # 259 ---> 260 (27)
238 # 1 ---> 0 (0)
252 # 9 ---> 8 (15)
238 # 0 ---> 16 (1)
234 # 5 ---> 4 (23)
250 # 6 ---> 5 (23)
252 # 8 ---> 7 (16)
238 # 16 ---> 15 (2)
247 # 265 ---> 266 (30)
261 # 264 ---> 265 (30)
235 # 260 ---> 261 (28)
248 # 136 ---> 137 (0)
248 # 137 ---> 10 (1)
248 # 10 ---> 9 (15)
248 # 9 ---> 8 (16)
238 # 15 ---> 14 (3)
234 # 4 ---> 3 (24)
250 # 5 ---> 4 (24)
252 # 7 ---> 6 (23)
248 # 8 ---> 7 (23)
238 # 14 ---> 13 (4)
234 # 3 ---> 2 (25)
250 # 4 ---> 3 (25)
252 # 6 ---> 5 (24)
248 # 7 ---> 6 (24)
252 # 5 ---> 4 (25)
248 # 6 ---> 5 (25)
248 # 5 ---> 189 (26)
248 # 189 ---> 188 (27)
247 # 266 ---> 267 (31)
261 # 265 ---> 266 (31)
235 # 261 ---> 262 (29)
248 # 188 ---> 255 (28)
252 # 4 ---> 5 (26)
265 # 17 ---> 16 (2)
250 # 3 ---> 4 (26)
234 # 2 ---> 3 (26)
265 # 16 ---> 0 (3)
250 # 4 ---> 20 (27)
265 # 0 ---> 1 (4)
252 # 5 ---> 6 (27)
265 # 1 ---> 2 (26)
243 # 254 ---> 186 (20)
249 # 251 ---> 252 (0)
243 # 186 ---> 187 (21)
249 # 252 ---> 253 (1)
243 # 187 ---> 188 (28)
241 # 201 ---> 200 (0)
241 # 200 ---> 199 (1)
241 # 199 ---> 198 (2)
241 # 198 ---> 197 (3)
241 # 197 ---> 16 (4)
241 # 16 ---> 0 (5)
241 # 0 ---> 1 (26)
241 # 1 ---> 66 (27)
241 # 66 ---> 65 (28)
241 # 65 ---> 51 (29)
241 # 51 ---> 50 (30)
241 # 50 ---> 49 (31)
241 # 49 ---> 48 (32)
249 # 253 ---> 254 (20)
241 # 48 ---> 242 (33)
243 # 188 ---> 189 (29)
249 # 254 ---> 186 (21)
241 # 242 ---> 243 (34)
243 # 189 ---> 5 (30)
249 # 186 ---> 187 (28)
241 # 243 ---> 244 (35)
243 # 5 ---> 4 (31)
249 # 187 ---> 188 (29)
259 # 82 ---> 81 (0)
259 # 81 ---> 80 (1)
259 # 80 ---> 79 (4)
259 # 79 ---> 78 (5)
259 # 78 ---> 45 (6)
259 # 45 ---> 46 (7)
259 # 46 ---> 47 (8)
241 # 244 ---> 245 (36)
243 # 4 ---> 171 (32)
249 # 188 ---> 189 (30)
241 # 245 ---> 246 (37)
243 # 171 ---> 170 (33)
249 # 189 ---> 5 (31)
251 # 74 ---> 75 (0)
251 # 75 ---> 11 (1)
251 # 11 ---> 21 (2)
251 # 21 ---> 22 (3)
251 # 22 ---> 23 (4)
251 # 23 ---> 51 (30)
251 # 51 ---> 50 (31)
251 # 50 ---> 49 (32)
251 # 49 ---> 48 (33)
241 # 246 ---> 247 (38)
251 # 48 ---> 242 (34)
259 # 47 ---> 48 (34)
243 # 170 ---> 117 (34)
258 # 220 ---> 219 (0)
258 # 219 ---> 218 (1)
258 # 218 ---> 217 (2)
252 # 6 ---> 7 (28)
268 # 216 ---> 215 (0)
258 # 217 ---> 216 (3)
268 # 215 ---> 171 (33)
258 # 216 ---> 215 (33)
268 # 171 ---> 4 (34)
258 # 215 ---> 171 (34)
258 # 171 ---> 170 (35)
268 # 4 ---> 171 (35)
259 # 48 ---> 49 (35)
243 # 117 ---> 118 (35)
258 # 170 ---> 117 (36)
268 # 171 ---> 170 (36)
243 # 118 ---> 119 (36)
258 # 117 ---> 118 (37)
236 # 113 ---> 114 (0)
257 # 111 ---> 112 (0)
242 # 109 ---> 110 (0)
243 # 119 ---> 46 (37)
258 # 118 ---> 119 (38)
236 # 114 ---> 115 (1)
257 # 112 ---> 113 (1)
242 # 110 ---> 111 (1)
243 # 46 ---> 45 (38)
258 # 119 ---> 46 (39)
258 # 46 ---> 47 (40)
258 # 47 ---> 48 (41)
241 # 247 ---> 248 (39)
251 # 242 ---> 243 (35)
258 # 48 ---> 242 (42)
268 # 170 ---> 117 (37)
268 # 117 ---> 118 (38)
243 # 45 ---> 78 (39)
268 # 118 ---> 119 (39)
236 # 115 ---> 116 (2)
257 # 113 ---> 114 (2)
242 # 111 ---> 112 (2)
243 # 78 ---> 79 (40)
268 # 119 ---> 46 (40)
236 # 116 ---> 117 (38)
257 # 114 ---> 115 (3)
242 # 112 ---> 113 (3)
243 # 79 ---> 80 (41)
268 # 46 ---> 45 (41)
241 # 248 ---> 249 (40)
251 # 243 ---> 244 (36)
258 # 242 ---> 243 (43)
236 # 117 ---> 118 (39)
249 # 5 ---> 4 (35)
268 # 45 ---> 44 (42)
241 # 249 ---> 250 (41)
251 # 244 ---> 245 (37)
258 # 243 ---> 244 (44)
241 # 250 ---> 251 (42)
251 # 245 ---> 246 (38)
258 # 244 ---> 245 (45)
244 # 177 ---> 79 (41)
244 # 79 ---> 78 (42)
244 # 78 ---> 45 (43)
243 # 80 ---> 79 (42)
259 # 49 ---> 50 (36)
244 # 45 ---> 46 (44)
243 # 79 ---> 78 (43)
259 # 50 ---> 51 (37)
244 # 46 ---> 47 (45)
252 # 7 ---> 26 (29)
259 # 51 ---> 23 (38)
244 # 47 ---> 48 (46)
252 # 26 ---> 27 (30)
259 # 23 ---> 24 (39)
244 # 48 ---> 49 (47)
241 # 251 ---> 252 (43)
251 # 246 ---> 247 (39)
258 # 245 ---> 246 (46)
236 # 118 ---> 119 (40)
259 # 24 ---> 25 (40)
244 # 49 ---> 50 (48)
243 # 78 ---> 45 (44)
259 # 25 ---> 8 (41)
244 # 50 ---> 51 (49)
243 # 45 ---> 46 (45)
259 # 8 ---> 9 (42)
244 # 51 ---> 23 (50)
243 # 46 ---> 47 (46)
252 # 27 ---> 28 (31)
244 # 23 ---> 24 (51)
243 # 47 ---> 48 (47)
268 # 44 ---> 45 (45)
237 # 43 ---> 44 (45)
252 # 28 ---> 29 (32)
244 # 24 ---> 25 (52)
243 # 48 ---> 49 (48)
263 # 233 ---> 234 (7)
240 # 232 ---> 233 (9)
263 # 234 ---> 235 (8)
240 # 233 ---> 234 (10)
246 # 97 ---> 98 (4)
259 # 9 ---> 36 (43)
244 # 25 ---> 8 (53)
243 # 49 ---> 50 (49)
268 # 45 ---> 46 (46)
259 # 36 ---> 35 (44)
244 # 8 ---> 9 (54)
243 # 50 ---> 51 (50)
268 # 46 ---> 47 (47)
243 # 51 ---> 23 (51)
268 # 47 ---> 48 (48)
237 # 44 ---> 45 (46)
243 # 23 ---> 24 (52)
268 # 48 ---> 49 (49)
237 # 45 ---> 46 (47)
243 # 24 ---> 25 (53)
268 # 49 ---> 50 (50)
263 # 235 ---> 236 (9)
240 # 234 ---> 235 (11)
237 # 46 ---> 47 (48)
246 # 98 ---> 99 (5)
249 # 4 ---> 171 (36)
268 # 50 ---> 51 (51)
237 # 47 ---> 48 (49)
236 # 119 ---> 46 (48)
249 # 171 ---> 170 (37)
257 # 115 ---> 116 (38)
242 # 113 ---> 114 (4)
259 # 35 ---> 34 (45)
257 # 116 ---> 117 (39)
259 # 34 ---> 52 (46)
243 # 25 ---> 8 (54)
268 # 51 ---> 23 (52)
263 # 236 ---> 237 (10)
240 # 235 ---> 236 (12)
246 # 99 ---> 100 (6)
263 # 237 ---> 238 (11)
240 # 236 ---> 237 (13)
237 # 48 ---> 228 (50)
246 # 100 ---> 101 (7)
244 # 9 ---> 36 (55)
268 # 23 ---> 24 (53)
244 # 36 ---> 35 (56)
236 # 46 ---> 47 (49)
263 # 238 ---> 239 (12)
240 # 237 ---> 238 (14)
237 # 228 ---> 229 (51)
246 # 101 ---> 102 (8)
232 # 62 ---> 63 (1)
232 # 63 ---> 64 (2)
259 # 52 ---> 53 (47)
232 # 64 ---> 11 (3)
259 # 53 ---> 54 (48)
232 # 11 ---> 10 (15)
263 # 239 ---> 240 (13)
240 # 238 ---> 239 (15)
237 # 229 ---> 230 (52)
236 # 47 ---> 48 (50)
246 # 102 ---> 103 (9)
257 # 117 ---> 118 (40)
257 # 118 ---> 119 (48)
257 # 119 ---> 46 (49)
257 # 46 ---> 47 (50)
268 # 24 ---> 25 (54)
236 # 48 ---> 49 (51)
257 # 47 ---> 48 (51)
263 # 240 ---> 241 (14)
240 # 239 ---> 240 (16)
237 # 230 ---> 231 (53)
257 # 48 ---> 228 (52)
246 # 103 ---> 46 (50)
236 # 49 ---> 50 (52)
246 # 46 ---> 47 (51)
236 # 50 ---> 51 (53)
236 # 51 ---> 23 (54)
263 # 241 ---> 159 (15)
240 # 240 ---> 241 (17)
237 # 231 ---> 232 (54)
257 # 228 ---> 229 (53)
263 # 159 ---> 96 (16)
254 # 126 ---> 125 (0)
254 # 125 ---> 14 (4)
238 # 13 ---> 12 (5)
254 # 14 ---> 13 (5)
232 # 10 ---> 9 (55)
238 # 12 ---> 11 (15)
254 # 13 ---> 12 (15)
238 # 11 ---> 10 (55)
254 # 12 ---> 11 (55)
254 # 11 ---> 21 (56)
254 # 21 ---> 22 (57)
236 # 23 ---> 24 (55)
254 # 22 ---> 23 (58)
254 # 23 ---> 51 (59)
254 # 51 ---> 50 (60)
236 # 24 ---> 23 (59)
254 # 50 ---> 49 (61)
254 # 49 ---> 48 (62)
240 # 241 ---> 159 (18)
237 # 232 ---> 233 (55)
257 # 229 ---> 230 (54)
254 # 48 ---> 228 (63)
263 # 96 ---> 97 (17)
240 # 159 ---> 96 (19)
237 # 233 ---> 234 (56)
257 # 230 ---> 231 (55)
254 # 228 ---> 229 (64)
263 # 97 ---> 98 (18)
240 # 96 ---> 97 (20)
237 # 234 ---> 235 (57)
257 # 231 ---> 232 (56)
254 # 229 ---> 230 (65)
263 # 98 ---> 99 (19)
240 # 97 ---> 98 (21)
237 # 235 ---> 236 (58)
257 # 232 ---> 233 (57)
254 # 230 ---> 231 (66)
263 # 99 ---> 100 (20)
240 # 98 ---> 99 (22)
249 # 170 ---> 117 (40)
249 # 117 ---> 118 (48)
249 # 118 ---> 119 (49)
249 # 119 ---> 46 (51)
244 # 35 ---> 34 (57)
237 # 236 ---> 237 (59)
257 # 233 ---> 234 (58)
254 # 231 ---> 232 (67)
263 # 100 ---> 101 (21)
240 # 99 ---> 100 (23)
232 # 9 ---> 36 (56)
232 # 36 ---> 35 (57)
232 # 35 ---> 84 (58)
232 # 84 ---> 83 (59)
244 # 34 ---> 35 (58)
244 # 35 ---> 84 (59)
245 # 93 ---> 94 (0)
260 # 70 ---> 93 (0)
245 # 94 ---> 28 (32)
260 # 93 ---> 94 (32)
265 # 2 ---> 1 (27)
250 # 20 ---> 4 (36)
265 # 1 ---> 0 (28)
234 # 3 ---> 2 (27)
250 # 4 ---> 3 (37)
245 # 28 ---> 27 (33)
260 # 94 ---> 28 (33)
245 # 27 ---> 26 (34)
260 # 28 ---> 27 (34)
264 # 71 ---> 72 (0)
264 # 72 ---> 73 (1)
264 # 73 ---> 74 (2)
264 # 74 ---> 75 (3)
264 # 75 ---> 11 (56)
264 # 11 ---> 12 (57)
264 # 12 ---> 77 (58)
264 # 77 ---> 76 (59)
234 # 2 ---> 1 (28)
250 # 3 ---> 2 (38)
264 # 76 ---> 3 (60)
264 # 3 ---> 4 (61)
264 # 4 ---> 171 (62)
264 # 171 ---> 215 (63)
245 # 26 ---> 7 (35)
260 # 27 ---> 26 (35)
255 # 135 ---> 136 (0)
255 # 136 ---> 137 (1)
238 # 10 ---> 9 (56)
255 # 137 ---> 10 (56)
255 # 10 ---> 11 (57)
255 # 11 ---> 12 (58)
255 # 12 ---> 77 (59)
255 # 77 ---> 76 (60)
255 # 76 ---> 3 (61)
255 # 3 ---> 4 (62)
255 # 4 ---> 171 (63)
264 # 215 ---> 216 (64)
255 # 171 ---> 215 (64)
245 # 7 ---> 6 (36)
260 # 26 ---> 7 (36)
264 # 216 ---> 217 (65)
255 # 215 ---> 216 (65)
264 # 217 ---> 218 (66)
255 # 216 ---> 217 (66)
259 # 54 ---> 55 (49)
238 # 9 ---> 36 (57)
266 # 211 ---> 212 (0)
259 # 55 ---> 210 (50)
238 # 36 ---> 35 (59)
266 # 212 ---> 213 (1)
259 # 210 ---> 211 (51)
238 # 35 ---> 34 (60)
266 # 213 ---> 214 (2)
259 # 211 ---> 212 (52)
238 # 34 ---> 52 (61)
266 # 214 ---> 131 (3)
259 # 212 ---> 213 (53)
264 # 218 ---> 219 (67)
255 # 217 ---> 218 (67)
266 # 131 ---> 130 (4)
264 # 219 ---> 220 (68)
255 # 218 ---> 219 (68)
259 # 213 ---> 214 (54)
249 # 46 ---> 45 (52)
249 # 45 ---> 78 (53)
244 # 84 ---> 35 (60)
249 # 78 ---> 79 (54)
244 # 35 ---> 36 (61)
232 # 83 ---> 84 (60)
249 # 79 ---> 80 (55)
244 # 36 ---> 9 (62)
232 # 84 ---> 35 (61)
268 # 25 ---> 24 (59)
243 # 8 ---> 25 (59)
259 # 214 ---> 131 (55)
259 # 131 ---> 132 (56)
234 # 1 ---> 66 (29)
250 # 2 ---> 1 (39)
234 # 66 ---> 65 (30)
250 # 1 ---> 66 (40)
265 # 0 ---> 1 (40)
244 # 9 ---> 10 (63)
265 # 1 ---> 2 (41)
244 # 10 ---> 11 (64)
260 # 7 ---> 8 (59)
265 # 2 ---> 3 (62)
244 # 11 ---> 12 (65)
260 # 8 ---> 9 (63)
245 # 6 ---> 7 (59)
265 # 3 ---> 4 (63)
260 # 9 ---> 10 (64)
245 # 7 ---> 8 (63)
259 # 132 ---> 89 (57)
259 # 89 ---> 90 (58)
260 # 10 ---> 11 (65)
260 # 11 ---> 64 (66)
259 # 90 ---> 9 (64)
265 # 4 ---> 171 (64)
250 # 66 ---> 1 (41)
234 # 65 ---> 66 (41)
250 # 1 ---> 0 (42)
234 # 66 ---> 1 (42)
236 # 23 ---> 51 (60)
244 # 12 ---> 11 (66)
250 # 0 ---> 16 (43)
234 # 1 ---> 0 (43)
236 # 51 ---> 65 (61)
268 # 24 ---> 23 (60)
243 # 25 ---> 24 (60)
245 # 8 ---> 25 (64)
250 # 16 ---> 15 (44)
250 # 15 ---> 14 (45)
253 # 204 ---> 205 (0)
236 # 65 ---> 66 (62)
246 # 47 ---> 48 (63)
253 # 205 ---> 206 (1)
236 # 66 ---> 1 (63)
246 # 48 ---> 49 (64)
253 # 206 ---> 207 (2)
246 # 49 ---> 50 (65)
253 # 207 ---> 208 (3)
234 # 0 ---> 16 (44)
246 # 50 ---> 51 (66)
259 # 9 ---> 8 (65)
244 # 11 ---> 10 (67)
250 # 14 ---> 13 (46)
234 # 16 ---> 15 (45)
259 # 8 ---> 7 (66)
244 # 10 ---> 9 (68)
250 # 13 ---> 12 (66)
234 # 15 ---> 14 (46)
259 # 7 ---> 6 (67)
244 # 9 ---> 8 (69)
250 # 12 ---> 11 (67)
234 # 14 ---> 13 (66)
236 # 1 ---> 0 (64)
259 # 6 ---> 5 (68)
244 # 8 ---> 7 (70)
250 # 11 ---> 10 (68)
234 # 13 ---> 12 (67)
236 # 0 ---> 16 (65)
259 # 5 ---> 4 (69)
244 # 7 ---> 6 (71)
234 # 12 ---> 11 (68)
236 # 16 ---> 15 (66)
253 # 208 ---> 209 (4)
246 # 51 ---> 65 (67)
260 # 64 ---> 63 (67)
234 # 11 ---> 64 (69)
250 # 10 ---> 9 (69)
236 # 15 ---> 14 (67)
253 # 209 ---> 163 (5)
246 # 65 ---> 66 (68)
253 # 163 ---> 162 (6)
236 # 14 ---> 13 (68)
246 # 66 ---> 1 (69)
268 # 23 ---> 51 (67)
236 # 13 ---> 12 (69)
246 # 1 ---> 0 (70)
268 # 51 ---> 65 (68)
243 # 24 ---> 23 (67)
245 # 25 ---> 24 (67)
250 # 9 ---> 8 (70)
236 # 12 ---> 11 (70)
246 # 0 ---> 16 (71)
236 # 11 ---> 10 (71)
246 # 16 ---> 15 (72)
268 # 65 ---> 66 (69)
253 # 162 ---> 161 (7)
236 # 10 ---> 9 (72)
246 # 15 ---> 14 (73)
268 # 66 ---> 1 (70)
253 # 161 ---> 160 (8)
236 # 9 ---> 90 (73)
259 # 4 ---> 3 (70)
244 # 6 ---> 5 (72)
250 # 8 ---> 7 (71)
246 # 14 ---> 13 (74)
268 # 1 ---> 0 (71)
259 # 3 ---> 2 (71)
244 # 5 ---> 4 (73)
250 # 7 ---> 6 (72)
246 # 13 ---> 12 (75)
268 # 0 ---> 16 (72)
259 # 2 ---> 1 (72)
244 # 4 ---> 3 (74)
246 # 12 ---> 11 (76)
268 # 16 ---> 15 (73)
259 # 1 ---> 0 (73)
253 # 160 ---> 103 (50)
246 # 11 ---> 10 (77)
268 # 15 ---> 14 (74)
259 # 0 ---> 16 (74)
253 # 103 ---> 46 (52)
263 # 101 ---> 102 (22)
240 # 100 ---> 101 (24)
265 # 171 ---> 170 (65)
246 # 10 ---> 9 (78)
268 # 14 ---> 13 (75)
259 # 16 ---> 15 (75)
246 # 9 ---> 36 (79)
246 # 36 ---> 123 (80)
246 # 123 ---> 124 (81)
268 # 13 ---> 12 (76)
259 # 15 ---> 14 (76)
246 # 124 ---> 15 (82)
246 # 15 ---> 16 (83)
246 # 16 ---> 197 (84)
232 # 35 ---> 34 (62)
252 # 29 ---> 28 (34)
232 # 34 ---> 33 (63)
244 # 3 ---> 2 (75)
232 # 33 ---> 32 (64)
265 # 170 ---> 117 (66)
268 # 12 ---> 77 (77)
238 # 52 ---> 34 (63)
252 # 28 ---> 27 (35)
232 # 32 ---> 31 (65)
252 # 27 ---> 26 (36)
232 # 31 ---> 30 (66)
252 # 26 ---> 7 (72)
252 # 7 ---> 8 (73)
243 # 23 ---> 51 (68)
245 # 24 ---> 23 (68)
267 # 122 ---> 24 (68)
244 # 2 ---> 1 (76)
250 # 6 ---> 7 (73)
253 # 46 ---> 47 (63)
250 # 7 ---> 26 (74)
252 # 8 ---> 7 (74)
232 # 30 ---> 37 (67)
250 # 26 ---> 27 (75)
252 # 7 ---> 26 (75)
267 # 24 ---> 25 (69)
245 # 23 ---> 24 (69)
245 # 24 ---> 122 (70)
267 # 25 ---> 8 (74)
249 # 80 ---> 107 (56)
234 # 64 ---> 11 (77)
233 # 104 ---> 61 (0)
233 # 61 ---> 62 (1)
233 # 62 ---> 91 (2)
250 # 27 ---> 28 (76)
250 # 28 ---> 29 (77)
267 # 8 ---> 7 (75)
250 # 29 ---> 30 (78)
266 # 130 ---> 131 (56)
234 # 11 ---> 12 (78)
236 # 90 ---> 9 (79)
265 # 117 ---> 118 (67)
265 # 118 ---> 119 (68)
265 # 119 ---> 46 (69)
262 # 144 ---> 145 (0)
262 # 145 ---> 99 (23)
262 # 99 ---> 100 (24)
250 # 30 ---> 31 (79)
232 # 37 ---> 30 (79)
265 # 46 ---> 45 (70)
263 # 102 ---> 103 (52)
240 # 101 ---> 102 (52)
262 # 100 ---> 101 (52)
250 # 31 ---> 95 (80)
232 # 30 ---> 31 (80)
265 # 45 ---> 44 (71)
263 # 103 ---> 46 (70)
240 # 102 ---> 103 (70)
262 # 101 ---> 102 (70)
250 # 95 ---> 96 (81)
265 # 44 ---> 43 (72)
263 # 46 ---> 45 (71)
240 # 103 ---> 46 (71)
262 # 102 ---> 103 (71)
265 # 43 ---> 42 (73)
263 # 45 ---> 44 (72)
240 # 46 ---> 45 (72)
262 # 103 ---> 46 (72)
265 # 42 ---> 41 (74)
263 # 44 ---> 43 (73)
240 # 45 ---> 44 (73)
262 # 46 ---> 45 (73)
262 # 45 ---> 78 (74)
262 # 78 ---> 79 (75)
262 # 79 ---> 177 (76)
262 # 177 ---> 178 (77)
239 # 85 ---> 11 (78)
239 # 11 ---> 10 (79)
234 # 12 ---> 11 (79)
259 # 14 ---> 13 (77)
236 # 9 ---> 8 (80)
239 # 10 ---> 9 (80)
239 # 9 ---> 36 (81)
239 # 36 ---> 35 (82)
239 # 35 ---> 84 (83)
239 # 84 ---> 83 (84)
239 # 83 ---> 82 (85)
239 # 82 ---> 81 (86)
239 # 81 ---> 80 (87)
239 # 80 ---> 79 (88)
262 # 178 ---> 179 (78)
239 # 79 ---> 177 (89)
262 # 179 ---> 180 (79)
239 # 177 ---> 178 (90)
262 # 180 ---> 181 (80)
239 # 178 ---> 179 (91)
243 # 51 ---> 50 (69)
265 # 41 ---> 40 (75)
263 # 43 ---> 42 (74)
240 # 44 ---> 43 (74)
243 # 50 ---> 49 (70)
265 # 40 ---> 39 (76)
263 # 42 ---> 41 (75)
240 # 43 ---> 42 (75)
253 # 47 ---> 46 (73)
243 # 49 ---> 48 (71)
236 # 8 ---> 25 (81)
265 # 39 ---> 38 (77)
263 # 41 ---> 40 (76)
240 # 42 ---> 41 (76)
253 # 46 ---> 45 (74)
243 # 48 ---> 47 (73)
236 # 25 ---> 24 (82)
267 # 7 ---> 8 (81)
265 # 38 ---> 37 (79)
263 # 40 ---> 39 (77)
240 # 41 ---> 40 (77)
253 # 45 ---> 44 (75)
262 # 181 ---> 182 (81)
239 # 179 ---> 180 (92)
244 # 1 ---> 66 (77)
244 # 66 ---> 65 (78)
244 # 65 ---> 51 (79)
244 # 51 ---> 50 (80)
244 # 50 ---> 49 (81)
244 # 49 ---> 48 (82)
236 # 24 ---> 23 (83)
267 # 8 ---> 25 (82)
252 # 26 ---> 7 (81)
265 # 37 ---> 30 (80)
263 # 39 ---> 38 (79)
240 # 40 ---> 39 (79)
253 # 44 ---> 43 (76)
243 # 47 ---> 46 (74)
244 # 48 ---> 47 (83)
236 # 23 ---> 51 (84)
267 # 25 ---> 24 (83)
265 # 30 ---> 29 (81)
263 # 38 ---> 37 (80)
243 # 46 ---> 45 (75)
244 # 47 ---> 46 (84)
267 # 24 ---> 23 (84)
265 # 29 ---> 28 (82)
263 # 37 ---> 30 (81)
243 # 45 ---> 44 (76)
244 # 46 ---> 45 (85)
244 # 45 ---> 78 (86)
244 # 78 ---> 79 (89)
262 # 182 ---> 183 (82)
239 # 180 ---> 181 (93)
244 # 79 ---> 177 (90)
234 # 11 ---> 10 (80)
265 # 28 ---> 94 (83)
259 # 13 ---> 12 (79)
263 # 30 ---> 29 (82)
262 # 183 ---> 184 (83)
239 # 181 ---> 182 (94)
244 # 177 ---> 178 (91)
259 # 12 ---> 11 (80)
262 # 184 ---> 185 (84)
239 # 182 ---> 183 (95)
244 # 178 ---> 179 (92)
262 # 185 ---> 186 (85)
239 # 183 ---> 184 (96)
244 # 179 ---> 180 (93)
267 # 23 ---> 22 (85)
232 # 31 ---> 95 (81)
233 # 91 ---> 92 (3)
259 # 11 ---> 64 (81)
267 # 22 ---> 21 (86)
260 # 63 ---> 62 (68)
259 # 64 ---> 63 (82)
263 # 29 ---> 28 (83)
233 # 92 ---> 30 (82)
260 # 62 ---> 91 (69)
259 # 63 ---> 62 (83)
263 # 28 ---> 27 (84)
233 # 30 ---> 29 (83)
240 # 39 ---> 38 (80)
240 # 38 ---> 37 (81)
240 # 37 ---> 30 (83)
240 # 30 ---> 31 (84)
260 # 91 ---> 92 (82)
259 # 62 ---> 91 (84)
267 # 21 ---> 11 (87)
267 # 11 ---> 12 (88)
234 # 10 ---> 11 (88)
263 # 27 ---> 26 (85)
233 # 29 ---> 28 (84)
260 # 92 ---> 30 (84)
259 # 91 ---> 92 (85)
234 # 11 ---> 64 (89)
233 # 28 ---> 27 (85)
260 # 30 ---> 29 (85)
259 # 92 ---> 30 (86)
234 # 64 ---> 63 (90)
260 # 29 ---> 28 (86)
259 # 30 ---> 29 (87)
234 # 63 ---> 62 (91)
238 # 34 ---> 35 (83)
234 # 62 ---> 91 (92)
250 # 96 ---> 97 (82)
234 # 91 ---> 92 (93)
250 # 97 ---> 98 (83)
232 # 95 ---> 96 (82)
240 # 31 ---> 95 (85)
250 # 98 ---> 99 (84)
232 # 96 ---> 97 (83)
240 # 95 ---> 96 (86)
250 # 99 ---> 100 (85)
232 # 97 ---> 98 (84)
240 # 96 ---> 97 (87)
240 # 97 ---> 172 (88)
234 # 92 ---> 30 (94)
234 # 30 ---> 37 (95)
243 # 44 ---> 45 (86)
253 # 43 ---> 44 (86)
259 # 29 ---> 30 (95)
243 # 45 ---> 46 (87)
253 # 44 ---> 45 (87)
236 # 51 ---> 23 (85)
243 # 46 ---> 47 (88)
253 # 45 ---> 46 (88)
253 # 46 ---> 119 (89)
253 # 119 ---> 118 (90)
253 # 118 ---> 117 (91)
253 # 117 ---> 170 (92)
243 # 47 ---> 46 (89)
243 # 46 ---> 45 (90)
250 # 100 ---> 101 (86)
250 # 101 ---> 102 (87)
250 # 102 ---> 103 (88)
232 # 98 ---> 99 (85)
259 # 30 ---> 31 (96)
243 # 45 ---> 44 (91)
250 # 103 ---> 46 (90)
232 # 99 ---> 100 (86)
232 # 100 ---> 101 (87)
259 # 31 ---> 95 (97)
234 # 37 ---> 30 (96)
243 # 44 ---> 43 (92)
250 # 46 ---> 45 (91)
232 # 101 ---> 102 (88)
259 # 95 ---> 96 (98)
234 # 30 ---> 31 (97)
243 # 43 ---> 42 (93)
250 # 45 ---> 44 (92)
232 # 102 ---> 103 (90)
259 # 96 ---> 97 (99)
234 # 31 ---> 95 (98)
243 # 42 ---> 41 (94)
250 # 44 ---> 43 (93)
232 # 103 ---> 46 (91)
267 # 12 ---> 13 (89)
238 # 35 ---> 36 (84)
238 # 36 ---> 9 (85)
238 # 9 ---> 10 (88)
238 # 10 ---> 11 (89)
249 # 107 ---> 80 (88)
243 # 41 ---> 40 (95)
250 # 43 ---> 42 (94)
252 # 7 ---> 8 (82)
263 # 26 ---> 7 (86)
243 # 40 ---> 39 (96)
250 # 42 ---> 41 (95)
252 # 8 ---> 9 (88)
252 # 9 ---> 36 (89)
249 # 80 ---> 79 (90)
252 # 36 ---> 35 (90)
249 # 79 ---> 78 (91)
252 # 35 ---> 84 (91)
249 # 78 ---> 45 (92)
252 # 84 ---> 83 (92)
252 # 83 ---> 82 (93)
238 # 11 ---> 21 (90)
238 # 21 ---> 22 (91)
236 # 23 ---> 24 (86)
238 # 22 ---> 23 (92)
263 # 7 ---> 8 (88)
233 # 27 ---> 26 (86)
243 # 39 ---> 38 (97)
250 # 41 ---> 40 (96)
238 # 23 ---> 51 (93)
263 # 8 ---> 25 (89)
233 # 26 ---> 7 (88)
243 # 38 ---> 37 (98)
250 # 40 ---> 39 (97)
238 # 51 ---> 50 (94)
233 # 7 ---> 8 (89)
243 # 37 ---> 30 (99)
250 # 39 ---> 38 (98)
249 # 45 ---> 44 (93)
238 # 50 ---> 49 (95)
250 # 38 ---> 37 (99)
249 # 44 ---> 43 (94)
238 # 49 ---> 48 (96)
238 # 48 ---> 47 (97)
232 # 46 ---> 45 (93)
238 # 47 ---> 46 (98)
238 # 46 ---> 103 (99)
238 # 103 ---> 160 (100)
232 # 45 ---> 46 (99)
232 # 46 ---> 47 (100)
238 # 160 ---> 161 (101)
243 # 30 ---> 31 (100)
260 # 28 ---> 29 (95)
265 # 94 ---> 28 (95)
243 # 31 ---> 32 (101)
260 # 29 ---> 30 (100)
265 # 28 ---> 29 (100)
243 # 32 ---> 33 (102)
260 # 30 ---> 31 (101)
265 # 29 ---> 30 (101)
243 # 33 ---> 34 (103)
260 # 31 ---> 32 (102)
265 # 30 ---> 31 (102)
260 # 32 ---> 33 (103)
265 # 31 ---> 32 (103)
250 # 37 ---> 30 (102)
249 # 43 ---> 42 (95)
259 # 97 ---> 98 (100)
234 # 95 ---> 96 (99)
250 # 30 ---> 31 (103)
249 # 42 ---> 41 (96)
259 # 98 ---> 99 (101)
234 # 96 ---> 97 (100)
250 # 31 ---> 95 (104)
249 # 41 ---> 40 (97)
259 # 99 ---> 100 (102)
234 # 97 ---> 98 (101)
250 # 95 ---> 96 (105)
249 # 40 ---> 39 (98)
259 # 100 ---> 101 (103)
234 # 98 ---> 99 (102)
250 # 96 ---> 97 (106)
249 # 39 ---> 38 (99)
259 # 101 ---> 102 (104)
234 # 99 ---> 100 (103)
250 # 97 ---> 98 (107)
249 # 38 ---> 37 (102)
259 # 102 ---> 103 (105)
234 # 100 ---> 101 (104)
250 # 98 ---> 99 (108)
249 # 37 ---> 30 (103)
259 # 103 ---> 46 (106)
234 # 101 ---> 102 (105)
250 # 99 ---> 100 (109)
259 # 46 ---> 45 (107)
234 # 102 ---> 103 (106)
250 # 100 ---> 101 (110)
259 # 45 ---> 44 (108)
234 # 103 ---> 46 (107)
238 # 161 ---> 162 (102)
250 # 101 ---> 102 (111)
233 # 8 ---> 9 (90)
233 # 9 ---> 36 (91)
265 # 32 ---> 31 (104)
260 # 33 ---> 32 (104)
233 # 36 ---> 35 (92)
233 # 35 ---> 84 (93)
233 # 84 ---> 83 (94)
232 # 47 ---> 48 (101)
234 # 46 ---> 47 (108)
252 # 82 ---> 81 (94)
233 # 83 ---> 82 (95)
252 # 81 ---> 80 (95)
233 # 82 ---> 81 (96)
263 # 25 ---> 8 (90)
252 # 80 ---> 79 (96)
233 # 81 ---> 80 (97)
233 # 80 ---> 107 (98)
233 # 107 ---> 146 (99)
249 # 30 ---> 92 (104)
265 # 31 ---> 30 (105)
256 # 156 ---> 157 (0)
233 # 146 ---> 147 (100)
249 # 92 ---> 91 (105)
265 # 30 ---> 92 (106)
243 # 34 ---> 35 (104)
249 # 91 ---> 62 (106)
265 # 92 ---> 91 (107)
263 # 8 ---> 7 (91)
243 # 35 ---> 36 (105)
256 # 157 ---> 158 (1)
233 # 147 ---> 148 (101)
249 # 62 ---> 61 (107)
265 # 91 ---> 62 (108)
252 # 79 ---> 80 (98)
252 # 80 ---> 81 (99)
256 # 158 ---> 159 (19)
233 # 148 ---> 149 (102)
249 # 61 ---> 104 (108)
265 # 62 ---> 61 (109)
256 # 159 ---> 96 (106)
233 # 149 ---> 150 (103)
249 # 104 ---> 105 (109)
265 # 61 ---> 104 (110)
256 # 96 ---> 95 (107)
268 # 77 ---> 12 (89)
268 # 12 ---> 11 (90)
268 # 11 ---> 64 (91)
268 # 64 ---> 63 (92)
268 # 63 ---> 62 (109)
268 # 62 ---> 61 (110)
252 # 81 ---> 82 (100)
249 # 105 ---> 106 (110)
265 # 104 ---> 105 (111)
268 # 61 ---> 104 (111)
252 # 82 ---> 83 (101)
249 # 106 ---> 107 (111)
265 # 105 ---> 106 (112)
268 # 104 ---> 105 (112)
249 # 107 ---> 80 (112)
265 # 106 ---> 107 (113)
268 # 105 ---> 106 (113)
249 # 80 ---> 81 (113)
265 # 107 ---> 80 (114)
268 # 106 ---> 107 (114)
233 # 150 ---> 151 (104)
268 # 107 ---> 146 (115)
256 # 95 ---> 31 (108)
233 # 151 ---> 152 (105)
268 # 146 ---> 147 (116)
256 # 31 ---> 30 (109)
242 # 114 ---> 115 (38)
242 # 115 ---> 116 (39)
242 # 116 ---> 117 (92)
242 # 117 ---> 118 (93)
242 # 118 ---> 119 (94)
242 # 119 ---> 46 (108)
242 # 46 ---> 45 (109)
243 # 36 ---> 9 (106)
252 # 83 ---> 84 (102)
242 # 45 ---> 78 (110)
243 # 9 ---> 8 (107)
252 # 84 ---> 35 (105)
242 # 78 ---> 79 (111)
243 # 8 ---> 25 (108)
249 # 81 ---> 82 (114)
265 # 80 ---> 81 (115)
242 # 79 ---> 80 (115)
242 # 80 ---> 107 (116)
233 # 152 ---> 153 (106)
268 # 147 ---> 148 (117)
242 # 107 ---> 146 (117)
256 # 30 ---> 92 (110)
233 # 153 ---> 154 (107)
268 # 148 ---> 149 (118)
242 # 146 ---> 147 (118)
256 # 92 ---> 91 (111)
233 # 154 ---> 155 (108)
268 # 149 ---> 150 (119)
242 # 147 ---> 148 (119)
256 # 91 ---> 62 (112)
263 # 7 ---> 8 (108)
260 # 32 ---> 31 (109)
263 # 8 ---> 9 (109)
260 # 31 ---> 30 (110)
265 # 81 ---> 80 (116)
249 # 82 ---> 81 (116)
243 # 25 ---> 8 (109)
232 # 48 ---> 49 (102)
234 # 47 ---> 48 (109)
265 # 80 ---> 79 (117)
249 # 81 ---> 80 (117)
232 # 49 ---> 50 (103)
234 # 48 ---> 49 (110)
265 # 79 ---> 78 (118)
249 # 80 ---> 79 (118)
233 # 155 ---> 156 (109)
268 # 150 ---> 151 (120)
242 # 148 ---> 149 (120)
256 # 62 ---> 61 (113)
260 # 30 ---> 92 (111)
233 # 156 ---> 157 (110)
268 # 151 ---> 152 (121)
242 # 149 ---> 150 (121)
256 # 61 ---> 104 (114)
260 # 92 ---> 91 (112)
260 # 91 ---> 62 (113)
243 # 8 ---> 7 (110)
256 # 104 ---> 105 (115)
260 # 62 ---> 61 (114)
256 # 105 ---> 106 (116)
260 # 61 ---> 104 (115)
256 # 106 ---> 107 (117)
260 # 104 ---> 105 (116)
263 # 9 ---> 10 (110)
256 # 107 ---> 80 (118)
233 # 157 ---> 158 (111)
268 # 152 ---> 153 (122)
242 # 150 ---> 151 (122)
260 # 105 ---> 106 (117)
243 # 7 ---> 26 (111)
252 # 35 ---> 36 (106)
243 # 26 ---> 27 (112)
252 # 36 ---> 9 (110)
243 # 27 ---> 28 (113)
252 # 9 ---> 8 (111)
252 # 8 ---> 7 (112)
236 # 24 ---> 23 (93)
263 # 10 ---> 9 (111)
236 # 23 ---> 22 (94)
245 # 122 ---> 121 (71)
232 # 50 ---> 51 (104)
234 # 49 ---> 50 (111)
250 # 102 ---> 103 (112)
252 # 7 ---> 6 (113)
232 # 51 ---> 65 (105)
234 # 50 ---> 51 (112)
250 # 103 ---> 46 (113)
265 # 78 ---> 45 (119)
249 # 79 ---> 78 (119)
256 # 80 ---> 79 (119)
263 # 9 ---> 36 (112)
234 # 51 ---> 23 (113)
250 # 46 ---> 47 (114)
265 # 45 ---> 46 (120)
249 # 78 ---> 45 (120)
263 # 36 ---> 35 (113)
234 # 23 ---> 24 (114)
250 # 47 ---> 48 (115)
265 # 46 ---> 47 (121)
249 # 45 ---> 46 (121)
259 # 44 ---> 45 (121)
243 # 28 ---> 29 (114)
234 # 24 ---> 25 (115)
250 # 48 ---> 49 (116)
265 # 47 ---> 48 (122)
249 # 46 ---> 47 (122)
259 # 45 ---> 46 (122)
243 # 29 ---> 30 (115)
234 # 25 ---> 8 (116)
250 # 49 ---> 50 (117)
265 # 48 ---> 49 (123)
249 # 47 ---> 48 (123)
259 # 46 ---> 47 (123)
243 # 30 ---> 37 (116)
250 # 50 ---> 51 (118)
265 # 49 ---> 50 (124)
249 # 48 ---> 49 (124)
259 # 47 ---> 48 (124)
250 # 51 ---> 23 (119)
265 # 50 ---> 51 (125)
249 # 49 ---> 50 (125)
259 # 48 ---> 49 (125)
250 # 23 ---> 24 (120)
265 # 51 ---> 23 (126)
249 # 50 ---> 51 (126)
259 # 49 ---> 50 (126)
263 # 35 ---> 84 (114)
232 # 65 ---> 66 (106)
249 # 51 ---> 65 (127)
265 # 23 ---> 51 (127)
267 # 13 ---> 12 (90)
232 # 66 ---> 1 (107)
249 # 65 ---> 66 (128)
249 # 66 ---> 120 (129)
249 # 120 ---> 138 (130)
265 # 51 ---> 65 (128)
259 # 50 ---> 51 (128)
259 # 51 ---> 23 (129)
249 # 138 ---> 139 (131)
249 # 139 ---> 140 (132)
232 # 1 ---> 0 (108)
252 # 6 ---> 5 (114)
236 # 22 ---> 21 (95)
259 # 23 ---> 22 (130)
245 # 121 ---> 120 (130)
249 # 140 ---> 141 (133)
236 # 21 ---> 11 (96)
245 # 120 ---> 66 (131)
249 # 141 ---> 142 (134)
236 # 11 ---> 64 (97)
267 # 12 ---> 11 (97)
232 # 0 ---> 16 (109)
245 # 66 ---> 1 (132)
249 # 142 ---> 143 (135)
259 # 22 ---> 21 (131)
267 # 11 ---> 10 (111)
259 # 21 ---> 11 (132)
267 # 10 ---> 9 (112)
267 # 9 ---> 36 (113)
259 # 11 ---> 10 (133)
267 # 36 ---> 35 (114)
267 # 35 ---> 34 (115)
234 # 8 ---> 9 (117)
234 # 9 ---> 36 (118)
259 # 10 ---> 9 (134)
266 # 131 ---> 132 (57)
252 # 5 ---> 4 (115)
259 # 9 ---> 8 (135)
234 # 36 ---> 9 (135)
232 # 16 ---> 15 (110)
252 # 4 ---> 3 (116)
259 # 8 ---> 7 (136)
234 # 9 ---> 8 (136)
232 # 15 ---> 14 (111)
245 # 1 ---> 0 (133)
252 # 3 ---> 2 (117)
259 # 7 ---> 6 (137)
234 # 8 ---> 7 (137)
232 # 14 ---> 13 (112)
245 # 0 ---> 16 (134)
252 # 2 ---> 1 (133)
259 # 6 ---> 5 (138)
234 # 7 ---> 6 (138)
232 # 13 ---> 12 (113)
245 # 16 ---> 15 (135)
252 # 1 ---> 0 (134)
259 # 5 ---> 4 (139)
234 # 6 ---> 5 (139)
232 # 12 ---> 11 (133)
245 # 15 ---> 14 (136)
252 # 0 ---> 16 (135)
259 # 4 ---> 3 (140)
234 # 5 ---> 4 (140)
259 # 3 ---> 2 (141)
234 # 4 ---> 3 (141)
266 # 132 ---> 89 (58)
234 # 3 ---> 127 (142)
266 # 89 ---> 90 (79)
234 # 127 ---> 128 (143)
266 # 90 ---> 9 (136)
245 # 14 ---> 13 (137)
252 # 16 ---> 15 (136)
234 # 128 ---> 129 (144)
266 # 9 ---> 8 (137)
232 # 11 ---> 85 (134)
245 # 13 ---> 12 (138)
252 # 15 ---> 14 (137)
259 # 2 ---> 1 (142)
266 # 8 ---> 7 (138)
245 # 12 ---> 11 (139)
252 # 14 ---> 13 (138)
259 # 1 ---> 0 (143)
266 # 7 ---> 6 (139)
245 # 11 ---> 10 (140)
252 # 13 ---> 12 (139)
259 # 0 ---> 16 (144)
266 # 6 ---> 5 (140)
245 # 10 ---> 9 (141)
252 # 12 ---> 11 (140)
259 # 16 ---> 15 (145)
266 # 5 ---> 4 (141)
245 # 9 ---> 8 (142)
252 # 11 ---> 10 (141)
259 # 15 ---> 14 (146)
266 # 4 ---> 3 (142)
245 # 8 ---> 7 (143)
252 # 10 ---> 9 (142)
259 # 14 ---> 13 (147)
266 # 3 ---> 2 (143)
234 # 129 ---> 130 (145)
245 # 7 ---> 6 (144)
252 # 9 ---> 8 (143)
259 # 13 ---> 12 (148)
259 # 12 ---> 77 (149)
259 # 77 ---> 76 (150)
259 # 76 ---> 3 (151)
234 # 130 ---> 131 (146)
259 # 3 ---> 127 (152)
245 # 6 ---> 5 (145)
252 # 8 ---> 7 (144)
267 # 34 ---> 52 (116)
236 # 64 ---> 11 (141)
236 # 11 ---> 10 (142)
263 # 84 ---> 35 (115)
236 # 10 ---> 9 (143)
260 # 106 ---> 107 (118)
236 # 9 ---> 8 (144)
236 # 8 ---> 25 (145)
266 # 2 ---> 1 (144)
245 # 5 ---> 4 (146)
252 # 7 ---> 6 (145)
266 # 1 ---> 0 (145)
245 # 4 ---> 3 (152)
252 # 6 ---> 5 (146)
266 # 0 ---> 16 (146)
245 # 3 ---> 2 (153)
252 # 5 ---> 4 (152)
266 # 16 ---> 15 (147)
245 # 2 ---> 1 (154)
252 # 4 ---> 3 (153)
266 # 15 ---> 14 (148)
245 # 1 ---> 0 (155)
266 # 14 ---> 13 (149)
245 # 0 ---> 16 (156)
252 # 3 ---> 2 (154)
266 # 13 ---> 12 (150)
245 # 16 ---> 15 (157)
266 # 12 ---> 11 (151)
245 # 15 ---> 14 (158)
245 # 14 ---> 13 (159)
265 # 65 ---> 66 (132)
265 # 66 ---> 1 (155)
250 # 24 ---> 23 (130)
263 # 35 ---> 34 (116)
260 # 107 ---> 80 (119)
266 # 11 ---> 64 (152)
260 # 80 ---> 81 (120)
266 # 64 ---> 63 (153)
260 # 81 ---> 82 (121)
250 # 23 ---> 51 (131)
236 # 25 ---> 24 (146)
260 # 82 ---> 83 (122)
256 # 79 ---> 80 (120)
250 # 51 ---> 50 (132)
236 # 24 ---> 23 (147)
260 # 83 ---> 84 (123)
256 # 80 ---> 81 (121)
250 # 50 ---> 49 (133)
236 # 23 ---> 51 (148)
260 # 84 ---> 35 (124)
256 # 81 ---> 82 (122)
250 # 49 ---> 48 (134)
236 # 51 ---> 50 (149)
260 # 35 ---> 36 (135)
256 # 82 ---> 83 (123)
256 # 83 ---> 84 (124)
256 # 84 ---> 35 (135)
236 # 50 ---> 49 (150)
260 # 36 ---> 9 (144)
232 # 85 ---> 11 (152)
260 # 9 ---> 90 (145)
232 # 11 ---> 10 (153)
232 # 10 ---> 9 (154)
245 # 13 ---> 12 (160)
232 # 9 ---> 8 (155)
232 # 8 ---> 7 (156)
245 # 12 ---> 11 (161)
232 # 7 ---> 6 (157)
245 # 11 ---> 10 (162)
245 # 10 ---> 9 (163)
245 # 9 ---> 8 (164)
245 # 8 ---> 7 (165)
266 # 63 ---> 62 (154)
263 # 34 ---> 33 (117)
256 # 35 ---> 34 (136)
263 # 33 ---> 67 (118)
256 # 34 ---> 33 (137)
266 # 62 ---> 61 (155)
267 # 52 ---> 34 (137)
267 # 34 ---> 35 (138)
267 # 35 ---> 36 (144)
267 # 36 ---> 9 (164)
267 # 9 ---> 10 (165)
267 # 10 ---> 11 (166)
267 # 11 ---> 64 (167)
267 # 64 ---> 63 (168)
267 # 63 ---> 62 (169)
267 # 62 ---> 91 (170)
267 # 91 ---> 92 (171)
267 # 92 ---> 30 (172)
267 # 30 ---> 31 (173)
267 # 31 ---> 95 (174)
243 # 37 ---> 30 (173)
243 # 30 ---> 31 (174)
243 # 31 ---> 32 (175)
267 # 95 ---> 96 (175)
267 # 96 ---> 97 (176)
267 # 97 ---> 98 (177)
263 # 67 ---> 68 (119)
263 # 68 ---> 69 (120)
256 # 33 ---> 67 (138)
243 # 32 ---> 33 (176)
260 # 90 ---> 9 (165)
260 # 9 ---> 10 (166)
260 # 10 ---> 11 (167)
243 # 33 ---> 34 (177)
256 # 67 ---> 33 (177)
260 # 11 ---> 75 (168)
243 # 34 ---> 35 (178)
256 # 33 ---> 34 (178)
243 # 35 ---> 36 (179)
256 # 34 ---> 35 (179)
243 # 36 ---> 9 (180)
256 # 35 ---> 36 (180)
243 # 9 ---> 8 (181)
256 # 36 ---> 9 (181)
256 # 9 ---> 10 (182)
256 # 10 ---> 11 (183)
256 # 11 ---> 85 (184)
256 # 85 ---> 86 (185)
266 # 61 ---> 62 (170)
266 # 62 ---> 63 (171)
256 # 86 ---> 87 (186)
243 # 8 ---> 9 (182)
243 # 9 ---> 10 (183)
245 # 7 ---> 8 (182)
243 # 10 ---> 11 (184)
243 # 11 ---> 12 (185)
256 # 87 ---> 88 (187)
250 # 48 ---> 47 (135)
236 # 49 ---> 48 (151)
250 # 47 ---> 46 (136)
236 # 48 ---> 47 (152)
266 # 63 ---> 64 (172)
266 # 64 ---> 11 (185)
243 # 12 ---> 13 (186)
232 # 6 ---> 7 (182)
232 # 7 ---> 26 (183)
250 # 46 ---> 45 (137)
236 # 47 ---> 46 (153)
263 # 69 ---> 70 (121)
266 # 11 ---> 10 (186)
260 # 75 ---> 11 (186)
260 # 11 ---> 21 (187)
260 # 21 ---> 22 (188)
260 # 22 ---> 23 (189)
260 # 23 ---> 51 (190)
260 # 51 ---> 50 (191)
260 # 50 ---> 49 (192)
260 # 49 ---> 48 (193)
260 # 48 ---> 47 (194)
250 # 45 ---> 44 (138)
236 # 46 ---> 45 (154)
260 # 47 ---> 46 (195)
250 # 44 ---> 43 (139)
236 # 45 ---> 44 (155)
260 # 46 ---> 45 (196)
260 # 45 ---> 78 (197)
245 # 8 ---> 7 (183)
236 # 44 ---> 45 (197)
236 # 45 ---> 46 (198)
260 # 78 ---> 79 (198)
245 # 7 ---> 6 (184)
245 # 6 ---> 5 (185)
245 # 5 ---> 4 (186)
245 # 4 ---> 3 (187)
245 # 3 ---> 76 (188)
252 # 2 ---> 3 (188)
243 # 13 ---> 14 (187)
265 # 1 ---> 2 (188)
243 # 14 ---> 15 (188)
252 # 3 ---> 4 (189)
265 # 2 ---> 3 (189)
245 # 76 ---> 77 (189)
265 # 3 ---> 76 (190)
263 # 70 ---> 71 (122)
263 # 71 ---> 72 (123)
263 # 72 ---> 73 (124)
250 # 43 ---> 42 (140)
250 # 42 ---> 41 (141)
250 # 41 ---> 40 (142)
250 # 40 ---> 39 (143)
250 # 39 ---> 38 (144)
250 # 38 ---> 37 (173)
250 # 37 ---> 30 (174)
250 # 30 ---> 31 (175)
250 # 31 ---> 32 (176)
250 # 32 ---> 33 (178)
263 # 73 ---> 74 (125)
250 # 33 ---> 67 (179)
243 # 15 ---> 16 (189)
252 # 4 ---> 5 (190)
243 # 16 ---> 0 (190)
263 # 74 ---> 75 (186)
250 # 67 ---> 68 (180)
266 # 10 ---> 9 (187)
266 # 9 ---> 36 (188)
232 # 26 ---> 7 (184)
263 # 75 ---> 11 (187)
250 # 68 ---> 69 (181)
243 # 0 ---> 1 (191)
232 # 7 ---> 8 (185)
252 # 5 ---> 6 (191)
243 # 1 ---> 2 (192)
263 # 11 ---> 12 (188)
232 # 8 ---> 9 (188)
252 # 6 ---> 7 (192)
243 # 2 ---> 3 (193)
263 # 12 ---> 13 (189)
232 # 9 ---> 10 (189)
243 # 3 ---> 4 (194)
263 # 13 ---> 14 (190)
232 # 10 ---> 11 (190)
243 # 4 ---> 5 (195)
263 # 14 ---> 15 (191)
232 # 11 ---> 12 (191)
250 # 69 ---> 70 (182)
250 # 70 ---> 71 (183)
232 # 12 ---> 13 (192)
252 # 7 ---> 8 (193)
243 # 5 ---> 6 (196)
252 # 8 ---> 9 (194)
243 # 6 ---> 7 (197)
252 # 9 ---> 10 (195)
250 # 71 ---> 72 (184)
266 # 36 ---> 9 (195)
266 # 9 ---> 8 (196)
266 # 8 ---> 25 (197)
266 # 25 ---> 24 (198)
266 # 24 ---> 23 (199)
266 # 23 ---> 51 (200)
266 # 51 ---> 65 (201)
263 # 15 ---> 16 (192)
232 # 13 ---> 14 (193)
252 # 10 ---> 11 (196)
243 # 7 ---> 8 (198)
263 # 16 ---> 0 (193)
232 # 14 ---> 15 (194)
252 # 11 ---> 12 (197)
243 # 8 ---> 9 (199)
263 # 0 ---> 1 (194)
232 # 15 ---> 16 (195)
252 # 12 ---> 13 (198)
236 # 46 ---> 47 (199)
236 # 47 ---> 48 (200)
236 # 48 ---> 49 (201)
236 # 49 ---> 50 (202)
236 # 50 ---> 51 (203)
236 # 51 ---> 23 (204)
236 # 23 ---> 24 (205)
236 # 24 ---> 25 (206)
236 # 25 ---> 8 (207)
263 # 1 ---> 2 (195)
263 # 2 ---> 3 (196)
263 # 3 ---> 4 (197)
263 # 4 ---> 5 (198)
263 # 5 ---> 6 (199)
263 # 6 ---> 7 (200)
263 # 7 ---> 26 (201)
263 # 26 ---> 27 (202)
263 # 27 ---> 28 (203)
263 # 28 ---> 29 (204)
263 # 29 ---> 30 (205)
263 # 30 ---> 37 (206)
263 # 37 ---> 38 (207)
263 # 38 ---> 39 (208)
263 # 39 ---> 40 (209)
263 # 40 ---> 41 (210)
263 # 41 ---> 42 (211)
263 # 42 ---> 43 (212)
232 # 16 ---> 17 (196)
236 # 8 ---> 7 (208)
252 # 13 ---> 14 (199)
252 # 14 ---> 15 (200)
236 # 7 ---> 26 (209)
252 # 15 ---> 16 (201)
236 # 26 ---> 27 (210)
252 # 16 ---> 0 (202)
252 # 0 ---> 1 (203)
252 # 1 ---> 2 (204)
252 # 2 ---> 3 (205)
252 # 3 ---> 4 (206)
252 # 4 ---> 5 (207)
252 # 5 ---> 6 (208)
252 # 6 ---> 7 (209)
236 # 27 ---> 28 (211)
252 # 7 ---> 26 (210)
236 # 28 ---> 29 (212)
252 # 26 ---> 27 (211)
232 # 17 ---> 16 (202)
232 # 16 ---> 0 (203)
232 # 0 ---> 1 (204)
232 # 1 ---> 2 (205)
243 # 9 ---> 10 (200)
232 # 2 ---> 3 (206)
243 # 10 ---> 11 (201)
232 # 3 ---> 4 (207)
243 # 11 ---> 12 (202)
232 # 4 ---> 5 (208)
243 # 12 ---> 13 (203)
232 # 5 ---> 6 (209)
243 # 13 ---> 14 (204)
232 # 6 ---> 7 (210)
243 # 14 ---> 15 (205)
232 # 7 ---> 8 (211)
243 # 15 ---> 16 (206)
232 # 8 ---> 9 (212)
243 # 16 ---> 0 (207)
232 # 9 ---> 10 (213)
243 # 0 ---> 1 (208)
232 # 10 ---> 11 (214)
243 # 1 ---> 2 (209)
232 # 11 ---> 12 (215)
243 # 2 ---> 3 (210)
232 # 12 ---> 13 (216)
243 # 3 ---> 4 (211)
232 # 13 ---> 14 (217)
243 # 4 ---> 5 (212)
232 # 14 ---> 15 (218)
232 # 15 ---> 16 (219)
243 # 5 ---> 6 (213)
232 # 16 ---> 0 (220)
243 # 6 ---> 7 (214)
232 # 0 ---> 1 (221)
243 # 7 ---> 8 (215)
232 # 1 ---> 2 (222)
243 # 8 ---> 9 (216)
232 # 2 ---> 3 (223)
243 # 9 ---> 10 (217)
232 # 3 ---> 4 (224)
243 # 10 ---> 11 (218)
232 # 4 ---> 5 (225)
243 # 11 ---> 12 (219)
232 # 5 ---> 6 (226)
243 # 12 ---> 13 (220)
232 # 6 ---> 7 (227)
243 # 13 ---> 14 (221)
232 # 7 ---> 8 (228)
243 # 14 ---> 15 (222)
232 # 8 ---> 9 (229)
243 # 15 ---> 16 (223)
232 # 9 ---> 10 (230)
243 # 16 ---> 0 (224)
232 # 10 ---> 11 (231)
243 # 0 ---> 1 (225)
232 # 11 ---> 12 (232)
243 # 1 ---> 2 (226)
232 # 12 ---> 13 (233)
243 # 2 ---> 3 (227)
232 # 13 ---> 14 (234)
243 # 3 ---> 4 (228)
232 # 14 ---> 15 (235)
243 # 4 ---> 5 (229)
243 # 5 ---> 6 (230)
232 # 15 ---> 16 (236)
243 # 6 ---> 7 (231)
232 # 16 ---> 0 (237)
243 # 7 ---> 8 (232)
232 # 0 ---> 1 (238)
243 # 8 ---> 9 (233)
232 # 1 ---> 2 (239)
243 # 9 ---> 10 (234)
232 # 2 ---> 3 (240)
243 # 10 ---> 11 (235)
232 # 3 ---> 4 (241)
243 # 11 ---> 12 (236)
232 # 4 ---> 5 (242)
243 # 12 ---> 13 (237)
232 # 5 ---> 6 (243)
243 # 13 ---> 14 (238)
232 # 6 ---> 7 (244)
243 # 14 ---> 15 (239)
232 # 7 ---> 8 (245)
243 # 15 ---> 16 (240)
232 # 8 ---> 9 (246)
243 # 16 ---> 0 (241)
232 # 9 ---> 10 (247)
243 # 0 ---> 1 (242)
232 # 10 ---> 11 (248)
243 # 1 ---> 2 (243)
232 # 11 ---> 12 (249)
243 # 2 ---> 3 (244)
232 # 12 ---> 13 (250)
243 # 3 ---> 4 (245)
232 # 13 ---> 14 (251)
232 # 14 ---> 15 (252)
243 # 4 ---> 5 (246)
232 # 15 ---> 16 (253)
243 # 5 ---> 6 (247)
232 # 16 ---> 0 (254)
243 # 6 ---> 7 (248)
232 # 0 ---> 1 (255)
243 # 7 ---> 8 (249)
232 # 1 ---> 2 (256)
243 # 8 ---> 9 (250)
232 # 2 ---> 3 (257)
243 # 9 ---> 10 (251)
232 # 3 ---> 4 (258)
243 # 10 ---> 11 (252)
232 # 4 ---> 5 (259)
243 # 11 ---> 12 (253)
232 # 5 ---> 6 (260)
243 # 12 ---> 13 (254)
232 # 6 ---> 7 (261)
243 # 13 ---> 14 (255)
232 # 7 ---> 8 (262)
243 # 14 ---> 15 (256)
232 # 8 ---> 9 (263)
243 # 15 ---> 16 (257)
232 # 9 ---> 10 (264)
243 # 16 ---> 0 (258)
232 # 10 ---> 11 (265)
243 # 0 ---> 1 (259)
232 # 11 ---> 12 (266)
243 # 1 ---> 2 (260)
232 # 12 ---> 13 (267)
243 # 2 ---> 3 (261)
243 # 3 ---> 4 (262)
232 # 13 ---> 14 (268)
243 # 4 ---> 5 (263)
232 # 14 ---> 15 (269)
243 # 5 ---> 6 (264)
232 # 15 ---> 16 (270)
243 # 6 ---> 7 (265)
232 # 16 ---> 0 (271)
243 # 7 ---> 8 (266)
232 # 0 ---> 1 (272)
243 # 8 ---> 9 (267)
232 # 1 ---> 2 (273)
243 # 9 ---> 10 (268)
232 # 2 ---> 3 (274)
243 # 10 ---> 11 (269)
232 # 3 ---> 4 (275)
243 # 11 ---> 12 (270)
232 # 4 ---> 5 (276)
243 # 12 ---> 13 (271)
232 # 5 ---> 6 (277)
243 # 13 ---> 14 (272)
232 # 6 ---> 7 (278)
243 # 14 ---> 15 (273)
232 # 7 ---> 8 (279)
243 # 15 ---> 16 (274)
232 # 8 ---> 9 (280)
243 # 16 ---> 0 (275)
232 # 9 ---> 10 (281)
243 # 0 ---> 1 (276)
232 # 10 ---> 11 (282)
243 # 1 ---> 2 (277)
232 # 11 ---> 12 (283)
243 # 2 ---> 3 (278)
232 # 12 ---> 13 (284)
232 # 13 ---> 14 (285)
243 # 3 ---> 4 (279)
232 # 14 ---> 15 (286)
243 # 4 ---> 5 (280)
232 # 15 ---> 16 (287)
243 # 5 ---> 6 (281)
232 # 16 ---> 0 (288)
243 # 6 ---> 7 (282)
232 # 0 ---> 1 (289)
243 # 7 ---> 8 (283)
232 # 1 ---> 2 (290)
243 # 8 ---> 9 (284)
232 # 2 ---> 3 (291)
243 # 9 ---> 10 (285)
232 # 3 ---> 4 (292)
243 # 10 ---> 11 (286)
232 # 4 ---> 5 (293)
243 # 11 ---> 12 (287)
232 # 5 ---> 6 (294)
243 # 12 ---> 13 (288)
232 # 6 ---> 7 (295)
243 # 13 ---> 14 (289)
232 # 7 ---> 8 (296)
243 # 14 ---> 15 (290)
232 # 8 ---> 9 (297)
243 # 15 ---> 16 (291)
232 # 9 ---> 10 (298)
243 # 16 ---> 0 (292)
232 # 10 ---> 11 (299)
243 # 0 ---> 1 (293)
232 # 11 ---> 12 (300)
243 # 1 ---> 2 (294)
232 # 12 ---> 13 (301)
243 # 2 ---> 3 (295)
243 # 3 ---> 4 (296)
232 # 13 ---> 14 (302)
243 # 4 ---> 5 (297)
232 # 14 ---> 15 (303)
243 # 5 ---> 6 (298)
232 # 15 ---> 16 (304)
243 # 6 ---> 7 (299)
232 # 16 ---> 0 (305)
243 # 7 ---> 8 (300)
232 # 0 ---> 1 (306)
243 # 8 ---> 9 (301)
232 # 1 ---> 2 (307)
243 # 9 ---> 10 (302)
232 # 2 ---> 3 (308)
243 # 10 ---> 11 (303)
232 # 3 ---> 4 (309)
243 # 11 ---> 12 (304)
232 # 4 ---> 5 (310)
243 # 12 ---> 13 (305)
232 # 5 ---> 6 (311)
243 # 13 ---> 14 (306)
232 # 6 ---> 7 (312)
243 # 14 ---> 15 (307)
232 # 7 ---> 8 (313)
243 # 15 ---> 16 (308)
232 # 8 ---> 9 (314)
243 # 16 ---> 0 (309)
232 # 9 ---> 10 (315)
243 # 0 ---> 1 (310)
232 # 10 ---> 11 (316)
243 # 1 ---> 2 (311)
232 # 11 ---> 12 (317)
232 # 12 ---> 13 (318)
243 # 2 ---> 3 (312)
232 # 13 ---> 14 (319)
243 # 3 ---> 4 (313)
232 # 14 ---> 15 (320)
243 # 4 ---> 5 (314)
232 # 15 ---> 16 (321)
243 # 5 ---> 6 (315)
232 # 16 ---> 0 (322)
243 # 6 ---> 7 (316)
232 # 0 ---> 1 (323)
243 # 7 ---> 8 (317)
232 # 1 ---> 2 (324)
243 # 8 ---> 9 (318)
232 # 2 ---> 3 (325)
243 # 9 ---> 10 (319)
232 # 3 ---> 4 (326)
243 # 10 ---> 11 (320)
232 # 4 ---> 5 (327)
243 # 11 ---> 12 (321)
232 # 5 ---> 6 (328)
243 # 12 ---> 13 (322)
232 # 6 ---> 7 (329)
243 # 13 ---> 14 (323)
232 # 7 ---> 8 (330)
243 # 14 ---> 15 (324)
232 # 8 ---> 9 (331)
243 # 15 ---> 16 (325)
232 # 9 ---> 10 (332)
243 # 16 ---> 0 (326)
232 # 10 ---> 11 (333)
243 # 0 ---> 1 (327)
243 # 1 ---> 2 (328)
232 # 11 ---> 12 (334)
243 # 2 ---> 3 (329)
232 # 12 ---> 13 (335)
243 # 3 ---> 4 (330)
232 # 13 ---> 14 (336)
243 # 4 ---> 5 (331)
232 # 14 ---> 15 (337)
243 # 5 ---> 6 (332)
232 # 15 ---> 16 (338)
243 # 6 ---> 7 (333)
232 # 16 ---> 0 (339)
243 # 7 ---> 8 (334)
232 # 0 ---> 1 (340)
243 # 8 ---> 9 (335)
232 # 1 ---> 2 (341)
243 # 9 ---> 10 (336)
232 # 2 ---> 3 (342)
243 # 10 ---> 11 (337)
232 # 3 ---> 4 (343)
243 # 11 ---> 12 (338)
232 # 4 ---> 5 (344)
243 # 12 ---> 13 (339)
232 # 5 ---> 6 (345)
243 # 13 ---> 14 (340)
232 # 6 ---> 7 (346)
243 # 14 ---> 15 (341)
232 # 7 ---> 8 (347)
243 # 15 ---> 16 (342)
232 # 8 ---> 9 (348)
243 # 16 ---> 0 (343)
232 # 9 ---> 10 (349)
243 # 0 ---> 1 (344)
232 # 10 ---> 11 (350)
232 # 11 ---> 12 (351)
243 # 1 ---> 2 (345)
232 # 12 ---> 13 (352)
243 # 2 ---> 3 (346)
232 # 13 ---> 14 (353)
243 # 3 ---> 4 (347)
232 # 14 ---> 15 (354)
243 # 4 ---> 5 (348)
232 # 15 ---> 16 (355)
243 # 5 ---> 6 (349)
232 # 16 ---> 0 (356)
243 # 6 ---> 7 (350)
232 # 0 ---> 1 (357)
243 # 7 ---> 8 (351)
232 # 1 ---> 2 (358)
243 # 8 ---> 9 (352)
232 # 2 ---> 3 (359)
243 # 9 ---> 10 (353)
232 # 3 ---> 4 (360)
243 # 10 ---> 11 (354)
232 # 4 ---> 5 (361)
243 # 11 ---> 12 (355)
232 # 5 ---> 6 (362)
243 # 12 ---> 13 (356)
232 # 6 ---> 7 (363)
243 # 13 ---> 14 (357)
232 # 7 ---> 8 (364)
243 # 14 ---> 15 (358)
232 # 8 ---> 9 (365)
243 # 15 ---> 16 (359)
232 # 9 ---> 10 (366)
243 # 16 ---> 0 (360)
232 # 10 ---> 11 (367)
243 # 0 ---> 1 (361)
243 # 1 ---> 2 (362)
232 # 11 ---> 12 (368)
243 # 2 ---> 3 (363)
232 # 12 ---> 13 (369)
243 # 3 ---> 4 (364)
232 # 13 ---> 14 (370)
243 # 4 ---> 5 (365)
232 # 14 ---> 15 (371)
243 # 5 ---> 6 (366)
232 # 15 ---> 16 (372)
243 # 6 ---> 7 (367)
232 # 16 ---> 0 (373)
243 # 7 ---> 8 (368)
243 # 8 ---> 9 (369)
243 # 9 ---> 10 (370)
243 # 10 ---> 11 (371)
243 # 11 ---> 12 (372)
243 # 12 ---> 13 (373)
243 # 13 ---> 14 (374)
243 # 14 ---> 15 (375)
243 # 15 ---> 16 (376)
232 # 0 ---> 1 (374)
232 # 1 ---> 2 (375)
232 # 2 ---> 3 (376)
243 # 16 ---> 0 (377)
232 # 3 ---> 4 (377)
232 # 4 ---> 5 (378)
243 # 0 ---> 1 (378)
232 # 5 ---> 6 (379)
243 # 1 ---> 2 (379)
232 # 6 ---> 7 (380)
243 # 2 ---> 3 (380)
232 # 7 ---> 8 (381)
243 # 3 ---> 4 (381)
232 # 8 ---> 9 (382)
243 # 4 ---> 5 (382)
243 # 5 ---> 6 (383)
232 # 9 ---> 10 (383)
243 # 6 ---> 7 (384)
232 # 10 ---> 11 (384)
243 # 7 ---> 8 (385)
232 # 11 ---> 12 (385)
243 # 8 ---> 9 (386)
232 # 12 ---> 13 (386)
243 # 9 ---> 10 (387)
232 # 13 ---> 14 (387)
243 # 10 ---> 11 (388)
232 # 14 ---> 15 (388)
243 # 11 ---> 12 (389)
232 # 15 ---> 16 (389)
243 # 12 ---> 13 (390)
232 # 16 ---> 0 (390)
243 # 13 ---> 14 (391)
232 # 0 ---> 1 (391)
243 # 14 ---> 15 (392)
232 # 1 ---> 2 (392)
243 # 15 ---> 16 (393)
232 # 2 ---> 3 (393)
243 # 16 ---> 0 (394)
232 # 3 ---> 4 (394)
243 # 0 ---> 1 (395)
232 # 4 ---> 5 (395)
243 # 1 ---> 2 (396)
232 # 5 ---> 6 (396)
243 # 2 ---> 3 (397)
232 # 6 ---> 7 (397)
243 # 3 ---> 4 (398)
232 # 7 ---> 8 (398)
232 # 8 ---> 9 (399)
243 # 4 ---> 5 (399)
232 # 9 ---> 10 (400)
243 # 5 ---> 6 (400)
232 # 10 ---> 11 (401)
243 # 6 ---> 7 (401)
232 # 11 ---> 12 (402)
243 # 7 ---> 8 (402)
232 # 12 ---> 13 (403)
243 # 8 ---> 9 (403)
232 # 13 ---> 14 (404)
243 # 9 ---> 10 (404)
232 # 14 ---> 15 (405)
243 # 10 ---> 11 (405)
232 # 15 ---> 16 (406)
243 # 11 ---> 12 (406)
232 # 16 ---> 0 (407)
243 # 12 ---> 13 (407)
232 # 0 ---> 1 (408)
243 # 13 ---> 14 (408)
232 # 1 ---> 2 (409)
243 # 14 ---> 15 (409)
232 # 2 ---> 3 (410)
243 # 15 ---> 16 (410)
232 # 3 ---> 4 (411)
243 # 16 ---> 0 (411)
232 # 4 ---> 5 (412)
243 # 0 ---> 1 (412)
232 # 5 ---> 6 (413)
243 # 1 ---> 2 (413)
232 # 6 ---> 7 (414)
243 # 2 ---> 3 (414)
243 # 3 ---> 4 (415)
232 # 7 ---> 8 (415)
243 # 4 ---> 5 (416)
232 # 8 ---> 9 (416)
243 # 5 ---> 6 (417)
232 # 9 ---> 10 (417)
243 # 6 ---> 7 (418)
232 # 10 ---> 11 (418)
243 # 7 ---> 8 (419)
232 # 11 ---> 12 (419)
243 # 8 ---> 9 (420)
232 # 12 ---> 13 (420)
243 # 9 ---> 10 (421)
232 # 13 ---> 14 (421)
243 # 10 ---> 11 (422)
232 # 14 ---> 15 (422)
243 # 11 ---> 12 (423)
232 # 15 ---> 16 (423)
243 # 12 ---> 13 (424)
232 # 16 ---> 0 (424)
243 # 13 ---> 14 (425)
232 # 0 ---> 1 (425)
243 # 14 ---> 15 (426)
232 # 1 ---> 2 (426)
243 # 15 ---> 16 (427)
232 # 2 ---> 3 (427)
243 # 16 ---> 0 (428)
232 # 3 ---> 4 (428)
243 # 0 ---> 1 (429)
232 # 4 ---> 5 (429)
243 # 1 ---> 2 (430)
232 # 5 ---> 6 (430)
243 # 2 ---> 3 (431)
232 # 6 ---> 7 (431)
232 # 7 ---> 8 (432)
243 # 3 ---> 4 (432)
232 # 8 ---> 9 (433)
243 # 4 ---> 5 (433)
232 # 9 ---> 10 (434)
243 # 5 ---> 6 (434)
232 # 10 ---> 11 (435)
243 # 6 ---> 7 (435)
232 # 11 ---> 12 (436)
243 # 7 ---> 8 (436)
232 # 12 ---> 13 (437)
243 # 8 ---> 9 (437)
232 # 13 ---> 14 (438)
243 # 9 ---> 10 (438)
232 # 14 ---> 15 (439)
243 # 10 ---> 11 (439)
232 # 15 ---> 16 (440)
243 # 11 ---> 12 (440)
232 # 16 ---> 0 (441)
243 # 12 ---> 13 (441)
232 # 0 ---> 1 (442)
243 # 13 ---> 14 (442)
232 # 1 ---> 2 (443)
243 # 14 ---> 15 (443)
232 # 2 ---> 3 (444)
243 # 15 ---> 16 (444)
232 # 3 ---> 4 (445)
232 # 4 ---> 5 (446)
232 # 5 ---> 6 (447)
232 # 6 ---> 7 (448)
243 # 16 ---> 0 (445)
232 # 7 ---> 8 (449)
243 # 0 ---> 1 (446)
232 # 8 ---> 9 (450)
243 # 1 ---> 2 (447)
232 # 9 ---> 10 (451)
243 # 2 ---> 3 (448)
232 # 10 ---> 11 (452)
243 # 3 ---> 4 (449)
232 # 11 ---> 12 (453)
243 # 4 ---> 5 (450)
232 # 12 ---> 13 (454)
243 # 5 ---> 6 (451)
232 # 13 ---> 14 (455)
243 # 6 ---> 7 (452)
232 # 14 ---> 15 (456)
243 # 7 ---> 8 (453)
232 # 15 ---> 16 (457)
243 # 8 ---> 9 (454)
232 # 16 ---> 0 (458)
243 # 9 ---> 10 (455)
232 # 0 ---> 1 (459)
243 # 10 ---> 11 (456)
232 # 1 ---> 2 (460)
243 # 11 ---> 12 (457)
232 # 2 ---> 3 (461)
243 # 12 ---> 13 (458)
232 # 3 ---> 4 (462)
243 # 13 ---> 14 (459)
232 # 4 ---> 5 (463)
243 # 14 ---> 15 (460)
232 # 5 ---> 6 (464)
243 # 15 ---> 16 (461)
232 # 6 ---> 7 (465)
243 # 16 ---> 0 (462)
232 # 7 ---> 8 (466)
243 # 0 ---> 1 (463)
232 # 8 ---> 9 (467)
243 # 1 ---> 2 (464)
232 # 9 ---> 10 (468)
243 # 2 ---> 3 (465)
232 # 10 ---> 11 (469)
243 # 3 ---> 4 (466)
232 # 11 ---> 12 (470)
243 # 4 ---> 5 (467)
232 # 12 ---> 13 (471)
243 # 5 ---> 6 (468)
232 # 13 ---> 14 (472)
243 # 6 ---> 7 (469)
232 # 14 ---> 15 (473)
243 # 7 ---> 8 (470)
232 # 15 ---> 16 (474)
243 # 8 ---> 9 (471)
232 # 16 ---> 0 (475)
243 # 9 ---> 10 (472)
232 # 0 ---> 1 (476)
243 # 10 ---> 11 (473)
232 # 1 ---> 2 (477)
243 # 11 ---> 12 (474)
232 # 2 ---> 3 (478)
243 # 12 ---> 13 (475)
232 # 3 ---> 4 (479)
243 # 13 ---> 14 (476)
232 # 4 ---> 5 (480)
243 # 14 ---> 15 (477)
232 # 5 ---> 6 (481)
243 # 15 ---> 16 (478)
232 # 6 ---> 7 (482)
243 # 16 ---> 0 (479)
232 # 7 ---> 8 (483)
243 # 0 ---> 1 (480)
232 # 8 ---> 9 (484)
243 # 1 ---> 2 (481)
232 # 9 ---> 10 (485)
243 # 2 ---> 3 (482)
232 # 10 ---> 11 (486)
243 # 3 ---> 4 (483)
232 # 11 ---> 12 (487)
243 # 4 ---> 5 (484)
232 # 12 ---> 13 (488)
243 # 5 ---> 6 (485)
232 # 13 ---> 14 (489)
243 # 6 ---> 7 (486)
232 # 14 ---> 15 (490)
243 # 7 ---> 8 (487)
232 # 15 ---> 16 (491)
243 # 8 ---> 9 (488)
232 # 16 ---> 0 (492)
243 # 9 ---> 10 (489)
232 # 0 ---> 1 (493)
243 # 10 ---> 11 (490)
232 # 1 ---> 2 (494)
243 # 11 ---> 12 (491)
232 # 2 ---> 3 (495)
243 # 12 ---> 13 (492)
232 # 3 ---> 4 (496)
243 # 13 ---> 14 (493)
232 # 4 ---> 5 (497)
243 # 14 ---> 15 (494)
232 # 5 ---> 6 (498)
243 # 15 ---> 16 (495)
232 # 6 ---> 7 (499)
243 # 16 ---> 0 (496)
232 # 7 ---> 8 (500)
243 # 0 ---> 1 (497)
232 # 8 ---> 9 (501)
243 # 1 ---> 2 (498)
232 # 9 ---> 10 (502)
243 # 2 ---> 3 (499)
232 # 10 ---> 11 (503)
243 # 3 ---> 4 (500)
232 # 11 ---> 12 (504)
243 # 4 ---> 5 (501)
232 # 12 ---> 13 (505)
243 # 5 ---> 6 (502)
232 # 13 ---> 14 (506)
243 # 6 ---> 7 (503)
232 # 14 ---> 15 (507)
243 # 7 ---> 8 (504)
232 # 15 ---> 16 (508)
243 # 8 ---> 9 (505)
232 # 16 ---> 0 (509)
243 # 9 ---> 10 (506)
232 # 0 ---> 1 (510)
243 # 10 ---> 11 (507)
232 # 1 ---> 2 (511)
243 # 11 ---> 12 (508)
253 # 170 ---> 171 (93)
Reading goal arrangement...
Undirected graph: (|V|=269 |E|=302) [
    Vertex: (id = 0) {1 16 }
    Vertex: (id = 1) {0 2 66 }
    Vertex: (id = 2) {1 3 }
    Vertex: (id = 3) {2 4 76 127 196 }
    Vertex: (id = 4) {3 5 20 171 }
    Vertex: (id = 5) {4 6 189 }
    Vertex: (id = 6) {5 7 }
    Vertex: (id = 7) {6 8 26 }
    Vertex: (id = 8) {7 9 25 }
    Vertex: (id = 9) {8 10 36 90 }
    Vertex: (id = 10) {9 11 137 }
    Vertex: (id = 11) {10 12 21 64 75 85 }
    Vertex: (id = 12) {11 13 77 }
    Vertex: (id = 13) {12 14 }
    Vertex: (id = 14) {13 15 125 }
    Vertex: (id = 15) {14 16 124 }
    Vertex: (id = 16) {0 15 17 197 }
    Vertex: (id = 17) {16 18 }
    Vertex: (id = 18) {17 19 }
    Vertex: (id = 19) {18 20 }
    Vertex: (id = 20) {4 19 }
    Vertex: (id = 21) {11 22 }
    Vertex: (id = 22) {21 23 }
    Vertex: (id = 23) {22 24 51 176 }
    Vertex: (id = 24) {23 25 122 }
    Vertex: (id = 25) {8 24 }
    Vertex: (id = 26) {7 27 }
    Vertex: (id = 27) {26 28 }
    Vertex: (id = 28) {27 29 94 }
    Vertex: (id = 29) {28 30 }
    Vertex: (id = 30) {29 31 37 92 }
    Vertex: (id = 31) {30 32 95 }
    Vertex: (id = 32) {31 33 }
    Vertex: (id = 33) {32 34 67 }
    Vertex: (id = 34) {33 35 52 }
    Vertex: (id = 35) {34 36 84 }
    Vertex: (id = 36) {9 35 123 }
    Vertex: (id = 37) {30 38 }
    Vertex: (id = 38) {37 39 }
    Vertex: (id = 39) {38 40 }
    Vertex: (id = 40) {39 41 }
    Vertex: (id = 41) {40 42 }
    Vertex: (id = 42) {41 43 }
    Vertex: (id = 43) {42 44 }
    Vertex: (id = 44) {43 45 }
    Vertex: (id = 45) {44 46 78 }
    Vertex: (id = 46) {45 47 103 119 }
    Vertex: (id = 47) {46 48 }
    Vertex: (id = 48) {47 49 228 242 }
    Vertex: (id = 49) {48 50 }
    Vertex: (id = 50) {49 51 }
    Vertex: (id = 51) {23 50 65 }
    Vertex: (id = 52) {34 53 }
    Vertex: (id = 53) {52 54 108 }
    Vertex: (id = 54) {53 55 }
    Vertex: (id = 55) {54 56 210 }
    Vertex: (id = 56) {55 57 }
    Vertex: (id = 57) {56 58 }
    Vertex: (id = 58) {57 59 }
    Vertex: (id = 59) {58 60 }
    Vertex: (id = 60) {59 61 126 }
    Vertex: (id = 61) {60 62 104 }
    Vertex: (id = 62) {61 63 91 }
    Vertex: (id = 63) {62 64 }
    Vertex: (id = 64) {11 63 }
    Vertex: (id = 65) {51 66 }
    Vertex: (id = 66) {1 65 120 }
    Vertex: (id = 67) {33 68 }
    Vertex: (id = 68) {67 69 }
    Vertex: (id = 69) {68 70 133 }
    Vertex: (id = 70) {69 71 93 227 }
    Vertex: (id = 71) {70 72 }
    Vertex: (id = 72) {71 73 }
    Vertex: (id = 73) {72 74 }
    Vertex: (id = 74) {73 75 }
    Vertex: (id = 75) {11 74 }
    Vertex: (id = 76) {3 77 }
    Vertex: (id = 77) {12 76 }
    Vertex: (id = 78) {45 79 }
    Vertex: (id = 79) {78 80 177 }
    Vertex: (id = 80) {79 81 107 }
    Vertex: (id = 81) {80 82 }
    Vertex: (id = 82) {81 83 }
    Vertex: (id = 83) {82 84 }
    Vertex: (id = 84) {35 83 }
    Vertex: (id = 85) {11 86 }
    Vertex: (id = 86) {85 87 }
    Vertex: (id = 87) {86 88 }
    Vertex: (id = 88) {87 89 }
    Vertex: (id = 89) {88 90 132 }
    Vertex: (id = 90) {9 89 }
    Vertex: (id = 91) {62 92 }
    Vertex: (id = 92) {30 91 }
    Vertex: (id = 93) {70 94 }
    Vertex: (id = 94) {28 93 190 }
    Vertex: (id = 95) {31 96 }
    Vertex: (id = 96) {95 97 159 }
    Vertex: (id = 97) {96 98 172 }
    Vertex: (id = 98) {97 99 }
    Vertex: (id = 99) {98 100 145 }
    Vertex: (id = 100) {99 101 }
    Vertex: (id = 101) {100 102 }
    Vertex: (id = 102) {101 103 }
    Vertex: (id = 103) {46 102 160 }
    Vertex: (id = 104) {61 105 }
    Vertex: (id = 105) {104 106 }
    Vertex: (id = 106) {105 107 }
    Vertex: (id = 107) {80 106 146 }
    Vertex: (id = 108) {53 109 }
    Vertex: (id = 109) {108 110 }
    Vertex: (id = 110) {109 111 }
    Vertex: (id = 111) {110 112 }
    Vertex: (id = 112) {111 113 }
    Vertex: (id = 113) {112 114 }
    Vertex: (id = 114) {113 115 }
    Vertex: (id = 115) {114 116 }
    Vertex: (id = 116) {115 117 }
    Vertex: (id = 117) {116 118 170 }
    Vertex: (id = 118) {117 119 }
    Vertex: (id = 119) {46 118 }
    Vertex: (id = 120) {66 121 138 }
    Vertex: (id = 121) {120 122 }
    Vertex: (id = 122) {24 121 }
    Vertex: (id = 123) {36 124 }
    Vertex: (id = 124) {15 123 }
    Vertex: (id = 125) {14 126 }
    Vertex: (id = 126) {60 125 }
    Vertex: (id = 127) {3 128 }
    Vertex: (id = 128) {127 129 }
    Vertex: (id = 129) {128 130 }
    Vertex: (id = 130) {129 131 }
    Vertex: (id = 131) {130 132 214 }
    Vertex: (id = 132) {89 131 }
    Vertex: (id = 133) {69 134 }
    Vertex: (id = 134) {133 135 }
    Vertex: (id = 135) {134 136 }
    Vertex: (id = 136) {135 137 }
    Vertex: (id = 137) {10 136 }
    Vertex: (id = 138) {120 139 }
    Vertex: (id = 139) {138 140 }
    Vertex: (id = 140) {139 141 }
    Vertex: (id = 141) {140 142 }
    Vertex: (id = 142) {141 143 }
    Vertex: (id = 143) {142 144 }
    Vertex: (id = 144) {143 145 }
    Vertex: (id = 145) {99 144 169 }
    Vertex: (id = 146) {107 147 }
    Vertex: (id = 147) {146 148 }
    Vertex: (id = 148) {147 149 }
    Vertex: (id = 149) {148 150 }
    Vertex: (id = 150) {149 151 }
    Vertex: (id = 151) {150 152 }
    Vertex: (id = 152) {151 153 }
    Vertex: (id = 153) {152 154 }
    Vertex: (id = 154) {153 155 }
    Vertex: (id = 155) {154 156 }
    Vertex: (id = 156) {155 157 }
    Vertex: (id = 157) {156 158 }
    Vertex: (id = 158) {157 159 }
    Vertex: (id = 159) {96 158 241 }
    Vertex: (id = 160) {103 161 }
    Vertex: (id = 161) {160 162 }
    Vertex: (id = 162) {161 163 }
    Vertex: (id = 163) {162 164 209 }
    Vertex: (id = 164) {163 165 }
    Vertex: (id = 165) {164 166 }
    Vertex: (id = 166) {165 167 }
    Vertex: (id = 167) {166 168 }
    Vertex: (id = 168) {167 169 }
    Vertex: (id = 169) {145 168 }
    Vertex: (id = 170) {117 171 }
    Vertex: (id = 171) {4 170 215 }
    Vertex: (id = 172) {97 173 }
    Vertex: (id = 173) {172 174 }
    Vertex: (id = 174) {173 175 }
    Vertex: (id = 175) {174 176 }
    Vertex: (id = 176) {23 175 }
    Vertex: (id = 177) {79 178 }
    Vertex: (id = 178) {177 179 }
    Vertex: (id = 179) {178 180 }
    Vertex: (id = 180) {179 181 }
    Vertex: (id = 181) {180 182 }
    Vertex: (id = 182) {181 183 }
    Vertex: (id = 183) {182 184 }
    Vertex: (id = 184) {183 185 }
    Vertex: (id = 185) {184 186 }
    Vertex: (id = 186) {185 187 254 }
    Vertex: (id = 187) {186 188 }
    Vertex: (id = 188) {187 189 255 }
    Vertex: (id = 189) {5 188 }
    Vertex: (id = 190) {94 191 }
    Vertex: (id = 191) {190 192 }
    Vertex: (id = 192) {191 193 }
    Vertex: (id = 193) {192 194 }
    Vertex: (id = 194) {193 195 }
    Vertex: (id = 195) {194 196 }
    Vertex: (id = 196) {3 195 }
    Vertex: (id = 197) {16 198 }
    Vertex: (id = 198) {197 199 }
    Vertex: (id = 199) {198 200 }
    Vertex: (id = 200) {199 201 }
    Vertex: (id = 201) {200 202 }
    Vertex: (id = 202) {201 203 }
    Vertex: (id = 203) {202 204 }
    Vertex: (id = 204) {203 205 }
    Vertex: (id = 205) {204 206 }
    Vertex: (id = 206) {205 207 }
    Vertex: (id = 207) {206 208 }
    Vertex: (id = 208) {207 209 }
    Vertex: (id = 209) {163 208 }
    Vertex: (id = 210) {55 211 }
    Vertex: (id = 211) {210 212 }
    Vertex: (id = 212) {211 213 }
    Vertex: (id = 213) {212 214 268 }
    Vertex: (id = 214) {131 213 }
    Vertex: (id = 215) {171 216 }
    Vertex: (id = 216) {215 217 }
    Vertex: (id = 217) {216 218 }
    Vertex: (id = 218) {217 219 }
    Vertex: (id = 219) {218 220 }
    Vertex: (id = 220) {219 221 }
    Vertex: (id = 221) {220 222 }
    Vertex: (id = 222) {221 223 }
    Vertex: (id = 223) {222 224 }
    Vertex: (id = 224) {223 225 }
    Vertex: (id = 225) {224 226 }
    Vertex: (id = 226) {225 227 }
    Vertex: (id = 227) {70 226 }
    Vertex: (id = 228) {48 229 }
    Vertex: (id = 229) {228 230 }
    Vertex: (id = 230) {229 231 }
    Vertex: (id = 231) {230 232 }
    Vertex: (id = 232) {231 233 }
    Vertex: (id = 233) {232 234 }
    Vertex: (id = 234) {233 235 }
    Vertex: (id = 235) {234 236 }
    Vertex: (id = 236) {235 237 }
    Vertex: (id = 237) {236 238 }
    Vertex: (id = 238) {237 239 }
    Vertex: (id = 239) {238 240 }
    Vertex: (id = 240) {239 241 }
    Vertex: (id = 241) {159 240 }
    Vertex: (id = 242) {48 243 }
    Vertex: (id = 243) {242 244 }
    Vertex: (id = 244) {243 245 }
    Vertex: (id = 245) {244 246 }
    Vertex: (id = 246) {245 247 }
    Vertex: (id = 247) {246 248 }
    Vertex: (id = 248) {247 249 }
    Vertex: (id = 249) {248 250 }
    Vertex: (id = 250) {249 251 }
    Vertex: (id = 251) {250 252 }
    Vertex: (id = 252) {251 253 }
    Vertex: (id = 253) {252 254 }
    Vertex: (id = 254) {186 253 }
    Vertex: (id = 255) {188 256 }
    Vertex: (id = 256) {255 257 }
    Vertex: (id = 257) {256 258 }
    Vertex: (id = 258) {257 259 }
    Vertex: (id = 259) {258 260 }
    Vertex: (id = 260) {259 261 }
    Vertex: (id = 261) {260 262 }
    Vertex: (id = 262) {261 263 }
    Vertex: (id = 263) {262 264 }
    Vertex: (id = 264) {263 265 }
    Vertex: (id = 265) {264 266 }
    Vertex: (id = 266) {265 267 }
    Vertex: (id = 267) {266 268 }
    Vertex: (id = 268) {213 267 }
    Edge  0 <-> 1 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b16a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1680)
    ]
    Edge  0 <-> 16 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1880)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1680)
    ]
    Edge  1 <-> 2 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b16c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b16a0)
    ]
    Edge  1 <-> 66 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ec0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b16a0)
    ]
    Edge  2 <-> 3 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b16e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b16c0)
    ]
    Edge  3 <-> 4 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1700)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b16e0)
    ]
    Edge  3 <-> 76 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2000)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b16e0)
    ]
    Edge  3 <-> 127 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2660)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b16e0)
    ]
    Edge  3 <-> 196 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2f00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b16e0)
    ]
    Edge  4 <-> 5 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1720)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1700)
    ]
    Edge  4 <-> 20 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1900)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1700)
    ]
    Edge  4 <-> 171 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2be0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1700)
    ]
    Edge  5 <-> 6 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1740)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1720)
    ]
    Edge  5 <-> 189 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1720)
    ]
    Edge  6 <-> 7 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1760)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1740)
    ]
    Edge  7 <-> 8 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1780)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1760)
    ]
    Edge  7 <-> 26 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b19c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1760)
    ]
    Edge  8 <-> 9 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1780)
    ]
    Edge  8 <-> 25 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b19a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1780)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17a0)
    ]
    Edge  9 <-> 36 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17a0)
    ]
    Edge  9 <-> 90 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b21c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17a0)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17c0)
    ]
    Edge  10 <-> 137 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b27a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17c0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1800)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17e0)
    ]
    Edge  11 <-> 21 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1920)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17e0)
    ]
    Edge  11 <-> 64 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17e0)
    ]
    Edge  11 <-> 75 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1fe0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17e0)
    ]
    Edge  11 <-> 85 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2120)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b17e0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1820)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1800)
    ]
    Edge  12 <-> 77 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2020)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1800)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1840)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1820)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1860)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1840)
    ]
    Edge  14 <-> 125 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2620)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1840)
    ]
    Edge  15 <-> 16 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1880)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1860)
    ]
    Edge  15 <-> 124 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2600)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1860)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b18a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1880)
    ]
    Edge  16 <-> 197 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2f20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1880)
    ]
    Edge  17 <-> 18 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b18c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b18a0)
    ]
    Edge  18 <-> 19 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b18e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b18c0)
    ]
    Edge  19 <-> 20 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1900)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b18e0)
    ]
    Edge  21 <-> 22 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1940)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1920)
    ]
    Edge  22 <-> 23 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1960)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1940)
    ]
    Edge  23 <-> 24 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1980)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1960)
    ]
    Edge  23 <-> 51 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ce0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1960)
    ]
    Edge  23 <-> 176 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2c80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1960)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b19a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1980)
    ]
    Edge  24 <-> 122 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b25c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1980)
    ]
    Edge  26 <-> 27 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b19e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b19c0)
    ]
    Edge  27 <-> 28 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b19e0)
    ]
    Edge  28 <-> 29 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a00)
    ]
    Edge  28 <-> 94 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2240)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a00)
    ]
    Edge  29 <-> 30 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a20)
    ]
    Edge  30 <-> 31 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a40)
    ]
    Edge  30 <-> 37 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a40)
    ]
    Edge  30 <-> 92 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2200)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a40)
    ]
    Edge  31 <-> 32 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a60)
    ]
    Edge  31 <-> 95 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2260)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a60)
    ]
    Edge  32 <-> 33 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1aa0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1a80)
    ]
    Edge  33 <-> 34 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ac0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1aa0)
    ]
    Edge  33 <-> 67 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ee0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1aa0)
    ]
    Edge  34 <-> 35 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ae0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ac0)
    ]
    Edge  34 <-> 52 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ac0)
    ]
    Edge  35 <-> 36 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ae0)
    ]
    Edge  35 <-> 84 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2100)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ae0)
    ]
    Edge  36 <-> 123 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b25e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b00)
    ]
    Edge  37 <-> 38 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b20)
    ]
    Edge  38 <-> 39 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b40)
    ]
    Edge  39 <-> 40 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b60)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ba0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1b80)
    ]
    Edge  41 <-> 42 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1bc0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ba0)
    ]
    Edge  42 <-> 43 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1be0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1bc0)
    ]
    Edge  43 <-> 44 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1be0)
    ]
    Edge  44 <-> 45 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c00)
    ]
    Edge  45 <-> 46 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c20)
    ]
    Edge  45 <-> 78 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2040)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c20)
    ]
    Edge  46 <-> 47 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c40)
    ]
    Edge  46 <-> 103 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2360)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c40)
    ]
    Edge  46 <-> 119 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2560)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c40)
    ]
    Edge  47 <-> 48 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c60)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ca0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c80)
    ]
    Edge  48 <-> 228 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3300)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c80)
    ]
    Edge  48 <-> 242 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b34c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1c80)
    ]
    Edge  49 <-> 50 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1cc0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ca0)
    ]
    Edge  50 <-> 51 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ce0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1cc0)
    ]
    Edge  51 <-> 65 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ea0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ce0)
    ]
    Edge  52 <-> 53 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d00)
    ]
    Edge  53 <-> 54 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d20)
    ]
    Edge  53 <-> 108 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2400)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d20)
    ]
    Edge  54 <-> 55 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d40)
    ]
    Edge  55 <-> 56 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d60)
    ]
    Edge  55 <-> 210 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b30c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d60)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1da0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1d80)
    ]
    Edge  57 <-> 58 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1dc0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1da0)
    ]
    Edge  58 <-> 59 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1de0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1dc0)
    ]
    Edge  59 <-> 60 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1de0)
    ]
    Edge  60 <-> 61 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e00)
    ]
    Edge  60 <-> 126 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2640)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e00)
    ]
    Edge  61 <-> 62 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e20)
    ]
    Edge  61 <-> 104 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2380)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e20)
    ]
    Edge  62 <-> 63 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e40)
    ]
    Edge  62 <-> 91 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b21e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e40)
    ]
    Edge  63 <-> 64 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1e60)
    ]
    Edge  65 <-> 66 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ec0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ea0)
    ]
    Edge  66 <-> 120 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2580)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ec0)
    ]
    Edge  67 <-> 68 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1ee0)
    ]
    Edge  68 <-> 69 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f00)
    ]
    Edge  69 <-> 70 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f20)
    ]
    Edge  69 <-> 133 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2720)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f20)
    ]
    Edge  70 <-> 71 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f40)
    ]
    Edge  70 <-> 93 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2220)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f40)
    ]
    Edge  70 <-> 227 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b32e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f40)
    ]
    Edge  71 <-> 72 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f60)
    ]
    Edge  72 <-> 73 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1fa0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1f80)
    ]
    Edge  73 <-> 74 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1fc0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1fa0)
    ]
    Edge  74 <-> 75 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1fe0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b1fc0)
    ]
    Edge  76 <-> 77 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2020)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2000)
    ]
    Edge  78 <-> 79 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2060)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2040)
    ]
    Edge  79 <-> 80 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2080)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2060)
    ]
    Edge  79 <-> 177 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ca0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2060)
    ]
    Edge  80 <-> 81 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b20a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2080)
    ]
    Edge  80 <-> 107 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b23e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2080)
    ]
    Edge  81 <-> 82 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b20c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b20a0)
    ]
    Edge  82 <-> 83 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b20e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b20c0)
    ]
    Edge  83 <-> 84 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2100)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b20e0)
    ]
    Edge  85 <-> 86 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2140)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2120)
    ]
    Edge  86 <-> 87 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2160)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2140)
    ]
    Edge  87 <-> 88 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2180)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2160)
    ]
    Edge  88 <-> 89 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b21a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2180)
    ]
    Edge  89 <-> 90 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b21c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b21a0)
    ]
    Edge  89 <-> 132 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2700)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b21a0)
    ]
    Edge  91 <-> 92 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2200)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b21e0)
    ]
    Edge  93 <-> 94 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2240)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2220)
    ]
    Edge  94 <-> 190 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2240)
    ]
    Edge  95 <-> 96 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2280)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2260)
    ]
    Edge  96 <-> 97 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b22a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2280)
    ]
    Edge  96 <-> 159 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2280)
    ]
    Edge  97 <-> 98 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b22c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b22a0)
    ]
    Edge  97 <-> 172 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2c00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b22a0)
    ]
    Edge  98 <-> 99 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b22e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b22c0)
    ]
    Edge  99 <-> 100 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2300)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b22e0)
    ]
    Edge  99 <-> 145 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b28a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b22e0)
    ]
    Edge  100 <-> 101 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2320)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2300)
    ]
    Edge  101 <-> 102 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2340)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2320)
    ]
    Edge  102 <-> 103 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2360)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2340)
    ]
    Edge  103 <-> 160 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2360)
    ]
    Edge  104 <-> 105 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b23a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2380)
    ]
    Edge  105 <-> 106 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b23c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b23a0)
    ]
    Edge  106 <-> 107 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b23e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b23c0)
    ]
    Edge  107 <-> 146 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b28c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b23e0)
    ]
    Edge  108 <-> 109 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2420)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2400)
    ]
    Edge  109 <-> 110 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2440)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2420)
    ]
    Edge  110 <-> 111 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2460)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2440)
    ]
    Edge  111 <-> 112 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2480)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2460)
    ]
    Edge  112 <-> 113 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b24a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2480)
    ]
    Edge  113 <-> 114 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b24c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b24a0)
    ]
    Edge  114 <-> 115 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b24e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b24c0)
    ]
    Edge  115 <-> 116 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2500)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b24e0)
    ]
    Edge  116 <-> 117 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2520)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2500)
    ]
    Edge  117 <-> 118 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2540)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2520)
    ]
    Edge  117 <-> 170 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2bc0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2520)
    ]
    Edge  118 <-> 119 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2560)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2540)
    ]
    Edge  120 <-> 121 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b25a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2580)
    ]
    Edge  120 <-> 138 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b27c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2580)
    ]
    Edge  121 <-> 122 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b25c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b25a0)
    ]
    Edge  123 <-> 124 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2600)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b25e0)
    ]
    Edge  125 <-> 126 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2640)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2620)
    ]
    Edge  127 <-> 128 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2680)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2660)
    ]
    Edge  128 <-> 129 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b26a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2680)
    ]
    Edge  129 <-> 130 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b26c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b26a0)
    ]
    Edge  130 <-> 131 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b26e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b26c0)
    ]
    Edge  131 <-> 132 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2700)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b26e0)
    ]
    Edge  131 <-> 214 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3140)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b26e0)
    ]
    Edge  133 <-> 134 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2740)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2720)
    ]
    Edge  134 <-> 135 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2760)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2740)
    ]
    Edge  135 <-> 136 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2780)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2760)
    ]
    Edge  136 <-> 137 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b27a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2780)
    ]
    Edge  138 <-> 139 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b27e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b27c0)
    ]
    Edge  139 <-> 140 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2800)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b27e0)
    ]
    Edge  140 <-> 141 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2820)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2800)
    ]
    Edge  141 <-> 142 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2840)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2820)
    ]
    Edge  142 <-> 143 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2860)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2840)
    ]
    Edge  143 <-> 144 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2880)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2860)
    ]
    Edge  144 <-> 145 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b28a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2880)
    ]
    Edge  145 <-> 169 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ba0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b28a0)
    ]
    Edge  146 <-> 147 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b28e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b28c0)
    ]
    Edge  147 <-> 148 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2900)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b28e0)
    ]
    Edge  148 <-> 149 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2920)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2900)
    ]
    Edge  149 <-> 150 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2940)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2920)
    ]
    Edge  150 <-> 151 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2960)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2940)
    ]
    Edge  151 <-> 152 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2980)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2960)
    ]
    Edge  152 <-> 153 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b29a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2980)
    ]
    Edge  153 <-> 154 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b29c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b29a0)
    ]
    Edge  154 <-> 155 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b29e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b29c0)
    ]
    Edge  155 <-> 156 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b29e0)
    ]
    Edge  156 <-> 157 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a00)
    ]
    Edge  157 <-> 158 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a20)
    ]
    Edge  158 <-> 159 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a40)
    ]
    Edge  159 <-> 241 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b34a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a60)
    ]
    Edge  160 <-> 161 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2aa0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2a80)
    ]
    Edge  161 <-> 162 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ac0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2aa0)
    ]
    Edge  162 <-> 163 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ae0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ac0)
    ]
    Edge  163 <-> 164 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2b00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ae0)
    ]
    Edge  163 <-> 209 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b30a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ae0)
    ]
    Edge  164 <-> 165 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2b20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2b00)
    ]
    Edge  165 <-> 166 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2b40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2b20)
    ]
    Edge  166 <-> 167 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2b60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2b40)
    ]
    Edge  167 <-> 168 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2b80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2b60)
    ]
    Edge  168 <-> 169 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ba0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2b80)
    ]
    Edge  170 <-> 171 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2be0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2bc0)
    ]
    Edge  171 <-> 215 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3160)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2be0)
    ]
    Edge  172 <-> 173 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2c20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2c00)
    ]
    Edge  173 <-> 174 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2c40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2c20)
    ]
    Edge  174 <-> 175 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2c60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2c40)
    ]
    Edge  175 <-> 176 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2c80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2c60)
    ]
    Edge  177 <-> 178 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2cc0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ca0)
    ]
    Edge  178 <-> 179 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ce0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2cc0)
    ]
    Edge  179 <-> 180 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2d00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ce0)
    ]
    Edge  180 <-> 181 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2d20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2d00)
    ]
    Edge  181 <-> 182 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2d40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2d20)
    ]
    Edge  182 <-> 183 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2d60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2d40)
    ]
    Edge  183 <-> 184 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2d80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2d60)
    ]
    Edge  184 <-> 185 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2da0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2d80)
    ]
    Edge  185 <-> 186 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2dc0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2da0)
    ]
    Edge  186 <-> 187 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2de0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2dc0)
    ]
    Edge  186 <-> 254 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3640)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2dc0)
    ]
    Edge  187 <-> 188 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2de0)
    ]
    Edge  188 <-> 189 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e20)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e00)
    ]
    Edge  188 <-> 255 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3660)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e00)
    ]
    Edge  190 <-> 191 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e40)
    ]
    Edge  191 <-> 192 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e60)
    ]
    Edge  192 <-> 193 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ea0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2e80)
    ]
    Edge  193 <-> 194 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ec0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ea0)
    ]
    Edge  194 <-> 195 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ee0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ec0)
    ]
    Edge  195 <-> 196 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2f00)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2ee0)
    ]
    Edge  197 <-> 198 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2f40)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2f20)
    ]
    Edge  198 <-> 199 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2f60)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2f40)
    ]
    Edge  199 <-> 200 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2f80)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2f60)
    ]
    Edge  200 <-> 201 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2fa0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2f80)
    ]
    Edge  201 <-> 202 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2fc0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2fa0)
    ]
    Edge  202 <-> 203 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2fe0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2fc0)
    ]
    Edge  203 <-> 204 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3000)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b2fe0)
    ]
    Edge  204 <-> 205 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3020)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3000)
    ]
    Edge  205 <-> 206 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3040)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3020)
    ]
    Edge  206 <-> 207 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3060)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3040)
    ]
    Edge  207 <-> 208 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3080)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3060)
    ]
    Edge  208 <-> 209 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b30a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3080)
    ]
    Edge  210 <-> 211 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b30e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b30c0)
    ]
    Edge  211 <-> 212 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3100)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b30e0)
    ]
    Edge  212 <-> 213 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3120)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3100)
    ]
    Edge  213 <-> 214 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3140)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3120)
    ]
    Edge  213 <-> 268 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3800)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3120)
    ]
    Edge  215 <-> 216 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3180)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3160)
    ]
    Edge  216 <-> 217 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b31a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3180)
    ]
    Edge  217 <-> 218 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b31c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b31a0)
    ]
    Edge  218 <-> 219 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b31e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b31c0)
    ]
    Edge  219 <-> 220 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3200)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b31e0)
    ]
    Edge  220 <-> 221 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3220)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3200)
    ]
    Edge  221 <-> 222 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3240)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3220)
    ]
    Edge  222 <-> 223 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3260)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3240)
    ]
    Edge  223 <-> 224 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3280)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3260)
    ]
    Edge  224 <-> 225 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b32a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3280)
    ]
    Edge  225 <-> 226 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b32c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b32a0)
    ]
    Edge  226 <-> 227 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b32e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b32c0)
    ]
    Edge  228 <-> 229 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3320)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3300)
    ]
    Edge  229 <-> 230 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3340)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3320)
    ]
    Edge  230 <-> 231 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3360)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3340)
    ]
    Edge  231 <-> 232 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3380)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3360)
    ]
    Edge  232 <-> 233 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b33a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3380)
    ]
    Edge  233 <-> 234 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b33c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b33a0)
    ]
    Edge  234 <-> 235 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b33e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b33c0)
    ]
    Edge  235 <-> 236 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3400)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b33e0)
    ]
    Edge  236 <-> 237 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3420)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3400)
    ]
    Edge  237 <-> 238 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3440)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3420)
    ]
    Edge  238 <-> 239 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3460)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3440)
    ]
    Edge  239 <-> 240 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3480)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3460)
    ]
    Edge  240 <-> 241 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b34a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3480)
    ]
    Edge  242 <-> 243 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b34e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b34c0)
    ]
    Edge  243 <-> 244 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3500)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b34e0)
    ]
    Edge  244 <-> 245 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3520)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3500)
    ]
    Edge  245 <-> 246 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3540)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3520)
    ]
    Edge  246 <-> 247 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3560)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3540)
    ]
    Edge  247 <-> 248 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3580)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3560)
    ]
    Edge  248 <-> 249 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b35a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3580)
    ]
    Edge  249 <-> 250 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b35c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b35a0)
    ]
    Edge  250 <-> 251 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b35e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b35c0)
    ]
    Edge  251 <-> 252 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3600)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b35e0)
    ]
    Edge  252 <-> 253 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3620)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3600)
    ]
    Edge  253 <-> 254 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3640)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3620)
    ]
    Edge  255 <-> 256 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3680)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3660)
    ]
    Edge  256 <-> 257 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b36a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3680)
    ]
    Edge  257 <-> 258 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b36c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b36a0)
    ]
    Edge  258 <-> 259 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b36e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b36c0)
    ]
    Edge  259 <-> 260 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3700)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b36e0)
    ]
    Edge  260 <-> 261 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3720)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3700)
    ]
    Edge  261 <-> 262 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3740)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3720)
    ]
    Edge  262 <-> 263 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3760)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3740)
    ]
    Edge  263 <-> 264 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3780)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3760)
    ]
    Edge  264 <-> 265 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b37a0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3780)
    ]
    Edge  265 <-> 266 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b37c0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b37a0)
    ]
    Edge  266 <-> 267 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b37e0)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b37c0)
    ]
    Edge  267 <-> 268 [
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b3800)
        Arc: (edge = 0x7fff5f0c6a50, target = 0x14b37e0)
    ]
]
Robot arrangement: (|R| = 37, |V| = 269) [
     robot locations: {1#1 2#17 3#29 4#43 5#44 6#47 7#70 8#71 9#74 10#78 11#82 12#85 13#91 14#93 15#104 16#109 17#111 18#113 19#122 20#126 21#135 22#136 23#144 24#156 25#170 26#187 27#189 28#201 29#204 30#211 31#216 32#220 33#236 34#238 35#240 36#251 37#254 }
     vertex occupancy: {0#0 1#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 2#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 3#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 4#43 5#44 0#45 0#46 6#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 7#70 8#71 0#72 0#73 9#74 0#75 0#76 0#77 10#78 0#79 0#80 0#81 11#82 0#83 0#84 12#85 0#86 0#87 0#88 0#89 0#90 13#91 0#92 14#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 0#102 0#103 15#104 0#105 0#106 0#107 0#108 16#109 0#110 17#111 0#112 18#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 19#122 0#123 0#124 0#125 20#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 21#135 22#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 23#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 0#154 0#155 24#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 25#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 26#187 0#188 27#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 0#200 28#201 0#202 0#203 29#204 0#205 0#206 0#207 0#208 0#209 0#210 30#211 0#212 0#213 0#214 0#215 31#216 0#217 0#218 0#219 32#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 33#236 0#237 34#238 0#239 35#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 36#251 0#252 0#253 37#254 0#255 0#256 0#257 0#258 0#259 0#260 0#261 0#262 0#263 0#264 0#265 0#266 0#267 0#268 }
]
Robot arrangement: (|R| = 37, |V| = 269) [
     robot locations: {1#2 2#12 3#27 4#29 5#43 6#65 7#72 8#76 9#77 10#79 11#88 12#98 13#127 14#131 15#143 16#151 17#153 18#158 19#162 20#171 21#172 22#180 23#184 24#186 25#197 26#219 27#220 28#232 29#234 30#237 31#246 32#247 33#252 34#255 35#262 36#266 37#267 }
     vertex occupancy: {0#0 0#1 1#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 2#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 3#27 0#28 4#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 5#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 0#64 6#65 0#66 0#67 0#68 0#69 0#70 0#71 7#72 0#73 0#74 0#75 8#76 9#77 0#78 10#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 11#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 12#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 13#127 0#128 0#129 0#130 14#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 15#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 16#151 0#152 17#153 0#154 0#155 0#156 0#157 18#158 0#159 0#160 0#161 19#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 20#171 21#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 22#180 0#181 0#182 0#183 23#184 0#185 24#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 25#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 0#216 0#217 0#218 26#219 27#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 28#232 0#233 29#234 0#235 0#236 30#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 31#246 32#247 0#248 0#249 0#250 0#251 33#252 0#253 0#254 34#255 0#256 0#257 0#258 0#259 0#260 0#261 35#262 0#263 0#264 0#265 36#266 37#267 0#268 }
]
Unable to provide a new solution.
Phase statistics (current phase = 'root_phase') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 0
            Satisfiable SAT solver calls   = 0
            Unsatisfiable SAT solver calls = 0
            Indeterminate SAT solver calls = 0
            Move executions                = 0
            Produced CNF variables         = 0
            Produced CNF clauses           = 0
            Search steps                   = 0
            Wall clock TIME (seconds)      = 0.025
            CPU/machine TIME (seconds)     = 0.020
        ]
        Sub-phases {
            Phase (name = 'WHCA*_solving') [
                Total SAT solver calls         = 0
                Satisfiable SAT solver calls   = 0
                Unsatisfiable SAT solver calls = 0
                Indeterminate SAT solver calls = 0
                Move executions                = 0
                Produced CNF variables         = 0
                Produced CNF clauses           = 0
                Search steps                   = 10195
                Wall clock TIME (seconds)      = 0.012
                CPU/machine TIME (seconds)     = 0.010
            ]
        }
]
----------------------------------------------------------------