================================================================
reLOC 0.05-legio : Multirobot Solution reSolver
(C) Copyright 2011-2012 Pavel Surynek
----------------------------------------------------------------
window size:16
Reading graph...
0,1
0,8
0,42
0,66
1,2
1,24
2,3
3,4
3,172
3,202
4,5
4,16
4,53
5,6
5,12
5,35
6,7
6,9
7,8
7,23
7,147
7,153
8,17
8,212
8,237
9,10
9,65
10,11
10,52
11,12
12,13
12,30
12,68
12,145
12,247
13,14
13,48
14,15
14,101
15,16
15,43
16,162
17,18
18,19
18,26
18,33
19,20
19,70
20,21
20,83
21,22
22,23
22,135
22,233
23,32
23,126
24,25
24,27
24,67
25,26
26,181
27,28
28,29
28,47
29,30
29,36
30,31
31,32
31,193
31,226
33,34
33,55
33,63
34,35
34,69
34,90
34,102
35,192
36,37
36,44
36,45
36,62
36,75
37,38
37,61
38,39
38,110
38,117
38,184
39,40
39,150
39,221
40,41
41,42
43,44
43,71
43,79
43,121
45,46
45,54
45,127
45,138
46,47
47,64
47,91
48,49
49,50
50,51
50,201
51,52
51,178
53,54
54,72
54,140
55,56
55,134
55,156
56,57
56,111
57,58
58,59
58,137
59,60
59,211
60,61
60,176
60,183
61,194
62,63
62,78
63,139
64,65
64,175
66,67
66,146
68,69
68,88
68,95
68,149
70,71
70,119
70,132
72,73
72,76
73,74
74,75
75,133
75,168
76,77
77,78
77,84
77,195
78,116
78,131
79,80
79,122
80,81
81,82
82,83
83,144
83,174
84,85
85,86
85,89
86,87
86,104
87,88
89,90
90,103
91,92
91,96
92,93
93,94
94,95
96,97
97,98
98,99
98,128
99,100
100,101
102,103
103,129
103,152
104,105
105,106
106,107
107,108
107,120
107,155
107,173
108,109
108,169
109,110
109,213
111,112
112,113
113,114
114,115
115,116
115,210
117,118
118,119
120,121
121,207
122,123
123,124
124,125
125,126
126,136
127,128
127,160
129,130
130,131
130,206
130,245
131,179
132,133
132,209
134,135
136,137
136,191
138,139
140,141
141,142
142,143
143,144
143,232
145,146
145,236
147,148
147,163
148,149
150,151
151,152
153,154
154,155
156,157
157,158
157,244
158,159
158,190
159,160
159,161
159,208
161,162
161,170
161,177
161,227
163,164
163,171
164,165
165,166
166,167
167,168
167,214
168,182
168,222
169,170
171,172
173,174
175,176
175,243
177,178
179,180
180,181
182,183
184,185
185,186
186,187
187,188
188,189
189,190
191,192
193,194
194,215
195,196
196,197
197,198
198,199
199,200
200,201
202,203
203,204
204,205
205,206
207,208
209,210
211,212
213,214
215,216
216,217
217,218
218,219
219,220
220,221
222,223
223,224
224,225
225,226
227,228
228,229
229,230
230,231
231,232
233,234
234,235
234,246
235,236
237,238
238,239
239,240
240,241
241,242
242,243
244,245
246,247
Reading initial arrangement...
Reading original solution...
Length:986
211 # 12 ---> 30 (0)
226 # 7 ---> 6 (0)
214 # 32 ---> 23 (0)
211 # 30 ---> 31 (1)
214 # 23 ---> 7 (1)
224 # 140 ---> 54 (0)
245 # 232 ---> 143 (0)
224 # 54 ---> 45 (1)
241 # 4 ---> 53 (0)
231 # 228 ---> 227 (0)
231 # 227 ---> 161 (1)
231 # 161 ---> 159 (2)
231 # 159 ---> 158 (3)
231 # 158 ---> 157 (4)
231 # 157 ---> 244 (5)
216 # 34 ---> 33 (0)
216 # 33 ---> 63 (1)
231 # 244 ---> 245 (6)
222 # 243 ---> 175 (0)
222 # 175 ---> 64 (1)
222 # 64 ---> 65 (2)
222 # 65 ---> 9 (3)
246 # 179 ---> 180 (0)
246 # 180 ---> 181 (1)
246 # 181 ---> 26 (2)
246 # 26 ---> 18 (3)
246 # 18 ---> 17 (4)
246 # 17 ---> 8 (5)
246 # 8 ---> 237 (6)
246 # 237 ---> 238 (7)
214 # 7 ---> 8 (6)
214 # 8 ---> 0 (7)
214 # 0 ---> 1 (8)
246 # 238 ---> 239 (8)
246 # 239 ---> 240 (9)
226 # 6 ---> 7 (6)
226 # 7 ---> 23 (7)
225 # 145 ---> 12 (0)
244 # 21 ---> 20 (0)
226 # 23 ---> 22 (8)
226 # 22 ---> 21 (9)
225 # 12 ---> 5 (1)
232 # 36 ---> 29 (0)
224 # 45 ---> 36 (2)
238 # 46 ---> 45 (2)
232 # 29 ---> 28 (1)
224 # 36 ---> 29 (3)
224 # 29 ---> 30 (4)
238 # 45 ---> 36 (3)
241 # 53 ---> 54 (1)
211 # 31 ---> 32 (2)
224 # 30 ---> 31 (5)
211 # 32 ---> 23 (8)
224 # 31 ---> 32 (8)
211 # 23 ---> 7 (9)
224 # 32 ---> 23 (9)
224 # 23 ---> 22 (10)
224 # 22 ---> 233 (11)
211 # 7 ---> 23 (10)
245 # 143 ---> 142 (1)
241 # 54 ---> 45 (3)
245 # 142 ---> 141 (2)
241 # 45 ---> 127 (4)
245 # 141 ---> 140 (3)
247 # 205 ---> 204 (0)
247 # 204 ---> 203 (1)
241 # 127 ---> 160 (5)
245 # 140 ---> 54 (4)
225 # 5 ---> 35 (2)
238 # 36 ---> 29 (4)
216 # 63 ---> 62 (2)
241 # 160 ---> 159 (6)
208 # 156 ---> 55 (0)
241 # 159 ---> 158 (7)
245 # 54 ---> 45 (5)
209 # 68 ---> 12 (1)
209 # 12 ---> 5 (2)
209 # 5 ---> 4 (3)
209 # 4 ---> 16 (4)
209 # 16 ---> 162 (5)
209 # 162 ---> 161 (6)
209 # 161 ---> 227 (7)
209 # 227 ---> 228 (8)
226 # 21 ---> 22 (11)
208 # 55 ---> 33 (1)
226 # 22 ---> 135 (12)
211 # 23 ---> 22 (12)
237 # 226 ---> 31 (8)
237 # 31 ---> 30 (9)
214 # 1 ---> 2 (9)
235 # 24 ---> 1 (9)
232 # 28 ---> 27 (2)
238 # 29 ---> 28 (5)
237 # 30 ---> 29 (10)
214 # 2 ---> 3 (10)
235 # 1 ---> 2 (10)
232 # 27 ---> 24 (9)
238 # 28 ---> 27 (9)
237 # 29 ---> 28 (11)
243 # 37 ---> 38 (0)
215 # 207 ---> 121 (0)
215 # 121 ---> 43 (1)
215 # 43 ---> 44 (2)
215 # 44 ---> 36 (4)
215 # 36 ---> 75 (5)
215 # 75 ---> 168 (6)
215 # 168 ---> 222 (7)
215 # 222 ---> 223 (8)
236 # 98 ---> 128 (0)
237 # 28 ---> 47 (12)
238 # 27 ---> 28 (12)
232 # 24 ---> 27 (12)
243 # 38 ---> 39 (1)
208 # 33 ---> 34 (2)
243 # 39 ---> 40 (2)
218 # 215 ---> 216 (0)
217 # 107 ---> 108 (0)
217 # 108 ---> 109 (1)
217 # 109 ---> 110 (2)
217 # 110 ---> 38 (3)
217 # 38 ---> 37 (4)
217 # 37 ---> 61 (5)
217 # 61 ---> 194 (6)
218 # 216 ---> 217 (1)
217 # 194 ---> 215 (7)
210 # 152 ---> 151 (0)
210 # 151 ---> 150 (1)
210 # 150 ---> 39 (2)
210 # 39 ---> 38 (4)
210 # 38 ---> 37 (5)
210 # 37 ---> 61 (6)
210 # 61 ---> 194 (7)
218 # 217 ---> 218 (2)
217 # 215 ---> 216 (8)
210 # 194 ---> 215 (8)
208 # 34 ---> 90 (3)
218 # 218 ---> 219 (3)
217 # 216 ---> 217 (9)
210 # 215 ---> 216 (9)
245 # 45 ---> 36 (6)
218 # 219 ---> 220 (4)
217 # 217 ---> 218 (10)
210 # 216 ---> 217 (10)
247 # 203 ---> 202 (2)
208 # 90 ---> 103 (4)
225 # 35 ---> 34 (3)
214 # 3 ---> 4 (11)
247 # 202 ---> 3 (11)
225 # 34 ---> 90 (4)
214 # 4 ---> 5 (12)
247 # 3 ---> 4 (12)
235 # 2 ---> 3 (12)
214 # 5 ---> 6 (13)
247 # 4 ---> 5 (13)
247 # 5 ---> 12 (14)
247 # 12 ---> 30 (15)
247 # 30 ---> 31 (16)
247 # 31 ---> 193 (17)
247 # 193 ---> 194 (18)
218 # 220 ---> 221 (5)
217 # 218 ---> 219 (11)
210 # 217 ---> 218 (11)
247 # 194 ---> 215 (19)
230 # 60 ---> 61 (7)
218 # 221 ---> 39 (6)
217 # 219 ---> 220 (12)
210 # 218 ---> 219 (12)
247 # 215 ---> 216 (20)
218 # 39 ---> 38 (7)
218 # 38 ---> 110 (8)
245 # 36 ---> 37 (7)
235 # 3 ---> 202 (13)
243 # 40 ---> 41 (3)
245 # 37 ---> 38 (8)
212 # 58 ---> 59 (0)
211 # 22 ---> 21 (13)
226 # 135 ---> 22 (13)
230 # 61 ---> 37 (8)
212 # 59 ---> 60 (7)
242 # 132 ---> 70 (0)
237 # 47 ---> 91 (13)
238 # 28 ---> 47 (13)
214 # 6 ---> 7 (14)
214 # 7 ---> 153 (15)
218 # 110 ---> 109 (9)
245 # 38 ---> 110 (9)
213 # 87 ---> 88 (0)
213 # 88 ---> 68 (1)
213 # 68 ---> 12 (15)
225 # 90 ---> 89 (5)
213 # 12 ---> 5 (16)
235 # 202 ---> 203 (14)
213 # 5 ---> 6 (17)
235 # 203 ---> 204 (15)
208 # 103 ---> 90 (5)
236 # 128 ---> 127 (5)
236 # 127 ---> 45 (6)
236 # 45 ---> 54 (7)
236 # 54 ---> 53 (8)
236 # 53 ---> 4 (13)
236 # 4 ---> 3 (14)
235 # 204 ---> 205 (16)
236 # 3 ---> 202 (15)
208 # 90 ---> 34 (6)
235 # 205 ---> 206 (17)
236 # 202 ---> 203 (16)
208 # 34 ---> 35 (7)
235 # 206 ---> 130 (18)
236 # 203 ---> 204 (17)
208 # 35 ---> 5 (17)
216 # 62 ---> 78 (3)
233 # 200 ---> 201 (0)
233 # 201 ---> 50 (1)
233 # 50 ---> 49 (2)
233 # 49 ---> 48 (3)
227 # 177 ---> 161 (7)
227 # 161 ---> 159 (8)
227 # 159 ---> 160 (9)
227 # 160 ---> 127 (10)
227 # 127 ---> 45 (11)
227 # 45 ---> 54 (12)
227 # 54 ---> 72 (13)
227 # 72 ---> 76 (14)
227 # 76 ---> 77 (15)
227 # 77 ---> 195 (16)
233 # 48 ---> 13 (4)
227 # 195 ---> 196 (17)
233 # 13 ---> 12 (16)
233 # 12 ---> 68 (17)
227 # 196 ---> 197 (18)
227 # 197 ---> 198 (19)
216 # 78 ---> 77 (16)
208 # 5 ---> 4 (18)
232 # 27 ---> 28 (13)
208 # 4 ---> 3 (19)
232 # 28 ---> 29 (14)
208 # 3 ---> 2 (20)
232 # 29 ---> 30 (16)
208 # 2 ---> 1 (21)
232 # 30 ---> 12 (17)
226 # 22 ---> 23 (14)
211 # 21 ---> 22 (14)
226 # 23 ---> 7 (15)
211 # 22 ---> 23 (15)
226 # 7 ---> 8 (16)
213 # 6 ---> 7 (18)
212 # 60 ---> 61 (8)
211 # 23 ---> 126 (16)
213 # 7 ---> 23 (19)
233 # 68 ---> 95 (18)
232 # 12 ---> 68 (18)
233 # 95 ---> 94 (19)
232 # 68 ---> 95 (19)
238 # 47 ---> 28 (14)
237 # 91 ---> 47 (14)
238 # 28 ---> 29 (16)
237 # 47 ---> 28 (16)
238 # 29 ---> 36 (17)
237 # 28 ---> 29 (17)
208 # 1 ---> 24 (22)
243 # 41 ---> 42 (4)
230 # 37 ---> 38 (9)
238 # 36 ---> 37 (18)
237 # 29 ---> 36 (18)
208 # 24 ---> 27 (23)
243 # 42 ---> 0 (8)
230 # 38 ---> 39 (10)
238 # 37 ---> 38 (19)
237 # 36 ---> 37 (19)
208 # 27 ---> 28 (24)
243 # 0 ---> 1 (22)
230 # 39 ---> 40 (11)
238 # 38 ---> 39 (20)
237 # 37 ---> 38 (20)
237 # 38 ---> 184 (21)
241 # 158 ---> 159 (9)
225 # 89 ---> 90 (6)
225 # 90 ---> 103 (7)
225 # 103 ---> 152 (8)
225 # 152 ---> 151 (9)
225 # 151 ---> 150 (10)
238 # 39 ---> 38 (21)
225 # 150 ---> 39 (21)
238 # 38 ---> 37 (22)
225 # 39 ---> 38 (22)
237 # 184 ---> 185 (22)
225 # 38 ---> 184 (23)
240 # 118 ---> 117 (0)
242 # 70 ---> 119 (1)
238 # 37 ---> 36 (23)
240 # 117 ---> 38 (23)
238 # 36 ---> 44 (24)
237 # 185 ---> 186 (23)
225 # 184 ---> 185 (24)
243 # 1 ---> 24 (23)
230 # 40 ---> 41 (12)
240 # 38 ---> 39 (24)
237 # 186 ---> 187 (24)
225 # 185 ---> 186 (25)
237 # 187 ---> 188 (25)
225 # 186 ---> 187 (26)
237 # 188 ---> 189 (26)
225 # 187 ---> 188 (27)
237 # 189 ---> 190 (27)
225 # 188 ---> 189 (28)
226 # 8 ---> 0 (22)
243 # 24 ---> 25 (24)
212 # 61 ---> 37 (23)
212 # 37 ---> 36 (24)
238 # 44 ---> 43 (25)
212 # 36 ---> 44 (25)
241 # 159 ---> 161 (10)
241 # 161 ---> 177 (11)
241 # 177 ---> 178 (12)
208 # 28 ---> 47 (25)
238 # 43 ---> 121 (26)
214 # 153 ---> 7 (19)
214 # 7 ---> 6 (20)
214 # 6 ---> 5 (21)
208 # 47 ---> 64 (26)
214 # 5 ---> 35 (22)
212 # 44 ---> 43 (26)
226 # 0 ---> 1 (23)
230 # 41 ---> 42 (13)
240 # 39 ---> 40 (25)
226 # 1 ---> 24 (24)
230 # 42 ---> 0 (23)
240 # 40 ---> 41 (26)
226 # 24 ---> 27 (25)
230 # 0 ---> 1 (24)
240 # 41 ---> 42 (27)
226 # 27 ---> 28 (26)
230 # 1 ---> 24 (25)
240 # 42 ---> 0 (28)
226 # 28 ---> 29 (27)
240 # 0 ---> 1 (29)
214 # 35 ---> 34 (23)
239 # 148 ---> 147 (0)
239 # 147 ---> 7 (20)
240 # 1 ---> 2 (30)
239 # 7 ---> 8 (22)
212 # 43 ---> 15 (27)
212 # 15 ---> 16 (28)
234 # 155 ---> 107 (0)
212 # 16 ---> 4 (29)
238 # 121 ---> 120 (27)
212 # 4 ---> 5 (30)
221 # 165 ---> 166 (0)
212 # 5 ---> 6 (31)
240 # 2 ---> 3 (31)
239 # 8 ---> 0 (29)
212 # 6 ---> 7 (32)
240 # 3 ---> 4 (32)
239 # 0 ---> 1 (30)
212 # 7 ---> 8 (33)
221 # 166 ---> 167 (1)
226 # 29 ---> 30 (28)
240 # 4 ---> 16 (33)
213 # 23 ---> 7 (33)
211 # 126 ---> 23 (33)
240 # 16 ---> 15 (34)
213 # 7 ---> 6 (34)
211 # 23 ---> 7 (34)
212 # 8 ---> 17 (34)
211 # 7 ---> 8 (35)
221 # 167 ---> 168 (7)
213 # 6 ---> 7 (35)
240 # 15 ---> 14 (35)
211 # 8 ---> 0 (36)
221 # 168 ---> 75 (8)
226 # 30 ---> 12 (29)
221 # 75 ---> 36 (25)
212 # 17 ---> 8 (36)
213 # 7 ---> 23 (36)
212 # 8 ---> 7 (37)
226 # 12 ---> 5 (31)
221 # 36 ---> 29 (28)
226 # 5 ---> 4 (33)
221 # 29 ---> 30 (29)
226 # 4 ---> 53 (34)
223 # 105 ---> 106 (0)
216 # 77 ---> 84 (17)
245 # 110 ---> 38 (24)
218 # 109 ---> 110 (24)
234 # 107 ---> 108 (1)
223 # 106 ---> 107 (1)
216 # 84 ---> 85 (18)
245 # 38 ---> 37 (25)
218 # 110 ---> 38 (25)
234 # 108 ---> 109 (24)
223 # 107 ---> 108 (24)
216 # 85 ---> 86 (19)
245 # 37 ---> 36 (28)
218 # 38 ---> 37 (28)
234 # 109 ---> 110 (25)
223 # 108 ---> 109 (25)
238 # 120 ---> 107 (28)
245 # 36 ---> 44 (29)
218 # 37 ---> 36 (29)
211 # 0 ---> 42 (37)
218 # 36 ---> 29 (30)
226 # 53 ---> 54 (35)
229 # 56 ---> 55 (1)
229 # 55 ---> 156 (2)
226 # 54 ---> 45 (36)
245 # 44 ---> 43 (30)
226 # 45 ---> 36 (37)
226 # 36 ---> 75 (38)
229 # 156 ---> 157 (5)
229 # 157 ---> 158 (9)
229 # 158 ---> 159 (10)
212 # 7 ---> 6 (38)
244 # 20 ---> 21 (14)
244 # 21 ---> 22 (15)
213 # 23 ---> 7 (38)
244 # 22 ---> 23 (38)
213 # 7 ---> 8 (39)
244 # 23 ---> 7 (39)
244 # 7 ---> 153 (40)
245 # 43 ---> 15 (35)
244 # 153 ---> 154 (41)
245 # 15 ---> 16 (36)
245 # 16 ---> 4 (37)
240 # 14 ---> 15 (36)
214 # 34 ---> 33 (24)
214 # 33 ---> 63 (25)
214 # 63 ---> 62 (26)
216 # 86 ---> 104 (20)
214 # 62 ---> 78 (27)
234 # 110 ---> 38 (28)
223 # 109 ---> 110 (28)
216 # 104 ---> 105 (21)
214 # 78 ---> 77 (28)
234 # 38 ---> 37 (29)
223 # 110 ---> 38 (29)
238 # 107 ---> 108 (29)
216 # 105 ---> 106 (22)
234 # 37 ---> 36 (38)
223 # 38 ---> 37 (38)
238 # 108 ---> 109 (30)
216 # 106 ---> 107 (29)
234 # 36 ---> 62 (39)
223 # 37 ---> 36 (39)
234 # 62 ---> 78 (40)
220 # 149 ---> 68 (19)
213 # 8 ---> 17 (40)
214 # 77 ---> 76 (29)
214 # 76 ---> 72 (30)
214 # 72 ---> 54 (36)
214 # 54 ---> 140 (37)
234 # 78 ---> 77 (41)
223 # 36 ---> 62 (40)
234 # 77 ---> 84 (42)
218 # 29 ---> 36 (40)
220 # 68 ---> 12 (31)
220 # 12 ---> 5 (33)
214 # 140 ---> 141 (38)
218 # 36 ---> 45 (41)
214 # 141 ---> 142 (39)
213 # 17 ---> 18 (41)
239 # 1 ---> 0 (37)
230 # 24 ---> 1 (37)
239 # 0 ---> 66 (38)
230 # 1 ---> 0 (38)
230 # 0 ---> 8 (40)
230 # 8 ---> 7 (41)
230 # 7 ---> 23 (42)
230 # 23 ---> 126 (43)
230 # 126 ---> 136 (44)
213 # 18 ---> 33 (42)
212 # 6 ---> 7 (42)
213 # 33 ---> 34 (43)
239 # 66 ---> 0 (40)
239 # 0 ---> 8 (41)
243 # 25 ---> 24 (37)
239 # 8 ---> 17 (42)
212 # 7 ---> 8 (43)
239 # 17 ---> 18 (43)
212 # 8 ---> 17 (44)
239 # 18 ---> 19 (44)
239 # 19 ---> 70 (45)
239 # 70 ---> 132 (46)
226 # 75 ---> 36 (41)
239 # 132 ---> 133 (47)
226 # 36 ---> 44 (42)
212 # 17 ---> 18 (45)
212 # 18 ---> 33 (46)
213 # 34 ---> 35 (44)
212 # 33 ---> 34 (47)
212 # 34 ---> 90 (48)
212 # 90 ---> 103 (49)
212 # 103 ---> 129 (50)
223 # 62 ---> 63 (41)
213 # 35 ---> 34 (48)
235 # 130 ---> 131 (19)
212 # 129 ---> 130 (51)
213 # 34 ---> 90 (49)
213 # 90 ---> 103 (50)
235 # 131 ---> 78 (41)
212 # 130 ---> 131 (52)
213 # 103 ---> 129 (51)
220 # 5 ---> 35 (48)
220 # 35 ---> 34 (49)
228 # 96 ---> 91 (14)
226 # 44 ---> 43 (43)
226 # 43 ---> 79 (44)
226 # 79 ---> 80 (45)
228 # 91 ---> 47 (26)
228 # 47 ---> 28 (27)
228 # 28 ---> 29 (40)
228 # 29 ---> 36 (42)
228 # 36 ---> 44 (43)
228 # 44 ---> 43 (44)
228 # 43 ---> 79 (45)
228 # 79 ---> 122 (46)
221 # 30 ---> 29 (42)
221 # 29 ---> 36 (43)
221 # 36 ---> 37 (44)
221 # 37 ---> 38 (45)
242 # 119 ---> 70 (46)
221 # 38 ---> 117 (46)
220 # 34 ---> 33 (50)
221 # 117 ---> 118 (47)
220 # 33 ---> 18 (51)
223 # 63 ---> 33 (51)
220 # 18 ---> 17 (52)
223 # 33 ---> 18 (52)
240 # 15 ---> 43 (45)
220 # 17 ---> 8 (53)
223 # 18 ---> 17 (53)
242 # 70 ---> 19 (47)
242 # 19 ---> 18 (53)
242 # 18 ---> 33 (54)
242 # 33 ---> 55 (55)
242 # 55 ---> 56 (56)
242 # 56 ---> 111 (57)
219 # 67 ---> 66 (40)
243 # 24 ---> 67 (40)
223 # 17 ---> 18 (54)
238 # 109 ---> 110 (31)
216 # 107 ---> 108 (30)
238 # 110 ---> 38 (46)
216 # 108 ---> 109 (31)
238 # 38 ---> 37 (47)
216 # 109 ---> 110 (46)
238 # 37 ---> 36 (48)
232 # 95 ---> 68 (31)
233 # 94 ---> 95 (31)
232 # 68 ---> 12 (33)
233 # 95 ---> 68 (33)
216 # 110 ---> 38 (47)
216 # 38 ---> 37 (48)
232 # 12 ---> 30 (42)
233 # 68 ---> 12 (42)
238 # 36 ---> 62 (49)
216 # 37 ---> 36 (49)
233 # 12 ---> 5 (48)
232 # 30 ---> 12 (48)
216 # 36 ---> 29 (50)
238 # 62 ---> 36 (50)
232 # 12 ---> 68 (49)
216 # 29 ---> 30 (51)
238 # 36 ---> 29 (51)
216 # 30 ---> 12 (52)
216 # 12 ---> 11 (53)
222 # 9 ---> 6 (42)
216 # 11 ---> 10 (54)
233 # 5 ---> 12 (53)
222 # 6 ---> 5 (53)
233 # 12 ---> 11 (54)
223 # 18 ---> 26 (55)
223 # 26 ---> 25 (56)
223 # 25 ---> 24 (57)
223 # 24 ---> 27 (58)
223 # 27 ---> 28 (59)
223 # 28 ---> 47 (60)
223 # 47 ---> 91 (61)
223 # 91 ---> 96 (62)
223 # 96 ---> 97 (63)
223 # 97 ---> 98 (64)
238 # 29 ---> 28 (60)
238 # 28 ---> 27 (61)
223 # 98 ---> 99 (65)
240 # 43 ---> 44 (46)
240 # 44 ---> 36 (51)
240 # 36 ---> 29 (60)
238 # 27 ---> 24 (62)
240 # 29 ---> 28 (61)
218 # 45 ---> 36 (60)
238 # 24 ---> 1 (63)
240 # 28 ---> 27 (62)
223 # 99 ---> 100 (66)
222 # 5 ---> 35 (54)
218 # 36 ---> 29 (61)
220 # 8 ---> 17 (54)
238 # 1 ---> 0 (64)
240 # 27 ---> 24 (63)
240 # 24 ---> 1 (64)
245 # 4 ---> 3 (38)
238 # 0 ---> 8 (65)
240 # 1 ---> 0 (65)
218 # 29 ---> 28 (62)
218 # 28 ---> 27 (63)
232 # 68 ---> 69 (50)
234 # 84 ---> 85 (43)
234 # 85 ---> 86 (44)
234 # 86 ---> 87 (45)
234 # 87 ---> 88 (46)
211 # 42 ---> 41 (38)
211 # 41 ---> 40 (39)
211 # 40 ---> 39 (40)
211 # 39 ---> 38 (48)
211 # 38 ---> 37 (49)
211 # 37 ---> 36 (61)
211 # 36 ---> 62 (62)
235 # 78 ---> 77 (42)
211 # 62 ---> 78 (63)
235 # 77 ---> 76 (43)
211 # 78 ---> 77 (64)
234 # 88 ---> 68 (50)
211 # 77 ---> 84 (65)
234 # 68 ---> 12 (54)
226 # 80 ---> 81 (46)
226 # 81 ---> 82 (47)
234 # 12 ---> 13 (55)
233 # 11 ---> 12 (55)
233 # 12 ---> 5 (56)
216 # 10 ---> 11 (55)
233 # 5 ---> 6 (57)
234 # 13 ---> 14 (56)
226 # 82 ---> 83 (48)
222 # 35 ---> 5 (57)
222 # 5 ---> 4 (58)
222 # 4 ---> 16 (59)
222 # 16 ---> 15 (60)
222 # 15 ---> 43 (61)
226 # 83 ---> 20 (49)
222 # 43 ---> 79 (62)
226 # 20 ---> 19 (53)
243 # 67 ---> 24 (64)
219 # 66 ---> 67 (64)
240 # 0 ---> 66 (66)
238 # 8 ---> 0 (66)
233 # 6 ---> 7 (58)
238 # 0 ---> 1 (67)
233 # 7 ---> 8 (66)
245 # 3 ---> 4 (59)
238 # 1 ---> 2 (68)
233 # 8 ---> 0 (67)
245 # 4 ---> 5 (60)
222 # 79 ---> 80 (63)
226 # 19 ---> 70 (54)
235 # 76 ---> 77 (65)
238 # 2 ---> 3 (69)
238 # 3 ---> 4 (70)
238 # 4 ---> 53 (71)
238 # 53 ---> 54 (72)
238 # 54 ---> 72 (73)
235 # 77 ---> 78 (66)
238 # 72 ---> 76 (74)
235 # 78 ---> 62 (67)
238 # 76 ---> 77 (75)
235 # 62 ---> 36 (68)
233 # 0 ---> 1 (68)
240 # 66 ---> 0 (68)
219 # 67 ---> 66 (68)
243 # 24 ---> 67 (68)
233 # 1 ---> 24 (69)
240 # 0 ---> 1 (69)
240 # 1 ---> 2 (70)
240 # 2 ---> 3 (71)
240 # 3 ---> 4 (72)
240 # 4 ---> 53 (73)
240 # 53 ---> 54 (74)
235 # 36 ---> 29 (69)
240 # 54 ---> 72 (75)
240 # 72 ---> 73 (76)
240 # 73 ---> 74 (77)
240 # 74 ---> 75 (78)
226 # 70 ---> 71 (55)
208 # 64 ---> 65 (27)
208 # 65 ---> 9 (42)
208 # 9 ---> 6 (58)
208 # 6 ---> 7 (66)
208 # 7 ---> 8 (67)
220 # 17 ---> 18 (55)
208 # 8 ---> 17 (68)
220 # 18 ---> 19 (56)
208 # 17 ---> 18 (69)
220 # 19 ---> 20 (57)
208 # 18 ---> 19 (70)
226 # 71 ---> 43 (62)
208 # 19 ---> 70 (71)
232 # 69 ---> 34 (51)
232 # 34 ---> 35 (57)
233 # 24 ---> 1 (70)
243 # 67 ---> 24 (70)
219 # 66 ---> 67 (70)
233 # 1 ---> 0 (71)
243 # 24 ---> 1 (71)
233 # 0 ---> 8 (72)
243 # 1 ---> 0 (72)
233 # 8 ---> 17 (73)
243 # 0 ---> 8 (73)
219 # 67 ---> 24 (71)
219 # 24 ---> 1 (72)
219 # 1 ---> 2 (73)
218 # 27 ---> 24 (72)
243 # 8 ---> 7 (74)
233 # 17 ---> 8 (74)
233 # 8 ---> 0 (75)
233 # 0 ---> 1 (76)
218 # 24 ---> 25 (73)
233 # 1 ---> 24 (77)
219 # 2 ---> 1 (77)
233 # 24 ---> 27 (78)
219 # 1 ---> 24 (78)
233 # 27 ---> 28 (79)
233 # 28 ---> 47 (80)
233 # 47 ---> 64 (81)
219 # 24 ---> 27 (79)
245 # 5 ---> 4 (73)
232 # 35 ---> 5 (73)
245 # 4 ---> 3 (74)
232 # 5 ---> 4 (74)
235 # 29 ---> 30 (70)
219 # 27 ---> 28 (80)
245 # 3 ---> 2 (77)
232 # 4 ---> 3 (77)
235 # 30 ---> 12 (71)
245 # 2 ---> 1 (78)
232 # 3 ---> 2 (78)
245 # 1 ---> 0 (79)
219 # 28 ---> 29 (81)
232 # 2 ---> 1 (79)
235 # 12 ---> 5 (74)
243 # 7 ---> 8 (75)
243 # 8 ---> 17 (76)
243 # 17 ---> 18 (77)
243 # 18 ---> 33 (78)
243 # 33 ---> 55 (79)
234 # 14 ---> 15 (61)
243 # 55 ---> 56 (80)
243 # 56 ---> 57 (81)
245 # 0 ---> 8 (80)
245 # 8 ---> 7 (81)
243 # 57 ---> 58 (82)
235 # 5 ---> 35 (75)
245 # 7 ---> 6 (82)
218 # 25 ---> 26 (74)
218 # 26 ---> 18 (78)
218 # 18 ---> 17 (79)
243 # 58 ---> 59 (83)
218 # 17 ---> 8 (81)
218 # 8 ---> 7 (82)
245 # 6 ---> 5 (83)
218 # 7 ---> 6 (83)
245 # 5 ---> 4 (84)
218 # 6 ---> 5 (84)
245 # 4 ---> 3 (85)
218 # 5 ---> 4 (85)
218 # 4 ---> 53 (86)
218 # 53 ---> 54 (87)
216 # 11 ---> 12 (74)
216 # 12 ---> 13 (75)
234 # 15 ---> 16 (62)
216 # 13 ---> 48 (76)
226 # 43 ---> 15 (63)
226 # 15 ---> 14 (64)
226 # 14 ---> 13 (76)
216 # 48 ---> 49 (77)
226 # 13 ---> 48 (77)
232 # 1 ---> 24 (80)
235 # 35 ---> 5 (85)
235 # 5 ---> 6 (86)
219 # 29 ---> 36 (82)
232 # 24 ---> 27 (81)
245 # 3 ---> 2 (86)
232 # 27 ---> 28 (82)
232 # 28 ---> 29 (83)
232 # 29 ---> 30 (84)
219 # 36 ---> 37 (83)
232 # 30 ---> 12 (85)
232 # 12 ---> 5 (86)
219 # 37 ---> 38 (84)
235 # 6 ---> 7 (87)
235 # 7 ---> 8 (88)
235 # 8 ---> 0 (89)
235 # 0 ---> 1 (90)
232 # 5 ---> 4 (87)
235 # 1 ---> 24 (91)
235 # 24 ---> 27 (92)
232 # 4 ---> 3 (88)
234 # 16 ---> 4 (88)
220 # 20 ---> 21 (58)
220 # 21 ---> 22 (59)
220 # 22 ---> 23 (60)
234 # 4 ---> 5 (89)
234 # 5 ---> 6 (90)
234 # 6 ---> 7 (91)
232 # 3 ---> 4 (89)
234 # 7 ---> 8 (92)
232 # 4 ---> 5 (90)
234 # 8 ---> 0 (93)
232 # 5 ---> 6 (91)
245 # 2 ---> 3 (89)
234 # 0 ---> 1 (94)
232 # 6 ---> 7 (92)
245 # 3 ---> 4 (90)
234 # 1 ---> 2 (95)
232 # 7 ---> 8 (93)
245 # 4 ---> 5 (91)
234 # 2 ---> 3 (96)
232 # 8 ---> 0 (94)
245 # 5 ---> 6 (92)
234 # 3 ---> 4 (97)
232 # 0 ---> 1 (95)
245 # 6 ---> 9 (93)
234 # 4 ---> 5 (98)
232 # 1 ---> 2 (96)
234 # 5 ---> 6 (99)
232 # 2 ---> 3 (97)
234 # 6 ---> 7 (100)
232 # 3 ---> 4 (98)
234 # 7 ---> 8 (101)
232 # 4 ---> 5 (99)
234 # 8 ---> 0 (102)
232 # 5 ---> 6 (100)
234 # 0 ---> 1 (103)
232 # 6 ---> 7 (101)
234 # 1 ---> 2 (104)
232 # 7 ---> 8 (102)
245 # 9 ---> 6 (101)
245 # 6 ---> 7 (102)
234 # 2 ---> 3 (105)
232 # 8 ---> 0 (103)
245 # 7 ---> 8 (103)
234 # 3 ---> 4 (106)
232 # 0 ---> 1 (104)
245 # 8 ---> 0 (104)
234 # 4 ---> 5 (107)
232 # 1 ---> 2 (105)
245 # 0 ---> 1 (105)
234 # 5 ---> 6 (108)
232 # 2 ---> 3 (106)
245 # 1 ---> 2 (106)
234 # 6 ---> 7 (109)
232 # 3 ---> 4 (107)
245 # 2 ---> 3 (107)
234 # 7 ---> 8 (110)
232 # 4 ---> 5 (108)
245 # 3 ---> 4 (108)
234 # 8 ---> 0 (111)
232 # 5 ---> 6 (109)
245 # 4 ---> 5 (109)
234 # 0 ---> 1 (112)
232 # 6 ---> 7 (110)
245 # 5 ---> 6 (110)
234 # 1 ---> 2 (113)
232 # 7 ---> 8 (111)
245 # 6 ---> 7 (111)
234 # 2 ---> 3 (114)
232 # 8 ---> 0 (112)
234 # 3 ---> 4 (115)
232 # 0 ---> 1 (113)
245 # 7 ---> 8 (112)
234 # 4 ---> 5 (116)
232 # 1 ---> 2 (114)
245 # 8 ---> 0 (113)
234 # 5 ---> 6 (117)
232 # 2 ---> 3 (115)
245 # 0 ---> 1 (114)
234 # 6 ---> 7 (118)
232 # 3 ---> 4 (116)
245 # 1 ---> 2 (115)
234 # 7 ---> 8 (119)
232 # 4 ---> 5 (117)
245 # 2 ---> 3 (116)
234 # 8 ---> 0 (120)
245 # 3 ---> 4 (117)
234 # 0 ---> 1 (121)
232 # 5 ---> 6 (118)
245 # 4 ---> 5 (118)
232 # 6 ---> 9 (119)
245 # 5 ---> 6 (119)
234 # 1 ---> 2 (122)
245 # 6 ---> 7 (120)
232 # 9 ---> 6 (120)
234 # 2 ---> 3 (123)
245 # 7 ---> 8 (121)
232 # 6 ---> 7 (121)
234 # 3 ---> 4 (124)
245 # 8 ---> 0 (122)
232 # 7 ---> 8 (122)
234 # 4 ---> 5 (125)
245 # 0 ---> 1 (123)
232 # 8 ---> 0 (123)
234 # 5 ---> 6 (126)
245 # 1 ---> 2 (124)
232 # 0 ---> 1 (124)
234 # 6 ---> 7 (127)
245 # 2 ---> 3 (125)
232 # 1 ---> 2 (125)
234 # 7 ---> 8 (128)
245 # 3 ---> 4 (126)
232 # 2 ---> 3 (126)
234 # 8 ---> 0 (129)
245 # 4 ---> 5 (127)
232 # 3 ---> 4 (127)
234 # 0 ---> 1 (130)
245 # 5 ---> 6 (128)
245 # 6 ---> 9 (129)
232 # 4 ---> 5 (128)
234 # 1 ---> 2 (131)
232 # 5 ---> 6 (129)
234 # 2 ---> 3 (132)
232 # 6 ---> 7 (130)
234 # 3 ---> 4 (133)
232 # 7 ---> 8 (131)
234 # 4 ---> 5 (134)
232 # 8 ---> 0 (132)
234 # 5 ---> 6 (135)
232 # 0 ---> 1 (133)
234 # 6 ---> 7 (136)
232 # 1 ---> 2 (134)
234 # 7 ---> 8 (137)
232 # 2 ---> 3 (135)
232 # 3 ---> 4 (136)
234 # 8 ---> 0 (138)
232 # 4 ---> 5 (137)
234 # 0 ---> 1 (139)
234 # 1 ---> 2 (140)
232 # 5 ---> 6 (138)
234 # 2 ---> 3 (141)
232 # 6 ---> 7 (139)
234 # 3 ---> 4 (142)
232 # 7 ---> 8 (140)
234 # 4 ---> 5 (143)
232 # 8 ---> 0 (141)
234 # 5 ---> 6 (144)
232 # 0 ---> 1 (142)
234 # 6 ---> 7 (145)
232 # 1 ---> 2 (143)
234 # 7 ---> 8 (146)
232 # 2 ---> 3 (144)
234 # 8 ---> 0 (147)
232 # 3 ---> 4 (145)
234 # 0 ---> 1 (148)
232 # 4 ---> 5 (146)
234 # 1 ---> 2 (149)
232 # 5 ---> 6 (147)
234 # 2 ---> 3 (150)
232 # 6 ---> 7 (148)
234 # 3 ---> 4 (151)
232 # 7 ---> 8 (149)
234 # 4 ---> 5 (152)
232 # 8 ---> 0 (150)
234 # 5 ---> 6 (153)
232 # 0 ---> 1 (151)
234 # 6 ---> 7 (154)
232 # 1 ---> 2 (152)
234 # 7 ---> 8 (155)
232 # 2 ---> 3 (153)
232 # 3 ---> 4 (154)
234 # 8 ---> 0 (156)
245 # 9 ---> 6 (154)
234 # 0 ---> 1 (157)
245 # 6 ---> 7 (155)
232 # 4 ---> 5 (155)
234 # 1 ---> 2 (158)
245 # 7 ---> 8 (156)
232 # 5 ---> 6 (156)
234 # 2 ---> 3 (159)
232 # 6 ---> 7 (157)
234 # 3 ---> 4 (160)
234 # 4 ---> 5 (161)
234 # 5 ---> 6 (162)
234 # 6 ---> 9 (163)
232 # 7 ---> 6 (163)
232 # 6 ---> 5 (164)
245 # 8 ---> 7 (163)
232 # 5 ---> 4 (165)
245 # 7 ---> 6 (164)
232 # 4 ---> 3 (166)
245 # 6 ---> 5 (165)
212 # 131 ---> 179 (53)
Reading goal arrangement...
Undirected graph: (|V|=248 |E|=316) [
    Vertex: (id = 0) {1 8 42 66 }
    Vertex: (id = 1) {0 2 24 }
    Vertex: (id = 2) {1 3 }
    Vertex: (id = 3) {2 4 172 202 }
    Vertex: (id = 4) {3 5 16 53 }
    Vertex: (id = 5) {4 6 12 35 }
    Vertex: (id = 6) {5 7 9 }
    Vertex: (id = 7) {6 8 23 147 153 }
    Vertex: (id = 8) {0 7 17 212 237 }
    Vertex: (id = 9) {6 10 65 }
    Vertex: (id = 10) {9 11 52 }
    Vertex: (id = 11) {10 12 }
    Vertex: (id = 12) {5 11 13 30 68 145 247 }
    Vertex: (id = 13) {12 14 48 }
    Vertex: (id = 14) {13 15 101 }
    Vertex: (id = 15) {14 16 43 }
    Vertex: (id = 16) {4 15 162 }
    Vertex: (id = 17) {8 18 }
    Vertex: (id = 18) {17 19 26 33 }
    Vertex: (id = 19) {18 20 70 }
    Vertex: (id = 20) {19 21 83 }
    Vertex: (id = 21) {20 22 }
    Vertex: (id = 22) {21 23 135 233 }
    Vertex: (id = 23) {7 22 32 126 }
    Vertex: (id = 24) {1 25 27 67 }
    Vertex: (id = 25) {24 26 }
    Vertex: (id = 26) {18 25 181 }
    Vertex: (id = 27) {24 28 }
    Vertex: (id = 28) {27 29 47 }
    Vertex: (id = 29) {28 30 36 }
    Vertex: (id = 30) {12 29 31 }
    Vertex: (id = 31) {30 32 193 226 }
    Vertex: (id = 32) {23 31 }
    Vertex: (id = 33) {18 34 55 63 }
    Vertex: (id = 34) {33 35 69 90 102 }
    Vertex: (id = 35) {5 34 192 }
    Vertex: (id = 36) {29 37 44 45 62 75 }
    Vertex: (id = 37) {36 38 61 }
    Vertex: (id = 38) {37 39 110 117 184 }
    Vertex: (id = 39) {38 40 150 221 }
    Vertex: (id = 40) {39 41 }
    Vertex: (id = 41) {40 42 }
    Vertex: (id = 42) {0 41 }
    Vertex: (id = 43) {15 44 71 79 121 }
    Vertex: (id = 44) {36 43 }
    Vertex: (id = 45) {36 46 54 127 138 }
    Vertex: (id = 46) {45 47 }
    Vertex: (id = 47) {28 46 64 91 }
    Vertex: (id = 48) {13 49 }
    Vertex: (id = 49) {48 50 }
    Vertex: (id = 50) {49 51 201 }
    Vertex: (id = 51) {50 52 178 }
    Vertex: (id = 52) {10 51 }
    Vertex: (id = 53) {4 54 }
    Vertex: (id = 54) {45 53 72 140 }
    Vertex: (id = 55) {33 56 134 156 }
    Vertex: (id = 56) {55 57 111 }
    Vertex: (id = 57) {56 58 }
    Vertex: (id = 58) {57 59 137 }
    Vertex: (id = 59) {58 60 211 }
    Vertex: (id = 60) {59 61 176 183 }
    Vertex: (id = 61) {37 60 194 }
    Vertex: (id = 62) {36 63 78 }
    Vertex: (id = 63) {33 62 139 }
    Vertex: (id = 64) {47 65 175 }
    Vertex: (id = 65) {9 64 }
    Vertex: (id = 66) {0 67 146 }
    Vertex: (id = 67) {24 66 }
    Vertex: (id = 68) {12 69 88 95 149 }
    Vertex: (id = 69) {34 68 }
    Vertex: (id = 70) {19 71 119 132 }
    Vertex: (id = 71) {43 70 }
    Vertex: (id = 72) {54 73 76 }
    Vertex: (id = 73) {72 74 }
    Vertex: (id = 74) {73 75 }
    Vertex: (id = 75) {36 74 133 168 }
    Vertex: (id = 76) {72 77 }
    Vertex: (id = 77) {76 78 84 195 }
    Vertex: (id = 78) {62 77 116 131 }
    Vertex: (id = 79) {43 80 122 }
    Vertex: (id = 80) {79 81 }
    Vertex: (id = 81) {80 82 }
    Vertex: (id = 82) {81 83 }
    Vertex: (id = 83) {20 82 144 174 }
    Vertex: (id = 84) {77 85 }
    Vertex: (id = 85) {84 86 89 }
    Vertex: (id = 86) {85 87 104 }
    Vertex: (id = 87) {86 88 }
    Vertex: (id = 88) {68 87 }
    Vertex: (id = 89) {85 90 }
    Vertex: (id = 90) {34 89 103 }
    Vertex: (id = 91) {47 92 96 }
    Vertex: (id = 92) {91 93 }
    Vertex: (id = 93) {92 94 }
    Vertex: (id = 94) {93 95 }
    Vertex: (id = 95) {68 94 }
    Vertex: (id = 96) {91 97 }
    Vertex: (id = 97) {96 98 }
    Vertex: (id = 98) {97 99 128 }
    Vertex: (id = 99) {98 100 }
    Vertex: (id = 100) {99 101 }
    Vertex: (id = 101) {14 100 }
    Vertex: (id = 102) {34 103 }
    Vertex: (id = 103) {90 102 129 152 }
    Vertex: (id = 104) {86 105 }
    Vertex: (id = 105) {104 106 }
    Vertex: (id = 106) {105 107 }
    Vertex: (id = 107) {106 108 120 155 173 }
    Vertex: (id = 108) {107 109 169 }
    Vertex: (id = 109) {108 110 213 }
    Vertex: (id = 110) {38 109 }
    Vertex: (id = 111) {56 112 }
    Vertex: (id = 112) {111 113 }
    Vertex: (id = 113) {112 114 }
    Vertex: (id = 114) {113 115 }
    Vertex: (id = 115) {114 116 210 }
    Vertex: (id = 116) {78 115 }
    Vertex: (id = 117) {38 118 }
    Vertex: (id = 118) {117 119 }
    Vertex: (id = 119) {70 118 }
    Vertex: (id = 120) {107 121 }
    Vertex: (id = 121) {43 120 207 }
    Vertex: (id = 122) {79 123 }
    Vertex: (id = 123) {122 124 }
    Vertex: (id = 124) {123 125 }
    Vertex: (id = 125) {124 126 }
    Vertex: (id = 126) {23 125 136 }
    Vertex: (id = 127) {45 128 160 }
    Vertex: (id = 128) {98 127 }
    Vertex: (id = 129) {103 130 }
    Vertex: (id = 130) {129 131 206 245 }
    Vertex: (id = 131) {78 130 179 }
    Vertex: (id = 132) {70 133 209 }
    Vertex: (id = 133) {75 132 }
    Vertex: (id = 134) {55 135 }
    Vertex: (id = 135) {22 134 }
    Vertex: (id = 136) {126 137 191 }
    Vertex: (id = 137) {58 136 }
    Vertex: (id = 138) {45 139 }
    Vertex: (id = 139) {63 138 }
    Vertex: (id = 140) {54 141 }
    Vertex: (id = 141) {140 142 }
    Vertex: (id = 142) {141 143 }
    Vertex: (id = 143) {142 144 232 }
    Vertex: (id = 144) {83 143 }
    Vertex: (id = 145) {12 146 236 }
    Vertex: (id = 146) {66 145 }
    Vertex: (id = 147) {7 148 163 }
    Vertex: (id = 148) {147 149 }
    Vertex: (id = 149) {68 148 }
    Vertex: (id = 150) {39 151 }
    Vertex: (id = 151) {150 152 }
    Vertex: (id = 152) {103 151 }
    Vertex: (id = 153) {7 154 }
    Vertex: (id = 154) {153 155 }
    Vertex: (id = 155) {107 154 }
    Vertex: (id = 156) {55 157 }
    Vertex: (id = 157) {156 158 244 }
    Vertex: (id = 158) {157 159 190 }
    Vertex: (id = 159) {158 160 161 208 }
    Vertex: (id = 160) {127 159 }
    Vertex: (id = 161) {159 162 170 177 227 }
    Vertex: (id = 162) {16 161 }
    Vertex: (id = 163) {147 164 171 }
    Vertex: (id = 164) {163 165 }
    Vertex: (id = 165) {164 166 }
    Vertex: (id = 166) {165 167 }
    Vertex: (id = 167) {166 168 214 }
    Vertex: (id = 168) {75 167 182 222 }
    Vertex: (id = 169) {108 170 }
    Vertex: (id = 170) {161 169 }
    Vertex: (id = 171) {163 172 }
    Vertex: (id = 172) {3 171 }
    Vertex: (id = 173) {107 174 }
    Vertex: (id = 174) {83 173 }
    Vertex: (id = 175) {64 176 243 }
    Vertex: (id = 176) {60 175 }
    Vertex: (id = 177) {161 178 }
    Vertex: (id = 178) {51 177 }
    Vertex: (id = 179) {131 180 }
    Vertex: (id = 180) {179 181 }
    Vertex: (id = 181) {26 180 }
    Vertex: (id = 182) {168 183 }
    Vertex: (id = 183) {60 182 }
    Vertex: (id = 184) {38 185 }
    Vertex: (id = 185) {184 186 }
    Vertex: (id = 186) {185 187 }
    Vertex: (id = 187) {186 188 }
    Vertex: (id = 188) {187 189 }
    Vertex: (id = 189) {188 190 }
    Vertex: (id = 190) {158 189 }
    Vertex: (id = 191) {136 192 }
    Vertex: (id = 192) {35 191 }
    Vertex: (id = 193) {31 194 }
    Vertex: (id = 194) {61 193 215 }
    Vertex: (id = 195) {77 196 }
    Vertex: (id = 196) {195 197 }
    Vertex: (id = 197) {196 198 }
    Vertex: (id = 198) {197 199 }
    Vertex: (id = 199) {198 200 }
    Vertex: (id = 200) {199 201 }
    Vertex: (id = 201) {50 200 }
    Vertex: (id = 202) {3 203 }
    Vertex: (id = 203) {202 204 }
    Vertex: (id = 204) {203 205 }
    Vertex: (id = 205) {204 206 }
    Vertex: (id = 206) {130 205 }
    Vertex: (id = 207) {121 208 }
    Vertex: (id = 208) {159 207 }
    Vertex: (id = 209) {132 210 }
    Vertex: (id = 210) {115 209 }
    Vertex: (id = 211) {59 212 }
    Vertex: (id = 212) {8 211 }
    Vertex: (id = 213) {109 214 }
    Vertex: (id = 214) {167 213 }
    Vertex: (id = 215) {194 216 }
    Vertex: (id = 216) {215 217 }
    Vertex: (id = 217) {216 218 }
    Vertex: (id = 218) {217 219 }
    Vertex: (id = 219) {218 220 }
    Vertex: (id = 220) {219 221 }
    Vertex: (id = 221) {39 220 }
    Vertex: (id = 222) {168 223 }
    Vertex: (id = 223) {222 224 }
    Vertex: (id = 224) {223 225 }
    Vertex: (id = 225) {224 226 }
    Vertex: (id = 226) {31 225 }
    Vertex: (id = 227) {161 228 }
    Vertex: (id = 228) {227 229 }
    Vertex: (id = 229) {228 230 }
    Vertex: (id = 230) {229 231 }
    Vertex: (id = 231) {230 232 }
    Vertex: (id = 232) {143 231 }
    Vertex: (id = 233) {22 234 }
    Vertex: (id = 234) {233 235 246 }
    Vertex: (id = 235) {234 236 }
    Vertex: (id = 236) {145 235 }
    Vertex: (id = 237) {8 238 }
    Vertex: (id = 238) {237 239 }
    Vertex: (id = 239) {238 240 }
    Vertex: (id = 240) {239 241 }
    Vertex: (id = 241) {240 242 }
    Vertex: (id = 242) {241 243 }
    Vertex: (id = 243) {175 242 }
    Vertex: (id = 244) {157 245 }
    Vertex: (id = 245) {130 244 }
    Vertex: (id = 246) {234 247 }
    Vertex: (id = 247) {12 246 }
    Edge  0 <-> 1 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35690)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35670)
    ]
    Edge  0 <-> 8 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35770)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35670)
    ]
    Edge  0 <-> 42 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35bb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35670)
    ]
    Edge  0 <-> 66 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35eb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35670)
    ]
    Edge  1 <-> 2 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc356b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35690)
    ]
    Edge  1 <-> 24 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35970)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35690)
    ]
    Edge  2 <-> 3 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc356d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc356b0)
    ]
    Edge  3 <-> 4 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc356f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc356d0)
    ]
    Edge  3 <-> 172 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36bf0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc356d0)
    ]
    Edge  3 <-> 202 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36fb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc356d0)
    ]
    Edge  4 <-> 5 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35710)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc356f0)
    ]
    Edge  4 <-> 16 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35870)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc356f0)
    ]
    Edge  4 <-> 53 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc356f0)
    ]
    Edge  5 <-> 6 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35730)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35710)
    ]
    Edge  5 <-> 12 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35710)
    ]
    Edge  5 <-> 35 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ad0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35710)
    ]
    Edge  6 <-> 7 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35750)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35730)
    ]
    Edge  6 <-> 9 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35790)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35730)
    ]
    Edge  7 <-> 8 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35770)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35750)
    ]
    Edge  7 <-> 23 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35950)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35750)
    ]
    Edge  7 <-> 147 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc368d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35750)
    ]
    Edge  7 <-> 153 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36990)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35750)
    ]
    Edge  8 <-> 17 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35890)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35770)
    ]
    Edge  8 <-> 212 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc370f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35770)
    ]
    Edge  8 <-> 237 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37410)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35770)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35790)
    ]
    Edge  9 <-> 65 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35790)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357b0)
    ]
    Edge  10 <-> 52 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35cf0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357b0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357d0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35810)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357f0)
    ]
    Edge  12 <-> 30 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357f0)
    ]
    Edge  12 <-> 68 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ef0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357f0)
    ]
    Edge  12 <-> 145 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36890)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357f0)
    ]
    Edge  12 <-> 247 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37550)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc357f0)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35830)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35810)
    ]
    Edge  13 <-> 48 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35810)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35850)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35830)
    ]
    Edge  14 <-> 101 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36310)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35830)
    ]
    Edge  15 <-> 16 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35870)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35850)
    ]
    Edge  15 <-> 43 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35bd0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35850)
    ]
    Edge  16 <-> 162 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ab0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35870)
    ]
    Edge  17 <-> 18 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc358b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35890)
    ]
    Edge  18 <-> 19 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc358d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc358b0)
    ]
    Edge  18 <-> 26 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc359b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc358b0)
    ]
    Edge  18 <-> 33 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc358b0)
    ]
    Edge  19 <-> 20 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc358f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc358d0)
    ]
    Edge  19 <-> 70 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc358d0)
    ]
    Edge  20 <-> 21 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35910)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc358f0)
    ]
    Edge  20 <-> 83 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc360d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc358f0)
    ]
    Edge  21 <-> 22 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35930)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35910)
    ]
    Edge  22 <-> 23 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35950)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35930)
    ]
    Edge  22 <-> 135 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36750)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35930)
    ]
    Edge  22 <-> 233 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37390)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35930)
    ]
    Edge  23 <-> 32 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35950)
    ]
    Edge  23 <-> 126 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36630)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35950)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35990)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35970)
    ]
    Edge  24 <-> 27 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc359d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35970)
    ]
    Edge  24 <-> 67 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ed0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35970)
    ]
    Edge  25 <-> 26 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc359b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35990)
    ]
    Edge  26 <-> 181 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36d10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc359b0)
    ]
    Edge  27 <-> 28 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc359f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc359d0)
    ]
    Edge  28 <-> 29 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc359f0)
    ]
    Edge  28 <-> 47 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc359f0)
    ]
    Edge  29 <-> 30 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a10)
    ]
    Edge  29 <-> 36 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35af0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a10)
    ]
    Edge  30 <-> 31 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a30)
    ]
    Edge  31 <-> 32 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a50)
    ]
    Edge  31 <-> 193 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36e90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a50)
    ]
    Edge  31 <-> 226 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc372b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a50)
    ]
    Edge  33 <-> 34 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ab0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a90)
    ]
    Edge  33 <-> 55 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a90)
    ]
    Edge  33 <-> 63 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35a90)
    ]
    Edge  34 <-> 35 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ad0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ab0)
    ]
    Edge  34 <-> 69 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ab0)
    ]
    Edge  34 <-> 90 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc361b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ab0)
    ]
    Edge  34 <-> 102 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36330)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ab0)
    ]
    Edge  35 <-> 192 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36e70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ad0)
    ]
    Edge  36 <-> 37 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35af0)
    ]
    Edge  36 <-> 44 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35bf0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35af0)
    ]
    Edge  36 <-> 45 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35af0)
    ]
    Edge  36 <-> 62 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35af0)
    ]
    Edge  36 <-> 75 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35fd0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35af0)
    ]
    Edge  37 <-> 38 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b10)
    ]
    Edge  37 <-> 61 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b10)
    ]
    Edge  38 <-> 39 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b30)
    ]
    Edge  38 <-> 110 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36430)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b30)
    ]
    Edge  38 <-> 117 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36510)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b30)
    ]
    Edge  38 <-> 184 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36d70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b30)
    ]
    Edge  39 <-> 40 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b50)
    ]
    Edge  39 <-> 150 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36930)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b50)
    ]
    Edge  39 <-> 221 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37210)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b50)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b70)
    ]
    Edge  41 <-> 42 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35bb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35b90)
    ]
    Edge  43 <-> 44 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35bf0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35bd0)
    ]
    Edge  43 <-> 71 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35bd0)
    ]
    Edge  43 <-> 79 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36050)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35bd0)
    ]
    Edge  43 <-> 121 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36590)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35bd0)
    ]
    Edge  45 <-> 46 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c10)
    ]
    Edge  45 <-> 54 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c10)
    ]
    Edge  45 <-> 127 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36650)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c10)
    ]
    Edge  45 <-> 138 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc367b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c10)
    ]
    Edge  46 <-> 47 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c30)
    ]
    Edge  47 <-> 64 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c50)
    ]
    Edge  47 <-> 91 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc361d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c50)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c70)
    ]
    Edge  49 <-> 50 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35cb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35c90)
    ]
    Edge  50 <-> 51 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35cd0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35cb0)
    ]
    Edge  50 <-> 201 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36f90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35cb0)
    ]
    Edge  51 <-> 52 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35cf0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35cd0)
    ]
    Edge  51 <-> 178 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36cb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35cd0)
    ]
    Edge  53 <-> 54 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d10)
    ]
    Edge  54 <-> 72 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d30)
    ]
    Edge  54 <-> 140 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc367f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d30)
    ]
    Edge  55 <-> 56 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d50)
    ]
    Edge  55 <-> 134 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36730)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d50)
    ]
    Edge  55 <-> 156 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc369f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d50)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d70)
    ]
    Edge  56 <-> 111 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36450)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d70)
    ]
    Edge  57 <-> 58 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35db0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35d90)
    ]
    Edge  58 <-> 59 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35dd0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35db0)
    ]
    Edge  58 <-> 137 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36790)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35db0)
    ]
    Edge  59 <-> 60 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35df0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35dd0)
    ]
    Edge  59 <-> 211 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc370d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35dd0)
    ]
    Edge  60 <-> 61 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35df0)
    ]
    Edge  60 <-> 176 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35df0)
    ]
    Edge  60 <-> 183 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36d50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35df0)
    ]
    Edge  61 <-> 194 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36eb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e10)
    ]
    Edge  62 <-> 63 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e30)
    ]
    Edge  62 <-> 78 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36030)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e30)
    ]
    Edge  63 <-> 139 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc367d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e50)
    ]
    Edge  64 <-> 65 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e70)
    ]
    Edge  64 <-> 175 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35e70)
    ]
    Edge  66 <-> 67 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ed0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35eb0)
    ]
    Edge  66 <-> 146 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc368b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35eb0)
    ]
    Edge  68 <-> 69 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ef0)
    ]
    Edge  68 <-> 88 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36170)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ef0)
    ]
    Edge  68 <-> 95 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36250)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ef0)
    ]
    Edge  68 <-> 149 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36910)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ef0)
    ]
    Edge  70 <-> 71 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f30)
    ]
    Edge  70 <-> 119 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36550)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f30)
    ]
    Edge  70 <-> 132 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc366f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f30)
    ]
    Edge  72 <-> 73 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f70)
    ]
    Edge  72 <-> 76 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ff0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f70)
    ]
    Edge  73 <-> 74 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35fb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35f90)
    ]
    Edge  74 <-> 75 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35fd0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35fb0)
    ]
    Edge  75 <-> 133 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36710)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35fd0)
    ]
    Edge  75 <-> 168 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35fd0)
    ]
    Edge  76 <-> 77 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36010)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc35ff0)
    ]
    Edge  77 <-> 78 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36030)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36010)
    ]
    Edge  77 <-> 84 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc360f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36010)
    ]
    Edge  77 <-> 195 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ed0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36010)
    ]
    Edge  78 <-> 116 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc364f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36030)
    ]
    Edge  78 <-> 131 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc366d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36030)
    ]
    Edge  79 <-> 80 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36070)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36050)
    ]
    Edge  79 <-> 122 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc365b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36050)
    ]
    Edge  80 <-> 81 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36090)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36070)
    ]
    Edge  81 <-> 82 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc360b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36090)
    ]
    Edge  82 <-> 83 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc360d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc360b0)
    ]
    Edge  83 <-> 144 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36870)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc360d0)
    ]
    Edge  83 <-> 174 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc360d0)
    ]
    Edge  84 <-> 85 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36110)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc360f0)
    ]
    Edge  85 <-> 86 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36130)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36110)
    ]
    Edge  85 <-> 89 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36190)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36110)
    ]
    Edge  86 <-> 87 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36150)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36130)
    ]
    Edge  86 <-> 104 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36370)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36130)
    ]
    Edge  87 <-> 88 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36170)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36150)
    ]
    Edge  89 <-> 90 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc361b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36190)
    ]
    Edge  90 <-> 103 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36350)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc361b0)
    ]
    Edge  91 <-> 92 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc361f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc361d0)
    ]
    Edge  91 <-> 96 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36270)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc361d0)
    ]
    Edge  92 <-> 93 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36210)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc361f0)
    ]
    Edge  93 <-> 94 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36230)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36210)
    ]
    Edge  94 <-> 95 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36250)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36230)
    ]
    Edge  96 <-> 97 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36290)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36270)
    ]
    Edge  97 <-> 98 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc362b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36290)
    ]
    Edge  98 <-> 99 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc362d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc362b0)
    ]
    Edge  98 <-> 128 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36670)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc362b0)
    ]
    Edge  99 <-> 100 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc362f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc362d0)
    ]
    Edge  100 <-> 101 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36310)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc362f0)
    ]
    Edge  102 <-> 103 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36350)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36330)
    ]
    Edge  103 <-> 129 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36690)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36350)
    ]
    Edge  103 <-> 152 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36970)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36350)
    ]
    Edge  104 <-> 105 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36390)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36370)
    ]
    Edge  105 <-> 106 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc363b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36390)
    ]
    Edge  106 <-> 107 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc363d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc363b0)
    ]
    Edge  107 <-> 108 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc363f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc363d0)
    ]
    Edge  107 <-> 120 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36570)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc363d0)
    ]
    Edge  107 <-> 155 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc369d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc363d0)
    ]
    Edge  107 <-> 173 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc363d0)
    ]
    Edge  108 <-> 109 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36410)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc363f0)
    ]
    Edge  108 <-> 169 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc363f0)
    ]
    Edge  109 <-> 110 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36430)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36410)
    ]
    Edge  109 <-> 213 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37110)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36410)
    ]
    Edge  111 <-> 112 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36470)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36450)
    ]
    Edge  112 <-> 113 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36490)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36470)
    ]
    Edge  113 <-> 114 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc364b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36490)
    ]
    Edge  114 <-> 115 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc364d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc364b0)
    ]
    Edge  115 <-> 116 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc364f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc364d0)
    ]
    Edge  115 <-> 210 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc370b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc364d0)
    ]
    Edge  117 <-> 118 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36530)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36510)
    ]
    Edge  118 <-> 119 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36550)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36530)
    ]
    Edge  120 <-> 121 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36590)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36570)
    ]
    Edge  121 <-> 207 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37050)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36590)
    ]
    Edge  122 <-> 123 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc365d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc365b0)
    ]
    Edge  123 <-> 124 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc365f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc365d0)
    ]
    Edge  124 <-> 125 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36610)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc365f0)
    ]
    Edge  125 <-> 126 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36630)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36610)
    ]
    Edge  126 <-> 136 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36770)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36630)
    ]
    Edge  127 <-> 128 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36670)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36650)
    ]
    Edge  127 <-> 160 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36650)
    ]
    Edge  129 <-> 130 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc366b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36690)
    ]
    Edge  130 <-> 131 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc366d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc366b0)
    ]
    Edge  130 <-> 206 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37030)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc366b0)
    ]
    Edge  130 <-> 245 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37510)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc366b0)
    ]
    Edge  131 <-> 179 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36cd0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc366d0)
    ]
    Edge  132 <-> 133 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36710)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc366f0)
    ]
    Edge  132 <-> 209 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37090)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc366f0)
    ]
    Edge  134 <-> 135 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36750)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36730)
    ]
    Edge  136 <-> 137 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36790)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36770)
    ]
    Edge  136 <-> 191 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36e50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36770)
    ]
    Edge  138 <-> 139 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc367d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc367b0)
    ]
    Edge  140 <-> 141 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36810)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc367f0)
    ]
    Edge  141 <-> 142 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36830)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36810)
    ]
    Edge  142 <-> 143 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36850)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36830)
    ]
    Edge  143 <-> 144 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36870)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36850)
    ]
    Edge  143 <-> 232 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37370)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36850)
    ]
    Edge  145 <-> 146 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc368b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36890)
    ]
    Edge  145 <-> 236 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc373f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36890)
    ]
    Edge  147 <-> 148 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc368f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc368d0)
    ]
    Edge  147 <-> 163 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ad0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc368d0)
    ]
    Edge  148 <-> 149 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36910)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc368f0)
    ]
    Edge  150 <-> 151 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36950)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36930)
    ]
    Edge  151 <-> 152 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36970)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36950)
    ]
    Edge  153 <-> 154 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc369b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36990)
    ]
    Edge  154 <-> 155 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc369d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc369b0)
    ]
    Edge  156 <-> 157 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc369f0)
    ]
    Edge  157 <-> 158 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a10)
    ]
    Edge  157 <-> 244 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc374f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a10)
    ]
    Edge  158 <-> 159 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a30)
    ]
    Edge  158 <-> 190 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36e30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a30)
    ]
    Edge  159 <-> 160 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a50)
    ]
    Edge  159 <-> 161 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a50)
    ]
    Edge  159 <-> 208 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37070)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a50)
    ]
    Edge  161 <-> 162 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ab0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a90)
    ]
    Edge  161 <-> 170 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36bb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a90)
    ]
    Edge  161 <-> 177 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a90)
    ]
    Edge  161 <-> 227 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc372d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36a90)
    ]
    Edge  163 <-> 164 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36af0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ad0)
    ]
    Edge  163 <-> 171 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36bd0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ad0)
    ]
    Edge  164 <-> 165 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36af0)
    ]
    Edge  165 <-> 166 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b10)
    ]
    Edge  166 <-> 167 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b30)
    ]
    Edge  167 <-> 168 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b50)
    ]
    Edge  167 <-> 214 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37130)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b50)
    ]
    Edge  168 <-> 182 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36d30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b70)
    ]
    Edge  168 <-> 222 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37230)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b70)
    ]
    Edge  169 <-> 170 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36bb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36b90)
    ]
    Edge  171 <-> 172 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36bf0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36bd0)
    ]
    Edge  173 <-> 174 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c10)
    ]
    Edge  175 <-> 176 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c50)
    ]
    Edge  175 <-> 243 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc374d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c50)
    ]
    Edge  177 <-> 178 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36cb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36c90)
    ]
    Edge  179 <-> 180 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36cf0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36cd0)
    ]
    Edge  180 <-> 181 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36d10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36cf0)
    ]
    Edge  182 <-> 183 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36d50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36d30)
    ]
    Edge  184 <-> 185 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36d90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36d70)
    ]
    Edge  185 <-> 186 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36db0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36d90)
    ]
    Edge  186 <-> 187 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36dd0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36db0)
    ]
    Edge  187 <-> 188 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36df0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36dd0)
    ]
    Edge  188 <-> 189 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36e10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36df0)
    ]
    Edge  189 <-> 190 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36e30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36e10)
    ]
    Edge  191 <-> 192 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36e70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36e50)
    ]
    Edge  193 <-> 194 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36eb0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36e90)
    ]
    Edge  194 <-> 215 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37150)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36eb0)
    ]
    Edge  195 <-> 196 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ef0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ed0)
    ]
    Edge  196 <-> 197 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36f10)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ef0)
    ]
    Edge  197 <-> 198 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36f30)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36f10)
    ]
    Edge  198 <-> 199 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36f50)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36f30)
    ]
    Edge  199 <-> 200 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36f70)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36f50)
    ]
    Edge  200 <-> 201 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36f90)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36f70)
    ]
    Edge  202 <-> 203 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36fd0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36fb0)
    ]
    Edge  203 <-> 204 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ff0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36fd0)
    ]
    Edge  204 <-> 205 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37010)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc36ff0)
    ]
    Edge  205 <-> 206 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37030)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37010)
    ]
    Edge  207 <-> 208 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37070)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37050)
    ]
    Edge  209 <-> 210 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc370b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37090)
    ]
    Edge  211 <-> 212 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc370f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc370d0)
    ]
    Edge  213 <-> 214 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37130)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37110)
    ]
    Edge  215 <-> 216 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37170)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37150)
    ]
    Edge  216 <-> 217 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37190)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37170)
    ]
    Edge  217 <-> 218 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc371b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37190)
    ]
    Edge  218 <-> 219 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc371d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc371b0)
    ]
    Edge  219 <-> 220 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc371f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc371d0)
    ]
    Edge  220 <-> 221 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37210)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc371f0)
    ]
    Edge  222 <-> 223 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37250)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37230)
    ]
    Edge  223 <-> 224 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37270)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37250)
    ]
    Edge  224 <-> 225 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37290)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37270)
    ]
    Edge  225 <-> 226 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc372b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37290)
    ]
    Edge  227 <-> 228 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc372f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc372d0)
    ]
    Edge  228 <-> 229 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37310)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc372f0)
    ]
    Edge  229 <-> 230 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37330)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37310)
    ]
    Edge  230 <-> 231 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37350)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37330)
    ]
    Edge  231 <-> 232 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37370)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37350)
    ]
    Edge  233 <-> 234 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc373b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37390)
    ]
    Edge  234 <-> 235 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc373d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc373b0)
    ]
    Edge  234 <-> 246 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37530)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc373b0)
    ]
    Edge  235 <-> 236 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc373f0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc373d0)
    ]
    Edge  237 <-> 238 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37430)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37410)
    ]
    Edge  238 <-> 239 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37450)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37430)
    ]
    Edge  239 <-> 240 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37470)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37450)
    ]
    Edge  240 <-> 241 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37490)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37470)
    ]
    Edge  241 <-> 242 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc374b0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37490)
    ]
    Edge  242 <-> 243 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc374d0)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc374b0)
    ]
    Edge  244 <-> 245 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37510)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc374f0)
    ]
    Edge  246 <-> 247 [
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37550)
        Arc: (edge = 0x7fff6b2845b0, target = 0xc37530)
    ]
]
Robot arrangement: (|R| = 40, |V| = 248) [
     robot locations: {1#4 2#7 3#12 4#21 5#24 6#32 7#34 8#36 9#37 10#46 11#56 12#58 13#60 14#67 15#68 16#87 17#96 18#98 19#105 20#107 21#118 22#132 23#140 24#145 25#148 26#149 27#152 28#155 29#156 30#165 31#177 32#179 33#200 34#205 35#207 36#215 37#226 38#228 39#232 40#243 }
     vertex occupancy: {0#0 0#1 0#2 0#3 1#4 0#5 0#6 2#7 0#8 0#9 0#10 0#11 3#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 4#21 0#22 0#23 5#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 6#32 0#33 7#34 0#35 8#36 9#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 10#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 11#56 0#57 12#58 0#59 13#60 0#61 0#62 0#63 0#64 0#65 0#66 14#67 15#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 16#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 17#96 0#97 18#98 0#99 0#100 0#101 0#102 0#103 0#104 19#105 0#106 20#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 21#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 22#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 23#140 0#141 0#142 0#143 0#144 24#145 0#146 0#147 25#148 26#149 0#150 0#151 27#152 0#153 0#154 28#155 29#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 30#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 31#177 0#178 32#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 33#200 0#201 0#202 0#203 0#204 34#205 0#206 35#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 36#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 37#226 0#227 38#228 0#229 0#230 0#231 39#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 40#243 0#244 0#245 0#246 0#247 }
]
Robot arrangement: (|R| = 40, |V| = 248) [
     robot locations: {1#3 2#5 3#9 4#23 5#27 6#38 7#48 8#49 9#54 10#59 11#64 12#70 13#75 14#77 15#80 16#84 17#100 18#111 19#118 20#122 21#129 22#133 23#136 24#142 25#154 26#159 27#178 28#179 29#189 30#190 31#198 32#204 33#216 34#219 35#220 36#223 37#228 38#233 39#240 40#245 }
     vertex occupancy: {0#0 0#1 0#2 1#3 0#4 2#5 0#6 0#7 0#8 3#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 4#23 0#24 0#25 0#26 5#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 6#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 0#47 7#48 8#49 0#50 0#51 0#52 0#53 9#54 0#55 0#56 0#57 0#58 10#59 0#60 0#61 0#62 0#63 11#64 0#65 0#66 0#67 0#68 0#69 12#70 0#71 0#72 0#73 0#74 13#75 0#76 14#77 0#78 0#79 15#80 0#81 0#82 0#83 16#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 0#98 0#99 17#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 18#111 0#112 0#113 0#114 0#115 0#116 0#117 19#118 0#119 0#120 0#121 20#122 0#123 0#124 0#125 0#126 0#127 0#128 21#129 0#130 0#131 0#132 22#133 0#134 0#135 23#136 0#137 0#138 0#139 0#140 0#141 24#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 25#154 0#155 0#156 0#157 0#158 26#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 27#178 28#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 29#189 30#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 31#198 0#199 0#200 0#201 0#202 0#203 32#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 33#216 0#217 0#218 34#219 35#220 0#221 0#222 36#223 0#224 0#225 0#226 0#227 37#228 0#229 0#230 0#231 0#232 38#233 0#234 0#235 0#236 0#237 0#238 0#239 39#240 0#241 0#242 0#243 0#244 40#245 0#246 0#247 }
]
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.023
            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                   = 6969
                Wall clock TIME (seconds)      = 0.009
                CPU/machine TIME (seconds)     = 0.010
            ]
        }
]
----------------------------------------------------------------