================================================================
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:2932
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)
224 # 268 ---> 213 (0)
230 # 259 ---> 260 (0)
224 # 213 ---> 214 (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)
233 # 104 ---> 105 (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)
230 # 260 ---> 261 (1)
247 # 188 ---> 255 (19)
224 # 214 ---> 131 (2)
261 # 7 ---> 6 (16)
261 # 6 ---> 5 (17)
261 # 5 ---> 189 (18)
261 # 189 ---> 188 (19)
230 # 261 ---> 262 (2)
247 # 255 ---> 256 (20)
261 # 188 ---> 255 (20)
250 # 4 ---> 5 (18)
224 # 131 ---> 130 (3)
250 # 5 ---> 6 (19)
230 # 262 ---> 263 (3)
247 # 256 ---> 257 (21)
261 # 255 ---> 256 (21)
224 # 130 ---> 129 (4)
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)
235 # 187 ---> 188 (21)
231 # 183 ---> 184 (0)
228 # 180 ---> 181 (0)
244 # 177 ---> 178 (5)
234 # 5 ---> 4 (23)
235 # 188 ---> 189 (22)
231 # 184 ---> 185 (1)
228 # 181 ---> 182 (1)
244 # 178 ---> 179 (6)
234 # 4 ---> 171 (24)
235 # 189 ---> 5 (23)
231 # 185 ---> 186 (20)
228 # 182 ---> 183 (2)
244 # 179 ---> 180 (7)
234 # 171 ---> 170 (25)
235 # 5 ---> 4 (24)
231 # 186 ---> 187 (21)
228 # 183 ---> 184 (3)
244 # 180 ---> 181 (8)
234 # 170 ---> 117 (26)
235 # 4 ---> 171 (25)
231 # 187 ---> 188 (22)
228 # 184 ---> 185 (20)
244 # 181 ---> 182 (9)
234 # 117 ---> 118 (27)
235 # 171 ---> 170 (26)
231 # 188 ---> 189 (23)
228 # 185 ---> 186 (21)
244 # 182 ---> 183 (10)
235 # 170 ---> 117 (27)
231 # 189 ---> 5 (24)
228 # 186 ---> 187 (22)
244 # 183 ---> 184 (20)
230 # 263 ---> 264 (4)
247 # 257 ---> 258 (22)
261 # 256 ---> 257 (22)
224 # 129 ---> 128 (5)
242 # 109 ---> 108 (0)
226 # 116 ---> 115 (0)
259 # 82 ---> 81 (0)
242 # 108 ---> 53 (1)
259 # 81 ---> 80 (1)
235 # 117 ---> 116 (28)
234 # 118 ---> 117 (28)
234 # 117 ---> 170 (29)
230 # 264 ---> 265 (5)
247 # 258 ---> 259 (23)
261 # 257 ---> 258 (23)
224 # 128 ---> 127 (6)
235 # 116 ---> 117 (29)
252 # 9 ---> 36 (6)
250 # 6 ---> 7 (20)
234 # 170 ---> 171 (30)
235 # 117 ---> 170 (30)
234 # 171 ---> 4 (31)
235 # 170 ---> 171 (31)
234 # 4 ---> 3 (32)
235 # 171 ---> 4 (32)
250 # 7 ---> 8 (21)
231 # 5 ---> 6 (25)
235 # 4 ---> 5 (33)
235 # 5 ---> 189 (34)
235 # 189 ---> 188 (35)
230 # 265 ---> 266 (6)
247 # 259 ---> 260 (24)
261 # 258 ---> 259 (24)
235 # 188 ---> 255 (36)
234 # 3 ---> 4 (33)
224 # 127 ---> 3 (33)
229 # 90 ---> 89 (0)
250 # 8 ---> 9 (22)
231 # 6 ---> 7 (26)
234 # 4 ---> 5 (34)
250 # 9 ---> 90 (23)
231 # 7 ---> 8 (27)
234 # 5 ---> 6 (35)
234 # 6 ---> 7 (36)
230 # 266 ---> 267 (7)
247 # 260 ---> 261 (25)
261 # 259 ---> 260 (25)
235 # 255 ---> 256 (37)
230 # 267 ---> 268 (8)
247 # 261 ---> 262 (26)
261 # 260 ---> 261 (26)
235 # 256 ---> 257 (38)
230 # 268 ---> 213 (9)
247 # 262 ---> 263 (27)
261 # 261 ---> 262 (27)
235 # 257 ---> 258 (39)
230 # 213 ---> 214 (10)
247 # 263 ---> 264 (28)
261 # 262 ---> 263 (28)
235 # 258 ---> 259 (40)
230 # 214 ---> 131 (11)
247 # 264 ---> 265 (29)
261 # 263 ---> 264 (29)
235 # 259 ---> 260 (41)
234 # 7 ---> 26 (37)
252 # 36 ---> 9 (23)
231 # 8 ---> 7 (37)
252 # 9 ---> 8 (37)
231 # 7 ---> 6 (38)
252 # 8 ---> 7 (38)
238 # 1 ---> 0 (0)
231 # 6 ---> 5 (39)
252 # 7 ---> 6 (39)
238 # 0 ---> 16 (1)
231 # 5 ---> 4 (40)
252 # 6 ---> 5 (40)
238 # 16 ---> 15 (2)
224 # 3 ---> 2 (34)
247 # 265 ---> 266 (30)
261 # 264 ---> 265 (30)
235 # 260 ---> 261 (42)
248 # 136 ---> 137 (0)
248 # 137 ---> 10 (1)
248 # 10 ---> 9 (37)
248 # 9 ---> 8 (38)
248 # 8 ---> 7 (39)
248 # 7 ---> 6 (40)
231 # 4 ---> 3 (41)
252 # 5 ---> 4 (41)
248 # 6 ---> 5 (41)
248 # 5 ---> 189 (42)
248 # 189 ---> 188 (43)
247 # 266 ---> 267 (31)
261 # 265 ---> 266 (31)
235 # 261 ---> 262 (43)
248 # 188 ---> 255 (44)
252 # 4 ---> 5 (42)
231 # 3 ---> 4 (42)
231 # 4 ---> 20 (43)
265 # 17 ---> 16 (2)
224 # 2 ---> 3 (42)
265 # 16 ---> 0 (3)
224 # 3 ---> 4 (43)
265 # 0 ---> 1 (4)
252 # 5 ---> 6 (43)
265 # 1 ---> 2 (42)
243 # 254 ---> 186 (22)
249 # 251 ---> 252 (0)
228 # 187 ---> 188 (44)
243 # 186 ---> 187 (44)
249 # 252 ---> 253 (1)
224 # 4 ---> 171 (44)
228 # 188 ---> 189 (45)
243 # 187 ---> 188 (45)
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 (42)
241 # 1 ---> 66 (43)
241 # 66 ---> 65 (44)
241 # 65 ---> 51 (45)
241 # 51 ---> 50 (46)
241 # 50 ---> 49 (47)
241 # 49 ---> 48 (48)
249 # 253 ---> 254 (22)
241 # 48 ---> 242 (49)
224 # 171 ---> 170 (45)
228 # 189 ---> 5 (46)
243 # 188 ---> 189 (46)
228 # 5 ---> 4 (47)
252 # 6 ---> 5 (47)
250 # 90 ---> 9 (38)
228 # 4 ---> 3 (48)
252 # 5 ---> 4 (48)
250 # 9 ---> 8 (39)
229 # 89 ---> 90 (38)
228 # 3 ---> 127 (49)
229 # 90 ---> 9 (39)
239 # 85 ---> 86 (0)
229 # 9 ---> 10 (40)
239 # 86 ---> 87 (1)
238 # 15 ---> 14 (3)
252 # 4 ---> 3 (49)
249 # 254 ---> 186 (44)
241 # 242 ---> 243 (50)
224 # 170 ---> 117 (46)
243 # 189 ---> 5 (48)
249 # 186 ---> 187 (45)
250 # 8 ---> 9 (40)
234 # 26 ---> 7 (40)
250 # 9 ---> 36 (41)
234 # 7 ---> 8 (41)
241 # 243 ---> 244 (51)
224 # 117 ---> 118 (47)
243 # 5 ---> 4 (49)
249 # 187 ---> 188 (46)
250 # 36 ---> 35 (42)
259 # 80 ---> 79 (4)
259 # 79 ---> 78 (5)
259 # 78 ---> 45 (6)
259 # 45 ---> 46 (7)
259 # 46 ---> 47 (8)
241 # 244 ---> 245 (52)
224 # 118 ---> 119 (48)
243 # 4 ---> 171 (50)
249 # 188 ---> 189 (48)
242 # 53 ---> 54 (2)
241 # 245 ---> 246 (53)
224 # 119 ---> 46 (49)
243 # 171 ---> 170 (51)
249 # 189 ---> 5 (49)
251 # 74 ---> 75 (0)
251 # 75 ---> 11 (1)
251 # 11 ---> 21 (2)
251 # 21 ---> 22 (3)
251 # 22 ---> 23 (4)
251 # 23 ---> 51 (46)
251 # 51 ---> 50 (47)
251 # 50 ---> 49 (48)
224 # 46 ---> 45 (50)
251 # 49 ---> 48 (49)
241 # 246 ---> 247 (54)
251 # 48 ---> 242 (50)
259 # 47 ---> 48 (50)
243 # 170 ---> 117 (52)
258 # 220 ---> 219 (0)
258 # 219 ---> 218 (1)
258 # 218 ---> 217 (2)
225 # 226 ---> 225 (0)
268 # 216 ---> 215 (0)
258 # 217 ---> 216 (3)
225 # 225 ---> 224 (1)
260 # 70 ---> 227 (0)
245 # 93 ---> 70 (0)
249 # 5 ---> 6 (50)
268 # 215 ---> 171 (51)
258 # 216 ---> 215 (51)
225 # 224 ---> 223 (2)
260 # 227 ---> 226 (1)
268 # 171 ---> 4 (52)
258 # 215 ---> 171 (52)
258 # 171 ---> 170 (53)
268 # 4 ---> 171 (53)
252 # 3 ---> 4 (53)
259 # 48 ---> 49 (51)
243 # 117 ---> 118 (53)
258 # 170 ---> 117 (54)
268 # 171 ---> 170 (54)
252 # 4 ---> 171 (54)
224 # 45 ---> 78 (51)
243 # 118 ---> 119 (54)
258 # 117 ---> 118 (55)
224 # 78 ---> 79 (52)
243 # 119 ---> 46 (55)
258 # 118 ---> 119 (56)
226 # 115 ---> 116 (29)
224 # 79 ---> 80 (53)
243 # 46 ---> 45 (56)
258 # 119 ---> 46 (57)
258 # 46 ---> 47 (58)
258 # 47 ---> 48 (59)
241 # 247 ---> 248 (55)
251 # 242 ---> 243 (51)
258 # 48 ---> 242 (60)
268 # 170 ---> 117 (55)
252 # 171 ---> 170 (55)
260 # 226 ---> 225 (2)
249 # 6 ---> 7 (51)
225 # 223 ---> 222 (3)
260 # 225 ---> 224 (3)
249 # 7 ---> 26 (52)
225 # 222 ---> 221 (4)
260 # 224 ---> 223 (4)
249 # 26 ---> 27 (53)
225 # 221 ---> 220 (5)
260 # 223 ---> 222 (5)
249 # 27 ---> 28 (54)
225 # 220 ---> 219 (6)
260 # 222 ---> 221 (6)
249 # 28 ---> 94 (55)
225 # 219 ---> 218 (7)
260 # 221 ---> 220 (7)
249 # 94 ---> 93 (56)
225 # 218 ---> 217 (8)
260 # 220 ---> 219 (8)
225 # 217 ---> 216 (51)
260 # 219 ---> 218 (9)
225 # 216 ---> 215 (52)
260 # 218 ---> 217 (51)
225 # 215 ---> 171 (55)
260 # 217 ---> 216 (52)
225 # 171 ---> 4 (56)
260 # 216 ---> 215 (55)
225 # 4 ---> 5 (57)
265 # 2 ---> 3 (53)
268 # 117 ---> 118 (56)
252 # 170 ---> 117 (56)
265 # 3 ---> 4 (57)
268 # 118 ---> 119 (57)
252 # 117 ---> 118 (57)
265 # 4 ---> 171 (58)
225 # 5 ---> 4 (58)
224 # 80 ---> 81 (54)
243 # 45 ---> 78 (57)
268 # 119 ---> 46 (58)
252 # 118 ---> 119 (58)
226 # 116 ---> 117 (57)
236 # 113 ---> 114 (0)
257 # 111 ---> 112 (0)
250 # 35 ---> 34 (43)
224 # 81 ---> 82 (55)
243 # 78 ---> 79 (58)
268 # 46 ---> 45 (59)
252 # 119 ---> 46 (59)
226 # 117 ---> 118 (58)
236 # 114 ---> 115 (29)
257 # 112 ---> 113 (1)
250 # 34 ---> 52 (44)
224 # 82 ---> 83 (56)
243 # 79 ---> 80 (59)
268 # 45 ---> 78 (60)
252 # 46 ---> 45 (60)
241 # 248 ---> 249 (56)
251 # 243 ---> 244 (52)
258 # 242 ---> 243 (61)
226 # 118 ---> 119 (59)
265 # 171 ---> 170 (59)
225 # 4 ---> 171 (59)
266 # 211 ---> 212 (0)
242 # 54 ---> 55 (3)
250 # 52 ---> 53 (45)
230 # 131 ---> 132 (12)
266 # 212 ---> 213 (10)
242 # 55 ---> 210 (4)
250 # 53 ---> 54 (46)
230 # 132 ---> 89 (38)
230 # 89 ---> 90 (39)
229 # 10 ---> 11 (41)
230 # 90 ---> 9 (41)
239 # 87 ---> 88 (2)
229 # 11 ---> 85 (42)
230 # 9 ---> 10 (42)
252 # 45 ---> 44 (61)
241 # 249 ---> 250 (57)
251 # 244 ---> 245 (53)
258 # 243 ---> 244 (62)
226 # 119 ---> 46 (60)
265 # 170 ---> 117 (60)
225 # 171 ---> 170 (60)
226 # 46 ---> 45 (61)
241 # 250 ---> 251 (58)
251 # 245 ---> 246 (54)
258 # 244 ---> 245 (63)
265 # 117 ---> 118 (61)
225 # 170 ---> 117 (61)
265 # 118 ---> 119 (62)
225 # 117 ---> 118 (62)
234 # 8 ---> 7 (52)
224 # 83 ---> 84 (57)
243 # 80 ---> 81 (60)
268 # 78 ---> 79 (61)
226 # 45 ---> 78 (62)
265 # 119 ---> 46 (63)
225 # 118 ---> 119 (63)
236 # 115 ---> 116 (57)
257 # 113 ---> 114 (29)
224 # 84 ---> 35 (58)
265 # 46 ---> 45 (64)
225 # 119 ---> 46 (64)
236 # 116 ---> 117 (62)
257 # 114 ---> 115 (57)
224 # 35 ---> 34 (59)
241 # 251 ---> 252 (59)
251 # 246 ---> 247 (55)
258 # 245 ---> 246 (64)
236 # 117 ---> 118 (63)
233 # 105 ---> 106 (1)
230 # 10 ---> 11 (43)
259 # 49 ---> 50 (52)
259 # 50 ---> 51 (53)
225 # 46 ---> 47 (65)
265 # 45 ---> 46 (65)
225 # 47 ---> 48 (66)
265 # 46 ---> 47 (66)
234 # 7 ---> 26 (53)
234 # 26 ---> 27 (54)
263 # 233 ---> 234 (7)
240 # 232 ---> 233 (9)
246 # 97 ---> 98 (4)
263 # 234 ---> 235 (8)
240 # 233 ---> 234 (10)
246 # 98 ---> 99 (5)
234 # 27 ---> 28 (55)
260 # 215 ---> 171 (60)
234 # 28 ---> 94 (56)
243 # 81 ---> 82 (61)
268 # 79 ---> 80 (62)
226 # 78 ---> 79 (63)
236 # 118 ---> 119 (64)
257 # 115 ---> 116 (62)
224 # 34 ---> 52 (60)
243 # 82 ---> 83 (62)
268 # 80 ---> 81 (63)
226 # 79 ---> 80 (64)
236 # 119 ---> 46 (66)
257 # 116 ---> 117 (63)
224 # 52 ---> 53 (61)
243 # 83 ---> 84 (63)
268 # 81 ---> 82 (64)
226 # 80 ---> 81 (65)
263 # 235 ---> 236 (9)
240 # 234 ---> 235 (11)
246 # 99 ---> 100 (6)
230 # 11 ---> 12 (44)
264 # 71 ---> 72 (0)
264 # 72 ---> 73 (1)
264 # 73 ---> 74 (2)
264 # 74 ---> 75 (3)
264 # 75 ---> 11 (44)
264 # 11 ---> 10 (45)
263 # 236 ---> 237 (10)
240 # 235 ---> 236 (12)
246 # 100 ---> 101 (7)
259 # 51 ---> 23 (54)
225 # 48 ---> 49 (67)
265 # 47 ---> 48 (67)
259 # 23 ---> 24 (55)
225 # 49 ---> 50 (68)
265 # 48 ---> 49 (68)
259 # 24 ---> 25 (56)
225 # 50 ---> 51 (69)
265 # 49 ---> 50 (69)
259 # 25 ---> 8 (57)
225 # 51 ---> 23 (70)
265 # 50 ---> 51 (70)
259 # 8 ---> 7 (58)
225 # 23 ---> 24 (71)
265 # 51 ---> 23 (71)
236 # 46 ---> 47 (67)
259 # 7 ---> 26 (59)
225 # 24 ---> 25 (72)
265 # 23 ---> 24 (72)
236 # 47 ---> 48 (68)
252 # 44 ---> 45 (65)
237 # 43 ---> 44 (65)
259 # 26 ---> 27 (60)
225 # 25 ---> 8 (73)
265 # 24 ---> 25 (73)
236 # 48 ---> 49 (69)
252 # 45 ---> 46 (67)
237 # 44 ---> 45 (67)
259 # 27 ---> 28 (61)
225 # 8 ---> 7 (74)
265 # 25 ---> 8 (74)
236 # 49 ---> 50 (70)
252 # 46 ---> 47 (68)
237 # 45 ---> 46 (68)
259 # 28 ---> 29 (62)
225 # 7 ---> 26 (75)
265 # 8 ---> 7 (75)
236 # 50 ---> 51 (71)
252 # 47 ---> 48 (69)
237 # 46 ---> 47 (69)
259 # 29 ---> 30 (63)
236 # 51 ---> 23 (72)
252 # 48 ---> 49 (70)
237 # 47 ---> 48 (70)
263 # 237 ---> 238 (11)
240 # 236 ---> 237 (13)
237 # 48 ---> 228 (71)
246 # 101 ---> 102 (8)
263 # 238 ---> 239 (12)
240 # 237 ---> 238 (14)
237 # 228 ---> 229 (72)
246 # 102 ---> 103 (9)
263 # 239 ---> 240 (13)
240 # 238 ---> 239 (15)
237 # 229 ---> 230 (73)
246 # 103 ---> 46 (69)
257 # 117 ---> 118 (64)
257 # 118 ---> 119 (66)
224 # 53 ---> 108 (62)
243 # 84 ---> 35 (64)
268 # 82 ---> 83 (65)
226 # 81 ---> 82 (66)
246 # 46 ---> 45 (70)
257 # 119 ---> 46 (70)
257 # 46 ---> 47 (71)
257 # 47 ---> 48 (72)
263 # 240 ---> 241 (14)
240 # 239 ---> 240 (16)
237 # 230 ---> 231 (74)
257 # 48 ---> 228 (73)
252 # 49 ---> 50 (71)
260 # 171 ---> 170 (61)
252 # 50 ---> 51 (72)
260 # 170 ---> 117 (64)
252 # 51 ---> 65 (73)
260 # 117 ---> 118 (66)
243 # 35 ---> 36 (65)
268 # 83 ---> 84 (66)
226 # 82 ---> 83 (67)
246 # 45 ---> 78 (71)
268 # 84 ---> 35 (67)
246 # 78 ---> 79 (72)
268 # 35 ---> 34 (68)
246 # 79 ---> 80 (73)
263 # 241 ---> 159 (15)
240 # 240 ---> 241 (17)
237 # 231 ---> 232 (75)
257 # 228 ---> 229 (74)
263 # 159 ---> 96 (16)
254 # 126 ---> 125 (0)
230 # 12 ---> 11 (45)
238 # 14 ---> 13 (4)
254 # 125 ---> 14 (4)
230 # 11 ---> 64 (46)
238 # 13 ---> 12 (45)
254 # 14 ---> 13 (45)
264 # 10 ---> 9 (46)
238 # 12 ---> 11 (46)
254 # 13 ---> 12 (46)
238 # 11 ---> 10 (47)
254 # 12 ---> 11 (47)
254 # 11 ---> 21 (48)
254 # 21 ---> 22 (49)
236 # 23 ---> 24 (73)
254 # 22 ---> 23 (73)
254 # 23 ---> 51 (74)
254 # 51 ---> 50 (75)
254 # 50 ---> 49 (76)
254 # 49 ---> 48 (77)
240 # 241 ---> 159 (18)
237 # 232 ---> 233 (76)
257 # 229 ---> 230 (75)
254 # 48 ---> 228 (78)
263 # 96 ---> 97 (17)
240 # 159 ---> 96 (19)
237 # 233 ---> 234 (77)
257 # 230 ---> 231 (76)
254 # 228 ---> 229 (79)
263 # 97 ---> 98 (18)
240 # 96 ---> 97 (20)
264 # 9 ---> 8 (75)
236 # 24 ---> 23 (74)
264 # 8 ---> 25 (76)
238 # 10 ---> 9 (75)
236 # 23 ---> 22 (75)
237 # 234 ---> 235 (78)
257 # 231 ---> 232 (77)
254 # 229 ---> 230 (80)
263 # 98 ---> 99 (19)
240 # 97 ---> 98 (21)
237 # 235 ---> 236 (79)
257 # 232 ---> 233 (78)
254 # 230 ---> 231 (81)
263 # 99 ---> 100 (20)
240 # 98 ---> 99 (22)
236 # 22 ---> 21 (76)
252 # 65 ---> 51 (75)
236 # 21 ---> 11 (77)
252 # 51 ---> 23 (76)
237 # 236 ---> 237 (80)
257 # 233 ---> 234 (79)
254 # 231 ---> 232 (82)
233 # 106 ---> 107 (2)
232 # 91 ---> 62 (0)
259 # 30 ---> 92 (64)
256 # 156 ---> 157 (0)
233 # 107 ---> 146 (3)
232 # 62 ---> 61 (1)
259 # 92 ---> 91 (65)
256 # 157 ---> 158 (1)
259 # 91 ---> 62 (66)
256 # 158 ---> 159 (19)
256 # 159 ---> 96 (20)
256 # 96 ---> 95 (21)
246 # 80 ---> 107 (74)
256 # 95 ---> 31 (22)
256 # 31 ---> 30 (64)
252 # 23 ---> 176 (77)
265 # 7 ---> 8 (76)
225 # 26 ---> 7 (76)
256 # 30 ---> 29 (65)
268 # 34 ---> 33 (69)
243 # 36 ---> 35 (68)
238 # 9 ---> 36 (76)
265 # 8 ---> 9 (77)
225 # 7 ---> 8 (77)
256 # 29 ---> 28 (66)
268 # 33 ---> 32 (70)
243 # 35 ---> 34 (69)
238 # 36 ---> 35 (77)
265 # 9 ---> 36 (78)
225 # 8 ---> 9 (78)
256 # 28 ---> 27 (67)
268 # 32 ---> 31 (71)
243 # 34 ---> 33 (70)
238 # 35 ---> 34 (78)
265 # 36 ---> 35 (79)
225 # 9 ---> 36 (79)
256 # 27 ---> 26 (76)
268 # 31 ---> 30 (72)
243 # 33 ---> 32 (71)
238 # 34 ---> 33 (79)
265 # 35 ---> 34 (80)
225 # 36 ---> 35 (80)
256 # 26 ---> 7 (77)
268 # 30 ---> 29 (73)
243 # 32 ---> 31 (72)
238 # 33 ---> 32 (80)
265 # 34 ---> 33 (81)
225 # 35 ---> 34 (81)
256 # 7 ---> 8 (78)
234 # 94 ---> 28 (67)
256 # 8 ---> 9 (79)
256 # 9 ---> 10 (80)
234 # 28 ---> 27 (76)
234 # 27 ---> 26 (77)
268 # 29 ---> 28 (76)
243 # 31 ---> 30 (73)
238 # 32 ---> 31 (81)
265 # 33 ---> 32 (82)
225 # 34 ---> 33 (82)
234 # 26 ---> 7 (78)
268 # 28 ---> 27 (77)
243 # 30 ---> 29 (76)
238 # 31 ---> 30 (82)
265 # 32 ---> 31 (83)
225 # 33 ---> 32 (83)
234 # 7 ---> 8 (79)
268 # 27 ---> 26 (78)
231 # 20 ---> 4 (59)
231 # 4 ---> 3 (60)
268 # 26 ---> 7 (79)
265 # 31 ---> 95 (84)
246 # 107 ---> 106 (75)
234 # 8 ---> 9 (80)
234 # 9 ---> 36 (81)
264 # 25 ---> 8 (80)
234 # 36 ---> 35 (82)
268 # 7 ---> 6 (80)
249 # 93 ---> 94 (67)
256 # 10 ---> 9 (81)
231 # 3 ---> 2 (61)
268 # 6 ---> 5 (81)
264 # 8 ---> 7 (81)
256 # 9 ---> 8 (82)
231 # 2 ---> 1 (62)
268 # 5 ---> 4 (82)
264 # 7 ---> 6 (82)
256 # 8 ---> 7 (83)
236 # 11 ---> 10 (81)
231 # 1 ---> 0 (63)
268 # 4 ---> 3 (83)
264 # 6 ---> 5 (83)
256 # 7 ---> 6 (84)
236 # 10 ---> 9 (82)
231 # 0 ---> 16 (64)
268 # 3 ---> 2 (84)
264 # 5 ---> 4 (84)
264 # 4 ---> 171 (85)
264 # 171 ---> 215 (86)
256 # 6 ---> 5 (85)
249 # 94 ---> 28 (77)
255 # 135 ---> 136 (0)
255 # 136 ---> 137 (1)
255 # 137 ---> 10 (82)
255 # 10 ---> 11 (83)
255 # 11 ---> 12 (84)
255 # 12 ---> 77 (85)
255 # 77 ---> 76 (86)
231 # 16 ---> 15 (65)
255 # 76 ---> 3 (87)
255 # 3 ---> 4 (88)
255 # 4 ---> 171 (89)
264 # 215 ---> 216 (87)
255 # 171 ---> 215 (90)
256 # 5 ---> 4 (89)
249 # 28 ---> 27 (78)
264 # 216 ---> 217 (88)
255 # 215 ---> 216 (91)
249 # 27 ---> 26 (79)
264 # 217 ---> 218 (89)
255 # 216 ---> 217 (92)
249 # 26 ---> 7 (84)
242 # 210 ---> 211 (5)
250 # 54 ---> 55 (47)
234 # 35 ---> 34 (83)
236 # 9 ---> 36 (83)
266 # 213 ---> 214 (11)
242 # 211 ---> 212 (10)
250 # 55 ---> 210 (48)
234 # 34 ---> 52 (84)
236 # 36 ---> 35 (84)
266 # 214 ---> 131 (12)
242 # 212 ---> 213 (11)
250 # 210 ---> 211 (49)
234 # 52 ---> 53 (85)
249 # 7 ---> 8 (85)
266 # 131 ---> 130 (13)
266 # 130 ---> 129 (14)
228 # 127 ---> 3 (88)
266 # 129 ---> 128 (15)
266 # 128 ---> 127 (88)
264 # 218 ---> 219 (90)
255 # 217 ---> 218 (93)
268 # 2 ---> 1 (85)
228 # 3 ---> 2 (89)
264 # 219 ---> 220 (91)
255 # 218 ---> 219 (94)
243 # 29 ---> 28 (78)
230 # 64 ---> 11 (84)
234 # 53 ---> 54 (86)
230 # 11 ---> 10 (85)
259 # 62 ---> 63 (67)
230 # 10 ---> 9 (86)
259 # 63 ---> 64 (84)
242 # 213 ---> 214 (12)
250 # 211 ---> 212 (50)
243 # 28 ---> 27 (79)
243 # 27 ---> 26 (84)
243 # 26 ---> 7 (85)
242 # 214 ---> 131 (13)
250 # 212 ---> 213 (51)
242 # 131 ---> 132 (38)
259 # 64 ---> 11 (85)
246 # 106 ---> 105 (76)
259 # 11 ---> 10 (86)
246 # 105 ---> 104 (77)
232 # 61 ---> 62 (67)
246 # 104 ---> 61 (78)
250 # 213 ---> 214 (52)
242 # 132 ---> 89 (39)
243 # 7 ---> 6 (86)
249 # 8 ---> 7 (86)
249 # 7 ---> 26 (87)
230 # 9 ---> 8 (87)
250 # 214 ---> 131 (53)
242 # 89 ---> 90 (41)
250 # 131 ---> 132 (54)
246 # 61 ---> 60 (79)
232 # 62 ---> 61 (79)
236 # 35 ---> 34 (85)
242 # 90 ---> 9 (87)
250 # 132 ---> 89 (55)
231 # 15 ---> 14 (66)
231 # 14 ---> 13 (67)
268 # 1 ---> 0 (86)
230 # 8 ---> 25 (88)
242 # 9 ---> 8 (88)
259 # 10 ---> 9 (88)
231 # 13 ---> 12 (85)
268 # 0 ---> 16 (87)
228 # 2 ---> 1 (90)
243 # 6 ---> 5 (89)
242 # 8 ---> 7 (89)
259 # 9 ---> 8 (89)
231 # 12 ---> 11 (86)
268 # 16 ---> 15 (88)
253 # 204 ---> 205 (0)
227 # 203 ---> 204 (0)
228 # 1 ---> 0 (91)
256 # 4 ---> 3 (90)
256 # 3 ---> 2 (91)
243 # 5 ---> 4 (90)
242 # 7 ---> 6 (90)
259 # 8 ---> 7 (90)
231 # 11 ---> 10 (88)
268 # 15 ---> 14 (89)
228 # 0 ---> 16 (92)
256 # 2 ---> 1 (92)
243 # 4 ---> 3 (91)
242 # 6 ---> 5 (91)
259 # 7 ---> 6 (91)
231 # 10 ---> 9 (89)
268 # 14 ---> 13 (90)
228 # 16 ---> 15 (93)
256 # 1 ---> 0 (93)
243 # 3 ---> 2 (92)
242 # 5 ---> 4 (92)
259 # 6 ---> 5 (92)
231 # 9 ---> 8 (90)
268 # 13 ---> 12 (91)
228 # 15 ---> 14 (94)
256 # 0 ---> 16 (94)
243 # 2 ---> 1 (93)
242 # 4 ---> 3 (93)
259 # 5 ---> 4 (93)
231 # 8 ---> 7 (91)
268 # 12 ---> 11 (92)
228 # 14 ---> 13 (95)
256 # 16 ---> 15 (95)
253 # 205 ---> 206 (1)
227 # 204 ---> 205 (1)
243 # 1 ---> 0 (94)
244 # 184 ---> 185 (21)
268 # 11 ---> 10 (93)
228 # 13 ---> 12 (96)
256 # 15 ---> 14 (96)
243 # 0 ---> 16 (95)
242 # 3 ---> 2 (94)
259 # 4 ---> 3 (94)
231 # 7 ---> 6 (92)
268 # 10 ---> 9 (94)
228 # 12 ---> 11 (97)
256 # 14 ---> 13 (97)
243 # 16 ---> 15 (96)
242 # 2 ---> 1 (95)
259 # 3 ---> 2 (95)
231 # 6 ---> 5 (93)
268 # 9 ---> 8 (95)
228 # 11 ---> 10 (98)
256 # 13 ---> 12 (98)
243 # 15 ---> 14 (97)
242 # 1 ---> 0 (96)
259 # 2 ---> 1 (96)
231 # 5 ---> 4 (94)
268 # 8 ---> 7 (96)
228 # 10 ---> 9 (99)
256 # 12 ---> 11 (99)
243 # 14 ---> 13 (98)
242 # 0 ---> 16 (97)
259 # 1 ---> 0 (97)
268 # 7 ---> 6 (97)
228 # 9 ---> 8 (100)
256 # 11 ---> 10 (100)
243 # 13 ---> 12 (99)
242 # 16 ---> 15 (98)
259 # 0 ---> 16 (98)
228 # 8 ---> 7 (101)
256 # 10 ---> 9 (101)
243 # 12 ---> 11 (100)
242 # 15 ---> 14 (99)
259 # 16 ---> 15 (99)
253 # 206 ---> 207 (2)
227 # 205 ---> 206 (2)
230 # 25 ---> 24 (89)
256 # 9 ---> 8 (102)
226 # 83 ---> 84 (68)
230 # 24 ---> 23 (90)
256 # 8 ---> 25 (103)
226 # 84 ---> 35 (85)
230 # 23 ---> 51 (91)
256 # 25 ---> 24 (104)
243 # 11 ---> 10 (101)
242 # 14 ---> 13 (100)
259 # 15 ---> 14 (100)
253 # 207 ---> 208 (3)
227 # 206 ---> 207 (3)
230 # 51 ---> 65 (92)
253 # 208 ---> 209 (4)
227 # 207 ---> 208 (4)
230 # 65 ---> 66 (93)
250 # 89 ---> 90 (87)
239 # 88 ---> 89 (87)
256 # 24 ---> 23 (105)
225 # 32 ---> 31 (84)
236 # 34 ---> 33 (86)
253 # 209 ---> 163 (5)
227 # 208 ---> 209 (5)
230 # 66 ---> 1 (97)
253 # 163 ---> 162 (6)
265 # 95 ---> 96 (85)
225 # 31 ---> 95 (85)
238 # 30 ---> 31 (85)
256 # 23 ---> 22 (106)
252 # 176 ---> 23 (106)
265 # 96 ---> 97 (86)
225 # 95 ---> 96 (86)
238 # 31 ---> 95 (86)
242 # 13 ---> 12 (101)
259 # 14 ---> 13 (101)
230 # 1 ---> 0 (98)
252 # 23 ---> 51 (107)
243 # 10 ---> 9 (102)
242 # 12 ---> 11 (102)
259 # 13 ---> 12 (102)
243 # 9 ---> 8 (103)
242 # 11 ---> 10 (103)
259 # 12 ---> 11 (103)
227 # 209 ---> 163 (6)
252 # 51 ---> 65 (108)
253 # 162 ---> 161 (7)
227 # 163 ---> 162 (7)
225 # 96 ---> 159 (87)
238 # 95 ---> 96 (87)
225 # 159 ---> 158 (88)
238 # 96 ---> 159 (88)
236 # 33 ---> 32 (87)
226 # 35 ---> 34 (86)
242 # 10 ---> 9 (104)
259 # 11 ---> 10 (104)
242 # 9 ---> 36 (105)
259 # 10 ---> 9 (105)
242 # 36 ---> 35 (106)
259 # 9 ---> 36 (106)
242 # 35 ---> 84 (107)
259 # 36 ---> 35 (107)
242 # 84 ---> 83 (108)
259 # 35 ---> 84 (108)
226 # 34 ---> 35 (108)
243 # 8 ---> 9 (106)
243 # 9 ---> 10 (107)
228 # 7 ---> 8 (106)
252 # 65 ---> 66 (109)
253 # 161 ---> 160 (8)
227 # 162 ---> 161 (8)
228 # 8 ---> 25 (107)
226 # 35 ---> 36 (109)
259 # 84 ---> 35 (109)
242 # 83 ---> 84 (109)
228 # 25 ---> 24 (108)
226 # 36 ---> 9 (110)
259 # 35 ---> 36 (110)
242 # 84 ---> 35 (110)
228 # 24 ---> 23 (109)
252 # 66 ---> 1 (110)
253 # 160 ---> 103 (69)
227 # 161 ---> 160 (69)
229 # 85 ---> 11 (104)
229 # 11 ---> 12 (105)
229 # 12 ---> 13 (106)
229 # 13 ---> 14 (107)
229 # 14 ---> 15 (108)
252 # 1 ---> 2 (111)
229 # 15 ---> 16 (109)
229 # 16 ---> 197 (110)
230 # 0 ---> 16 (110)
253 # 103 ---> 46 (71)
227 # 160 ---> 103 (71)
263 # 100 ---> 101 (21)
240 # 99 ---> 100 (23)
265 # 97 ---> 98 (87)
253 # 46 ---> 45 (72)
227 # 103 ---> 46 (72)
227 # 46 ---> 47 (73)
227 # 47 ---> 48 (78)
227 # 48 ---> 49 (79)
227 # 49 ---> 50 (80)
227 # 50 ---> 51 (108)
227 # 51 ---> 65 (109)
227 # 65 ---> 66 (110)
227 # 66 ---> 1 (111)
227 # 1 ---> 0 (112)
260 # 118 ---> 119 (70)
231 # 4 ---> 171 (95)
226 # 9 ---> 8 (111)
230 # 16 ---> 15 (111)
227 # 0 ---> 16 (113)
229 # 197 ---> 198 (111)
227 # 16 ---> 197 (114)
253 # 45 ---> 78 (73)
260 # 119 ---> 46 (73)
231 # 171 ---> 170 (96)
244 # 185 ---> 186 (45)
253 # 78 ---> 79 (74)
260 # 46 ---> 45 (74)
231 # 170 ---> 117 (97)
244 # 186 ---> 187 (46)
253 # 79 ---> 177 (75)
260 # 45 ---> 78 (75)
244 # 187 ---> 188 (48)
253 # 177 ---> 178 (76)
260 # 78 ---> 79 (76)
244 # 188 ---> 189 (49)
253 # 178 ---> 179 (77)
260 # 79 ---> 177 (77)
244 # 189 ---> 5 (94)
253 # 179 ---> 180 (78)
260 # 177 ---> 178 (78)
244 # 5 ---> 4 (95)
253 # 180 ---> 181 (79)
260 # 178 ---> 179 (79)
243 # 10 ---> 9 (111)
230 # 15 ---> 14 (112)
252 # 2 ---> 1 (112)
244 # 4 ---> 3 (96)
226 # 8 ---> 7 (112)
243 # 9 ---> 8 (112)
230 # 14 ---> 13 (113)
252 # 1 ---> 0 (113)
244 # 3 ---> 2 (112)
268 # 6 ---> 5 (98)
226 # 7 ---> 6 (113)
243 # 8 ---> 7 (113)
230 # 13 ---> 12 (114)
244 # 2 ---> 1 (113)
268 # 5 ---> 4 (99)
226 # 6 ---> 5 (114)
243 # 7 ---> 6 (114)
230 # 12 ---> 11 (115)
230 # 11 ---> 10 (116)
230 # 10 ---> 9 (117)
229 # 198 ---> 199 (112)
227 # 197 ---> 198 (115)
242 # 35 ---> 34 (111)
259 # 36 ---> 35 (111)
230 # 9 ---> 36 (118)
242 # 34 ---> 52 (112)
259 # 35 ---> 34 (112)
230 # 36 ---> 35 (119)
246 # 60 ---> 126 (80)
246 # 126 ---> 125 (81)
246 # 125 ---> 14 (113)
232 # 61 ---> 60 (80)
246 # 14 ---> 15 (114)
246 # 15 ---> 16 (115)
229 # 199 ---> 200 (113)
227 # 198 ---> 199 (116)
246 # 16 ---> 197 (116)
230 # 35 ---> 84 (120)
259 # 34 ---> 35 (120)
242 # 52 ---> 34 (120)
230 # 84 ---> 83 (121)
259 # 35 ---> 84 (121)
242 # 34 ---> 35 (121)
224 # 108 ---> 53 (86)
224 # 53 ---> 52 (120)
268 # 4 ---> 171 (100)
224 # 52 ---> 34 (121)
232 # 60 ---> 59 (81)
236 # 32 ---> 31 (88)
224 # 34 ---> 33 (122)
224 # 33 ---> 32 (123)
249 # 26 ---> 7 (114)
249 # 7 ---> 8 (115)
243 # 6 ---> 7 (115)
226 # 5 ---> 6 (115)
249 # 8 ---> 9 (118)
243 # 7 ---> 8 (118)
226 # 6 ---> 7 (118)
249 # 9 ---> 10 (119)
243 # 8 ---> 9 (119)
226 # 7 ---> 8 (119)
228 # 23 ---> 51 (110)
267 # 122 ---> 24 (109)
228 # 51 ---> 65 (111)
256 # 22 ---> 23 (110)
249 # 10 ---> 11 (120)
243 # 9 ---> 10 (120)
249 # 11 ---> 75 (121)
256 # 23 ---> 51 (111)
267 # 24 ---> 23 (111)
267 # 23 ---> 22 (112)
256 # 51 ---> 23 (112)
256 # 23 ---> 24 (113)
228 # 65 ---> 51 (112)
256 # 24 ---> 122 (114)
267 # 22 ---> 23 (113)
243 # 10 ---> 11 (121)
226 # 8 ---> 9 (120)
231 # 117 ---> 118 (98)
242 # 35 ---> 34 (122)
259 # 84 ---> 35 (122)
230 # 83 ---> 84 (122)
231 # 118 ---> 119 (99)
242 # 34 ---> 52 (123)
259 # 35 ---> 34 (123)
230 # 84 ---> 35 (123)
231 # 119 ---> 46 (100)
242 # 52 ---> 53 (124)
259 # 34 ---> 52 (124)
230 # 35 ---> 34 (124)
231 # 46 ---> 45 (101)
268 # 171 ---> 170 (101)
231 # 45 ---> 44 (102)
253 # 181 ---> 182 (80)
260 # 179 ---> 180 (80)
268 # 170 ---> 117 (102)
243 # 11 ---> 85 (122)
226 # 9 ---> 10 (121)
250 # 90 ---> 9 (121)
239 # 89 ---> 90 (121)
243 # 85 ---> 86 (123)
226 # 10 ---> 11 (122)
250 # 9 ---> 10 (122)
239 # 90 ---> 9 (122)
226 # 11 ---> 85 (123)
253 # 182 ---> 183 (81)
260 # 180 ---> 181 (81)
268 # 117 ---> 118 (103)
253 # 183 ---> 184 (82)
260 # 181 ---> 182 (82)
268 # 118 ---> 119 (104)
262 # 144 ---> 145 (0)
262 # 145 ---> 99 (23)
263 # 101 ---> 102 (22)
240 # 100 ---> 101 (24)
262 # 99 ---> 100 (24)
265 # 98 ---> 99 (88)
236 # 31 ---> 95 (89)
231 # 44 ---> 43 (103)
263 # 102 ---> 103 (72)
240 # 101 ---> 102 (72)
262 # 100 ---> 101 (72)
265 # 99 ---> 100 (89)
236 # 95 ---> 96 (90)
231 # 43 ---> 42 (104)
263 # 103 ---> 46 (101)
240 # 102 ---> 103 (101)
262 # 101 ---> 102 (101)
236 # 96 ---> 97 (91)
231 # 42 ---> 41 (105)
263 # 46 ---> 45 (102)
240 # 103 ---> 46 (102)
262 # 102 ---> 103 (102)
236 # 97 ---> 98 (92)
231 # 41 ---> 40 (106)
263 # 45 ---> 44 (103)
240 # 46 ---> 45 (103)
262 # 103 ---> 46 (103)
236 # 98 ---> 99 (93)
231 # 40 ---> 39 (107)
263 # 44 ---> 43 (104)
240 # 45 ---> 44 (104)
262 # 46 ---> 45 (104)
262 # 45 ---> 78 (105)
262 # 78 ---> 79 (106)
253 # 184 ---> 185 (83)
260 # 182 ---> 183 (83)
262 # 79 ---> 177 (107)
268 # 119 ---> 46 (105)
253 # 185 ---> 186 (84)
260 # 183 ---> 184 (84)
262 # 177 ---> 178 (108)
268 # 46 ---> 45 (106)
239 # 9 ---> 36 (123)
239 # 36 ---> 35 (124)
239 # 35 ---> 84 (125)
239 # 84 ---> 83 (126)
239 # 83 ---> 82 (127)
239 # 82 ---> 81 (128)
239 # 81 ---> 80 (129)
239 # 80 ---> 79 (130)
253 # 186 ---> 187 (85)
260 # 184 ---> 185 (85)
262 # 178 ---> 179 (109)
239 # 79 ---> 177 (131)
268 # 45 ---> 78 (107)
236 # 99 ---> 145 (94)
253 # 187 ---> 188 (86)
260 # 185 ---> 186 (86)
262 # 179 ---> 180 (110)
239 # 177 ---> 178 (132)
232 # 59 ---> 58 (82)
250 # 10 ---> 11 (123)
230 # 34 ---> 35 (125)
259 # 52 ---> 34 (125)
242 # 53 ---> 52 (125)
250 # 11 ---> 64 (124)
230 # 35 ---> 36 (126)
259 # 34 ---> 35 (126)
242 # 52 ---> 34 (126)
234 # 54 ---> 53 (125)
250 # 64 ---> 63 (125)
234 # 53 ---> 52 (126)
253 # 188 ---> 189 (94)
260 # 186 ---> 187 (87)
262 # 180 ---> 181 (111)
239 # 178 ---> 179 (133)
268 # 78 ---> 79 (131)
228 # 51 ---> 50 (113)
268 # 79 ---> 80 (132)
253 # 189 ---> 5 (115)
260 # 187 ---> 188 (94)
262 # 181 ---> 182 (112)
239 # 179 ---> 180 (134)
253 # 5 ---> 4 (116)
244 # 1 ---> 66 (114)
244 # 66 ---> 65 (115)
244 # 65 ---> 51 (116)
256 # 122 ---> 121 (115)
231 # 39 ---> 38 (108)
263 # 43 ---> 42 (105)
240 # 44 ---> 43 (105)
228 # 50 ---> 49 (114)
244 # 51 ---> 50 (117)
267 # 23 ---> 51 (117)
231 # 38 ---> 37 (109)
228 # 49 ---> 48 (115)
244 # 50 ---> 49 (118)
231 # 37 ---> 30 (110)
228 # 48 ---> 47 (116)
244 # 49 ---> 48 (119)
231 # 30 ---> 29 (111)
228 # 47 ---> 46 (117)
244 # 48 ---> 47 (120)
228 # 46 ---> 45 (118)
244 # 47 ---> 46 (121)
228 # 45 ---> 44 (119)
244 # 46 ---> 45 (122)
244 # 45 ---> 78 (131)
244 # 78 ---> 79 (132)
260 # 188 ---> 189 (115)
262 # 182 ---> 183 (113)
239 # 180 ---> 181 (135)
244 # 79 ---> 177 (133)
253 # 4 ---> 171 (117)
228 # 44 ---> 45 (131)
260 # 189 ---> 5 (116)
262 # 183 ---> 184 (114)
239 # 181 ---> 182 (136)
244 # 177 ---> 178 (134)
260 # 5 ---> 4 (117)
231 # 29 ---> 28 (112)
224 # 32 ---> 31 (124)
231 # 28 ---> 27 (113)
242 # 34 ---> 33 (127)
259 # 35 ---> 34 (127)
262 # 184 ---> 185 (115)
239 # 182 ---> 183 (137)
244 # 178 ---> 179 (135)
267 # 51 ---> 50 (118)
262 # 185 ---> 186 (116)
239 # 183 ---> 184 (138)
244 # 179 ---> 180 (136)
250 # 63 ---> 62 (126)
228 # 45 ---> 46 (132)
224 # 31 ---> 30 (125)
228 # 46 ---> 103 (133)
224 # 30 ---> 37 (126)
265 # 100 ---> 99 (94)
228 # 103 ---> 102 (134)
265 # 99 ---> 98 (95)
228 # 102 ---> 101 (135)
250 # 62 ---> 91 (127)
230 # 36 ---> 35 (127)
231 # 27 ---> 26 (114)
250 # 91 ---> 92 (128)
231 # 26 ---> 7 (119)
250 # 92 ---> 30 (129)
231 # 7 ---> 8 (120)
250 # 30 ---> 29 (130)
231 # 8 ---> 25 (121)
250 # 29 ---> 28 (131)
267 # 50 ---> 49 (119)
231 # 25 ---> 24 (122)
250 # 28 ---> 27 (132)
267 # 49 ---> 48 (120)
250 # 27 ---> 26 (133)
224 # 37 ---> 30 (130)
267 # 48 ---> 47 (121)
250 # 26 ---> 7 (134)
224 # 30 ---> 29 (131)
267 # 47 ---> 46 (133)
250 # 7 ---> 8 (135)
224 # 29 ---> 28 (132)
265 # 98 ---> 97 (96)
228 # 101 ---> 100 (136)
267 # 46 ---> 103 (134)
265 # 97 ---> 96 (97)
228 # 100 ---> 99 (137)
267 # 103 ---> 102 (135)
265 # 96 ---> 95 (98)
228 # 99 ---> 98 (138)
267 # 102 ---> 101 (136)
265 # 95 ---> 31 (125)
228 # 98 ---> 97 (139)
267 # 101 ---> 100 (137)
240 # 43 ---> 44 (131)
240 # 44 ---> 45 (132)
240 # 45 ---> 46 (134)
240 # 46 ---> 103 (135)
240 # 103 ---> 102 (136)
240 # 102 ---> 101 (137)
265 # 31 ---> 30 (131)
228 # 97 ---> 96 (140)
267 # 100 ---> 99 (138)
240 # 101 ---> 100 (138)
228 # 96 ---> 95 (141)
267 # 99 ---> 98 (139)
240 # 100 ---> 99 (139)
228 # 95 ---> 31 (142)
267 # 98 ---> 97 (140)
240 # 99 ---> 98 (140)
267 # 97 ---> 96 (141)
240 # 98 ---> 97 (141)
240 # 97 ---> 172 (142)
230 # 35 ---> 84 (128)
259 # 34 ---> 35 (128)
234 # 52 ---> 34 (128)
230 # 84 ---> 83 (129)
259 # 35 ---> 84 (129)
234 # 34 ---> 35 (129)
224 # 28 ---> 27 (133)
224 # 27 ---> 26 (134)
224 # 26 ---> 7 (135)
236 # 145 ---> 99 (140)
236 # 99 ---> 100 (141)
236 # 100 ---> 101 (142)
236 # 101 ---> 102 (143)
234 # 35 ---> 36 (130)
259 # 84 ---> 35 (130)
230 # 83 ---> 84 (130)
234 # 36 ---> 9 (131)
259 # 35 ---> 36 (131)
230 # 84 ---> 35 (131)
234 # 9 ---> 10 (132)
259 # 36 ---> 9 (132)
268 # 80 ---> 79 (133)
259 # 9 ---> 90 (133)
234 # 10 ---> 9 (133)
226 # 85 ---> 11 (124)
259 # 90 ---> 89 (134)
234 # 9 ---> 90 (134)
250 # 8 ---> 25 (136)
224 # 7 ---> 8 (136)
265 # 30 ---> 29 (132)
265 # 29 ---> 28 (133)
265 # 28 ---> 27 (134)
228 # 31 ---> 30 (143)
230 # 35 ---> 34 (132)
268 # 79 ---> 78 (134)
268 # 78 ---> 45 (135)
224 # 8 ---> 9 (137)
250 # 25 ---> 8 (137)
268 # 45 ---> 46 (136)
224 # 9 ---> 36 (138)
250 # 8 ---> 9 (138)
268 # 46 ---> 47 (137)
267 # 96 ---> 95 (142)
236 # 102 ---> 103 (144)
238 # 159 ---> 96 (142)
238 # 96 ---> 97 (143)
238 # 97 ---> 98 (144)
238 # 98 ---> 99 (145)
238 # 99 ---> 100 (146)
238 # 100 ---> 101 (147)
238 # 101 ---> 102 (148)
263 # 42 ---> 41 (106)
236 # 103 ---> 46 (145)
238 # 102 ---> 103 (149)
238 # 103 ---> 160 (150)
265 # 27 ---> 26 (135)
228 # 30 ---> 29 (144)
263 # 41 ---> 40 (107)
236 # 46 ---> 45 (146)
268 # 47 ---> 46 (146)
265 # 26 ---> 7 (136)
228 # 29 ---> 28 (145)
263 # 40 ---> 39 (108)
236 # 45 ---> 44 (147)
268 # 46 ---> 45 (147)
265 # 7 ---> 8 (138)
228 # 28 ---> 27 (146)
263 # 39 ---> 38 (109)
236 # 44 ---> 43 (148)
268 # 45 ---> 44 (148)
228 # 27 ---> 26 (147)
263 # 38 ---> 37 (130)
236 # 43 ---> 42 (149)
238 # 160 ---> 161 (151)
224 # 36 ---> 35 (139)
250 # 9 ---> 36 (139)
224 # 35 ---> 84 (140)
250 # 36 ---> 35 (140)
265 # 8 ---> 9 (139)
238 # 161 ---> 162 (152)
265 # 9 ---> 10 (140)
228 # 26 ---> 7 (148)
242 # 33 ---> 32 (128)
230 # 34 ---> 33 (133)
250 # 35 ---> 34 (141)
228 # 7 ---> 8 (149)
242 # 32 ---> 31 (143)
230 # 33 ---> 32 (143)
250 # 34 ---> 33 (143)
228 # 8 ---> 9 (150)
224 # 84 ---> 83 (141)
228 # 9 ---> 36 (151)
224 # 83 ---> 82 (142)
228 # 36 ---> 35 (152)
224 # 82 ---> 81 (143)
228 # 35 ---> 84 (153)
224 # 81 ---> 80 (144)
228 # 84 ---> 83 (154)
224 # 80 ---> 79 (145)
242 # 31 ---> 30 (144)
267 # 95 ---> 31 (144)
224 # 79 ---> 78 (146)
228 # 83 ---> 82 (155)
231 # 24 ---> 25 (137)
224 # 78 ---> 45 (148)
228 # 82 ---> 81 (156)
231 # 25 ---> 8 (150)
224 # 45 ---> 46 (149)
228 # 81 ---> 80 (157)
231 # 8 ---> 9 (151)
228 # 80 ---> 79 (158)
223 # 153 ---> 154 (0)
242 # 30 ---> 92 (145)
267 # 31 ---> 30 (145)
230 # 32 ---> 31 (145)
250 # 33 ---> 32 (145)
231 # 9 ---> 36 (152)
265 # 10 ---> 9 (152)
226 # 11 ---> 10 (152)
242 # 92 ---> 91 (146)
242 # 91 ---> 62 (147)
267 # 30 ---> 92 (146)
242 # 62 ---> 63 (148)
223 # 154 ---> 155 (1)
233 # 146 ---> 147 (4)
267 # 92 ---> 91 (147)
230 # 31 ---> 30 (146)
260 # 4 ---> 3 (118)
260 # 3 ---> 2 (119)
223 # 155 ---> 156 (2)
233 # 147 ---> 148 (5)
267 # 91 ---> 62 (148)
230 # 30 ---> 92 (147)
231 # 36 ---> 35 (153)
231 # 35 ---> 84 (154)
231 # 84 ---> 83 (155)
231 # 83 ---> 82 (156)
231 # 82 ---> 81 (157)
231 # 81 ---> 80 (158)
231 # 80 ---> 107 (159)
225 # 158 ---> 159 (142)
223 # 156 ---> 157 (3)
233 # 148 ---> 149 (6)
231 # 107 ---> 146 (160)
267 # 62 ---> 61 (149)
230 # 92 ---> 91 (148)
225 # 159 ---> 96 (143)
223 # 157 ---> 158 (142)
233 # 149 ---> 150 (7)
231 # 146 ---> 147 (161)
267 # 61 ---> 104 (150)
230 # 91 ---> 62 (149)
225 # 96 ---> 95 (144)
268 # 44 ---> 45 (149)
268 # 45 ---> 78 (150)
228 # 79 ---> 80 (159)
268 # 78 ---> 79 (159)
228 # 80 ---> 81 (160)
268 # 79 ---> 80 (160)
268 # 80 ---> 107 (161)
223 # 158 ---> 159 (143)
233 # 150 ---> 151 (8)
231 # 147 ---> 148 (162)
268 # 107 ---> 146 (162)
267 # 104 ---> 105 (151)
230 # 62 ---> 61 (150)
225 # 95 ---> 31 (146)
230 # 61 ---> 60 (151)
242 # 63 ---> 62 (150)
267 # 105 ---> 106 (152)
242 # 62 ---> 61 (151)
267 # 106 ---> 107 (162)
242 # 61 ---> 104 (152)
267 # 107 ---> 80 (163)
223 # 159 ---> 96 (144)
233 # 151 ---> 152 (9)
231 # 148 ---> 149 (163)
268 # 146 ---> 147 (163)
242 # 104 ---> 105 (153)
225 # 31 ---> 30 (147)
223 # 96 ---> 95 (146)
242 # 105 ---> 106 (162)
242 # 106 ---> 107 (163)
233 # 152 ---> 153 (10)
231 # 149 ---> 150 (164)
268 # 147 ---> 148 (164)
242 # 107 ---> 146 (164)
225 # 30 ---> 92 (148)
223 # 95 ---> 31 (147)
230 # 60 ---> 61 (152)
230 # 61 ---> 104 (153)
230 # 104 ---> 105 (162)
230 # 105 ---> 106 (163)
230 # 106 ---> 107 (164)
233 # 153 ---> 154 (11)
231 # 150 ---> 151 (165)
268 # 148 ---> 149 (165)
242 # 146 ---> 147 (165)
230 # 107 ---> 146 (165)
225 # 92 ---> 91 (149)
223 # 31 ---> 30 (148)
224 # 46 ---> 47 (150)
224 # 47 ---> 48 (151)
224 # 48 ---> 49 (152)
233 # 154 ---> 155 (12)
231 # 151 ---> 152 (166)
268 # 149 ---> 150 (166)
242 # 147 ---> 148 (166)
230 # 146 ---> 147 (166)
223 # 30 ---> 92 (149)
266 # 127 ---> 3 (119)
266 # 3 ---> 4 (120)
233 # 155 ---> 156 (13)
231 # 152 ---> 153 (167)
268 # 150 ---> 151 (167)
242 # 148 ---> 149 (167)
230 # 147 ---> 148 (167)
233 # 156 ---> 157 (142)
231 # 153 ---> 154 (168)
268 # 151 ---> 152 (168)
242 # 149 ---> 150 (168)
230 # 148 ---> 149 (168)
233 # 157 ---> 158 (143)
231 # 154 ---> 155 (169)
268 # 152 ---> 153 (169)
242 # 150 ---> 151 (169)
230 # 149 ---> 150 (169)
224 # 49 ---> 50 (153)
266 # 4 ---> 5 (121)
266 # 5 ---> 6 (122)
249 # 75 ---> 11 (152)
249 # 11 ---> 21 (153)
249 # 21 ---> 22 (154)
249 # 22 ---> 23 (155)
263 # 37 ---> 30 (149)
249 # 23 ---> 51 (156)
249 # 51 ---> 65 (157)
249 # 65 ---> 66 (158)
249 # 66 ---> 120 (159)
249 # 120 ---> 138 (160)
224 # 50 ---> 51 (157)
226 # 10 ---> 11 (153)
266 # 6 ---> 7 (149)
226 # 11 ---> 12 (154)
265 # 9 ---> 10 (153)
249 # 138 ---> 139 (161)
249 # 139 ---> 140 (162)
266 # 7 ---> 8 (151)
263 # 30 ---> 29 (150)
250 # 32 ---> 31 (148)
266 # 8 ---> 9 (153)
263 # 29 ---> 28 (151)
250 # 31 ---> 30 (150)
266 # 9 ---> 36 (154)
263 # 28 ---> 27 (152)
250 # 30 ---> 29 (151)
266 # 36 ---> 35 (155)
263 # 27 ---> 26 (153)
250 # 29 ---> 28 (152)
266 # 35 ---> 34 (156)
263 # 26 ---> 7 (154)
250 # 28 ---> 27 (153)
263 # 7 ---> 8 (155)
250 # 27 ---> 26 (154)
265 # 10 ---> 11 (154)
263 # 8 ---> 9 (156)
224 # 51 ---> 23 (158)
249 # 140 ---> 141 (163)
226 # 12 ---> 13 (155)
265 # 11 ---> 12 (155)
263 # 9 ---> 10 (157)
249 # 141 ---> 142 (164)
250 # 26 ---> 7 (155)
250 # 7 ---> 8 (156)
263 # 10 ---> 11 (158)
250 # 8 ---> 9 (157)
224 # 23 ---> 24 (159)
224 # 24 ---> 122 (160)
249 # 142 ---> 143 (165)
263 # 11 ---> 75 (159)
250 # 9 ---> 36 (158)
223 # 92 ---> 30 (151)
263 # 75 ---> 74 (160)
234 # 90 ---> 9 (158)
234 # 9 ---> 8 (159)
234 # 8 ---> 7 (160)
234 # 7 ---> 6 (161)
234 # 6 ---> 5 (162)
234 # 5 ---> 4 (163)
234 # 4 ---> 3 (164)
234 # 3 ---> 127 (165)
259 # 89 ---> 90 (158)
234 # 127 ---> 128 (166)
259 # 90 ---> 9 (159)
234 # 128 ---> 129 (167)
234 # 129 ---> 130 (168)
259 # 9 ---> 8 (160)
259 # 8 ---> 7 (161)
259 # 7 ---> 6 (162)
259 # 6 ---> 5 (163)
259 # 5 ---> 4 (164)
259 # 4 ---> 3 (165)
234 # 130 ---> 131 (169)
259 # 3 ---> 127 (166)
225 # 91 ---> 62 (151)
260 # 2 ---> 3 (166)
252 # 0 ---> 1 (114)
225 # 62 ---> 63 (152)
250 # 36 ---> 9 (160)
228 # 81 ---> 82 (161)
250 # 9 ---> 8 (161)
228 # 82 ---> 83 (162)
250 # 8 ---> 25 (162)
228 # 83 ---> 84 (163)
250 # 25 ---> 24 (163)
228 # 84 ---> 35 (164)
250 # 24 ---> 23 (164)
228 # 35 ---> 36 (165)
228 # 36 ---> 123 (166)
225 # 63 ---> 64 (153)
250 # 23 ---> 51 (165)
228 # 123 ---> 124 (167)
265 # 12 ---> 11 (159)
265 # 11 ---> 10 (160)
225 # 64 ---> 11 (160)
265 # 10 ---> 9 (161)
225 # 11 ---> 10 (161)
265 # 9 ---> 8 (162)
225 # 10 ---> 9 (162)
226 # 13 ---> 12 (159)
265 # 8 ---> 7 (163)
225 # 9 ---> 8 (163)
228 # 124 ---> 15 (168)
226 # 12 ---> 11 (161)
225 # 8 ---> 25 (164)
225 # 25 ---> 24 (165)
225 # 24 ---> 23 (166)
265 # 7 ---> 8 (164)
236 # 42 ---> 41 (150)
250 # 51 ---> 50 (166)
225 # 23 ---> 51 (167)
225 # 51 ---> 65 (168)
225 # 65 ---> 66 (169)
224 # 122 ---> 24 (166)
225 # 66 ---> 120 (170)
266 # 34 ---> 52 (157)
265 # 8 ---> 9 (165)
224 # 24 ---> 23 (167)
256 # 121 ---> 122 (166)
225 # 120 ---> 121 (171)
224 # 23 ---> 51 (168)
226 # 11 ---> 21 (162)
226 # 21 ---> 22 (163)
226 # 22 ---> 23 (168)
223 # 30 ---> 29 (152)
236 # 41 ---> 40 (151)
250 # 50 ---> 49 (167)
224 # 51 ---> 50 (169)
226 # 23 ---> 51 (169)
226 # 51 ---> 65 (170)
226 # 65 ---> 66 (171)
256 # 122 ---> 24 (167)
225 # 121 ---> 122 (172)
226 # 66 ---> 120 (172)
256 # 24 ---> 23 (169)
250 # 49 ---> 48 (168)
224 # 50 ---> 49 (170)
256 # 23 ---> 51 (170)
223 # 29 ---> 28 (153)
236 # 40 ---> 39 (152)
250 # 48 ---> 47 (169)
224 # 49 ---> 48 (171)
256 # 51 ---> 50 (171)
223 # 28 ---> 27 (154)
236 # 39 ---> 38 (153)
250 # 47 ---> 46 (170)
224 # 48 ---> 47 (172)
256 # 50 ---> 49 (172)
236 # 38 ---> 37 (154)
250 # 46 ---> 45 (171)
224 # 47 ---> 46 (173)
256 # 49 ---> 48 (173)
236 # 37 ---> 30 (155)
250 # 45 ---> 44 (172)
224 # 46 ---> 45 (174)
256 # 48 ---> 47 (174)
224 # 45 ---> 78 (175)
265 # 9 ---> 10 (166)
245 # 70 ---> 69 (1)
265 # 10 ---> 11 (167)
245 # 69 ---> 68 (2)
265 # 11 ---> 75 (168)
245 # 68 ---> 67 (3)
245 # 67 ---> 33 (145)
224 # 78 ---> 79 (176)
267 # 80 ---> 81 (164)
224 # 79 ---> 80 (177)
267 # 81 ---> 82 (165)
224 # 80 ---> 81 (178)
267 # 82 ---> 83 (166)
224 # 81 ---> 82 (179)
256 # 47 ---> 46 (175)
267 # 83 ---> 84 (167)
224 # 82 ---> 83 (180)
256 # 46 ---> 45 (176)
267 # 84 ---> 35 (168)
224 # 83 ---> 84 (181)
256 # 45 ---> 78 (177)
267 # 35 ---> 36 (169)
224 # 84 ---> 35 (182)
256 # 78 ---> 79 (178)
267 # 36 ---> 9 (170)
224 # 35 ---> 36 (183)
256 # 79 ---> 80 (179)
267 # 9 ---> 8 (171)
224 # 36 ---> 9 (184)
256 # 80 ---> 81 (180)
260 # 3 ---> 4 (167)
252 # 1 ---> 2 (166)
260 # 4 ---> 5 (168)
228 # 15 ---> 16 (169)
223 # 27 ---> 26 (155)
256 # 81 ---> 82 (181)
256 # 82 ---> 83 (182)
267 # 8 ---> 7 (172)
224 # 9 ---> 8 (185)
256 # 83 ---> 84 (183)
256 # 84 ---> 35 (184)
232 # 58 ---> 57 (83)
256 # 35 ---> 36 (185)
232 # 57 ---> 56 (84)
256 # 36 ---> 9 (186)
228 # 16 ---> 17 (170)
256 # 9 ---> 10 (187)
224 # 8 ---> 9 (187)
267 # 7 ---> 8 (187)
223 # 26 ---> 7 (187)
224 # 9 ---> 36 (188)
267 # 8 ---> 9 (188)
223 # 7 ---> 8 (188)
256 # 10 ---> 11 (188)
267 # 9 ---> 10 (189)
224 # 36 ---> 9 (189)
256 # 11 ---> 64 (189)
267 # 10 ---> 11 (190)
224 # 9 ---> 10 (190)
256 # 64 ---> 63 (190)
267 # 11 ---> 64 (191)
224 # 10 ---> 11 (191)
228 # 17 ---> 18 (171)
224 # 11 ---> 12 (192)
223 # 8 ---> 9 (190)
260 # 5 ---> 6 (169)
252 # 2 ---> 3 (167)
224 # 12 ---> 13 (193)
223 # 9 ---> 10 (191)
260 # 6 ---> 7 (188)
260 # 7 ---> 26 (189)
260 # 26 ---> 27 (190)
260 # 27 ---> 28 (191)
236 # 30 ---> 31 (156)
260 # 28 ---> 29 (192)
245 # 33 ---> 34 (157)
236 # 31 ---> 32 (157)
250 # 44 ---> 43 (173)
245 # 34 ---> 35 (185)
236 # 32 ---> 33 (158)
260 # 29 ---> 30 (193)
245 # 35 ---> 36 (189)
236 # 33 ---> 34 (185)
260 # 30 ---> 31 (194)
245 # 36 ---> 9 (191)
236 # 34 ---> 35 (189)
250 # 43 ---> 42 (174)
245 # 9 ---> 8 (192)
252 # 3 ---> 76 (168)
236 # 35 ---> 36 (191)
232 # 56 ---> 55 (85)
256 # 63 ---> 62 (191)
267 # 64 ---> 63 (192)
223 # 10 ---> 11 (192)
236 # 36 ---> 9 (192)
266 # 52 ---> 34 (189)
232 # 55 ---> 54 (125)
256 # 62 ---> 61 (192)
267 # 63 ---> 62 (193)
223 # 11 ---> 64 (193)
236 # 9 ---> 10 (193)
232 # 54 ---> 53 (126)
256 # 61 ---> 60 (193)
250 # 42 ---> 41 (175)
250 # 41 ---> 40 (176)
245 # 8 ---> 25 (193)
250 # 40 ---> 39 (177)
245 # 25 ---> 24 (194)
250 # 39 ---> 38 (178)
245 # 24 ---> 23 (195)
250 # 38 ---> 37 (179)
245 # 23 ---> 51 (196)
250 # 37 ---> 30 (194)
250 # 30 ---> 29 (195)
250 # 29 ---> 28 (196)
250 # 28 ---> 27 (197)
260 # 31 ---> 30 (195)
266 # 34 ---> 33 (190)
250 # 27 ---> 26 (198)
260 # 30 ---> 29 (196)
266 # 33 ---> 32 (191)
250 # 26 ---> 7 (199)
260 # 29 ---> 28 (197)
250 # 7 ---> 8 (200)
260 # 28 ---> 27 (198)
267 # 62 ---> 91 (194)
267 # 91 ---> 92 (195)
267 # 92 ---> 30 (196)
236 # 10 ---> 11 (194)
267 # 30 ---> 31 (197)
267 # 31 ---> 95 (198)
250 # 8 ---> 9 (201)
260 # 27 ---> 26 (199)
260 # 26 ---> 7 (200)
267 # 95 ---> 96 (199)
228 # 18 ---> 19 (172)
228 # 19 ---> 20 (173)
228 # 20 ---> 4 (174)
228 # 4 ---> 5 (175)
228 # 5 ---> 6 (188)
224 # 13 ---> 14 (194)
236 # 11 ---> 12 (195)
260 # 7 ---> 8 (201)
228 # 6 ---> 7 (201)
228 # 7 ---> 26 (202)
228 # 26 ---> 27 (203)
228 # 27 ---> 28 (204)
228 # 28 ---> 29 (205)
228 # 29 ---> 30 (206)
228 # 30 ---> 31 (207)
267 # 96 ---> 97 (200)
228 # 31 ---> 95 (208)
250 # 9 ---> 10 (202)
232 # 53 ---> 52 (189)
256 # 60 ---> 59 (194)
232 # 52 ---> 34 (190)
256 # 59 ---> 58 (195)
267 # 97 ---> 98 (201)
228 # 95 ---> 96 (209)
266 # 32 ---> 31 (208)
232 # 34 ---> 33 (191)
260 # 8 ---> 9 (202)
232 # 33 ---> 32 (208)
260 # 9 ---> 36 (203)
260 # 36 ---> 35 (204)
250 # 10 ---> 9 (203)
260 # 35 ---> 34 (205)
250 # 9 ---> 36 (204)
265 # 75 ---> 11 (195)
260 # 34 ---> 33 (208)
250 # 36 ---> 35 (205)
265 # 11 ---> 10 (203)
260 # 33 ---> 67 (209)
256 # 58 ---> 57 (196)
250 # 35 ---> 34 (208)
265 # 10 ---> 9 (204)
260 # 67 ---> 68 (210)
250 # 34 ---> 33 (209)
250 # 33 ---> 67 (210)
263 # 74 ---> 75 (195)
232 # 32 ---> 33 (210)
256 # 57 ---> 56 (197)
256 # 56 ---> 55 (198)
232 # 33 ---> 34 (211)
266 # 31 ---> 32 (210)
266 # 32 ---> 33 (211)
263 # 75 ---> 11 (203)
263 # 11 ---> 21 (204)
243 # 86 ---> 87 (124)
265 # 9 ---> 8 (205)
243 # 87 ---> 88 (125)
256 # 55 ---> 54 (199)
256 # 54 ---> 53 (200)
256 # 53 ---> 52 (201)
232 # 34 ---> 35 (212)
256 # 52 ---> 34 (212)
232 # 35 ---> 36 (213)
256 # 34 ---> 35 (213)
265 # 8 ---> 7 (206)
232 # 36 ---> 9 (214)
256 # 35 ---> 36 (214)
232 # 9 ---> 8 (215)
256 # 36 ---> 9 (215)
256 # 9 ---> 10 (216)
256 # 10 ---> 11 (217)
243 # 88 ---> 89 (158)
256 # 11 ---> 85 (218)
232 # 8 ---> 9 (216)
232 # 9 ---> 36 (217)
265 # 7 ---> 8 (216)
265 # 8 ---> 9 (217)
224 # 14 ---> 15 (195)
236 # 12 ---> 13 (196)
265 # 9 ---> 10 (218)
224 # 15 ---> 16 (196)
236 # 13 ---> 14 (197)
265 # 10 ---> 11 (219)
224 # 16 ---> 0 (197)
236 # 14 ---> 15 (198)
265 # 11 ---> 12 (220)
243 # 89 ---> 90 (159)
256 # 85 ---> 86 (219)
243 # 90 ---> 9 (218)
256 # 86 ---> 87 (220)
243 # 9 ---> 10 (219)
224 # 0 ---> 1 (198)
236 # 15 ---> 16 (199)
265 # 12 ---> 13 (221)
243 # 10 ---> 11 (220)
224 # 1 ---> 2 (199)
236 # 16 ---> 0 (200)
265 # 13 ---> 14 (222)
243 # 11 ---> 12 (221)
256 # 87 ---> 88 (221)
266 # 33 ---> 34 (213)
266 # 34 ---> 35 (214)
250 # 67 ---> 33 (213)
260 # 68 ---> 67 (213)
250 # 33 ---> 34 (214)
260 # 67 ---> 33 (214)
260 # 33 ---> 32 (215)
260 # 32 ---> 31 (216)
260 # 31 ---> 30 (217)
260 # 30 ---> 37 (218)
260 # 37 ---> 38 (219)
260 # 38 ---> 39 (220)
260 # 39 ---> 40 (221)
260 # 40 ---> 41 (222)
260 # 41 ---> 42 (223)
260 # 42 ---> 43 (224)
260 # 43 ---> 44 (225)
260 # 44 ---> 45 (226)
260 # 45 ---> 78 (227)
260 # 78 ---> 79 (228)
245 # 51 ---> 65 (197)
245 # 65 ---> 66 (198)
245 # 66 ---> 1 (199)
224 # 2 ---> 3 (200)
245 # 1 ---> 2 (200)
236 # 0 ---> 1 (201)
265 # 14 ---> 15 (223)
243 # 12 ---> 13 (222)
224 # 3 ---> 4 (201)
245 # 2 ---> 3 (201)
252 # 76 ---> 77 (169)
245 # 3 ---> 76 (202)
236 # 1 ---> 2 (202)
265 # 15 ---> 16 (224)
265 # 16 ---> 0 (225)
265 # 0 ---> 1 (226)
224 # 4 ---> 5 (202)
236 # 2 ---> 3 (203)
265 # 1 ---> 2 (227)
236 # 3 ---> 4 (204)
265 # 2 ---> 3 (228)
252 # 77 ---> 12 (222)
245 # 76 ---> 77 (222)
265 # 3 ---> 76 (229)
250 # 34 ---> 33 (215)
252 # 12 ---> 11 (223)
252 # 11 ---> 10 (224)
252 # 10 ---> 9 (225)
252 # 9 ---> 8 (226)
263 # 21 ---> 11 (224)
252 # 8 ---> 25 (227)
266 # 35 ---> 34 (215)
263 # 11 ---> 10 (225)
263 # 10 ---> 9 (226)
263 # 9 ---> 8 (227)
263 # 8 ---> 7 (228)
250 # 33 ---> 67 (216)
266 # 34 ---> 33 (216)
252 # 25 ---> 8 (228)
252 # 8 ---> 9 (229)
252 # 9 ---> 10 (230)
266 # 33 ---> 32 (217)
232 # 36 ---> 35 (218)
263 # 7 ---> 8 (229)
266 # 32 ---> 31 (218)
232 # 35 ---> 34 (219)
263 # 8 ---> 9 (230)
266 # 31 ---> 30 (219)
232 # 34 ---> 33 (220)
263 # 9 ---> 36 (231)
266 # 30 ---> 29 (220)
232 # 33 ---> 32 (221)
250 # 67 ---> 68 (217)
263 # 36 ---> 35 (232)
252 # 10 ---> 9 (231)
266 # 29 ---> 28 (221)
266 # 28 ---> 27 (222)
266 # 27 ---> 26 (223)
250 # 68 ---> 69 (218)
250 # 69 ---> 70 (219)
250 # 70 ---> 71 (220)
250 # 71 ---> 72 (221)
266 # 26 ---> 7 (229)
266 # 7 ---> 8 (230)
266 # 8 ---> 25 (231)
266 # 25 ---> 24 (232)
266 # 24 ---> 23 (233)
266 # 23 ---> 51 (234)
266 # 51 ---> 65 (235)
263 # 35 ---> 34 (233)
252 # 9 ---> 36 (232)
232 # 32 ---> 31 (222)
263 # 34 ---> 33 (234)
252 # 36 ---> 35 (233)
263 # 33 ---> 32 (235)
252 # 35 ---> 34 (234)
252 # 34 ---> 33 (235)
223 # 64 ---> 11 (225)
223 # 11 ---> 10 (231)
224 # 5 ---> 6 (203)
224 # 6 ---> 7 (230)
224 # 7 ---> 8 (231)
224 # 8 ---> 9 (232)
224 # 9 ---> 36 (233)
224 # 36 ---> 35 (234)
224 # 35 ---> 34 (235)
224 # 34 ---> 52 (236)
224 # 52 ---> 53 (237)
223 # 10 ---> 9 (233)
224 # 53 ---> 54 (238)
223 # 9 ---> 8 (234)
223 # 8 ---> 7 (235)
223 # 7 ---> 26 (236)
223 # 26 ---> 27 (237)
252 # 33 ---> 34 (236)
263 # 32 ---> 33 (236)
232 # 31 ---> 32 (236)
223 # 27 ---> 28 (238)
252 # 34 ---> 35 (237)
263 # 33 ---> 34 (237)
232 # 32 ---> 33 (237)
223 # 28 ---> 29 (239)
252 # 35 ---> 36 (238)
263 # 34 ---> 35 (238)
232 # 33 ---> 34 (238)
223 # 29 ---> 30 (240)
252 # 36 ---> 9 (239)
263 # 35 ---> 36 (239)
232 # 34 ---> 35 (239)
223 # 30 ---> 31 (241)
252 # 9 ---> 8 (240)
263 # 36 ---> 9 (240)
232 # 35 ---> 36 (240)
223 # 31 ---> 32 (242)
252 # 8 ---> 7 (241)
263 # 9 ---> 8 (241)
232 # 36 ---> 9 (241)
223 # 32 ---> 33 (243)
252 # 7 ---> 26 (242)
263 # 8 ---> 7 (242)
232 # 9 ---> 8 (242)
223 # 33 ---> 34 (244)
252 # 26 ---> 27 (243)
263 # 7 ---> 26 (243)
232 # 8 ---> 7 (243)
252 # 27 ---> 28 (244)
263 # 26 ---> 27 (244)
232 # 7 ---> 26 (244)
223 # 34 ---> 35 (245)
252 # 28 ---> 29 (245)
263 # 27 ---> 28 (245)
232 # 26 ---> 27 (245)
223 # 35 ---> 36 (246)
252 # 29 ---> 30 (246)
263 # 28 ---> 29 (246)
232 # 27 ---> 28 (246)
223 # 36 ---> 9 (247)
252 # 30 ---> 31 (247)
263 # 29 ---> 30 (247)
232 # 28 ---> 29 (247)
223 # 9 ---> 8 (248)
252 # 31 ---> 32 (248)
263 # 30 ---> 31 (248)
232 # 29 ---> 30 (248)
223 # 8 ---> 7 (249)
252 # 32 ---> 33 (249)
263 # 31 ---> 32 (249)
232 # 30 ---> 31 (249)
223 # 7 ---> 26 (250)
252 # 33 ---> 34 (250)
263 # 32 ---> 33 (250)
232 # 31 ---> 32 (250)
223 # 26 ---> 27 (251)
252 # 34 ---> 35 (251)
263 # 33 ---> 34 (251)
232 # 32 ---> 33 (251)
223 # 27 ---> 28 (252)
252 # 35 ---> 36 (252)
263 # 34 ---> 35 (252)
232 # 33 ---> 34 (252)
223 # 28 ---> 29 (253)
252 # 36 ---> 9 (253)
263 # 35 ---> 36 (253)
232 # 34 ---> 35 (253)
223 # 29 ---> 30 (254)
252 # 9 ---> 8 (254)
263 # 36 ---> 9 (254)
232 # 35 ---> 36 (254)
252 # 8 ---> 7 (255)
223 # 30 ---> 37 (255)
252 # 7 ---> 26 (256)
263 # 9 ---> 8 (255)
263 # 8 ---> 7 (256)
263 # 7 ---> 6 (257)
232 # 36 ---> 9 (255)
252 # 26 ---> 27 (257)
232 # 9 ---> 8 (256)
252 # 27 ---> 28 (258)
232 # 8 ---> 7 (257)
252 # 28 ---> 29 (259)
232 # 7 ---> 26 (258)
252 # 29 ---> 30 (260)
232 # 26 ---> 27 (259)
252 # 30 ---> 31 (261)
223 # 37 ---> 38 (256)
232 # 27 ---> 28 (260)
232 # 28 ---> 29 (261)
252 # 31 ---> 32 (262)
232 # 29 ---> 30 (262)
252 # 32 ---> 33 (263)
232 # 30 ---> 31 (263)
223 # 38 ---> 39 (257)
263 # 6 ---> 7 (258)
263 # 7 ---> 26 (259)
263 # 26 ---> 27 (260)
263 # 27 ---> 28 (261)
263 # 28 ---> 29 (262)
263 # 29 ---> 30 (263)
223 # 39 ---> 40 (258)
263 # 30 ---> 37 (264)
223 # 40 ---> 41 (259)
263 # 37 ---> 38 (265)
252 # 33 ---> 34 (264)
252 # 34 ---> 35 (265)
252 # 35 ---> 36 (266)
252 # 36 ---> 9 (267)
252 # 9 ---> 8 (268)
223 # 41 ---> 42 (260)
263 # 38 ---> 39 (266)
223 # 42 ---> 43 (261)
263 # 39 ---> 40 (267)
252 # 8 ---> 7 (269)
252 # 7 ---> 26 (270)
223 # 43 ---> 44 (262)
263 # 40 ---> 41 (268)
223 # 44 ---> 45 (263)
263 # 41 ---> 42 (269)
232 # 31 ---> 32 (264)
232 # 32 ---> 33 (265)
223 # 45 ---> 46 (264)
263 # 42 ---> 43 (270)
232 # 33 ---> 34 (266)
232 # 34 ---> 35 (267)
232 # 35 ---> 36 (268)
232 # 36 ---> 9 (269)
232 # 9 ---> 8 (270)
232 # 8 ---> 7 (271)
232 # 7 ---> 6 (272)
252 # 26 ---> 7 (272)
252 # 7 ---> 8 (273)
252 # 8 ---> 9 (274)
236 # 4 ---> 5 (205)
232 # 6 ---> 7 (273)
236 # 5 ---> 6 (273)
232 # 7 ---> 8 (274)
236 # 6 ---> 7 (274)
236 # 7 ---> 26 (275)
236 # 26 ---> 27 (276)
232 # 8 ---> 7 (275)
232 # 7 ---> 6 (276)
252 # 9 ---> 8 (275)
252 # 8 ---> 7 (276)
236 # 27 ---> 28 (277)
252 # 7 ---> 26 (277)
236 # 28 ---> 29 (278)
252 # 26 ---> 27 (278)
232 # 6 ---> 7 (277)
232 # 7 ---> 8 (278)
232 # 8 ---> 9 (279)
232 # 9 ---> 10 (280)
232 # 10 ---> 11 (281)
243 # 13 ---> 14 (223)
232 # 11 ---> 12 (282)
243 # 14 ---> 15 (224)
232 # 12 ---> 13 (283)
243 # 15 ---> 16 (225)
232 # 13 ---> 14 (284)
243 # 16 ---> 0 (226)
232 # 14 ---> 15 (285)
243 # 0 ---> 1 (227)
232 # 15 ---> 16 (286)
243 # 1 ---> 2 (228)
232 # 16 ---> 0 (287)
243 # 2 ---> 3 (229)
232 # 0 ---> 1 (288)
243 # 3 ---> 4 (230)
232 # 1 ---> 2 (289)
243 # 4 ---> 5 (273)
232 # 2 ---> 3 (290)
243 # 5 ---> 6 (277)
232 # 3 ---> 4 (291)
243 # 6 ---> 7 (278)
232 # 4 ---> 5 (292)
243 # 7 ---> 8 (279)
232 # 5 ---> 6 (293)
243 # 8 ---> 9 (280)
232 # 6 ---> 7 (294)
243 # 9 ---> 10 (281)
232 # 7 ---> 8 (295)
243 # 10 ---> 11 (282)
232 # 8 ---> 9 (296)
243 # 11 ---> 12 (283)
232 # 9 ---> 10 (297)
243 # 12 ---> 13 (284)
232 # 10 ---> 11 (298)
243 # 13 ---> 14 (285)
232 # 11 ---> 12 (299)
243 # 14 ---> 15 (286)
232 # 12 ---> 13 (300)
243 # 15 ---> 16 (287)
232 # 13 ---> 14 (301)
243 # 16 ---> 0 (288)
232 # 14 ---> 15 (302)
243 # 0 ---> 1 (289)
232 # 15 ---> 16 (303)
243 # 1 ---> 2 (290)
232 # 16 ---> 0 (304)
243 # 2 ---> 3 (291)
232 # 0 ---> 1 (305)
243 # 3 ---> 4 (292)
232 # 1 ---> 2 (306)
243 # 4 ---> 5 (293)
232 # 2 ---> 3 (307)
243 # 5 ---> 6 (294)
232 # 3 ---> 4 (308)
243 # 6 ---> 7 (295)
232 # 4 ---> 5 (309)
243 # 7 ---> 8 (296)
232 # 5 ---> 6 (310)
243 # 8 ---> 9 (297)
232 # 6 ---> 7 (311)
243 # 9 ---> 10 (298)
232 # 7 ---> 8 (312)
243 # 10 ---> 11 (299)
232 # 8 ---> 9 (313)
243 # 11 ---> 12 (300)
232 # 9 ---> 10 (314)
243 # 12 ---> 13 (301)
232 # 10 ---> 11 (315)
243 # 13 ---> 14 (302)
232 # 11 ---> 12 (316)
243 # 14 ---> 15 (303)
232 # 12 ---> 13 (317)
243 # 15 ---> 16 (304)
232 # 13 ---> 14 (318)
243 # 16 ---> 0 (305)
232 # 14 ---> 15 (319)
243 # 0 ---> 1 (306)
243 # 1 ---> 2 (307)
232 # 15 ---> 16 (320)
243 # 2 ---> 3 (308)
243 # 3 ---> 4 (309)
243 # 4 ---> 5 (310)
243 # 5 ---> 6 (311)
243 # 6 ---> 7 (312)
243 # 7 ---> 8 (313)
243 # 8 ---> 9 (314)
243 # 9 ---> 10 (315)
243 # 10 ---> 11 (316)
232 # 16 ---> 0 (321)
243 # 11 ---> 12 (317)
232 # 0 ---> 1 (322)
243 # 12 ---> 13 (318)
232 # 1 ---> 2 (323)
243 # 13 ---> 14 (319)
232 # 2 ---> 3 (324)
243 # 14 ---> 15 (320)
232 # 3 ---> 4 (325)
243 # 15 ---> 16 (321)
232 # 4 ---> 5 (326)
243 # 16 ---> 0 (322)
232 # 5 ---> 6 (327)
243 # 0 ---> 1 (323)
232 # 6 ---> 7 (328)
243 # 1 ---> 2 (324)
232 # 7 ---> 8 (329)
243 # 2 ---> 3 (325)
232 # 8 ---> 9 (330)
243 # 3 ---> 4 (326)
232 # 9 ---> 10 (331)
243 # 4 ---> 5 (327)
232 # 10 ---> 11 (332)
243 # 5 ---> 6 (328)
232 # 11 ---> 12 (333)
243 # 6 ---> 7 (329)
232 # 12 ---> 13 (334)
243 # 7 ---> 8 (330)
232 # 13 ---> 14 (335)
243 # 8 ---> 9 (331)
232 # 14 ---> 15 (336)
243 # 9 ---> 10 (332)
232 # 15 ---> 16 (337)
243 # 10 ---> 11 (333)
232 # 16 ---> 0 (338)
243 # 11 ---> 12 (334)
232 # 0 ---> 1 (339)
243 # 12 ---> 13 (335)
232 # 1 ---> 2 (340)
232 # 2 ---> 3 (341)
243 # 13 ---> 14 (336)
243 # 14 ---> 15 (337)
232 # 3 ---> 4 (342)
243 # 15 ---> 16 (338)
232 # 4 ---> 5 (343)
243 # 16 ---> 0 (339)
232 # 5 ---> 6 (344)
243 # 0 ---> 1 (340)
232 # 6 ---> 7 (345)
243 # 1 ---> 2 (341)
232 # 7 ---> 8 (346)
243 # 2 ---> 3 (342)
232 # 8 ---> 9 (347)
243 # 3 ---> 4 (343)
232 # 9 ---> 10 (348)
243 # 4 ---> 5 (344)
232 # 10 ---> 11 (349)
243 # 5 ---> 6 (345)
232 # 11 ---> 12 (350)
243 # 6 ---> 7 (346)
232 # 12 ---> 13 (351)
243 # 7 ---> 8 (347)
232 # 13 ---> 14 (352)
243 # 8 ---> 9 (348)
232 # 14 ---> 15 (353)
243 # 9 ---> 10 (349)
232 # 15 ---> 16 (354)
243 # 10 ---> 11 (350)
232 # 16 ---> 0 (355)
243 # 11 ---> 12 (351)
232 # 0 ---> 1 (356)
243 # 12 ---> 13 (352)
232 # 1 ---> 2 (357)
243 # 13 ---> 14 (353)
232 # 2 ---> 3 (358)
243 # 14 ---> 15 (354)
232 # 3 ---> 4 (359)
243 # 15 ---> 16 (355)
232 # 4 ---> 5 (360)
243 # 16 ---> 0 (356)
232 # 5 ---> 6 (361)
243 # 0 ---> 1 (357)
232 # 6 ---> 7 (362)
243 # 1 ---> 2 (358)
232 # 7 ---> 8 (363)
243 # 2 ---> 3 (359)
232 # 8 ---> 9 (364)
243 # 3 ---> 4 (360)
232 # 9 ---> 10 (365)
243 # 4 ---> 5 (361)
232 # 10 ---> 11 (366)
243 # 5 ---> 6 (362)
232 # 11 ---> 12 (367)
243 # 6 ---> 7 (363)
232 # 12 ---> 13 (368)
243 # 7 ---> 8 (364)
232 # 13 ---> 14 (369)
243 # 8 ---> 9 (365)
232 # 14 ---> 15 (370)
243 # 9 ---> 10 (366)
232 # 15 ---> 16 (371)
243 # 10 ---> 11 (367)
232 # 16 ---> 0 (372)
243 # 11 ---> 12 (368)
232 # 0 ---> 1 (373)
243 # 12 ---> 13 (369)
232 # 1 ---> 2 (374)
243 # 13 ---> 14 (370)
232 # 2 ---> 3 (375)
243 # 14 ---> 15 (371)
232 # 3 ---> 4 (376)
243 # 15 ---> 16 (372)
232 # 4 ---> 5 (377)
243 # 16 ---> 0 (373)
232 # 5 ---> 6 (378)
243 # 0 ---> 1 (374)
232 # 6 ---> 7 (379)
243 # 1 ---> 2 (375)
232 # 7 ---> 8 (380)
243 # 2 ---> 3 (376)
232 # 8 ---> 9 (381)
243 # 3 ---> 4 (377)
232 # 9 ---> 10 (382)
243 # 4 ---> 5 (378)
232 # 10 ---> 11 (383)
243 # 5 ---> 6 (379)
232 # 11 ---> 12 (384)
243 # 6 ---> 7 (380)
232 # 12 ---> 13 (385)
243 # 7 ---> 8 (381)
232 # 13 ---> 14 (386)
243 # 8 ---> 9 (382)
232 # 14 ---> 15 (387)
243 # 9 ---> 10 (383)
232 # 15 ---> 16 (388)
243 # 10 ---> 11 (384)
232 # 16 ---> 0 (389)
243 # 11 ---> 12 (385)
232 # 0 ---> 1 (390)
243 # 12 ---> 13 (386)
232 # 1 ---> 2 (391)
243 # 13 ---> 14 (387)
232 # 2 ---> 3 (392)
243 # 14 ---> 15 (388)
232 # 3 ---> 4 (393)
243 # 15 ---> 16 (389)
232 # 4 ---> 5 (394)
243 # 16 ---> 0 (390)
232 # 5 ---> 6 (395)
243 # 0 ---> 1 (391)
232 # 6 ---> 7 (396)
243 # 1 ---> 2 (392)
232 # 7 ---> 8 (397)
243 # 2 ---> 3 (393)
232 # 8 ---> 9 (398)
243 # 3 ---> 4 (394)
232 # 9 ---> 10 (399)
243 # 4 ---> 5 (395)
232 # 10 ---> 11 (400)
243 # 5 ---> 6 (396)
232 # 11 ---> 12 (401)
243 # 6 ---> 7 (397)
232 # 12 ---> 13 (402)
243 # 7 ---> 8 (398)
232 # 13 ---> 14 (403)
243 # 8 ---> 9 (399)
232 # 14 ---> 15 (404)
243 # 9 ---> 10 (400)
232 # 15 ---> 16 (405)
243 # 10 ---> 11 (401)
232 # 16 ---> 0 (406)
243 # 11 ---> 12 (402)
232 # 0 ---> 1 (407)
243 # 12 ---> 13 (403)
232 # 1 ---> 2 (408)
243 # 13 ---> 14 (404)
232 # 2 ---> 3 (409)
232 # 3 ---> 4 (410)
243 # 14 ---> 15 (405)
243 # 15 ---> 16 (406)
232 # 4 ---> 5 (411)
243 # 16 ---> 0 (407)
232 # 5 ---> 6 (412)
243 # 0 ---> 1 (408)
232 # 6 ---> 7 (413)
243 # 1 ---> 2 (409)
232 # 7 ---> 8 (414)
243 # 2 ---> 3 (410)
232 # 8 ---> 9 (415)
243 # 3 ---> 4 (411)
232 # 9 ---> 10 (416)
243 # 4 ---> 5 (412)
232 # 10 ---> 11 (417)
243 # 5 ---> 6 (413)
232 # 11 ---> 12 (418)
243 # 6 ---> 7 (414)
232 # 12 ---> 13 (419)
243 # 7 ---> 8 (415)
232 # 13 ---> 14 (420)
243 # 8 ---> 9 (416)
232 # 14 ---> 15 (421)
243 # 9 ---> 10 (417)
232 # 15 ---> 16 (422)
243 # 10 ---> 11 (418)
232 # 16 ---> 0 (423)
243 # 11 ---> 12 (419)
232 # 0 ---> 1 (424)
243 # 12 ---> 13 (420)
232 # 1 ---> 2 (425)
243 # 13 ---> 14 (421)
232 # 2 ---> 3 (426)
243 # 14 ---> 15 (422)
232 # 3 ---> 4 (427)
243 # 15 ---> 16 (423)
232 # 4 ---> 5 (428)
243 # 16 ---> 0 (424)
232 # 5 ---> 6 (429)
243 # 0 ---> 1 (425)
232 # 6 ---> 7 (430)
243 # 1 ---> 2 (426)
232 # 7 ---> 8 (431)
243 # 2 ---> 3 (427)
232 # 8 ---> 9 (432)
243 # 3 ---> 4 (428)
232 # 9 ---> 10 (433)
243 # 4 ---> 5 (429)
232 # 10 ---> 11 (434)
243 # 5 ---> 6 (430)
232 # 11 ---> 12 (435)
243 # 6 ---> 7 (431)
232 # 12 ---> 13 (436)
243 # 7 ---> 8 (432)
232 # 13 ---> 14 (437)
243 # 8 ---> 9 (433)
232 # 14 ---> 15 (438)
243 # 9 ---> 10 (434)
232 # 15 ---> 16 (439)
243 # 10 ---> 11 (435)
232 # 16 ---> 0 (440)
243 # 11 ---> 12 (436)
232 # 0 ---> 1 (441)
243 # 12 ---> 13 (437)
232 # 1 ---> 2 (442)
243 # 13 ---> 14 (438)
232 # 2 ---> 3 (443)
243 # 14 ---> 15 (439)
232 # 3 ---> 4 (444)
243 # 15 ---> 16 (440)
232 # 4 ---> 5 (445)
243 # 16 ---> 0 (441)
232 # 5 ---> 6 (446)
243 # 0 ---> 1 (442)
232 # 6 ---> 7 (447)
243 # 1 ---> 2 (443)
232 # 7 ---> 8 (448)
243 # 2 ---> 3 (444)
232 # 8 ---> 9 (449)
243 # 3 ---> 4 (445)
232 # 9 ---> 10 (450)
243 # 4 ---> 5 (446)
232 # 10 ---> 11 (451)
243 # 5 ---> 6 (447)
232 # 11 ---> 12 (452)
243 # 6 ---> 7 (448)
232 # 12 ---> 13 (453)
243 # 7 ---> 8 (449)
232 # 13 ---> 14 (454)
243 # 8 ---> 9 (450)
232 # 14 ---> 15 (455)
243 # 9 ---> 10 (451)
232 # 15 ---> 16 (456)
243 # 10 ---> 11 (452)
232 # 16 ---> 0 (457)
243 # 11 ---> 12 (453)
232 # 0 ---> 1 (458)
243 # 12 ---> 13 (454)
232 # 1 ---> 2 (459)
243 # 13 ---> 14 (455)
232 # 2 ---> 3 (460)
243 # 14 ---> 15 (456)
232 # 3 ---> 4 (461)
243 # 15 ---> 16 (457)
232 # 4 ---> 5 (462)
243 # 16 ---> 0 (458)
232 # 5 ---> 6 (463)
243 # 0 ---> 1 (459)
232 # 6 ---> 7 (464)
243 # 1 ---> 2 (460)
232 # 7 ---> 8 (465)
243 # 2 ---> 3 (461)
232 # 8 ---> 9 (466)
243 # 3 ---> 4 (462)
232 # 9 ---> 10 (467)
243 # 4 ---> 5 (463)
232 # 10 ---> 11 (468)
243 # 5 ---> 6 (464)
232 # 11 ---> 12 (469)
243 # 6 ---> 7 (465)
232 # 12 ---> 13 (470)
243 # 7 ---> 8 (466)
232 # 13 ---> 14 (471)
243 # 8 ---> 9 (467)
232 # 14 ---> 15 (472)
243 # 9 ---> 10 (468)
232 # 15 ---> 16 (473)
243 # 10 ---> 11 (469)
232 # 16 ---> 0 (474)
243 # 11 ---> 12 (470)
232 # 0 ---> 1 (475)
243 # 12 ---> 13 (471)
232 # 1 ---> 2 (476)
243 # 13 ---> 14 (472)
232 # 2 ---> 3 (477)
232 # 3 ---> 4 (478)
243 # 14 ---> 15 (473)
243 # 15 ---> 16 (474)
232 # 4 ---> 5 (479)
243 # 16 ---> 0 (475)
232 # 5 ---> 6 (480)
243 # 0 ---> 1 (476)
232 # 6 ---> 7 (481)
243 # 1 ---> 2 (477)
232 # 7 ---> 8 (482)
243 # 2 ---> 3 (478)
232 # 8 ---> 9 (483)
243 # 3 ---> 4 (479)
232 # 9 ---> 10 (484)
243 # 4 ---> 5 (480)
232 # 10 ---> 11 (485)
243 # 5 ---> 6 (481)
232 # 11 ---> 12 (486)
243 # 6 ---> 7 (482)
232 # 12 ---> 13 (487)
243 # 7 ---> 8 (483)
232 # 13 ---> 14 (488)
243 # 8 ---> 9 (484)
232 # 14 ---> 15 (489)
243 # 9 ---> 10 (485)
232 # 15 ---> 16 (490)
243 # 10 ---> 11 (486)
232 # 16 ---> 0 (491)
243 # 11 ---> 12 (487)
232 # 0 ---> 1 (492)
243 # 12 ---> 13 (488)
232 # 1 ---> 2 (493)
243 # 13 ---> 14 (489)
232 # 2 ---> 3 (494)
243 # 14 ---> 15 (490)
232 # 3 ---> 4 (495)
243 # 15 ---> 16 (491)
232 # 4 ---> 5 (496)
243 # 16 ---> 0 (492)
232 # 5 ---> 6 (497)
243 # 0 ---> 1 (493)
232 # 6 ---> 7 (498)
243 # 1 ---> 2 (494)
232 # 7 ---> 8 (499)
243 # 2 ---> 3 (495)
232 # 8 ---> 9 (500)
243 # 3 ---> 4 (496)
232 # 9 ---> 10 (501)
243 # 4 ---> 5 (497)
232 # 10 ---> 11 (502)
243 # 5 ---> 6 (498)
232 # 11 ---> 12 (503)
243 # 6 ---> 7 (499)
232 # 12 ---> 13 (504)
243 # 7 ---> 8 (500)
232 # 13 ---> 14 (505)
243 # 8 ---> 9 (501)
232 # 14 ---> 15 (506)
243 # 9 ---> 10 (502)
232 # 15 ---> 16 (507)
243 # 10 ---> 11 (503)
232 # 16 ---> 0 (508)
243 # 11 ---> 12 (504)
232 # 0 ---> 1 (509)
243 # 12 ---> 13 (505)
232 # 1 ---> 2 (510)
243 # 13 ---> 14 (506)
232 # 2 ---> 3 (511)
243 # 14 ---> 15 (507)
232 # 3 ---> 4 (512)
243 # 15 ---> 16 (508)
232 # 4 ---> 5 (513)
243 # 16 ---> 0 (509)
232 # 5 ---> 6 (514)
243 # 0 ---> 1 (510)
232 # 6 ---> 7 (515)
243 # 1 ---> 2 (511)
232 # 7 ---> 8 (516)
243 # 2 ---> 3 (512)
232 # 8 ---> 9 (517)
243 # 3 ---> 4 (513)
232 # 9 ---> 10 (518)
243 # 4 ---> 5 (514)
232 # 10 ---> 11 (519)
243 # 5 ---> 6 (515)
232 # 11 ---> 12 (520)
243 # 6 ---> 7 (516)
232 # 12 ---> 13 (521)
243 # 7 ---> 8 (517)
232 # 13 ---> 14 (522)
243 # 8 ---> 9 (518)
232 # 14 ---> 15 (523)
243 # 9 ---> 10 (519)
232 # 15 ---> 16 (524)
243 # 10 ---> 11 (520)
232 # 16 ---> 0 (525)
243 # 11 ---> 12 (521)
232 # 0 ---> 1 (526)
243 # 12 ---> 13 (522)
232 # 1 ---> 2 (527)
243 # 13 ---> 14 (523)
232 # 2 ---> 3 (528)
243 # 14 ---> 15 (524)
232 # 3 ---> 4 (529)
243 # 15 ---> 16 (525)
232 # 4 ---> 5 (530)
243 # 16 ---> 0 (526)
232 # 5 ---> 6 (531)
243 # 0 ---> 1 (527)
232 # 6 ---> 7 (532)
243 # 1 ---> 2 (528)
232 # 7 ---> 8 (533)
243 # 2 ---> 3 (529)
232 # 8 ---> 9 (534)
243 # 3 ---> 4 (530)
232 # 9 ---> 10 (535)
243 # 4 ---> 5 (531)
232 # 10 ---> 11 (536)
243 # 5 ---> 6 (532)
232 # 11 ---> 12 (537)
243 # 6 ---> 7 (533)
232 # 12 ---> 13 (538)
243 # 7 ---> 8 (534)
232 # 13 ---> 14 (539)
243 # 8 ---> 9 (535)
232 # 14 ---> 15 (540)
243 # 9 ---> 10 (536)
232 # 15 ---> 16 (541)
243 # 10 ---> 11 (537)
232 # 16 ---> 0 (542)
243 # 11 ---> 12 (538)
232 # 0 ---> 1 (543)
243 # 12 ---> 13 (539)
232 # 1 ---> 2 (544)
243 # 13 ---> 14 (540)
232 # 2 ---> 3 (545)
243 # 14 ---> 15 (541)
232 # 3 ---> 4 (546)
232 # 4 ---> 5 (547)
243 # 15 ---> 16 (542)
232 # 5 ---> 6 (548)
232 # 6 ---> 7 (549)
243 # 16 ---> 0 (543)
232 # 7 ---> 8 (550)
243 # 0 ---> 1 (544)
232 # 8 ---> 9 (551)
243 # 1 ---> 2 (545)
232 # 9 ---> 10 (552)
243 # 2 ---> 3 (546)
232 # 10 ---> 11 (553)
243 # 3 ---> 4 (547)
232 # 11 ---> 12 (554)
243 # 4 ---> 5 (548)
232 # 12 ---> 13 (555)
243 # 5 ---> 6 (549)
232 # 13 ---> 14 (556)
243 # 6 ---> 7 (550)
232 # 14 ---> 15 (557)
243 # 7 ---> 8 (551)
232 # 15 ---> 16 (558)
243 # 8 ---> 9 (552)
232 # 16 ---> 0 (559)
243 # 9 ---> 10 (553)
232 # 0 ---> 1 (560)
243 # 10 ---> 11 (554)
232 # 1 ---> 2 (561)
243 # 11 ---> 12 (555)
232 # 2 ---> 3 (562)
243 # 12 ---> 13 (556)
232 # 3 ---> 4 (563)
243 # 13 ---> 14 (557)
232 # 4 ---> 5 (564)
243 # 14 ---> 15 (558)
243 # 15 ---> 16 (559)
232 # 5 ---> 6 (565)
243 # 16 ---> 0 (560)
232 # 6 ---> 7 (566)
243 # 0 ---> 1 (561)
232 # 7 ---> 8 (567)
243 # 1 ---> 2 (562)
232 # 8 ---> 9 (568)
243 # 2 ---> 3 (563)
232 # 9 ---> 10 (569)
243 # 3 ---> 4 (564)
232 # 10 ---> 11 (570)
243 # 4 ---> 5 (565)
232 # 11 ---> 12 (571)
243 # 5 ---> 6 (566)
232 # 12 ---> 13 (572)
243 # 6 ---> 7 (567)
232 # 13 ---> 14 (573)
243 # 7 ---> 8 (568)
232 # 14 ---> 15 (574)
243 # 8 ---> 9 (569)
232 # 15 ---> 16 (575)
243 # 9 ---> 10 (570)
232 # 16 ---> 0 (576)
243 # 10 ---> 11 (571)
232 # 0 ---> 1 (577)
243 # 11 ---> 12 (572)
232 # 1 ---> 2 (578)
232 # 2 ---> 3 (579)
243 # 12 ---> 13 (573)
243 # 13 ---> 14 (574)
232 # 3 ---> 4 (580)
243 # 14 ---> 15 (575)
232 # 4 ---> 5 (581)
232 # 5 ---> 6 (582)
243 # 15 ---> 16 (576)
232 # 6 ---> 7 (583)
243 # 16 ---> 0 (577)
232 # 7 ---> 8 (584)
243 # 0 ---> 1 (578)
232 # 8 ---> 9 (585)
243 # 1 ---> 2 (579)
232 # 9 ---> 10 (586)
243 # 2 ---> 3 (580)
232 # 10 ---> 11 (587)
243 # 3 ---> 4 (581)
232 # 11 ---> 12 (588)
243 # 4 ---> 5 (582)
232 # 12 ---> 13 (589)
243 # 5 ---> 6 (583)
232 # 13 ---> 14 (590)
243 # 6 ---> 7 (584)
232 # 14 ---> 15 (591)
243 # 7 ---> 8 (585)
232 # 15 ---> 16 (592)
243 # 8 ---> 9 (586)
232 # 16 ---> 0 (593)
243 # 9 ---> 10 (587)
232 # 0 ---> 1 (594)
243 # 10 ---> 11 (588)
232 # 1 ---> 2 (595)
243 # 11 ---> 12 (589)
232 # 2 ---> 3 (596)
243 # 12 ---> 13 (590)
232 # 3 ---> 4 (597)
243 # 13 ---> 14 (591)
243 # 14 ---> 15 (592)
232 # 4 ---> 5 (598)
243 # 15 ---> 16 (593)
232 # 5 ---> 6 (599)
243 # 16 ---> 0 (594)
232 # 6 ---> 7 (600)
243 # 0 ---> 1 (595)
232 # 7 ---> 8 (601)
243 # 1 ---> 2 (596)
232 # 8 ---> 9 (602)
243 # 2 ---> 3 (597)
232 # 9 ---> 10 (603)
243 # 3 ---> 4 (598)
232 # 10 ---> 11 (604)
243 # 4 ---> 5 (599)
232 # 11 ---> 12 (605)
243 # 5 ---> 6 (600)
232 # 12 ---> 13 (606)
243 # 6 ---> 7 (601)
232 # 13 ---> 14 (607)
243 # 7 ---> 8 (602)
232 # 14 ---> 15 (608)
243 # 8 ---> 9 (603)
232 # 15 ---> 16 (609)
243 # 9 ---> 10 (604)
232 # 16 ---> 0 (610)
243 # 10 ---> 11 (605)
232 # 0 ---> 1 (611)
243 # 11 ---> 12 (606)
232 # 1 ---> 2 (612)
223 # 46 ---> 119 (265)
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 = 0x7fff12f43f30, target = 0x1b786a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78680)
    ]
    Edge  0 <-> 16 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78880)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78680)
    ]
    Edge  1 <-> 2 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b786c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b786a0)
    ]
    Edge  1 <-> 66 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ec0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b786a0)
    ]
    Edge  2 <-> 3 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b786e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b786c0)
    ]
    Edge  3 <-> 4 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78700)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b786e0)
    ]
    Edge  3 <-> 76 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79000)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b786e0)
    ]
    Edge  3 <-> 127 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79660)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b786e0)
    ]
    Edge  3 <-> 196 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79f00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b786e0)
    ]
    Edge  4 <-> 5 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78720)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78700)
    ]
    Edge  4 <-> 20 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78900)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78700)
    ]
    Edge  4 <-> 171 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79be0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78700)
    ]
    Edge  5 <-> 6 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78740)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78720)
    ]
    Edge  5 <-> 189 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78720)
    ]
    Edge  6 <-> 7 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78760)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78740)
    ]
    Edge  7 <-> 8 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78780)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78760)
    ]
    Edge  7 <-> 26 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b789c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78760)
    ]
    Edge  8 <-> 9 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78780)
    ]
    Edge  8 <-> 25 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b789a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78780)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787a0)
    ]
    Edge  9 <-> 36 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787a0)
    ]
    Edge  9 <-> 90 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b791c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787a0)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787c0)
    ]
    Edge  10 <-> 137 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b797a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787c0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78800)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787e0)
    ]
    Edge  11 <-> 21 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78920)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787e0)
    ]
    Edge  11 <-> 64 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787e0)
    ]
    Edge  11 <-> 75 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78fe0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787e0)
    ]
    Edge  11 <-> 85 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79120)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b787e0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78820)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78800)
    ]
    Edge  12 <-> 77 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79020)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78800)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78840)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78820)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78860)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78840)
    ]
    Edge  14 <-> 125 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79620)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78840)
    ]
    Edge  15 <-> 16 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78880)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78860)
    ]
    Edge  15 <-> 124 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79600)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78860)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b788a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78880)
    ]
    Edge  16 <-> 197 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79f20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78880)
    ]
    Edge  17 <-> 18 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b788c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b788a0)
    ]
    Edge  18 <-> 19 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b788e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b788c0)
    ]
    Edge  19 <-> 20 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78900)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b788e0)
    ]
    Edge  21 <-> 22 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78940)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78920)
    ]
    Edge  22 <-> 23 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78960)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78940)
    ]
    Edge  23 <-> 24 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78980)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78960)
    ]
    Edge  23 <-> 51 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ce0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78960)
    ]
    Edge  23 <-> 176 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79c80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78960)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b789a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78980)
    ]
    Edge  24 <-> 122 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b795c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78980)
    ]
    Edge  26 <-> 27 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b789e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b789c0)
    ]
    Edge  27 <-> 28 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b789e0)
    ]
    Edge  28 <-> 29 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a00)
    ]
    Edge  28 <-> 94 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79240)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a00)
    ]
    Edge  29 <-> 30 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a20)
    ]
    Edge  30 <-> 31 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a40)
    ]
    Edge  30 <-> 37 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a40)
    ]
    Edge  30 <-> 92 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79200)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a40)
    ]
    Edge  31 <-> 32 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a60)
    ]
    Edge  31 <-> 95 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79260)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a60)
    ]
    Edge  32 <-> 33 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78aa0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78a80)
    ]
    Edge  33 <-> 34 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ac0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78aa0)
    ]
    Edge  33 <-> 67 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ee0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78aa0)
    ]
    Edge  34 <-> 35 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ae0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ac0)
    ]
    Edge  34 <-> 52 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ac0)
    ]
    Edge  35 <-> 36 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ae0)
    ]
    Edge  35 <-> 84 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79100)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ae0)
    ]
    Edge  36 <-> 123 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b795e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b00)
    ]
    Edge  37 <-> 38 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b20)
    ]
    Edge  38 <-> 39 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b40)
    ]
    Edge  39 <-> 40 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b60)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ba0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78b80)
    ]
    Edge  41 <-> 42 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78bc0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ba0)
    ]
    Edge  42 <-> 43 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78be0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78bc0)
    ]
    Edge  43 <-> 44 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78be0)
    ]
    Edge  44 <-> 45 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c00)
    ]
    Edge  45 <-> 46 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c20)
    ]
    Edge  45 <-> 78 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79040)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c20)
    ]
    Edge  46 <-> 47 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c40)
    ]
    Edge  46 <-> 103 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79360)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c40)
    ]
    Edge  46 <-> 119 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79560)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c40)
    ]
    Edge  47 <-> 48 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c60)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ca0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c80)
    ]
    Edge  48 <-> 228 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a300)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c80)
    ]
    Edge  48 <-> 242 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a4c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78c80)
    ]
    Edge  49 <-> 50 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78cc0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ca0)
    ]
    Edge  50 <-> 51 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ce0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78cc0)
    ]
    Edge  51 <-> 65 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ea0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ce0)
    ]
    Edge  52 <-> 53 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d00)
    ]
    Edge  53 <-> 54 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d20)
    ]
    Edge  53 <-> 108 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79400)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d20)
    ]
    Edge  54 <-> 55 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d40)
    ]
    Edge  55 <-> 56 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d60)
    ]
    Edge  55 <-> 210 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a0c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d60)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78da0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78d80)
    ]
    Edge  57 <-> 58 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78dc0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78da0)
    ]
    Edge  58 <-> 59 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78de0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78dc0)
    ]
    Edge  59 <-> 60 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78de0)
    ]
    Edge  60 <-> 61 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e00)
    ]
    Edge  60 <-> 126 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79640)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e00)
    ]
    Edge  61 <-> 62 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e20)
    ]
    Edge  61 <-> 104 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79380)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e20)
    ]
    Edge  62 <-> 63 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e40)
    ]
    Edge  62 <-> 91 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b791e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e40)
    ]
    Edge  63 <-> 64 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78e60)
    ]
    Edge  65 <-> 66 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ec0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ea0)
    ]
    Edge  66 <-> 120 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79580)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ec0)
    ]
    Edge  67 <-> 68 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78ee0)
    ]
    Edge  68 <-> 69 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f00)
    ]
    Edge  69 <-> 70 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f20)
    ]
    Edge  69 <-> 133 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79720)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f20)
    ]
    Edge  70 <-> 71 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f40)
    ]
    Edge  70 <-> 93 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79220)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f40)
    ]
    Edge  70 <-> 227 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a2e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f40)
    ]
    Edge  71 <-> 72 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f60)
    ]
    Edge  72 <-> 73 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78fa0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78f80)
    ]
    Edge  73 <-> 74 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78fc0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78fa0)
    ]
    Edge  74 <-> 75 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78fe0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b78fc0)
    ]
    Edge  76 <-> 77 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79020)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79000)
    ]
    Edge  78 <-> 79 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79060)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79040)
    ]
    Edge  79 <-> 80 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79080)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79060)
    ]
    Edge  79 <-> 177 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ca0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79060)
    ]
    Edge  80 <-> 81 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b790a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79080)
    ]
    Edge  80 <-> 107 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b793e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79080)
    ]
    Edge  81 <-> 82 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b790c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b790a0)
    ]
    Edge  82 <-> 83 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b790e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b790c0)
    ]
    Edge  83 <-> 84 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79100)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b790e0)
    ]
    Edge  85 <-> 86 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79140)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79120)
    ]
    Edge  86 <-> 87 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79160)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79140)
    ]
    Edge  87 <-> 88 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79180)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79160)
    ]
    Edge  88 <-> 89 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b791a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79180)
    ]
    Edge  89 <-> 90 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b791c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b791a0)
    ]
    Edge  89 <-> 132 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79700)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b791a0)
    ]
    Edge  91 <-> 92 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79200)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b791e0)
    ]
    Edge  93 <-> 94 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79240)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79220)
    ]
    Edge  94 <-> 190 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79240)
    ]
    Edge  95 <-> 96 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79280)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79260)
    ]
    Edge  96 <-> 97 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b792a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79280)
    ]
    Edge  96 <-> 159 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79280)
    ]
    Edge  97 <-> 98 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b792c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b792a0)
    ]
    Edge  97 <-> 172 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79c00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b792a0)
    ]
    Edge  98 <-> 99 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b792e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b792c0)
    ]
    Edge  99 <-> 100 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79300)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b792e0)
    ]
    Edge  99 <-> 145 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b798a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b792e0)
    ]
    Edge  100 <-> 101 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79320)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79300)
    ]
    Edge  101 <-> 102 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79340)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79320)
    ]
    Edge  102 <-> 103 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79360)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79340)
    ]
    Edge  103 <-> 160 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79360)
    ]
    Edge  104 <-> 105 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b793a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79380)
    ]
    Edge  105 <-> 106 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b793c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b793a0)
    ]
    Edge  106 <-> 107 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b793e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b793c0)
    ]
    Edge  107 <-> 146 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b798c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b793e0)
    ]
    Edge  108 <-> 109 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79420)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79400)
    ]
    Edge  109 <-> 110 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79440)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79420)
    ]
    Edge  110 <-> 111 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79460)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79440)
    ]
    Edge  111 <-> 112 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79480)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79460)
    ]
    Edge  112 <-> 113 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b794a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79480)
    ]
    Edge  113 <-> 114 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b794c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b794a0)
    ]
    Edge  114 <-> 115 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b794e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b794c0)
    ]
    Edge  115 <-> 116 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79500)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b794e0)
    ]
    Edge  116 <-> 117 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79520)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79500)
    ]
    Edge  117 <-> 118 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79540)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79520)
    ]
    Edge  117 <-> 170 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79bc0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79520)
    ]
    Edge  118 <-> 119 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79560)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79540)
    ]
    Edge  120 <-> 121 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b795a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79580)
    ]
    Edge  120 <-> 138 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b797c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79580)
    ]
    Edge  121 <-> 122 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b795c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b795a0)
    ]
    Edge  123 <-> 124 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79600)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b795e0)
    ]
    Edge  125 <-> 126 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79640)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79620)
    ]
    Edge  127 <-> 128 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79680)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79660)
    ]
    Edge  128 <-> 129 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b796a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79680)
    ]
    Edge  129 <-> 130 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b796c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b796a0)
    ]
    Edge  130 <-> 131 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b796e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b796c0)
    ]
    Edge  131 <-> 132 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79700)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b796e0)
    ]
    Edge  131 <-> 214 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a140)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b796e0)
    ]
    Edge  133 <-> 134 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79740)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79720)
    ]
    Edge  134 <-> 135 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79760)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79740)
    ]
    Edge  135 <-> 136 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79780)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79760)
    ]
    Edge  136 <-> 137 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b797a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79780)
    ]
    Edge  138 <-> 139 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b797e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b797c0)
    ]
    Edge  139 <-> 140 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79800)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b797e0)
    ]
    Edge  140 <-> 141 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79820)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79800)
    ]
    Edge  141 <-> 142 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79840)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79820)
    ]
    Edge  142 <-> 143 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79860)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79840)
    ]
    Edge  143 <-> 144 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79880)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79860)
    ]
    Edge  144 <-> 145 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b798a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79880)
    ]
    Edge  145 <-> 169 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ba0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b798a0)
    ]
    Edge  146 <-> 147 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b798e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b798c0)
    ]
    Edge  147 <-> 148 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79900)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b798e0)
    ]
    Edge  148 <-> 149 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79920)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79900)
    ]
    Edge  149 <-> 150 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79940)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79920)
    ]
    Edge  150 <-> 151 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79960)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79940)
    ]
    Edge  151 <-> 152 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79980)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79960)
    ]
    Edge  152 <-> 153 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b799a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79980)
    ]
    Edge  153 <-> 154 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b799c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b799a0)
    ]
    Edge  154 <-> 155 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b799e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b799c0)
    ]
    Edge  155 <-> 156 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b799e0)
    ]
    Edge  156 <-> 157 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a00)
    ]
    Edge  157 <-> 158 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a20)
    ]
    Edge  158 <-> 159 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a40)
    ]
    Edge  159 <-> 241 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a4a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a60)
    ]
    Edge  160 <-> 161 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79aa0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79a80)
    ]
    Edge  161 <-> 162 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ac0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79aa0)
    ]
    Edge  162 <-> 163 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ae0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ac0)
    ]
    Edge  163 <-> 164 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79b00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ae0)
    ]
    Edge  163 <-> 209 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a0a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ae0)
    ]
    Edge  164 <-> 165 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79b20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79b00)
    ]
    Edge  165 <-> 166 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79b40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79b20)
    ]
    Edge  166 <-> 167 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79b60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79b40)
    ]
    Edge  167 <-> 168 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79b80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79b60)
    ]
    Edge  168 <-> 169 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ba0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79b80)
    ]
    Edge  170 <-> 171 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79be0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79bc0)
    ]
    Edge  171 <-> 215 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a160)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79be0)
    ]
    Edge  172 <-> 173 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79c20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79c00)
    ]
    Edge  173 <-> 174 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79c40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79c20)
    ]
    Edge  174 <-> 175 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79c60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79c40)
    ]
    Edge  175 <-> 176 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79c80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79c60)
    ]
    Edge  177 <-> 178 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79cc0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ca0)
    ]
    Edge  178 <-> 179 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ce0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79cc0)
    ]
    Edge  179 <-> 180 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79d00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ce0)
    ]
    Edge  180 <-> 181 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79d20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79d00)
    ]
    Edge  181 <-> 182 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79d40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79d20)
    ]
    Edge  182 <-> 183 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79d60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79d40)
    ]
    Edge  183 <-> 184 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79d80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79d60)
    ]
    Edge  184 <-> 185 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79da0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79d80)
    ]
    Edge  185 <-> 186 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79dc0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79da0)
    ]
    Edge  186 <-> 187 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79de0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79dc0)
    ]
    Edge  186 <-> 254 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a640)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79dc0)
    ]
    Edge  187 <-> 188 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79de0)
    ]
    Edge  188 <-> 189 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e20)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e00)
    ]
    Edge  188 <-> 255 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a660)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e00)
    ]
    Edge  190 <-> 191 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e40)
    ]
    Edge  191 <-> 192 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e60)
    ]
    Edge  192 <-> 193 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ea0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79e80)
    ]
    Edge  193 <-> 194 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ec0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ea0)
    ]
    Edge  194 <-> 195 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ee0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ec0)
    ]
    Edge  195 <-> 196 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79f00)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79ee0)
    ]
    Edge  197 <-> 198 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79f40)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79f20)
    ]
    Edge  198 <-> 199 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79f60)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79f40)
    ]
    Edge  199 <-> 200 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79f80)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79f60)
    ]
    Edge  200 <-> 201 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79fa0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79f80)
    ]
    Edge  201 <-> 202 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79fc0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79fa0)
    ]
    Edge  202 <-> 203 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79fe0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79fc0)
    ]
    Edge  203 <-> 204 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a000)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b79fe0)
    ]
    Edge  204 <-> 205 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a020)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a000)
    ]
    Edge  205 <-> 206 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a040)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a020)
    ]
    Edge  206 <-> 207 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a060)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a040)
    ]
    Edge  207 <-> 208 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a080)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a060)
    ]
    Edge  208 <-> 209 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a0a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a080)
    ]
    Edge  210 <-> 211 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a0e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a0c0)
    ]
    Edge  211 <-> 212 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a100)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a0e0)
    ]
    Edge  212 <-> 213 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a120)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a100)
    ]
    Edge  213 <-> 214 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a140)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a120)
    ]
    Edge  213 <-> 268 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a800)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a120)
    ]
    Edge  215 <-> 216 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a180)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a160)
    ]
    Edge  216 <-> 217 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a1a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a180)
    ]
    Edge  217 <-> 218 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a1c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a1a0)
    ]
    Edge  218 <-> 219 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a1e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a1c0)
    ]
    Edge  219 <-> 220 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a200)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a1e0)
    ]
    Edge  220 <-> 221 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a220)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a200)
    ]
    Edge  221 <-> 222 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a240)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a220)
    ]
    Edge  222 <-> 223 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a260)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a240)
    ]
    Edge  223 <-> 224 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a280)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a260)
    ]
    Edge  224 <-> 225 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a2a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a280)
    ]
    Edge  225 <-> 226 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a2c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a2a0)
    ]
    Edge  226 <-> 227 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a2e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a2c0)
    ]
    Edge  228 <-> 229 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a320)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a300)
    ]
    Edge  229 <-> 230 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a340)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a320)
    ]
    Edge  230 <-> 231 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a360)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a340)
    ]
    Edge  231 <-> 232 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a380)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a360)
    ]
    Edge  232 <-> 233 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a3a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a380)
    ]
    Edge  233 <-> 234 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a3c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a3a0)
    ]
    Edge  234 <-> 235 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a3e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a3c0)
    ]
    Edge  235 <-> 236 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a400)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a3e0)
    ]
    Edge  236 <-> 237 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a420)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a400)
    ]
    Edge  237 <-> 238 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a440)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a420)
    ]
    Edge  238 <-> 239 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a460)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a440)
    ]
    Edge  239 <-> 240 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a480)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a460)
    ]
    Edge  240 <-> 241 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a4a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a480)
    ]
    Edge  242 <-> 243 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a4e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a4c0)
    ]
    Edge  243 <-> 244 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a500)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a4e0)
    ]
    Edge  244 <-> 245 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a520)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a500)
    ]
    Edge  245 <-> 246 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a540)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a520)
    ]
    Edge  246 <-> 247 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a560)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a540)
    ]
    Edge  247 <-> 248 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a580)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a560)
    ]
    Edge  248 <-> 249 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a5a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a580)
    ]
    Edge  249 <-> 250 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a5c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a5a0)
    ]
    Edge  250 <-> 251 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a5e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a5c0)
    ]
    Edge  251 <-> 252 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a600)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a5e0)
    ]
    Edge  252 <-> 253 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a620)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a600)
    ]
    Edge  253 <-> 254 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a640)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a620)
    ]
    Edge  255 <-> 256 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a680)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a660)
    ]
    Edge  256 <-> 257 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a6a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a680)
    ]
    Edge  257 <-> 258 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a6c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a6a0)
    ]
    Edge  258 <-> 259 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a6e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a6c0)
    ]
    Edge  259 <-> 260 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a700)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a6e0)
    ]
    Edge  260 <-> 261 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a720)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a700)
    ]
    Edge  261 <-> 262 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a740)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a720)
    ]
    Edge  262 <-> 263 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a760)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a740)
    ]
    Edge  263 <-> 264 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a780)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a760)
    ]
    Edge  264 <-> 265 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a7a0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a780)
    ]
    Edge  265 <-> 266 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a7c0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a7a0)
    ]
    Edge  266 <-> 267 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a7e0)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a7c0)
    ]
    Edge  267 <-> 268 [
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a800)
        Arc: (edge = 0x7fff12f43f30, target = 0x1b7a7e0)
    ]
]
Robot arrangement: (|R| = 46, |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#90 14#91 15#93 16#104 17#109 18#111 19#113 20#116 21#122 22#126 23#135 24#136 25#144 26#153 27#156 28#170 29#180 30#183 31#187 32#189 33#201 34#203 35#204 36#211 37#216 38#220 39#226 40#236 41#238 42#240 43#251 44#254 45#259 46#268 }
     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 13#90 14#91 0#92 15#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 0#102 0#103 16#104 0#105 0#106 0#107 0#108 17#109 0#110 18#111 0#112 19#113 0#114 0#115 20#116 0#117 0#118 0#119 0#120 0#121 21#122 0#123 0#124 0#125 22#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 23#135 24#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 25#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 26#153 0#154 0#155 27#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 28#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 29#180 0#181 0#182 30#183 0#184 0#185 0#186 31#187 0#188 32#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 0#200 33#201 0#202 34#203 35#204 0#205 0#206 0#207 0#208 0#209 0#210 36#211 0#212 0#213 0#214 0#215 37#216 0#217 0#218 0#219 38#220 0#221 0#222 0#223 0#224 0#225 39#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 40#236 0#237 41#238 0#239 42#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 43#251 0#252 0#253 44#254 0#255 0#256 0#257 0#258 45#259 0#260 0#261 0#262 0#263 0#264 0#265 0#266 0#267 46#268 }
]
Robot arrangement: (|R| = 46, |V| = 269) [
     robot locations: {1#2 2#12 3#27 4#29 5#43 6#54 7#65 8#72 9#76 10#77 11#79 12#88 13#96 14#98 15#119 16#120 17#122 18#127 19#131 20#143 21#150 22#151 23#153 24#155 25#158 26#162 27#171 28#172 29#180 30#184 31#186 32#197 33#199 34#200 35#219 36#220 37#232 38#234 39#237 40#246 41#247 42#252 43#255 44#262 45#266 46#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 6#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 0#64 7#65 0#66 0#67 0#68 0#69 0#70 0#71 8#72 0#73 0#74 0#75 9#76 10#77 0#78 11#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 12#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 13#96 0#97 14#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 15#119 16#120 0#121 17#122 0#123 0#124 0#125 0#126 18#127 0#128 0#129 0#130 19#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 20#143 0#144 0#145 0#146 0#147 0#148 0#149 21#150 22#151 0#152 23#153 0#154 24#155 0#156 0#157 25#158 0#159 0#160 0#161 26#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 27#171 28#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 29#180 0#181 0#182 0#183 30#184 0#185 31#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 32#197 0#198 33#199 34#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 35#219 36#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 37#232 0#233 38#234 0#235 0#236 39#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 40#246 41#247 0#248 0#249 0#250 0#251 42#252 0#253 0#254 43#255 0#256 0#257 0#258 0#259 0#260 0#261 44#262 0#263 0#264 0#265 45#266 46#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.026
            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                   = 4162
                Wall clock TIME (seconds)      = 0.005
                CPU/machine TIME (seconds)     = 0.010
            ]
        }
]
----------------------------------------------------------------