================================================================
reLOC 0.05-legio : Multirobot Solution reSolver
(C) Copyright 2011-2012 Pavel Surynek
----------------------------------------------------------------
window size:16
Reading graph...
0,1
0,32
0,53
1,2
2,3
3,4
4,5
5,6
6,7
7,8
7,161
8,9
9,10
10,11
11,12
12,13
13,14
13,312
14,15
15,16
15,52
16,17
16,172
17,18
17,33
18,19
19,20
20,21
21,22
22,23
23,24
24,25
24,106
25,26
26,27
27,28
28,29
29,30
30,31
31,32
33,34
34,35
35,36
36,37
37,38
37,197
38,39
38,208
39,40
40,41
40,339
41,42
42,43
42,95
43,44
43,84
44,45
44,79
44,85
45,46
45,77
46,47
47,48
48,49
49,50
50,51
51,52
53,54
54,55
55,56
56,57
57,58
58,59
59,60
60,61
61,62
62,63
63,64
64,65
65,66
66,67
67,68
68,69
69,70
70,71
71,72
71,80
71,105
72,73
72,78
72,96
73,74
74,75
75,76
75,198
76,77
78,79
80,81
81,82
82,83
82,146
82,281
83,84
85,86
86,87
86,147
87,88
87,173
88,89
89,90
90,91
91,92
92,93
93,94
93,132
94,95
96,97
97,98
98,99
99,100
100,101
101,102
101,256
102,103
103,104
104,105
106,107
107,108
108,109
108,240
109,110
110,111
111,112
111,133
112,113
113,114
114,115
115,116
116,117
117,118
118,119
119,120
120,121
121,122
122,123
123,124
124,125
125,126
126,127
127,128
128,129
129,130
130,131
131,132
133,134
134,135
135,136
136,137
137,138
138,139
139,140
140,141
141,142
142,143
143,144
144,145
145,146
145,162
147,148
148,149
149,150
149,207
150,151
151,152
152,153
153,154
154,155
155,156
156,157
157,158
158,159
159,160
160,161
162,163
163,164
164,165
165,166
166,167
167,168
168,169
169,170
170,171
171,172
173,174
174,175
175,176
176,177
176,239
177,178
177,226
178,179
179,180
180,181
181,182
182,183
183,184
184,185
185,186
186,187
187,188
188,189
189,190
190,191
191,192
192,193
193,194
194,195
195,196
196,197
198,199
199,200
200,201
201,202
201,225
202,203
203,204
204,205
205,206
206,207
208,209
209,210
210,211
211,212
212,213
213,214
214,215
215,216
215,331
216,217
216,257
217,218
218,219
219,220
220,221
221,222
222,223
223,224
224,225
226,227
227,228
228,229
229,230
230,231
231,232
232,233
233,234
234,235
235,236
236,237
237,238
238,239
238,330
240,241
241,242
242,243
243,244
244,245
245,246
246,247
246,344
247,248
248,249
249,250
250,251
251,252
252,253
253,254
254,255
255,256
257,258
257,282
258,259
259,260
260,261
261,262
262,263
263,264
264,265
265,266
266,267
267,268
268,269
269,270
270,271
271,272
272,273
272,311
273,274
273,338
274,275
275,276
276,277
277,278
278,279
279,280
280,281
282,283
283,284
284,285
285,286
286,287
287,288
288,289
289,290
290,291
291,292
292,293
293,294
294,295
295,296
296,297
297,298
298,299
299,300
300,301
301,302
302,303
303,304
304,305
305,306
306,307
307,308
308,309
309,310
310,311
312,313
313,314
314,315
315,316
316,317
317,318
318,319
319,320
320,321
321,322
322,323
323,324
324,325
325,326
326,327
327,328
328,329
329,330
331,332
332,333
333,334
334,335
335,336
336,337
337,338
339,340
340,341
341,342
342,343
343,344
Reading initial arrangement...
Reading original solution...
Length:1087
339 # 336 ---> 337 (0)
340 # 332 ---> 333 (0)
344 # 203 ---> 202 (0)
344 # 202 ---> 201 (1)
344 # 201 ---> 225 (2)
344 # 225 ---> 224 (3)
344 # 224 ---> 223 (4)
344 # 223 ---> 222 (5)
344 # 222 ---> 221 (6)
344 # 221 ---> 220 (7)
344 # 220 ---> 219 (8)
344 # 219 ---> 218 (9)
344 # 218 ---> 217 (10)
344 # 217 ---> 216 (11)
344 # 216 ---> 215 (12)
339 # 337 ---> 338 (1)
340 # 333 ---> 334 (1)
344 # 215 ---> 331 (13)
339 # 338 ---> 273 (2)
340 # 334 ---> 335 (2)
344 # 331 ---> 332 (14)
339 # 273 ---> 272 (3)
340 # 335 ---> 336 (3)
344 # 332 ---> 333 (15)
339 # 272 ---> 271 (4)
340 # 336 ---> 337 (4)
344 # 333 ---> 334 (16)
339 # 271 ---> 270 (5)
343 # 107 ---> 106 (0)
343 # 106 ---> 24 (1)
343 # 24 ---> 23 (2)
343 # 23 ---> 22 (3)
343 # 22 ---> 21 (4)
343 # 21 ---> 20 (5)
343 # 20 ---> 19 (6)
343 # 19 ---> 18 (7)
343 # 18 ---> 17 (8)
343 # 17 ---> 16 (9)
340 # 337 ---> 338 (5)
344 # 334 ---> 335 (17)
339 # 270 ---> 269 (6)
343 # 16 ---> 17 (10)
343 # 17 ---> 18 (11)
340 # 338 ---> 273 (6)
344 # 335 ---> 336 (18)
339 # 269 ---> 268 (7)
340 # 273 ---> 272 (7)
340 # 272 ---> 311 (8)
339 # 268 ---> 269 (8)
341 # 285 ---> 284 (0)
340 # 311 ---> 310 (9)
339 # 269 ---> 270 (9)
341 # 284 ---> 283 (1)
340 # 310 ---> 309 (10)
339 # 270 ---> 271 (10)
341 # 283 ---> 282 (2)
340 # 309 ---> 308 (11)
339 # 271 ---> 272 (11)
341 # 282 ---> 257 (3)
340 # 308 ---> 307 (12)
339 # 272 ---> 311 (12)
341 # 257 ---> 258 (4)
344 # 336 ---> 337 (19)
341 # 258 ---> 257 (5)
341 # 257 ---> 282 (6)
339 # 311 ---> 272 (13)
340 # 307 ---> 308 (13)
341 # 282 ---> 283 (7)
339 # 272 ---> 271 (14)
340 # 308 ---> 309 (14)
341 # 283 ---> 284 (8)
339 # 271 ---> 270 (15)
340 # 309 ---> 310 (15)
341 # 284 ---> 285 (9)
339 # 270 ---> 269 (16)
340 # 310 ---> 311 (16)
341 # 285 ---> 286 (10)
339 # 269 ---> 268 (17)
340 # 311 ---> 272 (17)
341 # 286 ---> 287 (11)
339 # 268 ---> 267 (18)
340 # 272 ---> 271 (18)
343 # 18 ---> 17 (12)
343 # 17 ---> 16 (13)
343 # 16 ---> 15 (14)
343 # 15 ---> 14 (15)
343 # 14 ---> 13 (16)
343 # 13 ---> 12 (17)
340 # 271 ---> 272 (19)
339 # 267 ---> 268 (19)
341 # 287 ---> 286 (12)
340 # 272 ---> 311 (20)
339 # 268 ---> 269 (20)
341 # 286 ---> 285 (13)
340 # 311 ---> 310 (21)
339 # 269 ---> 270 (21)
341 # 285 ---> 284 (14)
340 # 310 ---> 309 (22)
339 # 270 ---> 271 (22)
341 # 284 ---> 283 (15)
340 # 309 ---> 308 (23)
339 # 271 ---> 272 (23)
341 # 283 ---> 282 (16)
340 # 308 ---> 307 (24)
339 # 272 ---> 311 (24)
341 # 282 ---> 257 (17)
340 # 307 ---> 306 (25)
339 # 311 ---> 310 (25)
341 # 257 ---> 258 (18)
341 # 258 ---> 257 (19)
341 # 257 ---> 216 (20)
341 # 216 ---> 215 (21)
341 # 215 ---> 214 (22)
341 # 214 ---> 213 (23)
341 # 213 ---> 212 (24)
341 # 212 ---> 211 (25)
341 # 211 ---> 210 (26)
341 # 210 ---> 209 (27)
341 # 209 ---> 208 (28)
341 # 208 ---> 38 (29)
341 # 38 ---> 39 (30)
343 # 12 ---> 13 (18)
343 # 13 ---> 14 (19)
343 # 14 ---> 13 (20)
343 # 13 ---> 12 (21)
341 # 39 ---> 38 (31)
341 # 38 ---> 37 (32)
339 # 310 ---> 311 (26)
340 # 306 ---> 307 (26)
343 # 12 ---> 13 (22)
343 # 13 ---> 14 (23)
343 # 14 ---> 15 (24)
343 # 15 ---> 16 (25)
343 # 16 ---> 17 (26)
343 # 17 ---> 18 (27)
341 # 37 ---> 38 (33)
341 # 38 ---> 39 (34)
339 # 311 ---> 272 (27)
340 # 307 ---> 308 (27)
339 # 272 ---> 271 (28)
341 # 39 ---> 38 (35)
341 # 38 ---> 37 (36)
340 # 308 ---> 309 (28)
339 # 271 ---> 270 (29)
340 # 309 ---> 310 (29)
339 # 270 ---> 269 (30)
341 # 37 ---> 38 (37)
341 # 38 ---> 39 (38)
340 # 310 ---> 311 (30)
339 # 269 ---> 268 (31)
340 # 311 ---> 272 (31)
339 # 268 ---> 267 (32)
340 # 272 ---> 271 (32)
339 # 267 ---> 266 (33)
340 # 271 ---> 270 (33)
343 # 18 ---> 17 (28)
343 # 17 ---> 16 (29)
339 # 266 ---> 265 (34)
340 # 270 ---> 269 (34)
339 # 265 ---> 264 (35)
340 # 269 ---> 268 (35)
341 # 39 ---> 38 (39)
341 # 38 ---> 208 (40)
341 # 208 ---> 209 (41)
341 # 209 ---> 210 (42)
341 # 210 ---> 211 (43)
341 # 211 ---> 212 (44)
341 # 212 ---> 213 (45)
341 # 213 ---> 214 (46)
341 # 214 ---> 215 (47)
341 # 215 ---> 216 (48)
341 # 216 ---> 257 (49)
341 # 257 ---> 282 (50)
339 # 264 ---> 263 (36)
340 # 268 ---> 267 (36)
341 # 282 ---> 283 (51)
339 # 263 ---> 262 (37)
340 # 267 ---> 266 (37)
341 # 283 ---> 284 (52)
339 # 262 ---> 261 (38)
340 # 266 ---> 265 (38)
343 # 16 ---> 17 (30)
343 # 17 ---> 18 (31)
341 # 284 ---> 285 (53)
339 # 261 ---> 260 (39)
340 # 265 ---> 264 (39)
341 # 285 ---> 286 (54)
339 # 260 ---> 259 (40)
340 # 264 ---> 263 (40)
341 # 286 ---> 287 (55)
339 # 259 ---> 258 (41)
340 # 263 ---> 262 (41)
341 # 287 ---> 288 (56)
339 # 258 ---> 257 (50)
340 # 262 ---> 261 (42)
339 # 257 ---> 216 (51)
340 # 261 ---> 260 (43)
341 # 288 ---> 289 (57)
340 # 260 ---> 259 (44)
341 # 289 ---> 290 (58)
340 # 259 ---> 258 (50)
341 # 290 ---> 291 (59)
340 # 258 ---> 257 (51)
341 # 291 ---> 292 (60)
340 # 257 ---> 282 (52)
341 # 292 ---> 293 (61)
340 # 282 ---> 283 (53)
341 # 293 ---> 294 (62)
340 # 283 ---> 284 (54)
341 # 294 ---> 295 (63)
340 # 284 ---> 285 (55)
341 # 295 ---> 296 (64)
340 # 285 ---> 286 (56)
341 # 296 ---> 297 (65)
340 # 286 ---> 287 (57)
341 # 297 ---> 298 (66)
340 # 287 ---> 288 (58)
341 # 298 ---> 299 (67)
340 # 288 ---> 289 (59)
341 # 299 ---> 300 (68)
340 # 289 ---> 290 (60)
341 # 300 ---> 301 (69)
340 # 290 ---> 291 (61)
340 # 291 ---> 290 (62)
341 # 301 ---> 300 (70)
340 # 290 ---> 289 (63)
341 # 300 ---> 299 (71)
340 # 289 ---> 288 (64)
341 # 299 ---> 298 (72)
340 # 288 ---> 287 (65)
341 # 298 ---> 297 (73)
340 # 287 ---> 286 (66)
341 # 297 ---> 296 (74)
340 # 286 ---> 285 (67)
341 # 296 ---> 295 (75)
340 # 285 ---> 284 (68)
341 # 295 ---> 294 (76)
340 # 284 ---> 283 (69)
341 # 294 ---> 293 (77)
340 # 283 ---> 282 (70)
341 # 293 ---> 292 (78)
340 # 282 ---> 257 (71)
341 # 292 ---> 291 (79)
340 # 257 ---> 258 (72)
341 # 291 ---> 290 (80)
340 # 258 ---> 259 (73)
341 # 290 ---> 289 (81)
340 # 259 ---> 260 (74)
341 # 289 ---> 288 (82)
340 # 260 ---> 261 (75)
340 # 261 ---> 260 (76)
339 # 216 ---> 215 (52)
340 # 260 ---> 259 (77)
339 # 215 ---> 214 (53)
340 # 259 ---> 258 (78)
339 # 214 ---> 213 (54)
340 # 258 ---> 257 (79)
339 # 213 ---> 212 (55)
340 # 257 ---> 216 (80)
341 # 288 ---> 289 (83)
340 # 216 ---> 217 (81)
339 # 212 ---> 213 (56)
340 # 217 ---> 218 (82)
339 # 213 ---> 214 (57)
340 # 218 ---> 219 (83)
339 # 214 ---> 215 (58)
340 # 219 ---> 220 (84)
339 # 215 ---> 216 (81)
340 # 220 ---> 221 (85)
339 # 216 ---> 217 (82)
341 # 289 ---> 290 (84)
341 # 290 ---> 291 (85)
341 # 291 ---> 292 (86)
339 # 217 ---> 216 (83)
340 # 221 ---> 220 (86)
339 # 216 ---> 215 (84)
340 # 220 ---> 219 (87)
339 # 215 ---> 214 (85)
340 # 219 ---> 218 (88)
339 # 214 ---> 213 (86)
340 # 218 ---> 217 (89)
339 # 213 ---> 212 (87)
340 # 217 ---> 216 (90)
339 # 212 ---> 211 (88)
340 # 216 ---> 215 (91)
341 # 292 ---> 293 (87)
340 # 215 ---> 216 (92)
339 # 211 ---> 212 (89)
340 # 216 ---> 217 (93)
339 # 212 ---> 213 (90)
340 # 217 ---> 218 (94)
339 # 213 ---> 214 (91)
340 # 218 ---> 219 (95)
339 # 214 ---> 215 (92)
340 # 219 ---> 220 (96)
339 # 215 ---> 216 (93)
340 # 220 ---> 221 (97)
339 # 216 ---> 217 (94)
341 # 293 ---> 294 (88)
343 # 18 ---> 17 (32)
343 # 17 ---> 16 (33)
341 # 294 ---> 295 (89)
341 # 295 ---> 296 (90)
341 # 296 ---> 297 (91)
341 # 297 ---> 298 (92)
341 # 298 ---> 299 (93)
341 # 299 ---> 300 (94)
341 # 300 ---> 301 (95)
341 # 301 ---> 302 (96)
339 # 217 ---> 216 (95)
340 # 221 ---> 220 (98)
339 # 216 ---> 215 (96)
340 # 220 ---> 219 (99)
339 # 215 ---> 214 (97)
340 # 219 ---> 218 (100)
339 # 214 ---> 213 (98)
340 # 218 ---> 217 (101)
339 # 213 ---> 212 (99)
340 # 217 ---> 216 (102)
339 # 212 ---> 211 (100)
340 # 216 ---> 215 (103)
340 # 215 ---> 216 (104)
339 # 211 ---> 212 (101)
340 # 216 ---> 217 (105)
339 # 212 ---> 213 (102)
340 # 217 ---> 218 (106)
339 # 213 ---> 214 (103)
340 # 218 ---> 219 (107)
339 # 214 ---> 215 (104)
340 # 219 ---> 220 (108)
339 # 215 ---> 216 (105)
340 # 220 ---> 221 (109)
339 # 216 ---> 217 (106)
339 # 217 ---> 216 (107)
340 # 221 ---> 220 (110)
339 # 216 ---> 215 (108)
340 # 220 ---> 219 (111)
339 # 215 ---> 214 (109)
340 # 219 ---> 218 (112)
339 # 214 ---> 213 (110)
340 # 218 ---> 217 (113)
339 # 213 ---> 212 (111)
340 # 217 ---> 216 (114)
339 # 212 ---> 211 (112)
340 # 216 ---> 215 (115)
340 # 215 ---> 216 (116)
339 # 211 ---> 212 (113)
339 # 212 ---> 211 (114)
340 # 216 ---> 215 (117)
340 # 215 ---> 216 (118)
339 # 211 ---> 212 (115)
339 # 212 ---> 211 (116)
340 # 216 ---> 215 (119)
340 # 215 ---> 216 (120)
339 # 211 ---> 212 (117)
340 # 216 ---> 217 (121)
339 # 212 ---> 213 (118)
340 # 217 ---> 218 (122)
339 # 213 ---> 214 (119)
340 # 218 ---> 219 (123)
339 # 214 ---> 215 (120)
340 # 219 ---> 220 (124)
339 # 215 ---> 216 (121)
340 # 220 ---> 221 (125)
339 # 216 ---> 217 (122)
339 # 217 ---> 216 (123)
340 # 221 ---> 220 (126)
339 # 216 ---> 215 (124)
340 # 220 ---> 219 (127)
339 # 215 ---> 214 (125)
340 # 219 ---> 218 (128)
339 # 214 ---> 213 (126)
340 # 218 ---> 217 (129)
339 # 213 ---> 212 (127)
340 # 217 ---> 216 (130)
339 # 212 ---> 211 (128)
340 # 216 ---> 215 (131)
340 # 215 ---> 216 (132)
339 # 211 ---> 212 (129)
340 # 216 ---> 217 (133)
339 # 212 ---> 213 (130)
340 # 217 ---> 218 (134)
339 # 213 ---> 214 (131)
340 # 218 ---> 219 (135)
339 # 214 ---> 215 (132)
340 # 219 ---> 220 (136)
339 # 215 ---> 216 (133)
340 # 220 ---> 221 (137)
339 # 216 ---> 217 (134)
339 # 217 ---> 216 (135)
340 # 221 ---> 220 (138)
339 # 216 ---> 215 (136)
340 # 220 ---> 219 (139)
339 # 215 ---> 214 (137)
340 # 219 ---> 218 (140)
339 # 214 ---> 213 (138)
340 # 218 ---> 217 (141)
339 # 213 ---> 212 (139)
340 # 217 ---> 216 (142)
339 # 212 ---> 211 (140)
340 # 216 ---> 215 (143)
340 # 215 ---> 216 (144)
339 # 211 ---> 212 (141)
340 # 216 ---> 217 (145)
339 # 212 ---> 213 (142)
340 # 217 ---> 218 (146)
339 # 213 ---> 214 (143)
340 # 218 ---> 219 (147)
339 # 214 ---> 215 (144)
340 # 219 ---> 220 (148)
339 # 215 ---> 216 (145)
340 # 220 ---> 221 (149)
339 # 216 ---> 217 (146)
339 # 217 ---> 216 (147)
340 # 221 ---> 220 (150)
339 # 216 ---> 215 (148)
340 # 220 ---> 219 (151)
339 # 215 ---> 214 (149)
340 # 219 ---> 218 (152)
339 # 214 ---> 213 (150)
340 # 218 ---> 217 (153)
339 # 213 ---> 212 (151)
340 # 217 ---> 216 (154)
339 # 212 ---> 211 (152)
340 # 216 ---> 215 (155)
340 # 215 ---> 216 (156)
339 # 211 ---> 212 (153)
340 # 216 ---> 217 (157)
339 # 212 ---> 213 (154)
340 # 217 ---> 218 (158)
339 # 213 ---> 214 (155)
340 # 218 ---> 219 (159)
339 # 214 ---> 215 (156)
340 # 219 ---> 220 (160)
339 # 215 ---> 216 (157)
340 # 220 ---> 221 (161)
339 # 216 ---> 217 (158)
343 # 16 ---> 17 (34)
343 # 17 ---> 18 (35)
343 # 18 ---> 19 (36)
343 # 19 ---> 20 (37)
343 # 20 ---> 21 (38)
343 # 21 ---> 22 (39)
343 # 22 ---> 23 (40)
343 # 23 ---> 24 (41)
343 # 24 ---> 25 (42)
343 # 25 ---> 24 (43)
343 # 24 ---> 23 (44)
343 # 23 ---> 24 (45)
343 # 24 ---> 25 (46)
342 # 61 ---> 62 (0)
342 # 62 ---> 63 (1)
342 # 63 ---> 64 (2)
342 # 64 ---> 65 (3)
342 # 65 ---> 66 (4)
342 # 66 ---> 67 (5)
342 # 67 ---> 68 (6)
342 # 68 ---> 69 (7)
342 # 69 ---> 70 (8)
342 # 70 ---> 71 (9)
342 # 71 ---> 72 (10)
342 # 72 ---> 73 (11)
340 # 221 ---> 222 (162)
339 # 217 ---> 218 (159)
340 # 222 ---> 223 (163)
339 # 218 ---> 219 (160)
340 # 223 ---> 224 (164)
339 # 219 ---> 220 (161)
340 # 224 ---> 225 (165)
339 # 220 ---> 221 (162)
340 # 225 ---> 201 (166)
339 # 221 ---> 222 (163)
340 # 201 ---> 200 (167)
339 # 222 ---> 223 (164)
340 # 200 ---> 199 (168)
339 # 223 ---> 224 (165)
340 # 199 ---> 198 (169)
339 # 224 ---> 225 (166)
340 # 198 ---> 75 (170)
339 # 225 ---> 201 (167)
340 # 75 ---> 76 (171)
339 # 201 ---> 200 (168)
340 # 76 ---> 77 (172)
339 # 200 ---> 199 (169)
340 # 77 ---> 45 (173)
339 # 199 ---> 198 (170)
340 # 45 ---> 44 (174)
339 # 198 ---> 75 (171)
340 # 44 ---> 43 (175)
339 # 75 ---> 76 (172)
339 # 76 ---> 75 (173)
340 # 43 ---> 44 (176)
339 # 75 ---> 198 (174)
340 # 44 ---> 45 (177)
339 # 198 ---> 199 (175)
340 # 45 ---> 77 (178)
339 # 199 ---> 200 (176)
340 # 77 ---> 76 (179)
339 # 200 ---> 201 (177)
340 # 76 ---> 75 (180)
339 # 201 ---> 225 (178)
340 # 75 ---> 198 (181)
339 # 225 ---> 224 (179)
340 # 198 ---> 199 (182)
339 # 224 ---> 223 (180)
340 # 199 ---> 200 (183)
339 # 223 ---> 222 (181)
340 # 200 ---> 201 (184)
339 # 222 ---> 221 (182)
340 # 201 ---> 225 (185)
339 # 221 ---> 220 (183)
340 # 225 ---> 224 (186)
339 # 220 ---> 219 (184)
340 # 224 ---> 223 (187)
340 # 223 ---> 224 (188)
339 # 219 ---> 220 (185)
340 # 224 ---> 225 (189)
339 # 220 ---> 221 (186)
340 # 225 ---> 201 (190)
339 # 221 ---> 222 (187)
340 # 201 ---> 200 (191)
339 # 222 ---> 223 (188)
340 # 200 ---> 199 (192)
339 # 223 ---> 224 (189)
340 # 199 ---> 198 (193)
339 # 224 ---> 225 (190)
340 # 198 ---> 75 (194)
339 # 225 ---> 201 (191)
340 # 75 ---> 76 (195)
339 # 201 ---> 200 (192)
340 # 76 ---> 77 (196)
339 # 200 ---> 199 (193)
340 # 77 ---> 45 (197)
339 # 199 ---> 198 (194)
340 # 45 ---> 44 (198)
339 # 198 ---> 75 (195)
340 # 44 ---> 43 (199)
339 # 75 ---> 76 (196)
340 # 43 ---> 42 (200)
339 # 76 ---> 77 (197)
340 # 42 ---> 41 (201)
339 # 77 ---> 45 (198)
339 # 45 ---> 77 (199)
340 # 41 ---> 42 (202)
339 # 77 ---> 76 (200)
340 # 42 ---> 43 (203)
339 # 76 ---> 75 (201)
340 # 43 ---> 44 (204)
339 # 75 ---> 198 (202)
340 # 44 ---> 45 (205)
340 # 45 ---> 44 (206)
339 # 198 ---> 75 (203)
340 # 44 ---> 85 (207)
339 # 75 ---> 76 (204)
340 # 85 ---> 86 (208)
339 # 76 ---> 77 (205)
342 # 73 ---> 74 (12)
339 # 77 ---> 45 (206)
342 # 74 ---> 75 (204)
339 # 45 ---> 46 (207)
342 # 75 ---> 76 (205)
342 # 76 ---> 77 (206)
342 # 77 ---> 45 (207)
339 # 46 ---> 47 (208)
342 # 45 ---> 46 (208)
340 # 86 ---> 85 (209)
340 # 85 ---> 44 (210)
340 # 44 ---> 43 (211)
340 # 43 ---> 42 (212)
342 # 46 ---> 45 (209)
339 # 47 ---> 46 (209)
340 # 42 ---> 41 (213)
342 # 45 ---> 44 (211)
339 # 46 ---> 45 (211)
340 # 41 ---> 40 (214)
342 # 44 ---> 43 (212)
339 # 45 ---> 44 (212)
340 # 40 ---> 39 (215)
342 # 43 ---> 42 (213)
339 # 44 ---> 43 (213)
340 # 39 ---> 38 (216)
342 # 42 ---> 41 (214)
339 # 43 ---> 42 (214)
340 # 38 ---> 37 (217)
342 # 41 ---> 40 (215)
339 # 42 ---> 41 (215)
339 # 41 ---> 42 (216)
342 # 40 ---> 41 (216)
340 # 37 ---> 38 (218)
339 # 42 ---> 43 (217)
342 # 41 ---> 42 (217)
340 # 38 ---> 39 (219)
340 # 39 ---> 38 (220)
342 # 42 ---> 41 (218)
339 # 43 ---> 42 (218)
339 # 42 ---> 43 (219)
342 # 41 ---> 42 (219)
340 # 38 ---> 39 (221)
340 # 39 ---> 38 (222)
342 # 42 ---> 41 (220)
339 # 43 ---> 42 (220)
340 # 38 ---> 37 (223)
342 # 41 ---> 40 (221)
339 # 42 ---> 41 (221)
340 # 37 ---> 36 (224)
342 # 40 ---> 39 (222)
339 # 41 ---> 40 (222)
340 # 36 ---> 35 (225)
342 # 39 ---> 38 (223)
339 # 40 ---> 39 (223)
340 # 35 ---> 34 (226)
342 # 38 ---> 37 (224)
339 # 39 ---> 38 (224)
340 # 34 ---> 33 (227)
342 # 37 ---> 36 (225)
339 # 38 ---> 37 (225)
339 # 37 ---> 38 (226)
339 # 38 ---> 39 (227)
339 # 39 ---> 40 (228)
339 # 40 ---> 41 (229)
343 # 25 ---> 24 (47)
343 # 24 ---> 23 (48)
343 # 23 ---> 22 (49)
343 # 22 ---> 21 (50)
343 # 21 ---> 20 (51)
343 # 20 ---> 19 (52)
343 # 19 ---> 18 (53)
343 # 18 ---> 17 (54)
343 # 17 ---> 16 (55)
343 # 16 ---> 15 (56)
343 # 15 ---> 14 (57)
339 # 41 ---> 42 (230)
339 # 42 ---> 43 (231)
340 # 33 ---> 34 (228)
339 # 43 ---> 44 (232)
342 # 36 ---> 37 (226)
340 # 34 ---> 35 (229)
339 # 44 ---> 45 (233)
342 # 37 ---> 38 (227)
340 # 35 ---> 36 (230)
339 # 45 ---> 46 (234)
342 # 38 ---> 39 (228)
340 # 36 ---> 37 (231)
339 # 46 ---> 47 (235)
342 # 39 ---> 40 (229)
340 # 37 ---> 38 (232)
339 # 47 ---> 48 (236)
342 # 40 ---> 41 (230)
340 # 38 ---> 39 (233)
339 # 48 ---> 49 (237)
342 # 41 ---> 42 (231)
340 # 39 ---> 40 (234)
339 # 49 ---> 50 (238)
342 # 42 ---> 43 (232)
340 # 40 ---> 41 (235)
339 # 50 ---> 51 (239)
342 # 43 ---> 44 (233)
340 # 41 ---> 42 (236)
339 # 51 ---> 52 (240)
342 # 44 ---> 45 (234)
340 # 42 ---> 43 (237)
340 # 43 ---> 44 (238)
340 # 44 ---> 85 (239)
342 # 45 ---> 44 (239)
339 # 52 ---> 51 (241)
342 # 44 ---> 43 (240)
339 # 51 ---> 50 (242)
342 # 43 ---> 42 (241)
339 # 50 ---> 49 (243)
342 # 42 ---> 41 (242)
339 # 49 ---> 48 (244)
342 # 41 ---> 40 (243)
339 # 48 ---> 47 (245)
342 # 40 ---> 39 (244)
339 # 47 ---> 46 (246)
342 # 39 ---> 38 (245)
339 # 46 ---> 45 (247)
342 # 38 ---> 37 (246)
339 # 45 ---> 44 (248)
342 # 37 ---> 36 (247)
339 # 44 ---> 43 (249)
339 # 43 ---> 84 (250)
340 # 85 ---> 86 (240)
340 # 86 ---> 87 (241)
340 # 87 ---> 88 (242)
340 # 88 ---> 87 (243)
340 # 87 ---> 86 (244)
340 # 86 ---> 87 (245)
342 # 36 ---> 35 (248)
340 # 87 ---> 88 (246)
339 # 84 ---> 43 (251)
339 # 43 ---> 44 (252)
339 # 44 ---> 85 (253)
339 # 85 ---> 86 (254)
339 # 86 ---> 87 (255)
339 # 87 ---> 173 (256)
339 # 173 ---> 174 (257)
343 # 14 ---> 15 (58)
343 # 15 ---> 16 (59)
339 # 174 ---> 175 (258)
339 # 175 ---> 176 (259)
339 # 176 ---> 177 (260)
343 # 16 ---> 15 (60)
343 # 15 ---> 52 (241)
343 # 52 ---> 51 (242)
343 # 51 ---> 50 (243)
343 # 50 ---> 49 (244)
343 # 49 ---> 50 (245)
342 # 35 ---> 36 (249)
343 # 50 ---> 51 (246)
342 # 36 ---> 37 (250)
343 # 51 ---> 52 (247)
342 # 37 ---> 38 (251)
343 # 52 ---> 15 (248)
342 # 38 ---> 39 (252)
343 # 15 ---> 16 (249)
342 # 39 ---> 40 (253)
343 # 16 ---> 17 (250)
342 # 40 ---> 41 (254)
343 # 17 ---> 33 (251)
342 # 41 ---> 42 (255)
343 # 33 ---> 34 (252)
342 # 42 ---> 43 (256)
343 # 34 ---> 35 (253)
342 # 43 ---> 44 (257)
342 # 44 ---> 43 (258)
343 # 35 ---> 34 (254)
342 # 43 ---> 42 (259)
340 # 88 ---> 89 (247)
342 # 42 ---> 43 (260)
340 # 89 ---> 90 (248)
342 # 43 ---> 44 (261)
343 # 34 ---> 35 (255)
342 # 44 ---> 45 (262)
342 # 45 ---> 44 (263)
343 # 35 ---> 36 (256)
342 # 44 ---> 45 (264)
342 # 45 ---> 44 (265)
342 # 44 ---> 45 (266)
342 # 45 ---> 44 (267)
343 # 36 ---> 37 (257)
342 # 44 ---> 45 (268)
342 # 45 ---> 44 (269)
343 # 37 ---> 36 (258)
342 # 44 ---> 43 (270)
342 # 43 ---> 44 (271)
343 # 36 ---> 37 (259)
342 # 44 ---> 45 (272)
342 # 45 ---> 44 (273)
342 # 44 ---> 45 (274)
342 # 45 ---> 44 (275)
343 # 37 ---> 36 (260)
343 # 36 ---> 35 (261)
342 # 44 ---> 43 (276)
343 # 35 ---> 34 (262)
342 # 43 ---> 42 (277)
343 # 34 ---> 33 (263)
342 # 42 ---> 41 (278)
343 # 33 ---> 17 (264)
342 # 41 ---> 40 (279)
343 # 17 ---> 16 (265)
342 # 40 ---> 39 (280)
342 # 39 ---> 40 (281)
343 # 16 ---> 17 (266)
343 # 17 ---> 18 (267)
343 # 18 ---> 19 (268)
343 # 19 ---> 20 (269)
343 # 20 ---> 21 (270)
343 # 21 ---> 22 (271)
343 # 22 ---> 23 (272)
343 # 23 ---> 24 (273)
343 # 24 ---> 25 (274)
342 # 40 ---> 39 (282)
342 # 39 ---> 38 (283)
340 # 90 ---> 91 (249)
340 # 91 ---> 92 (250)
340 # 92 ---> 93 (251)
340 # 93 ---> 94 (252)
342 # 38 ---> 37 (284)
342 # 37 ---> 36 (285)
342 # 36 ---> 35 (286)
342 # 35 ---> 34 (287)
342 # 34 ---> 33 (288)
342 # 33 ---> 17 (289)
342 # 17 ---> 18 (290)
342 # 18 ---> 17 (291)
343 # 25 ---> 24 (275)
342 # 17 ---> 16 (292)
343 # 24 ---> 23 (276)
343 # 23 ---> 24 (277)
342 # 16 ---> 15 (293)
343 # 24 ---> 23 (278)
343 # 23 ---> 24 (279)
343 # 24 ---> 106 (280)
342 # 15 ---> 16 (294)
342 # 16 ---> 17 (295)
342 # 17 ---> 18 (296)
342 # 18 ---> 19 (297)
342 # 19 ---> 20 (298)
342 # 20 ---> 21 (299)
342 # 21 ---> 22 (300)
342 # 22 ---> 23 (301)
342 # 23 ---> 24 (302)
343 # 106 ---> 107 (281)
342 # 24 ---> 106 (303)
340 # 94 ---> 95 (253)
343 # 107 ---> 108 (282)
342 # 106 ---> 107 (304)
340 # 95 ---> 42 (278)
340 # 42 ---> 43 (279)
343 # 108 ---> 109 (283)
342 # 107 ---> 108 (305)
343 # 109 ---> 110 (284)
342 # 108 ---> 109 (306)
343 # 110 ---> 111 (285)
342 # 109 ---> 110 (307)
343 # 111 ---> 112 (286)
342 # 110 ---> 111 (308)
343 # 112 ---> 113 (287)
342 # 111 ---> 112 (309)
343 # 113 ---> 114 (288)
342 # 112 ---> 113 (310)
343 # 114 ---> 115 (289)
342 # 113 ---> 114 (311)
343 # 115 ---> 116 (290)
342 # 114 ---> 115 (312)
342 # 115 ---> 114 (313)
343 # 116 ---> 115 (313)
342 # 114 ---> 113 (314)
343 # 115 ---> 114 (314)
342 # 113 ---> 112 (315)
343 # 114 ---> 113 (315)
342 # 112 ---> 111 (316)
343 # 113 ---> 112 (316)
342 # 111 ---> 110 (317)
343 # 112 ---> 111 (317)
342 # 110 ---> 109 (318)
343 # 111 ---> 110 (318)
343 # 110 ---> 111 (319)
342 # 109 ---> 110 (319)
343 # 111 ---> 112 (320)
342 # 110 ---> 111 (320)
343 # 112 ---> 113 (321)
342 # 111 ---> 112 (321)
343 # 113 ---> 114 (322)
342 # 112 ---> 113 (322)
343 # 114 ---> 115 (323)
342 # 113 ---> 114 (323)
343 # 115 ---> 116 (324)
342 # 114 ---> 115 (324)
343 # 116 ---> 117 (325)
342 # 115 ---> 116 (325)
343 # 117 ---> 118 (326)
342 # 116 ---> 117 (326)
343 # 118 ---> 119 (327)
342 # 117 ---> 118 (327)
343 # 119 ---> 120 (328)
342 # 118 ---> 119 (328)
343 # 120 ---> 121 (329)
342 # 119 ---> 120 (329)
343 # 121 ---> 122 (330)
342 # 120 ---> 121 (330)
343 # 122 ---> 123 (331)
342 # 121 ---> 122 (331)
343 # 123 ---> 124 (332)
342 # 122 ---> 123 (332)
342 # 123 ---> 122 (333)
343 # 124 ---> 123 (333)
342 # 122 ---> 121 (334)
343 # 123 ---> 122 (334)
342 # 121 ---> 120 (335)
343 # 122 ---> 121 (335)
342 # 120 ---> 119 (336)
343 # 121 ---> 120 (336)
342 # 119 ---> 118 (337)
343 # 120 ---> 119 (337)
342 # 118 ---> 117 (338)
343 # 119 ---> 118 (338)
342 # 117 ---> 116 (339)
343 # 118 ---> 117 (339)
342 # 116 ---> 115 (340)
343 # 117 ---> 116 (340)
342 # 115 ---> 114 (341)
343 # 116 ---> 115 (341)
342 # 114 ---> 113 (342)
343 # 115 ---> 114 (342)
342 # 113 ---> 112 (343)
343 # 114 ---> 113 (343)
343 # 113 ---> 114 (344)
342 # 112 ---> 113 (344)
343 # 114 ---> 115 (345)
342 # 113 ---> 114 (345)
343 # 115 ---> 116 (346)
342 # 114 ---> 115 (346)
343 # 116 ---> 117 (347)
342 # 115 ---> 116 (347)
343 # 117 ---> 118 (348)
342 # 116 ---> 117 (348)
342 # 117 ---> 116 (349)
343 # 118 ---> 117 (349)
342 # 116 ---> 115 (350)
343 # 117 ---> 116 (350)
343 # 116 ---> 117 (351)
342 # 115 ---> 116 (351)
343 # 117 ---> 118 (352)
342 # 116 ---> 117 (352)
343 # 118 ---> 119 (353)
342 # 117 ---> 118 (353)
343 # 119 ---> 120 (354)
342 # 118 ---> 119 (354)
343 # 120 ---> 121 (355)
342 # 119 ---> 120 (355)
340 # 43 ---> 44 (280)
343 # 121 ---> 122 (356)
342 # 120 ---> 121 (356)
343 # 122 ---> 123 (357)
342 # 121 ---> 122 (357)
343 # 123 ---> 124 (358)
342 # 122 ---> 123 (358)
343 # 124 ---> 125 (359)
342 # 123 ---> 124 (359)
343 # 125 ---> 126 (360)
342 # 124 ---> 125 (360)
343 # 126 ---> 127 (361)
342 # 125 ---> 126 (361)
340 # 44 ---> 45 (281)
340 # 45 ---> 77 (282)
343 # 127 ---> 128 (362)
342 # 126 ---> 127 (362)
343 # 128 ---> 129 (363)
342 # 127 ---> 128 (363)
343 # 129 ---> 130 (364)
342 # 128 ---> 129 (364)
343 # 130 ---> 131 (365)
342 # 129 ---> 130 (365)
343 # 131 ---> 132 (366)
342 # 130 ---> 131 (366)
343 # 132 ---> 93 (367)
342 # 131 ---> 132 (367)
343 # 93 ---> 94 (368)
343 # 94 ---> 95 (369)
343 # 95 ---> 42 (370)
343 # 42 ---> 43 (371)
343 # 43 ---> 44 (372)
343 # 44 ---> 43 (373)
343 # 43 ---> 44 (374)
343 # 44 ---> 43 (375)
343 # 43 ---> 44 (376)
343 # 44 ---> 43 (377)
343 # 43 ---> 44 (378)
343 # 44 ---> 45 (379)
343 # 45 ---> 44 (380)
343 # 44 ---> 43 (381)
343 # 43 ---> 44 (382)
343 # 44 ---> 45 (383)
343 # 45 ---> 44 (384)
343 # 44 ---> 43 (385)
343 # 43 ---> 44 (386)
343 # 44 ---> 43 (387)
343 # 43 ---> 44 (388)
343 # 44 ---> 43 (389)
343 # 43 ---> 42 (390)
340 # 77 ---> 76 (283)
340 # 76 ---> 75 (284)
340 # 75 ---> 76 (285)
340 # 76 ---> 77 (286)
340 # 77 ---> 45 (384)
340 # 45 ---> 46 (385)
340 # 46 ---> 47 (386)
340 # 47 ---> 48 (387)
340 # 48 ---> 49 (388)
340 # 49 ---> 50 (389)
340 # 50 ---> 51 (390)
340 # 51 ---> 52 (391)
340 # 52 ---> 15 (392)
340 # 15 ---> 14 (393)
340 # 14 ---> 13 (394)
340 # 13 ---> 14 (395)
340 # 14 ---> 15 (396)
340 # 15 ---> 52 (397)
340 # 52 ---> 51 (398)
340 # 51 ---> 50 (399)
340 # 50 ---> 49 (400)
340 # 49 ---> 48 (401)
340 # 48 ---> 47 (402)
340 # 47 ---> 46 (403)
340 # 46 ---> 45 (404)
340 # 45 ---> 77 (405)
340 # 77 ---> 76 (406)
340 # 76 ---> 77 (407)
340 # 77 ---> 45 (408)
340 # 45 ---> 46 (409)
340 # 46 ---> 47 (410)
340 # 47 ---> 48 (411)
340 # 48 ---> 49 (412)
340 # 49 ---> 50 (413)
340 # 50 ---> 51 (414)
340 # 51 ---> 52 (415)
340 # 52 ---> 15 (416)
340 # 15 ---> 14 (417)
340 # 14 ---> 13 (418)
340 # 13 ---> 12 (419)
340 # 12 ---> 11 (420)
340 # 11 ---> 10 (421)
340 # 10 ---> 9 (422)
340 # 9 ---> 8 (423)
340 # 8 ---> 7 (424)
340 # 7 ---> 6 (425)
340 # 6 ---> 5 (426)
340 # 5 ---> 4 (427)
340 # 4 ---> 3 (428)
340 # 3 ---> 2 (429)
340 # 2 ---> 1 (430)
340 # 1 ---> 0 (431)
340 # 0 ---> 53 (432)
340 # 53 ---> 54 (433)
340 # 54 ---> 55 (434)
340 # 55 ---> 56 (435)
340 # 56 ---> 57 (436)
340 # 57 ---> 58 (437)
340 # 58 ---> 59 (438)
340 # 59 ---> 60 (439)
340 # 60 ---> 59 (440)
340 # 59 ---> 58 (441)
340 # 58 ---> 57 (442)
340 # 57 ---> 56 (443)
340 # 56 ---> 55 (444)
340 # 55 ---> 54 (445)
340 # 54 ---> 53 (446)
340 # 53 ---> 54 (447)
340 # 54 ---> 55 (448)
340 # 55 ---> 56 (449)
340 # 56 ---> 57 (450)
340 # 57 ---> 58 (451)
340 # 58 ---> 59 (452)
340 # 59 ---> 60 (453)
340 # 60 ---> 61 (454)
340 # 61 ---> 62 (455)
340 # 62 ---> 63 (456)
340 # 63 ---> 64 (457)
340 # 64 ---> 65 (458)
340 # 65 ---> 64 (459)
340 # 64 ---> 63 (460)
340 # 63 ---> 62 (461)
340 # 62 ---> 63 (462)
343 # 42 ---> 43 (391)
343 # 43 ---> 44 (392)
343 # 44 ---> 45 (409)
343 # 45 ---> 46 (410)
343 # 46 ---> 47 (411)
343 # 47 ---> 48 (412)
343 # 48 ---> 49 (413)
343 # 49 ---> 50 (414)
343 # 50 ---> 51 (415)
343 # 51 ---> 52 (416)
343 # 52 ---> 15 (417)
343 # 15 ---> 14 (418)
343 # 14 ---> 13 (419)
343 # 13 ---> 12 (420)
343 # 12 ---> 11 (421)
343 # 11 ---> 10 (422)
343 # 10 ---> 9 (423)
343 # 9 ---> 8 (424)
343 # 8 ---> 7 (425)
343 # 7 ---> 6 (426)
343 # 6 ---> 5 (427)
343 # 5 ---> 4 (428)
343 # 4 ---> 3 (429)
343 # 3 ---> 2 (430)
343 # 2 ---> 1 (431)
343 # 1 ---> 0 (432)
340 # 63 ---> 64 (463)
343 # 0 ---> 53 (447)
340 # 64 ---> 65 (464)
343 # 53 ---> 54 (448)
340 # 65 ---> 66 (465)
343 # 54 ---> 55 (449)
340 # 66 ---> 67 (466)
343 # 55 ---> 56 (450)
340 # 67 ---> 68 (467)
343 # 56 ---> 57 (451)
340 # 68 ---> 69 (468)
343 # 57 ---> 58 (452)
340 # 69 ---> 70 (469)
343 # 58 ---> 59 (453)
340 # 70 ---> 71 (470)
343 # 59 ---> 60 (454)
Reading goal arrangement...
Undirected graph: (|V|=345 |E|=365) [
    Vertex: (id = 0) {1 32 53 }
    Vertex: (id = 1) {0 2 }
    Vertex: (id = 2) {1 3 }
    Vertex: (id = 3) {2 4 }
    Vertex: (id = 4) {3 5 }
    Vertex: (id = 5) {4 6 }
    Vertex: (id = 6) {5 7 }
    Vertex: (id = 7) {6 8 161 }
    Vertex: (id = 8) {7 9 }
    Vertex: (id = 9) {8 10 }
    Vertex: (id = 10) {9 11 }
    Vertex: (id = 11) {10 12 }
    Vertex: (id = 12) {11 13 }
    Vertex: (id = 13) {12 14 312 }
    Vertex: (id = 14) {13 15 }
    Vertex: (id = 15) {14 16 52 }
    Vertex: (id = 16) {15 17 172 }
    Vertex: (id = 17) {16 18 33 }
    Vertex: (id = 18) {17 19 }
    Vertex: (id = 19) {18 20 }
    Vertex: (id = 20) {19 21 }
    Vertex: (id = 21) {20 22 }
    Vertex: (id = 22) {21 23 }
    Vertex: (id = 23) {22 24 }
    Vertex: (id = 24) {23 25 106 }
    Vertex: (id = 25) {24 26 }
    Vertex: (id = 26) {25 27 }
    Vertex: (id = 27) {26 28 }
    Vertex: (id = 28) {27 29 }
    Vertex: (id = 29) {28 30 }
    Vertex: (id = 30) {29 31 }
    Vertex: (id = 31) {30 32 }
    Vertex: (id = 32) {0 31 }
    Vertex: (id = 33) {17 34 }
    Vertex: (id = 34) {33 35 }
    Vertex: (id = 35) {34 36 }
    Vertex: (id = 36) {35 37 }
    Vertex: (id = 37) {36 38 197 }
    Vertex: (id = 38) {37 39 208 }
    Vertex: (id = 39) {38 40 }
    Vertex: (id = 40) {39 41 339 }
    Vertex: (id = 41) {40 42 }
    Vertex: (id = 42) {41 43 95 }
    Vertex: (id = 43) {42 44 84 }
    Vertex: (id = 44) {43 45 79 85 }
    Vertex: (id = 45) {44 46 77 }
    Vertex: (id = 46) {45 47 }
    Vertex: (id = 47) {46 48 }
    Vertex: (id = 48) {47 49 }
    Vertex: (id = 49) {48 50 }
    Vertex: (id = 50) {49 51 }
    Vertex: (id = 51) {50 52 }
    Vertex: (id = 52) {15 51 }
    Vertex: (id = 53) {0 54 }
    Vertex: (id = 54) {53 55 }
    Vertex: (id = 55) {54 56 }
    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 }
    Vertex: (id = 61) {60 62 }
    Vertex: (id = 62) {61 63 }
    Vertex: (id = 63) {62 64 }
    Vertex: (id = 64) {63 65 }
    Vertex: (id = 65) {64 66 }
    Vertex: (id = 66) {65 67 }
    Vertex: (id = 67) {66 68 }
    Vertex: (id = 68) {67 69 }
    Vertex: (id = 69) {68 70 }
    Vertex: (id = 70) {69 71 }
    Vertex: (id = 71) {70 72 80 105 }
    Vertex: (id = 72) {71 73 78 96 }
    Vertex: (id = 73) {72 74 }
    Vertex: (id = 74) {73 75 }
    Vertex: (id = 75) {74 76 198 }
    Vertex: (id = 76) {75 77 }
    Vertex: (id = 77) {45 76 }
    Vertex: (id = 78) {72 79 }
    Vertex: (id = 79) {44 78 }
    Vertex: (id = 80) {71 81 }
    Vertex: (id = 81) {80 82 }
    Vertex: (id = 82) {81 83 146 281 }
    Vertex: (id = 83) {82 84 }
    Vertex: (id = 84) {43 83 }
    Vertex: (id = 85) {44 86 }
    Vertex: (id = 86) {85 87 147 }
    Vertex: (id = 87) {86 88 173 }
    Vertex: (id = 88) {87 89 }
    Vertex: (id = 89) {88 90 }
    Vertex: (id = 90) {89 91 }
    Vertex: (id = 91) {90 92 }
    Vertex: (id = 92) {91 93 }
    Vertex: (id = 93) {92 94 132 }
    Vertex: (id = 94) {93 95 }
    Vertex: (id = 95) {42 94 }
    Vertex: (id = 96) {72 97 }
    Vertex: (id = 97) {96 98 }
    Vertex: (id = 98) {97 99 }
    Vertex: (id = 99) {98 100 }
    Vertex: (id = 100) {99 101 }
    Vertex: (id = 101) {100 102 256 }
    Vertex: (id = 102) {101 103 }
    Vertex: (id = 103) {102 104 }
    Vertex: (id = 104) {103 105 }
    Vertex: (id = 105) {71 104 }
    Vertex: (id = 106) {24 107 }
    Vertex: (id = 107) {106 108 }
    Vertex: (id = 108) {107 109 240 }
    Vertex: (id = 109) {108 110 }
    Vertex: (id = 110) {109 111 }
    Vertex: (id = 111) {110 112 133 }
    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 }
    Vertex: (id = 118) {117 119 }
    Vertex: (id = 119) {118 120 }
    Vertex: (id = 120) {119 121 }
    Vertex: (id = 121) {120 122 }
    Vertex: (id = 122) {121 123 }
    Vertex: (id = 123) {122 124 }
    Vertex: (id = 124) {123 125 }
    Vertex: (id = 125) {124 126 }
    Vertex: (id = 126) {125 127 }
    Vertex: (id = 127) {126 128 }
    Vertex: (id = 128) {127 129 }
    Vertex: (id = 129) {128 130 }
    Vertex: (id = 130) {129 131 }
    Vertex: (id = 131) {130 132 }
    Vertex: (id = 132) {93 131 }
    Vertex: (id = 133) {111 134 }
    Vertex: (id = 134) {133 135 }
    Vertex: (id = 135) {134 136 }
    Vertex: (id = 136) {135 137 }
    Vertex: (id = 137) {136 138 }
    Vertex: (id = 138) {137 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) {144 146 162 }
    Vertex: (id = 146) {82 145 }
    Vertex: (id = 147) {86 148 }
    Vertex: (id = 148) {147 149 }
    Vertex: (id = 149) {148 150 207 }
    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) {158 160 }
    Vertex: (id = 160) {159 161 }
    Vertex: (id = 161) {7 160 }
    Vertex: (id = 162) {145 163 }
    Vertex: (id = 163) {162 164 }
    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) {168 170 }
    Vertex: (id = 170) {169 171 }
    Vertex: (id = 171) {170 172 }
    Vertex: (id = 172) {16 171 }
    Vertex: (id = 173) {87 174 }
    Vertex: (id = 174) {173 175 }
    Vertex: (id = 175) {174 176 }
    Vertex: (id = 176) {175 177 239 }
    Vertex: (id = 177) {176 178 226 }
    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 }
    Vertex: (id = 187) {186 188 }
    Vertex: (id = 188) {187 189 }
    Vertex: (id = 189) {188 190 }
    Vertex: (id = 190) {189 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) {195 197 }
    Vertex: (id = 197) {37 196 }
    Vertex: (id = 198) {75 199 }
    Vertex: (id = 199) {198 200 }
    Vertex: (id = 200) {199 201 }
    Vertex: (id = 201) {200 202 225 }
    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) {149 206 }
    Vertex: (id = 208) {38 209 }
    Vertex: (id = 209) {208 210 }
    Vertex: (id = 210) {209 211 }
    Vertex: (id = 211) {210 212 }
    Vertex: (id = 212) {211 213 }
    Vertex: (id = 213) {212 214 }
    Vertex: (id = 214) {213 215 }
    Vertex: (id = 215) {214 216 331 }
    Vertex: (id = 216) {215 217 257 }
    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) {201 224 }
    Vertex: (id = 226) {177 227 }
    Vertex: (id = 227) {226 228 }
    Vertex: (id = 228) {227 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 330 }
    Vertex: (id = 239) {176 238 }
    Vertex: (id = 240) {108 241 }
    Vertex: (id = 241) {240 242 }
    Vertex: (id = 242) {241 243 }
    Vertex: (id = 243) {242 244 }
    Vertex: (id = 244) {243 245 }
    Vertex: (id = 245) {244 246 }
    Vertex: (id = 246) {245 247 344 }
    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) {253 255 }
    Vertex: (id = 255) {254 256 }
    Vertex: (id = 256) {101 255 }
    Vertex: (id = 257) {216 258 282 }
    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) {267 269 }
    Vertex: (id = 269) {268 270 }
    Vertex: (id = 270) {269 271 }
    Vertex: (id = 271) {270 272 }
    Vertex: (id = 272) {271 273 311 }
    Vertex: (id = 273) {272 274 338 }
    Vertex: (id = 274) {273 275 }
    Vertex: (id = 275) {274 276 }
    Vertex: (id = 276) {275 277 }
    Vertex: (id = 277) {276 278 }
    Vertex: (id = 278) {277 279 }
    Vertex: (id = 279) {278 280 }
    Vertex: (id = 280) {279 281 }
    Vertex: (id = 281) {82 280 }
    Vertex: (id = 282) {257 283 }
    Vertex: (id = 283) {282 284 }
    Vertex: (id = 284) {283 285 }
    Vertex: (id = 285) {284 286 }
    Vertex: (id = 286) {285 287 }
    Vertex: (id = 287) {286 288 }
    Vertex: (id = 288) {287 289 }
    Vertex: (id = 289) {288 290 }
    Vertex: (id = 290) {289 291 }
    Vertex: (id = 291) {290 292 }
    Vertex: (id = 292) {291 293 }
    Vertex: (id = 293) {292 294 }
    Vertex: (id = 294) {293 295 }
    Vertex: (id = 295) {294 296 }
    Vertex: (id = 296) {295 297 }
    Vertex: (id = 297) {296 298 }
    Vertex: (id = 298) {297 299 }
    Vertex: (id = 299) {298 300 }
    Vertex: (id = 300) {299 301 }
    Vertex: (id = 301) {300 302 }
    Vertex: (id = 302) {301 303 }
    Vertex: (id = 303) {302 304 }
    Vertex: (id = 304) {303 305 }
    Vertex: (id = 305) {304 306 }
    Vertex: (id = 306) {305 307 }
    Vertex: (id = 307) {306 308 }
    Vertex: (id = 308) {307 309 }
    Vertex: (id = 309) {308 310 }
    Vertex: (id = 310) {309 311 }
    Vertex: (id = 311) {272 310 }
    Vertex: (id = 312) {13 313 }
    Vertex: (id = 313) {312 314 }
    Vertex: (id = 314) {313 315 }
    Vertex: (id = 315) {314 316 }
    Vertex: (id = 316) {315 317 }
    Vertex: (id = 317) {316 318 }
    Vertex: (id = 318) {317 319 }
    Vertex: (id = 319) {318 320 }
    Vertex: (id = 320) {319 321 }
    Vertex: (id = 321) {320 322 }
    Vertex: (id = 322) {321 323 }
    Vertex: (id = 323) {322 324 }
    Vertex: (id = 324) {323 325 }
    Vertex: (id = 325) {324 326 }
    Vertex: (id = 326) {325 327 }
    Vertex: (id = 327) {326 328 }
    Vertex: (id = 328) {327 329 }
    Vertex: (id = 329) {328 330 }
    Vertex: (id = 330) {238 329 }
    Vertex: (id = 331) {215 332 }
    Vertex: (id = 332) {331 333 }
    Vertex: (id = 333) {332 334 }
    Vertex: (id = 334) {333 335 }
    Vertex: (id = 335) {334 336 }
    Vertex: (id = 336) {335 337 }
    Vertex: (id = 337) {336 338 }
    Vertex: (id = 338) {273 337 }
    Vertex: (id = 339) {40 340 }
    Vertex: (id = 340) {339 341 }
    Vertex: (id = 341) {340 342 }
    Vertex: (id = 342) {341 343 }
    Vertex: (id = 343) {342 344 }
    Vertex: (id = 344) {246 343 }
    Edge  0 <-> 1 [
        Arc: (edge = 0x7fff13390090, target = 0x17c66a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6680)
    ]
    Edge  0 <-> 32 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6a80)
        Arc: (edge = 0x7fff13390090, target = 0x17c6680)
    ]
    Edge  0 <-> 53 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6d20)
        Arc: (edge = 0x7fff13390090, target = 0x17c6680)
    ]
    Edge  1 <-> 2 [
        Arc: (edge = 0x7fff13390090, target = 0x17c66c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c66a0)
    ]
    Edge  2 <-> 3 [
        Arc: (edge = 0x7fff13390090, target = 0x17c66e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c66c0)
    ]
    Edge  3 <-> 4 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6700)
        Arc: (edge = 0x7fff13390090, target = 0x17c66e0)
    ]
    Edge  4 <-> 5 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6720)
        Arc: (edge = 0x7fff13390090, target = 0x17c6700)
    ]
    Edge  5 <-> 6 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6740)
        Arc: (edge = 0x7fff13390090, target = 0x17c6720)
    ]
    Edge  6 <-> 7 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6760)
        Arc: (edge = 0x7fff13390090, target = 0x17c6740)
    ]
    Edge  7 <-> 8 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6780)
        Arc: (edge = 0x7fff13390090, target = 0x17c6760)
    ]
    Edge  7 <-> 161 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7aa0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6760)
    ]
    Edge  8 <-> 9 [
        Arc: (edge = 0x7fff13390090, target = 0x17c67a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6780)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fff13390090, target = 0x17c67c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c67a0)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fff13390090, target = 0x17c67e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c67c0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6800)
        Arc: (edge = 0x7fff13390090, target = 0x17c67e0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6820)
        Arc: (edge = 0x7fff13390090, target = 0x17c6800)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6840)
        Arc: (edge = 0x7fff13390090, target = 0x17c6820)
    ]
    Edge  13 <-> 312 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8d80)
        Arc: (edge = 0x7fff13390090, target = 0x17c6820)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6860)
        Arc: (edge = 0x7fff13390090, target = 0x17c6840)
    ]
    Edge  15 <-> 16 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6880)
        Arc: (edge = 0x7fff13390090, target = 0x17c6860)
    ]
    Edge  15 <-> 52 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6d00)
        Arc: (edge = 0x7fff13390090, target = 0x17c6860)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fff13390090, target = 0x17c68a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6880)
    ]
    Edge  16 <-> 172 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7c00)
        Arc: (edge = 0x7fff13390090, target = 0x17c6880)
    ]
    Edge  17 <-> 18 [
        Arc: (edge = 0x7fff13390090, target = 0x17c68c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c68a0)
    ]
    Edge  17 <-> 33 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6aa0)
        Arc: (edge = 0x7fff13390090, target = 0x17c68a0)
    ]
    Edge  18 <-> 19 [
        Arc: (edge = 0x7fff13390090, target = 0x17c68e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c68c0)
    ]
    Edge  19 <-> 20 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6900)
        Arc: (edge = 0x7fff13390090, target = 0x17c68e0)
    ]
    Edge  20 <-> 21 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6920)
        Arc: (edge = 0x7fff13390090, target = 0x17c6900)
    ]
    Edge  21 <-> 22 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6940)
        Arc: (edge = 0x7fff13390090, target = 0x17c6920)
    ]
    Edge  22 <-> 23 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6960)
        Arc: (edge = 0x7fff13390090, target = 0x17c6940)
    ]
    Edge  23 <-> 24 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6980)
        Arc: (edge = 0x7fff13390090, target = 0x17c6960)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fff13390090, target = 0x17c69a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6980)
    ]
    Edge  24 <-> 106 [
        Arc: (edge = 0x7fff13390090, target = 0x17c73c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6980)
    ]
    Edge  25 <-> 26 [
        Arc: (edge = 0x7fff13390090, target = 0x17c69c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c69a0)
    ]
    Edge  26 <-> 27 [
        Arc: (edge = 0x7fff13390090, target = 0x17c69e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c69c0)
    ]
    Edge  27 <-> 28 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6a00)
        Arc: (edge = 0x7fff13390090, target = 0x17c69e0)
    ]
    Edge  28 <-> 29 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6a20)
        Arc: (edge = 0x7fff13390090, target = 0x17c6a00)
    ]
    Edge  29 <-> 30 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6a40)
        Arc: (edge = 0x7fff13390090, target = 0x17c6a20)
    ]
    Edge  30 <-> 31 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6a60)
        Arc: (edge = 0x7fff13390090, target = 0x17c6a40)
    ]
    Edge  31 <-> 32 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6a80)
        Arc: (edge = 0x7fff13390090, target = 0x17c6a60)
    ]
    Edge  33 <-> 34 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6ac0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6aa0)
    ]
    Edge  34 <-> 35 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6ae0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6ac0)
    ]
    Edge  35 <-> 36 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6b00)
        Arc: (edge = 0x7fff13390090, target = 0x17c6ae0)
    ]
    Edge  36 <-> 37 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6b20)
        Arc: (edge = 0x7fff13390090, target = 0x17c6b00)
    ]
    Edge  37 <-> 38 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6b40)
        Arc: (edge = 0x7fff13390090, target = 0x17c6b20)
    ]
    Edge  37 <-> 197 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7f20)
        Arc: (edge = 0x7fff13390090, target = 0x17c6b20)
    ]
    Edge  38 <-> 39 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6b60)
        Arc: (edge = 0x7fff13390090, target = 0x17c6b40)
    ]
    Edge  38 <-> 208 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8080)
        Arc: (edge = 0x7fff13390090, target = 0x17c6b40)
    ]
    Edge  39 <-> 40 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6b80)
        Arc: (edge = 0x7fff13390090, target = 0x17c6b60)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6ba0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6b80)
    ]
    Edge  40 <-> 339 [
        Arc: (edge = 0x7fff13390090, target = 0x17c90e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6b80)
    ]
    Edge  41 <-> 42 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6bc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6ba0)
    ]
    Edge  42 <-> 43 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6be0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6bc0)
    ]
    Edge  42 <-> 95 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7260)
        Arc: (edge = 0x7fff13390090, target = 0x17c6bc0)
    ]
    Edge  43 <-> 44 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6c00)
        Arc: (edge = 0x7fff13390090, target = 0x17c6be0)
    ]
    Edge  43 <-> 84 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7100)
        Arc: (edge = 0x7fff13390090, target = 0x17c6be0)
    ]
    Edge  44 <-> 45 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6c20)
        Arc: (edge = 0x7fff13390090, target = 0x17c6c00)
    ]
    Edge  44 <-> 79 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7060)
        Arc: (edge = 0x7fff13390090, target = 0x17c6c00)
    ]
    Edge  44 <-> 85 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7120)
        Arc: (edge = 0x7fff13390090, target = 0x17c6c00)
    ]
    Edge  45 <-> 46 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6c40)
        Arc: (edge = 0x7fff13390090, target = 0x17c6c20)
    ]
    Edge  45 <-> 77 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7020)
        Arc: (edge = 0x7fff13390090, target = 0x17c6c20)
    ]
    Edge  46 <-> 47 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6c60)
        Arc: (edge = 0x7fff13390090, target = 0x17c6c40)
    ]
    Edge  47 <-> 48 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6c80)
        Arc: (edge = 0x7fff13390090, target = 0x17c6c60)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6ca0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6c80)
    ]
    Edge  49 <-> 50 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6cc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6ca0)
    ]
    Edge  50 <-> 51 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6ce0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6cc0)
    ]
    Edge  51 <-> 52 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6d00)
        Arc: (edge = 0x7fff13390090, target = 0x17c6ce0)
    ]
    Edge  53 <-> 54 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6d40)
        Arc: (edge = 0x7fff13390090, target = 0x17c6d20)
    ]
    Edge  54 <-> 55 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6d60)
        Arc: (edge = 0x7fff13390090, target = 0x17c6d40)
    ]
    Edge  55 <-> 56 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6d80)
        Arc: (edge = 0x7fff13390090, target = 0x17c6d60)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6da0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6d80)
    ]
    Edge  57 <-> 58 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6dc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6da0)
    ]
    Edge  58 <-> 59 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6de0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6dc0)
    ]
    Edge  59 <-> 60 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6e00)
        Arc: (edge = 0x7fff13390090, target = 0x17c6de0)
    ]
    Edge  60 <-> 61 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6e20)
        Arc: (edge = 0x7fff13390090, target = 0x17c6e00)
    ]
    Edge  61 <-> 62 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6e40)
        Arc: (edge = 0x7fff13390090, target = 0x17c6e20)
    ]
    Edge  62 <-> 63 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6e60)
        Arc: (edge = 0x7fff13390090, target = 0x17c6e40)
    ]
    Edge  63 <-> 64 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6e80)
        Arc: (edge = 0x7fff13390090, target = 0x17c6e60)
    ]
    Edge  64 <-> 65 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6ea0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6e80)
    ]
    Edge  65 <-> 66 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6ec0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6ea0)
    ]
    Edge  66 <-> 67 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6ee0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6ec0)
    ]
    Edge  67 <-> 68 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6f00)
        Arc: (edge = 0x7fff13390090, target = 0x17c6ee0)
    ]
    Edge  68 <-> 69 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6f20)
        Arc: (edge = 0x7fff13390090, target = 0x17c6f00)
    ]
    Edge  69 <-> 70 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6f40)
        Arc: (edge = 0x7fff13390090, target = 0x17c6f20)
    ]
    Edge  70 <-> 71 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6f60)
        Arc: (edge = 0x7fff13390090, target = 0x17c6f40)
    ]
    Edge  71 <-> 72 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6f80)
        Arc: (edge = 0x7fff13390090, target = 0x17c6f60)
    ]
    Edge  71 <-> 80 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7080)
        Arc: (edge = 0x7fff13390090, target = 0x17c6f60)
    ]
    Edge  71 <-> 105 [
        Arc: (edge = 0x7fff13390090, target = 0x17c73a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6f60)
    ]
    Edge  72 <-> 73 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6fa0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6f80)
    ]
    Edge  72 <-> 78 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7040)
        Arc: (edge = 0x7fff13390090, target = 0x17c6f80)
    ]
    Edge  72 <-> 96 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7280)
        Arc: (edge = 0x7fff13390090, target = 0x17c6f80)
    ]
    Edge  73 <-> 74 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6fc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6fa0)
    ]
    Edge  74 <-> 75 [
        Arc: (edge = 0x7fff13390090, target = 0x17c6fe0)
        Arc: (edge = 0x7fff13390090, target = 0x17c6fc0)
    ]
    Edge  75 <-> 76 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7000)
        Arc: (edge = 0x7fff13390090, target = 0x17c6fe0)
    ]
    Edge  75 <-> 198 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7f40)
        Arc: (edge = 0x7fff13390090, target = 0x17c6fe0)
    ]
    Edge  76 <-> 77 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7020)
        Arc: (edge = 0x7fff13390090, target = 0x17c7000)
    ]
    Edge  78 <-> 79 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7060)
        Arc: (edge = 0x7fff13390090, target = 0x17c7040)
    ]
    Edge  80 <-> 81 [
        Arc: (edge = 0x7fff13390090, target = 0x17c70a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7080)
    ]
    Edge  81 <-> 82 [
        Arc: (edge = 0x7fff13390090, target = 0x17c70c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c70a0)
    ]
    Edge  82 <-> 83 [
        Arc: (edge = 0x7fff13390090, target = 0x17c70e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c70c0)
    ]
    Edge  82 <-> 146 [
        Arc: (edge = 0x7fff13390090, target = 0x17c78c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c70c0)
    ]
    Edge  82 <-> 281 [
        Arc: (edge = 0x7fff13390090, target = 0x17c89a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c70c0)
    ]
    Edge  83 <-> 84 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7100)
        Arc: (edge = 0x7fff13390090, target = 0x17c70e0)
    ]
    Edge  85 <-> 86 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7140)
        Arc: (edge = 0x7fff13390090, target = 0x17c7120)
    ]
    Edge  86 <-> 87 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7160)
        Arc: (edge = 0x7fff13390090, target = 0x17c7140)
    ]
    Edge  86 <-> 147 [
        Arc: (edge = 0x7fff13390090, target = 0x17c78e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7140)
    ]
    Edge  87 <-> 88 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7180)
        Arc: (edge = 0x7fff13390090, target = 0x17c7160)
    ]
    Edge  87 <-> 173 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7c20)
        Arc: (edge = 0x7fff13390090, target = 0x17c7160)
    ]
    Edge  88 <-> 89 [
        Arc: (edge = 0x7fff13390090, target = 0x17c71a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7180)
    ]
    Edge  89 <-> 90 [
        Arc: (edge = 0x7fff13390090, target = 0x17c71c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c71a0)
    ]
    Edge  90 <-> 91 [
        Arc: (edge = 0x7fff13390090, target = 0x17c71e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c71c0)
    ]
    Edge  91 <-> 92 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7200)
        Arc: (edge = 0x7fff13390090, target = 0x17c71e0)
    ]
    Edge  92 <-> 93 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7220)
        Arc: (edge = 0x7fff13390090, target = 0x17c7200)
    ]
    Edge  93 <-> 94 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7240)
        Arc: (edge = 0x7fff13390090, target = 0x17c7220)
    ]
    Edge  93 <-> 132 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7700)
        Arc: (edge = 0x7fff13390090, target = 0x17c7220)
    ]
    Edge  94 <-> 95 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7260)
        Arc: (edge = 0x7fff13390090, target = 0x17c7240)
    ]
    Edge  96 <-> 97 [
        Arc: (edge = 0x7fff13390090, target = 0x17c72a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7280)
    ]
    Edge  97 <-> 98 [
        Arc: (edge = 0x7fff13390090, target = 0x17c72c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c72a0)
    ]
    Edge  98 <-> 99 [
        Arc: (edge = 0x7fff13390090, target = 0x17c72e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c72c0)
    ]
    Edge  99 <-> 100 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7300)
        Arc: (edge = 0x7fff13390090, target = 0x17c72e0)
    ]
    Edge  100 <-> 101 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7320)
        Arc: (edge = 0x7fff13390090, target = 0x17c7300)
    ]
    Edge  101 <-> 102 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7340)
        Arc: (edge = 0x7fff13390090, target = 0x17c7320)
    ]
    Edge  101 <-> 256 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8680)
        Arc: (edge = 0x7fff13390090, target = 0x17c7320)
    ]
    Edge  102 <-> 103 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7360)
        Arc: (edge = 0x7fff13390090, target = 0x17c7340)
    ]
    Edge  103 <-> 104 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7380)
        Arc: (edge = 0x7fff13390090, target = 0x17c7360)
    ]
    Edge  104 <-> 105 [
        Arc: (edge = 0x7fff13390090, target = 0x17c73a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7380)
    ]
    Edge  106 <-> 107 [
        Arc: (edge = 0x7fff13390090, target = 0x17c73e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c73c0)
    ]
    Edge  107 <-> 108 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7400)
        Arc: (edge = 0x7fff13390090, target = 0x17c73e0)
    ]
    Edge  108 <-> 109 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7420)
        Arc: (edge = 0x7fff13390090, target = 0x17c7400)
    ]
    Edge  108 <-> 240 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8480)
        Arc: (edge = 0x7fff13390090, target = 0x17c7400)
    ]
    Edge  109 <-> 110 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7440)
        Arc: (edge = 0x7fff13390090, target = 0x17c7420)
    ]
    Edge  110 <-> 111 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7460)
        Arc: (edge = 0x7fff13390090, target = 0x17c7440)
    ]
    Edge  111 <-> 112 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7480)
        Arc: (edge = 0x7fff13390090, target = 0x17c7460)
    ]
    Edge  111 <-> 133 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7720)
        Arc: (edge = 0x7fff13390090, target = 0x17c7460)
    ]
    Edge  112 <-> 113 [
        Arc: (edge = 0x7fff13390090, target = 0x17c74a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7480)
    ]
    Edge  113 <-> 114 [
        Arc: (edge = 0x7fff13390090, target = 0x17c74c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c74a0)
    ]
    Edge  114 <-> 115 [
        Arc: (edge = 0x7fff13390090, target = 0x17c74e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c74c0)
    ]
    Edge  115 <-> 116 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7500)
        Arc: (edge = 0x7fff13390090, target = 0x17c74e0)
    ]
    Edge  116 <-> 117 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7520)
        Arc: (edge = 0x7fff13390090, target = 0x17c7500)
    ]
    Edge  117 <-> 118 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7540)
        Arc: (edge = 0x7fff13390090, target = 0x17c7520)
    ]
    Edge  118 <-> 119 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7560)
        Arc: (edge = 0x7fff13390090, target = 0x17c7540)
    ]
    Edge  119 <-> 120 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7580)
        Arc: (edge = 0x7fff13390090, target = 0x17c7560)
    ]
    Edge  120 <-> 121 [
        Arc: (edge = 0x7fff13390090, target = 0x17c75a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7580)
    ]
    Edge  121 <-> 122 [
        Arc: (edge = 0x7fff13390090, target = 0x17c75c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c75a0)
    ]
    Edge  122 <-> 123 [
        Arc: (edge = 0x7fff13390090, target = 0x17c75e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c75c0)
    ]
    Edge  123 <-> 124 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7600)
        Arc: (edge = 0x7fff13390090, target = 0x17c75e0)
    ]
    Edge  124 <-> 125 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7620)
        Arc: (edge = 0x7fff13390090, target = 0x17c7600)
    ]
    Edge  125 <-> 126 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7640)
        Arc: (edge = 0x7fff13390090, target = 0x17c7620)
    ]
    Edge  126 <-> 127 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7660)
        Arc: (edge = 0x7fff13390090, target = 0x17c7640)
    ]
    Edge  127 <-> 128 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7680)
        Arc: (edge = 0x7fff13390090, target = 0x17c7660)
    ]
    Edge  128 <-> 129 [
        Arc: (edge = 0x7fff13390090, target = 0x17c76a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7680)
    ]
    Edge  129 <-> 130 [
        Arc: (edge = 0x7fff13390090, target = 0x17c76c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c76a0)
    ]
    Edge  130 <-> 131 [
        Arc: (edge = 0x7fff13390090, target = 0x17c76e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c76c0)
    ]
    Edge  131 <-> 132 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7700)
        Arc: (edge = 0x7fff13390090, target = 0x17c76e0)
    ]
    Edge  133 <-> 134 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7740)
        Arc: (edge = 0x7fff13390090, target = 0x17c7720)
    ]
    Edge  134 <-> 135 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7760)
        Arc: (edge = 0x7fff13390090, target = 0x17c7740)
    ]
    Edge  135 <-> 136 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7780)
        Arc: (edge = 0x7fff13390090, target = 0x17c7760)
    ]
    Edge  136 <-> 137 [
        Arc: (edge = 0x7fff13390090, target = 0x17c77a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7780)
    ]
    Edge  137 <-> 138 [
        Arc: (edge = 0x7fff13390090, target = 0x17c77c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c77a0)
    ]
    Edge  138 <-> 139 [
        Arc: (edge = 0x7fff13390090, target = 0x17c77e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c77c0)
    ]
    Edge  139 <-> 140 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7800)
        Arc: (edge = 0x7fff13390090, target = 0x17c77e0)
    ]
    Edge  140 <-> 141 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7820)
        Arc: (edge = 0x7fff13390090, target = 0x17c7800)
    ]
    Edge  141 <-> 142 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7840)
        Arc: (edge = 0x7fff13390090, target = 0x17c7820)
    ]
    Edge  142 <-> 143 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7860)
        Arc: (edge = 0x7fff13390090, target = 0x17c7840)
    ]
    Edge  143 <-> 144 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7880)
        Arc: (edge = 0x7fff13390090, target = 0x17c7860)
    ]
    Edge  144 <-> 145 [
        Arc: (edge = 0x7fff13390090, target = 0x17c78a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7880)
    ]
    Edge  145 <-> 146 [
        Arc: (edge = 0x7fff13390090, target = 0x17c78c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c78a0)
    ]
    Edge  145 <-> 162 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7ac0)
        Arc: (edge = 0x7fff13390090, target = 0x17c78a0)
    ]
    Edge  147 <-> 148 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7900)
        Arc: (edge = 0x7fff13390090, target = 0x17c78e0)
    ]
    Edge  148 <-> 149 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7920)
        Arc: (edge = 0x7fff13390090, target = 0x17c7900)
    ]
    Edge  149 <-> 150 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7940)
        Arc: (edge = 0x7fff13390090, target = 0x17c7920)
    ]
    Edge  149 <-> 207 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8060)
        Arc: (edge = 0x7fff13390090, target = 0x17c7920)
    ]
    Edge  150 <-> 151 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7960)
        Arc: (edge = 0x7fff13390090, target = 0x17c7940)
    ]
    Edge  151 <-> 152 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7980)
        Arc: (edge = 0x7fff13390090, target = 0x17c7960)
    ]
    Edge  152 <-> 153 [
        Arc: (edge = 0x7fff13390090, target = 0x17c79a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7980)
    ]
    Edge  153 <-> 154 [
        Arc: (edge = 0x7fff13390090, target = 0x17c79c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c79a0)
    ]
    Edge  154 <-> 155 [
        Arc: (edge = 0x7fff13390090, target = 0x17c79e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c79c0)
    ]
    Edge  155 <-> 156 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7a00)
        Arc: (edge = 0x7fff13390090, target = 0x17c79e0)
    ]
    Edge  156 <-> 157 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7a20)
        Arc: (edge = 0x7fff13390090, target = 0x17c7a00)
    ]
    Edge  157 <-> 158 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7a40)
        Arc: (edge = 0x7fff13390090, target = 0x17c7a20)
    ]
    Edge  158 <-> 159 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7a60)
        Arc: (edge = 0x7fff13390090, target = 0x17c7a40)
    ]
    Edge  159 <-> 160 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7a80)
        Arc: (edge = 0x7fff13390090, target = 0x17c7a60)
    ]
    Edge  160 <-> 161 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7aa0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7a80)
    ]
    Edge  162 <-> 163 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7ae0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7ac0)
    ]
    Edge  163 <-> 164 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7b00)
        Arc: (edge = 0x7fff13390090, target = 0x17c7ae0)
    ]
    Edge  164 <-> 165 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7b20)
        Arc: (edge = 0x7fff13390090, target = 0x17c7b00)
    ]
    Edge  165 <-> 166 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7b40)
        Arc: (edge = 0x7fff13390090, target = 0x17c7b20)
    ]
    Edge  166 <-> 167 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7b60)
        Arc: (edge = 0x7fff13390090, target = 0x17c7b40)
    ]
    Edge  167 <-> 168 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7b80)
        Arc: (edge = 0x7fff13390090, target = 0x17c7b60)
    ]
    Edge  168 <-> 169 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7ba0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7b80)
    ]
    Edge  169 <-> 170 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7bc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7ba0)
    ]
    Edge  170 <-> 171 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7be0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7bc0)
    ]
    Edge  171 <-> 172 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7c00)
        Arc: (edge = 0x7fff13390090, target = 0x17c7be0)
    ]
    Edge  173 <-> 174 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7c40)
        Arc: (edge = 0x7fff13390090, target = 0x17c7c20)
    ]
    Edge  174 <-> 175 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7c60)
        Arc: (edge = 0x7fff13390090, target = 0x17c7c40)
    ]
    Edge  175 <-> 176 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7c80)
        Arc: (edge = 0x7fff13390090, target = 0x17c7c60)
    ]
    Edge  176 <-> 177 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7ca0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7c80)
    ]
    Edge  176 <-> 239 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8460)
        Arc: (edge = 0x7fff13390090, target = 0x17c7c80)
    ]
    Edge  177 <-> 178 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7cc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7ca0)
    ]
    Edge  177 <-> 226 [
        Arc: (edge = 0x7fff13390090, target = 0x17c82c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7ca0)
    ]
    Edge  178 <-> 179 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7ce0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7cc0)
    ]
    Edge  179 <-> 180 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7d00)
        Arc: (edge = 0x7fff13390090, target = 0x17c7ce0)
    ]
    Edge  180 <-> 181 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7d20)
        Arc: (edge = 0x7fff13390090, target = 0x17c7d00)
    ]
    Edge  181 <-> 182 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7d40)
        Arc: (edge = 0x7fff13390090, target = 0x17c7d20)
    ]
    Edge  182 <-> 183 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7d60)
        Arc: (edge = 0x7fff13390090, target = 0x17c7d40)
    ]
    Edge  183 <-> 184 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7d80)
        Arc: (edge = 0x7fff13390090, target = 0x17c7d60)
    ]
    Edge  184 <-> 185 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7da0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7d80)
    ]
    Edge  185 <-> 186 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7dc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7da0)
    ]
    Edge  186 <-> 187 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7de0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7dc0)
    ]
    Edge  187 <-> 188 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7e00)
        Arc: (edge = 0x7fff13390090, target = 0x17c7de0)
    ]
    Edge  188 <-> 189 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7e20)
        Arc: (edge = 0x7fff13390090, target = 0x17c7e00)
    ]
    Edge  189 <-> 190 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7e40)
        Arc: (edge = 0x7fff13390090, target = 0x17c7e20)
    ]
    Edge  190 <-> 191 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7e60)
        Arc: (edge = 0x7fff13390090, target = 0x17c7e40)
    ]
    Edge  191 <-> 192 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7e80)
        Arc: (edge = 0x7fff13390090, target = 0x17c7e60)
    ]
    Edge  192 <-> 193 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7ea0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7e80)
    ]
    Edge  193 <-> 194 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7ec0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7ea0)
    ]
    Edge  194 <-> 195 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7ee0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7ec0)
    ]
    Edge  195 <-> 196 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7f00)
        Arc: (edge = 0x7fff13390090, target = 0x17c7ee0)
    ]
    Edge  196 <-> 197 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7f20)
        Arc: (edge = 0x7fff13390090, target = 0x17c7f00)
    ]
    Edge  198 <-> 199 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7f60)
        Arc: (edge = 0x7fff13390090, target = 0x17c7f40)
    ]
    Edge  199 <-> 200 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7f80)
        Arc: (edge = 0x7fff13390090, target = 0x17c7f60)
    ]
    Edge  200 <-> 201 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7fa0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7f80)
    ]
    Edge  201 <-> 202 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7fc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7fa0)
    ]
    Edge  201 <-> 225 [
        Arc: (edge = 0x7fff13390090, target = 0x17c82a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7fa0)
    ]
    Edge  202 <-> 203 [
        Arc: (edge = 0x7fff13390090, target = 0x17c7fe0)
        Arc: (edge = 0x7fff13390090, target = 0x17c7fc0)
    ]
    Edge  203 <-> 204 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8000)
        Arc: (edge = 0x7fff13390090, target = 0x17c7fe0)
    ]
    Edge  204 <-> 205 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8020)
        Arc: (edge = 0x7fff13390090, target = 0x17c8000)
    ]
    Edge  205 <-> 206 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8040)
        Arc: (edge = 0x7fff13390090, target = 0x17c8020)
    ]
    Edge  206 <-> 207 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8060)
        Arc: (edge = 0x7fff13390090, target = 0x17c8040)
    ]
    Edge  208 <-> 209 [
        Arc: (edge = 0x7fff13390090, target = 0x17c80a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8080)
    ]
    Edge  209 <-> 210 [
        Arc: (edge = 0x7fff13390090, target = 0x17c80c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c80a0)
    ]
    Edge  210 <-> 211 [
        Arc: (edge = 0x7fff13390090, target = 0x17c80e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c80c0)
    ]
    Edge  211 <-> 212 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8100)
        Arc: (edge = 0x7fff13390090, target = 0x17c80e0)
    ]
    Edge  212 <-> 213 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8120)
        Arc: (edge = 0x7fff13390090, target = 0x17c8100)
    ]
    Edge  213 <-> 214 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8140)
        Arc: (edge = 0x7fff13390090, target = 0x17c8120)
    ]
    Edge  214 <-> 215 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8160)
        Arc: (edge = 0x7fff13390090, target = 0x17c8140)
    ]
    Edge  215 <-> 216 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8180)
        Arc: (edge = 0x7fff13390090, target = 0x17c8160)
    ]
    Edge  215 <-> 331 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8fe0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8160)
    ]
    Edge  216 <-> 217 [
        Arc: (edge = 0x7fff13390090, target = 0x17c81a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8180)
    ]
    Edge  216 <-> 257 [
        Arc: (edge = 0x7fff13390090, target = 0x17c86a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8180)
    ]
    Edge  217 <-> 218 [
        Arc: (edge = 0x7fff13390090, target = 0x17c81c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c81a0)
    ]
    Edge  218 <-> 219 [
        Arc: (edge = 0x7fff13390090, target = 0x17c81e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c81c0)
    ]
    Edge  219 <-> 220 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8200)
        Arc: (edge = 0x7fff13390090, target = 0x17c81e0)
    ]
    Edge  220 <-> 221 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8220)
        Arc: (edge = 0x7fff13390090, target = 0x17c8200)
    ]
    Edge  221 <-> 222 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8240)
        Arc: (edge = 0x7fff13390090, target = 0x17c8220)
    ]
    Edge  222 <-> 223 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8260)
        Arc: (edge = 0x7fff13390090, target = 0x17c8240)
    ]
    Edge  223 <-> 224 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8280)
        Arc: (edge = 0x7fff13390090, target = 0x17c8260)
    ]
    Edge  224 <-> 225 [
        Arc: (edge = 0x7fff13390090, target = 0x17c82a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8280)
    ]
    Edge  226 <-> 227 [
        Arc: (edge = 0x7fff13390090, target = 0x17c82e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c82c0)
    ]
    Edge  227 <-> 228 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8300)
        Arc: (edge = 0x7fff13390090, target = 0x17c82e0)
    ]
    Edge  228 <-> 229 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8320)
        Arc: (edge = 0x7fff13390090, target = 0x17c8300)
    ]
    Edge  229 <-> 230 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8340)
        Arc: (edge = 0x7fff13390090, target = 0x17c8320)
    ]
    Edge  230 <-> 231 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8360)
        Arc: (edge = 0x7fff13390090, target = 0x17c8340)
    ]
    Edge  231 <-> 232 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8380)
        Arc: (edge = 0x7fff13390090, target = 0x17c8360)
    ]
    Edge  232 <-> 233 [
        Arc: (edge = 0x7fff13390090, target = 0x17c83a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8380)
    ]
    Edge  233 <-> 234 [
        Arc: (edge = 0x7fff13390090, target = 0x17c83c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c83a0)
    ]
    Edge  234 <-> 235 [
        Arc: (edge = 0x7fff13390090, target = 0x17c83e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c83c0)
    ]
    Edge  235 <-> 236 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8400)
        Arc: (edge = 0x7fff13390090, target = 0x17c83e0)
    ]
    Edge  236 <-> 237 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8420)
        Arc: (edge = 0x7fff13390090, target = 0x17c8400)
    ]
    Edge  237 <-> 238 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8440)
        Arc: (edge = 0x7fff13390090, target = 0x17c8420)
    ]
    Edge  238 <-> 239 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8460)
        Arc: (edge = 0x7fff13390090, target = 0x17c8440)
    ]
    Edge  238 <-> 330 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8fc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8440)
    ]
    Edge  240 <-> 241 [
        Arc: (edge = 0x7fff13390090, target = 0x17c84a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8480)
    ]
    Edge  241 <-> 242 [
        Arc: (edge = 0x7fff13390090, target = 0x17c84c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c84a0)
    ]
    Edge  242 <-> 243 [
        Arc: (edge = 0x7fff13390090, target = 0x17c84e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c84c0)
    ]
    Edge  243 <-> 244 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8500)
        Arc: (edge = 0x7fff13390090, target = 0x17c84e0)
    ]
    Edge  244 <-> 245 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8520)
        Arc: (edge = 0x7fff13390090, target = 0x17c8500)
    ]
    Edge  245 <-> 246 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8540)
        Arc: (edge = 0x7fff13390090, target = 0x17c8520)
    ]
    Edge  246 <-> 247 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8560)
        Arc: (edge = 0x7fff13390090, target = 0x17c8540)
    ]
    Edge  246 <-> 344 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9180)
        Arc: (edge = 0x7fff13390090, target = 0x17c8540)
    ]
    Edge  247 <-> 248 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8580)
        Arc: (edge = 0x7fff13390090, target = 0x17c8560)
    ]
    Edge  248 <-> 249 [
        Arc: (edge = 0x7fff13390090, target = 0x17c85a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8580)
    ]
    Edge  249 <-> 250 [
        Arc: (edge = 0x7fff13390090, target = 0x17c85c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c85a0)
    ]
    Edge  250 <-> 251 [
        Arc: (edge = 0x7fff13390090, target = 0x17c85e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c85c0)
    ]
    Edge  251 <-> 252 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8600)
        Arc: (edge = 0x7fff13390090, target = 0x17c85e0)
    ]
    Edge  252 <-> 253 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8620)
        Arc: (edge = 0x7fff13390090, target = 0x17c8600)
    ]
    Edge  253 <-> 254 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8640)
        Arc: (edge = 0x7fff13390090, target = 0x17c8620)
    ]
    Edge  254 <-> 255 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8660)
        Arc: (edge = 0x7fff13390090, target = 0x17c8640)
    ]
    Edge  255 <-> 256 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8680)
        Arc: (edge = 0x7fff13390090, target = 0x17c8660)
    ]
    Edge  257 <-> 258 [
        Arc: (edge = 0x7fff13390090, target = 0x17c86c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c86a0)
    ]
    Edge  257 <-> 282 [
        Arc: (edge = 0x7fff13390090, target = 0x17c89c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c86a0)
    ]
    Edge  258 <-> 259 [
        Arc: (edge = 0x7fff13390090, target = 0x17c86e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c86c0)
    ]
    Edge  259 <-> 260 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8700)
        Arc: (edge = 0x7fff13390090, target = 0x17c86e0)
    ]
    Edge  260 <-> 261 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8720)
        Arc: (edge = 0x7fff13390090, target = 0x17c8700)
    ]
    Edge  261 <-> 262 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8740)
        Arc: (edge = 0x7fff13390090, target = 0x17c8720)
    ]
    Edge  262 <-> 263 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8760)
        Arc: (edge = 0x7fff13390090, target = 0x17c8740)
    ]
    Edge  263 <-> 264 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8780)
        Arc: (edge = 0x7fff13390090, target = 0x17c8760)
    ]
    Edge  264 <-> 265 [
        Arc: (edge = 0x7fff13390090, target = 0x17c87a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8780)
    ]
    Edge  265 <-> 266 [
        Arc: (edge = 0x7fff13390090, target = 0x17c87c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c87a0)
    ]
    Edge  266 <-> 267 [
        Arc: (edge = 0x7fff13390090, target = 0x17c87e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c87c0)
    ]
    Edge  267 <-> 268 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8800)
        Arc: (edge = 0x7fff13390090, target = 0x17c87e0)
    ]
    Edge  268 <-> 269 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8820)
        Arc: (edge = 0x7fff13390090, target = 0x17c8800)
    ]
    Edge  269 <-> 270 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8840)
        Arc: (edge = 0x7fff13390090, target = 0x17c8820)
    ]
    Edge  270 <-> 271 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8860)
        Arc: (edge = 0x7fff13390090, target = 0x17c8840)
    ]
    Edge  271 <-> 272 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8880)
        Arc: (edge = 0x7fff13390090, target = 0x17c8860)
    ]
    Edge  272 <-> 273 [
        Arc: (edge = 0x7fff13390090, target = 0x17c88a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8880)
    ]
    Edge  272 <-> 311 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8d60)
        Arc: (edge = 0x7fff13390090, target = 0x17c8880)
    ]
    Edge  273 <-> 274 [
        Arc: (edge = 0x7fff13390090, target = 0x17c88c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c88a0)
    ]
    Edge  273 <-> 338 [
        Arc: (edge = 0x7fff13390090, target = 0x17c90c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c88a0)
    ]
    Edge  274 <-> 275 [
        Arc: (edge = 0x7fff13390090, target = 0x17c88e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c88c0)
    ]
    Edge  275 <-> 276 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8900)
        Arc: (edge = 0x7fff13390090, target = 0x17c88e0)
    ]
    Edge  276 <-> 277 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8920)
        Arc: (edge = 0x7fff13390090, target = 0x17c8900)
    ]
    Edge  277 <-> 278 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8940)
        Arc: (edge = 0x7fff13390090, target = 0x17c8920)
    ]
    Edge  278 <-> 279 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8960)
        Arc: (edge = 0x7fff13390090, target = 0x17c8940)
    ]
    Edge  279 <-> 280 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8980)
        Arc: (edge = 0x7fff13390090, target = 0x17c8960)
    ]
    Edge  280 <-> 281 [
        Arc: (edge = 0x7fff13390090, target = 0x17c89a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8980)
    ]
    Edge  282 <-> 283 [
        Arc: (edge = 0x7fff13390090, target = 0x17c89e0)
        Arc: (edge = 0x7fff13390090, target = 0x17c89c0)
    ]
    Edge  283 <-> 284 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8a00)
        Arc: (edge = 0x7fff13390090, target = 0x17c89e0)
    ]
    Edge  284 <-> 285 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8a20)
        Arc: (edge = 0x7fff13390090, target = 0x17c8a00)
    ]
    Edge  285 <-> 286 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8a40)
        Arc: (edge = 0x7fff13390090, target = 0x17c8a20)
    ]
    Edge  286 <-> 287 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8a60)
        Arc: (edge = 0x7fff13390090, target = 0x17c8a40)
    ]
    Edge  287 <-> 288 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8a80)
        Arc: (edge = 0x7fff13390090, target = 0x17c8a60)
    ]
    Edge  288 <-> 289 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8aa0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8a80)
    ]
    Edge  289 <-> 290 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8ac0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8aa0)
    ]
    Edge  290 <-> 291 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8ae0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8ac0)
    ]
    Edge  291 <-> 292 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8b00)
        Arc: (edge = 0x7fff13390090, target = 0x17c8ae0)
    ]
    Edge  292 <-> 293 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8b20)
        Arc: (edge = 0x7fff13390090, target = 0x17c8b00)
    ]
    Edge  293 <-> 294 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8b40)
        Arc: (edge = 0x7fff13390090, target = 0x17c8b20)
    ]
    Edge  294 <-> 295 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8b60)
        Arc: (edge = 0x7fff13390090, target = 0x17c8b40)
    ]
    Edge  295 <-> 296 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8b80)
        Arc: (edge = 0x7fff13390090, target = 0x17c8b60)
    ]
    Edge  296 <-> 297 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8ba0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8b80)
    ]
    Edge  297 <-> 298 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8bc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8ba0)
    ]
    Edge  298 <-> 299 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8be0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8bc0)
    ]
    Edge  299 <-> 300 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8c00)
        Arc: (edge = 0x7fff13390090, target = 0x17c8be0)
    ]
    Edge  300 <-> 301 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8c20)
        Arc: (edge = 0x7fff13390090, target = 0x17c8c00)
    ]
    Edge  301 <-> 302 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8c40)
        Arc: (edge = 0x7fff13390090, target = 0x17c8c20)
    ]
    Edge  302 <-> 303 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8c60)
        Arc: (edge = 0x7fff13390090, target = 0x17c8c40)
    ]
    Edge  303 <-> 304 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8c80)
        Arc: (edge = 0x7fff13390090, target = 0x17c8c60)
    ]
    Edge  304 <-> 305 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8ca0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8c80)
    ]
    Edge  305 <-> 306 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8cc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8ca0)
    ]
    Edge  306 <-> 307 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8ce0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8cc0)
    ]
    Edge  307 <-> 308 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8d00)
        Arc: (edge = 0x7fff13390090, target = 0x17c8ce0)
    ]
    Edge  308 <-> 309 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8d20)
        Arc: (edge = 0x7fff13390090, target = 0x17c8d00)
    ]
    Edge  309 <-> 310 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8d40)
        Arc: (edge = 0x7fff13390090, target = 0x17c8d20)
    ]
    Edge  310 <-> 311 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8d60)
        Arc: (edge = 0x7fff13390090, target = 0x17c8d40)
    ]
    Edge  312 <-> 313 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8da0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8d80)
    ]
    Edge  313 <-> 314 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8dc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8da0)
    ]
    Edge  314 <-> 315 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8de0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8dc0)
    ]
    Edge  315 <-> 316 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8e00)
        Arc: (edge = 0x7fff13390090, target = 0x17c8de0)
    ]
    Edge  316 <-> 317 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8e20)
        Arc: (edge = 0x7fff13390090, target = 0x17c8e00)
    ]
    Edge  317 <-> 318 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8e40)
        Arc: (edge = 0x7fff13390090, target = 0x17c8e20)
    ]
    Edge  318 <-> 319 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8e60)
        Arc: (edge = 0x7fff13390090, target = 0x17c8e40)
    ]
    Edge  319 <-> 320 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8e80)
        Arc: (edge = 0x7fff13390090, target = 0x17c8e60)
    ]
    Edge  320 <-> 321 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8ea0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8e80)
    ]
    Edge  321 <-> 322 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8ec0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8ea0)
    ]
    Edge  322 <-> 323 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8ee0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8ec0)
    ]
    Edge  323 <-> 324 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8f00)
        Arc: (edge = 0x7fff13390090, target = 0x17c8ee0)
    ]
    Edge  324 <-> 325 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8f20)
        Arc: (edge = 0x7fff13390090, target = 0x17c8f00)
    ]
    Edge  325 <-> 326 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8f40)
        Arc: (edge = 0x7fff13390090, target = 0x17c8f20)
    ]
    Edge  326 <-> 327 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8f60)
        Arc: (edge = 0x7fff13390090, target = 0x17c8f40)
    ]
    Edge  327 <-> 328 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8f80)
        Arc: (edge = 0x7fff13390090, target = 0x17c8f60)
    ]
    Edge  328 <-> 329 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8fa0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8f80)
    ]
    Edge  329 <-> 330 [
        Arc: (edge = 0x7fff13390090, target = 0x17c8fc0)
        Arc: (edge = 0x7fff13390090, target = 0x17c8fa0)
    ]
    Edge  331 <-> 332 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9000)
        Arc: (edge = 0x7fff13390090, target = 0x17c8fe0)
    ]
    Edge  332 <-> 333 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9020)
        Arc: (edge = 0x7fff13390090, target = 0x17c9000)
    ]
    Edge  333 <-> 334 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9040)
        Arc: (edge = 0x7fff13390090, target = 0x17c9020)
    ]
    Edge  334 <-> 335 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9060)
        Arc: (edge = 0x7fff13390090, target = 0x17c9040)
    ]
    Edge  335 <-> 336 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9080)
        Arc: (edge = 0x7fff13390090, target = 0x17c9060)
    ]
    Edge  336 <-> 337 [
        Arc: (edge = 0x7fff13390090, target = 0x17c90a0)
        Arc: (edge = 0x7fff13390090, target = 0x17c9080)
    ]
    Edge  337 <-> 338 [
        Arc: (edge = 0x7fff13390090, target = 0x17c90c0)
        Arc: (edge = 0x7fff13390090, target = 0x17c90a0)
    ]
    Edge  339 <-> 340 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9100)
        Arc: (edge = 0x7fff13390090, target = 0x17c90e0)
    ]
    Edge  340 <-> 341 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9120)
        Arc: (edge = 0x7fff13390090, target = 0x17c9100)
    ]
    Edge  341 <-> 342 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9140)
        Arc: (edge = 0x7fff13390090, target = 0x17c9120)
    ]
    Edge  342 <-> 343 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9160)
        Arc: (edge = 0x7fff13390090, target = 0x17c9140)
    ]
    Edge  343 <-> 344 [
        Arc: (edge = 0x7fff13390090, target = 0x17c9180)
        Arc: (edge = 0x7fff13390090, target = 0x17c9160)
    ]
]
Robot arrangement: (|R| = 6, |V| = 345) [
     robot locations: {1#61 2#107 3#203 4#285 5#332 6#336 }
     vertex occupancy: {0#0 0#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 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#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 0#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 1#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 2#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 0#154 0#155 0#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 0#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 0#202 3#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 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 0#259 0#260 0#261 0#262 0#263 0#264 0#265 0#266 0#267 0#268 0#269 0#270 0#271 0#272 0#273 0#274 0#275 0#276 0#277 0#278 0#279 0#280 0#281 0#282 0#283 0#284 4#285 0#286 0#287 0#288 0#289 0#290 0#291 0#292 0#293 0#294 0#295 0#296 0#297 0#298 0#299 0#300 0#301 0#302 0#303 0#304 0#305 0#306 0#307 0#308 0#309 0#310 0#311 0#312 0#313 0#314 0#315 0#316 0#317 0#318 0#319 0#320 0#321 0#322 0#323 0#324 0#325 0#326 0#327 0#328 0#329 0#330 0#331 5#332 0#333 0#334 0#335 6#336 0#337 0#338 0#339 0#340 0#341 0#342 0#343 0#344 }
]
Robot arrangement: (|R| = 6, |V| = 345) [
     robot locations: {1#60 2#71 3#132 4#177 5#302 6#337 }
     vertex occupancy: {0#0 0#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 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#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 0#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 1#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 0#70 2#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 3#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 0#154 0#155 0#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 0#170 0#171 0#172 0#173 0#174 0#175 0#176 4#177 0#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 0#259 0#260 0#261 0#262 0#263 0#264 0#265 0#266 0#267 0#268 0#269 0#270 0#271 0#272 0#273 0#274 0#275 0#276 0#277 0#278 0#279 0#280 0#281 0#282 0#283 0#284 0#285 0#286 0#287 0#288 0#289 0#290 0#291 0#292 0#293 0#294 0#295 0#296 0#297 0#298 0#299 0#300 0#301 5#302 0#303 0#304 0#305 0#306 0#307 0#308 0#309 0#310 0#311 0#312 0#313 0#314 0#315 0#316 0#317 0#318 0#319 0#320 0#321 0#322 0#323 0#324 0#325 0#326 0#327 0#328 0#329 0#330 0#331 0#332 0#333 0#334 0#335 0#336 6#337 0#338 0#339 0#340 0#341 0#342 0#343 0#344 }
]
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.037
            CPU/machine TIME (seconds)     = 0.030
        ]
        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                = 1584
                Produced CNF variables         = 0
                Produced CNF clauses           = 0
                Search steps                   = 107691
                Wall clock TIME (seconds)      = 0.172
                CPU/machine TIME (seconds)     = 0.170
            ]
        }
]
----------------------------------------------------------------