================================================================
reLOC 0.05-legio : Multirobot Solution reSolver
(C) Copyright 2011-2012 Pavel Surynek
----------------------------------------------------------------
window size:16
Reading graph...
0,1
0,16
1,2
1,66
2,3
3,4
3,76
3,127
3,196
4,5
4,20
4,171
5,6
5,189
6,7
7,8
7,26
8,9
8,25
9,10
9,36
9,90
10,11
10,137
11,12
11,21
11,64
11,75
11,85
12,13
12,77
13,14
14,15
14,125
15,16
15,124
16,17
16,197
17,18
18,19
19,20
21,22
22,23
23,24
23,51
23,176
24,25
24,122
26,27
27,28
28,29
28,94
29,30
30,31
30,37
30,92
31,32
31,95
32,33
33,34
33,67
34,35
34,52
35,36
35,84
36,123
37,38
38,39
39,40
40,41
41,42
42,43
43,44
44,45
45,46
45,78
46,47
46,103
46,119
47,48
48,49
48,228
48,242
49,50
50,51
51,65
52,53
53,54
53,108
54,55
55,56
55,210
56,57
57,58
58,59
59,60
60,61
60,126
61,62
61,104
62,63
62,91
63,64
65,66
66,120
67,68
68,69
69,70
69,133
70,71
70,93
70,227
71,72
72,73
73,74
74,75
76,77
78,79
79,80
79,177
80,81
80,107
81,82
82,83
83,84
85,86
86,87
87,88
88,89
89,90
89,132
91,92
93,94
94,190
95,96
96,97
96,159
97,98
97,172
98,99
99,100
99,145
100,101
101,102
102,103
103,160
104,105
105,106
106,107
107,146
108,109
109,110
110,111
111,112
112,113
113,114
114,115
115,116
116,117
117,118
117,170
118,119
120,121
120,138
121,122
123,124
125,126
127,128
128,129
129,130
130,131
131,132
131,214
133,134
134,135
135,136
136,137
138,139
139,140
140,141
141,142
142,143
143,144
144,145
145,169
146,147
147,148
148,149
149,150
150,151
151,152
152,153
153,154
154,155
155,156
156,157
157,158
158,159
159,241
160,161
161,162
162,163
163,164
163,209
164,165
165,166
166,167
167,168
168,169
170,171
171,215
172,173
173,174
174,175
175,176
177,178
178,179
179,180
180,181
181,182
182,183
183,184
184,185
185,186
186,187
186,254
187,188
188,189
188,255
190,191
191,192
192,193
193,194
194,195
195,196
197,198
198,199
199,200
200,201
201,202
202,203
203,204
204,205
205,206
206,207
207,208
208,209
210,211
211,212
212,213
213,214
213,268
215,216
216,217
217,218
218,219
219,220
220,221
221,222
222,223
223,224
224,225
225,226
226,227
228,229
229,230
230,231
231,232
232,233
233,234
234,235
235,236
236,237
237,238
238,239
239,240
240,241
242,243
243,244
244,245
245,246
246,247
247,248
248,249
249,250
250,251
251,252
252,253
253,254
255,256
256,257
257,258
258,259
259,260
260,261
261,262
262,263
263,264
264,265
265,266
266,267
267,268
Reading initial arrangement...
Reading original solution...
Length:376
263 # 47 ---> 48 (0)
261 # 238 ---> 239 (0)
263 # 48 ---> 228 (1)
261 # 239 ---> 240 (1)
263 # 228 ---> 229 (2)
261 # 240 ---> 241 (2)
263 # 229 ---> 230 (3)
261 # 241 ---> 159 (3)
263 # 230 ---> 231 (4)
261 # 159 ---> 96 (4)
263 # 231 ---> 232 (5)
261 # 96 ---> 95 (5)
263 # 232 ---> 233 (6)
261 # 95 ---> 31 (6)
261 # 31 ---> 30 (7)
261 # 30 ---> 29 (8)
261 # 29 ---> 28 (9)
261 # 28 ---> 27 (10)
261 # 27 ---> 26 (11)
261 # 26 ---> 7 (12)
261 # 7 ---> 6 (13)
261 # 6 ---> 5 (14)
261 # 5 ---> 189 (15)
261 # 189 ---> 188 (16)
261 # 188 ---> 255 (17)
261 # 255 ---> 256 (18)
261 # 256 ---> 257 (19)
261 # 257 ---> 258 (20)
261 # 258 ---> 259 (21)
261 # 259 ---> 260 (22)
261 # 260 ---> 261 (23)
261 # 261 ---> 262 (24)
261 # 262 ---> 263 (25)
261 # 263 ---> 264 (26)
261 # 264 ---> 265 (27)
261 # 265 ---> 266 (28)
265 # 17 ---> 16 (0)
259 # 82 ---> 81 (0)
259 # 81 ---> 80 (1)
259 # 80 ---> 79 (2)
259 # 79 ---> 78 (3)
259 # 78 ---> 45 (4)
259 # 45 ---> 46 (5)
259 # 46 ---> 47 (6)
259 # 47 ---> 48 (7)
258 # 220 ---> 219 (0)
258 # 219 ---> 218 (1)
258 # 218 ---> 217 (2)
268 # 216 ---> 215 (0)
258 # 217 ---> 216 (3)
268 # 215 ---> 171 (1)
258 # 216 ---> 215 (4)
268 # 171 ---> 4 (2)
258 # 215 ---> 171 (5)
258 # 171 ---> 170 (6)
258 # 170 ---> 117 (7)
258 # 117 ---> 118 (8)
258 # 118 ---> 119 (9)
258 # 119 ---> 46 (10)
258 # 46 ---> 47 (11)
268 # 4 ---> 171 (6)
259 # 48 ---> 49 (8)
258 # 47 ---> 48 (12)
258 # 48 ---> 242 (13)
268 # 171 ---> 170 (7)
268 # 170 ---> 117 (8)
268 # 117 ---> 118 (9)
268 # 118 ---> 119 (10)
257 # 111 ---> 112 (0)
268 # 119 ---> 46 (11)
257 # 112 ---> 113 (1)
268 # 46 ---> 45 (12)
258 # 242 ---> 243 (14)
268 # 45 ---> 44 (13)
268 # 44 ---> 43 (14)
268 # 43 ---> 42 (15)
268 # 42 ---> 41 (16)
258 # 243 ---> 244 (15)
268 # 41 ---> 40 (17)
258 # 244 ---> 245 (16)
258 # 245 ---> 246 (17)
263 # 233 ---> 234 (7)
263 # 234 ---> 235 (8)
268 # 40 ---> 39 (18)
263 # 235 ---> 236 (9)
257 # 113 ---> 114 (2)
257 # 114 ---> 115 (3)
263 # 236 ---> 237 (10)
263 # 237 ---> 238 (11)
263 # 238 ---> 239 (12)
268 # 39 ---> 38 (19)
263 # 239 ---> 240 (13)
257 # 115 ---> 116 (4)
257 # 116 ---> 117 (9)
257 # 117 ---> 118 (10)
257 # 118 ---> 119 (11)
257 # 119 ---> 46 (12)
257 # 46 ---> 47 (13)
257 # 47 ---> 48 (14)
263 # 240 ---> 241 (14)
257 # 48 ---> 228 (15)
268 # 38 ---> 37 (20)
268 # 37 ---> 30 (21)
263 # 241 ---> 159 (15)
257 # 228 ---> 229 (16)
263 # 159 ---> 96 (16)
254 # 126 ---> 125 (0)
254 # 125 ---> 14 (1)
254 # 14 ---> 13 (2)
254 # 13 ---> 12 (3)
254 # 12 ---> 11 (4)
254 # 11 ---> 21 (5)
254 # 21 ---> 22 (6)
254 # 22 ---> 23 (7)
268 # 30 ---> 92 (22)
254 # 23 ---> 51 (8)
254 # 51 ---> 50 (9)
259 # 49 ---> 48 (15)
254 # 50 ---> 49 (15)
259 # 48 ---> 47 (16)
254 # 49 ---> 48 (16)
257 # 229 ---> 230 (17)
254 # 48 ---> 228 (17)
259 # 47 ---> 48 (17)
263 # 96 ---> 97 (17)
259 # 48 ---> 49 (18)
257 # 230 ---> 231 (18)
254 # 228 ---> 229 (18)
263 # 97 ---> 98 (18)
257 # 231 ---> 232 (19)
254 # 229 ---> 230 (19)
263 # 98 ---> 99 (19)
257 # 232 ---> 233 (20)
254 # 230 ---> 231 (20)
263 # 99 ---> 100 (20)
257 # 233 ---> 234 (21)
254 # 231 ---> 232 (21)
268 # 92 ---> 91 (23)
256 # 156 ---> 157 (0)
268 # 91 ---> 62 (24)
256 # 157 ---> 158 (1)
256 # 158 ---> 159 (16)
256 # 159 ---> 96 (17)
256 # 96 ---> 95 (18)
256 # 95 ---> 31 (19)
260 # 70 ---> 93 (0)
260 # 93 ---> 94 (1)
260 # 94 ---> 28 (10)
260 # 28 ---> 27 (11)
264 # 71 ---> 72 (0)
264 # 72 ---> 73 (1)
264 # 73 ---> 74 (2)
264 # 74 ---> 75 (3)
264 # 75 ---> 11 (5)
264 # 11 ---> 12 (6)
264 # 12 ---> 77 (7)
264 # 77 ---> 76 (8)
264 # 76 ---> 3 (9)
264 # 3 ---> 4 (10)
264 # 4 ---> 171 (11)
264 # 171 ---> 215 (12)
260 # 27 ---> 26 (12)
255 # 135 ---> 136 (0)
255 # 136 ---> 137 (1)
255 # 137 ---> 10 (2)
255 # 10 ---> 11 (6)
255 # 11 ---> 12 (7)
255 # 12 ---> 77 (8)
255 # 77 ---> 76 (9)
255 # 76 ---> 3 (10)
255 # 3 ---> 4 (11)
255 # 4 ---> 171 (12)
264 # 215 ---> 216 (13)
255 # 171 ---> 215 (13)
260 # 26 ---> 7 (13)
264 # 216 ---> 217 (14)
255 # 215 ---> 216 (14)
260 # 7 ---> 6 (14)
264 # 217 ---> 218 (15)
255 # 216 ---> 217 (15)
260 # 6 ---> 5 (15)
266 # 211 ---> 212 (0)
266 # 212 ---> 213 (1)
266 # 213 ---> 214 (2)
266 # 214 ---> 131 (3)
264 # 218 ---> 219 (16)
255 # 217 ---> 218 (16)
264 # 219 ---> 220 (17)
255 # 218 ---> 219 (17)
260 # 5 ---> 4 (16)
253 # 204 ---> 205 (0)
253 # 205 ---> 206 (1)
253 # 206 ---> 207 (2)
253 # 207 ---> 208 (3)
253 # 208 ---> 209 (4)
253 # 209 ---> 163 (5)
253 # 163 ---> 162 (6)
253 # 162 ---> 161 (7)
268 # 62 ---> 61 (25)
253 # 161 ---> 160 (8)
253 # 160 ---> 103 (9)
268 # 61 ---> 104 (26)
253 # 103 ---> 46 (13)
263 # 100 ---> 101 (21)
267 # 122 ---> 24 (0)
268 # 104 ---> 105 (27)
268 # 105 ---> 106 (28)
268 # 106 ---> 107 (29)
267 # 24 ---> 25 (1)
267 # 25 ---> 8 (2)
253 # 46 ---> 47 (17)
262 # 144 ---> 145 (0)
262 # 145 ---> 99 (20)
262 # 99 ---> 100 (21)
263 # 101 ---> 102 (22)
262 # 100 ---> 101 (22)
263 # 102 ---> 103 (23)
262 # 101 ---> 102 (23)
263 # 103 ---> 46 (24)
262 # 102 ---> 103 (24)
263 # 46 ---> 45 (25)
262 # 103 ---> 46 (25)
263 # 45 ---> 44 (26)
262 # 46 ---> 45 (26)
262 # 45 ---> 78 (27)
262 # 78 ---> 79 (28)
262 # 79 ---> 177 (29)
267 # 8 ---> 9 (3)
267 # 9 ---> 36 (4)
262 # 177 ---> 178 (30)
262 # 178 ---> 179 (31)
262 # 179 ---> 180 (32)
262 # 180 ---> 181 (33)
263 # 44 ---> 43 (27)
253 # 47 ---> 46 (26)
262 # 181 ---> 182 (34)
267 # 36 ---> 35 (5)
267 # 35 ---> 84 (6)
262 # 182 ---> 183 (35)
262 # 183 ---> 184 (36)
267 # 84 ---> 83 (7)
267 # 83 ---> 82 (8)
267 # 82 ---> 81 (9)
267 # 81 ---> 80 (10)
262 # 184 ---> 185 (37)
262 # 185 ---> 186 (38)
259 # 49 ---> 50 (19)
259 # 50 ---> 51 (20)
259 # 51 ---> 23 (21)
253 # 46 ---> 119 (27)
253 # 119 ---> 118 (28)
253 # 118 ---> 117 (29)
253 # 117 ---> 170 (30)
259 # 23 ---> 24 (22)
267 # 80 ---> 79 (29)
259 # 24 ---> 25 (23)
267 # 79 ---> 78 (30)
259 # 25 ---> 8 (24)
267 # 78 ---> 45 (31)
259 # 8 ---> 9 (25)
267 # 45 ---> 46 (32)
259 # 9 ---> 36 (26)
267 # 46 ---> 47 (33)
259 # 36 ---> 35 (27)
267 # 47 ---> 48 (34)
259 # 35 ---> 84 (28)
267 # 48 ---> 49 (35)
259 # 84 ---> 83 (29)
267 # 49 ---> 50 (36)
267 # 50 ---> 51 (37)
259 # 83 ---> 82 (30)
267 # 51 ---> 23 (38)
259 # 82 ---> 81 (31)
267 # 23 ---> 24 (39)
259 # 81 ---> 80 (32)
267 # 24 ---> 25 (40)
259 # 80 ---> 79 (33)
267 # 25 ---> 8 (41)
259 # 79 ---> 78 (34)
267 # 8 ---> 9 (42)
259 # 78 ---> 45 (35)
267 # 9 ---> 36 (43)
259 # 45 ---> 46 (36)
259 # 46 ---> 47 (37)
259 # 47 ---> 48 (38)
268 # 107 ---> 146 (30)
259 # 48 ---> 49 (39)
268 # 146 ---> 147 (31)
268 # 147 ---> 148 (32)
268 # 148 ---> 149 (33)
259 # 49 ---> 50 (40)
259 # 50 ---> 51 (41)
268 # 149 ---> 150 (34)
268 # 150 ---> 151 (35)
268 # 151 ---> 152 (36)
268 # 152 ---> 153 (37)
259 # 51 ---> 65 (42)
259 # 65 ---> 66 (43)
266 # 131 ---> 132 (4)
266 # 132 ---> 89 (5)
266 # 89 ---> 90 (6)
266 # 90 ---> 9 (43)
259 # 66 ---> 1 (44)
259 # 1 ---> 2 (45)
259 # 2 ---> 3 (46)
259 # 3 ---> 127 (47)
266 # 9 ---> 8 (44)
266 # 8 ---> 7 (45)
266 # 7 ---> 26 (46)
256 # 31 ---> 30 (22)
267 # 36 ---> 35 (44)
266 # 26 ---> 27 (47)
266 # 27 ---> 28 (48)
266 # 28 ---> 94 (49)
267 # 35 ---> 34 (45)
256 # 30 ---> 29 (23)
267 # 34 ---> 33 (46)
256 # 29 ---> 28 (49)
256 # 28 ---> 27 (50)
256 # 27 ---> 26 (51)
266 # 94 ---> 28 (50)
266 # 28 ---> 29 (51)
266 # 29 ---> 30 (52)
267 # 33 ---> 32 (47)
256 # 26 ---> 7 (52)
267 # 32 ---> 31 (48)
267 # 31 ---> 95 (49)
266 # 30 ---> 31 (53)
266 # 31 ---> 32 (54)
267 # 95 ---> 96 (50)
267 # 96 ---> 97 (51)
267 # 97 ---> 98 (52)
266 # 32 ---> 33 (55)
266 # 33 ---> 67 (56)
256 # 7 ---> 8 (53)
256 # 8 ---> 9 (54)
256 # 9 ---> 10 (55)
256 # 10 ---> 11 (56)
256 # 11 ---> 85 (57)
256 # 85 ---> 86 (58)
256 # 86 ---> 87 (59)
256 # 87 ---> 88 (60)
260 # 4 ---> 3 (47)
260 # 3 ---> 2 (48)
260 # 2 ---> 1 (49)
260 # 1 ---> 66 (50)
260 # 66 ---> 65 (51)
260 # 65 ---> 51 (52)
260 # 51 ---> 50 (53)
260 # 50 ---> 49 (54)
260 # 49 ---> 48 (55)
260 # 48 ---> 47 (56)
260 # 47 ---> 46 (57)
260 # 46 ---> 45 (58)
260 # 45 ---> 78 (59)
260 # 78 ---> 79 (60)
265 # 16 ---> 0 (1)
265 # 0 ---> 1 (50)
265 # 1 ---> 2 (51)
265 # 2 ---> 3 (52)
265 # 3 ---> 76 (53)
266 # 67 ---> 68 (57)
266 # 68 ---> 69 (58)
266 # 69 ---> 70 (59)
266 # 70 ---> 71 (60)
266 # 71 ---> 72 (61)
266 # 72 ---> 73 (62)
266 # 73 ---> 74 (63)
266 # 74 ---> 75 (64)
266 # 75 ---> 11 (65)
266 # 11 ---> 21 (66)
266 # 21 ---> 22 (67)
266 # 22 ---> 23 (68)
266 # 23 ---> 51 (69)
266 # 51 ---> 65 (70)
253 # 170 ---> 171 (31)
Reading goal arrangement...
Undirected graph: (|V|=269 |E|=302) [
Vertex: (id = 0) {1 16 }
Vertex: (id = 1) {0 2 66 }
Vertex: (id = 2) {1 3 }
Vertex: (id = 3) {2 4 76 127 196 }
Vertex: (id = 4) {3 5 20 171 }
Vertex: (id = 5) {4 6 189 }
Vertex: (id = 6) {5 7 }
Vertex: (id = 7) {6 8 26 }
Vertex: (id = 8) {7 9 25 }
Vertex: (id = 9) {8 10 36 90 }
Vertex: (id = 10) {9 11 137 }
Vertex: (id = 11) {10 12 21 64 75 85 }
Vertex: (id = 12) {11 13 77 }
Vertex: (id = 13) {12 14 }
Vertex: (id = 14) {13 15 125 }
Vertex: (id = 15) {14 16 124 }
Vertex: (id = 16) {0 15 17 197 }
Vertex: (id = 17) {16 18 }
Vertex: (id = 18) {17 19 }
Vertex: (id = 19) {18 20 }
Vertex: (id = 20) {4 19 }
Vertex: (id = 21) {11 22 }
Vertex: (id = 22) {21 23 }
Vertex: (id = 23) {22 24 51 176 }
Vertex: (id = 24) {23 25 122 }
Vertex: (id = 25) {8 24 }
Vertex: (id = 26) {7 27 }
Vertex: (id = 27) {26 28 }
Vertex: (id = 28) {27 29 94 }
Vertex: (id = 29) {28 30 }
Vertex: (id = 30) {29 31 37 92 }
Vertex: (id = 31) {30 32 95 }
Vertex: (id = 32) {31 33 }
Vertex: (id = 33) {32 34 67 }
Vertex: (id = 34) {33 35 52 }
Vertex: (id = 35) {34 36 84 }
Vertex: (id = 36) {9 35 123 }
Vertex: (id = 37) {30 38 }
Vertex: (id = 38) {37 39 }
Vertex: (id = 39) {38 40 }
Vertex: (id = 40) {39 41 }
Vertex: (id = 41) {40 42 }
Vertex: (id = 42) {41 43 }
Vertex: (id = 43) {42 44 }
Vertex: (id = 44) {43 45 }
Vertex: (id = 45) {44 46 78 }
Vertex: (id = 46) {45 47 103 119 }
Vertex: (id = 47) {46 48 }
Vertex: (id = 48) {47 49 228 242 }
Vertex: (id = 49) {48 50 }
Vertex: (id = 50) {49 51 }
Vertex: (id = 51) {23 50 65 }
Vertex: (id = 52) {34 53 }
Vertex: (id = 53) {52 54 108 }
Vertex: (id = 54) {53 55 }
Vertex: (id = 55) {54 56 210 }
Vertex: (id = 56) {55 57 }
Vertex: (id = 57) {56 58 }
Vertex: (id = 58) {57 59 }
Vertex: (id = 59) {58 60 }
Vertex: (id = 60) {59 61 126 }
Vertex: (id = 61) {60 62 104 }
Vertex: (id = 62) {61 63 91 }
Vertex: (id = 63) {62 64 }
Vertex: (id = 64) {11 63 }
Vertex: (id = 65) {51 66 }
Vertex: (id = 66) {1 65 120 }
Vertex: (id = 67) {33 68 }
Vertex: (id = 68) {67 69 }
Vertex: (id = 69) {68 70 133 }
Vertex: (id = 70) {69 71 93 227 }
Vertex: (id = 71) {70 72 }
Vertex: (id = 72) {71 73 }
Vertex: (id = 73) {72 74 }
Vertex: (id = 74) {73 75 }
Vertex: (id = 75) {11 74 }
Vertex: (id = 76) {3 77 }
Vertex: (id = 77) {12 76 }
Vertex: (id = 78) {45 79 }
Vertex: (id = 79) {78 80 177 }
Vertex: (id = 80) {79 81 107 }
Vertex: (id = 81) {80 82 }
Vertex: (id = 82) {81 83 }
Vertex: (id = 83) {82 84 }
Vertex: (id = 84) {35 83 }
Vertex: (id = 85) {11 86 }
Vertex: (id = 86) {85 87 }
Vertex: (id = 87) {86 88 }
Vertex: (id = 88) {87 89 }
Vertex: (id = 89) {88 90 132 }
Vertex: (id = 90) {9 89 }
Vertex: (id = 91) {62 92 }
Vertex: (id = 92) {30 91 }
Vertex: (id = 93) {70 94 }
Vertex: (id = 94) {28 93 190 }
Vertex: (id = 95) {31 96 }
Vertex: (id = 96) {95 97 159 }
Vertex: (id = 97) {96 98 172 }
Vertex: (id = 98) {97 99 }
Vertex: (id = 99) {98 100 145 }
Vertex: (id = 100) {99 101 }
Vertex: (id = 101) {100 102 }
Vertex: (id = 102) {101 103 }
Vertex: (id = 103) {46 102 160 }
Vertex: (id = 104) {61 105 }
Vertex: (id = 105) {104 106 }
Vertex: (id = 106) {105 107 }
Vertex: (id = 107) {80 106 146 }
Vertex: (id = 108) {53 109 }
Vertex: (id = 109) {108 110 }
Vertex: (id = 110) {109 111 }
Vertex: (id = 111) {110 112 }
Vertex: (id = 112) {111 113 }
Vertex: (id = 113) {112 114 }
Vertex: (id = 114) {113 115 }
Vertex: (id = 115) {114 116 }
Vertex: (id = 116) {115 117 }
Vertex: (id = 117) {116 118 170 }
Vertex: (id = 118) {117 119 }
Vertex: (id = 119) {46 118 }
Vertex: (id = 120) {66 121 138 }
Vertex: (id = 121) {120 122 }
Vertex: (id = 122) {24 121 }
Vertex: (id = 123) {36 124 }
Vertex: (id = 124) {15 123 }
Vertex: (id = 125) {14 126 }
Vertex: (id = 126) {60 125 }
Vertex: (id = 127) {3 128 }
Vertex: (id = 128) {127 129 }
Vertex: (id = 129) {128 130 }
Vertex: (id = 130) {129 131 }
Vertex: (id = 131) {130 132 214 }
Vertex: (id = 132) {89 131 }
Vertex: (id = 133) {69 134 }
Vertex: (id = 134) {133 135 }
Vertex: (id = 135) {134 136 }
Vertex: (id = 136) {135 137 }
Vertex: (id = 137) {10 136 }
Vertex: (id = 138) {120 139 }
Vertex: (id = 139) {138 140 }
Vertex: (id = 140) {139 141 }
Vertex: (id = 141) {140 142 }
Vertex: (id = 142) {141 143 }
Vertex: (id = 143) {142 144 }
Vertex: (id = 144) {143 145 }
Vertex: (id = 145) {99 144 169 }
Vertex: (id = 146) {107 147 }
Vertex: (id = 147) {146 148 }
Vertex: (id = 148) {147 149 }
Vertex: (id = 149) {148 150 }
Vertex: (id = 150) {149 151 }
Vertex: (id = 151) {150 152 }
Vertex: (id = 152) {151 153 }
Vertex: (id = 153) {152 154 }
Vertex: (id = 154) {153 155 }
Vertex: (id = 155) {154 156 }
Vertex: (id = 156) {155 157 }
Vertex: (id = 157) {156 158 }
Vertex: (id = 158) {157 159 }
Vertex: (id = 159) {96 158 241 }
Vertex: (id = 160) {103 161 }
Vertex: (id = 161) {160 162 }
Vertex: (id = 162) {161 163 }
Vertex: (id = 163) {162 164 209 }
Vertex: (id = 164) {163 165 }
Vertex: (id = 165) {164 166 }
Vertex: (id = 166) {165 167 }
Vertex: (id = 167) {166 168 }
Vertex: (id = 168) {167 169 }
Vertex: (id = 169) {145 168 }
Vertex: (id = 170) {117 171 }
Vertex: (id = 171) {4 170 215 }
Vertex: (id = 172) {97 173 }
Vertex: (id = 173) {172 174 }
Vertex: (id = 174) {173 175 }
Vertex: (id = 175) {174 176 }
Vertex: (id = 176) {23 175 }
Vertex: (id = 177) {79 178 }
Vertex: (id = 178) {177 179 }
Vertex: (id = 179) {178 180 }
Vertex: (id = 180) {179 181 }
Vertex: (id = 181) {180 182 }
Vertex: (id = 182) {181 183 }
Vertex: (id = 183) {182 184 }
Vertex: (id = 184) {183 185 }
Vertex: (id = 185) {184 186 }
Vertex: (id = 186) {185 187 254 }
Vertex: (id = 187) {186 188 }
Vertex: (id = 188) {187 189 255 }
Vertex: (id = 189) {5 188 }
Vertex: (id = 190) {94 191 }
Vertex: (id = 191) {190 192 }
Vertex: (id = 192) {191 193 }
Vertex: (id = 193) {192 194 }
Vertex: (id = 194) {193 195 }
Vertex: (id = 195) {194 196 }
Vertex: (id = 196) {3 195 }
Vertex: (id = 197) {16 198 }
Vertex: (id = 198) {197 199 }
Vertex: (id = 199) {198 200 }
Vertex: (id = 200) {199 201 }
Vertex: (id = 201) {200 202 }
Vertex: (id = 202) {201 203 }
Vertex: (id = 203) {202 204 }
Vertex: (id = 204) {203 205 }
Vertex: (id = 205) {204 206 }
Vertex: (id = 206) {205 207 }
Vertex: (id = 207) {206 208 }
Vertex: (id = 208) {207 209 }
Vertex: (id = 209) {163 208 }
Vertex: (id = 210) {55 211 }
Vertex: (id = 211) {210 212 }
Vertex: (id = 212) {211 213 }
Vertex: (id = 213) {212 214 268 }
Vertex: (id = 214) {131 213 }
Vertex: (id = 215) {171 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) {220 222 }
Vertex: (id = 222) {221 223 }
Vertex: (id = 223) {222 224 }
Vertex: (id = 224) {223 225 }
Vertex: (id = 225) {224 226 }
Vertex: (id = 226) {225 227 }
Vertex: (id = 227) {70 226 }
Vertex: (id = 228) {48 229 }
Vertex: (id = 229) {228 230 }
Vertex: (id = 230) {229 231 }
Vertex: (id = 231) {230 232 }
Vertex: (id = 232) {231 233 }
Vertex: (id = 233) {232 234 }
Vertex: (id = 234) {233 235 }
Vertex: (id = 235) {234 236 }
Vertex: (id = 236) {235 237 }
Vertex: (id = 237) {236 238 }
Vertex: (id = 238) {237 239 }
Vertex: (id = 239) {238 240 }
Vertex: (id = 240) {239 241 }
Vertex: (id = 241) {159 240 }
Vertex: (id = 242) {48 243 }
Vertex: (id = 243) {242 244 }
Vertex: (id = 244) {243 245 }
Vertex: (id = 245) {244 246 }
Vertex: (id = 246) {245 247 }
Vertex: (id = 247) {246 248 }
Vertex: (id = 248) {247 249 }
Vertex: (id = 249) {248 250 }
Vertex: (id = 250) {249 251 }
Vertex: (id = 251) {250 252 }
Vertex: (id = 252) {251 253 }
Vertex: (id = 253) {252 254 }
Vertex: (id = 254) {186 253 }
Vertex: (id = 255) {188 256 }
Vertex: (id = 256) {255 257 }
Vertex: (id = 257) {256 258 }
Vertex: (id = 258) {257 259 }
Vertex: (id = 259) {258 260 }
Vertex: (id = 260) {259 261 }
Vertex: (id = 261) {260 262 }
Vertex: (id = 262) {261 263 }
Vertex: (id = 263) {262 264 }
Vertex: (id = 264) {263 265 }
Vertex: (id = 265) {264 266 }
Vertex: (id = 266) {265 267 }
Vertex: (id = 267) {266 268 }
Vertex: (id = 268) {213 267 }
Edge 0 <-> 1 [
Arc: (edge = 0x7fff19741640, target = 0xd746a0)
Arc: (edge = 0x7fff19741640, target = 0xd74680)
]
Edge 0 <-> 16 [
Arc: (edge = 0x7fff19741640, target = 0xd74880)
Arc: (edge = 0x7fff19741640, target = 0xd74680)
]
Edge 1 <-> 2 [
Arc: (edge = 0x7fff19741640, target = 0xd746c0)
Arc: (edge = 0x7fff19741640, target = 0xd746a0)
]
Edge 1 <-> 66 [
Arc: (edge = 0x7fff19741640, target = 0xd74ec0)
Arc: (edge = 0x7fff19741640, target = 0xd746a0)
]
Edge 2 <-> 3 [
Arc: (edge = 0x7fff19741640, target = 0xd746e0)
Arc: (edge = 0x7fff19741640, target = 0xd746c0)
]
Edge 3 <-> 4 [
Arc: (edge = 0x7fff19741640, target = 0xd74700)
Arc: (edge = 0x7fff19741640, target = 0xd746e0)
]
Edge 3 <-> 76 [
Arc: (edge = 0x7fff19741640, target = 0xd75000)
Arc: (edge = 0x7fff19741640, target = 0xd746e0)
]
Edge 3 <-> 127 [
Arc: (edge = 0x7fff19741640, target = 0xd75660)
Arc: (edge = 0x7fff19741640, target = 0xd746e0)
]
Edge 3 <-> 196 [
Arc: (edge = 0x7fff19741640, target = 0xd75f00)
Arc: (edge = 0x7fff19741640, target = 0xd746e0)
]
Edge 4 <-> 5 [
Arc: (edge = 0x7fff19741640, target = 0xd74720)
Arc: (edge = 0x7fff19741640, target = 0xd74700)
]
Edge 4 <-> 20 [
Arc: (edge = 0x7fff19741640, target = 0xd74900)
Arc: (edge = 0x7fff19741640, target = 0xd74700)
]
Edge 4 <-> 171 [
Arc: (edge = 0x7fff19741640, target = 0xd75be0)
Arc: (edge = 0x7fff19741640, target = 0xd74700)
]
Edge 5 <-> 6 [
Arc: (edge = 0x7fff19741640, target = 0xd74740)
Arc: (edge = 0x7fff19741640, target = 0xd74720)
]
Edge 5 <-> 189 [
Arc: (edge = 0x7fff19741640, target = 0xd75e20)
Arc: (edge = 0x7fff19741640, target = 0xd74720)
]
Edge 6 <-> 7 [
Arc: (edge = 0x7fff19741640, target = 0xd74760)
Arc: (edge = 0x7fff19741640, target = 0xd74740)
]
Edge 7 <-> 8 [
Arc: (edge = 0x7fff19741640, target = 0xd74780)
Arc: (edge = 0x7fff19741640, target = 0xd74760)
]
Edge 7 <-> 26 [
Arc: (edge = 0x7fff19741640, target = 0xd749c0)
Arc: (edge = 0x7fff19741640, target = 0xd74760)
]
Edge 8 <-> 9 [
Arc: (edge = 0x7fff19741640, target = 0xd747a0)
Arc: (edge = 0x7fff19741640, target = 0xd74780)
]
Edge 8 <-> 25 [
Arc: (edge = 0x7fff19741640, target = 0xd749a0)
Arc: (edge = 0x7fff19741640, target = 0xd74780)
]
Edge 9 <-> 10 [
Arc: (edge = 0x7fff19741640, target = 0xd747c0)
Arc: (edge = 0x7fff19741640, target = 0xd747a0)
]
Edge 9 <-> 36 [
Arc: (edge = 0x7fff19741640, target = 0xd74b00)
Arc: (edge = 0x7fff19741640, target = 0xd747a0)
]
Edge 9 <-> 90 [
Arc: (edge = 0x7fff19741640, target = 0xd751c0)
Arc: (edge = 0x7fff19741640, target = 0xd747a0)
]
Edge 10 <-> 11 [
Arc: (edge = 0x7fff19741640, target = 0xd747e0)
Arc: (edge = 0x7fff19741640, target = 0xd747c0)
]
Edge 10 <-> 137 [
Arc: (edge = 0x7fff19741640, target = 0xd757a0)
Arc: (edge = 0x7fff19741640, target = 0xd747c0)
]
Edge 11 <-> 12 [
Arc: (edge = 0x7fff19741640, target = 0xd74800)
Arc: (edge = 0x7fff19741640, target = 0xd747e0)
]
Edge 11 <-> 21 [
Arc: (edge = 0x7fff19741640, target = 0xd74920)
Arc: (edge = 0x7fff19741640, target = 0xd747e0)
]
Edge 11 <-> 64 [
Arc: (edge = 0x7fff19741640, target = 0xd74e80)
Arc: (edge = 0x7fff19741640, target = 0xd747e0)
]
Edge 11 <-> 75 [
Arc: (edge = 0x7fff19741640, target = 0xd74fe0)
Arc: (edge = 0x7fff19741640, target = 0xd747e0)
]
Edge 11 <-> 85 [
Arc: (edge = 0x7fff19741640, target = 0xd75120)
Arc: (edge = 0x7fff19741640, target = 0xd747e0)
]
Edge 12 <-> 13 [
Arc: (edge = 0x7fff19741640, target = 0xd74820)
Arc: (edge = 0x7fff19741640, target = 0xd74800)
]
Edge 12 <-> 77 [
Arc: (edge = 0x7fff19741640, target = 0xd75020)
Arc: (edge = 0x7fff19741640, target = 0xd74800)
]
Edge 13 <-> 14 [
Arc: (edge = 0x7fff19741640, target = 0xd74840)
Arc: (edge = 0x7fff19741640, target = 0xd74820)
]
Edge 14 <-> 15 [
Arc: (edge = 0x7fff19741640, target = 0xd74860)
Arc: (edge = 0x7fff19741640, target = 0xd74840)
]
Edge 14 <-> 125 [
Arc: (edge = 0x7fff19741640, target = 0xd75620)
Arc: (edge = 0x7fff19741640, target = 0xd74840)
]
Edge 15 <-> 16 [
Arc: (edge = 0x7fff19741640, target = 0xd74880)
Arc: (edge = 0x7fff19741640, target = 0xd74860)
]
Edge 15 <-> 124 [
Arc: (edge = 0x7fff19741640, target = 0xd75600)
Arc: (edge = 0x7fff19741640, target = 0xd74860)
]
Edge 16 <-> 17 [
Arc: (edge = 0x7fff19741640, target = 0xd748a0)
Arc: (edge = 0x7fff19741640, target = 0xd74880)
]
Edge 16 <-> 197 [
Arc: (edge = 0x7fff19741640, target = 0xd75f20)
Arc: (edge = 0x7fff19741640, target = 0xd74880)
]
Edge 17 <-> 18 [
Arc: (edge = 0x7fff19741640, target = 0xd748c0)
Arc: (edge = 0x7fff19741640, target = 0xd748a0)
]
Edge 18 <-> 19 [
Arc: (edge = 0x7fff19741640, target = 0xd748e0)
Arc: (edge = 0x7fff19741640, target = 0xd748c0)
]
Edge 19 <-> 20 [
Arc: (edge = 0x7fff19741640, target = 0xd74900)
Arc: (edge = 0x7fff19741640, target = 0xd748e0)
]
Edge 21 <-> 22 [
Arc: (edge = 0x7fff19741640, target = 0xd74940)
Arc: (edge = 0x7fff19741640, target = 0xd74920)
]
Edge 22 <-> 23 [
Arc: (edge = 0x7fff19741640, target = 0xd74960)
Arc: (edge = 0x7fff19741640, target = 0xd74940)
]
Edge 23 <-> 24 [
Arc: (edge = 0x7fff19741640, target = 0xd74980)
Arc: (edge = 0x7fff19741640, target = 0xd74960)
]
Edge 23 <-> 51 [
Arc: (edge = 0x7fff19741640, target = 0xd74ce0)
Arc: (edge = 0x7fff19741640, target = 0xd74960)
]
Edge 23 <-> 176 [
Arc: (edge = 0x7fff19741640, target = 0xd75c80)
Arc: (edge = 0x7fff19741640, target = 0xd74960)
]
Edge 24 <-> 25 [
Arc: (edge = 0x7fff19741640, target = 0xd749a0)
Arc: (edge = 0x7fff19741640, target = 0xd74980)
]
Edge 24 <-> 122 [
Arc: (edge = 0x7fff19741640, target = 0xd755c0)
Arc: (edge = 0x7fff19741640, target = 0xd74980)
]
Edge 26 <-> 27 [
Arc: (edge = 0x7fff19741640, target = 0xd749e0)
Arc: (edge = 0x7fff19741640, target = 0xd749c0)
]
Edge 27 <-> 28 [
Arc: (edge = 0x7fff19741640, target = 0xd74a00)
Arc: (edge = 0x7fff19741640, target = 0xd749e0)
]
Edge 28 <-> 29 [
Arc: (edge = 0x7fff19741640, target = 0xd74a20)
Arc: (edge = 0x7fff19741640, target = 0xd74a00)
]
Edge 28 <-> 94 [
Arc: (edge = 0x7fff19741640, target = 0xd75240)
Arc: (edge = 0x7fff19741640, target = 0xd74a00)
]
Edge 29 <-> 30 [
Arc: (edge = 0x7fff19741640, target = 0xd74a40)
Arc: (edge = 0x7fff19741640, target = 0xd74a20)
]
Edge 30 <-> 31 [
Arc: (edge = 0x7fff19741640, target = 0xd74a60)
Arc: (edge = 0x7fff19741640, target = 0xd74a40)
]
Edge 30 <-> 37 [
Arc: (edge = 0x7fff19741640, target = 0xd74b20)
Arc: (edge = 0x7fff19741640, target = 0xd74a40)
]
Edge 30 <-> 92 [
Arc: (edge = 0x7fff19741640, target = 0xd75200)
Arc: (edge = 0x7fff19741640, target = 0xd74a40)
]
Edge 31 <-> 32 [
Arc: (edge = 0x7fff19741640, target = 0xd74a80)
Arc: (edge = 0x7fff19741640, target = 0xd74a60)
]
Edge 31 <-> 95 [
Arc: (edge = 0x7fff19741640, target = 0xd75260)
Arc: (edge = 0x7fff19741640, target = 0xd74a60)
]
Edge 32 <-> 33 [
Arc: (edge = 0x7fff19741640, target = 0xd74aa0)
Arc: (edge = 0x7fff19741640, target = 0xd74a80)
]
Edge 33 <-> 34 [
Arc: (edge = 0x7fff19741640, target = 0xd74ac0)
Arc: (edge = 0x7fff19741640, target = 0xd74aa0)
]
Edge 33 <-> 67 [
Arc: (edge = 0x7fff19741640, target = 0xd74ee0)
Arc: (edge = 0x7fff19741640, target = 0xd74aa0)
]
Edge 34 <-> 35 [
Arc: (edge = 0x7fff19741640, target = 0xd74ae0)
Arc: (edge = 0x7fff19741640, target = 0xd74ac0)
]
Edge 34 <-> 52 [
Arc: (edge = 0x7fff19741640, target = 0xd74d00)
Arc: (edge = 0x7fff19741640, target = 0xd74ac0)
]
Edge 35 <-> 36 [
Arc: (edge = 0x7fff19741640, target = 0xd74b00)
Arc: (edge = 0x7fff19741640, target = 0xd74ae0)
]
Edge 35 <-> 84 [
Arc: (edge = 0x7fff19741640, target = 0xd75100)
Arc: (edge = 0x7fff19741640, target = 0xd74ae0)
]
Edge 36 <-> 123 [
Arc: (edge = 0x7fff19741640, target = 0xd755e0)
Arc: (edge = 0x7fff19741640, target = 0xd74b00)
]
Edge 37 <-> 38 [
Arc: (edge = 0x7fff19741640, target = 0xd74b40)
Arc: (edge = 0x7fff19741640, target = 0xd74b20)
]
Edge 38 <-> 39 [
Arc: (edge = 0x7fff19741640, target = 0xd74b60)
Arc: (edge = 0x7fff19741640, target = 0xd74b40)
]
Edge 39 <-> 40 [
Arc: (edge = 0x7fff19741640, target = 0xd74b80)
Arc: (edge = 0x7fff19741640, target = 0xd74b60)
]
Edge 40 <-> 41 [
Arc: (edge = 0x7fff19741640, target = 0xd74ba0)
Arc: (edge = 0x7fff19741640, target = 0xd74b80)
]
Edge 41 <-> 42 [
Arc: (edge = 0x7fff19741640, target = 0xd74bc0)
Arc: (edge = 0x7fff19741640, target = 0xd74ba0)
]
Edge 42 <-> 43 [
Arc: (edge = 0x7fff19741640, target = 0xd74be0)
Arc: (edge = 0x7fff19741640, target = 0xd74bc0)
]
Edge 43 <-> 44 [
Arc: (edge = 0x7fff19741640, target = 0xd74c00)
Arc: (edge = 0x7fff19741640, target = 0xd74be0)
]
Edge 44 <-> 45 [
Arc: (edge = 0x7fff19741640, target = 0xd74c20)
Arc: (edge = 0x7fff19741640, target = 0xd74c00)
]
Edge 45 <-> 46 [
Arc: (edge = 0x7fff19741640, target = 0xd74c40)
Arc: (edge = 0x7fff19741640, target = 0xd74c20)
]
Edge 45 <-> 78 [
Arc: (edge = 0x7fff19741640, target = 0xd75040)
Arc: (edge = 0x7fff19741640, target = 0xd74c20)
]
Edge 46 <-> 47 [
Arc: (edge = 0x7fff19741640, target = 0xd74c60)
Arc: (edge = 0x7fff19741640, target = 0xd74c40)
]
Edge 46 <-> 103 [
Arc: (edge = 0x7fff19741640, target = 0xd75360)
Arc: (edge = 0x7fff19741640, target = 0xd74c40)
]
Edge 46 <-> 119 [
Arc: (edge = 0x7fff19741640, target = 0xd75560)
Arc: (edge = 0x7fff19741640, target = 0xd74c40)
]
Edge 47 <-> 48 [
Arc: (edge = 0x7fff19741640, target = 0xd74c80)
Arc: (edge = 0x7fff19741640, target = 0xd74c60)
]
Edge 48 <-> 49 [
Arc: (edge = 0x7fff19741640, target = 0xd74ca0)
Arc: (edge = 0x7fff19741640, target = 0xd74c80)
]
Edge 48 <-> 228 [
Arc: (edge = 0x7fff19741640, target = 0xd76300)
Arc: (edge = 0x7fff19741640, target = 0xd74c80)
]
Edge 48 <-> 242 [
Arc: (edge = 0x7fff19741640, target = 0xd764c0)
Arc: (edge = 0x7fff19741640, target = 0xd74c80)
]
Edge 49 <-> 50 [
Arc: (edge = 0x7fff19741640, target = 0xd74cc0)
Arc: (edge = 0x7fff19741640, target = 0xd74ca0)
]
Edge 50 <-> 51 [
Arc: (edge = 0x7fff19741640, target = 0xd74ce0)
Arc: (edge = 0x7fff19741640, target = 0xd74cc0)
]
Edge 51 <-> 65 [
Arc: (edge = 0x7fff19741640, target = 0xd74ea0)
Arc: (edge = 0x7fff19741640, target = 0xd74ce0)
]
Edge 52 <-> 53 [
Arc: (edge = 0x7fff19741640, target = 0xd74d20)
Arc: (edge = 0x7fff19741640, target = 0xd74d00)
]
Edge 53 <-> 54 [
Arc: (edge = 0x7fff19741640, target = 0xd74d40)
Arc: (edge = 0x7fff19741640, target = 0xd74d20)
]
Edge 53 <-> 108 [
Arc: (edge = 0x7fff19741640, target = 0xd75400)
Arc: (edge = 0x7fff19741640, target = 0xd74d20)
]
Edge 54 <-> 55 [
Arc: (edge = 0x7fff19741640, target = 0xd74d60)
Arc: (edge = 0x7fff19741640, target = 0xd74d40)
]
Edge 55 <-> 56 [
Arc: (edge = 0x7fff19741640, target = 0xd74d80)
Arc: (edge = 0x7fff19741640, target = 0xd74d60)
]
Edge 55 <-> 210 [
Arc: (edge = 0x7fff19741640, target = 0xd760c0)
Arc: (edge = 0x7fff19741640, target = 0xd74d60)
]
Edge 56 <-> 57 [
Arc: (edge = 0x7fff19741640, target = 0xd74da0)
Arc: (edge = 0x7fff19741640, target = 0xd74d80)
]
Edge 57 <-> 58 [
Arc: (edge = 0x7fff19741640, target = 0xd74dc0)
Arc: (edge = 0x7fff19741640, target = 0xd74da0)
]
Edge 58 <-> 59 [
Arc: (edge = 0x7fff19741640, target = 0xd74de0)
Arc: (edge = 0x7fff19741640, target = 0xd74dc0)
]
Edge 59 <-> 60 [
Arc: (edge = 0x7fff19741640, target = 0xd74e00)
Arc: (edge = 0x7fff19741640, target = 0xd74de0)
]
Edge 60 <-> 61 [
Arc: (edge = 0x7fff19741640, target = 0xd74e20)
Arc: (edge = 0x7fff19741640, target = 0xd74e00)
]
Edge 60 <-> 126 [
Arc: (edge = 0x7fff19741640, target = 0xd75640)
Arc: (edge = 0x7fff19741640, target = 0xd74e00)
]
Edge 61 <-> 62 [
Arc: (edge = 0x7fff19741640, target = 0xd74e40)
Arc: (edge = 0x7fff19741640, target = 0xd74e20)
]
Edge 61 <-> 104 [
Arc: (edge = 0x7fff19741640, target = 0xd75380)
Arc: (edge = 0x7fff19741640, target = 0xd74e20)
]
Edge 62 <-> 63 [
Arc: (edge = 0x7fff19741640, target = 0xd74e60)
Arc: (edge = 0x7fff19741640, target = 0xd74e40)
]
Edge 62 <-> 91 [
Arc: (edge = 0x7fff19741640, target = 0xd751e0)
Arc: (edge = 0x7fff19741640, target = 0xd74e40)
]
Edge 63 <-> 64 [
Arc: (edge = 0x7fff19741640, target = 0xd74e80)
Arc: (edge = 0x7fff19741640, target = 0xd74e60)
]
Edge 65 <-> 66 [
Arc: (edge = 0x7fff19741640, target = 0xd74ec0)
Arc: (edge = 0x7fff19741640, target = 0xd74ea0)
]
Edge 66 <-> 120 [
Arc: (edge = 0x7fff19741640, target = 0xd75580)
Arc: (edge = 0x7fff19741640, target = 0xd74ec0)
]
Edge 67 <-> 68 [
Arc: (edge = 0x7fff19741640, target = 0xd74f00)
Arc: (edge = 0x7fff19741640, target = 0xd74ee0)
]
Edge 68 <-> 69 [
Arc: (edge = 0x7fff19741640, target = 0xd74f20)
Arc: (edge = 0x7fff19741640, target = 0xd74f00)
]
Edge 69 <-> 70 [
Arc: (edge = 0x7fff19741640, target = 0xd74f40)
Arc: (edge = 0x7fff19741640, target = 0xd74f20)
]
Edge 69 <-> 133 [
Arc: (edge = 0x7fff19741640, target = 0xd75720)
Arc: (edge = 0x7fff19741640, target = 0xd74f20)
]
Edge 70 <-> 71 [
Arc: (edge = 0x7fff19741640, target = 0xd74f60)
Arc: (edge = 0x7fff19741640, target = 0xd74f40)
]
Edge 70 <-> 93 [
Arc: (edge = 0x7fff19741640, target = 0xd75220)
Arc: (edge = 0x7fff19741640, target = 0xd74f40)
]
Edge 70 <-> 227 [
Arc: (edge = 0x7fff19741640, target = 0xd762e0)
Arc: (edge = 0x7fff19741640, target = 0xd74f40)
]
Edge 71 <-> 72 [
Arc: (edge = 0x7fff19741640, target = 0xd74f80)
Arc: (edge = 0x7fff19741640, target = 0xd74f60)
]
Edge 72 <-> 73 [
Arc: (edge = 0x7fff19741640, target = 0xd74fa0)
Arc: (edge = 0x7fff19741640, target = 0xd74f80)
]
Edge 73 <-> 74 [
Arc: (edge = 0x7fff19741640, target = 0xd74fc0)
Arc: (edge = 0x7fff19741640, target = 0xd74fa0)
]
Edge 74 <-> 75 [
Arc: (edge = 0x7fff19741640, target = 0xd74fe0)
Arc: (edge = 0x7fff19741640, target = 0xd74fc0)
]
Edge 76 <-> 77 [
Arc: (edge = 0x7fff19741640, target = 0xd75020)
Arc: (edge = 0x7fff19741640, target = 0xd75000)
]
Edge 78 <-> 79 [
Arc: (edge = 0x7fff19741640, target = 0xd75060)
Arc: (edge = 0x7fff19741640, target = 0xd75040)
]
Edge 79 <-> 80 [
Arc: (edge = 0x7fff19741640, target = 0xd75080)
Arc: (edge = 0x7fff19741640, target = 0xd75060)
]
Edge 79 <-> 177 [
Arc: (edge = 0x7fff19741640, target = 0xd75ca0)
Arc: (edge = 0x7fff19741640, target = 0xd75060)
]
Edge 80 <-> 81 [
Arc: (edge = 0x7fff19741640, target = 0xd750a0)
Arc: (edge = 0x7fff19741640, target = 0xd75080)
]
Edge 80 <-> 107 [
Arc: (edge = 0x7fff19741640, target = 0xd753e0)
Arc: (edge = 0x7fff19741640, target = 0xd75080)
]
Edge 81 <-> 82 [
Arc: (edge = 0x7fff19741640, target = 0xd750c0)
Arc: (edge = 0x7fff19741640, target = 0xd750a0)
]
Edge 82 <-> 83 [
Arc: (edge = 0x7fff19741640, target = 0xd750e0)
Arc: (edge = 0x7fff19741640, target = 0xd750c0)
]
Edge 83 <-> 84 [
Arc: (edge = 0x7fff19741640, target = 0xd75100)
Arc: (edge = 0x7fff19741640, target = 0xd750e0)
]
Edge 85 <-> 86 [
Arc: (edge = 0x7fff19741640, target = 0xd75140)
Arc: (edge = 0x7fff19741640, target = 0xd75120)
]
Edge 86 <-> 87 [
Arc: (edge = 0x7fff19741640, target = 0xd75160)
Arc: (edge = 0x7fff19741640, target = 0xd75140)
]
Edge 87 <-> 88 [
Arc: (edge = 0x7fff19741640, target = 0xd75180)
Arc: (edge = 0x7fff19741640, target = 0xd75160)
]
Edge 88 <-> 89 [
Arc: (edge = 0x7fff19741640, target = 0xd751a0)
Arc: (edge = 0x7fff19741640, target = 0xd75180)
]
Edge 89 <-> 90 [
Arc: (edge = 0x7fff19741640, target = 0xd751c0)
Arc: (edge = 0x7fff19741640, target = 0xd751a0)
]
Edge 89 <-> 132 [
Arc: (edge = 0x7fff19741640, target = 0xd75700)
Arc: (edge = 0x7fff19741640, target = 0xd751a0)
]
Edge 91 <-> 92 [
Arc: (edge = 0x7fff19741640, target = 0xd75200)
Arc: (edge = 0x7fff19741640, target = 0xd751e0)
]
Edge 93 <-> 94 [
Arc: (edge = 0x7fff19741640, target = 0xd75240)
Arc: (edge = 0x7fff19741640, target = 0xd75220)
]
Edge 94 <-> 190 [
Arc: (edge = 0x7fff19741640, target = 0xd75e40)
Arc: (edge = 0x7fff19741640, target = 0xd75240)
]
Edge 95 <-> 96 [
Arc: (edge = 0x7fff19741640, target = 0xd75280)
Arc: (edge = 0x7fff19741640, target = 0xd75260)
]
Edge 96 <-> 97 [
Arc: (edge = 0x7fff19741640, target = 0xd752a0)
Arc: (edge = 0x7fff19741640, target = 0xd75280)
]
Edge 96 <-> 159 [
Arc: (edge = 0x7fff19741640, target = 0xd75a60)
Arc: (edge = 0x7fff19741640, target = 0xd75280)
]
Edge 97 <-> 98 [
Arc: (edge = 0x7fff19741640, target = 0xd752c0)
Arc: (edge = 0x7fff19741640, target = 0xd752a0)
]
Edge 97 <-> 172 [
Arc: (edge = 0x7fff19741640, target = 0xd75c00)
Arc: (edge = 0x7fff19741640, target = 0xd752a0)
]
Edge 98 <-> 99 [
Arc: (edge = 0x7fff19741640, target = 0xd752e0)
Arc: (edge = 0x7fff19741640, target = 0xd752c0)
]
Edge 99 <-> 100 [
Arc: (edge = 0x7fff19741640, target = 0xd75300)
Arc: (edge = 0x7fff19741640, target = 0xd752e0)
]
Edge 99 <-> 145 [
Arc: (edge = 0x7fff19741640, target = 0xd758a0)
Arc: (edge = 0x7fff19741640, target = 0xd752e0)
]
Edge 100 <-> 101 [
Arc: (edge = 0x7fff19741640, target = 0xd75320)
Arc: (edge = 0x7fff19741640, target = 0xd75300)
]
Edge 101 <-> 102 [
Arc: (edge = 0x7fff19741640, target = 0xd75340)
Arc: (edge = 0x7fff19741640, target = 0xd75320)
]
Edge 102 <-> 103 [
Arc: (edge = 0x7fff19741640, target = 0xd75360)
Arc: (edge = 0x7fff19741640, target = 0xd75340)
]
Edge 103 <-> 160 [
Arc: (edge = 0x7fff19741640, target = 0xd75a80)
Arc: (edge = 0x7fff19741640, target = 0xd75360)
]
Edge 104 <-> 105 [
Arc: (edge = 0x7fff19741640, target = 0xd753a0)
Arc: (edge = 0x7fff19741640, target = 0xd75380)
]
Edge 105 <-> 106 [
Arc: (edge = 0x7fff19741640, target = 0xd753c0)
Arc: (edge = 0x7fff19741640, target = 0xd753a0)
]
Edge 106 <-> 107 [
Arc: (edge = 0x7fff19741640, target = 0xd753e0)
Arc: (edge = 0x7fff19741640, target = 0xd753c0)
]
Edge 107 <-> 146 [
Arc: (edge = 0x7fff19741640, target = 0xd758c0)
Arc: (edge = 0x7fff19741640, target = 0xd753e0)
]
Edge 108 <-> 109 [
Arc: (edge = 0x7fff19741640, target = 0xd75420)
Arc: (edge = 0x7fff19741640, target = 0xd75400)
]
Edge 109 <-> 110 [
Arc: (edge = 0x7fff19741640, target = 0xd75440)
Arc: (edge = 0x7fff19741640, target = 0xd75420)
]
Edge 110 <-> 111 [
Arc: (edge = 0x7fff19741640, target = 0xd75460)
Arc: (edge = 0x7fff19741640, target = 0xd75440)
]
Edge 111 <-> 112 [
Arc: (edge = 0x7fff19741640, target = 0xd75480)
Arc: (edge = 0x7fff19741640, target = 0xd75460)
]
Edge 112 <-> 113 [
Arc: (edge = 0x7fff19741640, target = 0xd754a0)
Arc: (edge = 0x7fff19741640, target = 0xd75480)
]
Edge 113 <-> 114 [
Arc: (edge = 0x7fff19741640, target = 0xd754c0)
Arc: (edge = 0x7fff19741640, target = 0xd754a0)
]
Edge 114 <-> 115 [
Arc: (edge = 0x7fff19741640, target = 0xd754e0)
Arc: (edge = 0x7fff19741640, target = 0xd754c0)
]
Edge 115 <-> 116 [
Arc: (edge = 0x7fff19741640, target = 0xd75500)
Arc: (edge = 0x7fff19741640, target = 0xd754e0)
]
Edge 116 <-> 117 [
Arc: (edge = 0x7fff19741640, target = 0xd75520)
Arc: (edge = 0x7fff19741640, target = 0xd75500)
]
Edge 117 <-> 118 [
Arc: (edge = 0x7fff19741640, target = 0xd75540)
Arc: (edge = 0x7fff19741640, target = 0xd75520)
]
Edge 117 <-> 170 [
Arc: (edge = 0x7fff19741640, target = 0xd75bc0)
Arc: (edge = 0x7fff19741640, target = 0xd75520)
]
Edge 118 <-> 119 [
Arc: (edge = 0x7fff19741640, target = 0xd75560)
Arc: (edge = 0x7fff19741640, target = 0xd75540)
]
Edge 120 <-> 121 [
Arc: (edge = 0x7fff19741640, target = 0xd755a0)
Arc: (edge = 0x7fff19741640, target = 0xd75580)
]
Edge 120 <-> 138 [
Arc: (edge = 0x7fff19741640, target = 0xd757c0)
Arc: (edge = 0x7fff19741640, target = 0xd75580)
]
Edge 121 <-> 122 [
Arc: (edge = 0x7fff19741640, target = 0xd755c0)
Arc: (edge = 0x7fff19741640, target = 0xd755a0)
]
Edge 123 <-> 124 [
Arc: (edge = 0x7fff19741640, target = 0xd75600)
Arc: (edge = 0x7fff19741640, target = 0xd755e0)
]
Edge 125 <-> 126 [
Arc: (edge = 0x7fff19741640, target = 0xd75640)
Arc: (edge = 0x7fff19741640, target = 0xd75620)
]
Edge 127 <-> 128 [
Arc: (edge = 0x7fff19741640, target = 0xd75680)
Arc: (edge = 0x7fff19741640, target = 0xd75660)
]
Edge 128 <-> 129 [
Arc: (edge = 0x7fff19741640, target = 0xd756a0)
Arc: (edge = 0x7fff19741640, target = 0xd75680)
]
Edge 129 <-> 130 [
Arc: (edge = 0x7fff19741640, target = 0xd756c0)
Arc: (edge = 0x7fff19741640, target = 0xd756a0)
]
Edge 130 <-> 131 [
Arc: (edge = 0x7fff19741640, target = 0xd756e0)
Arc: (edge = 0x7fff19741640, target = 0xd756c0)
]
Edge 131 <-> 132 [
Arc: (edge = 0x7fff19741640, target = 0xd75700)
Arc: (edge = 0x7fff19741640, target = 0xd756e0)
]
Edge 131 <-> 214 [
Arc: (edge = 0x7fff19741640, target = 0xd76140)
Arc: (edge = 0x7fff19741640, target = 0xd756e0)
]
Edge 133 <-> 134 [
Arc: (edge = 0x7fff19741640, target = 0xd75740)
Arc: (edge = 0x7fff19741640, target = 0xd75720)
]
Edge 134 <-> 135 [
Arc: (edge = 0x7fff19741640, target = 0xd75760)
Arc: (edge = 0x7fff19741640, target = 0xd75740)
]
Edge 135 <-> 136 [
Arc: (edge = 0x7fff19741640, target = 0xd75780)
Arc: (edge = 0x7fff19741640, target = 0xd75760)
]
Edge 136 <-> 137 [
Arc: (edge = 0x7fff19741640, target = 0xd757a0)
Arc: (edge = 0x7fff19741640, target = 0xd75780)
]
Edge 138 <-> 139 [
Arc: (edge = 0x7fff19741640, target = 0xd757e0)
Arc: (edge = 0x7fff19741640, target = 0xd757c0)
]
Edge 139 <-> 140 [
Arc: (edge = 0x7fff19741640, target = 0xd75800)
Arc: (edge = 0x7fff19741640, target = 0xd757e0)
]
Edge 140 <-> 141 [
Arc: (edge = 0x7fff19741640, target = 0xd75820)
Arc: (edge = 0x7fff19741640, target = 0xd75800)
]
Edge 141 <-> 142 [
Arc: (edge = 0x7fff19741640, target = 0xd75840)
Arc: (edge = 0x7fff19741640, target = 0xd75820)
]
Edge 142 <-> 143 [
Arc: (edge = 0x7fff19741640, target = 0xd75860)
Arc: (edge = 0x7fff19741640, target = 0xd75840)
]
Edge 143 <-> 144 [
Arc: (edge = 0x7fff19741640, target = 0xd75880)
Arc: (edge = 0x7fff19741640, target = 0xd75860)
]
Edge 144 <-> 145 [
Arc: (edge = 0x7fff19741640, target = 0xd758a0)
Arc: (edge = 0x7fff19741640, target = 0xd75880)
]
Edge 145 <-> 169 [
Arc: (edge = 0x7fff19741640, target = 0xd75ba0)
Arc: (edge = 0x7fff19741640, target = 0xd758a0)
]
Edge 146 <-> 147 [
Arc: (edge = 0x7fff19741640, target = 0xd758e0)
Arc: (edge = 0x7fff19741640, target = 0xd758c0)
]
Edge 147 <-> 148 [
Arc: (edge = 0x7fff19741640, target = 0xd75900)
Arc: (edge = 0x7fff19741640, target = 0xd758e0)
]
Edge 148 <-> 149 [
Arc: (edge = 0x7fff19741640, target = 0xd75920)
Arc: (edge = 0x7fff19741640, target = 0xd75900)
]
Edge 149 <-> 150 [
Arc: (edge = 0x7fff19741640, target = 0xd75940)
Arc: (edge = 0x7fff19741640, target = 0xd75920)
]
Edge 150 <-> 151 [
Arc: (edge = 0x7fff19741640, target = 0xd75960)
Arc: (edge = 0x7fff19741640, target = 0xd75940)
]
Edge 151 <-> 152 [
Arc: (edge = 0x7fff19741640, target = 0xd75980)
Arc: (edge = 0x7fff19741640, target = 0xd75960)
]
Edge 152 <-> 153 [
Arc: (edge = 0x7fff19741640, target = 0xd759a0)
Arc: (edge = 0x7fff19741640, target = 0xd75980)
]
Edge 153 <-> 154 [
Arc: (edge = 0x7fff19741640, target = 0xd759c0)
Arc: (edge = 0x7fff19741640, target = 0xd759a0)
]
Edge 154 <-> 155 [
Arc: (edge = 0x7fff19741640, target = 0xd759e0)
Arc: (edge = 0x7fff19741640, target = 0xd759c0)
]
Edge 155 <-> 156 [
Arc: (edge = 0x7fff19741640, target = 0xd75a00)
Arc: (edge = 0x7fff19741640, target = 0xd759e0)
]
Edge 156 <-> 157 [
Arc: (edge = 0x7fff19741640, target = 0xd75a20)
Arc: (edge = 0x7fff19741640, target = 0xd75a00)
]
Edge 157 <-> 158 [
Arc: (edge = 0x7fff19741640, target = 0xd75a40)
Arc: (edge = 0x7fff19741640, target = 0xd75a20)
]
Edge 158 <-> 159 [
Arc: (edge = 0x7fff19741640, target = 0xd75a60)
Arc: (edge = 0x7fff19741640, target = 0xd75a40)
]
Edge 159 <-> 241 [
Arc: (edge = 0x7fff19741640, target = 0xd764a0)
Arc: (edge = 0x7fff19741640, target = 0xd75a60)
]
Edge 160 <-> 161 [
Arc: (edge = 0x7fff19741640, target = 0xd75aa0)
Arc: (edge = 0x7fff19741640, target = 0xd75a80)
]
Edge 161 <-> 162 [
Arc: (edge = 0x7fff19741640, target = 0xd75ac0)
Arc: (edge = 0x7fff19741640, target = 0xd75aa0)
]
Edge 162 <-> 163 [
Arc: (edge = 0x7fff19741640, target = 0xd75ae0)
Arc: (edge = 0x7fff19741640, target = 0xd75ac0)
]
Edge 163 <-> 164 [
Arc: (edge = 0x7fff19741640, target = 0xd75b00)
Arc: (edge = 0x7fff19741640, target = 0xd75ae0)
]
Edge 163 <-> 209 [
Arc: (edge = 0x7fff19741640, target = 0xd760a0)
Arc: (edge = 0x7fff19741640, target = 0xd75ae0)
]
Edge 164 <-> 165 [
Arc: (edge = 0x7fff19741640, target = 0xd75b20)
Arc: (edge = 0x7fff19741640, target = 0xd75b00)
]
Edge 165 <-> 166 [
Arc: (edge = 0x7fff19741640, target = 0xd75b40)
Arc: (edge = 0x7fff19741640, target = 0xd75b20)
]
Edge 166 <-> 167 [
Arc: (edge = 0x7fff19741640, target = 0xd75b60)
Arc: (edge = 0x7fff19741640, target = 0xd75b40)
]
Edge 167 <-> 168 [
Arc: (edge = 0x7fff19741640, target = 0xd75b80)
Arc: (edge = 0x7fff19741640, target = 0xd75b60)
]
Edge 168 <-> 169 [
Arc: (edge = 0x7fff19741640, target = 0xd75ba0)
Arc: (edge = 0x7fff19741640, target = 0xd75b80)
]
Edge 170 <-> 171 [
Arc: (edge = 0x7fff19741640, target = 0xd75be0)
Arc: (edge = 0x7fff19741640, target = 0xd75bc0)
]
Edge 171 <-> 215 [
Arc: (edge = 0x7fff19741640, target = 0xd76160)
Arc: (edge = 0x7fff19741640, target = 0xd75be0)
]
Edge 172 <-> 173 [
Arc: (edge = 0x7fff19741640, target = 0xd75c20)
Arc: (edge = 0x7fff19741640, target = 0xd75c00)
]
Edge 173 <-> 174 [
Arc: (edge = 0x7fff19741640, target = 0xd75c40)
Arc: (edge = 0x7fff19741640, target = 0xd75c20)
]
Edge 174 <-> 175 [
Arc: (edge = 0x7fff19741640, target = 0xd75c60)
Arc: (edge = 0x7fff19741640, target = 0xd75c40)
]
Edge 175 <-> 176 [
Arc: (edge = 0x7fff19741640, target = 0xd75c80)
Arc: (edge = 0x7fff19741640, target = 0xd75c60)
]
Edge 177 <-> 178 [
Arc: (edge = 0x7fff19741640, target = 0xd75cc0)
Arc: (edge = 0x7fff19741640, target = 0xd75ca0)
]
Edge 178 <-> 179 [
Arc: (edge = 0x7fff19741640, target = 0xd75ce0)
Arc: (edge = 0x7fff19741640, target = 0xd75cc0)
]
Edge 179 <-> 180 [
Arc: (edge = 0x7fff19741640, target = 0xd75d00)
Arc: (edge = 0x7fff19741640, target = 0xd75ce0)
]
Edge 180 <-> 181 [
Arc: (edge = 0x7fff19741640, target = 0xd75d20)
Arc: (edge = 0x7fff19741640, target = 0xd75d00)
]
Edge 181 <-> 182 [
Arc: (edge = 0x7fff19741640, target = 0xd75d40)
Arc: (edge = 0x7fff19741640, target = 0xd75d20)
]
Edge 182 <-> 183 [
Arc: (edge = 0x7fff19741640, target = 0xd75d60)
Arc: (edge = 0x7fff19741640, target = 0xd75d40)
]
Edge 183 <-> 184 [
Arc: (edge = 0x7fff19741640, target = 0xd75d80)
Arc: (edge = 0x7fff19741640, target = 0xd75d60)
]
Edge 184 <-> 185 [
Arc: (edge = 0x7fff19741640, target = 0xd75da0)
Arc: (edge = 0x7fff19741640, target = 0xd75d80)
]
Edge 185 <-> 186 [
Arc: (edge = 0x7fff19741640, target = 0xd75dc0)
Arc: (edge = 0x7fff19741640, target = 0xd75da0)
]
Edge 186 <-> 187 [
Arc: (edge = 0x7fff19741640, target = 0xd75de0)
Arc: (edge = 0x7fff19741640, target = 0xd75dc0)
]
Edge 186 <-> 254 [
Arc: (edge = 0x7fff19741640, target = 0xd76640)
Arc: (edge = 0x7fff19741640, target = 0xd75dc0)
]
Edge 187 <-> 188 [
Arc: (edge = 0x7fff19741640, target = 0xd75e00)
Arc: (edge = 0x7fff19741640, target = 0xd75de0)
]
Edge 188 <-> 189 [
Arc: (edge = 0x7fff19741640, target = 0xd75e20)
Arc: (edge = 0x7fff19741640, target = 0xd75e00)
]
Edge 188 <-> 255 [
Arc: (edge = 0x7fff19741640, target = 0xd76660)
Arc: (edge = 0x7fff19741640, target = 0xd75e00)
]
Edge 190 <-> 191 [
Arc: (edge = 0x7fff19741640, target = 0xd75e60)
Arc: (edge = 0x7fff19741640, target = 0xd75e40)
]
Edge 191 <-> 192 [
Arc: (edge = 0x7fff19741640, target = 0xd75e80)
Arc: (edge = 0x7fff19741640, target = 0xd75e60)
]
Edge 192 <-> 193 [
Arc: (edge = 0x7fff19741640, target = 0xd75ea0)
Arc: (edge = 0x7fff19741640, target = 0xd75e80)
]
Edge 193 <-> 194 [
Arc: (edge = 0x7fff19741640, target = 0xd75ec0)
Arc: (edge = 0x7fff19741640, target = 0xd75ea0)
]
Edge 194 <-> 195 [
Arc: (edge = 0x7fff19741640, target = 0xd75ee0)
Arc: (edge = 0x7fff19741640, target = 0xd75ec0)
]
Edge 195 <-> 196 [
Arc: (edge = 0x7fff19741640, target = 0xd75f00)
Arc: (edge = 0x7fff19741640, target = 0xd75ee0)
]
Edge 197 <-> 198 [
Arc: (edge = 0x7fff19741640, target = 0xd75f40)
Arc: (edge = 0x7fff19741640, target = 0xd75f20)
]
Edge 198 <-> 199 [
Arc: (edge = 0x7fff19741640, target = 0xd75f60)
Arc: (edge = 0x7fff19741640, target = 0xd75f40)
]
Edge 199 <-> 200 [
Arc: (edge = 0x7fff19741640, target = 0xd75f80)
Arc: (edge = 0x7fff19741640, target = 0xd75f60)
]
Edge 200 <-> 201 [
Arc: (edge = 0x7fff19741640, target = 0xd75fa0)
Arc: (edge = 0x7fff19741640, target = 0xd75f80)
]
Edge 201 <-> 202 [
Arc: (edge = 0x7fff19741640, target = 0xd75fc0)
Arc: (edge = 0x7fff19741640, target = 0xd75fa0)
]
Edge 202 <-> 203 [
Arc: (edge = 0x7fff19741640, target = 0xd75fe0)
Arc: (edge = 0x7fff19741640, target = 0xd75fc0)
]
Edge 203 <-> 204 [
Arc: (edge = 0x7fff19741640, target = 0xd76000)
Arc: (edge = 0x7fff19741640, target = 0xd75fe0)
]
Edge 204 <-> 205 [
Arc: (edge = 0x7fff19741640, target = 0xd76020)
Arc: (edge = 0x7fff19741640, target = 0xd76000)
]
Edge 205 <-> 206 [
Arc: (edge = 0x7fff19741640, target = 0xd76040)
Arc: (edge = 0x7fff19741640, target = 0xd76020)
]
Edge 206 <-> 207 [
Arc: (edge = 0x7fff19741640, target = 0xd76060)
Arc: (edge = 0x7fff19741640, target = 0xd76040)
]
Edge 207 <-> 208 [
Arc: (edge = 0x7fff19741640, target = 0xd76080)
Arc: (edge = 0x7fff19741640, target = 0xd76060)
]
Edge 208 <-> 209 [
Arc: (edge = 0x7fff19741640, target = 0xd760a0)
Arc: (edge = 0x7fff19741640, target = 0xd76080)
]
Edge 210 <-> 211 [
Arc: (edge = 0x7fff19741640, target = 0xd760e0)
Arc: (edge = 0x7fff19741640, target = 0xd760c0)
]
Edge 211 <-> 212 [
Arc: (edge = 0x7fff19741640, target = 0xd76100)
Arc: (edge = 0x7fff19741640, target = 0xd760e0)
]
Edge 212 <-> 213 [
Arc: (edge = 0x7fff19741640, target = 0xd76120)
Arc: (edge = 0x7fff19741640, target = 0xd76100)
]
Edge 213 <-> 214 [
Arc: (edge = 0x7fff19741640, target = 0xd76140)
Arc: (edge = 0x7fff19741640, target = 0xd76120)
]
Edge 213 <-> 268 [
Arc: (edge = 0x7fff19741640, target = 0xd76800)
Arc: (edge = 0x7fff19741640, target = 0xd76120)
]
Edge 215 <-> 216 [
Arc: (edge = 0x7fff19741640, target = 0xd76180)
Arc: (edge = 0x7fff19741640, target = 0xd76160)
]
Edge 216 <-> 217 [
Arc: (edge = 0x7fff19741640, target = 0xd761a0)
Arc: (edge = 0x7fff19741640, target = 0xd76180)
]
Edge 217 <-> 218 [
Arc: (edge = 0x7fff19741640, target = 0xd761c0)
Arc: (edge = 0x7fff19741640, target = 0xd761a0)
]
Edge 218 <-> 219 [
Arc: (edge = 0x7fff19741640, target = 0xd761e0)
Arc: (edge = 0x7fff19741640, target = 0xd761c0)
]
Edge 219 <-> 220 [
Arc: (edge = 0x7fff19741640, target = 0xd76200)
Arc: (edge = 0x7fff19741640, target = 0xd761e0)
]
Edge 220 <-> 221 [
Arc: (edge = 0x7fff19741640, target = 0xd76220)
Arc: (edge = 0x7fff19741640, target = 0xd76200)
]
Edge 221 <-> 222 [
Arc: (edge = 0x7fff19741640, target = 0xd76240)
Arc: (edge = 0x7fff19741640, target = 0xd76220)
]
Edge 222 <-> 223 [
Arc: (edge = 0x7fff19741640, target = 0xd76260)
Arc: (edge = 0x7fff19741640, target = 0xd76240)
]
Edge 223 <-> 224 [
Arc: (edge = 0x7fff19741640, target = 0xd76280)
Arc: (edge = 0x7fff19741640, target = 0xd76260)
]
Edge 224 <-> 225 [
Arc: (edge = 0x7fff19741640, target = 0xd762a0)
Arc: (edge = 0x7fff19741640, target = 0xd76280)
]
Edge 225 <-> 226 [
Arc: (edge = 0x7fff19741640, target = 0xd762c0)
Arc: (edge = 0x7fff19741640, target = 0xd762a0)
]
Edge 226 <-> 227 [
Arc: (edge = 0x7fff19741640, target = 0xd762e0)
Arc: (edge = 0x7fff19741640, target = 0xd762c0)
]
Edge 228 <-> 229 [
Arc: (edge = 0x7fff19741640, target = 0xd76320)
Arc: (edge = 0x7fff19741640, target = 0xd76300)
]
Edge 229 <-> 230 [
Arc: (edge = 0x7fff19741640, target = 0xd76340)
Arc: (edge = 0x7fff19741640, target = 0xd76320)
]
Edge 230 <-> 231 [
Arc: (edge = 0x7fff19741640, target = 0xd76360)
Arc: (edge = 0x7fff19741640, target = 0xd76340)
]
Edge 231 <-> 232 [
Arc: (edge = 0x7fff19741640, target = 0xd76380)
Arc: (edge = 0x7fff19741640, target = 0xd76360)
]
Edge 232 <-> 233 [
Arc: (edge = 0x7fff19741640, target = 0xd763a0)
Arc: (edge = 0x7fff19741640, target = 0xd76380)
]
Edge 233 <-> 234 [
Arc: (edge = 0x7fff19741640, target = 0xd763c0)
Arc: (edge = 0x7fff19741640, target = 0xd763a0)
]
Edge 234 <-> 235 [
Arc: (edge = 0x7fff19741640, target = 0xd763e0)
Arc: (edge = 0x7fff19741640, target = 0xd763c0)
]
Edge 235 <-> 236 [
Arc: (edge = 0x7fff19741640, target = 0xd76400)
Arc: (edge = 0x7fff19741640, target = 0xd763e0)
]
Edge 236 <-> 237 [
Arc: (edge = 0x7fff19741640, target = 0xd76420)
Arc: (edge = 0x7fff19741640, target = 0xd76400)
]
Edge 237 <-> 238 [
Arc: (edge = 0x7fff19741640, target = 0xd76440)
Arc: (edge = 0x7fff19741640, target = 0xd76420)
]
Edge 238 <-> 239 [
Arc: (edge = 0x7fff19741640, target = 0xd76460)
Arc: (edge = 0x7fff19741640, target = 0xd76440)
]
Edge 239 <-> 240 [
Arc: (edge = 0x7fff19741640, target = 0xd76480)
Arc: (edge = 0x7fff19741640, target = 0xd76460)
]
Edge 240 <-> 241 [
Arc: (edge = 0x7fff19741640, target = 0xd764a0)
Arc: (edge = 0x7fff19741640, target = 0xd76480)
]
Edge 242 <-> 243 [
Arc: (edge = 0x7fff19741640, target = 0xd764e0)
Arc: (edge = 0x7fff19741640, target = 0xd764c0)
]
Edge 243 <-> 244 [
Arc: (edge = 0x7fff19741640, target = 0xd76500)
Arc: (edge = 0x7fff19741640, target = 0xd764e0)
]
Edge 244 <-> 245 [
Arc: (edge = 0x7fff19741640, target = 0xd76520)
Arc: (edge = 0x7fff19741640, target = 0xd76500)
]
Edge 245 <-> 246 [
Arc: (edge = 0x7fff19741640, target = 0xd76540)
Arc: (edge = 0x7fff19741640, target = 0xd76520)
]
Edge 246 <-> 247 [
Arc: (edge = 0x7fff19741640, target = 0xd76560)
Arc: (edge = 0x7fff19741640, target = 0xd76540)
]
Edge 247 <-> 248 [
Arc: (edge = 0x7fff19741640, target = 0xd76580)
Arc: (edge = 0x7fff19741640, target = 0xd76560)
]
Edge 248 <-> 249 [
Arc: (edge = 0x7fff19741640, target = 0xd765a0)
Arc: (edge = 0x7fff19741640, target = 0xd76580)
]
Edge 249 <-> 250 [
Arc: (edge = 0x7fff19741640, target = 0xd765c0)
Arc: (edge = 0x7fff19741640, target = 0xd765a0)
]
Edge 250 <-> 251 [
Arc: (edge = 0x7fff19741640, target = 0xd765e0)
Arc: (edge = 0x7fff19741640, target = 0xd765c0)
]
Edge 251 <-> 252 [
Arc: (edge = 0x7fff19741640, target = 0xd76600)
Arc: (edge = 0x7fff19741640, target = 0xd765e0)
]
Edge 252 <-> 253 [
Arc: (edge = 0x7fff19741640, target = 0xd76620)
Arc: (edge = 0x7fff19741640, target = 0xd76600)
]
Edge 253 <-> 254 [
Arc: (edge = 0x7fff19741640, target = 0xd76640)
Arc: (edge = 0x7fff19741640, target = 0xd76620)
]
Edge 255 <-> 256 [
Arc: (edge = 0x7fff19741640, target = 0xd76680)
Arc: (edge = 0x7fff19741640, target = 0xd76660)
]
Edge 256 <-> 257 [
Arc: (edge = 0x7fff19741640, target = 0xd766a0)
Arc: (edge = 0x7fff19741640, target = 0xd76680)
]
Edge 257 <-> 258 [
Arc: (edge = 0x7fff19741640, target = 0xd766c0)
Arc: (edge = 0x7fff19741640, target = 0xd766a0)
]
Edge 258 <-> 259 [
Arc: (edge = 0x7fff19741640, target = 0xd766e0)
Arc: (edge = 0x7fff19741640, target = 0xd766c0)
]
Edge 259 <-> 260 [
Arc: (edge = 0x7fff19741640, target = 0xd76700)
Arc: (edge = 0x7fff19741640, target = 0xd766e0)
]
Edge 260 <-> 261 [
Arc: (edge = 0x7fff19741640, target = 0xd76720)
Arc: (edge = 0x7fff19741640, target = 0xd76700)
]
Edge 261 <-> 262 [
Arc: (edge = 0x7fff19741640, target = 0xd76740)
Arc: (edge = 0x7fff19741640, target = 0xd76720)
]
Edge 262 <-> 263 [
Arc: (edge = 0x7fff19741640, target = 0xd76760)
Arc: (edge = 0x7fff19741640, target = 0xd76740)
]
Edge 263 <-> 264 [
Arc: (edge = 0x7fff19741640, target = 0xd76780)
Arc: (edge = 0x7fff19741640, target = 0xd76760)
]
Edge 264 <-> 265 [
Arc: (edge = 0x7fff19741640, target = 0xd767a0)
Arc: (edge = 0x7fff19741640, target = 0xd76780)
]
Edge 265 <-> 266 [
Arc: (edge = 0x7fff19741640, target = 0xd767c0)
Arc: (edge = 0x7fff19741640, target = 0xd767a0)
]
Edge 266 <-> 267 [
Arc: (edge = 0x7fff19741640, target = 0xd767e0)
Arc: (edge = 0x7fff19741640, target = 0xd767c0)
]
Edge 267 <-> 268 [
Arc: (edge = 0x7fff19741640, target = 0xd76800)
Arc: (edge = 0x7fff19741640, target = 0xd767e0)
]
]
Robot arrangement: (|R| = 16, |V| = 269) [
robot locations: {1#17 2#47 3#70 4#71 5#82 6#111 7#122 8#126 9#135 10#144 11#156 12#204 13#211 14#216 15#220 16#238 }
vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 1#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 2#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 3#70 4#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 5#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 6#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 7#122 0#123 0#124 0#125 8#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 9#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 10#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 0#154 0#155 11#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 0#202 0#203 12#204 0#205 0#206 0#207 0#208 0#209 0#210 13#211 0#212 0#213 0#214 0#215 14#216 0#217 0#218 0#219 15#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 16#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 0#259 0#260 0#261 0#262 0#263 0#264 0#265 0#266 0#267 0#268 }
]
Robot arrangement: (|R| = 16, |V| = 269) [
robot locations: {1#43 2#65 3#76 4#79 5#88 6#98 7#127 8#153 9#171 10#186 11#219 12#220 13#232 14#234 15#246 16#266 }
vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 1#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 0#64 2#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 3#76 0#77 0#78 4#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 5#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 6#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 7#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 8#153 0#154 0#155 0#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 9#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 10#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 0#216 0#217 0#218 11#219 12#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 13#232 0#233 14#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 15#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 0#259 0#260 0#261 0#262 0#263 0#264 0#265 16#266 0#267 0#268 }
]
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.024
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 = 4254
Produced CNF variables = 0
Produced CNF clauses = 0
Search steps = 397314
Wall clock TIME (seconds) = 0.615
CPU/machine TIME (seconds) = 0.610
]
}
]
----------------------------------------------------------------