================================================================
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:556
245 # 232 ---> 143 (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)
231 # 244 ---> 245 (6)
232 # 36 ---> 75 (0)
243 # 37 ---> 36 (0)
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)
226 # 7 ---> 8 (6)
226 # 8 ---> 0 (7)
246 # 238 ---> 239 (8)
246 # 239 ---> 240 (9)
232 # 75 ---> 74 (1)
243 # 36 ---> 75 (1)
245 # 143 ---> 142 (1)
245 # 142 ---> 141 (2)
245 # 141 ---> 140 (3)
245 # 140 ---> 54 (4)
245 # 54 ---> 45 (5)
238 # 46 ---> 47 (0)
232 # 74 ---> 73 (2)
243 # 75 ---> 74 (2)
237 # 226 ---> 31 (0)
237 # 31 ---> 30 (1)
237 # 30 ---> 12 (2)
238 # 47 ---> 28 (1)
238 # 28 ---> 29 (2)
235 # 24 ---> 27 (0)
235 # 27 ---> 28 (2)
237 # 12 ---> 5 (3)
247 # 205 ---> 206 (0)
247 # 206 ---> 130 (1)
247 # 130 ---> 131 (2)
247 # 131 ---> 78 (3)
247 # 78 ---> 62 (4)
247 # 62 ---> 36 (5)
247 # 36 ---> 37 (6)
247 # 37 ---> 61 (7)
247 # 61 ---> 194 (8)
247 # 194 ---> 215 (9)
229 # 56 ---> 57 (0)
237 # 5 ---> 35 (4)
238 # 29 ---> 30 (3)
230 # 60 ---> 61 (8)
229 # 57 ---> 58 (1)
237 # 35 ---> 34 (5)
238 # 30 ---> 12 (4)
247 # 215 ---> 216 (10)
234 # 155 ---> 107 (0)
237 # 34 ---> 102 (6)
238 # 12 ---> 5 (5)
230 # 61 ---> 37 (9)
229 # 58 ---> 59 (2)
230 # 37 ---> 36 (10)
229 # 59 ---> 60 (8)
242 # 132 ---> 70 (0)
238 # 5 ---> 6 (6)
236 # 98 ---> 128 (0)
228 # 96 ---> 97 (0)
236 # 128 ---> 127 (1)
228 # 97 ---> 98 (1)
245 # 45 ---> 46 (6)
236 # 127 ---> 45 (6)
236 # 45 ---> 54 (7)
236 # 54 ---> 53 (8)
230 # 36 ---> 45 (11)
241 # 4 ---> 5 (6)
236 # 53 ---> 4 (9)
236 # 4 ---> 3 (10)
236 # 3 ---> 202 (11)
241 # 5 ---> 4 (10)
238 # 6 ---> 5 (10)
236 # 202 ---> 203 (12)
236 # 203 ---> 204 (13)
233 # 200 ---> 201 (0)
233 # 201 ---> 50 (1)
233 # 50 ---> 49 (2)
235 # 28 ---> 47 (3)
228 # 98 ---> 99 (2)
235 # 47 ---> 91 (4)
245 # 46 ---> 47 (7)
230 # 45 ---> 46 (12)
233 # 49 ---> 48 (3)
227 # 177 ---> 161 (2)
227 # 161 ---> 159 (3)
227 # 159 ---> 160 (4)
227 # 160 ---> 127 (6)
227 # 127 ---> 45 (12)
227 # 45 ---> 54 (13)
227 # 54 ---> 72 (14)
227 # 72 ---> 76 (15)
227 # 76 ---> 77 (16)
227 # 77 ---> 195 (17)
233 # 48 ---> 13 (4)
227 # 195 ---> 196 (18)
233 # 13 ---> 12 (5)
227 # 196 ---> 197 (19)
227 # 197 ---> 198 (20)
244 # 21 ---> 22 (0)
244 # 22 ---> 23 (1)
229 # 60 ---> 61 (9)
237 # 102 ---> 103 (7)
237 # 103 ---> 152 (8)
237 # 152 ---> 151 (9)
237 # 151 ---> 150 (10)
237 # 150 ---> 39 (11)
237 # 39 ---> 38 (12)
237 # 38 ---> 184 (13)
237 # 184 ---> 185 (14)
240 # 118 ---> 117 (0)
242 # 70 ---> 119 (1)
240 # 117 ---> 38 (13)
237 # 185 ---> 186 (15)
237 # 186 ---> 187 (16)
237 # 187 ---> 188 (17)
237 # 188 ---> 189 (18)
237 # 189 ---> 190 (19)
229 # 61 ---> 37 (10)
229 # 37 ---> 36 (11)
229 # 36 ---> 29 (12)
229 # 29 ---> 28 (13)
229 # 28 ---> 27 (14)
229 # 27 ---> 24 (15)
240 # 38 ---> 37 (14)
226 # 0 ---> 42 (8)
229 # 24 ---> 1 (16)
240 # 37 ---> 36 (15)
229 # 1 ---> 0 (17)
241 # 4 ---> 16 (11)
241 # 16 ---> 162 (12)
241 # 162 ---> 161 (13)
241 # 161 ---> 177 (14)
241 # 177 ---> 178 (15)
233 # 12 ---> 30 (6)
238 # 5 ---> 12 (11)
238 # 12 ---> 68 (12)
239 # 148 ---> 147 (0)
229 # 0 ---> 66 (18)
239 # 147 ---> 7 (6)
239 # 7 ---> 8 (7)
233 # 30 ---> 12 (12)
244 # 23 ---> 7 (7)
239 # 8 ---> 17 (8)
244 # 7 ---> 8 (8)
233 # 12 ---> 5 (13)
233 # 5 ---> 6 (14)
244 # 8 ---> 0 (18)
233 # 6 ---> 7 (15)
244 # 0 ---> 1 (19)
233 # 7 ---> 8 (18)
244 # 1 ---> 24 (20)
233 # 8 ---> 0 (19)
239 # 17 ---> 8 (19)
233 # 0 ---> 1 (20)
229 # 66 ---> 0 (20)
239 # 8 ---> 7 (20)
229 # 0 ---> 8 (21)
229 # 8 ---> 17 (22)
229 # 17 ---> 18 (23)
229 # 18 ---> 33 (24)
229 # 33 ---> 55 (25)
229 # 55 ---> 156 (26)
229 # 156 ---> 157 (27)
229 # 157 ---> 158 (28)
229 # 158 ---> 159 (29)
239 # 7 ---> 6 (21)
233 # 1 ---> 0 (21)
244 # 24 ---> 1 (21)
233 # 0 ---> 66 (22)
244 # 1 ---> 0 (22)
244 # 0 ---> 8 (23)
244 # 8 ---> 7 (24)
244 # 7 ---> 153 (25)
239 # 6 ---> 7 (25)
239 # 7 ---> 8 (26)
244 # 153 ---> 154 (26)
239 # 8 ---> 0 (27)
245 # 47 ---> 28 (14)
245 # 28 ---> 29 (15)
230 # 46 ---> 47 (14)
240 # 36 ---> 45 (16)
245 # 29 ---> 36 (16)
245 # 36 ---> 37 (17)
239 # 0 ---> 1 (28)
245 # 37 ---> 38 (18)
239 # 1 ---> 24 (29)
226 # 42 ---> 0 (28)
245 # 38 ---> 39 (19)
239 # 24 ---> 27 (30)
226 # 0 ---> 1 (29)
245 # 39 ---> 40 (20)
239 # 27 ---> 28 (31)
226 # 1 ---> 24 (30)
245 # 40 ---> 41 (21)
239 # 28 ---> 29 (32)
226 # 24 ---> 27 (31)
245 # 41 ---> 42 (28)
239 # 29 ---> 36 (33)
226 # 27 ---> 28 (32)
239 # 36 ---> 37 (34)
226 # 28 ---> 29 (33)
230 # 47 ---> 28 (33)
240 # 45 ---> 46 (17)
226 # 29 ---> 36 (34)
230 # 28 ---> 29 (34)
240 # 46 ---> 47 (33)
226 # 36 ---> 45 (35)
230 # 29 ---> 36 (35)
230 # 36 ---> 44 (36)
239 # 37 ---> 36 (36)
239 # 36 ---> 29 (37)
240 # 47 ---> 28 (34)
230 # 44 ---> 36 (37)
239 # 29 ---> 30 (38)
230 # 36 ---> 29 (38)
239 # 30 ---> 12 (39)
230 # 29 ---> 30 (39)
230 # 30 ---> 31 (40)
230 # 31 ---> 32 (41)
230 # 32 ---> 23 (42)
230 # 23 ---> 126 (43)
230 # 126 ---> 136 (44)
239 # 12 ---> 13 (40)
239 # 13 ---> 14 (41)
239 # 14 ---> 15 (42)
239 # 15 ---> 43 (43)
239 # 43 ---> 71 (44)
239 # 71 ---> 70 (45)
239 # 70 ---> 132 (46)
239 # 132 ---> 133 (47)
235 # 91 ---> 47 (34)
228 # 99 ---> 100 (3)
228 # 100 ---> 101 (4)
228 # 101 ---> 14 (42)
228 # 14 ---> 15 (43)
228 # 15 ---> 43 (44)
228 # 43 ---> 79 (45)
228 # 79 ---> 122 (46)
232 # 73 ---> 72 (15)
243 # 74 ---> 73 (15)
226 # 45 ---> 36 (38)
232 # 72 ---> 54 (16)
243 # 73 ---> 72 (16)
226 # 36 ---> 75 (39)
242 # 119 ---> 70 (46)
242 # 70 ---> 19 (47)
242 # 19 ---> 18 (48)
242 # 18 ---> 33 (49)
242 # 33 ---> 55 (50)
242 # 55 ---> 56 (51)
242 # 56 ---> 111 (52)
240 # 28 ---> 29 (39)
240 # 29 ---> 36 (40)
234 # 107 ---> 108 (1)
240 # 36 ---> 62 (41)
234 # 108 ---> 109 (2)
240 # 62 ---> 78 (42)
234 # 109 ---> 110 (3)
240 # 78 ---> 77 (43)
234 # 110 ---> 38 (19)
240 # 77 ---> 84 (44)
234 # 38 ---> 37 (36)
240 # 84 ---> 85 (45)
234 # 37 ---> 36 (41)
240 # 85 ---> 86 (46)
240 # 86 ---> 87 (47)
245 # 42 ---> 0 (29)
234 # 36 ---> 29 (42)
234 # 29 ---> 28 (43)
232 # 54 ---> 45 (38)
234 # 28 ---> 27 (44)
238 # 68 ---> 12 (40)
240 # 87 ---> 88 (48)
238 # 12 ---> 30 (41)
240 # 88 ---> 68 (49)
238 # 30 ---> 29 (43)
240 # 68 ---> 12 (50)
238 # 29 ---> 28 (44)
240 # 12 ---> 30 (51)
234 # 27 ---> 24 (45)
238 # 28 ---> 27 (45)
240 # 30 ---> 29 (52)
240 # 29 ---> 28 (53)
234 # 24 ---> 1 (46)
238 # 27 ---> 24 (46)
232 # 45 ---> 36 (42)
243 # 72 ---> 54 (38)
232 # 36 ---> 62 (43)
243 # 54 ---> 45 (42)
226 # 75 ---> 74 (40)
243 # 45 ---> 36 (43)
243 # 36 ---> 75 (44)
232 # 62 ---> 36 (44)
232 # 36 ---> 29 (53)
245 # 0 ---> 8 (30)
234 # 1 ---> 0 (47)
238 # 24 ---> 1 (47)
238 # 1 ---> 2 (48)
234 # 0 ---> 1 (48)
234 # 1 ---> 24 (49)
245 # 8 ---> 0 (48)
238 # 2 ---> 3 (49)
245 # 0 ---> 1 (49)
238 # 3 ---> 4 (50)
245 # 1 ---> 2 (50)
238 # 4 ---> 53 (51)
238 # 53 ---> 54 (52)
238 # 54 ---> 72 (53)
238 # 72 ---> 76 (54)
238 # 76 ---> 77 (55)
234 # 24 ---> 1 (50)
234 # 1 ---> 0 (51)
232 # 29 ---> 30 (54)
240 # 28 ---> 29 (54)
240 # 29 ---> 36 (55)
240 # 36 ---> 45 (56)
240 # 45 ---> 54 (57)
243 # 75 ---> 36 (56)
240 # 54 ---> 72 (58)
243 # 36 ---> 45 (57)
243 # 45 ---> 46 (58)
226 # 74 ---> 75 (56)
240 # 72 ---> 73 (59)
226 # 75 ---> 36 (57)
240 # 73 ---> 74 (60)
240 # 74 ---> 75 (61)
233 # 66 ---> 67 (23)
233 # 67 ---> 24 (50)
233 # 24 ---> 1 (51)
235 # 47 ---> 28 (54)
235 # 28 ---> 27 (55)
235 # 27 ---> 24 (56)
235 # 24 ---> 25 (57)
233 # 1 ---> 24 (57)
233 # 24 ---> 27 (58)
233 # 27 ---> 28 (59)
233 # 28 ---> 47 (60)
233 # 47 ---> 64 (61)
234 # 0 ---> 8 (52)
234 # 8 ---> 7 (53)
226 # 36 ---> 29 (58)
243 # 46 ---> 47 (61)
243 # 47 ---> 28 (62)
243 # 28 ---> 27 (63)
243 # 27 ---> 24 (64)
234 # 7 ---> 6 (54)
235 # 25 ---> 26 (58)
243 # 24 ---> 25 (65)
235 # 26 ---> 18 (59)
243 # 25 ---> 26 (66)
235 # 18 ---> 17 (60)
243 # 26 ---> 18 (67)
243 # 18 ---> 33 (68)
243 # 33 ---> 55 (69)
243 # 55 ---> 56 (70)
232 # 30 ---> 12 (55)
243 # 56 ---> 57 (71)
234 # 6 ---> 5 (55)
243 # 57 ---> 58 (72)
235 # 17 ---> 8 (61)
243 # 58 ---> 59 (73)
232 # 12 ---> 13 (56)
232 # 13 ---> 14 (57)
226 # 29 ---> 30 (59)
226 # 30 ---> 12 (60)
226 # 12 ---> 13 (61)
226 # 13 ---> 48 (62)
235 # 8 ---> 0 (62)
235 # 0 ---> 1 (63)
235 # 1 ---> 24 (65)
235 # 24 ---> 27 (66)
234 # 5 ---> 4 (56)
234 # 4 ---> 3 (57)
232 # 14 ---> 15 (58)
232 # 15 ---> 16 (59)
232 # 16 ---> 4 (60)
232 # 4 ---> 5 (61)
232 # 5 ---> 6 (62)
232 # 6 ---> 7 (63)
234 # 3 ---> 4 (61)
234 # 4 ---> 5 (62)
232 # 7 ---> 8 (64)
234 # 5 ---> 6 (63)
232 # 8 ---> 0 (65)
234 # 6 ---> 7 (64)
245 # 2 ---> 3 (61)
232 # 0 ---> 1 (66)
234 # 7 ---> 8 (65)
245 # 3 ---> 4 (62)
232 # 1 ---> 2 (67)
234 # 8 ---> 0 (66)
245 # 4 ---> 5 (63)
232 # 2 ---> 3 (68)
234 # 0 ---> 1 (67)
245 # 5 ---> 6 (64)
232 # 3 ---> 4 (69)
234 # 1 ---> 2 (68)
245 # 6 ---> 7 (65)
232 # 4 ---> 5 (70)
234 # 2 ---> 3 (69)
245 # 7 ---> 8 (66)
232 # 5 ---> 6 (71)
234 # 3 ---> 4 (70)
245 # 8 ---> 0 (67)
232 # 6 ---> 7 (72)
234 # 4 ---> 5 (71)
245 # 0 ---> 1 (68)
232 # 7 ---> 8 (73)
234 # 5 ---> 6 (72)
245 # 1 ---> 2 (69)
232 # 8 ---> 0 (74)
234 # 6 ---> 7 (73)
245 # 2 ---> 3 (70)
232 # 0 ---> 1 (75)
234 # 7 ---> 8 (74)
245 # 3 ---> 4 (71)
232 # 1 ---> 2 (76)
234 # 8 ---> 0 (75)
245 # 4 ---> 5 (72)
232 # 2 ---> 3 (77)
234 # 0 ---> 1 (76)
245 # 5 ---> 6 (73)
232 # 3 ---> 4 (78)
234 # 1 ---> 2 (77)
245 # 6 ---> 7 (74)
232 # 4 ---> 5 (79)
234 # 2 ---> 3 (78)
245 # 7 ---> 8 (75)
245 # 8 ---> 0 (76)
232 # 5 ---> 6 (80)
234 # 3 ---> 4 (79)
232 # 6 ---> 9 (81)
234 # 4 ---> 5 (80)
245 # 0 ---> 1 (77)
234 # 5 ---> 6 (81)
245 # 1 ---> 2 (78)
234 # 6 ---> 7 (82)
232 # 9 ---> 6 (82)
245 # 2 ---> 3 (79)
234 # 7 ---> 8 (83)
232 # 6 ---> 7 (83)
245 # 3 ---> 4 (80)
234 # 8 ---> 0 (84)
232 # 7 ---> 8 (84)
245 # 4 ---> 5 (81)
234 # 0 ---> 1 (85)
232 # 8 ---> 0 (85)
245 # 5 ---> 6 (83)
234 # 1 ---> 2 (86)
232 # 0 ---> 1 (86)
245 # 6 ---> 7 (84)
234 # 2 ---> 3 (87)
232 # 1 ---> 2 (87)
245 # 7 ---> 8 (85)
234 # 3 ---> 4 (88)
232 # 2 ---> 3 (88)
245 # 8 ---> 0 (86)
234 # 4 ---> 5 (89)
232 # 3 ---> 4 (89)
245 # 0 ---> 1 (87)
234 # 5 ---> 6 (90)
232 # 4 ---> 5 (90)
234 # 6 ---> 9 (91)
232 # 5 ---> 6 (91)
245 # 1 ---> 2 (88)
232 # 6 ---> 7 (92)
245 # 2 ---> 3 (89)
232 # 7 ---> 8 (93)
245 # 3 ---> 4 (90)
232 # 8 ---> 0 (94)
245 # 4 ---> 5 (91)
232 # 0 ---> 1 (95)
245 # 5 ---> 6 (92)
232 # 1 ---> 2 (96)
245 # 6 ---> 7 (93)
232 # 2 ---> 3 (97)
245 # 7 ---> 8 (94)
232 # 3 ---> 4 (98)
245 # 8 ---> 0 (95)
245 # 0 ---> 1 (96)
232 # 4 ---> 5 (99)
245 # 1 ---> 2 (97)
232 # 5 ---> 6 (100)
245 # 2 ---> 3 (98)
232 # 6 ---> 7 (101)
245 # 3 ---> 4 (99)
232 # 7 ---> 8 (102)
245 # 4 ---> 5 (100)
232 # 8 ---> 0 (103)
245 # 5 ---> 6 (101)
232 # 0 ---> 1 (104)
245 # 6 ---> 7 (102)
232 # 1 ---> 2 (105)
245 # 7 ---> 8 (103)
232 # 2 ---> 3 (106)
245 # 8 ---> 0 (104)
232 # 3 ---> 4 (107)
232 # 4 ---> 5 (108)
245 # 0 ---> 1 (105)
232 # 5 ---> 6 (109)
245 # 1 ---> 2 (106)
232 # 6 ---> 7 (110)
245 # 2 ---> 3 (107)
232 # 7 ---> 8 (111)
245 # 3 ---> 4 (108)
232 # 8 ---> 0 (112)
245 # 4 ---> 5 (109)
232 # 0 ---> 1 (113)
245 # 5 ---> 6 (110)
232 # 1 ---> 2 (114)
232 # 2 ---> 3 (115)
232 # 3 ---> 4 (116)
245 # 6 ---> 7 (111)
232 # 4 ---> 5 (117)
245 # 7 ---> 8 (112)
232 # 5 ---> 6 (118)
245 # 8 ---> 0 (113)
232 # 6 ---> 7 (119)
245 # 0 ---> 1 (114)
232 # 7 ---> 8 (120)
245 # 1 ---> 2 (115)
232 # 8 ---> 0 (121)
245 # 2 ---> 3 (116)
232 # 0 ---> 1 (122)
245 # 3 ---> 4 (117)
232 # 1 ---> 2 (123)
245 # 4 ---> 5 (118)
232 # 2 ---> 3 (124)
245 # 5 ---> 6 (119)
232 # 3 ---> 4 (125)
245 # 6 ---> 7 (120)
232 # 4 ---> 5 (126)
245 # 7 ---> 8 (121)
232 # 5 ---> 6 (127)
245 # 8 ---> 0 (122)
232 # 6 ---> 7 (128)
245 # 0 ---> 1 (123)
232 # 7 ---> 8 (129)
245 # 1 ---> 2 (124)
232 # 8 ---> 0 (130)
245 # 2 ---> 3 (125)
232 # 0 ---> 1 (131)
245 # 3 ---> 4 (126)
232 # 1 ---> 2 (132)
245 # 4 ---> 5 (127)
232 # 2 ---> 3 (133)
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 = 0x7fff5d5d14f0, target = 0x8b8690)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8670)
    ]
    Edge  0 <-> 8 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8770)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8670)
    ]
    Edge  0 <-> 42 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8bb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8670)
    ]
    Edge  0 <-> 66 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8eb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8670)
    ]
    Edge  1 <-> 2 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b86b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8690)
    ]
    Edge  1 <-> 24 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8970)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8690)
    ]
    Edge  2 <-> 3 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b86d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b86b0)
    ]
    Edge  3 <-> 4 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b86f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b86d0)
    ]
    Edge  3 <-> 172 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9bf0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b86d0)
    ]
    Edge  3 <-> 202 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9fb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b86d0)
    ]
    Edge  4 <-> 5 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8710)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b86f0)
    ]
    Edge  4 <-> 16 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8870)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b86f0)
    ]
    Edge  4 <-> 53 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b86f0)
    ]
    Edge  5 <-> 6 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8730)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8710)
    ]
    Edge  5 <-> 12 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8710)
    ]
    Edge  5 <-> 35 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ad0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8710)
    ]
    Edge  6 <-> 7 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8750)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8730)
    ]
    Edge  6 <-> 9 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8790)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8730)
    ]
    Edge  7 <-> 8 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8770)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8750)
    ]
    Edge  7 <-> 23 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8950)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8750)
    ]
    Edge  7 <-> 147 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b98d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8750)
    ]
    Edge  7 <-> 153 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9990)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8750)
    ]
    Edge  8 <-> 17 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8890)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8770)
    ]
    Edge  8 <-> 212 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba0f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8770)
    ]
    Edge  8 <-> 237 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba410)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8770)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8790)
    ]
    Edge  9 <-> 65 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8790)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87b0)
    ]
    Edge  10 <-> 52 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8cf0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87b0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87d0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8810)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87f0)
    ]
    Edge  12 <-> 30 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87f0)
    ]
    Edge  12 <-> 68 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ef0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87f0)
    ]
    Edge  12 <-> 145 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9890)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87f0)
    ]
    Edge  12 <-> 247 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba550)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b87f0)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8830)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8810)
    ]
    Edge  13 <-> 48 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8810)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8850)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8830)
    ]
    Edge  14 <-> 101 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9310)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8830)
    ]
    Edge  15 <-> 16 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8870)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8850)
    ]
    Edge  15 <-> 43 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8bd0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8850)
    ]
    Edge  16 <-> 162 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ab0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8870)
    ]
    Edge  17 <-> 18 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b88b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8890)
    ]
    Edge  18 <-> 19 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b88d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b88b0)
    ]
    Edge  18 <-> 26 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b89b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b88b0)
    ]
    Edge  18 <-> 33 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b88b0)
    ]
    Edge  19 <-> 20 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b88f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b88d0)
    ]
    Edge  19 <-> 70 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b88d0)
    ]
    Edge  20 <-> 21 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8910)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b88f0)
    ]
    Edge  20 <-> 83 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b90d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b88f0)
    ]
    Edge  21 <-> 22 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8930)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8910)
    ]
    Edge  22 <-> 23 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8950)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8930)
    ]
    Edge  22 <-> 135 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9750)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8930)
    ]
    Edge  22 <-> 233 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba390)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8930)
    ]
    Edge  23 <-> 32 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8950)
    ]
    Edge  23 <-> 126 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9630)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8950)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8990)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8970)
    ]
    Edge  24 <-> 27 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b89d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8970)
    ]
    Edge  24 <-> 67 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ed0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8970)
    ]
    Edge  25 <-> 26 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b89b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8990)
    ]
    Edge  26 <-> 181 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9d10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b89b0)
    ]
    Edge  27 <-> 28 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b89f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b89d0)
    ]
    Edge  28 <-> 29 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b89f0)
    ]
    Edge  28 <-> 47 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b89f0)
    ]
    Edge  29 <-> 30 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a10)
    ]
    Edge  29 <-> 36 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8af0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a10)
    ]
    Edge  30 <-> 31 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a30)
    ]
    Edge  31 <-> 32 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a50)
    ]
    Edge  31 <-> 193 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9e90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a50)
    ]
    Edge  31 <-> 226 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba2b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a50)
    ]
    Edge  33 <-> 34 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ab0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a90)
    ]
    Edge  33 <-> 55 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a90)
    ]
    Edge  33 <-> 63 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8a90)
    ]
    Edge  34 <-> 35 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ad0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ab0)
    ]
    Edge  34 <-> 69 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ab0)
    ]
    Edge  34 <-> 90 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b91b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ab0)
    ]
    Edge  34 <-> 102 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9330)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ab0)
    ]
    Edge  35 <-> 192 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9e70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ad0)
    ]
    Edge  36 <-> 37 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8af0)
    ]
    Edge  36 <-> 44 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8bf0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8af0)
    ]
    Edge  36 <-> 45 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8af0)
    ]
    Edge  36 <-> 62 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8af0)
    ]
    Edge  36 <-> 75 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8fd0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8af0)
    ]
    Edge  37 <-> 38 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b10)
    ]
    Edge  37 <-> 61 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b10)
    ]
    Edge  38 <-> 39 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b30)
    ]
    Edge  38 <-> 110 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9430)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b30)
    ]
    Edge  38 <-> 117 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9510)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b30)
    ]
    Edge  38 <-> 184 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9d70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b30)
    ]
    Edge  39 <-> 40 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b50)
    ]
    Edge  39 <-> 150 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9930)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b50)
    ]
    Edge  39 <-> 221 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba210)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b50)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b70)
    ]
    Edge  41 <-> 42 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8bb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8b90)
    ]
    Edge  43 <-> 44 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8bf0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8bd0)
    ]
    Edge  43 <-> 71 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8bd0)
    ]
    Edge  43 <-> 79 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9050)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8bd0)
    ]
    Edge  43 <-> 121 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9590)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8bd0)
    ]
    Edge  45 <-> 46 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c10)
    ]
    Edge  45 <-> 54 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c10)
    ]
    Edge  45 <-> 127 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9650)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c10)
    ]
    Edge  45 <-> 138 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b97b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c10)
    ]
    Edge  46 <-> 47 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c30)
    ]
    Edge  47 <-> 64 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c50)
    ]
    Edge  47 <-> 91 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b91d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c50)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c70)
    ]
    Edge  49 <-> 50 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8cb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8c90)
    ]
    Edge  50 <-> 51 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8cd0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8cb0)
    ]
    Edge  50 <-> 201 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9f90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8cb0)
    ]
    Edge  51 <-> 52 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8cf0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8cd0)
    ]
    Edge  51 <-> 178 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9cb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8cd0)
    ]
    Edge  53 <-> 54 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d10)
    ]
    Edge  54 <-> 72 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d30)
    ]
    Edge  54 <-> 140 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b97f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d30)
    ]
    Edge  55 <-> 56 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d50)
    ]
    Edge  55 <-> 134 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9730)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d50)
    ]
    Edge  55 <-> 156 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b99f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d50)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d70)
    ]
    Edge  56 <-> 111 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9450)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d70)
    ]
    Edge  57 <-> 58 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8db0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8d90)
    ]
    Edge  58 <-> 59 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8dd0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8db0)
    ]
    Edge  58 <-> 137 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9790)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8db0)
    ]
    Edge  59 <-> 60 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8df0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8dd0)
    ]
    Edge  59 <-> 211 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba0d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8dd0)
    ]
    Edge  60 <-> 61 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8df0)
    ]
    Edge  60 <-> 176 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8df0)
    ]
    Edge  60 <-> 183 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9d50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8df0)
    ]
    Edge  61 <-> 194 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9eb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e10)
    ]
    Edge  62 <-> 63 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e30)
    ]
    Edge  62 <-> 78 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9030)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e30)
    ]
    Edge  63 <-> 139 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b97d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e50)
    ]
    Edge  64 <-> 65 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e70)
    ]
    Edge  64 <-> 175 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8e70)
    ]
    Edge  66 <-> 67 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ed0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8eb0)
    ]
    Edge  66 <-> 146 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b98b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8eb0)
    ]
    Edge  68 <-> 69 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ef0)
    ]
    Edge  68 <-> 88 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9170)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ef0)
    ]
    Edge  68 <-> 95 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9250)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ef0)
    ]
    Edge  68 <-> 149 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9910)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ef0)
    ]
    Edge  70 <-> 71 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f30)
    ]
    Edge  70 <-> 119 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9550)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f30)
    ]
    Edge  70 <-> 132 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b96f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f30)
    ]
    Edge  72 <-> 73 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f70)
    ]
    Edge  72 <-> 76 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ff0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f70)
    ]
    Edge  73 <-> 74 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8fb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8f90)
    ]
    Edge  74 <-> 75 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8fd0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8fb0)
    ]
    Edge  75 <-> 133 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9710)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8fd0)
    ]
    Edge  75 <-> 168 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8fd0)
    ]
    Edge  76 <-> 77 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9010)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b8ff0)
    ]
    Edge  77 <-> 78 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9030)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9010)
    ]
    Edge  77 <-> 84 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b90f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9010)
    ]
    Edge  77 <-> 195 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ed0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9010)
    ]
    Edge  78 <-> 116 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b94f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9030)
    ]
    Edge  78 <-> 131 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b96d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9030)
    ]
    Edge  79 <-> 80 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9070)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9050)
    ]
    Edge  79 <-> 122 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b95b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9050)
    ]
    Edge  80 <-> 81 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9090)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9070)
    ]
    Edge  81 <-> 82 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b90b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9090)
    ]
    Edge  82 <-> 83 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b90d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b90b0)
    ]
    Edge  83 <-> 144 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9870)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b90d0)
    ]
    Edge  83 <-> 174 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b90d0)
    ]
    Edge  84 <-> 85 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9110)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b90f0)
    ]
    Edge  85 <-> 86 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9130)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9110)
    ]
    Edge  85 <-> 89 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9190)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9110)
    ]
    Edge  86 <-> 87 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9150)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9130)
    ]
    Edge  86 <-> 104 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9370)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9130)
    ]
    Edge  87 <-> 88 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9170)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9150)
    ]
    Edge  89 <-> 90 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b91b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9190)
    ]
    Edge  90 <-> 103 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9350)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b91b0)
    ]
    Edge  91 <-> 92 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b91f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b91d0)
    ]
    Edge  91 <-> 96 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9270)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b91d0)
    ]
    Edge  92 <-> 93 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9210)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b91f0)
    ]
    Edge  93 <-> 94 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9230)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9210)
    ]
    Edge  94 <-> 95 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9250)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9230)
    ]
    Edge  96 <-> 97 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9290)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9270)
    ]
    Edge  97 <-> 98 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b92b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9290)
    ]
    Edge  98 <-> 99 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b92d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b92b0)
    ]
    Edge  98 <-> 128 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9670)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b92b0)
    ]
    Edge  99 <-> 100 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b92f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b92d0)
    ]
    Edge  100 <-> 101 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9310)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b92f0)
    ]
    Edge  102 <-> 103 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9350)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9330)
    ]
    Edge  103 <-> 129 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9690)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9350)
    ]
    Edge  103 <-> 152 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9970)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9350)
    ]
    Edge  104 <-> 105 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9390)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9370)
    ]
    Edge  105 <-> 106 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b93b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9390)
    ]
    Edge  106 <-> 107 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b93d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b93b0)
    ]
    Edge  107 <-> 108 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b93f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b93d0)
    ]
    Edge  107 <-> 120 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9570)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b93d0)
    ]
    Edge  107 <-> 155 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b99d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b93d0)
    ]
    Edge  107 <-> 173 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b93d0)
    ]
    Edge  108 <-> 109 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9410)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b93f0)
    ]
    Edge  108 <-> 169 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b93f0)
    ]
    Edge  109 <-> 110 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9430)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9410)
    ]
    Edge  109 <-> 213 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba110)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9410)
    ]
    Edge  111 <-> 112 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9470)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9450)
    ]
    Edge  112 <-> 113 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9490)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9470)
    ]
    Edge  113 <-> 114 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b94b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9490)
    ]
    Edge  114 <-> 115 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b94d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b94b0)
    ]
    Edge  115 <-> 116 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b94f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b94d0)
    ]
    Edge  115 <-> 210 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba0b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b94d0)
    ]
    Edge  117 <-> 118 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9530)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9510)
    ]
    Edge  118 <-> 119 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9550)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9530)
    ]
    Edge  120 <-> 121 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9590)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9570)
    ]
    Edge  121 <-> 207 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba050)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9590)
    ]
    Edge  122 <-> 123 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b95d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b95b0)
    ]
    Edge  123 <-> 124 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b95f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b95d0)
    ]
    Edge  124 <-> 125 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9610)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b95f0)
    ]
    Edge  125 <-> 126 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9630)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9610)
    ]
    Edge  126 <-> 136 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9770)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9630)
    ]
    Edge  127 <-> 128 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9670)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9650)
    ]
    Edge  127 <-> 160 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9650)
    ]
    Edge  129 <-> 130 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b96b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9690)
    ]
    Edge  130 <-> 131 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b96d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b96b0)
    ]
    Edge  130 <-> 206 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba030)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b96b0)
    ]
    Edge  130 <-> 245 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba510)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b96b0)
    ]
    Edge  131 <-> 179 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9cd0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b96d0)
    ]
    Edge  132 <-> 133 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9710)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b96f0)
    ]
    Edge  132 <-> 209 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba090)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b96f0)
    ]
    Edge  134 <-> 135 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9750)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9730)
    ]
    Edge  136 <-> 137 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9790)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9770)
    ]
    Edge  136 <-> 191 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9e50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9770)
    ]
    Edge  138 <-> 139 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b97d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b97b0)
    ]
    Edge  140 <-> 141 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9810)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b97f0)
    ]
    Edge  141 <-> 142 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9830)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9810)
    ]
    Edge  142 <-> 143 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9850)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9830)
    ]
    Edge  143 <-> 144 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9870)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9850)
    ]
    Edge  143 <-> 232 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba370)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9850)
    ]
    Edge  145 <-> 146 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b98b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9890)
    ]
    Edge  145 <-> 236 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba3f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9890)
    ]
    Edge  147 <-> 148 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b98f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b98d0)
    ]
    Edge  147 <-> 163 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ad0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b98d0)
    ]
    Edge  148 <-> 149 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9910)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b98f0)
    ]
    Edge  150 <-> 151 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9950)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9930)
    ]
    Edge  151 <-> 152 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9970)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9950)
    ]
    Edge  153 <-> 154 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b99b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9990)
    ]
    Edge  154 <-> 155 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b99d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b99b0)
    ]
    Edge  156 <-> 157 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b99f0)
    ]
    Edge  157 <-> 158 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a10)
    ]
    Edge  157 <-> 244 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba4f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a10)
    ]
    Edge  158 <-> 159 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a30)
    ]
    Edge  158 <-> 190 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9e30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a30)
    ]
    Edge  159 <-> 160 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a50)
    ]
    Edge  159 <-> 161 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a50)
    ]
    Edge  159 <-> 208 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba070)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a50)
    ]
    Edge  161 <-> 162 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ab0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a90)
    ]
    Edge  161 <-> 170 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9bb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a90)
    ]
    Edge  161 <-> 177 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a90)
    ]
    Edge  161 <-> 227 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba2d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9a90)
    ]
    Edge  163 <-> 164 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9af0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ad0)
    ]
    Edge  163 <-> 171 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9bd0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ad0)
    ]
    Edge  164 <-> 165 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9af0)
    ]
    Edge  165 <-> 166 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b10)
    ]
    Edge  166 <-> 167 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b30)
    ]
    Edge  167 <-> 168 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b50)
    ]
    Edge  167 <-> 214 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba130)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b50)
    ]
    Edge  168 <-> 182 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9d30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b70)
    ]
    Edge  168 <-> 222 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba230)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b70)
    ]
    Edge  169 <-> 170 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9bb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9b90)
    ]
    Edge  171 <-> 172 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9bf0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9bd0)
    ]
    Edge  173 <-> 174 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c10)
    ]
    Edge  175 <-> 176 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c50)
    ]
    Edge  175 <-> 243 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba4d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c50)
    ]
    Edge  177 <-> 178 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9cb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9c90)
    ]
    Edge  179 <-> 180 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9cf0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9cd0)
    ]
    Edge  180 <-> 181 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9d10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9cf0)
    ]
    Edge  182 <-> 183 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9d50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9d30)
    ]
    Edge  184 <-> 185 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9d90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9d70)
    ]
    Edge  185 <-> 186 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9db0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9d90)
    ]
    Edge  186 <-> 187 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9dd0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9db0)
    ]
    Edge  187 <-> 188 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9df0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9dd0)
    ]
    Edge  188 <-> 189 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9e10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9df0)
    ]
    Edge  189 <-> 190 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9e30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9e10)
    ]
    Edge  191 <-> 192 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9e70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9e50)
    ]
    Edge  193 <-> 194 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9eb0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9e90)
    ]
    Edge  194 <-> 215 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba150)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9eb0)
    ]
    Edge  195 <-> 196 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ef0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ed0)
    ]
    Edge  196 <-> 197 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9f10)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ef0)
    ]
    Edge  197 <-> 198 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9f30)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9f10)
    ]
    Edge  198 <-> 199 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9f50)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9f30)
    ]
    Edge  199 <-> 200 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9f70)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9f50)
    ]
    Edge  200 <-> 201 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9f90)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9f70)
    ]
    Edge  202 <-> 203 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9fd0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9fb0)
    ]
    Edge  203 <-> 204 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ff0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9fd0)
    ]
    Edge  204 <-> 205 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba010)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8b9ff0)
    ]
    Edge  205 <-> 206 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba030)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba010)
    ]
    Edge  207 <-> 208 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba070)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba050)
    ]
    Edge  209 <-> 210 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba0b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba090)
    ]
    Edge  211 <-> 212 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba0f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba0d0)
    ]
    Edge  213 <-> 214 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba130)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba110)
    ]
    Edge  215 <-> 216 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba170)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba150)
    ]
    Edge  216 <-> 217 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba190)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba170)
    ]
    Edge  217 <-> 218 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba1b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba190)
    ]
    Edge  218 <-> 219 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba1d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba1b0)
    ]
    Edge  219 <-> 220 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba1f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba1d0)
    ]
    Edge  220 <-> 221 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba210)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba1f0)
    ]
    Edge  222 <-> 223 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba250)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba230)
    ]
    Edge  223 <-> 224 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba270)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba250)
    ]
    Edge  224 <-> 225 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba290)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba270)
    ]
    Edge  225 <-> 226 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba2b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba290)
    ]
    Edge  227 <-> 228 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba2f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba2d0)
    ]
    Edge  228 <-> 229 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba310)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba2f0)
    ]
    Edge  229 <-> 230 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba330)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba310)
    ]
    Edge  230 <-> 231 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba350)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba330)
    ]
    Edge  231 <-> 232 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba370)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba350)
    ]
    Edge  233 <-> 234 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba3b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba390)
    ]
    Edge  234 <-> 235 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba3d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba3b0)
    ]
    Edge  234 <-> 246 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba530)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba3b0)
    ]
    Edge  235 <-> 236 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba3f0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba3d0)
    ]
    Edge  237 <-> 238 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba430)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba410)
    ]
    Edge  238 <-> 239 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba450)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba430)
    ]
    Edge  239 <-> 240 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba470)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba450)
    ]
    Edge  240 <-> 241 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba490)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba470)
    ]
    Edge  241 <-> 242 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba4b0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba490)
    ]
    Edge  242 <-> 243 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba4d0)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba4b0)
    ]
    Edge  244 <-> 245 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba510)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba4f0)
    ]
    Edge  246 <-> 247 [
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba550)
        Arc: (edge = 0x7fff5d5d14f0, target = 0x8ba530)
    ]
]
Robot arrangement: (|R| = 22, |V| = 248) [
     robot locations: {1#4 2#7 3#21 4#24 5#36 6#37 7#46 8#56 9#60 10#96 11#98 12#118 13#132 14#148 15#155 16#177 17#179 18#200 19#205 20#226 21#228 22#232 }
     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 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 3#21 0#22 0#23 4#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 5#36 6#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 7#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 8#56 0#57 0#58 0#59 9#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 10#96 0#97 11#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 12#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 13#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 14#148 0#149 0#150 0#151 0#152 0#153 0#154 15#155 0#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 16#177 0#178 17#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 18#200 0#201 0#202 0#203 0#204 19#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 20#226 0#227 21#228 0#229 0#230 0#231 22#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 }
]
Robot arrangement: (|R| = 22, |V| = 248) [
     robot locations: {1#3 2#5 3#9 4#27 5#48 6#59 7#64 8#75 9#77 10#111 11#122 12#133 13#136 14#154 15#159 16#178 17#190 18#198 19#204 20#216 21#240 22#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 0#23 0#24 0#25 0#26 4#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 0#47 5#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 6#59 0#60 0#61 0#62 0#63 7#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 8#75 0#76 9#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 10#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 11#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 12#133 0#134 0#135 13#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 14#154 0#155 0#156 0#157 0#158 15#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 16#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 17#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 18#198 0#199 0#200 0#201 0#202 0#203 19#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 20#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 21#240 0#241 0#242 0#243 0#244 22#245 0#246 0#247 }
]
Original solution:
Mulirobot solution: (|moves| = 556, paralellism = 4.149) [
    Step 0: 245#232->143 231#228->227 232#36->75 243#37->36 246#179->180 238#46->47 237#226->31 235#24->27 247#205->206 229#56->57 234#155->107 242#132->70 236#98->128 228#96->97 233#200->201 244#21->22 240#118->117 239#148->147 
    Step 1: 231#227->161 246#180->181 232#75->74 243#36->75 245#143->142 237#31->30 238#47->28 247#206->130 229#57->58 236#128->127 228#97->98 233#201->50 244#22->23 242#70->119 234#107->108 
    Step 2: 231#161->159 246#181->26 245#142->141 232#74->73 243#75->74 237#30->12 238#28->29 235#27->28 247#130->131 229#58->59 233#50->49 228#98->99 227#177->161 234#108->109 
    Step 3: 231#159->158 246#26->18 245#141->140 237#12->5 247#131->78 238#29->30 235#28->47 233#49->48 227#161->159 228#99->100 234#109->110 
    Step 4: 231#158->157 246#18->17 245#140->54 247#78->62 237#5->35 238#30->12 235#47->91 227#159->160 233#48->13 228#100->101 
    Step 5: 231#157->244 246#17->8 245#54->45 247#62->36 237#35->34 238#12->5 233#13->12 
    Step 6: 231#244->245 246#8->237 226#7->8 247#36->37 237#34->102 238#5->6 245#45->46 236#127->45 241#4->5 227#160->127 233#12->30 239#147->7 
    Step 7: 246#237->238 226#8->0 247#37->61 236#45->54 245#46->47 237#102->103 239#7->8 244#23->7 
    Step 8: 246#238->239 247#61->194 230#60->61 229#59->60 236#54->53 237#103->152 226#0->42 239#8->17 244#7->8 
    Step 9: 246#239->240 247#194->215 230#61->37 236#53->4 229#60->61 237#152->151 
    Step 10: 247#215->216 230#37->36 236#4->3 241#5->4 238#6->5 237#151->150 229#61->37 
    Step 11: 230#36->45 236#3->202 237#150->39 229#37->36 241#4->16 238#5->12 
    Step 12: 236#202->203 230#45->46 227#127->45 237#39->38 229#36->29 241#16->162 238#12->68 233#30->12 
    Step 13: 236#203->204 227#45->54 237#38->184 240#117->38 229#29->28 241#162->161 233#12->5 
    Step 14: 227#54->72 237#184->185 229#28->27 240#38->37 241#161->177 233#5->6 245#47->28 230#46->47 
    Step 15: 227#72->76 237#185->186 229#27->24 240#37->36 241#177->178 233#6->7 245#28->29 232#73->72 243#74->73 
    Step 16: 227#76->77 237#186->187 229#24->1 240#36->45 245#29->36 232#72->54 243#73->72 
    Step 17: 227#77->195 237#187->188 229#1->0 245#36->37 240#45->46 
    Step 18: 227#195->196 237#188->189 229#0->66 244#8->0 233#7->8 245#37->38 
    Step 19: 227#196->197 237#189->190 244#0->1 233#8->0 239#17->8 245#38->39 234#110->38 
    Step 20: 227#197->198 244#1->24 233#0->1 229#66->0 239#8->7 245#39->40 
    Step 21: 229#0->8 239#7->6 233#1->0 244#24->1 245#40->41 
    Step 22: 229#8->17 233#0->66 244#1->0 
    Step 23: 229#17->18 244#0->8 233#66->67 
    Step 24: 229#18->33 244#8->7 
    Step 25: 229#33->55 244#7->153 239#6->7 
    Step 26: 229#55->156 239#7->8 244#153->154 
    Step 27: 229#156->157 239#8->0 
    Step 28: 229#157->158 239#0->1 226#42->0 245#41->42 
    Step 29: 229#158->159 239#1->24 226#0->1 245#42->0 
    Step 30: 239#24->27 226#1->24 245#0->8 
    Step 31: 239#27->28 226#24->27 
    Step 32: 239#28->29 226#27->28 
    Step 33: 239#29->36 226#28->29 230#47->28 240#46->47 
    Step 34: 239#36->37 226#29->36 230#28->29 240#47->28 235#91->47 
    Step 35: 226#36->45 230#29->36 
    Step 36: 230#36->44 239#37->36 234#38->37 
    Step 37: 239#36->29 230#44->36 
    Step 38: 239#29->30 230#36->29 226#45->36 232#54->45 243#72->54 
    Step 39: 239#30->12 230#29->30 226#36->75 240#28->29 
    Step 40: 230#30->31 239#12->13 240#29->36 238#68->12 226#75->74 
    Step 41: 230#31->32 239#13->14 240#36->62 234#37->36 238#12->30 
    Step 42: 230#32->23 239#14->15 228#101->14 240#62->78 234#36->29 232#45->36 243#54->45 
    Step 43: 230#23->126 239#15->43 228#14->15 240#78->77 234#29->28 238#30->29 232#36->62 243#45->36 
    Step 44: 230#126->136 239#43->71 228#15->43 240#77->84 234#28->27 238#29->28 243#36->75 232#62->36 
    Step 45: 239#71->70 228#43->79 240#84->85 234#27->24 238#28->27 
    Step 46: 239#70->132 228#79->122 242#119->70 240#85->86 234#24->1 238#27->24 
    Step 47: 239#132->133 242#70->19 240#86->87 234#1->0 238#24->1 
    Step 48: 242#19->18 240#87->88 238#1->2 234#0->1 245#8->0 
    Step 49: 242#18->33 240#88->68 234#1->24 238#2->3 245#0->1 
    Step 50: 242#33->55 240#68->12 238#3->4 245#1->2 234#24->1 233#67->24 
    Step 51: 242#55->56 240#12->30 238#4->53 234#1->0 233#24->1 
    Step 52: 242#56->111 240#30->29 238#53->54 234#0->8 
    Step 53: 240#29->28 232#36->29 238#54->72 234#8->7 
    Step 54: 238#72->76 232#29->30 240#28->29 235#47->28 234#7->6 
    Step 55: 238#76->77 240#29->36 235#28->27 232#30->12 234#6->5 
    Step 56: 240#36->45 243#75->36 226#74->75 235#27->24 232#12->13 234#5->4 
    Step 57: 240#45->54 243#36->45 226#75->36 235#24->25 233#1->24 232#13->14 234#4->3 
    Step 58: 240#54->72 243#45->46 233#24->27 226#36->29 235#25->26 232#14->15 
    Step 59: 240#72->73 233#27->28 235#26->18 226#29->30 232#15->16 
    Step 60: 240#73->74 233#28->47 235#18->17 226#30->12 232#16->4 
    Step 61: 240#74->75 233#47->64 243#46->47 235#17->8 226#12->13 232#4->5 234#3->4 245#2->3 
    Step 62: 243#47->28 226#13->48 235#8->0 232#5->6 234#4->5 245#3->4 
    Step 63: 243#28->27 235#0->1 232#6->7 234#5->6 245#4->5 
    Step 64: 243#27->24 232#7->8 234#6->7 245#5->6 
    Step 65: 243#24->25 235#1->24 232#8->0 234#7->8 245#6->7 
    Step 66: 243#25->26 235#24->27 232#0->1 234#8->0 245#7->8 
    Step 67: 243#26->18 232#1->2 234#0->1 245#8->0 
    Step 68: 243#18->33 232#2->3 234#1->2 245#0->1 
    Step 69: 243#33->55 232#3->4 234#2->3 245#1->2 
    Step 70: 243#55->56 232#4->5 234#3->4 245#2->3 
    Step 71: 243#56->57 232#5->6 234#4->5 245#3->4 
    Step 72: 243#57->58 232#6->7 234#5->6 245#4->5 
    Step 73: 243#58->59 232#7->8 234#6->7 245#5->6 
    Step 74: 232#8->0 234#7->8 245#6->7 
    Step 75: 232#0->1 234#8->0 245#7->8 
    Step 76: 232#1->2 234#0->1 245#8->0 
    Step 77: 232#2->3 234#1->2 245#0->1 
    Step 78: 232#3->4 234#2->3 245#1->2 
    Step 79: 232#4->5 234#3->4 245#2->3 
    Step 80: 232#5->6 234#4->5 245#3->4 
    Step 81: 232#6->9 234#5->6 245#4->5 
    Step 82: 234#6->7 232#9->6 
    Step 83: 234#7->8 232#6->7 245#5->6 
    Step 84: 234#8->0 232#7->8 245#6->7 
    Step 85: 234#0->1 232#8->0 245#7->8 
    Step 86: 234#1->2 232#0->1 245#8->0 
    Step 87: 234#2->3 232#1->2 245#0->1 
    Step 88: 234#3->4 232#2->3 245#1->2 
    Step 89: 234#4->5 232#3->4 245#2->3 
    Step 90: 234#5->6 232#4->5 245#3->4 
    Step 91: 234#6->9 232#5->6 245#4->5 
    Step 92: 232#6->7 245#5->6 
    Step 93: 232#7->8 245#6->7 
    Step 94: 232#8->0 245#7->8 
    Step 95: 232#0->1 245#8->0 
    Step 96: 232#1->2 245#0->1 
    Step 97: 232#2->3 245#1->2 
    Step 98: 232#3->4 245#2->3 
    Step 99: 232#4->5 245#3->4 
    Step 100: 232#5->6 245#4->5 
    Step 101: 232#6->7 245#5->6 
    Step 102: 232#7->8 245#6->7 
    Step 103: 232#8->0 245#7->8 
    Step 104: 232#0->1 245#8->0 
    Step 105: 232#1->2 245#0->1 
    Step 106: 232#2->3 245#1->2 
    Step 107: 232#3->4 245#2->3 
    Step 108: 232#4->5 245#3->4 
    Step 109: 232#5->6 245#4->5 
    Step 110: 232#6->7 245#5->6 
    Step 111: 232#7->8 245#6->7 
    Step 112: 232#8->0 245#7->8 
    Step 113: 232#0->1 245#8->0 
    Step 114: 232#1->2 245#0->1 
    Step 115: 232#2->3 245#1->2 
    Step 116: 232#3->4 245#2->3 
    Step 117: 232#4->5 245#3->4 
    Step 118: 232#5->6 245#4->5 
    Step 119: 232#6->7 245#5->6 
    Step 120: 232#7->8 245#6->7 
    Step 121: 232#8->0 245#7->8 
    Step 122: 232#0->1 245#8->0 
    Step 123: 232#1->2 245#0->1 
    Step 124: 232#2->3 245#1->2 
    Step 125: 232#3->4 245#2->3 
    Step 126: 232#4->5 245#3->4 
    Step 127: 232#5->6 245#4->5 
    Step 128: 232#6->7 
    Step 129: 232#7->8 
    Step 130: 232#8->0 
    Step 131: 232#0->1 
    Step 132: 232#1->2 
    Step 133: 232#2->3 
]
reSolved solution:
Mulirobot solution: (|moves| = 156, paralellism = 9.750) [
    Step 0: 1#4->3 4#24->27 16#177->178 19#205->204 2#7->6 7#46->47 18#200->199 6#37->61 12#118->119 14#148->147 3#21->22 5#36->29 20#226->31 8#56->55 9#60->183 15#155->107 17#179->131 11#98->99 13#132->133 10#96->91 22#232->143 21#228->229 
    Step 1: 2#6->5 7#47->64 18#199->198 6#61->60 12#119->70 14#147->7 3#22->23 5#29->30 20#31->193 8#55->33 9#183->182 15#107->108 17#131->130 11#99->100 13#133->75 10#91->92 22#143->142 21#229->230 
    Step 2: 6#60->59 12#70->132 14#7->153 5#30->12 20#193->194 8#33->63 9#182->168 15#108->169 17#130->245 11#100->101 13#75->36 10#92->93 22#142->141 21#230->231 
    Step 3: 12#132->133 14#153->154 3#23->7 5#12->13 20#194->215 8#63->62 9#168->75 15#169->170 17#245->244 11#101->14 13#36->29 10#93->94 22#141->140 21#231->232 
    Step 4: 3#7->6 5#13->48 20#215->216 8#62->36 9#75->74 15#170->161 17#244->157 11#14->15 13#29->30 10#94->95 22#140->54 21#232->143 
    Step 5: 3#6->9 8#36->75 9#74->73 15#161->159 17#157->158 11#15->43 13#30->31 10#95->68 22#54->45 21#143->144 
    Step 6: 9#73->72 17#158->190 11#43->79 13#31->32 10#68->69 22#45->36 21#144->83 
    Step 7: 9#72->76 11#79->122 13#32->23 10#69->34 22#36->62 21#83->20 
    Step 8: 1#3->2 2#5->4 3#9->6 4#27->24 5#48->13 6#59->58 7#64->47 8#75->36 11#122->79 12#133->132 14#154->153 15#159->158 16#178->51 17#190->189 18#198->197 19#204->203 20#216->215 9#76->77 13#23->126 10#34->33 22#62->78 21#20->19 
    Step 9: 1#2->3 2#4->5 3#6->9 4#24->27 5#13->48 6#58->59 7#47->64 8#36->75 11#79->122 12#132->133 14#153->154 15#158->159 16#51->178 17#189->190 18#197->198 19#203->204 20#215->216 13#126->136 10#33->55 22#78->131 21#19->18 
    Step 10: 10#55->56 22#131->130 21#18->17 
    Step 11: 10#56->111 22#130->245 21#17->8 
    Step 12: 21#8->237 
    Step 13: 21#237->238 
    Step 14: 21#238->239 
    Step 15: 21#239->240 
]
Multirobot solution analysis: (
    total makespan           = 16
    total distance           = 101
    total trajectory         = 156
    average parallelism      = 9.750
    average distance         = 4.591
    average trajectory       = 7.091
    parallelism distribution  = [ 4 0 2 0 0 1 1 0 0 1 0 1 0 2 0 0 0 1 0 0 1 2 ]
    distance distribution     = [ 4 3 1 2 3 3 1 2 0 0 1 0 1 ]
    trajectory distribution   = [ 0 0 4 3 1 2 3 2 2 2 0 2 0 0 0 1 ]
)
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                = 156
            Produced CNF variables         = 0
            Produced CNF clauses           = 0
            Search steps                   = 0
            Wall clock TIME (seconds)      = 0.043
            CPU/machine TIME (seconds)     = 0.040
        ]
        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                = 156
                Produced CNF variables         = 0
                Produced CNF clauses           = 0
                Search steps                   = 6957
                Wall clock TIME (seconds)      = 0.009
                CPU/machine TIME (seconds)     = 0.010
            ]
        }
]
----------------------------------------------------------------