================================================================
reLOC 0.05-legio : Multirobot Solution reSolver
(C) Copyright 2011-2012 Pavel Surynek
----------------------------------------------------------------
window size:16
Reading graph...
0,1
0,6
0,11
0,32
0,34
0,47
0,52
0,176
1,2
1,7
1,169
2,3
2,8
2,13
2,76
2,92
3,4
3,10
3,81
4,5
4,9
5,6
5,16
5,83
5,144
6,15
6,17
6,121
7,8
7,54
7,56
7,140
8,31
9,10
9,14
9,19
9,132
10,24
10,29
11,12
11,71
12,13
12,21
12,50
12,204
13,18
13,25
14,15
14,37
14,136
15,49
15,86
15,99
16,17
16,88
16,97
17,26
17,41
18,19
18,20
18,66
18,127
18,146
19,22
19,174
20,21
20,23
20,118
20,209
20,251
21,28
21,33
21,64
21,77
21,255
22,23
22,57
22,175
23,38
23,193
24,25
24,43
24,48
24,79
25,42
25,87
25,94
25,188
25,220
26,27
27,28
27,149
28,62
28,232
29,30
29,84
29,119
30,31
30,91
30,109
30,190
30,202
30,208
31,100
32,33
32,65
33,36
33,39
33,224
34,35
34,151
35,36
37,38
37,44
38,69
38,115
39,40
39,53
40,41
40,46
40,61
41,55
41,105
42,43
42,96
42,128
42,130
43,45
43,58
43,60
43,156
44,45
44,80
45,181
46,47
46,131
46,230
47,63
47,189
48,49
50,51
51,52
51,68
51,125
51,172
51,256
52,123
52,184
53,54
54,102
55,56
55,74
56,59
57,58
57,171
58,120
58,183
59,60
59,198
59,218
60,98
61,62
62,110
62,112
63,64
63,95
63,122
64,67
65,66
67,68
67,72
69,70
70,71
71,108
72,73
72,134
73,74
73,150
73,243
74,75
75,76
75,129
75,168
77,78
77,117
77,152
77,213
77,238
78,79
78,138
78,173
79,111
79,154
80,81
80,89
80,158
80,182
81,82
82,83
82,114
84,85
84,135
84,160
85,86
86,178
87,88
87,93
87,186
89,90
89,177
90,91
90,107
90,240
91,126
92,93
93,103
94,95
94,106
94,141
95,124
95,244
96,97
96,155
96,163
96,245
98,99
100,101
101,102
102,153
102,239
103,104
104,105
105,166
106,107
106,179
106,211
106,241
108,109
109,201
109,207
110,111
111,161
112,113
112,147
112,180
113,114
114,199
114,205
115,116
116,117
116,157
116,217
117,226
118,119
119,139
120,121
120,248
120,252
122,123
124,125
126,127
126,137
128,129
128,165
128,170
130,131
132,133
133,134
134,214
135,136
135,143
137,138
137,206
139,140
141,142
142,143
144,145
144,162
145,146
146,159
147,148
148,149
148,227
149,253
150,151
151,229
152,153
153,187
154,155
156,157
157,191
158,159
158,194
159,164
159,185
160,161
161,221
162,163
164,165
165,222
166,167
167,168
167,231
169,170
170,236
171,172
171,197
172,242
173,174
174,200
175,176
177,178
179,180
179,212
180,192
180,219
181,182
182,233
183,184
183,215
185,186
187,188
188,237
189,190
189,195
191,192
192,210
193,194
195,196
196,197
198,199
198,234
199,235
200,201
202,203
203,204
205,206
205,249
207,208
209,210
210,254
211,212
213,214
215,216
216,217
218,219
220,221
222,223
223,224
223,225
225,226
227,228
228,229
230,231
231,258
232,233
232,246
234,235
236,237
238,239
240,241
242,243
244,245
246,247
247,248
249,250
250,251
252,253
254,255
256,257
257,258
Reading initial arrangement...
Reading original solution...
Length:601
240 # 15 ---> 86 (0)
251 # 81 ---> 3 (0)
251 # 3 ---> 4 (1)
228 # 257 ---> 258 (0)
228 # 258 ---> 231 (1)
228 # 231 ---> 230 (2)
228 # 230 ---> 46 (3)
227 # 10 ---> 3 (1)
246 # 43 ---> 24 (0)
235 # 60 ---> 43 (0)
253 # 59 ---> 60 (0)
242 # 166 ---> 167 (0)
229 # 40 ---> 41 (0)
228 # 46 ---> 40 (4)
242 # 167 ---> 231 (2)
229 # 41 ---> 105 (1)
228 # 40 ---> 41 (5)
222 # 82 ---> 114 (0)
227 # 3 ---> 81 (2)
246 # 24 ---> 10 (1)
235 # 43 ---> 24 (1)
253 # 60 ---> 43 (1)
246 # 10 ---> 3 (2)
235 # 24 ---> 10 (2)
253 # 43 ---> 24 (2)
254 # 121 ---> 120 (0)
241 # 35 ---> 34 (0)
241 # 34 ---> 0 (1)
241 # 0 ---> 6 (2)
241 # 6 ---> 121 (3)
253 # 24 ---> 48 (3)
254 # 120 ---> 58 (1)
241 # 121 ---> 120 (4)
241 # 120 ---> 252 (5)
227 # 81 ---> 82 (3)
224 # 28 ---> 21 (0)
222 # 114 ---> 113 (1)
227 # 82 ---> 114 (4)
227 # 114 ---> 205 (5)
227 # 205 ---> 249 (6)
234 # 18 ---> 127 (0)
227 # 249 ---> 250 (7)
227 # 250 ---> 251 (8)
222 # 113 ---> 112 (2)
222 # 112 ---> 62 (3)
222 # 62 ---> 28 (4)
222 # 28 ---> 232 (5)
250 # 247 ---> 248 (0)
222 # 232 ---> 246 (6)
249 # 182 ---> 233 (0)
254 # 58 ---> 43 (2)
228 # 41 ---> 17 (6)
250 # 248 ---> 120 (5)
222 # 246 ---> 247 (7)
254 # 43 ---> 45 (3)
250 # 120 ---> 58 (6)
242 # 231 ---> 230 (3)
242 # 230 ---> 46 (4)
242 # 46 ---> 40 (5)
242 # 40 ---> 61 (6)
242 # 61 ---> 62 (7)
242 # 62 ---> 28 (8)
242 # 28 ---> 232 (9)
222 # 247 ---> 248 (8)
242 # 232 ---> 246 (10)
249 # 233 ---> 232 (10)
250 # 58 ---> 43 (7)
246 # 3 ---> 2 (3)
235 # 10 ---> 3 (3)
231 # 22 ---> 23 (0)
225 # 243 ---> 73 (0)
225 # 73 ---> 72 (1)
249 # 232 ---> 28 (11)
235 # 3 ---> 81 (4)
246 # 2 ---> 3 (4)
250 # 43 ---> 24 (8)
248 # 170 ---> 128 (0)
248 # 128 ---> 129 (1)
252 # 189 ---> 47 (0)
252 # 47 ---> 0 (2)
229 # 105 ---> 41 (6)
252 # 0 ---> 1 (3)
228 # 17 ---> 6 (7)
229 # 41 ---> 17 (7)
243 # 151 ---> 34 (1)
237 # 227 ---> 228 (0)
243 # 34 ---> 0 (3)
221 # 138 ---> 78 (0)
245 # 147 ---> 148 (0)
237 # 228 ---> 229 (1)
229 # 17 ---> 26 (8)
228 # 6 ---> 17 (8)
243 # 0 ---> 6 (8)
238 # 155 ---> 154 (0)
238 # 154 ---> 79 (1)
238 # 79 ---> 111 (2)
238 # 111 ---> 110 (3)
238 # 110 ---> 62 (8)
238 # 62 ---> 112 (9)
238 # 112 ---> 147 (10)
228 # 17 ---> 16 (9)
245 # 148 ---> 149 (1)
238 # 147 ---> 148 (11)
237 # 229 ---> 151 (2)
238 # 148 ---> 227 (12)
243 # 6 ---> 17 (9)
237 # 151 ---> 34 (3)
224 # 21 ---> 12 (1)
224 # 12 ---> 13 (2)
224 # 13 ---> 25 (3)
224 # 25 ---> 42 (4)
224 # 42 ---> 128 (5)
224 # 128 ---> 165 (6)
224 # 165 ---> 222 (7)
233 # 171 ---> 57 (0)
233 # 57 ---> 58 (7)
233 # 58 ---> 43 (8)
250 # 24 ---> 10 (9)
233 # 43 ---> 24 (9)
233 # 24 ---> 25 (10)
233 # 25 ---> 220 (11)
251 # 4 ---> 9 (2)
246 # 3 ---> 4 (5)
235 # 81 ---> 3 (5)
251 # 9 ---> 14 (3)
246 # 4 ---> 9 (6)
233 # 220 ---> 221 (12)
252 # 1 ---> 2 (4)
223 # 157 ---> 156 (0)
223 # 156 ---> 43 (9)
248 # 129 ---> 128 (6)
248 # 128 ---> 42 (7)
252 # 2 ---> 76 (5)
223 # 43 ---> 24 (10)
248 # 42 ---> 43 (10)
248 # 43 ---> 58 (11)
248 # 58 ---> 183 (12)
248 # 183 ---> 215 (13)
251 # 14 ---> 15 (4)
246 # 9 ---> 14 (7)
250 # 10 ---> 9 (10)
223 # 24 ---> 10 (11)
253 # 48 ---> 24 (11)
253 # 24 ---> 79 (12)
221 # 78 ---> 77 (1)
253 # 79 ---> 78 (13)
221 # 77 ---> 21 (2)
253 # 78 ---> 77 (14)
236 # 214 ---> 134 (0)
253 # 77 ---> 213 (15)
221 # 21 ---> 77 (15)
225 # 72 ---> 67 (2)
236 # 134 ---> 72 (2)
226 # 108 ---> 71 (0)
226 # 71 ---> 11 (1)
226 # 11 ---> 12 (2)
226 # 12 ---> 21 (15)
221 # 77 ---> 78 (16)
226 # 21 ---> 77 (16)
253 # 213 ---> 214 (16)
226 # 77 ---> 213 (17)
225 # 67 ---> 64 (3)
240 # 86 ---> 178 (1)
240 # 178 ---> 177 (2)
240 # 177 ---> 89 (3)
240 # 89 ---> 90 (4)
240 # 90 ---> 107 (5)
240 # 107 ---> 106 (6)
240 # 106 ---> 211 (7)
243 # 17 ---> 41 (10)
228 # 16 ---> 17 (10)
239 # 92 ---> 2 (5)
239 # 2 ---> 13 (6)
239 # 13 ---> 25 (11)
257 # 208 ---> 30 (0)
239 # 25 ---> 94 (12)
250 # 9 ---> 4 (11)
223 # 10 ---> 9 (12)
235 # 3 ---> 10 (12)
250 # 4 ---> 3 (12)
250 # 3 ---> 81 (13)
250 # 81 ---> 82 (14)
250 # 82 ---> 114 (15)
250 # 114 ---> 205 (16)
235 # 10 ---> 29 (13)
257 # 30 ---> 31 (1)
235 # 29 ---> 30 (14)
235 # 30 ---> 202 (15)
223 # 9 ---> 19 (13)
243 # 41 ---> 55 (11)
243 # 55 ---> 56 (12)
228 # 17 ---> 41 (11)
246 # 14 ---> 37 (8)
251 # 15 ---> 14 (8)
225 # 64 ---> 63 (4)
225 # 63 ---> 47 (5)
258 # 197 ---> 171 (0)
258 # 171 ---> 172 (1)
225 # 47 ---> 189 (6)
258 # 172 ---> 51 (2)
257 # 31 ---> 8 (2)
225 # 189 ---> 190 (7)
258 # 51 ---> 52 (3)
231 # 23 ---> 20 (1)
244 # 87 ---> 25 (12)
244 # 25 ---> 13 (13)
244 # 13 ---> 18 (14)
231 # 20 ---> 21 (16)
244 # 18 ---> 20 (16)
244 # 20 ---> 23 (17)
244 # 23 ---> 193 (18)
244 # 193 ---> 194 (19)
225 # 190 ---> 30 (15)
257 # 8 ---> 2 (6)
251 # 14 ---> 9 (13)
252 # 76 ---> 75 (6)
237 # 34 ---> 0 (8)
237 # 0 ---> 32 (9)
255 # 159 ---> 146 (0)
239 # 94 ---> 25 (13)
239 # 25 ---> 13 (14)
239 # 13 ---> 12 (15)
255 # 146 ---> 145 (1)
258 # 52 ---> 0 (9)
258 # 0 ---> 6 (10)
258 # 6 ---> 121 (11)
257 # 2 ---> 13 (15)
251 # 9 ---> 4 (14)
223 # 19 ---> 22 (14)
257 # 13 ---> 18 (16)
257 # 18 ---> 19 (17)
257 # 19 ---> 9 (18)
257 # 9 ---> 10 (19)
239 # 12 ---> 11 (16)
231 # 21 ---> 12 (17)
231 # 12 ---> 13 (18)
231 # 13 ---> 2 (19)
231 # 2 ---> 1 (20)
251 # 4 ---> 3 (15)
237 # 32 ---> 0 (10)
232 # 39 ---> 33 (0)
228 # 41 ---> 40 (12)
252 # 75 ---> 74 (7)
252 # 74 ---> 55 (12)
255 # 145 ---> 144 (2)
255 # 144 ---> 5 (3)
255 # 5 ---> 6 (11)
255 # 6 ---> 17 (12)
255 # 17 ---> 41 (13)
255 # 41 ---> 105 (14)
255 # 105 ---> 166 (15)
252 # 55 ---> 41 (14)
237 # 0 ---> 6 (12)
232 # 33 ---> 32 (10)
228 # 40 ---> 39 (13)
252 # 41 ---> 40 (15)
255 # 166 ---> 167 (16)
234 # 127 ---> 18 (17)
234 # 18 ---> 146 (18)
234 # 146 ---> 159 (19)
234 # 159 ---> 164 (20)
230 # 136 ---> 135 (0)
251 # 3 ---> 2 (20)
228 # 39 ---> 33 (14)
252 # 40 ---> 39 (16)
232 # 32 ---> 0 (12)
228 # 33 ---> 32 (15)
239 # 11 ---> 12 (18)
232 # 0 ---> 11 (18)
228 # 32 ---> 0 (18)
237 # 6 ---> 5 (13)
228 # 0 ---> 6 (19)
231 # 1 ---> 0 (21)
237 # 5 ---> 4 (15)
228 # 6 ---> 5 (20)
228 # 5 ---> 144 (21)
228 # 144 ---> 162 (22)
230 # 135 ---> 84 (1)
231 # 0 ---> 47 (22)
257 # 10 ---> 3 (20)
237 # 4 ---> 5 (21)
257 # 3 ---> 4 (21)
251 # 2 ---> 3 (21)
232 # 11 ---> 0 (22)
232 # 0 ---> 6 (23)
246 # 37 ---> 44 (9)
252 # 39 ---> 33 (17)
232 # 6 ---> 15 (24)
258 # 121 ---> 6 (24)
258 # 6 ---> 0 (25)
237 # 5 ---> 6 (25)
257 # 4 ---> 5 (25)
251 # 3 ---> 4 (25)
258 # 0 ---> 11 (26)
239 # 12 ---> 13 (19)
258 # 11 ---> 12 (27)
258 # 12 ---> 21 (28)
258 # 21 ---> 77 (29)
258 # 77 ---> 152 (30)
252 # 33 ---> 21 (29)
232 # 15 ---> 99 (25)
243 # 56 ---> 7 (13)
252 # 21 ---> 20 (30)
221 # 78 ---> 77 (30)
239 # 13 ---> 18 (20)
221 # 77 ---> 21 (31)
221 # 21 ---> 12 (32)
236 # 72 ---> 73 (3)
221 # 12 ---> 13 (33)
231 # 47 ---> 63 (23)
237 # 6 ---> 0 (26)
221 # 13 ---> 2 (34)
239 # 18 ---> 13 (34)
223 # 22 ---> 19 (18)
249 # 28 ---> 62 (12)
249 # 62 ---> 112 (13)
245 # 149 ---> 27 (2)
249 # 112 ---> 147 (14)
245 # 27 ---> 28 (12)
257 # 5 ---> 6 (26)
223 # 19 ---> 9 (19)
237 # 0 ---> 32 (27)
257 # 6 ---> 0 (27)
251 # 4 ---> 5 (26)
237 # 32 ---> 65 (28)
257 # 0 ---> 32 (28)
221 # 2 ---> 1 (35)
239 # 13 ---> 2 (35)
247 # 141 ---> 142 (0)
247 # 142 ---> 143 (1)
247 # 143 ---> 135 (2)
252 # 20 ---> 18 (34)
243 # 7 ---> 8 (14)
243 # 8 ---> 31 (15)
225 # 30 ---> 29 (16)
243 # 31 ---> 30 (16)
252 # 18 ---> 13 (35)
225 # 29 ---> 10 (20)
247 # 135 ---> 136 (3)
225 # 10 ---> 3 (25)
230 # 84 ---> 85 (2)
247 # 136 ---> 14 (13)
223 # 9 ---> 10 (25)
247 # 14 ---> 9 (25)
239 # 2 ---> 8 (36)
225 # 3 ---> 2 (36)
223 # 10 ---> 3 (36)
243 # 30 ---> 29 (20)
239 # 8 ---> 31 (37)
225 # 2 ---> 8 (37)
223 # 3 ---> 2 (37)
243 # 29 ---> 10 (36)
243 # 10 ---> 3 (37)
246 # 44 ---> 80 (10)
243 # 3 ---> 4 (38)
251 # 5 ---> 83 (27)
243 # 4 ---> 5 (39)
247 # 9 ---> 10 (37)
231 # 63 ---> 64 (24)
221 # 1 ---> 0 (36)
247 # 10 ---> 3 (38)
252 # 13 ---> 25 (36)
221 # 0 ---> 11 (37)
252 # 25 ---> 24 (37)
237 # 65 ---> 66 (29)
237 # 66 ---> 18 (35)
237 # 18 ---> 19 (36)
237 # 19 ---> 9 (37)
237 # 9 ---> 10 (38)
237 # 10 ---> 29 (39)
257 # 32 ---> 65 (29)
237 # 29 ---> 30 (40)
237 # 30 ---> 91 (41)
237 # 91 ---> 126 (42)
237 # 126 ---> 127 (43)
247 # 3 ---> 10 (39)
247 # 10 ---> 29 (40)
223 # 2 ---> 3 (39)
225 # 8 ---> 2 (39)
239 # 31 ---> 8 (39)
223 # 3 ---> 10 (40)
225 # 2 ---> 3 (40)
239 # 8 ---> 2 (40)
239 # 2 ---> 1 (41)
239 # 1 ---> 0 (42)
239 # 0 ---> 47 (43)
239 # 47 ---> 63 (44)
239 # 63 ---> 122 (45)
225 # 3 ---> 2 (41)
223 # 10 ---> 3 (41)
252 # 24 ---> 10 (41)
243 # 5 ---> 6 (40)
252 # 10 ---> 9 (42)
252 # 9 ---> 19 (43)
245 # 28 ---> 21 (32)
243 # 6 ---> 17 (41)
221 # 11 ---> 0 (43)
254 # 45 ---> 44 (10)
245 # 21 ---> 20 (34)
230 # 85 ---> 86 (3)
230 # 86 ---> 15 (25)
230 # 15 ---> 6 (41)
243 # 17 ---> 16 (42)
230 # 6 ---> 17 (42)
221 # 0 ---> 6 (44)
229 # 26 ---> 27 (12)
230 # 17 ---> 26 (43)
221 # 6 ---> 17 (45)
229 # 27 ---> 28 (32)
230 # 26 ---> 27 (44)
221 # 17 ---> 26 (46)
229 # 28 ---> 21 (34)
230 # 27 ---> 28 (45)
230 # 28 ---> 62 (46)
230 # 62 ---> 112 (47)
229 # 21 ---> 28 (46)
225 # 2 ---> 13 (42)
223 # 3 ---> 2 (42)
229 # 28 ---> 62 (47)
246 # 80 ---> 81 (14)
246 # 81 ---> 3 (42)
223 # 2 ---> 1 (43)
246 # 3 ---> 2 (43)
225 # 13 ---> 12 (43)
246 # 2 ---> 13 (44)
225 # 12 ---> 11 (44)
246 # 13 ---> 12 (45)
246 # 12 ---> 21 (46)
246 # 21 ---> 28 (47)
229 # 62 ---> 61 (48)
246 # 28 ---> 62 (48)
246 # 62 ---> 110 (49)
225 # 11 ---> 12 (46)
247 # 29 ---> 10 (42)
252 # 19 ---> 22 (44)
245 # 20 ---> 18 (36)
245 # 18 ---> 19 (44)
256 # 88 ---> 87 (12)
243 # 16 ---> 88 (43)
256 # 87 ---> 93 (13)
243 # 88 ---> 87 (44)
243 # 87 ---> 25 (45)
232 # 99 ---> 15 (41)
256 # 93 ---> 87 (45)
243 # 25 ---> 13 (46)
256 # 87 ---> 25 (46)
256 # 25 ---> 42 (47)
256 # 42 ---> 96 (48)
236 # 73 ---> 74 (12)
236 # 74 ---> 75 (13)
236 # 75 ---> 76 (14)
236 # 76 ---> 2 (44)
231 # 64 ---> 67 (25)
225 # 12 ---> 21 (47)
243 # 13 ---> 12 (47)
236 # 2 ---> 13 (47)
236 # 13 ---> 25 (48)
236 # 25 ---> 42 (49)
256 # 96 ---> 97 (49)
236 # 42 ---> 96 (50)
229 # 61 ---> 62 (49)
221 # 26 ---> 27 (47)
254 # 44 ---> 37 (11)
251 # 83 ---> 5 (40)
223 # 1 ---> 7 (44)
254 # 37 ---> 38 (12)
231 # 67 ---> 68 (26)
225 # 21 ---> 64 (48)
223 # 7 ---> 56 (45)
223 # 56 ---> 55 (46)
254 # 38 ---> 23 (18)
254 # 23 ---> 20 (36)
254 # 20 ---> 21 (48)
225 # 64 ---> 63 (49)
254 # 21 ---> 64 (49)
254 # 64 ---> 67 (50)
254 # 67 ---> 72 (51)
243 # 12 ---> 11 (48)
254 # 72 ---> 73 (52)
254 # 73 ---> 74 (53)
257 # 65 ---> 66 (35)
257 # 66 ---> 18 (44)
257 # 18 ---> 20 (48)
257 # 20 ---> 23 (49)
257 # 23 ---> 38 (50)
243 # 11 ---> 0 (49)
257 # 38 ---> 69 (51)
243 # 0 ---> 32 (50)
257 # 69 ---> 70 (52)
257 # 70 ---> 71 (53)
231 # 68 ---> 51 (27)
231 # 51 ---> 50 (28)
231 # 50 ---> 12 (48)
231 # 12 ---> 13 (49)
225 # 63 ---> 64 (50)
231 # 13 ---> 2 (50)
225 # 64 ---> 21 (51)
225 # 21 ---> 12 (52)
229 # 62 ---> 28 (50)
229 # 28 ---> 21 (52)
229 # 21 ---> 33 (53)
247 # 10 ---> 3 (43)
251 # 5 ---> 4 (41)
231 # 2 ---> 1 (51)
247 # 3 ---> 2 (51)
251 # 4 ---> 3 (51)
231 # 1 ---> 0 (52)
247 # 2 ---> 1 (52)
247 # 1 ---> 7 (53)
247 # 7 ---> 56 (54)
247 # 56 ---> 59 (55)
251 # 3 ---> 2 (52)
247 # 59 ---> 60 (56)
251 # 2 ---> 1 (53)
231 # 0 ---> 6 (53)
251 # 1 ---> 0 (54)
231 # 6 ---> 5 (54)
223 # 55 ---> 56 (55)
251 # 0 ---> 6 (55)
221 # 27 ---> 28 (52)
221 # 28 ---> 21 (53)
243 # 32 ---> 0 (55)
229 # 33 ---> 32 (55)
221 # 21 ---> 33 (55)
221 # 33 ---> 39 (56)
221 # 39 ---> 53 (57)
221 # 53 ---> 54 (58)
229 # 32 ---> 33 (56)
243 # 0 ---> 32 (56)
251 # 6 ---> 0 (56)
231 # 5 ---> 6 (56)
251 # 0 ---> 11 (57)
225 # 12 ---> 13 (53)
251 # 11 ---> 12 (58)
251 # 12 ---> 50 (59)
225 # 13 ---> 12 (59)
251 # 50 ---> 51 (60)
231 # 6 ---> 17 (57)
231 # 17 ---> 26 (58)
251 # 51 ---> 52 (61)
232 # 15 ---> 14 (42)
232 # 14 ---> 9 (43)
243 # 32 ---> 0 (57)
243 # 0 ---> 1 (58)
232 # 9 ---> 4 (51)
232 # 4 ---> 5 (56)
232 # 5 ---> 6 (57)
232 # 6 ---> 17 (58)
232 # 17 ---> 41 (59)
232 # 41 ---> 40 (60)
232 # 40 ---> 46 (61)
245 # 19 ---> 9 (51)
245 # 9 ---> 14 (52)
245 # 14 ---> 37 (53)
245 # 37 ---> 44 (54)
225 # 12 ---> 11 (60)
229 # 33 ---> 21 (57)
229 # 21 ---> 20 (58)
252 # 22 ---> 19 (51)
225 # 11 ---> 0 (61)
225 # 0 ---> 6 (62)
225 # 6 ---> 15 (63)
225 # 15 ---> 14 (64)
225 # 14 ---> 37 (65)
252 # 19 ---> 9 (52)
243 # 1 ---> 0 (62)
231 # 26 ---> 17 (59)
252 # 9 ---> 4 (56)
243 # 0 ---> 6 (63)
243 # 6 ---> 5 (64)
231 # 17 ---> 6 (64)
231 # 6 ---> 0 (65)
243 # 5 ---> 6 (65)
243 # 6 ---> 17 (66)
243 # 17 ---> 26 (67)
252 # 4 ---> 5 (65)
252 # 5 ---> 6 (66)
252 # 6 ---> 17 (67)
243 # 26 ---> 27 (68)
252 # 17 ---> 26 (68)
229 # 20 ---> 18 (59)
229 # 18 ---> 19 (60)
229 # 19 ---> 9 (61)
229 # 9 ---> 4 (65)
231 # 0 ---> 1 (66)
229 # 4 ---> 5 (66)
229 # 5 ---> 6 (67)
229 # 6 ---> 0 (68)
229 # 0 ---> 11 (69)
229 # 11 ---> 12 (70)
229 # 12 ---> 13 (71)
229 # 13 ---> 2 (72)
231 # 1 ---> 0 (69)
231 # 0 ---> 6 (70)
231 # 6 ---> 5 (71)
231 # 5 ---> 4 (72)
231 # 4 ---> 9 (73)
229 # 2 ---> 3 (73)
229 # 3 ---> 4 (74)
229 # 4 ---> 5 (75)
257 # 71 ---> 11 (70)
Reading goal arrangement...
Undirected graph: (|V|=259 |E|=371) [
    Vertex: (id = 0) {1 6 11 32 34 47 52 176 }
    Vertex: (id = 1) {0 2 7 169 }
    Vertex: (id = 2) {1 3 8 13 76 92 }
    Vertex: (id = 3) {2 4 10 81 }
    Vertex: (id = 4) {3 5 9 }
    Vertex: (id = 5) {4 6 16 83 144 }
    Vertex: (id = 6) {0 5 15 17 121 }
    Vertex: (id = 7) {1 8 54 56 140 }
    Vertex: (id = 8) {2 7 31 }
    Vertex: (id = 9) {4 10 14 19 132 }
    Vertex: (id = 10) {3 9 24 29 }
    Vertex: (id = 11) {0 12 71 }
    Vertex: (id = 12) {11 13 21 50 204 }
    Vertex: (id = 13) {2 12 18 25 }
    Vertex: (id = 14) {9 15 37 136 }
    Vertex: (id = 15) {6 14 49 86 99 }
    Vertex: (id = 16) {5 17 88 97 }
    Vertex: (id = 17) {6 16 26 41 }
    Vertex: (id = 18) {13 19 20 66 127 146 }
    Vertex: (id = 19) {9 18 22 174 }
    Vertex: (id = 20) {18 21 23 118 209 251 }
    Vertex: (id = 21) {12 20 28 33 64 77 255 }
    Vertex: (id = 22) {19 23 57 175 }
    Vertex: (id = 23) {20 22 38 193 }
    Vertex: (id = 24) {10 25 43 48 79 }
    Vertex: (id = 25) {13 24 42 87 94 188 220 }
    Vertex: (id = 26) {17 27 }
    Vertex: (id = 27) {26 28 149 }
    Vertex: (id = 28) {21 27 62 232 }
    Vertex: (id = 29) {10 30 84 119 }
    Vertex: (id = 30) {29 31 91 109 190 202 208 }
    Vertex: (id = 31) {8 30 100 }
    Vertex: (id = 32) {0 33 65 }
    Vertex: (id = 33) {21 32 36 39 224 }
    Vertex: (id = 34) {0 35 151 }
    Vertex: (id = 35) {34 36 }
    Vertex: (id = 36) {33 35 }
    Vertex: (id = 37) {14 38 44 }
    Vertex: (id = 38) {23 37 69 115 }
    Vertex: (id = 39) {33 40 53 }
    Vertex: (id = 40) {39 41 46 61 }
    Vertex: (id = 41) {17 40 55 105 }
    Vertex: (id = 42) {25 43 96 128 130 }
    Vertex: (id = 43) {24 42 45 58 60 156 }
    Vertex: (id = 44) {37 45 80 }
    Vertex: (id = 45) {43 44 181 }
    Vertex: (id = 46) {40 47 131 230 }
    Vertex: (id = 47) {0 46 63 189 }
    Vertex: (id = 48) {24 49 }
    Vertex: (id = 49) {15 48 }
    Vertex: (id = 50) {12 51 }
    Vertex: (id = 51) {50 52 68 125 172 256 }
    Vertex: (id = 52) {0 51 123 184 }
    Vertex: (id = 53) {39 54 }
    Vertex: (id = 54) {7 53 102 }
    Vertex: (id = 55) {41 56 74 }
    Vertex: (id = 56) {7 55 59 }
    Vertex: (id = 57) {22 58 171 }
    Vertex: (id = 58) {43 57 120 183 }
    Vertex: (id = 59) {56 60 198 218 }
    Vertex: (id = 60) {43 59 98 }
    Vertex: (id = 61) {40 62 }
    Vertex: (id = 62) {28 61 110 112 }
    Vertex: (id = 63) {47 64 95 122 }
    Vertex: (id = 64) {21 63 67 }
    Vertex: (id = 65) {32 66 }
    Vertex: (id = 66) {18 65 }
    Vertex: (id = 67) {64 68 72 }
    Vertex: (id = 68) {51 67 }
    Vertex: (id = 69) {38 70 }
    Vertex: (id = 70) {69 71 }
    Vertex: (id = 71) {11 70 108 }
    Vertex: (id = 72) {67 73 134 }
    Vertex: (id = 73) {72 74 150 243 }
    Vertex: (id = 74) {55 73 75 }
    Vertex: (id = 75) {74 76 129 168 }
    Vertex: (id = 76) {2 75 }
    Vertex: (id = 77) {21 78 117 152 213 238 }
    Vertex: (id = 78) {77 79 138 173 }
    Vertex: (id = 79) {24 78 111 154 }
    Vertex: (id = 80) {44 81 89 158 182 }
    Vertex: (id = 81) {3 80 82 }
    Vertex: (id = 82) {81 83 114 }
    Vertex: (id = 83) {5 82 }
    Vertex: (id = 84) {29 85 135 160 }
    Vertex: (id = 85) {84 86 }
    Vertex: (id = 86) {15 85 178 }
    Vertex: (id = 87) {25 88 93 186 }
    Vertex: (id = 88) {16 87 }
    Vertex: (id = 89) {80 90 177 }
    Vertex: (id = 90) {89 91 107 240 }
    Vertex: (id = 91) {30 90 126 }
    Vertex: (id = 92) {2 93 }
    Vertex: (id = 93) {87 92 103 }
    Vertex: (id = 94) {25 95 106 141 }
    Vertex: (id = 95) {63 94 124 244 }
    Vertex: (id = 96) {42 97 155 163 245 }
    Vertex: (id = 97) {16 96 }
    Vertex: (id = 98) {60 99 }
    Vertex: (id = 99) {15 98 }
    Vertex: (id = 100) {31 101 }
    Vertex: (id = 101) {100 102 }
    Vertex: (id = 102) {54 101 153 239 }
    Vertex: (id = 103) {93 104 }
    Vertex: (id = 104) {103 105 }
    Vertex: (id = 105) {41 104 166 }
    Vertex: (id = 106) {94 107 179 211 241 }
    Vertex: (id = 107) {90 106 }
    Vertex: (id = 108) {71 109 }
    Vertex: (id = 109) {30 108 201 207 }
    Vertex: (id = 110) {62 111 }
    Vertex: (id = 111) {79 110 161 }
    Vertex: (id = 112) {62 113 147 180 }
    Vertex: (id = 113) {112 114 }
    Vertex: (id = 114) {82 113 199 205 }
    Vertex: (id = 115) {38 116 }
    Vertex: (id = 116) {115 117 157 217 }
    Vertex: (id = 117) {77 116 226 }
    Vertex: (id = 118) {20 119 }
    Vertex: (id = 119) {29 118 139 }
    Vertex: (id = 120) {58 121 248 252 }
    Vertex: (id = 121) {6 120 }
    Vertex: (id = 122) {63 123 }
    Vertex: (id = 123) {52 122 }
    Vertex: (id = 124) {95 125 }
    Vertex: (id = 125) {51 124 }
    Vertex: (id = 126) {91 127 137 }
    Vertex: (id = 127) {18 126 }
    Vertex: (id = 128) {42 129 165 170 }
    Vertex: (id = 129) {75 128 }
    Vertex: (id = 130) {42 131 }
    Vertex: (id = 131) {46 130 }
    Vertex: (id = 132) {9 133 }
    Vertex: (id = 133) {132 134 }
    Vertex: (id = 134) {72 133 214 }
    Vertex: (id = 135) {84 136 143 }
    Vertex: (id = 136) {14 135 }
    Vertex: (id = 137) {126 138 206 }
    Vertex: (id = 138) {78 137 }
    Vertex: (id = 139) {119 140 }
    Vertex: (id = 140) {7 139 }
    Vertex: (id = 141) {94 142 }
    Vertex: (id = 142) {141 143 }
    Vertex: (id = 143) {135 142 }
    Vertex: (id = 144) {5 145 162 }
    Vertex: (id = 145) {144 146 }
    Vertex: (id = 146) {18 145 159 }
    Vertex: (id = 147) {112 148 }
    Vertex: (id = 148) {147 149 227 }
    Vertex: (id = 149) {27 148 253 }
    Vertex: (id = 150) {73 151 }
    Vertex: (id = 151) {34 150 229 }
    Vertex: (id = 152) {77 153 }
    Vertex: (id = 153) {102 152 187 }
    Vertex: (id = 154) {79 155 }
    Vertex: (id = 155) {96 154 }
    Vertex: (id = 156) {43 157 }
    Vertex: (id = 157) {116 156 191 }
    Vertex: (id = 158) {80 159 194 }
    Vertex: (id = 159) {146 158 164 185 }
    Vertex: (id = 160) {84 161 }
    Vertex: (id = 161) {111 160 221 }
    Vertex: (id = 162) {144 163 }
    Vertex: (id = 163) {96 162 }
    Vertex: (id = 164) {159 165 }
    Vertex: (id = 165) {128 164 222 }
    Vertex: (id = 166) {105 167 }
    Vertex: (id = 167) {166 168 231 }
    Vertex: (id = 168) {75 167 }
    Vertex: (id = 169) {1 170 }
    Vertex: (id = 170) {128 169 236 }
    Vertex: (id = 171) {57 172 197 }
    Vertex: (id = 172) {51 171 242 }
    Vertex: (id = 173) {78 174 }
    Vertex: (id = 174) {19 173 200 }
    Vertex: (id = 175) {22 176 }
    Vertex: (id = 176) {0 175 }
    Vertex: (id = 177) {89 178 }
    Vertex: (id = 178) {86 177 }
    Vertex: (id = 179) {106 180 212 }
    Vertex: (id = 180) {112 179 192 219 }
    Vertex: (id = 181) {45 182 }
    Vertex: (id = 182) {80 181 233 }
    Vertex: (id = 183) {58 184 215 }
    Vertex: (id = 184) {52 183 }
    Vertex: (id = 185) {159 186 }
    Vertex: (id = 186) {87 185 }
    Vertex: (id = 187) {153 188 }
    Vertex: (id = 188) {25 187 237 }
    Vertex: (id = 189) {47 190 195 }
    Vertex: (id = 190) {30 189 }
    Vertex: (id = 191) {157 192 }
    Vertex: (id = 192) {180 191 210 }
    Vertex: (id = 193) {23 194 }
    Vertex: (id = 194) {158 193 }
    Vertex: (id = 195) {189 196 }
    Vertex: (id = 196) {195 197 }
    Vertex: (id = 197) {171 196 }
    Vertex: (id = 198) {59 199 234 }
    Vertex: (id = 199) {114 198 235 }
    Vertex: (id = 200) {174 201 }
    Vertex: (id = 201) {109 200 }
    Vertex: (id = 202) {30 203 }
    Vertex: (id = 203) {202 204 }
    Vertex: (id = 204) {12 203 }
    Vertex: (id = 205) {114 206 249 }
    Vertex: (id = 206) {137 205 }
    Vertex: (id = 207) {109 208 }
    Vertex: (id = 208) {30 207 }
    Vertex: (id = 209) {20 210 }
    Vertex: (id = 210) {192 209 254 }
    Vertex: (id = 211) {106 212 }
    Vertex: (id = 212) {179 211 }
    Vertex: (id = 213) {77 214 }
    Vertex: (id = 214) {134 213 }
    Vertex: (id = 215) {183 216 }
    Vertex: (id = 216) {215 217 }
    Vertex: (id = 217) {116 216 }
    Vertex: (id = 218) {59 219 }
    Vertex: (id = 219) {180 218 }
    Vertex: (id = 220) {25 221 }
    Vertex: (id = 221) {161 220 }
    Vertex: (id = 222) {165 223 }
    Vertex: (id = 223) {222 224 225 }
    Vertex: (id = 224) {33 223 }
    Vertex: (id = 225) {223 226 }
    Vertex: (id = 226) {117 225 }
    Vertex: (id = 227) {148 228 }
    Vertex: (id = 228) {227 229 }
    Vertex: (id = 229) {151 228 }
    Vertex: (id = 230) {46 231 }
    Vertex: (id = 231) {167 230 258 }
    Vertex: (id = 232) {28 233 246 }
    Vertex: (id = 233) {182 232 }
    Vertex: (id = 234) {198 235 }
    Vertex: (id = 235) {199 234 }
    Vertex: (id = 236) {170 237 }
    Vertex: (id = 237) {188 236 }
    Vertex: (id = 238) {77 239 }
    Vertex: (id = 239) {102 238 }
    Vertex: (id = 240) {90 241 }
    Vertex: (id = 241) {106 240 }
    Vertex: (id = 242) {172 243 }
    Vertex: (id = 243) {73 242 }
    Vertex: (id = 244) {95 245 }
    Vertex: (id = 245) {96 244 }
    Vertex: (id = 246) {232 247 }
    Vertex: (id = 247) {246 248 }
    Vertex: (id = 248) {120 247 }
    Vertex: (id = 249) {205 250 }
    Vertex: (id = 250) {249 251 }
    Vertex: (id = 251) {20 250 }
    Vertex: (id = 252) {120 253 }
    Vertex: (id = 253) {149 252 }
    Vertex: (id = 254) {210 255 }
    Vertex: (id = 255) {21 254 }
    Vertex: (id = 256) {51 257 }
    Vertex: (id = 257) {256 258 }
    Vertex: (id = 258) {231 257 }
    Edge  0 <-> 1 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8680)
    ]
    Edge  0 <-> 6 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8740)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8680)
    ]
    Edge  0 <-> 11 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8680)
    ]
    Edge  0 <-> 32 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8680)
    ]
    Edge  0 <-> 34 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ac0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8680)
    ]
    Edge  0 <-> 47 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8680)
    ]
    Edge  0 <-> 52 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8680)
    ]
    Edge  0 <-> 176 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8680)
    ]
    Edge  1 <-> 2 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86a0)
    ]
    Edge  1 <-> 7 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8760)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86a0)
    ]
    Edge  1 <-> 169 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ba0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86a0)
    ]
    Edge  2 <-> 3 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86c0)
    ]
    Edge  2 <-> 8 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8780)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86c0)
    ]
    Edge  2 <-> 13 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8820)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86c0)
    ]
    Edge  2 <-> 76 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9000)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86c0)
    ]
    Edge  2 <-> 92 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9200)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86c0)
    ]
    Edge  3 <-> 4 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8700)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86e0)
    ]
    Edge  3 <-> 10 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86e0)
    ]
    Edge  3 <-> 81 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb90a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb86e0)
    ]
    Edge  4 <-> 5 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8720)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8700)
    ]
    Edge  4 <-> 9 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8700)
    ]
    Edge  5 <-> 6 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8740)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8720)
    ]
    Edge  5 <-> 16 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8880)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8720)
    ]
    Edge  5 <-> 83 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb90e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8720)
    ]
    Edge  5 <-> 144 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9880)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8720)
    ]
    Edge  6 <-> 15 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8860)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8740)
    ]
    Edge  6 <-> 17 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8740)
    ]
    Edge  6 <-> 121 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb95a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8740)
    ]
    Edge  7 <-> 8 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8780)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8760)
    ]
    Edge  7 <-> 54 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8760)
    ]
    Edge  7 <-> 56 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8760)
    ]
    Edge  7 <-> 140 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9800)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8760)
    ]
    Edge  8 <-> 31 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8780)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87a0)
    ]
    Edge  9 <-> 14 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8840)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87a0)
    ]
    Edge  9 <-> 19 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87a0)
    ]
    Edge  9 <-> 132 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9700)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87a0)
    ]
    Edge  10 <-> 24 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8980)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87c0)
    ]
    Edge  10 <-> 29 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87c0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8800)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87e0)
    ]
    Edge  11 <-> 71 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb87e0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8820)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8800)
    ]
    Edge  12 <-> 21 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8920)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8800)
    ]
    Edge  12 <-> 50 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8cc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8800)
    ]
    Edge  12 <-> 204 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba000)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8800)
    ]
    Edge  13 <-> 18 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8820)
    ]
    Edge  13 <-> 25 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8820)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8860)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8840)
    ]
    Edge  14 <-> 37 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8840)
    ]
    Edge  14 <-> 136 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9780)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8840)
    ]
    Edge  15 <-> 49 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ca0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8860)
    ]
    Edge  15 <-> 86 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9140)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8860)
    ]
    Edge  15 <-> 99 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb92e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8860)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8880)
    ]
    Edge  16 <-> 88 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9180)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8880)
    ]
    Edge  16 <-> 97 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb92a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8880)
    ]
    Edge  17 <-> 26 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88a0)
    ]
    Edge  17 <-> 41 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ba0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88a0)
    ]
    Edge  18 <-> 19 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88c0)
    ]
    Edge  18 <-> 20 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8900)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88c0)
    ]
    Edge  18 <-> 66 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ec0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88c0)
    ]
    Edge  18 <-> 127 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9660)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88c0)
    ]
    Edge  18 <-> 146 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb98c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88c0)
    ]
    Edge  19 <-> 22 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8940)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88e0)
    ]
    Edge  19 <-> 174 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb88e0)
    ]
    Edge  20 <-> 21 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8920)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8900)
    ]
    Edge  20 <-> 23 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8960)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8900)
    ]
    Edge  20 <-> 118 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9540)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8900)
    ]
    Edge  20 <-> 209 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba0a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8900)
    ]
    Edge  20 <-> 251 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba5e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8900)
    ]
    Edge  21 <-> 28 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8920)
    ]
    Edge  21 <-> 33 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8aa0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8920)
    ]
    Edge  21 <-> 64 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8920)
    ]
    Edge  21 <-> 77 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9020)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8920)
    ]
    Edge  21 <-> 255 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba660)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8920)
    ]
    Edge  22 <-> 23 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8960)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8940)
    ]
    Edge  22 <-> 57 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8da0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8940)
    ]
    Edge  22 <-> 175 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8940)
    ]
    Edge  23 <-> 38 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8960)
    ]
    Edge  23 <-> 193 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ea0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8960)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8980)
    ]
    Edge  24 <-> 43 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8be0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8980)
    ]
    Edge  24 <-> 48 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8980)
    ]
    Edge  24 <-> 79 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9060)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8980)
    ]
    Edge  25 <-> 42 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8bc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89a0)
    ]
    Edge  25 <-> 87 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9160)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89a0)
    ]
    Edge  25 <-> 94 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9240)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89a0)
    ]
    Edge  25 <-> 188 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89a0)
    ]
    Edge  25 <-> 220 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba200)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89a0)
    ]
    Edge  26 <-> 27 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89c0)
    ]
    Edge  27 <-> 28 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89e0)
    ]
    Edge  27 <-> 149 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9920)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb89e0)
    ]
    Edge  28 <-> 62 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a00)
    ]
    Edge  28 <-> 232 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba380)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a00)
    ]
    Edge  29 <-> 30 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a20)
    ]
    Edge  29 <-> 84 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9100)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a20)
    ]
    Edge  29 <-> 119 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9560)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a20)
    ]
    Edge  30 <-> 31 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a40)
    ]
    Edge  30 <-> 91 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb91e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a40)
    ]
    Edge  30 <-> 109 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9420)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a40)
    ]
    Edge  30 <-> 190 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a40)
    ]
    Edge  30 <-> 202 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9fc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a40)
    ]
    Edge  30 <-> 208 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba080)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a40)
    ]
    Edge  31 <-> 100 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9300)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a60)
    ]
    Edge  32 <-> 33 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8aa0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a80)
    ]
    Edge  32 <-> 65 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ea0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8a80)
    ]
    Edge  33 <-> 36 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8aa0)
    ]
    Edge  33 <-> 39 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8aa0)
    ]
    Edge  33 <-> 224 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba280)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8aa0)
    ]
    Edge  34 <-> 35 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ae0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ac0)
    ]
    Edge  34 <-> 151 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9960)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ac0)
    ]
    Edge  35 <-> 36 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ae0)
    ]
    Edge  37 <-> 38 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b20)
    ]
    Edge  37 <-> 44 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b20)
    ]
    Edge  38 <-> 69 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b40)
    ]
    Edge  38 <-> 115 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb94e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b40)
    ]
    Edge  39 <-> 40 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b60)
    ]
    Edge  39 <-> 53 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b60)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ba0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b80)
    ]
    Edge  40 <-> 46 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b80)
    ]
    Edge  40 <-> 61 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8b80)
    ]
    Edge  41 <-> 55 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ba0)
    ]
    Edge  41 <-> 105 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb93a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ba0)
    ]
    Edge  42 <-> 43 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8be0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8bc0)
    ]
    Edge  42 <-> 96 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9280)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8bc0)
    ]
    Edge  42 <-> 128 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9680)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8bc0)
    ]
    Edge  42 <-> 130 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb96c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8bc0)
    ]
    Edge  43 <-> 45 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8be0)
    ]
    Edge  43 <-> 58 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8dc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8be0)
    ]
    Edge  43 <-> 60 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8be0)
    ]
    Edge  43 <-> 156 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8be0)
    ]
    Edge  44 <-> 45 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c00)
    ]
    Edge  44 <-> 80 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9080)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c00)
    ]
    Edge  45 <-> 181 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c20)
    ]
    Edge  46 <-> 47 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c40)
    ]
    Edge  46 <-> 131 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb96e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c40)
    ]
    Edge  46 <-> 230 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba340)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c40)
    ]
    Edge  47 <-> 63 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c60)
    ]
    Edge  47 <-> 189 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c60)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ca0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8c80)
    ]
    Edge  50 <-> 51 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ce0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8cc0)
    ]
    Edge  51 <-> 52 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ce0)
    ]
    Edge  51 <-> 68 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ce0)
    ]
    Edge  51 <-> 125 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9620)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ce0)
    ]
    Edge  51 <-> 172 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ce0)
    ]
    Edge  51 <-> 256 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba680)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ce0)
    ]
    Edge  52 <-> 123 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb95e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d00)
    ]
    Edge  52 <-> 184 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d00)
    ]
    Edge  53 <-> 54 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d20)
    ]
    Edge  54 <-> 102 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9340)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d40)
    ]
    Edge  55 <-> 56 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d60)
    ]
    Edge  55 <-> 74 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d60)
    ]
    Edge  56 <-> 59 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8de0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8d80)
    ]
    Edge  57 <-> 58 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8dc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8da0)
    ]
    Edge  57 <-> 171 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9be0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8da0)
    ]
    Edge  58 <-> 120 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9580)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8dc0)
    ]
    Edge  58 <-> 183 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8dc0)
    ]
    Edge  59 <-> 60 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8de0)
    ]
    Edge  59 <-> 198 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8de0)
    ]
    Edge  59 <-> 218 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba1c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8de0)
    ]
    Edge  60 <-> 98 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb92c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e00)
    ]
    Edge  61 <-> 62 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e20)
    ]
    Edge  62 <-> 110 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9440)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e40)
    ]
    Edge  62 <-> 112 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9480)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e40)
    ]
    Edge  63 <-> 64 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e60)
    ]
    Edge  63 <-> 95 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9260)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e60)
    ]
    Edge  63 <-> 122 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb95c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e60)
    ]
    Edge  64 <-> 67 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ee0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8e80)
    ]
    Edge  65 <-> 66 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ec0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ea0)
    ]
    Edge  67 <-> 68 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ee0)
    ]
    Edge  67 <-> 72 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8ee0)
    ]
    Edge  69 <-> 70 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f20)
    ]
    Edge  70 <-> 71 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f40)
    ]
    Edge  71 <-> 108 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9400)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f60)
    ]
    Edge  72 <-> 73 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fa0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f80)
    ]
    Edge  72 <-> 134 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9740)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8f80)
    ]
    Edge  73 <-> 74 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fa0)
    ]
    Edge  73 <-> 150 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9940)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fa0)
    ]
    Edge  73 <-> 243 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba4e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fa0)
    ]
    Edge  74 <-> 75 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fe0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fc0)
    ]
    Edge  75 <-> 76 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9000)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fe0)
    ]
    Edge  75 <-> 129 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb96a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fe0)
    ]
    Edge  75 <-> 168 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb8fe0)
    ]
    Edge  77 <-> 78 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9040)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9020)
    ]
    Edge  77 <-> 117 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9520)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9020)
    ]
    Edge  77 <-> 152 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9980)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9020)
    ]
    Edge  77 <-> 213 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba120)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9020)
    ]
    Edge  77 <-> 238 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba440)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9020)
    ]
    Edge  78 <-> 79 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9060)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9040)
    ]
    Edge  78 <-> 138 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb97c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9040)
    ]
    Edge  78 <-> 173 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9040)
    ]
    Edge  79 <-> 111 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9460)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9060)
    ]
    Edge  79 <-> 154 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb99c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9060)
    ]
    Edge  80 <-> 81 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb90a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9080)
    ]
    Edge  80 <-> 89 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb91a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9080)
    ]
    Edge  80 <-> 158 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9080)
    ]
    Edge  80 <-> 182 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9080)
    ]
    Edge  81 <-> 82 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb90c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb90a0)
    ]
    Edge  82 <-> 83 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb90e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb90c0)
    ]
    Edge  82 <-> 114 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb94c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb90c0)
    ]
    Edge  84 <-> 85 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9120)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9100)
    ]
    Edge  84 <-> 135 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9760)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9100)
    ]
    Edge  84 <-> 160 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9100)
    ]
    Edge  85 <-> 86 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9140)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9120)
    ]
    Edge  86 <-> 178 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9cc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9140)
    ]
    Edge  87 <-> 88 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9180)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9160)
    ]
    Edge  87 <-> 93 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9220)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9160)
    ]
    Edge  87 <-> 186 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9dc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9160)
    ]
    Edge  89 <-> 90 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb91c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb91a0)
    ]
    Edge  89 <-> 177 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ca0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb91a0)
    ]
    Edge  90 <-> 91 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb91e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb91c0)
    ]
    Edge  90 <-> 107 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb93e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb91c0)
    ]
    Edge  90 <-> 240 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba480)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb91c0)
    ]
    Edge  91 <-> 126 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9640)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb91e0)
    ]
    Edge  92 <-> 93 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9220)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9200)
    ]
    Edge  93 <-> 103 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9360)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9220)
    ]
    Edge  94 <-> 95 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9260)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9240)
    ]
    Edge  94 <-> 106 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb93c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9240)
    ]
    Edge  94 <-> 141 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9820)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9240)
    ]
    Edge  95 <-> 124 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9600)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9260)
    ]
    Edge  95 <-> 244 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba500)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9260)
    ]
    Edge  96 <-> 97 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb92a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9280)
    ]
    Edge  96 <-> 155 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb99e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9280)
    ]
    Edge  96 <-> 163 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ae0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9280)
    ]
    Edge  96 <-> 245 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba520)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9280)
    ]
    Edge  98 <-> 99 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb92e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb92c0)
    ]
    Edge  100 <-> 101 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9320)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9300)
    ]
    Edge  101 <-> 102 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9340)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9320)
    ]
    Edge  102 <-> 153 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb99a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9340)
    ]
    Edge  102 <-> 239 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba460)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9340)
    ]
    Edge  103 <-> 104 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9380)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9360)
    ]
    Edge  104 <-> 105 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb93a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9380)
    ]
    Edge  105 <-> 166 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb93a0)
    ]
    Edge  106 <-> 107 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb93e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb93c0)
    ]
    Edge  106 <-> 179 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ce0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb93c0)
    ]
    Edge  106 <-> 211 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba0e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb93c0)
    ]
    Edge  106 <-> 241 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba4a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb93c0)
    ]
    Edge  108 <-> 109 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9420)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9400)
    ]
    Edge  109 <-> 201 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9fa0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9420)
    ]
    Edge  109 <-> 207 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba060)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9420)
    ]
    Edge  110 <-> 111 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9460)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9440)
    ]
    Edge  111 <-> 161 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9aa0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9460)
    ]
    Edge  112 <-> 113 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb94a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9480)
    ]
    Edge  112 <-> 147 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb98e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9480)
    ]
    Edge  112 <-> 180 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9480)
    ]
    Edge  113 <-> 114 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb94c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb94a0)
    ]
    Edge  114 <-> 199 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb94c0)
    ]
    Edge  114 <-> 205 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba020)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb94c0)
    ]
    Edge  115 <-> 116 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9500)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb94e0)
    ]
    Edge  116 <-> 117 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9520)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9500)
    ]
    Edge  116 <-> 157 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9500)
    ]
    Edge  116 <-> 217 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba1a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9500)
    ]
    Edge  117 <-> 226 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba2c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9520)
    ]
    Edge  118 <-> 119 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9560)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9540)
    ]
    Edge  119 <-> 139 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb97e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9560)
    ]
    Edge  120 <-> 121 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb95a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9580)
    ]
    Edge  120 <-> 248 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba580)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9580)
    ]
    Edge  120 <-> 252 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba600)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9580)
    ]
    Edge  122 <-> 123 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb95e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb95c0)
    ]
    Edge  124 <-> 125 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9620)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9600)
    ]
    Edge  126 <-> 127 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9660)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9640)
    ]
    Edge  126 <-> 137 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb97a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9640)
    ]
    Edge  128 <-> 129 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb96a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9680)
    ]
    Edge  128 <-> 165 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9680)
    ]
    Edge  128 <-> 170 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9bc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9680)
    ]
    Edge  130 <-> 131 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb96e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb96c0)
    ]
    Edge  132 <-> 133 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9720)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9700)
    ]
    Edge  133 <-> 134 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9740)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9720)
    ]
    Edge  134 <-> 214 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba140)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9740)
    ]
    Edge  135 <-> 136 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9780)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9760)
    ]
    Edge  135 <-> 143 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9860)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9760)
    ]
    Edge  137 <-> 138 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb97c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb97a0)
    ]
    Edge  137 <-> 206 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba040)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb97a0)
    ]
    Edge  139 <-> 140 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9800)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb97e0)
    ]
    Edge  141 <-> 142 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9840)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9820)
    ]
    Edge  142 <-> 143 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9860)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9840)
    ]
    Edge  144 <-> 145 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb98a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9880)
    ]
    Edge  144 <-> 162 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ac0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9880)
    ]
    Edge  145 <-> 146 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb98c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb98a0)
    ]
    Edge  146 <-> 159 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb98c0)
    ]
    Edge  147 <-> 148 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9900)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb98e0)
    ]
    Edge  148 <-> 149 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9920)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9900)
    ]
    Edge  148 <-> 227 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba2e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9900)
    ]
    Edge  149 <-> 253 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba620)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9920)
    ]
    Edge  150 <-> 151 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9960)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9940)
    ]
    Edge  151 <-> 229 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba320)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9960)
    ]
    Edge  152 <-> 153 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb99a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9980)
    ]
    Edge  153 <-> 187 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9de0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb99a0)
    ]
    Edge  154 <-> 155 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb99e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb99c0)
    ]
    Edge  156 <-> 157 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a00)
    ]
    Edge  157 <-> 191 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a20)
    ]
    Edge  158 <-> 159 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a40)
    ]
    Edge  158 <-> 194 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ec0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a40)
    ]
    Edge  159 <-> 164 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a60)
    ]
    Edge  159 <-> 185 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9da0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a60)
    ]
    Edge  160 <-> 161 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9aa0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9a80)
    ]
    Edge  161 <-> 221 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba220)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9aa0)
    ]
    Edge  162 <-> 163 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ae0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ac0)
    ]
    Edge  164 <-> 165 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b00)
    ]
    Edge  165 <-> 222 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba240)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b20)
    ]
    Edge  166 <-> 167 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b40)
    ]
    Edge  167 <-> 168 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b60)
    ]
    Edge  167 <-> 231 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba360)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9b60)
    ]
    Edge  169 <-> 170 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9bc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ba0)
    ]
    Edge  170 <-> 236 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba400)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9bc0)
    ]
    Edge  171 <-> 172 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9be0)
    ]
    Edge  171 <-> 197 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9be0)
    ]
    Edge  172 <-> 242 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba4c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c00)
    ]
    Edge  173 <-> 174 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c20)
    ]
    Edge  174 <-> 200 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c40)
    ]
    Edge  175 <-> 176 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9c60)
    ]
    Edge  177 <-> 178 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9cc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ca0)
    ]
    Edge  179 <-> 180 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ce0)
    ]
    Edge  179 <-> 212 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba100)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ce0)
    ]
    Edge  180 <-> 192 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d00)
    ]
    Edge  180 <-> 219 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba1e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d00)
    ]
    Edge  181 <-> 182 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d20)
    ]
    Edge  182 <-> 233 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba3a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d40)
    ]
    Edge  183 <-> 184 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d60)
    ]
    Edge  183 <-> 215 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba160)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9d60)
    ]
    Edge  185 <-> 186 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9dc0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9da0)
    ]
    Edge  187 <-> 188 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9de0)
    ]
    Edge  188 <-> 237 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba420)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e00)
    ]
    Edge  189 <-> 190 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e40)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e20)
    ]
    Edge  189 <-> 195 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ee0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e20)
    ]
    Edge  191 <-> 192 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e80)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e60)
    ]
    Edge  192 <-> 210 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba0c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9e80)
    ]
    Edge  193 <-> 194 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ec0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ea0)
    ]
    Edge  195 <-> 196 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f00)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9ee0)
    ]
    Edge  196 <-> 197 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f20)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f00)
    ]
    Edge  198 <-> 199 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f60)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f40)
    ]
    Edge  198 <-> 234 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba3c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f40)
    ]
    Edge  199 <-> 235 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba3e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f60)
    ]
    Edge  200 <-> 201 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9fa0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9f80)
    ]
    Edge  202 <-> 203 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9fe0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9fc0)
    ]
    Edge  203 <-> 204 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba000)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fb9fe0)
    ]
    Edge  205 <-> 206 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba040)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba020)
    ]
    Edge  205 <-> 249 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba5a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba020)
    ]
    Edge  207 <-> 208 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba080)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba060)
    ]
    Edge  209 <-> 210 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba0c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba0a0)
    ]
    Edge  210 <-> 254 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba640)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba0c0)
    ]
    Edge  211 <-> 212 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba100)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba0e0)
    ]
    Edge  213 <-> 214 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba140)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba120)
    ]
    Edge  215 <-> 216 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba180)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba160)
    ]
    Edge  216 <-> 217 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba1a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba180)
    ]
    Edge  218 <-> 219 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba1e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba1c0)
    ]
    Edge  220 <-> 221 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba220)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba200)
    ]
    Edge  222 <-> 223 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba260)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba240)
    ]
    Edge  223 <-> 224 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba280)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba260)
    ]
    Edge  223 <-> 225 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba2a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba260)
    ]
    Edge  225 <-> 226 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba2c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba2a0)
    ]
    Edge  227 <-> 228 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba300)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba2e0)
    ]
    Edge  228 <-> 229 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba320)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba300)
    ]
    Edge  230 <-> 231 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba360)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba340)
    ]
    Edge  231 <-> 258 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba6c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba360)
    ]
    Edge  232 <-> 233 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba3a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba380)
    ]
    Edge  232 <-> 246 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba540)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba380)
    ]
    Edge  234 <-> 235 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba3e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba3c0)
    ]
    Edge  236 <-> 237 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba420)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba400)
    ]
    Edge  238 <-> 239 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba460)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba440)
    ]
    Edge  240 <-> 241 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba4a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba480)
    ]
    Edge  242 <-> 243 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba4e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba4c0)
    ]
    Edge  244 <-> 245 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba520)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba500)
    ]
    Edge  246 <-> 247 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba560)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba540)
    ]
    Edge  247 <-> 248 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba580)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba560)
    ]
    Edge  249 <-> 250 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba5c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba5a0)
    ]
    Edge  250 <-> 251 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba5e0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba5c0)
    ]
    Edge  252 <-> 253 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba620)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba600)
    ]
    Edge  254 <-> 255 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba660)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba640)
    ]
    Edge  256 <-> 257 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba6a0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba680)
    ]
    Edge  257 <-> 258 [
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba6c0)
        Arc: (edge = 0x7fffea8c2a40, target = 0x1fba6a0)
    ]
]
Robot arrangement: (|R| = 38, |V| = 259) [
     robot locations: {1#10 2#15 3#18 4#22 5#28 6#35 7#39 8#40 9#43 10#59 11#60 12#81 13#82 14#87 15#88 16#92 17#108 18#121 19#136 20#138 21#141 22#147 23#151 24#155 25#157 26#159 27#166 28#170 29#171 30#182 31#189 32#197 33#208 34#214 35#227 36#243 37#247 38#257 }
     vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 1#10 0#11 0#12 0#13 0#14 2#15 0#16 0#17 3#18 0#19 0#20 0#21 4#22 0#23 0#24 0#25 0#26 0#27 5#28 0#29 0#30 0#31 0#32 0#33 0#34 6#35 0#36 0#37 0#38 7#39 8#40 0#41 0#42 9#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 10#59 11#60 0#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 12#81 13#82 0#83 0#84 0#85 0#86 14#87 15#88 0#89 0#90 0#91 16#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 17#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 18#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 19#136 0#137 20#138 0#139 0#140 21#141 0#142 0#143 0#144 0#145 0#146 22#147 0#148 0#149 0#150 23#151 0#152 0#153 0#154 24#155 0#156 25#157 0#158 26#159 0#160 0#161 0#162 0#163 0#164 0#165 27#166 0#167 0#168 0#169 28#170 29#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 30#182 0#183 0#184 0#185 0#186 0#187 0#188 31#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 32#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 0#205 0#206 0#207 33#208 0#209 0#210 0#211 0#212 0#213 34#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 35#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 36#243 0#244 0#245 0#246 37#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 38#257 0#258 }
]
Robot arrangement: (|R| = 38, |V| = 259) [
     robot locations: {1#5 2#9 3#11 4#26 5#27 6#37 7#44 8#46 9#52 10#54 11#56 12#60 13#74 14#96 15#97 16#110 17#112 18#122 19#127 20#147 21#152 22#162 23#164 24#167 25#194 26#202 27#205 28#211 29#213 30#214 31#215 32#221 33#222 34#227 35#246 36#248 37#251 38#252 }
     vertex occupancy: {0#0 0#1 0#2 0#3 0#4 1#5 0#6 0#7 0#8 2#9 0#10 3#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 4#26 5#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 6#37 0#38 0#39 0#40 0#41 0#42 0#43 7#44 0#45 8#46 0#47 0#48 0#49 0#50 0#51 9#52 0#53 10#54 0#55 11#56 0#57 0#58 0#59 12#60 0#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 13#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 14#96 15#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 16#110 0#111 17#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 18#122 0#123 0#124 0#125 0#126 19#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 20#147 0#148 0#149 0#150 0#151 21#152 0#153 0#154 0#155 0#156 0#157 0#158 0#159 0#160 0#161 22#162 0#163 23#164 0#165 0#166 24#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 25#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 26#202 0#203 0#204 27#205 0#206 0#207 0#208 0#209 0#210 28#211 0#212 29#213 30#214 31#215 0#216 0#217 0#218 0#219 0#220 32#221 33#222 0#223 0#224 0#225 0#226 34#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 35#246 0#247 36#248 0#249 0#250 37#251 38#252 0#253 0#254 0#255 0#256 0#257 0#258 }
]
Unable to provide a new solution.
Phase statistics (current phase = 'root_phase') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 0
            Satisfiable SAT solver calls   = 0
            Unsatisfiable SAT solver calls = 0
            Indeterminate SAT solver calls = 0
            Move executions                = 0
            Produced CNF variables         = 0
            Produced CNF clauses           = 0
            Search steps                   = 0
            Wall clock TIME (seconds)      = 0.026
            CPU/machine TIME (seconds)     = 0.020
        ]
        Sub-phases {
            Phase (name = 'WHCA*_solving') [
                Total SAT solver calls         = 0
                Satisfiable SAT solver calls   = 0
                Unsatisfiable SAT solver calls = 0
                Indeterminate SAT solver calls = 0
                Move executions                = 0
                Produced CNF variables         = 0
                Produced CNF clauses           = 0
                Search steps                   = 10713
                Wall clock TIME (seconds)      = 0.014
                CPU/machine TIME (seconds)     = 0.010
            ]
        }
]
----------------------------------------------------------------