================================================================
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:1096
240 # 15 ---> 86 (0)
251 # 81 ---> 3 (0)
251 # 3 ---> 4 (1)
218 # 258 ---> 231 (0)
228 # 257 ---> 258 (0)
218 # 231 ---> 230 (1)
228 # 258 ---> 231 (1)
218 # 230 ---> 46 (2)
228 # 231 ---> 230 (2)
209 # 193 ---> 23 (0)
209 # 23 ---> 38 (1)
218 # 46 ---> 47 (3)
228 # 230 ---> 46 (3)
204 # 1 ---> 7 (0)
227 # 10 ---> 3 (1)
246 # 43 ---> 24 (0)
235 # 60 ---> 43 (0)
253 # 59 ---> 60 (0)
210 # 114 ---> 199 (0)
215 # 219 ---> 180 (0)
210 # 199 ---> 198 (1)
215 # 180 ---> 112 (1)
242 # 166 ---> 167 (0)
229 # 40 ---> 41 (0)
228 # 46 ---> 40 (4)
242 # 167 ---> 231 (2)
229 # 41 ---> 105 (1)
228 # 40 ---> 41 (5)
218 # 47 ---> 46 (4)
222 # 82 ---> 81 (0)
215 # 112 ---> 113 (2)
223 # 157 ---> 191 (0)
235 # 43 ---> 156 (1)
253 # 60 ---> 43 (1)
204 # 7 ---> 56 (1)
246 # 24 ---> 10 (1)
253 # 43 ---> 24 (2)
254 # 121 ---> 120 (0)
214 # 26 ---> 17 (0)
241 # 35 ---> 34 (0)
241 # 34 ---> 0 (1)
241 # 0 ---> 6 (2)
241 # 6 ---> 121 (3)
211 # 48 ---> 49 (0)
253 # 24 ---> 48 (3)
254 # 120 ---> 58 (1)
241 # 121 ---> 120 (4)
241 # 120 ---> 252 (5)
214 # 17 ---> 6 (3)
214 # 6 ---> 0 (4)
222 # 81 ---> 80 (1)
227 # 3 ---> 81 (2)
227 # 81 ---> 82 (3)
227 # 82 ---> 114 (4)
227 # 114 ---> 205 (5)
227 # 205 ---> 249 (6)
234 # 18 ---> 127 (0)
214 # 0 ---> 32 (5)
227 # 249 ---> 250 (7)
234 # 127 ---> 126 (1)
227 # 250 ---> 251 (8)
220 # 206 ---> 205 (6)
246 # 10 ---> 3 (2)
249 # 182 ---> 181 (0)
222 # 80 ---> 182 (2)
222 # 182 ---> 233 (3)
222 # 233 ---> 232 (4)
250 # 247 ---> 248 (0)
222 # 232 ---> 246 (5)
249 # 181 ---> 182 (3)
254 # 58 ---> 43 (2)
204 # 56 ---> 55 (2)
228 # 41 ---> 17 (6)
204 # 55 ---> 41 (6)
228 # 17 ---> 6 (7)
204 # 41 ---> 17 (7)
204 # 17 ---> 26 (8)
204 # 26 ---> 27 (9)
228 # 6 ---> 17 (8)
224 # 28 ---> 21 (0)
204 # 27 ---> 28 (10)
204 # 28 ---> 232 (11)
250 # 248 ---> 120 (5)
222 # 246 ---> 247 (6)
204 # 232 ---> 246 (12)
249 # 182 ---> 233 (4)
254 # 43 ---> 45 (3)
250 # 120 ---> 58 (6)
242 # 231 ---> 230 (3)
218 # 46 ---> 40 (5)
242 # 230 ---> 46 (5)
218 # 40 ---> 41 (7)
242 # 46 ---> 40 (7)
242 # 40 ---> 61 (8)
242 # 61 ---> 62 (9)
242 # 62 ---> 28 (11)
242 # 28 ---> 232 (12)
222 # 247 ---> 248 (7)
204 # 246 ---> 247 (13)
242 # 232 ---> 246 (13)
249 # 233 ---> 232 (13)
254 # 45 ---> 181 (4)
250 # 58 ---> 43 (7)
207 # 244 ---> 245 (0)
207 # 245 ---> 96 (1)
207 # 96 ---> 42 (2)
208 # 29 ---> 10 (2)
208 # 10 ---> 9 (3)
208 # 9 ---> 19 (4)
231 # 22 ---> 23 (1)
208 # 19 ---> 22 (5)
208 # 22 ---> 57 (6)
233 # 171 ---> 172 (0)
208 # 57 ---> 171 (7)
233 # 172 ---> 51 (1)
208 # 171 ---> 172 (8)
225 # 243 ---> 73 (0)
212 # 242 ---> 243 (0)
208 # 172 ---> 242 (9)
233 # 51 ---> 172 (9)
219 # 67 ---> 68 (0)
225 # 73 ---> 72 (1)
209 # 38 ---> 37 (2)
231 # 23 ---> 38 (2)
224 # 21 ---> 20 (1)
249 # 232 ---> 28 (14)
249 # 28 ---> 21 (15)
249 # 21 ---> 12 (16)
228 # 17 ---> 26 (9)
249 # 12 ---> 11 (17)
233 # 172 ---> 171 (10)
212 # 243 ---> 73 (1)
208 # 242 ---> 243 (10)
219 # 68 ---> 51 (9)
225 # 72 ---> 67 (2)
212 # 73 ---> 72 (2)
246 # 3 ---> 10 (3)
250 # 43 ---> 45 (8)
235 # 156 ---> 43 (8)
231 # 38 ---> 115 (3)
209 # 37 ---> 38 (3)
250 # 45 ---> 44 (9)
235 # 43 ---> 45 (9)
231 # 115 ---> 116 (4)
209 # 38 ---> 115 (4)
250 # 44 ---> 37 (10)
235 # 45 ---> 44 (10)
246 # 10 ---> 24 (4)
250 # 37 ---> 14 (11)
235 # 44 ---> 37 (11)
217 # 102 ---> 54 (0)
248 # 170 ---> 128 (0)
211 # 49 ---> 15 (1)
253 # 48 ---> 49 (4)
246 # 24 ---> 48 (5)
207 # 42 ---> 25 (3)
207 # 25 ---> 24 (5)
202 # 188 ---> 25 (5)
205 # 237 ---> 188 (5)
202 # 25 ---> 42 (6)
205 # 188 ---> 25 (6)
218 # 41 ---> 55 (8)
218 # 55 ---> 74 (9)
218 # 74 ---> 75 (10)
205 # 25 ---> 13 (7)
202 # 42 ---> 25 (7)
218 # 75 ---> 129 (11)
205 # 13 ---> 2 (8)
202 # 25 ---> 13 (8)
248 # 128 ---> 42 (7)
218 # 129 ---> 128 (12)
218 # 128 ---> 170 (13)
218 # 170 ---> 236 (14)
210 # 198 ---> 59 (2)
215 # 113 ---> 114 (5)
215 # 114 ---> 199 (6)
215 # 199 ---> 198 (7)
215 # 198 ---> 234 (8)
215 # 234 ---> 235 (9)
235 # 37 ---> 38 (12)
249 # 11 ---> 0 (18)
202 # 13 ---> 12 (17)
205 # 2 ---> 13 (17)
202 # 12 ---> 11 (18)
205 # 13 ---> 12 (18)
205 # 12 ---> 21 (19)
205 # 21 ---> 28 (20)
205 # 28 ---> 232 (21)
224 # 20 ---> 21 (20)
235 # 38 ---> 23 (13)
250 # 14 ---> 37 (12)
251 # 4 ---> 9 (4)
229 # 105 ---> 41 (8)
243 # 151 ---> 150 (0)
229 # 41 ---> 17 (9)
249 # 0 ---> 1 (19)
224 # 21 ---> 33 (21)
228 # 26 ---> 27 (10)
202 # 11 ---> 0 (19)
228 # 27 ---> 28 (21)
237 # 227 ---> 228 (0)
229 # 17 ---> 26 (10)
202 # 0 ---> 6 (20)
220 # 205 ---> 114 (7)
234 # 126 ---> 137 (2)
220 # 114 ---> 82 (8)
234 # 137 ---> 206 (6)
221 # 138 ---> 137 (6)
228 # 28 ---> 21 (22)
245 # 147 ---> 148 (0)
237 # 228 ---> 229 (1)
202 # 6 ---> 17 (21)
238 # 155 ---> 154 (0)
238 # 154 ---> 79 (1)
238 # 79 ---> 111 (2)
238 # 111 ---> 110 (3)
238 # 110 ---> 62 (11)
238 # 62 ---> 112 (12)
238 # 112 ---> 147 (13)
245 # 148 ---> 149 (1)
238 # 147 ---> 148 (14)
237 # 229 ---> 151 (2)
238 # 148 ---> 227 (15)
237 # 151 ---> 34 (3)
228 # 21 ---> 12 (23)
214 # 32 ---> 0 (20)
224 # 33 ---> 32 (22)
231 # 116 ---> 157 (5)
249 # 1 ---> 7 (20)
228 # 12 ---> 13 (24)
214 # 0 ---> 11 (21)
224 # 32 ---> 0 (23)
224 # 0 ---> 1 (24)
224 # 1 ---> 169 (25)
224 # 169 ---> 170 (26)
224 # 170 ---> 128 (27)
224 # 128 ---> 165 (28)
224 # 165 ---> 222 (29)
233 # 171 ---> 57 (11)
233 # 57 ---> 58 (12)
233 # 58 ---> 43 (13)
251 # 9 ---> 19 (5)
207 # 24 ---> 10 (6)
233 # 43 ---> 24 (14)
233 # 24 ---> 25 (15)
233 # 25 ---> 220 (16)
233 # 220 ---> 221 (17)
249 # 7 ---> 8 (21)
231 # 157 ---> 156 (8)
216 # 31 ---> 100 (0)
249 # 8 ---> 31 (22)
217 # 54 ---> 7 (21)
216 # 100 ---> 101 (1)
249 # 31 ---> 100 (23)
217 # 7 ---> 8 (22)
231 # 156 ---> 43 (14)
231 # 43 ---> 24 (15)
248 # 42 ---> 43 (15)
248 # 43 ---> 58 (16)
248 # 58 ---> 183 (17)
248 # 183 ---> 215 (18)
211 # 15 ---> 6 (21)
207 # 10 ---> 9 (7)
231 # 24 ---> 10 (16)
246 # 48 ---> 24 (16)
253 # 49 ---> 48 (16)
207 # 9 ---> 14 (12)
231 # 10 ---> 9 (17)
246 # 24 ---> 10 (17)
253 # 48 ---> 24 (17)
253 # 24 ---> 79 (18)
253 # 79 ---> 78 (19)
253 # 78 ---> 77 (20)
236 # 214 ---> 134 (0)
253 # 77 ---> 213 (21)
225 # 67 ---> 64 (3)
212 # 72 ---> 67 (3)
236 # 134 ---> 72 (3)
226 # 108 ---> 71 (0)
214 # 11 ---> 12 (24)
226 # 71 ---> 11 (24)
217 # 8 ---> 31 (23)
228 # 13 ---> 2 (25)
214 # 12 ---> 13 (25)
226 # 11 ---> 12 (25)
226 # 12 ---> 21 (26)
226 # 21 ---> 77 (27)
253 # 213 ---> 214 (22)
226 # 77 ---> 213 (28)
225 # 64 ---> 21 (27)
212 # 67 ---> 64 (27)
236 # 72 ---> 67 (27)
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)
246 # 10 ---> 24 (18)
231 # 9 ---> 10 (18)
251 # 19 ---> 9 (18)
256 # 88 ---> 16 (0)
244 # 87 ---> 88 (0)
214 # 13 ---> 25 (26)
228 # 2 ---> 13 (26)
239 # 92 ---> 2 (26)
214 # 25 ---> 87 (27)
228 # 13 ---> 25 (27)
214 # 87 ---> 93 (28)
228 # 25 ---> 87 (28)
225 # 21 ---> 20 (28)
231 # 10 ---> 3 (19)
217 # 31 ---> 30 (24)
217 # 30 ---> 29 (25)
257 # 208 ---> 30 (25)
257 # 30 ---> 109 (26)
219 # 51 ---> 172 (10)
252 # 189 ---> 47 (4)
219 # 172 ---> 171 (11)
252 # 47 ---> 0 (24)
252 # 0 ---> 1 (25)
231 # 3 ---> 4 (20)
221 # 137 ---> 126 (7)
234 # 206 ---> 137 (7)
221 # 126 ---> 91 (8)
234 # 137 ---> 126 (8)
250 # 37 ---> 44 (13)
250 # 44 ---> 80 (14)
250 # 80 ---> 81 (15)
207 # 14 ---> 37 (13)
251 # 9 ---> 14 (19)
231 # 4 ---> 9 (21)
220 # 82 ---> 83 (9)
250 # 81 ---> 82 (16)
250 # 82 ---> 114 (17)
250 # 114 ---> 205 (18)
221 # 91 ---> 90 (9)
234 # 126 ---> 91 (9)
234 # 91 ---> 30 (26)
231 # 9 ---> 19 (22)
217 # 29 ---> 10 (26)
234 # 30 ---> 29 (27)
203 # 203 ---> 204 (0)
257 # 109 ---> 30 (27)
231 # 19 ---> 22 (23)
225 # 20 ---> 18 (29)
235 # 23 ---> 20 (29)
235 # 20 ---> 118 (30)
235 # 118 ---> 119 (31)
217 # 10 ---> 9 (27)
234 # 29 ---> 10 (28)
235 # 119 ---> 29 (32)
257 # 30 ---> 31 (28)
235 # 29 ---> 30 (33)
203 # 204 ---> 12 (26)
235 # 30 ---> 202 (34)
203 # 12 ---> 11 (27)
217 # 9 ---> 19 (28)
234 # 10 ---> 9 (29)
203 # 11 ---> 0 (28)
212 # 64 ---> 21 (28)
203 # 0 ---> 47 (29)
225 # 18 ---> 13 (30)
225 # 13 ---> 12 (31)
214 # 93 ---> 103 (29)
228 # 87 ---> 93 (29)
244 # 88 ---> 87 (29)
202 # 17 ---> 41 (22)
219 # 171 ---> 57 (12)
258 # 197 ---> 171 (12)
258 # 171 ---> 172 (13)
255 # 159 ---> 185 (0)
244 # 87 ---> 25 (30)
228 # 93 ---> 87 (30)
244 # 25 ---> 13 (31)
244 # 13 ---> 18 (32)
244 # 18 ---> 20 (33)
244 # 20 ---> 23 (34)
244 # 23 ---> 193 (35)
244 # 193 ---> 194 (36)
223 # 191 ---> 192 (1)
223 # 192 ---> 180 (2)
223 # 180 ---> 112 (13)
239 # 2 ---> 3 (27)
225 # 12 ---> 13 (32)
223 # 112 ---> 62 (14)
239 # 3 ---> 81 (28)
225 # 13 ---> 2 (33)
252 # 1 ---> 0 (29)
225 # 2 ---> 1 (34)
257 # 31 ---> 8 (29)
252 # 0 ---> 11 (30)
252 # 11 ---> 12 (32)
225 # 1 ---> 0 (35)
257 # 8 ---> 2 (34)
203 # 47 ---> 46 (30)
225 # 0 ---> 47 (36)
212 # 21 ---> 77 (29)
252 # 12 ---> 21 (33)
212 # 77 ---> 152 (30)
252 # 21 ---> 77 (34)
228 # 87 ---> 25 (31)
255 # 185 ---> 186 (1)
228 # 25 ---> 13 (33)
255 # 186 ---> 87 (31)
228 # 13 ---> 18 (34)
255 # 87 ---> 25 (33)
255 # 25 ---> 13 (34)
255 # 13 ---> 12 (35)
257 # 2 ---> 13 (35)
246 # 24 ---> 10 (29)
254 # 181 ---> 182 (5)
207 # 37 ---> 44 (14)
207 # 44 ---> 45 (15)
254 # 182 ---> 80 (15)
207 # 45 ---> 181 (16)
202 # 41 ---> 105 (23)
214 # 103 ---> 93 (30)
256 # 16 ---> 17 (22)
214 # 93 ---> 87 (33)
256 # 17 ---> 41 (23)
214 # 87 ---> 88 (34)
257 # 13 ---> 25 (36)
255 # 12 ---> 13 (36)
223 # 62 ---> 28 (22)
257 # 25 ---> 87 (37)
255 # 13 ---> 25 (37)
246 # 10 ---> 3 (30)
223 # 28 ---> 21 (34)
221 # 90 ---> 91 (26)
246 # 3 ---> 4 (31)
239 # 81 ---> 3 (31)
254 # 80 ---> 81 (31)
231 # 22 ---> 23 (35)
234 # 9 ---> 10 (30)
217 # 19 ---> 9 (30)
219 # 57 ---> 22 (35)
234 # 10 ---> 24 (31)
217 # 9 ---> 10 (31)
231 # 23 ---> 38 (36)
219 # 22 ---> 23 (36)
228 # 18 ---> 19 (35)
223 # 21 ---> 33 (35)
252 # 77 ---> 21 (35)
212 # 152 ---> 77 (35)
232 # 39 ---> 53 (0)
223 # 33 ---> 39 (36)
252 # 21 ---> 33 (36)
212 # 77 ---> 21 (36)
228 # 19 ---> 9 (36)
234 # 24 ---> 79 (32)
217 # 10 ---> 24 (32)
228 # 9 ---> 10 (37)
212 # 21 ---> 12 (37)
234 # 79 ---> 78 (33)
217 # 24 ---> 79 (33)
228 # 10 ---> 24 (38)
258 # 172 ---> 51 (14)
212 # 12 ---> 13 (38)
258 # 51 ---> 50 (15)
209 # 115 ---> 116 (5)
231 # 38 ---> 115 (37)
219 # 23 ---> 38 (37)
212 # 13 ---> 18 (39)
258 # 50 ---> 12 (38)
255 # 25 ---> 13 (39)
251 # 14 ---> 37 (20)
246 # 4 ---> 9 (37)
239 # 3 ---> 4 (37)
251 # 37 ---> 44 (21)
246 # 9 ---> 14 (38)
239 # 4 ---> 9 (38)
255 # 13 ---> 2 (40)
220 # 83 ---> 5 (10)
220 # 5 ---> 4 (38)
252 # 33 ---> 32 (37)
223 # 39 ---> 33 (37)
256 # 41 ---> 40 (24)
255 # 2 ---> 92 (41)
255 # 92 ---> 93 (42)
255 # 93 ---> 103 (43)
257 # 87 ---> 93 (43)
255 # 103 ---> 104 (44)
202 # 105 ---> 41 (24)
255 # 104 ---> 105 (45)
255 # 105 ---> 166 (46)
255 # 166 ---> 167 (47)
234 # 78 ---> 77 (36)
234 # 77 ---> 21 (37)
234 # 21 ---> 20 (38)
258 # 12 ---> 21 (39)
212 # 18 ---> 13 (40)
234 # 20 ---> 18 (40)
234 # 18 ---> 146 (41)
234 # 146 ---> 159 (42)
234 # 159 ---> 164 (43)
212 # 13 ---> 18 (41)
230 # 136 ---> 135 (0)
246 # 14 ---> 136 (39)
239 # 9 ---> 14 (39)
220 # 4 ---> 9 (39)
220 # 9 ---> 10 (40)
206 # 162 ---> 163 (0)
258 # 21 ---> 77 (40)
220 # 10 ---> 3 (41)
228 # 24 ---> 10 (41)
220 # 3 ---> 2 (42)
228 # 10 ---> 3 (42)
228 # 3 ---> 4 (43)
228 # 4 ---> 5 (44)
228 # 5 ---> 144 (45)
206 # 163 ---> 96 (2)
228 # 144 ---> 162 (46)
212 # 18 ---> 19 (42)
212 # 19 ---> 9 (43)
212 # 9 ---> 4 (44)
217 # 79 ---> 24 (41)
236 # 67 ---> 64 (28)
236 # 64 ---> 21 (40)
217 # 24 ---> 10 (42)
251 # 44 ---> 45 (22)
209 # 116 ---> 117 (6)
251 # 45 ---> 43 (23)
219 # 38 ---> 37 (38)
231 # 115 ---> 38 (38)
251 # 43 ---> 42 (24)
219 # 37 ---> 44 (39)
231 # 38 ---> 37 (39)
217 # 10 ---> 3 (43)
251 # 42 ---> 25 (39)
256 # 40 ---> 61 (25)
251 # 25 ---> 13 (41)
220 # 2 ---> 8 (43)
251 # 13 ---> 2 (43)
236 # 21 ---> 20 (41)
223 # 33 ---> 21 (41)
258 # 77 ---> 152 (41)
223 # 21 ---> 77 (42)
212 # 4 ---> 5 (45)
217 # 3 ---> 4 (45)
212 # 5 ---> 83 (46)
237 # 34 ---> 0 (36)
243 # 150 ---> 151 (3)
237 # 0 ---> 1 (37)
236 # 20 ---> 18 (42)
243 # 151 ---> 34 (36)
251 # 2 ---> 76 (44)
237 # 1 ---> 2 (44)
243 # 34 ---> 0 (37)
236 # 18 ---> 19 (43)
245 # 149 ---> 27 (21)
249 # 100 ---> 31 (29)
220 # 8 ---> 7 (44)
249 # 31 ---> 8 (44)
237 # 2 ---> 3 (45)
249 # 8 ---> 2 (45)
249 # 2 ---> 13 (46)
249 # 13 ---> 12 (47)
249 # 12 ---> 21 (48)
243 # 0 ---> 11 (38)
229 # 26 ---> 17 (23)
249 # 21 ---> 28 (49)
249 # 28 ---> 62 (50)
249 # 62 ---> 112 (51)
249 # 112 ---> 147 (52)
257 # 93 ---> 103 (44)
229 # 17 ---> 16 (24)
203 # 46 ---> 40 (31)
225 # 47 ---> 46 (37)
211 # 6 ---> 0 (38)
236 # 19 ---> 9 (44)
237 # 3 ---> 2 (46)
229 # 16 ---> 5 (46)
214 # 88 ---> 16 (46)
211 # 0 ---> 1 (44)
229 # 5 ---> 6 (47)
214 # 16 ---> 5 (47)
214 # 5 ---> 144 (48)
217 # 4 ---> 5 (48)
236 # 9 ---> 4 (48)
236 # 4 ---> 3 (49)
236 # 3 ---> 10 (50)
229 # 6 ---> 0 (48)
217 # 5 ---> 6 (49)
214 # 144 ---> 145 (49)
252 # 32 ---> 65 (38)
230 # 135 ---> 84 (1)
247 # 141 ---> 142 (0)
236 # 10 ---> 24 (51)
230 # 84 ---> 29 (33)
237 # 2 ---> 3 (50)
236 # 24 ---> 25 (52)
237 # 3 ---> 10 (51)
236 # 25 ---> 13 (53)
247 # 142 ---> 143 (1)
237 # 10 ---> 24 (52)
230 # 29 ---> 10 (52)
247 # 143 ---> 135 (2)
237 # 24 ---> 25 (53)
230 # 10 ---> 24 (53)
247 # 135 ---> 84 (33)
220 # 7 ---> 8 (45)
230 # 24 ---> 43 (54)
239 # 14 ---> 9 (48)
217 # 6 ---> 15 (50)
239 # 9 ---> 4 (49)
203 # 40 ---> 39 (37)
203 # 39 ---> 33 (41)
203 # 33 ---> 21 (49)
203 # 21 ---> 20 (50)
203 # 20 ---> 18 (51)
203 # 18 ---> 127 (52)
203 # 127 ---> 126 (53)
203 # 126 ---> 137 (54)
223 # 77 ---> 21 (50)
237 # 25 ---> 87 (54)
230 # 43 ---> 42 (55)
236 # 13 ---> 2 (54)
203 # 137 ---> 138 (55)
223 # 21 ---> 20 (51)
247 # 84 ---> 29 (52)
229 # 0 ---> 6 (50)
211 # 1 ---> 0 (50)
236 # 2 ---> 1 (55)
239 # 4 ---> 3 (51)
229 # 6 ---> 5 (51)
211 # 0 ---> 6 (51)
236 # 1 ---> 0 (56)
247 # 29 ---> 30 (53)
246 # 136 ---> 14 (48)
246 # 14 ---> 9 (49)
202 # 41 ---> 17 (25)
225 # 46 ---> 40 (38)
236 # 0 ---> 47 (57)
211 # 6 ---> 0 (57)
202 # 17 ---> 6 (57)
229 # 5 ---> 16 (52)
246 # 9 ---> 4 (51)
217 # 15 ---> 14 (51)
202 # 6 ---> 15 (58)
202 # 15 ---> 86 (59)
202 # 86 ---> 85 (60)
202 # 85 ---> 84 (61)
217 # 14 ---> 9 (52)
202 # 84 ---> 135 (62)
217 # 9 ---> 10 (53)
211 # 0 ---> 1 (58)
246 # 4 ---> 5 (52)
239 # 3 ---> 4 (52)
211 # 1 ---> 2 (59)
246 # 5 ---> 6 (58)
239 # 4 ---> 5 (58)
230 # 42 ---> 25 (56)
230 # 25 ---> 13 (57)
213 # 130 ---> 131 (0)
236 # 47 ---> 63 (58)
230 # 13 ---> 12 (58)
211 # 2 ---> 13 (60)
246 # 6 ---> 17 (59)
254 # 81 ---> 3 (52)
212 # 83 ---> 82 (47)
243 # 11 ---> 0 (58)
230 # 12 ---> 11 (59)
211 # 13 ---> 12 (61)
213 # 131 ---> 46 (38)
213 # 46 ---> 47 (58)
251 # 76 ---> 2 (60)
251 # 2 ---> 1 (61)
221 # 91 ---> 126 (54)
237 # 87 ---> 25 (57)
237 # 25 ---> 24 (58)
254 # 3 ---> 2 (61)
217 # 10 ---> 3 (61)
237 # 24 ---> 10 (61)
237 # 10 ---> 29 (62)
217 # 3 ---> 10 (62)
254 # 2 ---> 3 (62)
247 # 30 ---> 31 (54)
237 # 29 ---> 30 (63)
237 # 30 ---> 91 (64)
221 # 126 ---> 127 (55)
237 # 91 ---> 126 (65)
247 # 31 ---> 30 (64)
220 # 8 ---> 31 (64)
221 # 127 ---> 18 (56)
237 # 126 ---> 127 (66)
247 # 30 ---> 91 (65)
220 # 31 ---> 30 (65)
221 # 18 ---> 13 (61)
211 # 12 ---> 21 (62)
230 # 11 ---> 12 (62)
243 # 0 ---> 11 (62)
236 # 63 ---> 95 (59)
217 # 10 ---> 29 (63)
254 # 3 ---> 10 (63)
221 # 13 ---> 2 (62)
230 # 12 ---> 13 (63)
211 # 21 ---> 12 (63)
213 # 47 ---> 63 (59)
239 # 5 ---> 6 (59)
239 # 6 ---> 0 (62)
239 # 0 ---> 47 (63)
243 # 11 ---> 0 (63)
211 # 12 ---> 11 (64)
213 # 63 ---> 64 (60)
239 # 47 ---> 63 (64)
239 # 63 ---> 122 (65)
243 # 0 ---> 47 (64)
251 # 1 ---> 0 (64)
254 # 10 ---> 9 (64)
217 # 29 ---> 10 (64)
254 # 9 ---> 14 (65)
217 # 10 ---> 9 (65)
213 # 64 ---> 21 (63)
243 # 47 ---> 63 (65)
251 # 0 ---> 47 (65)
211 # 11 ---> 0 (65)
213 # 21 ---> 12 (64)
217 # 9 ---> 19 (66)
217 # 19 ---> 18 (67)
254 # 14 ---> 9 (66)
231 # 37 ---> 14 (66)
219 # 44 ---> 37 (66)
254 # 9 ---> 10 (67)
231 # 14 ---> 9 (67)
209 # 117 ---> 77 (50)
223 # 20 ---> 23 (52)
209 # 77 ---> 21 (64)
209 # 21 ---> 20 (65)
254 # 10 ---> 24 (68)
231 # 9 ---> 10 (68)
223 # 23 ---> 38 (53)
230 # 13 ---> 25 (64)
211 # 0 ---> 1 (66)
213 # 12 ---> 11 (65)
212 # 82 ---> 81 (52)
221 # 2 ---> 13 (64)
212 # 81 ---> 3 (63)
225 # 40 ---> 41 (39)
221 # 13 ---> 12 (65)
230 # 25 ---> 13 (65)
254 # 24 ---> 25 (69)
231 # 10 ---> 24 (69)
211 # 1 ---> 2 (67)
213 # 11 ---> 0 (66)
221 # 12 ---> 11 (66)
230 # 13 ---> 12 (66)
230 # 12 ---> 21 (67)
230 # 21 ---> 28 (68)
230 # 28 ---> 62 (69)
230 # 62 ---> 112 (70)
217 # 18 ---> 13 (68)
246 # 17 ---> 26 (60)
245 # 27 ---> 28 (69)
246 # 26 ---> 27 (69)
245 # 28 ---> 21 (70)
246 # 27 ---> 28 (70)
246 # 28 ---> 62 (71)
246 # 62 ---> 110 (72)
245 # 21 ---> 28 (71)
245 # 28 ---> 27 (72)
245 # 27 ---> 26 (73)
229 # 16 ---> 17 (60)
212 # 3 ---> 4 (64)
211 # 2 ---> 3 (68)
217 # 13 ---> 2 (69)
220 # 30 ---> 29 (66)
217 # 2 ---> 1 (70)
213 # 0 ---> 32 (67)
217 # 1 ---> 0 (71)
254 # 25 ---> 87 (70)
206 # 96 ---> 42 (56)
254 # 87 ---> 88 (71)
206 # 42 ---> 25 (70)
206 # 25 ---> 87 (71)
231 # 24 ---> 25 (71)
220 # 29 ---> 10 (69)
247 # 91 ---> 30 (66)
231 # 25 ---> 13 (72)
220 # 10 ---> 24 (71)
247 # 30 ---> 29 (69)
213 # 32 ---> 33 (68)
229 # 17 ---> 6 (62)
225 # 41 ---> 17 (62)
217 # 0 ---> 32 (72)
229 # 6 ---> 0 (72)
225 # 17 ---> 6 (72)
251 # 47 ---> 46 (66)
229 # 0 ---> 47 (73)
225 # 6 ---> 0 (73)
212 # 4 ---> 5 (65)
211 # 3 ---> 4 (69)
231 # 13 ---> 2 (73)
206 # 87 ---> 25 (72)
257 # 103 ---> 104 (45)
256 # 61 ---> 62 (72)
251 # 46 ---> 40 (67)
229 # 47 ---> 46 (74)
225 # 0 ---> 47 (74)
220 # 24 ---> 79 (72)
206 # 25 ---> 24 (73)
257 # 104 ---> 105 (46)
213 # 33 ---> 21 (71)
213 # 21 ---> 12 (72)
213 # 12 ---> 13 (73)
213 # 13 ---> 25 (74)
251 # 40 ---> 39 (68)
213 # 25 ---> 87 (75)
213 # 87 ---> 93 (76)
257 # 105 ---> 41 (62)
213 # 93 ---> 103 (77)
254 # 88 ---> 87 (76)
257 # 41 ---> 17 (72)
223 # 38 ---> 69 (54)
211 # 4 ---> 9 (70)
216 # 101 ---> 102 (2)
216 # 102 ---> 54 (21)
216 # 54 ---> 7 (45)
206 # 24 ---> 10 (74)
256 # 62 ---> 28 (73)
256 # 28 ---> 21 (74)
229 # 46 ---> 40 (75)
225 # 47 ---> 46 (75)
256 # 21 ---> 12 (75)
256 # 12 ---> 13 (76)
256 # 13 ---> 25 (77)
256 # 25 ---> 42 (78)
256 # 42 ---> 96 (79)
254 # 87 ---> 25 (78)
236 # 95 ---> 94 (60)
254 # 25 ---> 13 (79)
236 # 94 ---> 25 (79)
236 # 25 ---> 42 (80)
256 # 96 ---> 97 (80)
236 # 42 ---> 96 (81)
206 # 10 ---> 3 (75)
243 # 63 ---> 64 (66)
206 # 3 ---> 4 (76)
231 # 2 ---> 3 (76)
243 # 64 ---> 21 (75)
219 # 37 ---> 14 (67)
247 # 29 ---> 10 (75)
220 # 79 ---> 24 (74)
220 # 24 ---> 43 (75)
220 # 43 ---> 45 (76)
220 # 45 ---> 44 (77)
220 # 44 ---> 80 (78)
220 # 80 ---> 89 (79)
231 # 3 ---> 81 (77)
247 # 10 ---> 3 (77)
220 # 89 ---> 90 (80)
231 # 81 ---> 80 (79)
247 # 3 ---> 81 (79)
206 # 4 ---> 3 (79)
206 # 3 ---> 2 (80)
216 # 7 ---> 56 (46)
206 # 2 ---> 1 (81)
216 # 56 ---> 55 (47)
206 # 1 ---> 7 (82)
211 # 9 ---> 10 (77)
219 # 14 ---> 9 (77)
243 # 21 ---> 77 (76)
211 # 10 ---> 3 (80)
219 # 9 ---> 10 (80)
247 # 81 ---> 82 (80)
212 # 5 ---> 6 (73)
247 # 82 ---> 83 (81)
247 # 83 ---> 5 (82)
247 # 5 ---> 4 (83)
211 # 3 ---> 2 (81)
231 # 80 ---> 81 (80)
247 # 4 ---> 9 (84)
231 # 81 ---> 3 (81)
247 # 9 ---> 14 (85)
231 # 3 ---> 4 (84)
219 # 10 ---> 29 (81)
211 # 2 ---> 3 (84)
243 # 77 ---> 78 (77)
254 # 13 ---> 2 (84)
243 # 78 ---> 79 (78)
243 # 79 ---> 24 (79)
243 # 24 ---> 25 (80)
216 # 55 ---> 41 (72)
254 # 2 ---> 1 (85)
254 # 1 ---> 0 (86)
254 # 0 ---> 47 (87)
254 # 47 ---> 63 (88)
254 # 63 ---> 64 (89)
254 # 64 ---> 67 (90)
254 # 67 ---> 72 (91)
251 # 39 ---> 33 (71)
229 # 40 ---> 39 (76)
216 # 41 ---> 40 (76)
247 # 14 ---> 37 (86)
209 # 20 ---> 18 (68)
254 # 72 ---> 73 (92)
251 # 33 ---> 21 (76)
229 # 39 ---> 33 (77)
216 # 40 ---> 39 (77)
254 # 73 ---> 74 (93)
251 # 21 ---> 64 (90)
229 # 33 ---> 21 (90)
216 # 39 ---> 33 (90)
212 # 6 ---> 5 (83)
257 # 17 ---> 6 (83)
257 # 6 ---> 15 (84)
257 # 15 ---> 14 (86)
212 # 5 ---> 6 (84)
231 # 4 ---> 5 (85)
247 # 37 ---> 38 (87)
257 # 14 ---> 37 (87)
247 # 38 ---> 23 (88)
257 # 37 ---> 38 (88)
221 # 11 ---> 0 (87)
223 # 69 ---> 70 (55)
257 # 38 ---> 69 (89)
247 # 23 ---> 38 (89)
229 # 21 ---> 20 (91)
221 # 0 ---> 34 (88)
209 # 18 ---> 13 (84)
247 # 38 ---> 37 (90)
223 # 70 ---> 71 (56)
257 # 69 ---> 70 (90)
229 # 20 ---> 23 (92)
209 # 13 ---> 12 (85)
229 # 23 ---> 22 (93)
223 # 71 ---> 11 (87)
257 # 70 ---> 71 (91)
221 # 34 ---> 35 (89)
217 # 32 ---> 0 (88)
217 # 0 ---> 34 (89)
212 # 6 ---> 0 (89)
212 # 0 ---> 47 (90)
223 # 11 ---> 0 (90)
212 # 47 ---> 63 (91)
209 # 12 ---> 11 (90)
251 # 64 ---> 21 (91)
212 # 63 ---> 64 (92)
212 # 64 ---> 67 (93)
252 # 65 ---> 66 (39)
245 # 26 ---> 17 (83)
252 # 66 ---> 18 (84)
216 # 33 ---> 32 (91)
252 # 18 ---> 20 (92)
223 # 0 ---> 1 (91)
209 # 11 ---> 0 (91)
209 # 0 ---> 47 (92)
209 # 47 ---> 63 (93)
251 # 21 ---> 12 (92)
211 # 3 ---> 10 (85)
223 # 1 ---> 2 (92)
231 # 5 ---> 6 (89)
223 # 2 ---> 3 (93)
231 # 6 ---> 0 (92)
231 # 0 ---> 1 (93)
209 # 63 ---> 64 (94)
245 # 17 ---> 16 (84)
217 # 34 ---> 0 (93)
217 # 0 ---> 47 (94)
225 # 46 ---> 40 (77)
217 # 47 ---> 46 (95)
225 # 40 ---> 41 (78)
217 # 46 ---> 40 (96)
217 # 40 ---> 61 (97)
247 # 37 ---> 14 (91)
247 # 14 ---> 15 (92)
247 # 15 ---> 6 (93)
247 # 6 ---> 0 (94)
223 # 3 ---> 4 (94)
231 # 1 ---> 2 (94)
247 # 0 ---> 1 (95)
231 # 2 ---> 13 (95)
206 # 7 ---> 8 (83)
247 # 1 ---> 7 (96)
247 # 7 ---> 56 (97)
210 # 59 ---> 60 (3)
247 # 56 ---> 59 (98)
211 # 10 ---> 24 (86)
229 # 22 ---> 19 (94)
211 # 24 ---> 43 (87)
243 # 25 ---> 24 (87)
231 # 13 ---> 25 (96)
229 # 19 ---> 18 (95)
252 # 20 ---> 23 (93)
229 # 18 ---> 20 (96)
211 # 43 ---> 42 (88)
210 # 60 ---> 43 (88)
247 # 59 ---> 60 (99)
243 # 24 ---> 10 (88)
210 # 43 ---> 24 (89)
206 # 8 ---> 2 (95)
206 # 2 ---> 13 (96)
206 # 13 ---> 18 (97)
206 # 18 ---> 19 (98)
206 # 19 ---> 22 (99)
206 # 22 ---> 57 (100)
243 # 10 ---> 9 (89)
210 # 24 ---> 10 (90)
243 # 9 ---> 14 (92)
252 # 23 ---> 22 (100)
206 # 57 ---> 58 (101)
225 # 41 ---> 17 (84)
223 # 4 ---> 5 (95)
223 # 5 ---> 6 (96)
245 # 16 ---> 5 (96)
225 # 17 ---> 16 (96)
223 # 6 ---> 17 (97)
223 # 17 ---> 41 (98)
223 # 41 ---> 55 (99)
245 # 5 ---> 4 (97)
223 # 55 ---> 56 (100)
221 # 35 ---> 36 (90)
221 # 36 ---> 33 (91)
221 # 33 ---> 39 (92)
232 # 53 ---> 54 (45)
221 # 39 ---> 53 (93)
232 # 54 ---> 7 (97)
221 # 53 ---> 54 (97)
216 # 32 ---> 33 (92)
232 # 7 ---> 1 (98)
251 # 12 ---> 50 (93)
216 # 33 ---> 21 (93)
216 # 21 ---> 12 (94)
251 # 50 ---> 51 (94)
216 # 12 ---> 50 (95)
251 # 51 ---> 52 (95)
216 # 50 ---> 51 (96)
231 # 25 ---> 24 (97)
211 # 42 ---> 25 (97)
231 # 24 ---> 43 (98)
211 # 25 ---> 24 (98)
211 # 24 ---> 48 (99)
210 # 10 ---> 24 (99)
232 # 1 ---> 0 (99)
232 # 0 ---> 32 (100)
232 # 32 ---> 33 (101)
232 # 33 ---> 39 (102)
232 # 39 ---> 40 (103)
232 # 40 ---> 46 (104)
219 # 29 ---> 10 (99)
243 # 14 ---> 15 (93)
219 # 10 ---> 9 (100)
210 # 24 ---> 10 (100)
210 # 10 ---> 3 (101)
219 # 9 ---> 10 (101)
245 # 4 ---> 9 (101)
245 # 9 ---> 14 (102)
245 # 14 ---> 37 (103)
245 # 37 ---> 44 (104)
231 # 43 ---> 24 (100)
231 # 24 ---> 25 (101)
210 # 3 ---> 4 (102)
210 # 4 ---> 9 (103)
210 # 9 ---> 14 (104)
210 # 14 ---> 37 (105)
252 # 22 ---> 19 (101)
225 # 16 ---> 5 (97)
225 # 5 ---> 4 (103)
225 # 4 ---> 9 (104)
225 # 9 ---> 14 (105)
210 # 37 ---> 38 (106)
225 # 14 ---> 37 (106)
252 # 19 ---> 9 (105)
252 # 9 ---> 4 (106)
219 # 10 ---> 9 (106)
243 # 15 ---> 6 (97)
243 # 6 ---> 17 (98)
243 # 17 ---> 26 (99)
252 # 4 ---> 5 (107)
252 # 5 ---> 6 (108)
252 # 6 ---> 17 (109)
243 # 26 ---> 27 (100)
252 # 17 ---> 26 (110)
219 # 9 ---> 4 (107)
231 # 25 ---> 13 (102)
231 # 13 ---> 2 (103)
231 # 2 ---> 8 (104)
229 # 20 ---> 18 (98)
219 # 4 ---> 3 (108)
229 # 18 ---> 19 (105)
219 # 3 ---> 2 (109)
229 # 19 ---> 9 (107)
229 # 9 ---> 14 (108)
219 # 2 ---> 13 (110)
219 # 13 ---> 18 (111)
219 # 18 ---> 20 (112)
229 # 14 ---> 15 (109)
229 # 15 ---> 6 (110)
231 # 8 ---> 2 (110)
231 # 2 ---> 3 (111)
231 # 3 ---> 4 (112)
231 # 4 ---> 9 (113)
229 # 6 ---> 5 (111)
206 # 58 ---> 120 (102)
257 # 71 ---> 11 (92)
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 = 0x7fff7d8432a0, target = 0x1c726a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72680)
]
Edge 0 <-> 6 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72740)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72680)
]
Edge 0 <-> 11 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72680)
]
Edge 0 <-> 32 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72680)
]
Edge 0 <-> 34 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ac0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72680)
]
Edge 0 <-> 47 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72680)
]
Edge 0 <-> 52 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72680)
]
Edge 0 <-> 176 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72680)
]
Edge 1 <-> 2 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726a0)
]
Edge 1 <-> 7 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72760)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726a0)
]
Edge 1 <-> 169 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ba0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726a0)
]
Edge 2 <-> 3 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726c0)
]
Edge 2 <-> 8 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72780)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726c0)
]
Edge 2 <-> 13 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72820)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726c0)
]
Edge 2 <-> 76 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73000)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726c0)
]
Edge 2 <-> 92 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73200)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726c0)
]
Edge 3 <-> 4 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72700)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726e0)
]
Edge 3 <-> 10 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726e0)
]
Edge 3 <-> 81 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c730a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c726e0)
]
Edge 4 <-> 5 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72720)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72700)
]
Edge 4 <-> 9 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72700)
]
Edge 5 <-> 6 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72740)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72720)
]
Edge 5 <-> 16 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72880)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72720)
]
Edge 5 <-> 83 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c730e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72720)
]
Edge 5 <-> 144 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73880)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72720)
]
Edge 6 <-> 15 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72860)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72740)
]
Edge 6 <-> 17 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72740)
]
Edge 6 <-> 121 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c735a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72740)
]
Edge 7 <-> 8 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72780)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72760)
]
Edge 7 <-> 54 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72760)
]
Edge 7 <-> 56 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72760)
]
Edge 7 <-> 140 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73800)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72760)
]
Edge 8 <-> 31 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72780)
]
Edge 9 <-> 10 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727a0)
]
Edge 9 <-> 14 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72840)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727a0)
]
Edge 9 <-> 19 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727a0)
]
Edge 9 <-> 132 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73700)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727a0)
]
Edge 10 <-> 24 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72980)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727c0)
]
Edge 10 <-> 29 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727c0)
]
Edge 11 <-> 12 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72800)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727e0)
]
Edge 11 <-> 71 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c727e0)
]
Edge 12 <-> 13 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72820)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72800)
]
Edge 12 <-> 21 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72920)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72800)
]
Edge 12 <-> 50 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72cc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72800)
]
Edge 12 <-> 204 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74000)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72800)
]
Edge 13 <-> 18 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72820)
]
Edge 13 <-> 25 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72820)
]
Edge 14 <-> 15 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72860)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72840)
]
Edge 14 <-> 37 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72840)
]
Edge 14 <-> 136 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73780)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72840)
]
Edge 15 <-> 49 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ca0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72860)
]
Edge 15 <-> 86 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73140)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72860)
]
Edge 15 <-> 99 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c732e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72860)
]
Edge 16 <-> 17 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72880)
]
Edge 16 <-> 88 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73180)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72880)
]
Edge 16 <-> 97 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c732a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72880)
]
Edge 17 <-> 26 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728a0)
]
Edge 17 <-> 41 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ba0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728a0)
]
Edge 18 <-> 19 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728c0)
]
Edge 18 <-> 20 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72900)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728c0)
]
Edge 18 <-> 66 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ec0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728c0)
]
Edge 18 <-> 127 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73660)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728c0)
]
Edge 18 <-> 146 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c738c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728c0)
]
Edge 19 <-> 22 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72940)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728e0)
]
Edge 19 <-> 174 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c728e0)
]
Edge 20 <-> 21 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72920)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72900)
]
Edge 20 <-> 23 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72960)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72900)
]
Edge 20 <-> 118 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73540)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72900)
]
Edge 20 <-> 209 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c740a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72900)
]
Edge 20 <-> 251 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c745e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72900)
]
Edge 21 <-> 28 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72920)
]
Edge 21 <-> 33 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72aa0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72920)
]
Edge 21 <-> 64 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72920)
]
Edge 21 <-> 77 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73020)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72920)
]
Edge 21 <-> 255 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74660)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72920)
]
Edge 22 <-> 23 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72960)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72940)
]
Edge 22 <-> 57 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72da0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72940)
]
Edge 22 <-> 175 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72940)
]
Edge 23 <-> 38 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72960)
]
Edge 23 <-> 193 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ea0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72960)
]
Edge 24 <-> 25 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72980)
]
Edge 24 <-> 43 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72be0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72980)
]
Edge 24 <-> 48 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72980)
]
Edge 24 <-> 79 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73060)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72980)
]
Edge 25 <-> 42 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72bc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729a0)
]
Edge 25 <-> 87 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73160)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729a0)
]
Edge 25 <-> 94 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73240)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729a0)
]
Edge 25 <-> 188 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729a0)
]
Edge 25 <-> 220 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74200)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729a0)
]
Edge 26 <-> 27 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729c0)
]
Edge 27 <-> 28 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729e0)
]
Edge 27 <-> 149 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73920)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c729e0)
]
Edge 28 <-> 62 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a00)
]
Edge 28 <-> 232 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74380)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a00)
]
Edge 29 <-> 30 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a20)
]
Edge 29 <-> 84 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73100)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a20)
]
Edge 29 <-> 119 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73560)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a20)
]
Edge 30 <-> 31 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a40)
]
Edge 30 <-> 91 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c731e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a40)
]
Edge 30 <-> 109 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73420)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a40)
]
Edge 30 <-> 190 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a40)
]
Edge 30 <-> 202 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73fc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a40)
]
Edge 30 <-> 208 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74080)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a40)
]
Edge 31 <-> 100 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73300)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a60)
]
Edge 32 <-> 33 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72aa0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a80)
]
Edge 32 <-> 65 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ea0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72a80)
]
Edge 33 <-> 36 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72aa0)
]
Edge 33 <-> 39 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72aa0)
]
Edge 33 <-> 224 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74280)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72aa0)
]
Edge 34 <-> 35 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ae0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ac0)
]
Edge 34 <-> 151 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73960)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ac0)
]
Edge 35 <-> 36 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ae0)
]
Edge 37 <-> 38 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b20)
]
Edge 37 <-> 44 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b20)
]
Edge 38 <-> 69 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b40)
]
Edge 38 <-> 115 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c734e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b40)
]
Edge 39 <-> 40 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b60)
]
Edge 39 <-> 53 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b60)
]
Edge 40 <-> 41 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ba0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b80)
]
Edge 40 <-> 46 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b80)
]
Edge 40 <-> 61 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72b80)
]
Edge 41 <-> 55 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ba0)
]
Edge 41 <-> 105 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c733a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ba0)
]
Edge 42 <-> 43 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72be0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72bc0)
]
Edge 42 <-> 96 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73280)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72bc0)
]
Edge 42 <-> 128 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73680)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72bc0)
]
Edge 42 <-> 130 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c736c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72bc0)
]
Edge 43 <-> 45 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72be0)
]
Edge 43 <-> 58 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72dc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72be0)
]
Edge 43 <-> 60 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72be0)
]
Edge 43 <-> 156 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72be0)
]
Edge 44 <-> 45 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c00)
]
Edge 44 <-> 80 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73080)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c00)
]
Edge 45 <-> 181 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c20)
]
Edge 46 <-> 47 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c40)
]
Edge 46 <-> 131 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c736e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c40)
]
Edge 46 <-> 230 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74340)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c40)
]
Edge 47 <-> 63 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c60)
]
Edge 47 <-> 189 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c60)
]
Edge 48 <-> 49 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ca0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72c80)
]
Edge 50 <-> 51 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ce0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72cc0)
]
Edge 51 <-> 52 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ce0)
]
Edge 51 <-> 68 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ce0)
]
Edge 51 <-> 125 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73620)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ce0)
]
Edge 51 <-> 172 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ce0)
]
Edge 51 <-> 256 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74680)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ce0)
]
Edge 52 <-> 123 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c735e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d00)
]
Edge 52 <-> 184 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d00)
]
Edge 53 <-> 54 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d20)
]
Edge 54 <-> 102 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73340)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d40)
]
Edge 55 <-> 56 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d60)
]
Edge 55 <-> 74 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d60)
]
Edge 56 <-> 59 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72de0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72d80)
]
Edge 57 <-> 58 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72dc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72da0)
]
Edge 57 <-> 171 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73be0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72da0)
]
Edge 58 <-> 120 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73580)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72dc0)
]
Edge 58 <-> 183 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72dc0)
]
Edge 59 <-> 60 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72de0)
]
Edge 59 <-> 198 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72de0)
]
Edge 59 <-> 218 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c741c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72de0)
]
Edge 60 <-> 98 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c732c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e00)
]
Edge 61 <-> 62 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e20)
]
Edge 62 <-> 110 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73440)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e40)
]
Edge 62 <-> 112 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73480)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e40)
]
Edge 63 <-> 64 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e60)
]
Edge 63 <-> 95 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73260)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e60)
]
Edge 63 <-> 122 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c735c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e60)
]
Edge 64 <-> 67 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ee0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72e80)
]
Edge 65 <-> 66 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ec0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ea0)
]
Edge 67 <-> 68 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ee0)
]
Edge 67 <-> 72 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72ee0)
]
Edge 69 <-> 70 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f20)
]
Edge 70 <-> 71 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f40)
]
Edge 71 <-> 108 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73400)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f60)
]
Edge 72 <-> 73 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fa0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f80)
]
Edge 72 <-> 134 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73740)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72f80)
]
Edge 73 <-> 74 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fa0)
]
Edge 73 <-> 150 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73940)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fa0)
]
Edge 73 <-> 243 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c744e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fa0)
]
Edge 74 <-> 75 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fe0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fc0)
]
Edge 75 <-> 76 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73000)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fe0)
]
Edge 75 <-> 129 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c736a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fe0)
]
Edge 75 <-> 168 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c72fe0)
]
Edge 77 <-> 78 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73040)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73020)
]
Edge 77 <-> 117 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73520)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73020)
]
Edge 77 <-> 152 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73980)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73020)
]
Edge 77 <-> 213 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74120)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73020)
]
Edge 77 <-> 238 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74440)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73020)
]
Edge 78 <-> 79 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73060)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73040)
]
Edge 78 <-> 138 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c737c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73040)
]
Edge 78 <-> 173 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73040)
]
Edge 79 <-> 111 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73460)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73060)
]
Edge 79 <-> 154 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c739c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73060)
]
Edge 80 <-> 81 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c730a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73080)
]
Edge 80 <-> 89 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c731a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73080)
]
Edge 80 <-> 158 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73080)
]
Edge 80 <-> 182 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73080)
]
Edge 81 <-> 82 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c730c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c730a0)
]
Edge 82 <-> 83 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c730e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c730c0)
]
Edge 82 <-> 114 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c734c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c730c0)
]
Edge 84 <-> 85 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73120)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73100)
]
Edge 84 <-> 135 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73760)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73100)
]
Edge 84 <-> 160 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73100)
]
Edge 85 <-> 86 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73140)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73120)
]
Edge 86 <-> 178 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73cc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73140)
]
Edge 87 <-> 88 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73180)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73160)
]
Edge 87 <-> 93 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73220)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73160)
]
Edge 87 <-> 186 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73dc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73160)
]
Edge 89 <-> 90 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c731c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c731a0)
]
Edge 89 <-> 177 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ca0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c731a0)
]
Edge 90 <-> 91 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c731e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c731c0)
]
Edge 90 <-> 107 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c733e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c731c0)
]
Edge 90 <-> 240 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74480)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c731c0)
]
Edge 91 <-> 126 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73640)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c731e0)
]
Edge 92 <-> 93 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73220)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73200)
]
Edge 93 <-> 103 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73360)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73220)
]
Edge 94 <-> 95 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73260)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73240)
]
Edge 94 <-> 106 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c733c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73240)
]
Edge 94 <-> 141 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73820)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73240)
]
Edge 95 <-> 124 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73600)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73260)
]
Edge 95 <-> 244 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74500)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73260)
]
Edge 96 <-> 97 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c732a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73280)
]
Edge 96 <-> 155 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c739e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73280)
]
Edge 96 <-> 163 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ae0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73280)
]
Edge 96 <-> 245 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74520)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73280)
]
Edge 98 <-> 99 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c732e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c732c0)
]
Edge 100 <-> 101 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73320)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73300)
]
Edge 101 <-> 102 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73340)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73320)
]
Edge 102 <-> 153 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c739a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73340)
]
Edge 102 <-> 239 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74460)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73340)
]
Edge 103 <-> 104 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73380)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73360)
]
Edge 104 <-> 105 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c733a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73380)
]
Edge 105 <-> 166 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c733a0)
]
Edge 106 <-> 107 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c733e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c733c0)
]
Edge 106 <-> 179 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ce0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c733c0)
]
Edge 106 <-> 211 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c740e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c733c0)
]
Edge 106 <-> 241 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c744a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c733c0)
]
Edge 108 <-> 109 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73420)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73400)
]
Edge 109 <-> 201 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73fa0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73420)
]
Edge 109 <-> 207 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74060)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73420)
]
Edge 110 <-> 111 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73460)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73440)
]
Edge 111 <-> 161 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73aa0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73460)
]
Edge 112 <-> 113 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c734a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73480)
]
Edge 112 <-> 147 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c738e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73480)
]
Edge 112 <-> 180 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73480)
]
Edge 113 <-> 114 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c734c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c734a0)
]
Edge 114 <-> 199 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c734c0)
]
Edge 114 <-> 205 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74020)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c734c0)
]
Edge 115 <-> 116 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73500)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c734e0)
]
Edge 116 <-> 117 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73520)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73500)
]
Edge 116 <-> 157 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73500)
]
Edge 116 <-> 217 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c741a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73500)
]
Edge 117 <-> 226 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c742c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73520)
]
Edge 118 <-> 119 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73560)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73540)
]
Edge 119 <-> 139 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c737e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73560)
]
Edge 120 <-> 121 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c735a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73580)
]
Edge 120 <-> 248 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74580)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73580)
]
Edge 120 <-> 252 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74600)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73580)
]
Edge 122 <-> 123 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c735e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c735c0)
]
Edge 124 <-> 125 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73620)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73600)
]
Edge 126 <-> 127 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73660)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73640)
]
Edge 126 <-> 137 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c737a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73640)
]
Edge 128 <-> 129 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c736a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73680)
]
Edge 128 <-> 165 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73680)
]
Edge 128 <-> 170 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73bc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73680)
]
Edge 130 <-> 131 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c736e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c736c0)
]
Edge 132 <-> 133 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73720)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73700)
]
Edge 133 <-> 134 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73740)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73720)
]
Edge 134 <-> 214 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74140)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73740)
]
Edge 135 <-> 136 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73780)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73760)
]
Edge 135 <-> 143 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73860)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73760)
]
Edge 137 <-> 138 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c737c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c737a0)
]
Edge 137 <-> 206 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74040)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c737a0)
]
Edge 139 <-> 140 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73800)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c737e0)
]
Edge 141 <-> 142 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73840)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73820)
]
Edge 142 <-> 143 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73860)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73840)
]
Edge 144 <-> 145 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c738a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73880)
]
Edge 144 <-> 162 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ac0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73880)
]
Edge 145 <-> 146 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c738c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c738a0)
]
Edge 146 <-> 159 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c738c0)
]
Edge 147 <-> 148 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73900)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c738e0)
]
Edge 148 <-> 149 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73920)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73900)
]
Edge 148 <-> 227 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c742e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73900)
]
Edge 149 <-> 253 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74620)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73920)
]
Edge 150 <-> 151 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73960)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73940)
]
Edge 151 <-> 229 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74320)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73960)
]
Edge 152 <-> 153 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c739a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73980)
]
Edge 153 <-> 187 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73de0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c739a0)
]
Edge 154 <-> 155 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c739e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c739c0)
]
Edge 156 <-> 157 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a00)
]
Edge 157 <-> 191 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a20)
]
Edge 158 <-> 159 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a40)
]
Edge 158 <-> 194 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ec0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a40)
]
Edge 159 <-> 164 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a60)
]
Edge 159 <-> 185 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73da0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a60)
]
Edge 160 <-> 161 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73aa0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73a80)
]
Edge 161 <-> 221 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74220)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73aa0)
]
Edge 162 <-> 163 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ae0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ac0)
]
Edge 164 <-> 165 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b00)
]
Edge 165 <-> 222 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74240)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b20)
]
Edge 166 <-> 167 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b40)
]
Edge 167 <-> 168 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b60)
]
Edge 167 <-> 231 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74360)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73b60)
]
Edge 169 <-> 170 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73bc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ba0)
]
Edge 170 <-> 236 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74400)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73bc0)
]
Edge 171 <-> 172 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73be0)
]
Edge 171 <-> 197 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73be0)
]
Edge 172 <-> 242 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c744c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c00)
]
Edge 173 <-> 174 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c20)
]
Edge 174 <-> 200 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c40)
]
Edge 175 <-> 176 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73c60)
]
Edge 177 <-> 178 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73cc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ca0)
]
Edge 179 <-> 180 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ce0)
]
Edge 179 <-> 212 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74100)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ce0)
]
Edge 180 <-> 192 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d00)
]
Edge 180 <-> 219 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c741e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d00)
]
Edge 181 <-> 182 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d20)
]
Edge 182 <-> 233 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c743a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d40)
]
Edge 183 <-> 184 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d60)
]
Edge 183 <-> 215 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74160)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73d60)
]
Edge 185 <-> 186 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73dc0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73da0)
]
Edge 187 <-> 188 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73de0)
]
Edge 188 <-> 237 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74420)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e00)
]
Edge 189 <-> 190 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e40)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e20)
]
Edge 189 <-> 195 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ee0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e20)
]
Edge 191 <-> 192 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e80)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e60)
]
Edge 192 <-> 210 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c740c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73e80)
]
Edge 193 <-> 194 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ec0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ea0)
]
Edge 195 <-> 196 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f00)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73ee0)
]
Edge 196 <-> 197 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f20)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f00)
]
Edge 198 <-> 199 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f60)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f40)
]
Edge 198 <-> 234 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c743c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f40)
]
Edge 199 <-> 235 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c743e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f60)
]
Edge 200 <-> 201 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73fa0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73f80)
]
Edge 202 <-> 203 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73fe0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73fc0)
]
Edge 203 <-> 204 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74000)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c73fe0)
]
Edge 205 <-> 206 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74040)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74020)
]
Edge 205 <-> 249 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c745a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74020)
]
Edge 207 <-> 208 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74080)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74060)
]
Edge 209 <-> 210 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c740c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c740a0)
]
Edge 210 <-> 254 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74640)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c740c0)
]
Edge 211 <-> 212 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74100)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c740e0)
]
Edge 213 <-> 214 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74140)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74120)
]
Edge 215 <-> 216 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74180)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74160)
]
Edge 216 <-> 217 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c741a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74180)
]
Edge 218 <-> 219 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c741e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c741c0)
]
Edge 220 <-> 221 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74220)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74200)
]
Edge 222 <-> 223 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74260)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74240)
]
Edge 223 <-> 224 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74280)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74260)
]
Edge 223 <-> 225 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c742a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74260)
]
Edge 225 <-> 226 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c742c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c742a0)
]
Edge 227 <-> 228 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74300)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c742e0)
]
Edge 228 <-> 229 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74320)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74300)
]
Edge 230 <-> 231 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74360)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74340)
]
Edge 231 <-> 258 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c746c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74360)
]
Edge 232 <-> 233 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c743a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74380)
]
Edge 232 <-> 246 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74540)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74380)
]
Edge 234 <-> 235 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c743e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c743c0)
]
Edge 236 <-> 237 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74420)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74400)
]
Edge 238 <-> 239 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74460)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74440)
]
Edge 240 <-> 241 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c744a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74480)
]
Edge 242 <-> 243 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c744e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c744c0)
]
Edge 244 <-> 245 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74520)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74500)
]
Edge 246 <-> 247 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74560)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74540)
]
Edge 247 <-> 248 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74580)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74560)
]
Edge 249 <-> 250 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c745c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c745a0)
]
Edge 250 <-> 251 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c745e0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c745c0)
]
Edge 252 <-> 253 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74620)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74600)
]
Edge 254 <-> 255 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74660)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74640)
]
Edge 256 <-> 257 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c746a0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c74680)
]
Edge 257 <-> 258 [
Arc: (edge = 0x7fff7d8432a0, target = 0x1c746c0)
Arc: (edge = 0x7fff7d8432a0, target = 0x1c746a0)
]
]
Robot arrangement: (|R| = 57, |V| = 259) [
robot locations: {1#1 2#10 3#15 4#18 5#22 6#26 7#28 8#29 9#31 10#35 11#39 12#40 13#43 14#48 15#59 16#60 17#67 18#81 19#82 20#87 21#88 22#92 23#102 24#108 25#114 26#121 27#130 28#136 29#138 30#141 31#147 32#151 33#155 34#157 35#159 36#162 37#166 38#170 39#171 40#182 41#188 42#189 43#193 44#197 45#203 46#206 47#208 48#214 49#219 50#227 51#237 52#242 53#243 54#244 55#247 56#257 57#258 }
vertex occupancy: {0#0 1#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 2#10 0#11 0#12 0#13 0#14 3#15 0#16 0#17 4#18 0#19 0#20 0#21 5#22 0#23 0#24 0#25 6#26 0#27 7#28 8#29 0#30 9#31 0#32 0#33 0#34 10#35 0#36 0#37 0#38 11#39 12#40 0#41 0#42 13#43 0#44 0#45 0#46 0#47 14#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 15#59 16#60 0#61 0#62 0#63 0#64 0#65 0#66 17#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 18#81 19#82 0#83 0#84 0#85 0#86 20#87 21#88 0#89 0#90 0#91 22#92 0#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 23#102 0#103 0#104 0#105 0#106 0#107 24#108 0#109 0#110 0#111 0#112 0#113 25#114 0#115 0#116 0#117 0#118 0#119 0#120 26#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 27#130 0#131 0#132 0#133 0#134 0#135 28#136 0#137 29#138 0#139 0#140 30#141 0#142 0#143 0#144 0#145 0#146 31#147 0#148 0#149 0#150 32#151 0#152 0#153 0#154 33#155 0#156 34#157 0#158 35#159 0#160 0#161 36#162 0#163 0#164 0#165 37#166 0#167 0#168 0#169 38#170 39#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 40#182 0#183 0#184 0#185 0#186 0#187 41#188 42#189 0#190 0#191 0#192 43#193 0#194 0#195 0#196 44#197 0#198 0#199 0#200 0#201 0#202 45#203 0#204 0#205 46#206 0#207 47#208 0#209 0#210 0#211 0#212 0#213 48#214 0#215 0#216 0#217 0#218 49#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 50#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 51#237 0#238 0#239 0#240 0#241 52#242 53#243 54#244 0#245 0#246 55#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 56#257 57#258 }
]
Robot arrangement: (|R| = 57, |V| = 259) [
robot locations: {1#5 2#9 3#11 4#20 5#26 6#27 7#37 8#38 9#44 10#46 11#48 12#51 13#52 14#54 15#56 16#60 17#61 18#64 19#67 20#74 21#90 22#96 23#97 24#103 25#110 26#112 27#120 28#122 29#127 30#135 31#138 32#145 33#147 34#152 35#162 36#164 37#167 38#181 39#194 40#202 41#205 42#211 43#213 44#214 45#215 46#221 47#222 48#227 49#232 50#235 51#236 52#243 53#246 54#247 55#248 56#251 57#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 4#20 0#21 0#22 0#23 0#24 0#25 5#26 6#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 7#37 8#38 0#39 0#40 0#41 0#42 0#43 9#44 0#45 10#46 0#47 11#48 0#49 0#50 12#51 13#52 0#53 14#54 0#55 15#56 0#57 0#58 0#59 16#60 17#61 0#62 0#63 18#64 0#65 0#66 19#67 0#68 0#69 0#70 0#71 0#72 0#73 20#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 21#90 0#91 0#92 0#93 0#94 0#95 22#96 23#97 0#98 0#99 0#100 0#101 0#102 24#103 0#104 0#105 0#106 0#107 0#108 0#109 25#110 0#111 26#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 27#120 0#121 28#122 0#123 0#124 0#125 0#126 29#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 30#135 0#136 0#137 31#138 0#139 0#140 0#141 0#142 0#143 0#144 32#145 0#146 33#147 0#148 0#149 0#150 0#151 34#152 0#153 0#154 0#155 0#156 0#157 0#158 0#159 0#160 0#161 35#162 0#163 36#164 0#165 0#166 37#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 38#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 39#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 40#202 0#203 0#204 41#205 0#206 0#207 0#208 0#209 0#210 42#211 0#212 43#213 44#214 45#215 0#216 0#217 0#218 0#219 0#220 46#221 47#222 0#223 0#224 0#225 0#226 48#227 0#228 0#229 0#230 0#231 49#232 0#233 0#234 50#235 51#236 0#237 0#238 0#239 0#240 0#241 0#242 52#243 0#244 0#245 53#246 54#247 55#248 0#249 0#250 56#251 57#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.030
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 = 17552
Wall clock TIME (seconds) = 0.023
CPU/machine TIME (seconds) = 0.020
]
}
]
----------------------------------------------------------------