================================================================
reLOC 0.05-legio : Multirobot Solution reSolver
(C) Copyright 2011-2012 Pavel Surynek
----------------------------------------------------------------
window size:16
Reading graph...
0,1
0,6
0,11
0,32
0,34
0,47
0,52
0,176
1,2
1,7
1,169
2,3
2,8
2,13
2,76
2,92
3,4
3,10
3,81
4,5
4,9
5,6
5,16
5,83
5,144
6,15
6,17
6,121
7,8
7,54
7,56
7,140
8,31
9,10
9,14
9,19
9,132
10,24
10,29
11,12
11,71
12,13
12,21
12,50
12,204
13,18
13,25
14,15
14,37
14,136
15,49
15,86
15,99
16,17
16,88
16,97
17,26
17,41
18,19
18,20
18,66
18,127
18,146
19,22
19,174
20,21
20,23
20,118
20,209
20,251
21,28
21,33
21,64
21,77
21,255
22,23
22,57
22,175
23,38
23,193
24,25
24,43
24,48
24,79
25,42
25,87
25,94
25,188
25,220
26,27
27,28
27,149
28,62
28,232
29,30
29,84
29,119
30,31
30,91
30,109
30,190
30,202
30,208
31,100
32,33
32,65
33,36
33,39
33,224
34,35
34,151
35,36
37,38
37,44
38,69
38,115
39,40
39,53
40,41
40,46
40,61
41,55
41,105
42,43
42,96
42,128
42,130
43,45
43,58
43,60
43,156
44,45
44,80
45,181
46,47
46,131
46,230
47,63
47,189
48,49
50,51
51,52
51,68
51,125
51,172
51,256
52,123
52,184
53,54
54,102
55,56
55,74
56,59
57,58
57,171
58,120
58,183
59,60
59,198
59,218
60,98
61,62
62,110
62,112
63,64
63,95
63,122
64,67
65,66
67,68
67,72
69,70
70,71
71,108
72,73
72,134
73,74
73,150
73,243
74,75
75,76
75,129
75,168
77,78
77,117
77,152
77,213
77,238
78,79
78,138
78,173
79,111
79,154
80,81
80,89
80,158
80,182
81,82
82,83
82,114
84,85
84,135
84,160
85,86
86,178
87,88
87,93
87,186
89,90
89,177
90,91
90,107
90,240
91,126
92,93
93,103
94,95
94,106
94,141
95,124
95,244
96,97
96,155
96,163
96,245
98,99
100,101
101,102
102,153
102,239
103,104
104,105
105,166
106,107
106,179
106,211
106,241
108,109
109,201
109,207
110,111
111,161
112,113
112,147
112,180
113,114
114,199
114,205
115,116
116,117
116,157
116,217
117,226
118,119
119,139
120,121
120,248
120,252
122,123
124,125
126,127
126,137
128,129
128,165
128,170
130,131
132,133
133,134
134,214
135,136
135,143
137,138
137,206
139,140
141,142
142,143
144,145
144,162
145,146
146,159
147,148
148,149
148,227
149,253
150,151
151,229
152,153
153,187
154,155
156,157
157,191
158,159
158,194
159,164
159,185
160,161
161,221
162,163
164,165
165,222
166,167
167,168
167,231
169,170
170,236
171,172
171,197
172,242
173,174
174,200
175,176
177,178
179,180
179,212
180,192
180,219
181,182
182,233
183,184
183,215
185,186
187,188
188,237
189,190
189,195
191,192
192,210
193,194
195,196
196,197
198,199
198,234
199,235
200,201
202,203
203,204
205,206
205,249
207,208
209,210
210,254
211,212
213,214
215,216
216,217
218,219
220,221
222,223
223,224
223,225
225,226
227,228
228,229
230,231
231,258
232,233
232,246
234,235
236,237
238,239
240,241
242,243
244,245
246,247
247,248
249,250
250,251
252,253
254,255
256,257
257,258
Reading initial arrangement...
Reading original solution...
Length:296
240 # 15 ---> 86 (0)
251 # 81 ---> 3 (0)
251 # 3 ---> 4 (1)
246 # 43 ---> 24 (0)
253 # 59 ---> 60 (0)
246 # 24 ---> 10 (1)
253 # 60 ---> 43 (1)
246 # 10 ---> 3 (2)
253 # 43 ---> 24 (2)
254 # 121 ---> 120 (0)
241 # 35 ---> 34 (0)
241 # 34 ---> 0 (1)
241 # 0 ---> 6 (2)
241 # 6 ---> 121 (3)
254 # 120 ---> 58 (1)
241 # 121 ---> 120 (4)
241 # 120 ---> 252 (5)
250 # 247 ---> 248 (0)
249 # 182 ---> 233 (0)
254 # 58 ---> 43 (2)
250 # 248 ---> 120 (5)
254 # 43 ---> 45 (3)
250 # 120 ---> 58 (6)
242 # 166 ---> 105 (0)
242 # 105 ---> 41 (1)
242 # 41 ---> 17 (2)
242 # 17 ---> 26 (3)
242 # 26 ---> 27 (4)
242 # 27 ---> 28 (5)
242 # 28 ---> 232 (6)
242 # 232 ---> 246 (7)
249 # 233 ---> 232 (7)
254 # 45 ---> 181 (4)
250 # 58 ---> 43 (7)
249 # 232 ---> 28 (8)
246 # 3 ---> 81 (3)
250 # 43 ---> 45 (8)
250 # 45 ---> 44 (9)
248 # 170 ---> 128 (0)
243 # 151 ---> 34 (1)
237 # 227 ---> 228 (0)
243 # 34 ---> 0 (2)
245 # 147 ---> 148 (0)
237 # 228 ---> 229 (1)
243 # 0 ---> 6 (3)
238 # 155 ---> 154 (0)
238 # 154 ---> 79 (1)
238 # 79 ---> 111 (2)
238 # 111 ---> 110 (3)
238 # 110 ---> 62 (4)
238 # 62 ---> 112 (5)
238 # 112 ---> 147 (6)
245 # 148 ---> 149 (1)
238 # 147 ---> 148 (7)
237 # 229 ---> 151 (2)
238 # 148 ---> 227 (8)
237 # 151 ---> 34 (3)
248 # 128 ---> 42 (1)
248 # 42 ---> 43 (8)
248 # 43 ---> 58 (9)
248 # 58 ---> 183 (10)
248 # 183 ---> 215 (11)
253 # 24 ---> 79 (3)
253 # 79 ---> 78 (4)
253 # 78 ---> 77 (5)
236 # 214 ---> 134 (0)
253 # 77 ---> 213 (6)
236 # 134 ---> 72 (1)
253 # 213 ---> 214 (7)
240 # 86 ---> 178 (1)
240 # 178 ---> 177 (2)
240 # 177 ---> 89 (3)
240 # 89 ---> 90 (4)
240 # 90 ---> 107 (5)
240 # 107 ---> 106 (6)
240 # 106 ---> 211 (7)
239 # 92 ---> 2 (0)
239 # 2 ---> 13 (1)
239 # 13 ---> 25 (2)
257 # 208 ---> 30 (0)
239 # 25 ---> 94 (3)
252 # 189 ---> 47 (0)
252 # 47 ---> 0 (3)
252 # 0 ---> 1 (4)
246 # 81 ---> 82 (4)
250 # 44 ---> 80 (10)
250 # 80 ---> 81 (11)
251 # 4 ---> 9 (2)
246 # 82 ---> 83 (5)
250 # 81 ---> 82 (12)
250 # 82 ---> 114 (13)
250 # 114 ---> 205 (14)
257 # 30 ---> 31 (1)
252 # 1 ---> 7 (5)
251 # 9 ---> 14 (3)
252 # 7 ---> 56 (6)
252 # 56 ---> 59 (7)
239 # 94 ---> 95 (4)
239 # 95 ---> 63 (5)
258 # 197 ---> 171 (0)
258 # 171 ---> 172 (1)
244 # 87 ---> 25 (3)
244 # 25 ---> 13 (4)
244 # 13 ---> 18 (5)
244 # 18 ---> 20 (6)
244 # 20 ---> 23 (7)
244 # 23 ---> 193 (8)
244 # 193 ---> 194 (9)
243 # 6 ---> 5 (4)
257 # 31 ---> 8 (2)
257 # 8 ---> 2 (3)
257 # 2 ---> 76 (4)
237 # 34 ---> 0 (4)
237 # 0 ---> 32 (5)
255 # 159 ---> 146 (0)
246 # 83 ---> 82 (13)
255 # 146 ---> 145 (1)
254 # 181 ---> 182 (5)
254 # 182 ---> 80 (11)
251 # 14 ---> 37 (4)
258 # 172 ---> 51 (2)
258 # 51 ---> 50 (3)
258 # 50 ---> 12 (4)
258 # 12 ---> 21 (5)
243 # 5 ---> 4 (5)
255 # 145 ---> 144 (2)
255 # 144 ---> 5 (5)
255 # 5 ---> 6 (6)
255 # 6 ---> 17 (7)
255 # 17 ---> 41 (8)
255 # 41 ---> 105 (9)
255 # 105 ---> 166 (10)
255 # 166 ---> 167 (11)
243 # 4 ---> 9 (6)
257 # 76 ---> 75 (5)
243 # 9 ---> 14 (7)
243 # 14 ---> 15 (8)
254 # 80 ---> 81 (12)
258 # 21 ---> 77 (6)
258 # 77 ---> 152 (7)
236 # 72 ---> 67 (2)
257 # 75 ---> 74 (6)
236 # 67 ---> 68 (3)
245 # 149 ---> 27 (5)
249 # 28 ---> 62 (9)
249 # 62 ---> 112 (10)
245 # 27 ---> 26 (6)
249 # 112 ---> 147 (11)
245 # 26 ---> 17 (8)
245 # 17 ---> 6 (9)
245 # 6 ---> 0 (10)
247 # 141 ---> 142 (0)
247 # 142 ---> 143 (1)
247 # 143 ---> 135 (2)
247 # 135 ---> 84 (3)
245 # 0 ---> 11 (11)
243 # 15 ---> 49 (9)
247 # 84 ---> 85 (4)
254 # 81 ---> 3 (13)
254 # 3 ---> 4 (14)
254 # 4 ---> 5 (15)
247 # 85 ---> 86 (5)
243 # 49 ---> 48 (10)
243 # 48 ---> 24 (11)
243 # 24 ---> 10 (12)
245 # 11 ---> 12 (12)
237 # 32 ---> 0 (11)
237 # 0 ---> 1 (12)
237 # 1 ---> 2 (13)
237 # 2 ---> 8 (14)
237 # 8 ---> 31 (15)
237 # 31 ---> 30 (16)
237 # 30 ---> 91 (17)
237 # 91 ---> 126 (18)
254 # 5 ---> 6 (16)
243 # 10 ---> 3 (14)
237 # 126 ---> 127 (19)
254 # 6 ---> 0 (17)
254 # 0 ---> 1 (18)
239 # 63 ---> 122 (6)
245 # 12 ---> 21 (13)
246 # 82 ---> 81 (14)
243 # 3 ---> 4 (15)
246 # 81 ---> 3 (15)
245 # 21 ---> 20 (14)
245 # 20 ---> 23 (15)
251 # 37 ---> 14 (8)
246 # 3 ---> 2 (16)
254 # 1 ---> 7 (19)
246 # 2 ---> 1 (19)
246 # 1 ---> 0 (20)
246 # 0 ---> 11 (21)
246 # 11 ---> 12 (22)
246 # 12 ---> 21 (23)
246 # 21 ---> 28 (24)
246 # 28 ---> 62 (25)
246 # 62 ---> 110 (26)
251 # 14 ---> 9 (9)
243 # 4 ---> 3 (16)
243 # 3 ---> 2 (19)
243 # 2 ---> 1 (20)
243 # 1 ---> 0 (21)
254 # 7 ---> 8 (20)
243 # 0 ---> 6 (22)
256 # 88 ---> 87 (3)
256 # 87 ---> 25 (4)
256 # 25 ---> 42 (8)
256 # 42 ---> 96 (9)
236 # 68 ---> 51 (4)
236 # 51 ---> 50 (5)
236 # 50 ---> 12 (23)
236 # 12 ---> 13 (24)
236 # 13 ---> 25 (25)
236 # 25 ---> 42 (26)
256 # 96 ---> 97 (10)
236 # 42 ---> 96 (27)
247 # 86 ---> 15 (9)
247 # 15 ---> 14 (10)
251 # 9 ---> 10 (14)
247 # 14 ---> 9 (14)
247 # 9 ---> 4 (16)
247 # 4 ---> 3 (19)
247 # 3 ---> 2 (20)
251 # 10 ---> 3 (20)
247 # 2 ---> 13 (25)
247 # 13 ---> 12 (26)
245 # 23 ---> 22 (16)
254 # 8 ---> 2 (25)
254 # 2 ---> 13 (26)
247 # 12 ---> 11 (27)
254 # 13 ---> 12 (27)
254 # 12 ---> 21 (28)
254 # 21 ---> 64 (29)
254 # 64 ---> 67 (30)
254 # 67 ---> 72 (31)
257 # 74 ---> 55 (7)
254 # 72 ---> 73 (32)
257 # 55 ---> 41 (9)
254 # 73 ---> 74 (33)
257 # 41 ---> 40 (10)
257 # 40 ---> 39 (11)
257 # 39 ---> 33 (12)
257 # 33 ---> 21 (29)
257 # 21 ---> 20 (30)
257 # 20 ---> 23 (31)
257 # 23 ---> 38 (32)
247 # 11 ---> 0 (28)
257 # 38 ---> 69 (33)
257 # 69 ---> 70 (34)
245 # 22 ---> 19 (17)
257 # 70 ---> 71 (35)
247 # 0 ---> 1 (29)
247 # 1 ---> 7 (30)
247 # 7 ---> 56 (31)
252 # 59 ---> 60 (8)
247 # 56 ---> 59 (32)
252 # 60 ---> 43 (9)
247 # 59 ---> 60 (33)
252 # 43 ---> 24 (12)
251 # 3 ---> 4 (21)
245 # 19 ---> 18 (18)
252 # 24 ---> 10 (20)
251 # 4 ---> 9 (22)
243 # 6 ---> 5 (23)
252 # 10 ---> 3 (21)
252 # 3 ---> 2 (26)
251 # 9 ---> 10 (23)
243 # 5 ---> 4 (24)
252 # 2 ---> 1 (30)
251 # 10 ---> 24 (24)
251 # 24 ---> 25 (26)
251 # 25 ---> 13 (27)
251 # 13 ---> 12 (28)
251 # 12 ---> 50 (29)
251 # 50 ---> 51 (30)
245 # 18 ---> 20 (31)
251 # 51 ---> 52 (31)
252 # 1 ---> 0 (31)
243 # 4 ---> 3 (26)
252 # 0 ---> 6 (32)
243 # 3 ---> 2 (30)
252 # 6 ---> 17 (33)
252 # 17 ---> 16 (34)
245 # 20 ---> 23 (32)
245 # 23 ---> 38 (33)
245 # 38 ---> 37 (34)
245 # 37 ---> 44 (35)
243 # 2 ---> 1 (31)
243 # 1 ---> 0 (32)
243 # 0 ---> 6 (33)
243 # 6 ---> 17 (34)
243 # 17 ---> 26 (35)
252 # 16 ---> 17 (35)
243 # 26 ---> 27 (36)
252 # 17 ---> 26 (36)
257 # 71 ---> 11 (36)
Reading goal arrangement...
Undirected graph: (|V|=259 |E|=371) [
Vertex: (id = 0) {1 6 11 32 34 47 52 176 }
Vertex: (id = 1) {0 2 7 169 }
Vertex: (id = 2) {1 3 8 13 76 92 }
Vertex: (id = 3) {2 4 10 81 }
Vertex: (id = 4) {3 5 9 }
Vertex: (id = 5) {4 6 16 83 144 }
Vertex: (id = 6) {0 5 15 17 121 }
Vertex: (id = 7) {1 8 54 56 140 }
Vertex: (id = 8) {2 7 31 }
Vertex: (id = 9) {4 10 14 19 132 }
Vertex: (id = 10) {3 9 24 29 }
Vertex: (id = 11) {0 12 71 }
Vertex: (id = 12) {11 13 21 50 204 }
Vertex: (id = 13) {2 12 18 25 }
Vertex: (id = 14) {9 15 37 136 }
Vertex: (id = 15) {6 14 49 86 99 }
Vertex: (id = 16) {5 17 88 97 }
Vertex: (id = 17) {6 16 26 41 }
Vertex: (id = 18) {13 19 20 66 127 146 }
Vertex: (id = 19) {9 18 22 174 }
Vertex: (id = 20) {18 21 23 118 209 251 }
Vertex: (id = 21) {12 20 28 33 64 77 255 }
Vertex: (id = 22) {19 23 57 175 }
Vertex: (id = 23) {20 22 38 193 }
Vertex: (id = 24) {10 25 43 48 79 }
Vertex: (id = 25) {13 24 42 87 94 188 220 }
Vertex: (id = 26) {17 27 }
Vertex: (id = 27) {26 28 149 }
Vertex: (id = 28) {21 27 62 232 }
Vertex: (id = 29) {10 30 84 119 }
Vertex: (id = 30) {29 31 91 109 190 202 208 }
Vertex: (id = 31) {8 30 100 }
Vertex: (id = 32) {0 33 65 }
Vertex: (id = 33) {21 32 36 39 224 }
Vertex: (id = 34) {0 35 151 }
Vertex: (id = 35) {34 36 }
Vertex: (id = 36) {33 35 }
Vertex: (id = 37) {14 38 44 }
Vertex: (id = 38) {23 37 69 115 }
Vertex: (id = 39) {33 40 53 }
Vertex: (id = 40) {39 41 46 61 }
Vertex: (id = 41) {17 40 55 105 }
Vertex: (id = 42) {25 43 96 128 130 }
Vertex: (id = 43) {24 42 45 58 60 156 }
Vertex: (id = 44) {37 45 80 }
Vertex: (id = 45) {43 44 181 }
Vertex: (id = 46) {40 47 131 230 }
Vertex: (id = 47) {0 46 63 189 }
Vertex: (id = 48) {24 49 }
Vertex: (id = 49) {15 48 }
Vertex: (id = 50) {12 51 }
Vertex: (id = 51) {50 52 68 125 172 256 }
Vertex: (id = 52) {0 51 123 184 }
Vertex: (id = 53) {39 54 }
Vertex: (id = 54) {7 53 102 }
Vertex: (id = 55) {41 56 74 }
Vertex: (id = 56) {7 55 59 }
Vertex: (id = 57) {22 58 171 }
Vertex: (id = 58) {43 57 120 183 }
Vertex: (id = 59) {56 60 198 218 }
Vertex: (id = 60) {43 59 98 }
Vertex: (id = 61) {40 62 }
Vertex: (id = 62) {28 61 110 112 }
Vertex: (id = 63) {47 64 95 122 }
Vertex: (id = 64) {21 63 67 }
Vertex: (id = 65) {32 66 }
Vertex: (id = 66) {18 65 }
Vertex: (id = 67) {64 68 72 }
Vertex: (id = 68) {51 67 }
Vertex: (id = 69) {38 70 }
Vertex: (id = 70) {69 71 }
Vertex: (id = 71) {11 70 108 }
Vertex: (id = 72) {67 73 134 }
Vertex: (id = 73) {72 74 150 243 }
Vertex: (id = 74) {55 73 75 }
Vertex: (id = 75) {74 76 129 168 }
Vertex: (id = 76) {2 75 }
Vertex: (id = 77) {21 78 117 152 213 238 }
Vertex: (id = 78) {77 79 138 173 }
Vertex: (id = 79) {24 78 111 154 }
Vertex: (id = 80) {44 81 89 158 182 }
Vertex: (id = 81) {3 80 82 }
Vertex: (id = 82) {81 83 114 }
Vertex: (id = 83) {5 82 }
Vertex: (id = 84) {29 85 135 160 }
Vertex: (id = 85) {84 86 }
Vertex: (id = 86) {15 85 178 }
Vertex: (id = 87) {25 88 93 186 }
Vertex: (id = 88) {16 87 }
Vertex: (id = 89) {80 90 177 }
Vertex: (id = 90) {89 91 107 240 }
Vertex: (id = 91) {30 90 126 }
Vertex: (id = 92) {2 93 }
Vertex: (id = 93) {87 92 103 }
Vertex: (id = 94) {25 95 106 141 }
Vertex: (id = 95) {63 94 124 244 }
Vertex: (id = 96) {42 97 155 163 245 }
Vertex: (id = 97) {16 96 }
Vertex: (id = 98) {60 99 }
Vertex: (id = 99) {15 98 }
Vertex: (id = 100) {31 101 }
Vertex: (id = 101) {100 102 }
Vertex: (id = 102) {54 101 153 239 }
Vertex: (id = 103) {93 104 }
Vertex: (id = 104) {103 105 }
Vertex: (id = 105) {41 104 166 }
Vertex: (id = 106) {94 107 179 211 241 }
Vertex: (id = 107) {90 106 }
Vertex: (id = 108) {71 109 }
Vertex: (id = 109) {30 108 201 207 }
Vertex: (id = 110) {62 111 }
Vertex: (id = 111) {79 110 161 }
Vertex: (id = 112) {62 113 147 180 }
Vertex: (id = 113) {112 114 }
Vertex: (id = 114) {82 113 199 205 }
Vertex: (id = 115) {38 116 }
Vertex: (id = 116) {115 117 157 217 }
Vertex: (id = 117) {77 116 226 }
Vertex: (id = 118) {20 119 }
Vertex: (id = 119) {29 118 139 }
Vertex: (id = 120) {58 121 248 252 }
Vertex: (id = 121) {6 120 }
Vertex: (id = 122) {63 123 }
Vertex: (id = 123) {52 122 }
Vertex: (id = 124) {95 125 }
Vertex: (id = 125) {51 124 }
Vertex: (id = 126) {91 127 137 }
Vertex: (id = 127) {18 126 }
Vertex: (id = 128) {42 129 165 170 }
Vertex: (id = 129) {75 128 }
Vertex: (id = 130) {42 131 }
Vertex: (id = 131) {46 130 }
Vertex: (id = 132) {9 133 }
Vertex: (id = 133) {132 134 }
Vertex: (id = 134) {72 133 214 }
Vertex: (id = 135) {84 136 143 }
Vertex: (id = 136) {14 135 }
Vertex: (id = 137) {126 138 206 }
Vertex: (id = 138) {78 137 }
Vertex: (id = 139) {119 140 }
Vertex: (id = 140) {7 139 }
Vertex: (id = 141) {94 142 }
Vertex: (id = 142) {141 143 }
Vertex: (id = 143) {135 142 }
Vertex: (id = 144) {5 145 162 }
Vertex: (id = 145) {144 146 }
Vertex: (id = 146) {18 145 159 }
Vertex: (id = 147) {112 148 }
Vertex: (id = 148) {147 149 227 }
Vertex: (id = 149) {27 148 253 }
Vertex: (id = 150) {73 151 }
Vertex: (id = 151) {34 150 229 }
Vertex: (id = 152) {77 153 }
Vertex: (id = 153) {102 152 187 }
Vertex: (id = 154) {79 155 }
Vertex: (id = 155) {96 154 }
Vertex: (id = 156) {43 157 }
Vertex: (id = 157) {116 156 191 }
Vertex: (id = 158) {80 159 194 }
Vertex: (id = 159) {146 158 164 185 }
Vertex: (id = 160) {84 161 }
Vertex: (id = 161) {111 160 221 }
Vertex: (id = 162) {144 163 }
Vertex: (id = 163) {96 162 }
Vertex: (id = 164) {159 165 }
Vertex: (id = 165) {128 164 222 }
Vertex: (id = 166) {105 167 }
Vertex: (id = 167) {166 168 231 }
Vertex: (id = 168) {75 167 }
Vertex: (id = 169) {1 170 }
Vertex: (id = 170) {128 169 236 }
Vertex: (id = 171) {57 172 197 }
Vertex: (id = 172) {51 171 242 }
Vertex: (id = 173) {78 174 }
Vertex: (id = 174) {19 173 200 }
Vertex: (id = 175) {22 176 }
Vertex: (id = 176) {0 175 }
Vertex: (id = 177) {89 178 }
Vertex: (id = 178) {86 177 }
Vertex: (id = 179) {106 180 212 }
Vertex: (id = 180) {112 179 192 219 }
Vertex: (id = 181) {45 182 }
Vertex: (id = 182) {80 181 233 }
Vertex: (id = 183) {58 184 215 }
Vertex: (id = 184) {52 183 }
Vertex: (id = 185) {159 186 }
Vertex: (id = 186) {87 185 }
Vertex: (id = 187) {153 188 }
Vertex: (id = 188) {25 187 237 }
Vertex: (id = 189) {47 190 195 }
Vertex: (id = 190) {30 189 }
Vertex: (id = 191) {157 192 }
Vertex: (id = 192) {180 191 210 }
Vertex: (id = 193) {23 194 }
Vertex: (id = 194) {158 193 }
Vertex: (id = 195) {189 196 }
Vertex: (id = 196) {195 197 }
Vertex: (id = 197) {171 196 }
Vertex: (id = 198) {59 199 234 }
Vertex: (id = 199) {114 198 235 }
Vertex: (id = 200) {174 201 }
Vertex: (id = 201) {109 200 }
Vertex: (id = 202) {30 203 }
Vertex: (id = 203) {202 204 }
Vertex: (id = 204) {12 203 }
Vertex: (id = 205) {114 206 249 }
Vertex: (id = 206) {137 205 }
Vertex: (id = 207) {109 208 }
Vertex: (id = 208) {30 207 }
Vertex: (id = 209) {20 210 }
Vertex: (id = 210) {192 209 254 }
Vertex: (id = 211) {106 212 }
Vertex: (id = 212) {179 211 }
Vertex: (id = 213) {77 214 }
Vertex: (id = 214) {134 213 }
Vertex: (id = 215) {183 216 }
Vertex: (id = 216) {215 217 }
Vertex: (id = 217) {116 216 }
Vertex: (id = 218) {59 219 }
Vertex: (id = 219) {180 218 }
Vertex: (id = 220) {25 221 }
Vertex: (id = 221) {161 220 }
Vertex: (id = 222) {165 223 }
Vertex: (id = 223) {222 224 225 }
Vertex: (id = 224) {33 223 }
Vertex: (id = 225) {223 226 }
Vertex: (id = 226) {117 225 }
Vertex: (id = 227) {148 228 }
Vertex: (id = 228) {227 229 }
Vertex: (id = 229) {151 228 }
Vertex: (id = 230) {46 231 }
Vertex: (id = 231) {167 230 258 }
Vertex: (id = 232) {28 233 246 }
Vertex: (id = 233) {182 232 }
Vertex: (id = 234) {198 235 }
Vertex: (id = 235) {199 234 }
Vertex: (id = 236) {170 237 }
Vertex: (id = 237) {188 236 }
Vertex: (id = 238) {77 239 }
Vertex: (id = 239) {102 238 }
Vertex: (id = 240) {90 241 }
Vertex: (id = 241) {106 240 }
Vertex: (id = 242) {172 243 }
Vertex: (id = 243) {73 242 }
Vertex: (id = 244) {95 245 }
Vertex: (id = 245) {96 244 }
Vertex: (id = 246) {232 247 }
Vertex: (id = 247) {246 248 }
Vertex: (id = 248) {120 247 }
Vertex: (id = 249) {205 250 }
Vertex: (id = 250) {249 251 }
Vertex: (id = 251) {20 250 }
Vertex: (id = 252) {120 253 }
Vertex: (id = 253) {149 252 }
Vertex: (id = 254) {210 255 }
Vertex: (id = 255) {21 254 }
Vertex: (id = 256) {51 257 }
Vertex: (id = 257) {256 258 }
Vertex: (id = 258) {231 257 }
Edge 0 <-> 1 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad86a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8680)
]
Edge 0 <-> 6 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8740)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8680)
]
Edge 0 <-> 11 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad87e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8680)
]
Edge 0 <-> 32 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8680)
]
Edge 0 <-> 34 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ac0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8680)
]
Edge 0 <-> 47 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8680)
]
Edge 0 <-> 52 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8680)
]
Edge 0 <-> 176 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8680)
]
Edge 1 <-> 2 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad86c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86a0)
]
Edge 1 <-> 7 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8760)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86a0)
]
Edge 1 <-> 169 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ba0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86a0)
]
Edge 2 <-> 3 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad86e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86c0)
]
Edge 2 <-> 8 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8780)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86c0)
]
Edge 2 <-> 13 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8820)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86c0)
]
Edge 2 <-> 76 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9000)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86c0)
]
Edge 2 <-> 92 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9200)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86c0)
]
Edge 3 <-> 4 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8700)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86e0)
]
Edge 3 <-> 10 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad87c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86e0)
]
Edge 3 <-> 81 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad90a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad86e0)
]
Edge 4 <-> 5 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8720)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8700)
]
Edge 4 <-> 9 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad87a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8700)
]
Edge 5 <-> 6 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8740)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8720)
]
Edge 5 <-> 16 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8880)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8720)
]
Edge 5 <-> 83 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad90e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8720)
]
Edge 5 <-> 144 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9880)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8720)
]
Edge 6 <-> 15 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8860)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8740)
]
Edge 6 <-> 17 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad88a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8740)
]
Edge 6 <-> 121 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad95a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8740)
]
Edge 7 <-> 8 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8780)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8760)
]
Edge 7 <-> 54 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8760)
]
Edge 7 <-> 56 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8760)
]
Edge 7 <-> 140 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9800)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8760)
]
Edge 8 <-> 31 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8780)
]
Edge 9 <-> 10 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad87c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad87a0)
]
Edge 9 <-> 14 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8840)
Arc: (edge = 0x7fff245b8190, target = 0x1ad87a0)
]
Edge 9 <-> 19 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad88e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad87a0)
]
Edge 9 <-> 132 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9700)
Arc: (edge = 0x7fff245b8190, target = 0x1ad87a0)
]
Edge 10 <-> 24 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8980)
Arc: (edge = 0x7fff245b8190, target = 0x1ad87c0)
]
Edge 10 <-> 29 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad87c0)
]
Edge 11 <-> 12 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8800)
Arc: (edge = 0x7fff245b8190, target = 0x1ad87e0)
]
Edge 11 <-> 71 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad87e0)
]
Edge 12 <-> 13 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8820)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8800)
]
Edge 12 <-> 21 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8920)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8800)
]
Edge 12 <-> 50 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8cc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8800)
]
Edge 12 <-> 204 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada000)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8800)
]
Edge 13 <-> 18 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad88c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8820)
]
Edge 13 <-> 25 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad89a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8820)
]
Edge 14 <-> 15 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8860)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8840)
]
Edge 14 <-> 37 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8840)
]
Edge 14 <-> 136 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9780)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8840)
]
Edge 15 <-> 49 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ca0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8860)
]
Edge 15 <-> 86 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9140)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8860)
]
Edge 15 <-> 99 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad92e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8860)
]
Edge 16 <-> 17 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad88a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8880)
]
Edge 16 <-> 88 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9180)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8880)
]
Edge 16 <-> 97 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad92a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8880)
]
Edge 17 <-> 26 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad89c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad88a0)
]
Edge 17 <-> 41 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ba0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad88a0)
]
Edge 18 <-> 19 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad88e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad88c0)
]
Edge 18 <-> 20 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8900)
Arc: (edge = 0x7fff245b8190, target = 0x1ad88c0)
]
Edge 18 <-> 66 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ec0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad88c0)
]
Edge 18 <-> 127 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9660)
Arc: (edge = 0x7fff245b8190, target = 0x1ad88c0)
]
Edge 18 <-> 146 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad98c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad88c0)
]
Edge 19 <-> 22 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8940)
Arc: (edge = 0x7fff245b8190, target = 0x1ad88e0)
]
Edge 19 <-> 174 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad88e0)
]
Edge 20 <-> 21 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8920)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8900)
]
Edge 20 <-> 23 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8960)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8900)
]
Edge 20 <-> 118 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9540)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8900)
]
Edge 20 <-> 209 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada0a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8900)
]
Edge 20 <-> 251 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada5e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8900)
]
Edge 21 <-> 28 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8920)
]
Edge 21 <-> 33 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8aa0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8920)
]
Edge 21 <-> 64 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8920)
]
Edge 21 <-> 77 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9020)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8920)
]
Edge 21 <-> 255 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada660)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8920)
]
Edge 22 <-> 23 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8960)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8940)
]
Edge 22 <-> 57 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8da0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8940)
]
Edge 22 <-> 175 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8940)
]
Edge 23 <-> 38 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8960)
]
Edge 23 <-> 193 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ea0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8960)
]
Edge 24 <-> 25 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad89a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8980)
]
Edge 24 <-> 43 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8be0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8980)
]
Edge 24 <-> 48 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8980)
]
Edge 24 <-> 79 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9060)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8980)
]
Edge 25 <-> 42 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8bc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad89a0)
]
Edge 25 <-> 87 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9160)
Arc: (edge = 0x7fff245b8190, target = 0x1ad89a0)
]
Edge 25 <-> 94 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9240)
Arc: (edge = 0x7fff245b8190, target = 0x1ad89a0)
]
Edge 25 <-> 188 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad89a0)
]
Edge 25 <-> 220 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada200)
Arc: (edge = 0x7fff245b8190, target = 0x1ad89a0)
]
Edge 26 <-> 27 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad89e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad89c0)
]
Edge 27 <-> 28 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad89e0)
]
Edge 27 <-> 149 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9920)
Arc: (edge = 0x7fff245b8190, target = 0x1ad89e0)
]
Edge 28 <-> 62 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a00)
]
Edge 28 <-> 232 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada380)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a00)
]
Edge 29 <-> 30 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a20)
]
Edge 29 <-> 84 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9100)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a20)
]
Edge 29 <-> 119 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9560)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a20)
]
Edge 30 <-> 31 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a40)
]
Edge 30 <-> 91 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad91e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a40)
]
Edge 30 <-> 109 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9420)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a40)
]
Edge 30 <-> 190 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a40)
]
Edge 30 <-> 202 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9fc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a40)
]
Edge 30 <-> 208 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada080)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a40)
]
Edge 31 <-> 100 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9300)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a60)
]
Edge 32 <-> 33 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8aa0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a80)
]
Edge 32 <-> 65 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ea0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8a80)
]
Edge 33 <-> 36 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8aa0)
]
Edge 33 <-> 39 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8aa0)
]
Edge 33 <-> 224 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada280)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8aa0)
]
Edge 34 <-> 35 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ae0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ac0)
]
Edge 34 <-> 151 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9960)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ac0)
]
Edge 35 <-> 36 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ae0)
]
Edge 37 <-> 38 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b20)
]
Edge 37 <-> 44 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b20)
]
Edge 38 <-> 69 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b40)
]
Edge 38 <-> 115 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad94e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b40)
]
Edge 39 <-> 40 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b60)
]
Edge 39 <-> 53 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b60)
]
Edge 40 <-> 41 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ba0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b80)
]
Edge 40 <-> 46 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b80)
]
Edge 40 <-> 61 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8b80)
]
Edge 41 <-> 55 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ba0)
]
Edge 41 <-> 105 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad93a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ba0)
]
Edge 42 <-> 43 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8be0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8bc0)
]
Edge 42 <-> 96 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9280)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8bc0)
]
Edge 42 <-> 128 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9680)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8bc0)
]
Edge 42 <-> 130 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad96c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8bc0)
]
Edge 43 <-> 45 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8be0)
]
Edge 43 <-> 58 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8dc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8be0)
]
Edge 43 <-> 60 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8be0)
]
Edge 43 <-> 156 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8be0)
]
Edge 44 <-> 45 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c00)
]
Edge 44 <-> 80 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9080)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c00)
]
Edge 45 <-> 181 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c20)
]
Edge 46 <-> 47 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c40)
]
Edge 46 <-> 131 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad96e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c40)
]
Edge 46 <-> 230 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada340)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c40)
]
Edge 47 <-> 63 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c60)
]
Edge 47 <-> 189 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c60)
]
Edge 48 <-> 49 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ca0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8c80)
]
Edge 50 <-> 51 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ce0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8cc0)
]
Edge 51 <-> 52 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ce0)
]
Edge 51 <-> 68 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ce0)
]
Edge 51 <-> 125 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9620)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ce0)
]
Edge 51 <-> 172 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ce0)
]
Edge 51 <-> 256 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada680)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ce0)
]
Edge 52 <-> 123 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad95e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d00)
]
Edge 52 <-> 184 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d00)
]
Edge 53 <-> 54 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d20)
]
Edge 54 <-> 102 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9340)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d40)
]
Edge 55 <-> 56 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d60)
]
Edge 55 <-> 74 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d60)
]
Edge 56 <-> 59 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8de0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8d80)
]
Edge 57 <-> 58 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8dc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8da0)
]
Edge 57 <-> 171 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9be0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8da0)
]
Edge 58 <-> 120 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9580)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8dc0)
]
Edge 58 <-> 183 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8dc0)
]
Edge 59 <-> 60 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8de0)
]
Edge 59 <-> 198 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8de0)
]
Edge 59 <-> 218 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada1c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8de0)
]
Edge 60 <-> 98 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad92c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e00)
]
Edge 61 <-> 62 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e20)
]
Edge 62 <-> 110 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9440)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e40)
]
Edge 62 <-> 112 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9480)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e40)
]
Edge 63 <-> 64 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e60)
]
Edge 63 <-> 95 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9260)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e60)
]
Edge 63 <-> 122 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad95c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e60)
]
Edge 64 <-> 67 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ee0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8e80)
]
Edge 65 <-> 66 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ec0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ea0)
]
Edge 67 <-> 68 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ee0)
]
Edge 67 <-> 72 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8ee0)
]
Edge 69 <-> 70 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f20)
]
Edge 70 <-> 71 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f40)
]
Edge 71 <-> 108 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9400)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f60)
]
Edge 72 <-> 73 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fa0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f80)
]
Edge 72 <-> 134 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9740)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8f80)
]
Edge 73 <-> 74 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fa0)
]
Edge 73 <-> 150 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9940)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fa0)
]
Edge 73 <-> 243 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada4e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fa0)
]
Edge 74 <-> 75 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fe0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fc0)
]
Edge 75 <-> 76 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9000)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fe0)
]
Edge 75 <-> 129 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad96a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fe0)
]
Edge 75 <-> 168 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad8fe0)
]
Edge 77 <-> 78 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9040)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9020)
]
Edge 77 <-> 117 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9520)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9020)
]
Edge 77 <-> 152 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9980)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9020)
]
Edge 77 <-> 213 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada120)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9020)
]
Edge 77 <-> 238 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada440)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9020)
]
Edge 78 <-> 79 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9060)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9040)
]
Edge 78 <-> 138 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad97c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9040)
]
Edge 78 <-> 173 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9040)
]
Edge 79 <-> 111 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9460)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9060)
]
Edge 79 <-> 154 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad99c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9060)
]
Edge 80 <-> 81 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad90a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9080)
]
Edge 80 <-> 89 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad91a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9080)
]
Edge 80 <-> 158 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9080)
]
Edge 80 <-> 182 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9080)
]
Edge 81 <-> 82 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad90c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad90a0)
]
Edge 82 <-> 83 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad90e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad90c0)
]
Edge 82 <-> 114 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad94c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad90c0)
]
Edge 84 <-> 85 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9120)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9100)
]
Edge 84 <-> 135 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9760)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9100)
]
Edge 84 <-> 160 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9100)
]
Edge 85 <-> 86 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9140)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9120)
]
Edge 86 <-> 178 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9cc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9140)
]
Edge 87 <-> 88 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9180)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9160)
]
Edge 87 <-> 93 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9220)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9160)
]
Edge 87 <-> 186 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9dc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9160)
]
Edge 89 <-> 90 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad91c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad91a0)
]
Edge 89 <-> 177 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ca0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad91a0)
]
Edge 90 <-> 91 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad91e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad91c0)
]
Edge 90 <-> 107 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad93e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad91c0)
]
Edge 90 <-> 240 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada480)
Arc: (edge = 0x7fff245b8190, target = 0x1ad91c0)
]
Edge 91 <-> 126 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9640)
Arc: (edge = 0x7fff245b8190, target = 0x1ad91e0)
]
Edge 92 <-> 93 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9220)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9200)
]
Edge 93 <-> 103 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9360)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9220)
]
Edge 94 <-> 95 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9260)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9240)
]
Edge 94 <-> 106 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad93c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9240)
]
Edge 94 <-> 141 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9820)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9240)
]
Edge 95 <-> 124 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9600)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9260)
]
Edge 95 <-> 244 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada500)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9260)
]
Edge 96 <-> 97 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad92a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9280)
]
Edge 96 <-> 155 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad99e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9280)
]
Edge 96 <-> 163 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ae0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9280)
]
Edge 96 <-> 245 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada520)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9280)
]
Edge 98 <-> 99 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad92e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad92c0)
]
Edge 100 <-> 101 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9320)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9300)
]
Edge 101 <-> 102 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9340)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9320)
]
Edge 102 <-> 153 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad99a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9340)
]
Edge 102 <-> 239 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada460)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9340)
]
Edge 103 <-> 104 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9380)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9360)
]
Edge 104 <-> 105 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad93a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9380)
]
Edge 105 <-> 166 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad93a0)
]
Edge 106 <-> 107 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad93e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad93c0)
]
Edge 106 <-> 179 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ce0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad93c0)
]
Edge 106 <-> 211 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada0e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad93c0)
]
Edge 106 <-> 241 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada4a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad93c0)
]
Edge 108 <-> 109 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9420)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9400)
]
Edge 109 <-> 201 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9fa0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9420)
]
Edge 109 <-> 207 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada060)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9420)
]
Edge 110 <-> 111 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9460)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9440)
]
Edge 111 <-> 161 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9aa0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9460)
]
Edge 112 <-> 113 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad94a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9480)
]
Edge 112 <-> 147 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad98e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9480)
]
Edge 112 <-> 180 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9480)
]
Edge 113 <-> 114 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad94c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad94a0)
]
Edge 114 <-> 199 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad94c0)
]
Edge 114 <-> 205 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada020)
Arc: (edge = 0x7fff245b8190, target = 0x1ad94c0)
]
Edge 115 <-> 116 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9500)
Arc: (edge = 0x7fff245b8190, target = 0x1ad94e0)
]
Edge 116 <-> 117 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9520)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9500)
]
Edge 116 <-> 157 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9500)
]
Edge 116 <-> 217 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada1a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9500)
]
Edge 117 <-> 226 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada2c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9520)
]
Edge 118 <-> 119 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9560)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9540)
]
Edge 119 <-> 139 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad97e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9560)
]
Edge 120 <-> 121 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad95a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9580)
]
Edge 120 <-> 248 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada580)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9580)
]
Edge 120 <-> 252 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada600)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9580)
]
Edge 122 <-> 123 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad95e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad95c0)
]
Edge 124 <-> 125 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9620)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9600)
]
Edge 126 <-> 127 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9660)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9640)
]
Edge 126 <-> 137 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad97a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9640)
]
Edge 128 <-> 129 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad96a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9680)
]
Edge 128 <-> 165 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9680)
]
Edge 128 <-> 170 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9bc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9680)
]
Edge 130 <-> 131 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad96e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad96c0)
]
Edge 132 <-> 133 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9720)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9700)
]
Edge 133 <-> 134 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9740)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9720)
]
Edge 134 <-> 214 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada140)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9740)
]
Edge 135 <-> 136 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9780)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9760)
]
Edge 135 <-> 143 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9860)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9760)
]
Edge 137 <-> 138 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad97c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad97a0)
]
Edge 137 <-> 206 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada040)
Arc: (edge = 0x7fff245b8190, target = 0x1ad97a0)
]
Edge 139 <-> 140 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9800)
Arc: (edge = 0x7fff245b8190, target = 0x1ad97e0)
]
Edge 141 <-> 142 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9840)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9820)
]
Edge 142 <-> 143 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9860)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9840)
]
Edge 144 <-> 145 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad98a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9880)
]
Edge 144 <-> 162 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ac0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9880)
]
Edge 145 <-> 146 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad98c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad98a0)
]
Edge 146 <-> 159 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad98c0)
]
Edge 147 <-> 148 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9900)
Arc: (edge = 0x7fff245b8190, target = 0x1ad98e0)
]
Edge 148 <-> 149 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9920)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9900)
]
Edge 148 <-> 227 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada2e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9900)
]
Edge 149 <-> 253 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada620)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9920)
]
Edge 150 <-> 151 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9960)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9940)
]
Edge 151 <-> 229 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada320)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9960)
]
Edge 152 <-> 153 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad99a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9980)
]
Edge 153 <-> 187 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9de0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad99a0)
]
Edge 154 <-> 155 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad99e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad99c0)
]
Edge 156 <-> 157 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a00)
]
Edge 157 <-> 191 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a20)
]
Edge 158 <-> 159 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a40)
]
Edge 158 <-> 194 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ec0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a40)
]
Edge 159 <-> 164 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a60)
]
Edge 159 <-> 185 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9da0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a60)
]
Edge 160 <-> 161 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9aa0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9a80)
]
Edge 161 <-> 221 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada220)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9aa0)
]
Edge 162 <-> 163 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ae0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ac0)
]
Edge 164 <-> 165 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b00)
]
Edge 165 <-> 222 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada240)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b20)
]
Edge 166 <-> 167 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b40)
]
Edge 167 <-> 168 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b60)
]
Edge 167 <-> 231 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada360)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9b60)
]
Edge 169 <-> 170 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9bc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ba0)
]
Edge 170 <-> 236 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada400)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9bc0)
]
Edge 171 <-> 172 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9be0)
]
Edge 171 <-> 197 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9be0)
]
Edge 172 <-> 242 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada4c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c00)
]
Edge 173 <-> 174 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c20)
]
Edge 174 <-> 200 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c40)
]
Edge 175 <-> 176 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9c60)
]
Edge 177 <-> 178 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9cc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ca0)
]
Edge 179 <-> 180 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ce0)
]
Edge 179 <-> 212 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada100)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ce0)
]
Edge 180 <-> 192 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d00)
]
Edge 180 <-> 219 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada1e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d00)
]
Edge 181 <-> 182 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d20)
]
Edge 182 <-> 233 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada3a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d40)
]
Edge 183 <-> 184 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d60)
]
Edge 183 <-> 215 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada160)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9d60)
]
Edge 185 <-> 186 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9dc0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9da0)
]
Edge 187 <-> 188 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9de0)
]
Edge 188 <-> 237 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada420)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e00)
]
Edge 189 <-> 190 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e40)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e20)
]
Edge 189 <-> 195 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ee0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e20)
]
Edge 191 <-> 192 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e80)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e60)
]
Edge 192 <-> 210 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada0c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9e80)
]
Edge 193 <-> 194 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ec0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ea0)
]
Edge 195 <-> 196 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f00)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9ee0)
]
Edge 196 <-> 197 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f20)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f00)
]
Edge 198 <-> 199 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f60)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f40)
]
Edge 198 <-> 234 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada3c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f40)
]
Edge 199 <-> 235 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada3e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f60)
]
Edge 200 <-> 201 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9fa0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9f80)
]
Edge 202 <-> 203 [
Arc: (edge = 0x7fff245b8190, target = 0x1ad9fe0)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9fc0)
]
Edge 203 <-> 204 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada000)
Arc: (edge = 0x7fff245b8190, target = 0x1ad9fe0)
]
Edge 205 <-> 206 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada040)
Arc: (edge = 0x7fff245b8190, target = 0x1ada020)
]
Edge 205 <-> 249 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada5a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada020)
]
Edge 207 <-> 208 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada080)
Arc: (edge = 0x7fff245b8190, target = 0x1ada060)
]
Edge 209 <-> 210 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada0c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada0a0)
]
Edge 210 <-> 254 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada640)
Arc: (edge = 0x7fff245b8190, target = 0x1ada0c0)
]
Edge 211 <-> 212 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada100)
Arc: (edge = 0x7fff245b8190, target = 0x1ada0e0)
]
Edge 213 <-> 214 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada140)
Arc: (edge = 0x7fff245b8190, target = 0x1ada120)
]
Edge 215 <-> 216 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada180)
Arc: (edge = 0x7fff245b8190, target = 0x1ada160)
]
Edge 216 <-> 217 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada1a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada180)
]
Edge 218 <-> 219 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada1e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada1c0)
]
Edge 220 <-> 221 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada220)
Arc: (edge = 0x7fff245b8190, target = 0x1ada200)
]
Edge 222 <-> 223 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada260)
Arc: (edge = 0x7fff245b8190, target = 0x1ada240)
]
Edge 223 <-> 224 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada280)
Arc: (edge = 0x7fff245b8190, target = 0x1ada260)
]
Edge 223 <-> 225 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada2a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada260)
]
Edge 225 <-> 226 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada2c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada2a0)
]
Edge 227 <-> 228 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada300)
Arc: (edge = 0x7fff245b8190, target = 0x1ada2e0)
]
Edge 228 <-> 229 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada320)
Arc: (edge = 0x7fff245b8190, target = 0x1ada300)
]
Edge 230 <-> 231 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada360)
Arc: (edge = 0x7fff245b8190, target = 0x1ada340)
]
Edge 231 <-> 258 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada6c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada360)
]
Edge 232 <-> 233 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada3a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada380)
]
Edge 232 <-> 246 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada540)
Arc: (edge = 0x7fff245b8190, target = 0x1ada380)
]
Edge 234 <-> 235 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada3e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada3c0)
]
Edge 236 <-> 237 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada420)
Arc: (edge = 0x7fff245b8190, target = 0x1ada400)
]
Edge 238 <-> 239 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada460)
Arc: (edge = 0x7fff245b8190, target = 0x1ada440)
]
Edge 240 <-> 241 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada4a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada480)
]
Edge 242 <-> 243 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada4e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada4c0)
]
Edge 244 <-> 245 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada520)
Arc: (edge = 0x7fff245b8190, target = 0x1ada500)
]
Edge 246 <-> 247 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada560)
Arc: (edge = 0x7fff245b8190, target = 0x1ada540)
]
Edge 247 <-> 248 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada580)
Arc: (edge = 0x7fff245b8190, target = 0x1ada560)
]
Edge 249 <-> 250 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada5c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada5a0)
]
Edge 250 <-> 251 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada5e0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada5c0)
]
Edge 252 <-> 253 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada620)
Arc: (edge = 0x7fff245b8190, target = 0x1ada600)
]
Edge 254 <-> 255 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada660)
Arc: (edge = 0x7fff245b8190, target = 0x1ada640)
]
Edge 256 <-> 257 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada6a0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada680)
]
Edge 257 <-> 258 [
Arc: (edge = 0x7fff245b8190, target = 0x1ada6c0)
Arc: (edge = 0x7fff245b8190, target = 0x1ada6a0)
]
]
Robot arrangement: (|R| = 23, |V| = 259) [
robot locations: {1#15 2#35 3#43 4#59 5#81 6#87 7#88 8#92 9#121 10#141 11#147 12#151 13#155 14#159 15#166 16#170 17#182 18#189 19#197 20#208 21#214 22#227 23#247 }
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 1#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 2#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 3#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 4#59 0#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 5#81 0#82 0#83 0#84 0#85 0#86 6#87 7#88 0#89 0#90 0#91 8#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 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 9#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 10#141 0#142 0#143 0#144 0#145 0#146 11#147 0#148 0#149 0#150 12#151 0#152 0#153 0#154 13#155 0#156 0#157 0#158 14#159 0#160 0#161 0#162 0#163 0#164 0#165 15#166 0#167 0#168 0#169 16#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 17#182 0#183 0#184 0#185 0#186 0#187 0#188 18#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 19#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 0#205 0#206 0#207 20#208 0#209 0#210 0#211 0#212 0#213 21#214 0#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 22#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 23#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 }
]
Robot arrangement: (|R| = 23, |V| = 259) [
robot locations: {1#11 2#26 3#27 4#44 5#52 6#60 7#74 8#96 9#97 10#110 11#122 12#127 13#147 14#152 15#167 16#194 17#205 18#211 19#214 20#215 21#227 22#246 23#252 }
vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 1#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 2#26 3#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 4#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 5#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 6#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 7#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 8#96 9#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 10#110 0#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 12#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 13#147 0#148 0#149 0#150 0#151 14#152 0#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 15#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 16#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 17#205 0#206 0#207 0#208 0#209 0#210 18#211 0#212 0#213 19#214 20#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 21#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 22#246 0#247 0#248 0#249 0#250 0#251 23#252 0#253 0#254 0#255 0#256 0#257 0#258 }
]
Unable to provide a new solution.
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 0
Produced CNF clauses = 0
Search steps = 0
Wall clock TIME (seconds) = 0.026
CPU/machine TIME (seconds) = 0.020
]
Sub-phases {
Phase (name = 'WHCA*_solving') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 0
Produced CNF clauses = 0
Search steps = 438
Wall clock TIME (seconds) = 0.001
CPU/machine TIME (seconds) = 0.000
]
}
]
----------------------------------------------------------------