================================================================
reLOC 0.05-legio : Multirobot Solution reSolver
(C) Copyright 2011-2012 Pavel Surynek
----------------------------------------------------------------
window size:16
0,1
1,16
2,0
3,2
4,3
5,4
6,5
7,6
8,7
9,8
10,9
11,10
12,11
13,12
14,13
15,14
16,17
16,32
17,0
17,18
18,2
18,19
18,34
19,3
19,20
19,35
20,4
20,21
20,36
21,5
21,22
21,37
22,6
22,23
22,38
23,7
23,24
23,39
24,8
24,25
24,40
25,9
25,26
25,41
26,10
26,27
26,42
27,11
27,28
27,43
28,12
28,29
28,44
29,13
29,30
29,45
30,14
30,31
30,46
31,15
31,47
32,33
32,48
33,17
34,33
34,50
35,34
35,51
36,35
36,52
37,36
37,53
38,37
38,54
39,38
39,55
40,39
40,56
41,40
41,57
42,41
42,58
43,42
43,59
44,43
44,60
45,44
45,61
46,45
46,62
47,46
47,63
48,49
48,64
49,33
50,49
50,66
51,50
51,67
52,51
52,68
53,52
53,69
54,53
54,70
55,54
55,71
56,55
56,72
57,56
57,73
58,57
58,74
59,58
59,75
60,59
60,76
61,60
61,77
62,61
62,78
63,62
63,79
64,65
64,80
65,49
66,65
66,82
67,66
67,83
68,67
68,84
69,68
69,85
70,69
70,86
71,70
71,87
72,71
72,88
73,72
73,89
74,73
74,90
75,74
75,91
76,75
76,92
77,76
77,93
78,77
78,94
79,78
79,95
80,81
80,96
81,65
82,81
82,98
83,82
83,99
84,83
84,100
85,84
85,101
86,85
86,102
87,86
87,103
88,87
88,104
89,88
89,105
90,89
90,106
91,90
91,107
92,91
92,108
93,92
93,109
94,93
94,110
95,94
95,111
96,97
96,112
97,81
98,97
98,114
99,98
99,115
100,99
100,116
101,100
101,117
102,101
102,118
103,102
103,119
104,103
104,120
105,104
105,121
106,105
106,122
107,106
107,123
108,107
108,124
109,108
109,125
110,109
110,126
111,110
111,127
112,113
112,128
113,97
114,113
114,130
115,114
115,131
116,115
116,132
117,116
117,133
118,117
118,134
119,118
119,135
120,119
120,136
121,120
121,137
122,121
122,138
123,122
123,139
124,123
124,140
125,124
125,141
126,125
126,142
127,126
127,143
128,129
128,144
129,113
130,129
130,146
131,130
131,147
132,131
132,148
133,132
133,149
134,133
134,150
135,134
135,151
136,135
136,152
137,136
137,153
138,137
138,154
139,138
139,155
140,139
140,156
141,140
141,157
142,141
142,158
143,142
143,159
144,145
144,160
145,129
146,145
146,162
147,146
147,163
148,147
148,164
149,148
149,165
150,149
150,166
151,150
151,167
152,151
152,168
153,152
153,169
154,153
154,170
155,154
155,171
156,155
156,172
157,156
157,173
158,157
158,174
159,158
159,175
160,161
160,176
161,145
162,161
162,178
163,162
163,179
164,163
164,180
165,164
165,181
166,165
166,182
167,166
167,183
168,167
168,184
169,168
169,185
170,169
170,186
171,170
171,187
172,171
172,188
173,172
173,189
174,173
174,190
175,174
175,191
176,177
176,192
177,161
178,177
178,194
179,178
179,195
180,179
180,196
181,180
181,197
182,181
182,198
183,182
183,199
184,183
184,200
185,184
185,201
186,185
186,202
187,186
187,203
188,187
188,204
189,188
189,205
190,189
190,206
191,190
191,207
192,193
192,208
193,177
194,193
194,210
195,194
195,211
196,195
196,212
197,196
197,213
198,197
198,214
199,198
199,215
200,199
200,216
201,200
201,217
202,201
202,218
203,202
203,219
204,203
204,220
205,204
205,221
206,205
206,222
207,206
207,223
208,209
208,224
209,193
210,209
210,226
211,210
211,227
212,211
212,228
213,212
213,229
214,213
214,230
215,214
215,231
216,215
216,232
217,216
217,233
218,217
218,234
219,218
219,235
220,219
220,236
221,220
221,237
222,221
222,238
223,222
223,239
224,225
224,240
225,209
226,225
226,242
227,226
227,243
228,227
228,244
229,228
229,245
230,229
230,246
231,230
231,247
232,231
232,248
233,232
233,249
234,233
234,250
235,234
235,251
236,235
236,252
237,236
237,253
238,237
238,254
239,238
239,255
240,241
241,225
242,241
243,242
244,243
245,244
246,245
247,246
248,247
249,248
250,249
251,250
252,251
253,252
254,253
255,254
Length:2078
19 # 172 ---> 173 (0)
19 # 173 ---> 174 (1)
19 # 174 ---> 175 (2)
19 # 175 ---> 191 (3)
19 # 191 ---> 207 (4)
19 # 207 ---> 223 (5)
19 # 223 ---> 239 (6)
19 # 239 ---> 255 (7)
12 # 30 ---> 14 (0)
59 # 46 ---> 30 (0)
80 # 47 ---> 46 (0)
16 # 31 ---> 47 (0)
16 # 47 ---> 63 (1)
16 # 63 ---> 79 (2)
16 # 79 ---> 95 (3)
59 # 30 ---> 31 (1)
80 # 46 ---> 30 (1)
34 # 62 ---> 46 (1)
47 # 78 ---> 62 (1)
5 # 94 ---> 78 (1)
14 # 111 ---> 110 (0)
16 # 95 ---> 111 (4)
16 # 111 ---> 127 (5)
16 # 127 ---> 143 (6)
16 # 143 ---> 159 (7)
16 # 159 ---> 175 (8)
16 # 175 ---> 191 (9)
16 # 191 ---> 207 (10)
16 # 207 ---> 223 (11)
16 # 223 ---> 239 (12)
73 # 165 ---> 164 (0)
53 # 184 ---> 168 (0)
53 # 168 ---> 167 (1)
52 # 170 ---> 169 (0)
20 # 171 ---> 170 (0)
32 # 190 ---> 174 (2)
34 # 46 ---> 47 (2)
34 # 47 ---> 63 (3)
34 # 63 ---> 79 (4)
34 # 79 ---> 95 (5)
34 # 95 ---> 111 (6)
34 # 111 ---> 127 (7)
34 # 127 ---> 143 (8)
34 # 143 ---> 159 (9)
34 # 159 ---> 175 (10)
34 # 175 ---> 191 (11)
34 # 191 ---> 207 (12)
39 # 24 ---> 23 (0)
42 # 9 ---> 25 (0)
51 # 8 ---> 9 (0)
42 # 25 ---> 24 (1)
58 # 26 ---> 25 (1)
6 # 10 ---> 26 (1)
51 # 9 ---> 10 (1)
51 # 10 ---> 11 (2)
51 # 11 ---> 12 (3)
51 # 12 ---> 13 (4)
80 # 30 ---> 29 (2)
12 # 14 ---> 30 (2)
51 # 13 ---> 14 (5)
51 # 14 ---> 15 (6)
12 # 30 ---> 14 (6)
59 # 31 ---> 30 (6)
51 # 15 ---> 31 (7)
51 # 31 ---> 47 (8)
51 # 47 ---> 63 (9)
51 # 63 ---> 79 (10)
51 # 79 ---> 95 (11)
51 # 95 ---> 111 (12)
51 # 111 ---> 127 (13)
51 # 127 ---> 143 (14)
51 # 143 ---> 159 (15)
51 # 159 ---> 175 (16)
51 # 175 ---> 191 (17)
6 # 26 ---> 10 (2)
33 # 27 ---> 26 (2)
65 # 28 ---> 12 (4)
80 # 29 ---> 28 (4)
59 # 30 ---> 29 (7)
32 # 174 ---> 158 (3)
25 # 5 ---> 4 (0)
39 # 23 ---> 7 (1)
39 # 7 ---> 6 (2)
42 # 24 ---> 8 (2)
42 # 8 ---> 7 (3)
58 # 25 ---> 9 (2)
58 # 9 ---> 8 (3)
6 # 10 ---> 9 (3)
33 # 26 ---> 10 (3)
6 # 9 ---> 25 (4)
33 # 10 ---> 9 (4)
65 # 12 ---> 11 (5)
80 # 28 ---> 12 (5)
65 # 11 ---> 27 (6)
80 # 12 ---> 11 (6)
59 # 29 ---> 13 (8)
59 # 13 ---> 12 (9)
32 # 158 ---> 142 (4)
39 # 6 ---> 5 (3)
42 # 7 ---> 6 (4)
58 # 8 ---> 7 (4)
33 # 9 ---> 8 (5)
6 # 25 ---> 9 (5)
33 # 8 ---> 24 (6)
6 # 9 ---> 8 (6)
80 # 11 ---> 10 (7)
65 # 27 ---> 11 (7)
32 # 142 ---> 126 (5)
32 # 126 ---> 125 (6)
41 # 100 ---> 99 (0)
18 # 68 ---> 84 (0)
60 # 70 ---> 69 (0)
62 # 91 ---> 75 (0)
62 # 75 ---> 74 (1)
49 # 76 ---> 75 (1)
40 # 93 ---> 77 (0)
14 # 110 ---> 94 (1)
38 # 58 ---> 57 (0)
55 # 59 ---> 58 (0)
49 # 75 ---> 59 (2)
62 # 74 ---> 75 (2)
62 # 75 ---> 76 (3)
55 # 58 ---> 74 (2)
49 # 59 ---> 58 (3)
40 # 77 ---> 61 (1)
62 # 76 ---> 77 (4)
40 # 61 ---> 60 (2)
47 # 62 ---> 61 (2)
5 # 78 ---> 62 (2)
62 # 77 ---> 78 (5)
62 # 78 ---> 79 (11)
14 # 94 ---> 78 (11)
62 # 79 ---> 95 (12)
73 # 164 ---> 163 (1)
73 # 163 ---> 179 (2)
82 # 148 ---> 147 (0)
82 # 147 ---> 163 (2)
41 # 99 ---> 115 (1)
70 # 83 ---> 99 (1)
43 # 56 ---> 40 (0)
43 # 40 ---> 39 (1)
72 # 41 ---> 40 (1)
38 # 57 ---> 41 (1)
72 # 40 ---> 56 (2)
38 # 41 ---> 40 (2)
49 # 58 ---> 42 (4)
49 # 42 ---> 41 (5)
40 # 60 ---> 44 (3)
40 # 44 ---> 43 (4)
47 # 61 ---> 45 (3)
47 # 45 ---> 44 (4)
5 # 62 ---> 46 (3)
14 # 78 ---> 62 (12)
14 # 62 ---> 61 (13)
5 # 46 ---> 45 (4)
9 # 34 ---> 18 (0)
9 # 18 ---> 19 (1)
9 # 19 ---> 20 (2)
9 # 20 ---> 21 (3)
9 # 21 ---> 22 (4)
9 # 22 ---> 23 (5)
50 # 2 ---> 18 (1)
25 # 4 ---> 3 (1)
39 # 5 ---> 4 (4)
42 # 6 ---> 5 (5)
58 # 7 ---> 6 (5)
6 # 8 ---> 7 (7)
33 # 24 ---> 8 (7)
9 # 23 ---> 24 (7)
9 # 24 ---> 25 (8)
9 # 25 ---> 26 (9)
9 # 26 ---> 27 (10)
9 # 27 ---> 28 (11)
9 # 28 ---> 29 (12)
9 # 29 ---> 30 (13)
9 # 30 ---> 31 (14)
9 # 31 ---> 47 (15)
74 # 35 ---> 36 (0)
74 # 36 ---> 37 (1)
74 # 37 ---> 38 (2)
43 # 39 ---> 23 (7)
74 # 38 ---> 39 (7)
43 # 23 ---> 22 (8)
38 # 40 ---> 24 (8)
74 # 39 ---> 40 (8)
38 # 24 ---> 23 (9)
49 # 41 ---> 25 (9)
74 # 40 ---> 41 (9)
74 # 41 ---> 42 (10)
49 # 25 ---> 24 (10)
40 # 43 ---> 27 (11)
74 # 42 ---> 43 (11)
40 # 27 ---> 26 (12)
47 # 44 ---> 28 (12)
74 # 43 ---> 44 (12)
47 # 28 ---> 27 (13)
5 # 45 ---> 29 (13)
74 # 44 ---> 45 (13)
74 # 45 ---> 46 (14)
74 # 46 ---> 62 (15)
74 # 62 ---> 78 (16)
74 # 78 ---> 94 (17)
74 # 94 ---> 110 (18)
74 # 110 ---> 126 (19)
74 # 126 ---> 142 (20)
74 # 142 ---> 158 (21)
74 # 158 ---> 174 (22)
74 # 174 ---> 190 (23)
74 # 190 ---> 206 (24)
74 # 206 ---> 222 (25)
2 # 194 ---> 178 (0)
73 # 179 ---> 195 (3)
2 # 178 ---> 179 (3)
2 # 179 ---> 180 (4)
2 # 180 ---> 181 (5)
2 # 181 ---> 182 (6)
2 # 182 ---> 183 (7)
2 # 183 ---> 184 (8)
2 # 184 ---> 185 (9)
2 # 185 ---> 186 (10)
2 # 186 ---> 187 (11)
2 # 187 ---> 188 (12)
2 # 188 ---> 189 (13)
2 # 189 ---> 190 (24)
2 # 190 ---> 206 (25)
75 # 205 ---> 189 (24)
22 # 119 ---> 103 (0)
22 # 103 ---> 102 (1)
78 # 105 ---> 104 (0)
67 # 121 ---> 105 (0)
78 # 104 ---> 120 (1)
67 # 105 ---> 104 (1)
71 # 106 ---> 105 (1)
32 # 125 ---> 109 (7)
75 # 189 ---> 173 (25)
75 # 173 ---> 157 (26)
66 # 201 ---> 202 (0)
52 # 169 ---> 185 (10)
20 # 170 ---> 169 (10)
52 # 185 ---> 186 (11)
20 # 169 ---> 185 (11)
79 # 154 ---> 153 (0)
45 # 138 ---> 137 (0)
44 # 140 ---> 124 (0)
75 # 157 ---> 141 (27)
29 # 114 ---> 130 (0)
56 # 97 ---> 113 (0)
70 # 99 ---> 98 (2)
41 # 115 ---> 99 (2)
70 # 98 ---> 114 (3)
41 # 99 ---> 98 (3)
11 # 117 ---> 101 (0)
11 # 101 ---> 100 (1)
22 # 102 ---> 101 (2)
67 # 104 ---> 103 (2)
78 # 120 ---> 104 (2)
67 # 103 ---> 119 (3)
78 # 104 ---> 103 (3)
71 # 105 ---> 104 (3)
44 # 124 ---> 108 (1)
75 # 141 ---> 125 (28)
75 # 125 ---> 124 (29)
32 # 109 ---> 93 (8)
32 # 93 ---> 92 (9)
40 # 26 ---> 25 (13)
47 # 27 ---> 26 (14)
65 # 11 ---> 27 (14)
80 # 10 ---> 11 (14)
47 # 26 ---> 10 (15)
65 # 27 ---> 26 (15)
59 # 12 ---> 28 (13)
80 # 11 ---> 12 (15)
80 # 12 ---> 13 (16)
59 # 28 ---> 12 (16)
5 # 29 ---> 28 (16)
12 # 14 ---> 30 (14)
80 # 13 ---> 14 (17)
12 # 30 ---> 29 (16)
80 # 14 ---> 30 (18)
80 # 30 ---> 46 (19)
14 # 61 ---> 45 (14)
80 # 46 ---> 62 (20)
49 # 24 ---> 40 (11)
40 # 25 ---> 24 (14)
65 # 26 ---> 42 (16)
47 # 10 ---> 9 (16)
59 # 12 ---> 11 (17)
5 # 28 ---> 12 (17)
59 # 11 ---> 27 (18)
5 # 12 ---> 11 (18)
12 # 29 ---> 13 (17)
14 # 45 ---> 29 (17)
59 # 27 ---> 26 (19)
14 # 29 ---> 28 (18)
12 # 13 ---> 29 (18)
14 # 28 ---> 12 (19)
12 # 29 ---> 28 (19)
49 # 40 ---> 41 (12)
38 # 23 ---> 39 (10)
40 # 24 ---> 23 (15)
59 # 26 ---> 25 (20)
65 # 42 ---> 26 (20)
49 # 41 ---> 42 (20)
49 # 42 ---> 43 (21)
49 # 43 ---> 44 (22)
49 # 44 ---> 45 (23)
49 # 45 ---> 61 (24)
49 # 61 ---> 77 (25)
49 # 77 ---> 93 (26)
49 # 93 ---> 109 (27)
49 # 109 ---> 125 (29)
49 # 125 ---> 141 (30)
49 # 141 ---> 157 (31)
49 # 157 ---> 173 (32)
49 # 173 ---> 189 (33)
49 # 189 ---> 205 (34)
49 # 205 ---> 221 (35)
49 # 221 ---> 237 (36)
27 # 216 ---> 200 (0)
27 # 200 ---> 201 (1)
20 # 185 ---> 184 (12)
52 # 186 ---> 185 (12)
66 # 202 ---> 186 (12)
27 # 201 ---> 202 (12)
52 # 185 ---> 201 (13)
66 # 186 ---> 185 (13)
36 # 203 ---> 187 (12)
27 # 202 ---> 203 (13)
27 # 203 ---> 204 (14)
27 # 204 ---> 205 (35)
27 # 205 ---> 221 (36)
43 # 22 ---> 21 (9)
40 # 23 ---> 22 (16)
38 # 39 ---> 23 (16)
17 # 230 ---> 231 (0)
76 # 245 ---> 246 (0)
61 # 229 ---> 245 (0)
10 # 213 ---> 229 (0)
81 # 214 ---> 213 (0)
53 # 167 ---> 183 (8)
48 # 151 ---> 150 (0)
3 # 152 ---> 151 (0)
79 # 153 ---> 152 (1)
45 # 137 ---> 153 (1)
63 # 155 ---> 139 (0)
73 # 195 ---> 179 (4)
82 # 163 ---> 162 (3)
73 # 179 ---> 163 (5)
73 # 163 ---> 147 (6)
82 # 162 ---> 163 (6)
29 # 130 ---> 146 (1)
21 # 131 ---> 130 (1)
73 # 147 ---> 131 (7)
73 # 131 ---> 132 (8)
73 # 132 ---> 133 (9)
73 # 133 ---> 134 (10)
67 # 119 ---> 118 (4)
15 # 135 ---> 119 (4)
73 # 134 ---> 135 (11)
73 # 135 ---> 136 (12)
73 # 136 ---> 137 (13)
73 # 137 ---> 138 (14)
67 # 118 ---> 134 (11)
15 # 119 ---> 118 (11)
63 # 139 ---> 123 (1)
73 # 138 ---> 139 (15)
73 # 139 ---> 140 (16)
73 # 140 ---> 141 (31)
73 # 141 ---> 157 (32)
44 # 108 ---> 107 (2)
75 # 124 ---> 108 (30)
39 # 4 ---> 20 (5)
42 # 5 ---> 4 (6)
58 # 6 ---> 5 (6)
40 # 22 ---> 6 (17)
43 # 21 ---> 22 (17)
58 # 5 ---> 21 (17)
40 # 6 ---> 5 (18)
6 # 7 ---> 6 (18)
38 # 23 ---> 7 (18)
43 # 22 ---> 23 (18)
43 # 23 ---> 24 (19)
6 # 6 ---> 22 (19)
38 # 7 ---> 6 (19)
33 # 8 ---> 7 (19)
47 # 9 ---> 8 (19)
59 # 25 ---> 9 (21)
43 # 24 ---> 25 (21)
47 # 8 ---> 24 (21)
59 # 9 ---> 8 (22)
65 # 26 ---> 10 (21)
43 # 25 ---> 26 (22)
43 # 26 ---> 27 (23)
65 # 10 ---> 9 (22)
5 # 11 ---> 10 (22)
14 # 12 ---> 11 (22)
12 # 28 ---> 12 (22)
43 # 27 ---> 28 (24)
43 # 28 ---> 29 (25)
43 # 29 ---> 45 (26)
43 # 45 ---> 61 (27)
43 # 61 ---> 77 (28)
43 # 77 ---> 93 (29)
43 # 93 ---> 109 (30)
43 # 109 ---> 125 (31)
48 # 150 ---> 166 (1)
3 # 151 ---> 150 (1)
67 # 134 ---> 135 (12)
15 # 118 ---> 134 (12)
78 # 103 ---> 102 (4)
55 # 74 ---> 73 (3)
32 # 92 ---> 76 (10)
75 # 108 ---> 92 (31)
82 # 163 ---> 147 (7)
82 # 147 ---> 131 (8)
82 # 131 ---> 115 (9)
82 # 115 ---> 99 (10)
70 # 114 ---> 115 (10)
41 # 98 ---> 114 (10)
82 # 99 ---> 83 (11)
82 # 83 ---> 67 (12)
82 # 67 ---> 68 (13)
60 # 69 ---> 53 (1)
82 # 68 ---> 69 (14)
82 # 69 ---> 70 (15)
82 # 70 ---> 71 (16)
82 # 71 ---> 72 (17)
60 # 53 ---> 52 (2)
72 # 56 ---> 55 (3)
55 # 73 ---> 57 (4)
82 # 72 ---> 73 (18)
82 # 73 ---> 74 (19)
82 # 74 ---> 75 (20)
55 # 57 ---> 56 (5)
32 # 76 ---> 60 (11)
82 # 75 ---> 76 (21)
82 # 76 ---> 77 (29)
75 # 92 ---> 76 (32)
82 # 77 ---> 93 (30)
57 # 50 ---> 34 (0)
57 # 34 ---> 33 (1)
60 # 52 ---> 36 (3)
60 # 36 ---> 35 (4)
72 # 55 ---> 39 (16)
72 # 39 ---> 38 (17)
55 # 56 ---> 40 (12)
55 # 40 ---> 39 (17)
32 # 60 ---> 44 (23)
75 # 76 ---> 60 (33)
48 # 166 ---> 165 (2)
48 # 165 ---> 181 (6)
28 # 149 ---> 165 (6)
3 # 150 ---> 149 (6)
28 # 165 ---> 166 (7)
3 # 149 ---> 165 (7)
22 # 101 ---> 117 (3)
78 # 102 ---> 101 (5)
72 # 38 ---> 37 (18)
6 # 22 ---> 38 (20)
47 # 24 ---> 23 (22)
32 # 44 ---> 28 (25)
75 # 60 ---> 44 (34)
48 # 181 ---> 180 (7)
48 # 180 ---> 196 (8)
3 # 165 ---> 164 (8)
22 # 117 ---> 116 (4)
22 # 116 ---> 132 (9)
11 # 100 ---> 116 (9)
78 # 101 ---> 100 (9)
72 # 37 ---> 36 (19)
72 # 36 ---> 52 (20)
39 # 20 ---> 36 (20)
58 # 21 ---> 20 (20)
40 # 5 ---> 21 (20)
38 # 6 ---> 5 (20)
33 # 7 ---> 6 (20)
47 # 23 ---> 7 (23)
33 # 6 ---> 22 (21)
47 # 7 ---> 6 (24)
59 # 8 ---> 7 (24)
65 # 9 ---> 8 (24)
5 # 10 ---> 9 (24)
14 # 11 ---> 10 (24)
12 # 12 ---> 11 (24)
32 # 28 ---> 12 (26)
75 # 44 ---> 28 (35)
13 # 251 ---> 235 (0)
22 # 132 ---> 131 (10)
15 # 134 ---> 133 (13)
67 # 135 ---> 134 (13)
79 # 152 ---> 136 (13)
79 # 136 ---> 135 (14)
45 # 153 ---> 137 (14)
13 # 235 ---> 219 (1)
53 # 183 ---> 182 (9)
20 # 184 ---> 183 (13)
66 # 185 ---> 184 (14)
52 # 201 ---> 185 (14)
13 # 219 ---> 203 (14)
13 # 203 ---> 204 (35)
5 # 9 ---> 25 (25)
14 # 10 ---> 9 (25)
12 # 11 ---> 10 (25)
32 # 12 ---> 11 (27)
75 # 28 ---> 12 (36)
36 # 187 ---> 171 (13)
20 # 183 ---> 199 (14)
66 # 184 ---> 183 (15)
36 # 171 ---> 155 (14)
3 # 164 ---> 148 (9)
3 # 148 ---> 132 (10)
15 # 133 ---> 149 (14)
3 # 132 ---> 133 (14)
67 # 134 ---> 118 (14)
3 # 133 ---> 134 (15)
67 # 118 ---> 117 (15)
79 # 135 ---> 119 (15)
3 # 134 ---> 135 (16)
3 # 135 ---> 136 (17)
79 # 119 ---> 118 (16)
45 # 137 ---> 121 (15)
3 # 136 ---> 137 (18)
3 # 137 ---> 138 (19)
45 # 121 ---> 120 (16)
3 # 138 ---> 139 (20)
3 # 139 ---> 140 (31)
36 # 155 ---> 139 (31)
3 # 140 ---> 156 (32)
25 # 3 ---> 19 (2)
42 # 4 ---> 3 (7)
38 # 5 ---> 4 (21)
40 # 21 ---> 5 (21)
58 # 20 ---> 21 (21)
38 # 4 ---> 20 (22)
40 # 5 ---> 4 (22)
47 # 6 ---> 5 (25)
33 # 22 ---> 6 (25)
58 # 21 ---> 22 (25)
58 # 22 ---> 23 (26)
58 # 23 ---> 24 (27)
47 # 5 ---> 21 (26)
33 # 6 ---> 5 (26)
59 # 7 ---> 6 (26)
65 # 8 ---> 7 (26)
14 # 9 ---> 8 (26)
5 # 25 ---> 9 (26)
58 # 24 ---> 25 (28)
58 # 25 ---> 26 (29)
58 # 26 ---> 27 (30)
58 # 27 ---> 28 (36)
58 # 28 ---> 44 (37)
58 # 44 ---> 60 (38)
58 # 60 ---> 76 (39)
58 # 76 ---> 92 (40)
58 # 92 ---> 108 (41)
58 # 108 ---> 124 (42)
58 # 124 ---> 140 (43)
63 # 123 ---> 124 (43)
36 # 139 ---> 123 (43)
36 # 123 ---> 122 (44)
63 # 124 ---> 123 (44)
44 # 107 ---> 108 (42)
63 # 123 ---> 107 (45)
17 # 231 ---> 215 (1)
20 # 199 ---> 198 (15)
17 # 215 ---> 199 (15)
20 # 198 ---> 214 (16)
53 # 182 ---> 198 (16)
66 # 183 ---> 182 (16)
17 # 199 ---> 183 (16)
17 # 183 ---> 167 (17)
17 # 167 ---> 151 (18)
17 # 151 ---> 135 (19)
17 # 135 ---> 119 (20)
17 # 119 ---> 103 (21)
17 # 103 ---> 87 (22)
17 # 87 ---> 88 (23)
17 # 88 ---> 89 (24)
17 # 89 ---> 90 (25)
17 # 90 ---> 91 (26)
17 # 91 ---> 92 (41)
63 # 107 ---> 91 (46)
44 # 108 ---> 107 (46)
17 # 92 ---> 108 (46)
63 # 91 ---> 92 (47)
44 # 107 ---> 91 (47)
44 # 91 ---> 75 (48)
63 # 92 ---> 91 (48)
44 # 75 ---> 76 (49)
63 # 91 ---> 75 (49)
69 # 17 ---> 0 (0)
50 # 18 ---> 17 (2)
25 # 19 ---> 18 (3)
42 # 3 ---> 19 (8)
25 # 18 ---> 2 (4)
42 # 19 ---> 18 (9)
38 # 20 ---> 19 (23)
40 # 4 ---> 20 (23)
38 # 19 ---> 3 (24)
40 # 20 ---> 19 (24)
47 # 21 ---> 20 (27)
33 # 5 ---> 21 (27)
47 # 20 ---> 4 (28)
33 # 21 ---> 20 (28)
59 # 6 ---> 22 (27)
59 # 22 ---> 21 (28)
65 # 7 ---> 23 (27)
65 # 23 ---> 22 (28)
14 # 8 ---> 24 (28)
14 # 24 ---> 23 (29)
5 # 9 ---> 25 (29)
5 # 25 ---> 24 (30)
12 # 10 ---> 26 (30)
12 # 26 ---> 25 (31)
75 # 12 ---> 28 (37)
63 # 75 ---> 59 (50)
44 # 76 ---> 75 (50)
63 # 59 ---> 60 (51)
44 # 75 ---> 59 (51)
22 # 131 ---> 147 (11)
78 # 100 ---> 99 (11)
72 # 52 ---> 51 (21)
72 # 51 ---> 67 (22)
60 # 35 ---> 51 (22)
39 # 36 ---> 35 (22)
33 # 20 ---> 36 (29)
59 # 21 ---> 20 (29)
65 # 22 ---> 21 (29)
6 # 38 ---> 22 (29)
44 # 59 ---> 43 (52)
63 # 60 ---> 59 (52)
44 # 43 ---> 44 (53)
63 # 59 ---> 43 (53)
36 # 122 ---> 121 (45)
12 # 25 ---> 41 (32)
63 # 43 ---> 42 (54)
44 # 44 ---> 43 (54)
44 # 43 ---> 27 (55)
7 # 218 ---> 202 (13)
28 # 166 ---> 165 (8)
66 # 182 ---> 166 (17)
28 # 165 ---> 181 (9)
66 # 166 ---> 165 (18)
52 # 185 ---> 169 (15)
57 # 33 ---> 49 (2)
39 # 35 ---> 34 (23)
60 # 51 ---> 35 (23)
39 # 34 ---> 50 (24)
60 # 35 ---> 34 (24)
33 # 36 ---> 35 (30)
7 # 202 ---> 186 (14)
44 # 27 ---> 26 (56)
7 # 186 ---> 170 (15)
5 # 24 ---> 25 (32)
44 # 26 ---> 10 (57)
5 # 25 ---> 26 (57)
5 # 26 ---> 27 (58)
5 # 27 ---> 43 (59)
5 # 43 ---> 59 (60)
5 # 59 ---> 75 (61)
5 # 75 ---> 91 (62)
5 # 91 ---> 107 (63)
5 # 107 ---> 123 (64)
5 # 123 ---> 139 (65)
5 # 139 ---> 155 (66)
5 # 155 ---> 171 (67)
7 # 170 ---> 154 (16)
31 # 161 ---> 160 (0)
26 # 128 ---> 129 (0)
26 # 129 ---> 145 (1)
8 # 112 ---> 128 (0)
56 # 113 ---> 112 (1)
41 # 114 ---> 113 (11)
21 # 130 ---> 114 (11)
41 # 113 ---> 129 (12)
21 # 114 ---> 113 (12)
70 # 115 ---> 114 (12)
7 # 154 ---> 138 (20)
1 # 225 ---> 224 (0)
37 # 241 ---> 225 (0)
1 # 224 ---> 240 (1)
68 # 209 ---> 208 (0)
37 # 225 ---> 209 (1)
68 # 208 ---> 224 (1)
4 # 193 ---> 192 (0)
37 # 209 ---> 193 (2)
37 # 193 ---> 177 (3)
37 # 177 ---> 161 (4)
46 # 176 ---> 177 (4)
31 # 160 ---> 176 (4)
26 # 145 ---> 144 (2)
37 # 161 ---> 145 (5)
26 # 144 ---> 160 (4)
8 # 128 ---> 144 (4)
41 # 129 ---> 128 (13)
37 # 145 ---> 129 (13)
8 # 144 ---> 145 (13)
41 # 128 ---> 144 (14)
56 # 112 ---> 128 (14)
21 # 113 ---> 112 (14)
37 # 129 ---> 113 (14)
70 # 114 ---> 130 (13)
37 # 113 ---> 114 (15)
37 # 114 ---> 115 (16)
78 # 99 ---> 98 (12)
11 # 116 ---> 100 (11)
37 # 115 ---> 116 (17)
11 # 100 ---> 99 (12)
67 # 117 ---> 101 (16)
37 # 116 ---> 117 (18)
67 # 101 ---> 100 (17)
79 # 118 ---> 102 (17)
37 # 117 ---> 118 (19)
37 # 118 ---> 119 (21)
79 # 102 ---> 101 (18)
71 # 104 ---> 103 (22)
45 # 120 ---> 104 (22)
37 # 119 ---> 120 (22)
71 # 103 ---> 119 (23)
36 # 121 ---> 105 (46)
37 # 120 ---> 121 (46)
37 # 121 ---> 122 (47)
37 # 122 ---> 123 (65)
37 # 123 ---> 139 (66)
7 # 138 ---> 122 (65)
7 # 122 ---> 106 (66)
69 # 0 ---> 1 (1)
25 # 2 ---> 0 (5)
42 # 18 ---> 2 (10)
50 # 17 ---> 18 (10)
25 # 0 ---> 17 (10)
42 # 2 ---> 0 (11)
38 # 3 ---> 2 (25)
40 # 19 ---> 3 (25)
50 # 18 ---> 19 (25)
38 # 2 ---> 18 (26)
40 # 3 ---> 2 (26)
47 # 4 ---> 3 (29)
59 # 20 ---> 4 (30)
50 # 19 ---> 20 (30)
47 # 3 ---> 19 (30)
59 # 4 ---> 3 (31)
65 # 21 ---> 5 (30)
50 # 20 ---> 21 (31)
65 # 5 ---> 4 (31)
6 # 22 ---> 6 (30)
50 # 21 ---> 22 (32)
6 # 6 ---> 5 (31)
14 # 23 ---> 7 (30)
50 # 22 ---> 23 (33)
50 # 23 ---> 24 (34)
50 # 24 ---> 25 (57)
50 # 25 ---> 26 (58)
50 # 26 ---> 27 (59)
50 # 27 ---> 43 (60)
50 # 43 ---> 59 (61)
50 # 59 ---> 75 (62)
50 # 75 ---> 91 (63)
50 # 91 ---> 107 (64)
7 # 106 ---> 90 (67)
7 # 90 ---> 74 (68)
30 # 81 ---> 97 (0)
23 # 65 ---> 81 (0)
24 # 64 ---> 65 (0)
23 # 81 ---> 80 (1)
24 # 65 ---> 81 (1)
57 # 49 ---> 65 (3)
77 # 48 ---> 49 (3)
57 # 65 ---> 64 (4)
77 # 49 ---> 65 (4)
35 # 32 ---> 48 (3)
60 # 34 ---> 33 (25)
39 # 50 ---> 34 (25)
7 # 74 ---> 58 (69)
7 # 58 ---> 57 (70)
7 # 57 ---> 73 (71)
12 # 41 ---> 57 (71)
63 # 42 ---> 41 (71)
63 # 41 ---> 40 (72)
12 # 57 ---> 41 (72)
12 # 41 ---> 25 (73)
12 # 25 ---> 26 (74)
12 # 26 ---> 27 (75)
12 # 27 ---> 43 (76)
36 # 105 ---> 89 (47)
45 # 104 ---> 105 (47)
45 # 105 ---> 106 (67)
45 # 106 ---> 122 (68)
45 # 122 ---> 138 (69)
45 # 138 ---> 154 (70)
45 # 154 ---> 170 (71)
45 # 170 ---> 186 (72)
45 # 186 ---> 202 (73)
45 # 202 ---> 218 (74)
63 # 40 ---> 24 (73)
55 # 39 ---> 40 (73)
55 # 40 ---> 41 (74)
55 # 41 ---> 42 (75)
55 # 42 ---> 58 (76)
55 # 58 ---> 74 (77)
55 # 74 ---> 90 (78)
55 # 90 ---> 106 (79)
55 # 106 ---> 122 (80)
55 # 122 ---> 138 (81)
55 # 138 ---> 154 (82)
55 # 154 ---> 170 (83)
55 # 170 ---> 186 (84)
55 # 186 ---> 202 (85)
60 # 33 ---> 32 (26)
25 # 17 ---> 33 (26)
69 # 1 ---> 16 (2)
42 # 0 ---> 1 (12)
40 # 2 ---> 0 (27)
38 # 18 ---> 2 (27)
40 # 0 ---> 17 (28)
38 # 2 ---> 0 (28)
59 # 3 ---> 2 (32)
47 # 19 ---> 3 (32)
59 # 2 ---> 18 (33)
47 # 3 ---> 2 (33)
65 # 4 ---> 3 (33)
6 # 5 ---> 4 (33)
14 # 7 ---> 6 (31)
52 # 169 ---> 153 (16)
18 # 84 ---> 85 (1)
18 # 85 ---> 86 (2)
18 # 86 ---> 87 (23)
18 # 87 ---> 88 (24)
72 # 67 ---> 66 (23)
7 # 73 ---> 72 (72)
36 # 89 ---> 73 (72)
18 # 88 ---> 89 (72)
18 # 89 ---> 90 (79)
18 # 90 ---> 106 (80)
18 # 106 ---> 122 (81)
18 # 122 ---> 138 (82)
52 # 153 ---> 137 (19)
18 # 138 ---> 154 (83)
72 # 66 ---> 50 (25)
77 # 65 ---> 66 (25)
77 # 66 ---> 67 (26)
77 # 67 ---> 68 (27)
77 # 68 ---> 69 (28)
77 # 69 ---> 70 (29)
77 # 70 ---> 71 (30)
72 # 50 ---> 49 (26)
7 # 72 ---> 56 (73)
77 # 71 ---> 72 (73)
7 # 56 ---> 55 (74)
36 # 73 ---> 57 (73)
77 # 72 ---> 73 (74)
77 # 73 ---> 74 (78)
77 # 74 ---> 90 (80)
77 # 90 ---> 106 (81)
77 # 106 ---> 122 (82)
77 # 122 ---> 138 (83)
52 # 137 ---> 121 (47)
52 # 121 ---> 105 (67)
59 # 18 ---> 19 (34)
40 # 17 ---> 18 (34)
38 # 0 ---> 17 (34)
42 # 1 ---> 0 (34)
69 # 16 ---> 1 (34)
38 # 17 ---> 16 (35)
40 # 18 ---> 17 (35)
47 # 2 ---> 18 (35)
42 # 0 ---> 2 (35)
40 # 17 ---> 0 (36)
47 # 18 ---> 17 (36)
59 # 19 ---> 18 (36)
65 # 3 ---> 19 (36)
42 # 2 ---> 3 (36)
59 # 18 ---> 2 (37)
65 # 19 ---> 18 (37)
6 # 4 ---> 20 (34)
42 # 3 ---> 4 (37)
42 # 4 ---> 5 (38)
6 # 20 ---> 4 (38)
14 # 6 ---> 22 (33)
42 # 5 ---> 6 (39)
14 # 22 ---> 21 (34)
42 # 6 ---> 7 (40)
42 # 7 ---> 8 (41)
42 # 8 ---> 9 (42)
63 # 24 ---> 8 (74)
44 # 10 ---> 26 (75)
42 # 9 ---> 10 (75)
44 # 26 ---> 25 (76)
42 # 10 ---> 26 (76)
42 # 26 ---> 42 (77)
42 # 42 ---> 58 (78)
42 # 58 ---> 74 (80)
42 # 74 ---> 90 (81)
42 # 90 ---> 106 (82)
52 # 105 ---> 89 (79)
52 # 89 ---> 73 (80)
7 # 55 ---> 39 (75)
7 # 39 ---> 38 (76)
36 # 57 ---> 41 (75)
52 # 73 ---> 57 (81)
78 # 98 ---> 114 (16)
11 # 99 ---> 98 (16)
39 # 34 ---> 50 (26)
33 # 35 ---> 34 (31)
14 # 21 ---> 20 (38)
7 # 38 ---> 22 (77)
7 # 22 ---> 21 (78)
44 # 25 ---> 24 (77)
36 # 41 ---> 25 (77)
52 # 57 ---> 41 (82)
56 # 128 ---> 129 (15)
21 # 112 ---> 128 (15)
30 # 97 ---> 96 (1)
30 # 96 ---> 112 (15)
23 # 80 ---> 96 (15)
57 # 64 ---> 80 (15)
35 # 48 ---> 64 (15)
72 # 49 ---> 48 (27)
35 # 64 ---> 65 (25)
72 # 48 ---> 64 (28)
60 # 32 ---> 48 (28)
25 # 33 ---> 32 (28)
60 # 48 ---> 49 (29)
25 # 32 ---> 48 (29)
38 # 16 ---> 32 (36)
47 # 17 ---> 16 (37)
33 # 34 ---> 33 (32)
65 # 18 ---> 34 (38)
40 # 0 ---> 17 (37)
59 # 2 ---> 0 (38)
6 # 4 ---> 3 (39)
14 # 20 ---> 4 (39)
6 # 3 ---> 19 (40)
14 # 4 ---> 3 (40)
7 # 21 ---> 5 (79)
7 # 5 ---> 4 (80)
63 # 8 ---> 7 (75)
44 # 24 ---> 8 (78)
63 # 7 ---> 23 (76)
44 # 8 ---> 7 (79)
36 # 25 ---> 9 (78)
52 # 41 ---> 25 (83)
28 # 181 ---> 180 (10)
81 # 213 ---> 197 (1)
81 # 197 ---> 181 (10)
81 # 181 ---> 182 (17)
81 # 182 ---> 183 (18)
81 # 183 ---> 184 (19)
81 # 184 ---> 185 (20)
81 # 185 ---> 201 (21)
76 # 246 ---> 230 (1)
61 # 245 ---> 246 (1)
10 # 229 ---> 245 (1)
20 # 214 ---> 213 (17)
76 # 230 ---> 214 (17)
53 # 198 ---> 197 (17)
76 # 214 ---> 198 (18)
76 # 198 ---> 182 (19)
76 # 182 ---> 166 (20)
76 # 166 ---> 167 (21)
76 # 167 ---> 168 (22)
76 # 168 ---> 169 (23)
76 # 169 ---> 185 (24)
70 # 130 ---> 131 (14)
70 # 131 ---> 132 (15)
70 # 132 ---> 133 (16)
70 # 133 ---> 134 (17)
70 # 134 ---> 135 (20)
70 # 135 ---> 136 (21)
70 # 136 ---> 137 (47)
70 # 137 ---> 153 (48)
70 # 153 ---> 169 (49)
6 # 19 ---> 18 (41)
14 # 3 ---> 19 (41)
6 # 18 ---> 2 (42)
14 # 19 ---> 18 (42)
7 # 4 ---> 20 (81)
63 # 23 ---> 22 (78)
52 # 25 ---> 24 (84)
23 # 96 ---> 97 (16)
57 # 80 ---> 96 (16)
24 # 81 ---> 80 (16)
11 # 98 ---> 82 (17)
23 # 97 ---> 98 (17)
23 # 98 ---> 99 (18)
11 # 82 ---> 81 (18)
67 # 100 ---> 84 (18)
23 # 99 ---> 100 (19)
67 # 84 ---> 83 (19)
79 # 101 ---> 85 (19)
23 # 100 ---> 101 (20)
23 # 101 ---> 102 (21)
23 # 102 ---> 103 (23)
23 # 103 ---> 104 (47)
23 # 104 ---> 105 (79)
23 # 105 ---> 121 (80)
23 # 121 ---> 137 (81)
46 # 177 ---> 193 (5)
31 # 176 ---> 177 (5)
4 # 192 ---> 176 (5)
46 # 193 ---> 192 (6)
31 # 177 ---> 193 (6)
26 # 160 ---> 161 (5)
4 # 176 ---> 160 (6)
26 # 161 ---> 177 (6)
8 # 145 ---> 161 (14)
41 # 144 ---> 145 (15)
4 # 160 ---> 144 (15)
8 # 161 ---> 160 (15)
41 # 145 ---> 161 (16)
56 # 129 ---> 145 (16)
21 # 128 ---> 129 (16)
4 # 144 ---> 128 (16)
56 # 145 ---> 144 (17)
21 # 129 ---> 145 (17)
30 # 112 ---> 113 (16)
4 # 128 ---> 112 (17)
30 # 113 ---> 129 (17)
57 # 96 ---> 97 (17)
4 # 112 ---> 96 (18)
57 # 97 ---> 113 (18)
11 # 81 ---> 97 (19)
24 # 80 ---> 81 (19)
4 # 96 ---> 80 (19)
11 # 97 ---> 96 (20)
24 # 81 ---> 97 (20)
35 # 65 ---> 81 (26)
72 # 64 ---> 65 (29)
4 # 80 ---> 64 (29)
35 # 81 ---> 80 (29)
72 # 65 ---> 81 (30)
4 # 64 ---> 65 (30)
4 # 65 ---> 66 (31)
4 # 66 ---> 67 (32)
4 # 67 ---> 68 (33)
4 # 68 ---> 69 (34)
4 # 69 ---> 70 (35)
4 # 70 ---> 71 (73)
4 # 71 ---> 72 (74)
4 # 72 ---> 73 (81)
4 # 73 ---> 89 (82)
72 # 81 ---> 82 (31)
60 # 49 ---> 65 (31)
39 # 50 ---> 49 (31)
54 # 211 ---> 210 (0)
29 # 146 ---> 162 (6)
22 # 147 ---> 146 (12)
78 # 114 ---> 115 (17)
72 # 82 ---> 98 (32)
67 # 83 ---> 82 (32)
7 # 20 ---> 36 (82)
63 # 22 ---> 6 (79)
63 # 6 ---> 5 (80)
44 # 7 ---> 6 (80)
79 # 85 ---> 69 (35)
52 # 24 ---> 40 (85)
52 # 40 ---> 56 (86)
52 # 56 ---> 72 (87)
52 # 72 ---> 88 (88)
52 # 88 ---> 104 (89)
52 # 104 ---> 120 (90)
52 # 120 ---> 136 (91)
52 # 136 ---> 152 (92)
52 # 152 ---> 168 (93)
52 # 168 ---> 184 (94)
52 # 184 ---> 200 (95)
72 # 98 ---> 114 (33)
71 # 119 ---> 103 (47)
26 # 177 ---> 178 (7)
31 # 193 ---> 177 (7)
8 # 160 ---> 176 (16)
41 # 161 ---> 160 (17)
31 # 177 ---> 161 (17)
8 # 176 ---> 177 (17)
41 # 160 ---> 176 (18)
56 # 144 ---> 160 (18)
21 # 145 ---> 144 (18)
31 # 161 ---> 145 (18)
56 # 160 ---> 161 (19)
21 # 144 ---> 160 (19)
30 # 129 ---> 128 (18)
31 # 145 ---> 129 (19)
31 # 129 ---> 130 (20)
57 # 113 ---> 129 (20)
72 # 114 ---> 113 (34)
31 # 130 ---> 131 (21)
31 # 131 ---> 132 (22)
31 # 132 ---> 133 (23)
31 # 133 ---> 134 (24)
31 # 134 ---> 135 (25)
31 # 135 ---> 136 (92)
31 # 136 ---> 152 (93)
30 # 128 ---> 112 (19)
57 # 129 ---> 128 (21)
72 # 113 ---> 129 (35)
24 # 97 ---> 113 (35)
11 # 96 ---> 97 (35)
30 # 112 ---> 96 (35)
24 # 113 ---> 112 (36)
11 # 97 ---> 113 (36)
30 # 96 ---> 97 (36)
30 # 97 ---> 98 (37)
30 # 98 ---> 99 (38)
30 # 99 ---> 100 (39)
30 # 100 ---> 101 (40)
30 # 101 ---> 102 (41)
35 # 80 ---> 96 (36)
67 # 82 ---> 81 (33)
71 # 103 ---> 87 (48)
30 # 102 ---> 103 (48)
30 # 103 ---> 104 (90)
30 # 104 ---> 120 (91)
79 # 69 ---> 68 (36)
71 # 87 ---> 71 (74)
71 # 71 ---> 70 (75)
44 # 6 ---> 22 (81)
7 # 36 ---> 35 (83)
56 # 161 ---> 145 (20)
21 # 160 ---> 161 (20)
56 # 145 ---> 144 (21)
22 # 146 ---> 145 (21)
29 # 162 ---> 146 (21)
21 # 161 ---> 162 (21)
21 # 162 ---> 163 (22)
21 # 163 ---> 164 (23)
22 # 145 ---> 161 (22)
29 # 146 ---> 145 (22)
15 # 149 ---> 148 (15)
66 # 165 ---> 149 (19)
21 # 164 ---> 165 (24)
21 # 165 ---> 166 (25)
21 # 166 ---> 167 (26)
21 # 167 ---> 183 (27)
21 # 183 ---> 199 (28)
21 # 199 ---> 215 (29)
21 # 215 ---> 231 (30)
61 # 246 ---> 230 (17)
21 # 231 ---> 247 (31)
54 # 210 ---> 226 (1)
61 # 230 ---> 214 (18)
61 # 214 ---> 198 (19)
61 # 198 ---> 182 (20)
44 # 22 ---> 23 (82)
44 # 23 ---> 39 (83)
44 # 39 ---> 55 (84)
44 # 55 ---> 71 (85)
44 # 71 ---> 87 (86)
44 # 87 ---> 103 (90)
44 # 103 ---> 119 (91)
44 # 119 ---> 135 (92)
44 # 135 ---> 151 (93)
44 # 151 ---> 167 (94)
61 # 182 ---> 166 (26)
44 # 167 ---> 183 (95)
61 # 166 ---> 150 (27)
61 # 150 ---> 134 (28)
68 # 224 ---> 225 (2)
46 # 192 ---> 208 (7)
41 # 176 ---> 192 (19)
8 # 177 ---> 176 (19)
41 # 192 ---> 193 (20)
8 # 176 ---> 192 (20)
22 # 161 ---> 160 (23)
22 # 160 ---> 176 (24)
56 # 144 ---> 160 (24)
29 # 145 ---> 144 (24)
56 # 160 ---> 161 (25)
29 # 144 ---> 160 (25)
57 # 128 ---> 144 (25)
72 # 129 ---> 128 (36)
57 # 144 ---> 145 (26)
72 # 128 ---> 144 (37)
24 # 112 ---> 128 (37)
11 # 113 ---> 112 (37)
78 # 115 ---> 99 (39)
61 # 134 ---> 118 (29)
48 # 196 ---> 195 (9)
15 # 148 ---> 147 (16)
61 # 118 ---> 102 (48)
61 # 102 ---> 86 (49)
61 # 86 ---> 85 (50)
71 # 70 ---> 54 (76)
66 # 149 ---> 148 (20)
10 # 245 ---> 244 (2)
71 # 54 ---> 53 (77)
28 # 180 ---> 164 (24)
20 # 213 ---> 212 (18)
67 # 81 ---> 97 (37)
78 # 99 ---> 83 (40)
53 # 197 ---> 181 (18)
53 # 181 ---> 165 (25)
53 # 165 ---> 149 (26)
53 # 149 ---> 133 (27)
53 # 133 ---> 117 (28)
48 # 195 ---> 179 (10)
48 # 179 ---> 163 (23)
15 # 147 ---> 146 (22)
48 # 163 ---> 147 (24)
48 # 147 ---> 131 (25)
48 # 131 ---> 115 (39)
48 # 115 ---> 99 (40)
48 # 99 ---> 100 (41)
48 # 100 ---> 101 (42)
48 # 101 ---> 102 (49)
53 # 117 ---> 101 (49)
48 # 102 ---> 118 (50)
56 # 161 ---> 177 (26)
57 # 145 ---> 161 (27)
15 # 146 ---> 145 (27)
78 # 83 ---> 99 (41)
79 # 68 ---> 67 (37)
61 # 85 ---> 69 (51)
53 # 101 ---> 85 (51)
53 # 85 ---> 84 (52)
53 # 84 ---> 100 (53)
61 # 69 ---> 68 (52)
79 # 67 ---> 66 (38)
61 # 68 ---> 67 (53)
7 # 35 ---> 51 (84)
71 # 53 ---> 37 (78)
79 # 66 ---> 82 (39)
61 # 67 ---> 66 (54)
79 # 82 ---> 83 (41)
61 # 66 ---> 82 (55)
7 # 51 ---> 50 (85)
71 # 37 ---> 21 (79)
60 # 65 ---> 81 (37)
25 # 48 ---> 64 (30)
39 # 49 ---> 48 (32)
7 # 50 ---> 49 (86)
10 # 244 ---> 243 (3)
71 # 21 ---> 20 (82)
63 # 5 ---> 21 (82)
63 # 21 ---> 37 (83)
63 # 37 ---> 53 (84)
63 # 53 ---> 69 (85)
63 # 69 ---> 85 (86)
63 # 85 ---> 101 (87)
63 # 101 ---> 117 (88)
63 # 117 ---> 133 (89)
63 # 133 ---> 149 (90)
63 # 149 ---> 165 (91)
63 # 165 ---> 181 (92)
63 # 181 ---> 197 (93)
63 # 197 ---> 213 (94)
63 # 213 ---> 229 (95)
20 # 212 ---> 213 (95)
64 # 228 ---> 212 (95)
64 # 212 ---> 211 (96)
20 # 213 ---> 212 (96)
20 # 212 ---> 196 (97)
66 # 148 ---> 147 (25)
28 # 164 ---> 148 (25)
20 # 196 ---> 180 (98)
71 # 20 ---> 4 (83)
20 # 180 ---> 164 (99)
75 # 28 ---> 27 (76)
75 # 27 ---> 26 (77)
75 # 26 ---> 25 (84)
75 # 25 ---> 24 (85)
75 # 24 ---> 23 (86)
75 # 23 ---> 22 (87)
75 # 22 ---> 21 (88)
75 # 21 ---> 37 (89)
75 # 37 ---> 53 (90)
75 # 53 ---> 69 (91)
75 # 69 ---> 85 (92)
75 # 85 ---> 101 (93)
75 # 101 ---> 117 (94)
75 # 117 ---> 133 (95)
75 # 133 ---> 149 (96)
20 # 164 ---> 163 (100)
75 # 149 ---> 165 (97)
28 # 148 ---> 132 (26)
28 # 132 ---> 116 (27)
26 # 178 ---> 194 (8)
20 # 163 ---> 162 (101)
20 # 162 ---> 178 (102)
66 # 147 ---> 146 (27)
78 # 99 ---> 98 (42)
53 # 100 ---> 101 (94)
28 # 116 ---> 100 (94)
28 # 100 ---> 84 (95)
53 # 101 ---> 100 (95)
28 # 84 ---> 85 (96)
53 # 100 ---> 84 (96)
53 # 84 ---> 68 (97)
28 # 85 ---> 84 (97)
53 # 68 ---> 69 (98)
28 # 84 ---> 68 (98)
78 # 98 ---> 114 (43)
61 # 82 ---> 98 (56)
79 # 83 ---> 82 (56)
28 # 68 ---> 67 (99)
53 # 69 ---> 68 (99)
53 # 68 ---> 52 (100)
67 # 97 ---> 113 (38)
35 # 96 ---> 97 (38)
11 # 112 ---> 96 (38)
11 # 96 ---> 80 (39)
35 # 97 ---> 96 (39)
60 # 81 ---> 97 (39)
25 # 64 ---> 65 (37)
11 # 80 ---> 64 (40)
25 # 65 ---> 81 (39)
7 # 49 ---> 65 (87)
39 # 48 ---> 49 (87)
11 # 64 ---> 48 (87)
7 # 65 ---> 64 (88)
39 # 49 ---> 65 (88)
33 # 33 ---> 49 (88)
38 # 32 ---> 33 (88)
11 # 48 ---> 32 (88)
33 # 49 ---> 48 (89)
38 # 33 ---> 49 (89)
11 # 32 ---> 33 (89)
47 # 16 ---> 32 (89)
40 # 17 ---> 16 (89)
14 # 18 ---> 17 (89)
65 # 34 ---> 18 (89)
11 # 33 ---> 34 (90)
11 # 34 ---> 35 (91)
11 # 35 ---> 36 (92)
11 # 36 ---> 37 (93)
53 # 52 ---> 36 (101)
11 # 37 ---> 53 (94)
61 # 98 ---> 99 (57)
79 # 82 ---> 98 (57)
28 # 67 ---> 66 (100)
53 # 36 ---> 20 (102)
24 # 128 ---> 129 (38)
24 # 129 ---> 130 (39)
24 # 130 ---> 131 (40)
24 # 131 ---> 132 (41)
24 # 132 ---> 148 (42)
24 # 148 ---> 164 (100)
24 # 164 ---> 180 (101)
24 # 180 ---> 196 (102)
24 # 196 ---> 212 (103)
24 # 212 ---> 228 (104)
10 # 243 ---> 227 (4)
24 # 228 ---> 244 (105)
65 # 18 ---> 19 (90)
6 # 2 ---> 18 (90)
71 # 4 ---> 3 (84)
53 # 20 ---> 4 (103)
65 # 19 ---> 20 (103)
65 # 20 ---> 36 (104)
65 # 36 ---> 52 (105)
65 # 52 ---> 68 (106)
65 # 68 ---> 84 (107)
65 # 84 ---> 100 (108)
65 # 100 ---> 116 (109)
65 # 116 ---> 132 (110)
65 # 132 ---> 148 (111)
65 # 148 ---> 164 (112)
65 # 164 ---> 180 (113)
65 # 180 ---> 196 (114)
65 # 196 ---> 212 (115)
65 # 212 ---> 228 (116)
64 # 211 ---> 212 (116)
10 # 227 ---> 211 (116)
66 # 146 ---> 130 (40)
15 # 145 ---> 146 (40)
15 # 146 ---> 147 (41)
15 # 147 ---> 148 (112)
15 # 148 ---> 164 (113)
15 # 164 ---> 180 (114)
15 # 180 ---> 196 (115)
10 # 211 ---> 195 (117)
64 # 212 ---> 211 (117)
15 # 196 ---> 212 (117)
10 # 195 ---> 196 (118)
64 # 211 ---> 195 (118)
64 # 195 ---> 179 (119)
10 # 196 ---> 195 (119)
64 # 179 ---> 180 (120)
10 # 195 ---> 179 (120)
10 # 179 ---> 163 (121)
64 # 180 ---> 179 (121)
10 # 163 ---> 164 (122)
64 # 179 ---> 163 (122)
25 # 81 ---> 80 (40)
39 # 65 ---> 81 (89)
7 # 64 ---> 65 (89)
33 # 48 ---> 64 (90)
28 # 66 ---> 50 (101)
7 # 65 ---> 66 (101)
7 # 66 ---> 67 (102)
7 # 67 ---> 68 (107)
7 # 68 ---> 84 (108)
7 # 84 ---> 100 (109)
7 # 100 ---> 116 (110)
7 # 116 ---> 132 (111)
7 # 132 ---> 148 (113)
64 # 163 ---> 147 (123)
10 # 164 ---> 163 (123)
7 # 148 ---> 164 (123)
64 # 147 ---> 148 (124)
10 # 163 ---> 147 (124)
10 # 147 ---> 131 (125)
64 # 148 ---> 147 (125)
10 # 131 ---> 132 (126)
64 # 147 ---> 131 (126)
64 # 131 ---> 115 (127)
10 # 132 ---> 131 (127)
64 # 115 ---> 116 (128)
10 # 131 ---> 115 (128)
61 # 99 ---> 83 (58)
79 # 98 ---> 99 (58)
79 # 99 ---> 100 (110)
10 # 115 ---> 99 (129)
64 # 116 ---> 115 (129)
79 # 100 ---> 116 (129)
10 # 99 ---> 100 (130)
64 # 115 ---> 99 (130)
57 # 161 ---> 145 (40)
56 # 177 ---> 161 (40)
22 # 176 ---> 177 (40)
29 # 160 ---> 176 (40)
72 # 144 ---> 160 (40)
57 # 145 ---> 144 (41)
56 # 161 ---> 145 (41)
56 # 145 ---> 129 (42)
57 # 144 ---> 145 (42)
67 # 113 ---> 112 (39)
56 # 129 ---> 113 (43)
67 # 112 ---> 128 (40)
35 # 96 ---> 112 (40)
60 # 97 ---> 96 (40)
56 # 113 ---> 97 (44)
35 # 112 ---> 113 (44)
60 # 96 ---> 112 (44)
25 # 80 ---> 96 (44)
39 # 81 ---> 80 (90)
56 # 97 ---> 81 (90)
56 # 81 ---> 82 (91)
61 # 83 ---> 67 (107)
56 # 82 ---> 83 (107)
56 # 83 ---> 84 (109)
64 # 99 ---> 83 (131)
10 # 100 ---> 99 (131)
56 # 84 ---> 100 (131)
64 # 83 ---> 84 (132)
10 # 99 ---> 83 (132)
47 # 32 ---> 48 (90)
28 # 50 ---> 34 (102)
38 # 49 ---> 50 (102)
38 # 50 ---> 51 (103)
38 # 51 ---> 52 (106)
38 # 52 ---> 68 (108)
10 # 83 ---> 82 (133)
64 # 84 ---> 83 (133)
38 # 68 ---> 84 (133)
61 # 67 ---> 68 (133)
64 # 83 ---> 67 (134)
6 # 18 ---> 19 (103)
6 # 19 ---> 20 (104)
6 # 20 ---> 36 (105)
6 # 36 ---> 52 (108)
64 # 67 ---> 51 (135)
61 # 68 ---> 67 (135)
6 # 52 ---> 68 (135)
64 # 51 ---> 52 (136)
61 # 67 ---> 51 (136)
61 # 51 ---> 35 (137)
64 # 52 ---> 51 (137)
61 # 35 ---> 36 (138)
64 # 51 ---> 35 (138)
36 # 9 ---> 8 (79)
36 # 8 ---> 7 (80)
36 # 7 ---> 6 (81)
36 # 6 ---> 5 (82)
53 # 4 ---> 20 (105)
36 # 5 ---> 4 (105)
53 # 20 ---> 21 (106)
36 # 4 ---> 20 (106)
64 # 35 ---> 19 (139)
61 # 36 ---> 35 (139)
36 # 20 ---> 36 (139)
64 # 19 ---> 20 (140)
61 # 35 ---> 19 (140)
54 # 226 ---> 227 (116)
54 # 227 ---> 243 (117)
39 # 80 ---> 81 (91)
33 # 64 ---> 80 (91)
10 # 82 ---> 66 (134)
39 # 81 ---> 82 (134)
39 # 82 ---> 83 (135)
39 # 83 ---> 99 (136)
39 # 99 ---> 115 (137)
39 # 115 ---> 131 (138)
39 # 131 ---> 147 (139)
39 # 147 ---> 163 (140)
39 # 163 ---> 179 (141)
39 # 179 ---> 195 (142)
39 # 195 ---> 211 (143)
39 # 211 ---> 227 (144)
20 # 178 ---> 179 (142)
26 # 194 ---> 178 (142)
41 # 193 ---> 194 (142)
22 # 177 ---> 193 (142)
29 # 176 ---> 177 (142)
8 # 192 ---> 176 (142)
22 # 193 ---> 192 (143)
29 # 177 ---> 193 (143)
72 # 160 ---> 161 (41)
8 # 176 ---> 160 (143)
72 # 161 ---> 177 (143)
8 # 160 ---> 161 (144)
8 # 161 ---> 162 (145)
8 # 162 ---> 163 (146)
26 # 178 ---> 162 (146)
20 # 179 ---> 178 (146)
8 # 163 ---> 179 (147)
26 # 162 ---> 163 (147)
20 # 178 ---> 162 (147)
61 # 19 ---> 18 (141)
71 # 3 ---> 19 (141)
71 # 19 ---> 35 (142)
71 # 35 ---> 51 (143)
71 # 51 ---> 67 (144)
71 # 67 ---> 83 (145)
71 # 83 ---> 99 (146)
71 # 99 ---> 115 (147)
71 # 115 ---> 131 (148)
71 # 131 ---> 147 (149)
20 # 162 ---> 146 (148)
26 # 163 ---> 162 (148)
71 # 147 ---> 163 (150)
20 # 146 ---> 147 (150)
26 # 162 ---> 146 (150)
57 # 145 ---> 129 (43)
26 # 146 ---> 145 (151)
66 # 130 ---> 146 (151)
57 # 129 ---> 130 (151)
57 # 130 ---> 131 (152)
66 # 146 ---> 130 (152)
20 # 147 ---> 146 (152)
57 # 131 ---> 147 (153)
66 # 130 ---> 131 (153)
20 # 146 ---> 130 (153)
29 # 193 ---> 209 (144)
41 # 194 ---> 193 (144)
26 # 145 ---> 161 (152)
20 # 130 ---> 129 (154)
20 # 129 ---> 145 (155)
35 # 113 ---> 129 (155)
78 # 114 ---> 113 (155)
66 # 131 ---> 130 (154)
66 # 130 ---> 114 (155)
10 # 66 ---> 67 (145)
10 # 67 ---> 83 (146)
10 # 83 ---> 99 (147)
66 # 114 ---> 98 (156)
10 # 99 ---> 115 (148)
66 # 98 ---> 82 (157)
66 # 82 ---> 66 (158)
59 # 0 ---> 2 (90)
59 # 2 ---> 3 (141)
59 # 3 ---> 19 (142)
59 # 19 ---> 35 (143)
59 # 35 ---> 51 (144)
59 # 51 ---> 67 (146)
66 # 66 ---> 50 (159)
67 # 128 ---> 144 (42)
35 # 129 ---> 128 (156)
20 # 145 ---> 129 (156)
67 # 144 ---> 145 (156)
35 # 128 ---> 144 (157)
60 # 112 ---> 128 (157)
78 # 113 ---> 112 (157)
20 # 129 ---> 113 (157)
20 # 113 ---> 97 (158)
20 # 97 ---> 81 (159)
20 # 81 ---> 65 (160)
20 # 65 ---> 49 (161)
20 # 49 ---> 33 (162)
66 # 50 ---> 49 (162)
28 # 34 ---> 50 (162)
20 # 33 ---> 34 (163)
20 # 34 ---> 35 (164)
28 # 50 ---> 34 (164)
20 # 35 ---> 51 (165)
64 # 20 ---> 19 (143)
64 # 19 ---> 35 (165)
61 # 18 ---> 19 (165)
28 # 34 ---> 18 (165)
67 # 145 ---> 129 (157)
26 # 161 ---> 145 (157)
72 # 177 ---> 161 (157)
41 # 193 ---> 177 (157)
29 # 209 ---> 193 (157)
14 # 17 ---> 0 (90)
28 # 18 ---> 17 (166)
41 # 177 ---> 178 (158)
29 # 193 ---> 177 (158)
1 # 240 ---> 224 (2)
46 # 208 ---> 209 (157)
1 # 224 ---> 208 (157)
22 # 192 ---> 193 (158)
1 # 208 ---> 192 (158)
1 # 192 ---> 176 (159)
1 # 176 ---> 160 (160)
29 # 177 ---> 176 (160)
72 # 161 ---> 177 (160)
1 # 160 ---> 161 (161)
1 # 161 ---> 162 (162)
72 # 177 ---> 161 (162)
41 # 178 ---> 177 (162)
1 # 162 ---> 178 (163)
67 # 129 ---> 130 (158)
26 # 145 ---> 129 (158)
53 # 21 ---> 5 (107)
26 # 129 ---> 113 (159)
67 # 130 ---> 129 (159)
26 # 113 ---> 114 (160)
67 # 129 ---> 113 (160)
67 # 113 ---> 97 (161)
26 # 114 ---> 113 (161)
67 # 97 ---> 98 (162)
26 # 113 ---> 97 (162)
53 # 5 ---> 6 (108)
61 # 19 ---> 3 (166)
26 # 97 ---> 81 (163)
67 # 98 ---> 97 (163)
26 # 81 ---> 82 (164)
67 # 97 ---> 81 (164)
61 # 3 ---> 2 (167)
61 # 2 ---> 18 (168)
61 # 18 ---> 34 (169)
61 # 34 ---> 50 (170)
61 # 50 ---> 66 (171)
67 # 81 ---> 65 (165)
26 # 82 ---> 81 (165)
61 # 66 ---> 82 (172)
67 # 65 ---> 66 (172)
26 # 81 ---> 65 (172)
26 # 65 ---> 64 (173)
67 # 66 ---> 65 (173)
66 # 49 ---> 50 (171)
67 # 65 ---> 49 (174)
67 # 49 ---> 33 (175)
66 # 50 ---> 49 (175)
29 # 176 ---> 192 (161)
40 # 16 ---> 32 (90)
28 # 17 ---> 16 (167)
67 # 33 ---> 17 (176)
60 # 128 ---> 129 (160)
78 # 112 ---> 128 (160)
60 # 129 ---> 113 (162)
35 # 144 ---> 145 (158)
78 # 128 ---> 144 (161)
35 # 145 ---> 129 (162)
78 # 144 ---> 160 (162)
72 # 161 ---> 145 (163)
78 # 160 ---> 176 (163)
41 # 177 ---> 161 (163)
22 # 193 ---> 177 (163)
29 # 192 ---> 193 (163)
78 # 176 ---> 192 (164)
78 # 192 ---> 208 (165)
22 # 177 ---> 176 (164)
29 # 193 ---> 177 (164)
46 # 209 ---> 193 (164)
78 # 208 ---> 224 (166)
68 # 225 ---> 209 (164)
78 # 224 ---> 225 (167)
78 # 225 ---> 241 (168)
33 # 80 ---> 81 (172)
26 # 64 ---> 80 (174)
33 # 81 ---> 65 (174)
25 # 96 ---> 97 (164)
26 # 80 ---> 96 (175)
26 # 96 ---> 112 (176)
26 # 112 ---> 128 (177)
26 # 128 ---> 144 (178)
26 # 144 ---> 160 (179)
25 # 97 ---> 81 (174)
60 # 113 ---> 97 (174)
35 # 129 ---> 113 (174)
72 # 145 ---> 129 (174)
41 # 161 ---> 145 (174)
29 # 177 ---> 161 (174)
22 # 176 ---> 177 (174)
26 # 160 ---> 176 (180)
26 # 176 ---> 192 (181)
26 # 192 ---> 208 (182)
46 # 193 ---> 192 (182)
68 # 209 ---> 193 (182)
26 # 208 ---> 209 (183)
26 # 209 ---> 225 (184)
40 # 32 ---> 33 (176)
47 # 48 ---> 32 (176)
66 # 49 ---> 48 (176)
66 # 48 ---> 64 (177)
66 # 64 ---> 80 (178)
66 # 80 ---> 96 (179)
66 # 96 ---> 112 (180)
66 # 112 ---> 128 (181)
66 # 128 ---> 144 (182)
66 # 144 ---> 160 (183)
66 # 160 ---> 176 (184)
33 # 65 ---> 49 (176)
25 # 81 ---> 65 (176)
60 # 97 ---> 81 (176)
35 # 113 ---> 97 (176)
72 # 129 ---> 113 (176)
41 # 145 ---> 129 (176)
29 # 161 ---> 145 (176)
22 # 177 ---> 161 (176)
68 # 193 ---> 177 (183)
46 # 192 ---> 193 (183)
66 # 176 ---> 192 (185)
66 # 192 ---> 208 (186)
66 # 208 ---> 209 (187)
26 # 225 ---> 224 (185)
66 # 209 ---> 225 (188)
67 # 17 ---> 18 (177)
14 # 0 ---> 17 (177)
67 # 18 ---> 2 (178)
14 # 17 ---> 18 (178)
28 # 16 ---> 17 (178)
69 # 1 ---> 16 (178)
28 # 17 ---> 0 (179)
69 # 16 ---> 17 (179)
28 # 0 ---> 1 (180)
69 # 17 ---> 0 (180)
40 # 33 ---> 17 (180)
68 # 177 ---> 176 (185)
46 # 193 ---> 177 (185)
53 # 6 ---> 7 (109)
67 # 2 ---> 3 (179)
14 # 18 ---> 2 (179)
67 # 3 ---> 19 (180)
14 # 2 ---> 3 (180)
69 # 0 ---> 2 (181)
40 # 17 ---> 0 (181)
33 # 49 ---> 33 (180)
25 # 65 ---> 49 (180)
60 # 81 ---> 65 (180)
35 # 97 ---> 81 (180)
72 # 113 ---> 97 (180)
41 # 129 ---> 113 (180)
29 # 145 ---> 129 (180)
22 # 161 ---> 145 (180)
46 # 177 ---> 161 (186)
68 # 176 ---> 177 (186)
53 # 7 ---> 8 (110)
14 # 3 ---> 4 (181)
67 # 19 ---> 3 (181)
14 # 4 ---> 20 (182)
67 # 3 ---> 4 (182)
69 # 2 ---> 3 (182)
40 # 0 ---> 2 (182)
46 # 161 ---> 160 (187)
68 # 177 ---> 161 (187)
67 # 4 ---> 5 (183)
14 # 20 ---> 4 (183)
33 # 33 ---> 17 (181)
25 # 49 ---> 33 (181)
60 # 65 ---> 49 (181)
35 # 81 ---> 65 (181)
72 # 97 ---> 81 (181)
41 # 113 ---> 97 (181)
29 # 129 ---> 113 (181)
22 # 145 ---> 129 (181)
68 # 161 ---> 145 (188)
46 # 160 ---> 161 (188)
68 # 145 ---> 144 (189)
46 # 161 ---> 145 (189)
53 # 8 ---> 9 (111)
67 # 5 ---> 6 (184)
14 # 4 ---> 5 (184)
69 # 3 ---> 4 (184)
40 # 2 ---> 3 (184)
33 # 17 ---> 0 (182)
25 # 33 ---> 17 (182)
60 # 49 ---> 33 (182)
35 # 65 ---> 49 (182)
72 # 81 ---> 65 (182)
41 # 97 ---> 81 (182)
29 # 113 ---> 97 (182)
22 # 129 ---> 113 (182)
46 # 145 ---> 129 (190)
68 # 144 ---> 145 (190)
25 # 17 ---> 18 (183)
33 # 0 ---> 17 (183)
25 # 18 ---> 2 (184)
33 # 17 ---> 18 (184)
47 # 32 ---> 48 (177)
47 # 48 ---> 64 (178)
47 # 64 ---> 80 (179)
47 # 80 ---> 96 (180)
47 # 96 ---> 112 (181)
47 # 112 ---> 128 (182)
47 # 128 ---> 144 (190)
46 # 129 ---> 128 (191)
68 # 145 ---> 129 (191)
47 # 144 ---> 145 (191)
47 # 145 ---> 161 (192)
53 # 9 ---> 10 (112)
67 # 6 ---> 7 (185)
14 # 5 ---> 6 (185)
69 # 4 ---> 5 (185)
40 # 3 ---> 4 (185)
25 # 2 ---> 3 (185)
33 # 18 ---> 2 (185)
25 # 3 ---> 19 (186)
33 # 2 ---> 3 (186)
60 # 33 ---> 17 (184)
35 # 49 ---> 33 (184)
72 # 65 ---> 49 (184)
41 # 81 ---> 65 (184)
29 # 97 ---> 81 (184)
22 # 113 ---> 97 (184)
68 # 129 ---> 113 (192)
46 # 128 ---> 129 (192)
47 # 161 ---> 160 (193)
60 # 17 ---> 16 (185)
60 # 16 ---> 32 (186)
60 # 32 ---> 48 (187)
60 # 48 ---> 64 (188)
60 # 64 ---> 80 (189)
60 # 80 ---> 96 (190)
60 # 96 ---> 112 (191)
60 # 112 ---> 128 (192)
68 # 113 ---> 112 (193)
46 # 129 ---> 113 (193)
60 # 128 ---> 129 (193)
60 # 129 ---> 145 (194)
67 # 7 ---> 23 (186)
67 # 23 ---> 24 (187)
14 # 6 ---> 22 (186)
14 # 22 ---> 23 (187)
69 # 5 ---> 21 (186)
69 # 21 ---> 22 (187)
40 # 4 ---> 20 (186)
40 # 20 ---> 21 (187)
25 # 19 ---> 20 (187)
35 # 33 ---> 17 (185)
72 # 49 ---> 33 (185)
41 # 65 ---> 49 (185)
29 # 81 ---> 65 (185)
22 # 97 ---> 81 (185)
46 # 113 ---> 97 (194)
68 # 112 ---> 113 (194)
60 # 145 ---> 144 (195)
14 # 23 ---> 7 (188)
67 # 24 ---> 23 (188)
14 # 7 ---> 8 (189)
69 # 22 ---> 6 (188)
67 # 23 ---> 22 (189)
69 # 6 ---> 7 (189)
40 # 21 ---> 5 (188)
67 # 22 ---> 21 (190)
40 # 5 ---> 6 (189)
25 # 20 ---> 4 (188)
67 # 21 ---> 20 (191)
67 # 20 ---> 19 (192)
67 # 19 ---> 18 (193)
25 # 4 ---> 5 (189)
33 # 3 ---> 4 (189)
35 # 17 ---> 0 (186)
67 # 18 ---> 17 (194)
67 # 17 ---> 16 (195)
67 # 16 ---> 32 (196)
67 # 32 ---> 48 (197)
67 # 48 ---> 64 (198)
67 # 64 ---> 80 (199)
67 # 80 ---> 96 (200)
67 # 96 ---> 112 (201)
46 # 97 ---> 96 (201)
68 # 113 ---> 97 (201)
67 # 112 ---> 113 (202)
67 # 113 ---> 129 (203)
46 # 96 ---> 112 (202)
68 # 97 ---> 96 (202)
46 # 112 ---> 113 (203)
68 # 96 ---> 112 (203)
46 # 113 ---> 97 (204)
68 # 112 ---> 113 (204)
67 # 129 ---> 128 (204)
68 # 113 ---> 129 (205)
22 # 81 ---> 80 (200)
22 # 80 ---> 64 (201)
46 # 97 ---> 81 (205)
14 # 8 ---> 24 (190)
14 # 24 ---> 25 (191)
69 # 7 ---> 23 (190)
69 # 23 ---> 24 (191)
40 # 6 ---> 22 (190)
40 # 22 ---> 23 (191)
25 # 5 ---> 21 (191)
25 # 21 ---> 22 (192)
72 # 33 ---> 17 (195)
41 # 49 ---> 33 (195)
29 # 65 ---> 49 (195)
46 # 81 ---> 65 (206)
53 # 10 ---> 26 (113)
25 # 22 ---> 6 (193)
72 # 17 ---> 18 (196)
41 # 33 ---> 17 (196)
29 # 49 ---> 33 (196)
46 # 65 ---> 49 (207)
22 # 64 ---> 65 (207)
72 # 18 ---> 19 (197)
41 # 17 ---> 18 (197)
28 # 1 ---> 16 (196)
28 # 16 ---> 32 (197)
28 # 32 ---> 48 (198)
28 # 48 ---> 64 (207)
46 # 49 ---> 48 (208)
22 # 65 ---> 49 (208)
28 # 64 ---> 65 (208)
28 # 65 ---> 81 (209)
33 # 4 ---> 5 (191)
72 # 19 ---> 3 (198)
72 # 3 ---> 4 (199)
41 # 18 ---> 2 (198)
41 # 2 ---> 3 (199)
29 # 33 ---> 17 (197)
22 # 49 ---> 33 (209)
46 # 48 ---> 49 (209)
28 # 81 ---> 80 (210)
14 # 25 ---> 9 (192)
53 # 26 ---> 25 (192)
14 # 9 ---> 10 (193)
69 # 24 ---> 8 (192)
53 # 25 ---> 24 (193)
69 # 8 ---> 9 (193)
40 # 23 ---> 7 (192)
53 # 24 ---> 23 (194)
53 # 23 ---> 22 (195)
53 # 22 ---> 21 (196)
53 # 21 ---> 20 (197)
53 # 20 ---> 19 (198)
53 # 19 ---> 18 (199)
40 # 7 ---> 8 (193)
25 # 6 ---> 7 (194)
33 # 5 ---> 6 (194)
72 # 4 ---> 5 (200)
41 # 3 ---> 4 (200)
35 # 0 ---> 2 (199)
29 # 17 ---> 0 (199)
53 # 18 ---> 17 (200)
53 # 17 ---> 16 (201)
53 # 16 ---> 32 (202)
53 # 32 ---> 48 (209)
22 # 33 ---> 17 (210)
46 # 49 ---> 33 (210)
53 # 48 ---> 49 (210)
53 # 49 ---> 65 (211)
72 # 5 ---> 21 (201)
33 # 6 ---> 5 (201)
41 # 4 ---> 20 (201)
33 # 5 ---> 4 (202)
33 # 4 ---> 3 (203)
35 # 2 ---> 18 (200)
33 # 3 ---> 2 (204)
35 # 18 ---> 19 (201)
22 # 17 ---> 18 (211)
29 # 0 ---> 17 (211)
33 # 2 ---> 0 (211)
33 # 0 ---> 1 (212)
33 # 1 ---> 16 (213)
33 # 16 ---> 32 (214)
33 # 32 ---> 48 (215)
33 # 48 ---> 49 (216)
53 # 65 ---> 64 (212)
33 # 49 ---> 65 (217)
29 # 17 ---> 16 (214)
29 # 16 ---> 32 (215)
46 # 33 ---> 17 (214)
29 # 32 ---> 33 (216)
29 # 33 ---> 49 (217)
29 # 49 ---> 48 (218)
69 # 9 ---> 25 (194)
40 # 8 ---> 9 (194)
69 # 25 ---> 24 (195)
14 # 10 ---> 26 (194)
40 # 9 ---> 10 (195)
14 # 26 ---> 25 (195)
32 # 11 ---> 27 (77)
40 # 10 ---> 11 (196)
40 # 11 ---> 12 (197)
40 # 12 ---> 13 (198)
40 # 13 ---> 29 (199)
40 # 29 ---> 30 (200)
25 # 7 ---> 23 (195)
40 # 30 ---> 14 (201)
69 # 24 ---> 8 (196)
69 # 8 ---> 9 (197)
69 # 9 ---> 10 (198)
69 # 10 ---> 11 (199)
32 # 27 ---> 26 (195)
69 # 11 ---> 27 (200)
69 # 27 ---> 28 (201)
46 # 17 ---> 0 (215)
46 # 0 ---> 2 (216)
46 # 2 ---> 3 (217)
46 # 3 ---> 4 (218)
46 # 4 ---> 5 (219)
46 # 5 ---> 6 (220)
46 # 6 ---> 7 (221)
46 # 7 ---> 8 (222)
46 # 8 ---> 9 (223)
46 # 9 ---> 10 (224)
46 # 10 ---> 11 (225)
46 # 11 ---> 27 (226)
69 # 28 ---> 12 (202)
46 # 27 ---> 28 (227)
14 # 25 ---> 9 (224)
32 # 26 ---> 25 (224)
22 # 18 ---> 17 (215)
35 # 19 ---> 18 (215)
41 # 20 ---> 19 (215)
72 # 21 ---> 20 (215)
25 # 23 ---> 22 (196)
32 # 25 ---> 24 (225)
14 # 9 ---> 25 (225)
32 # 24 ---> 8 (226)
14 # 25 ---> 24 (226)
25 # 22 ---> 6 (221)
14 # 24 ---> 23 (227)
32 # 8 ---> 24 (227)
14 # 23 ---> 7 (228)
32 # 24 ---> 23 (228)
32 # 23 ---> 22 (229)
14 # 7 ---> 8 (229)
14 # 8 ---> 24 (230)
14 # 24 ---> 23 (231)
25 # 6 ---> 7 (229)
32 # 22 ---> 6 (230)
14 # 23 ---> 22 (232)
25 # 7 ---> 23 (232)
25 # 23 ---> 24 (233)
14 # 22 ---> 21 (233)
32 # 6 ---> 22 (233)
25 # 24 ---> 8 (234)
41 # 19 ---> 3 (218)
41 # 3 ---> 4 (219)
41 # 4 ---> 5 (220)
41 # 5 ---> 6 (233)
14 # 21 ---> 5 (234)
32 # 22 ---> 21 (234)
41 # 6 ---> 22 (234)
41 # 22 ---> 23 (235)
35 # 18 ---> 2 (217)
35 # 2 ---> 3 (219)
35 # 3 ---> 4 (220)
72 # 20 ---> 19 (218)
32 # 21 ---> 20 (235)
14 # 5 ---> 21 (235)
35 # 4 ---> 5 (235)
35 # 5 ---> 6 (236)
35 # 6 ---> 22 (237)
41 # 23 ---> 7 (236)
35 # 22 ---> 23 (238)
32 # 20 ---> 4 (236)
32 # 4 ---> 5 (237)
14 # 21 ---> 20 (236)
32 # 5 ---> 21 (238)
32 # 21 ---> 22 (239)
32 # 22 ---> 6 (240)
72 # 19 ---> 3 (220)
72 # 3 ---> 4 (237)
14 # 20 ---> 19 (237)
72 # 4 ---> 20 (238)
72 # 20 ---> 21 (239)
22 # 17 ---> 0 (216)
22 # 0 ---> 2 (219)
22 # 2 ---> 3 (237)
22 # 3 ---> 4 (238)
22 # 4 ---> 20 (239)
72 # 21 ---> 5 (240)
22 # 20 ---> 21 (240)
14 # 19 ---> 3 (238)
Undirected graph: (|V|=256 |E|=480) [
    Vertex: (id = 0) {1 2 17 }
    Vertex: (id = 1) {0 16 }
    Vertex: (id = 2) {0 3 18 }
    Vertex: (id = 3) {2 4 19 }
    Vertex: (id = 4) {3 5 20 }
    Vertex: (id = 5) {4 6 21 }
    Vertex: (id = 6) {5 7 22 }
    Vertex: (id = 7) {6 8 23 }
    Vertex: (id = 8) {7 9 24 }
    Vertex: (id = 9) {8 10 25 }
    Vertex: (id = 10) {9 11 26 }
    Vertex: (id = 11) {10 12 27 }
    Vertex: (id = 12) {11 13 28 }
    Vertex: (id = 13) {12 14 29 }
    Vertex: (id = 14) {13 15 30 }
    Vertex: (id = 15) {14 31 }
    Vertex: (id = 16) {1 17 32 }
    Vertex: (id = 17) {16 0 18 33 }
    Vertex: (id = 18) {17 2 19 34 }
    Vertex: (id = 19) {18 3 20 35 }
    Vertex: (id = 20) {19 4 21 36 }
    Vertex: (id = 21) {20 5 22 37 }
    Vertex: (id = 22) {21 6 23 38 }
    Vertex: (id = 23) {22 7 24 39 }
    Vertex: (id = 24) {23 8 25 40 }
    Vertex: (id = 25) {24 9 26 41 }
    Vertex: (id = 26) {25 10 27 42 }
    Vertex: (id = 27) {26 11 28 43 }
    Vertex: (id = 28) {27 12 29 44 }
    Vertex: (id = 29) {28 13 30 45 }
    Vertex: (id = 30) {29 14 31 46 }
    Vertex: (id = 31) {30 15 47 }
    Vertex: (id = 32) {16 33 48 }
    Vertex: (id = 33) {32 17 34 49 }
    Vertex: (id = 34) {18 33 50 35 }
    Vertex: (id = 35) {19 34 51 36 }
    Vertex: (id = 36) {20 35 52 37 }
    Vertex: (id = 37) {21 36 53 38 }
    Vertex: (id = 38) {22 37 54 39 }
    Vertex: (id = 39) {23 38 55 40 }
    Vertex: (id = 40) {24 39 56 41 }
    Vertex: (id = 41) {25 40 57 42 }
    Vertex: (id = 42) {26 41 58 43 }
    Vertex: (id = 43) {27 42 59 44 }
    Vertex: (id = 44) {28 43 60 45 }
    Vertex: (id = 45) {29 44 61 46 }
    Vertex: (id = 46) {30 45 62 47 }
    Vertex: (id = 47) {31 46 63 }
    Vertex: (id = 48) {32 49 64 }
    Vertex: (id = 49) {48 33 50 65 }
    Vertex: (id = 50) {34 49 66 51 }
    Vertex: (id = 51) {35 50 67 52 }
    Vertex: (id = 52) {36 51 68 53 }
    Vertex: (id = 53) {37 52 69 54 }
    Vertex: (id = 54) {38 53 70 55 }
    Vertex: (id = 55) {39 54 71 56 }
    Vertex: (id = 56) {40 55 72 57 }
    Vertex: (id = 57) {41 56 73 58 }
    Vertex: (id = 58) {42 57 74 59 }
    Vertex: (id = 59) {43 58 75 60 }
    Vertex: (id = 60) {44 59 76 61 }
    Vertex: (id = 61) {45 60 77 62 }
    Vertex: (id = 62) {46 61 78 63 }
    Vertex: (id = 63) {47 62 79 }
    Vertex: (id = 64) {48 65 80 }
    Vertex: (id = 65) {64 49 66 81 }
    Vertex: (id = 66) {50 65 82 67 }
    Vertex: (id = 67) {51 66 83 68 }
    Vertex: (id = 68) {52 67 84 69 }
    Vertex: (id = 69) {53 68 85 70 }
    Vertex: (id = 70) {54 69 86 71 }
    Vertex: (id = 71) {55 70 87 72 }
    Vertex: (id = 72) {56 71 88 73 }
    Vertex: (id = 73) {57 72 89 74 }
    Vertex: (id = 74) {58 73 90 75 }
    Vertex: (id = 75) {59 74 91 76 }
    Vertex: (id = 76) {60 75 92 77 }
    Vertex: (id = 77) {61 76 93 78 }
    Vertex: (id = 78) {62 77 94 79 }
    Vertex: (id = 79) {63 78 95 }
    Vertex: (id = 80) {64 81 96 }
    Vertex: (id = 81) {80 65 82 97 }
    Vertex: (id = 82) {66 81 98 83 }
    Vertex: (id = 83) {67 82 99 84 }
    Vertex: (id = 84) {68 83 100 85 }
    Vertex: (id = 85) {69 84 101 86 }
    Vertex: (id = 86) {70 85 102 87 }
    Vertex: (id = 87) {71 86 103 88 }
    Vertex: (id = 88) {72 87 104 89 }
    Vertex: (id = 89) {73 88 105 90 }
    Vertex: (id = 90) {74 89 106 91 }
    Vertex: (id = 91) {75 90 107 92 }
    Vertex: (id = 92) {76 91 108 93 }
    Vertex: (id = 93) {77 92 109 94 }
    Vertex: (id = 94) {78 93 110 95 }
    Vertex: (id = 95) {79 94 111 }
    Vertex: (id = 96) {80 97 112 }
    Vertex: (id = 97) {96 81 98 113 }
    Vertex: (id = 98) {82 97 114 99 }
    Vertex: (id = 99) {83 98 115 100 }
    Vertex: (id = 100) {84 99 116 101 }
    Vertex: (id = 101) {85 100 117 102 }
    Vertex: (id = 102) {86 101 118 103 }
    Vertex: (id = 103) {87 102 119 104 }
    Vertex: (id = 104) {88 103 120 105 }
    Vertex: (id = 105) {89 104 121 106 }
    Vertex: (id = 106) {90 105 122 107 }
    Vertex: (id = 107) {91 106 123 108 }
    Vertex: (id = 108) {92 107 124 109 }
    Vertex: (id = 109) {93 108 125 110 }
    Vertex: (id = 110) {94 109 126 111 }
    Vertex: (id = 111) {95 110 127 }
    Vertex: (id = 112) {96 113 128 }
    Vertex: (id = 113) {112 97 114 129 }
    Vertex: (id = 114) {98 113 130 115 }
    Vertex: (id = 115) {99 114 131 116 }
    Vertex: (id = 116) {100 115 132 117 }
    Vertex: (id = 117) {101 116 133 118 }
    Vertex: (id = 118) {102 117 134 119 }
    Vertex: (id = 119) {103 118 135 120 }
    Vertex: (id = 120) {104 119 136 121 }
    Vertex: (id = 121) {105 120 137 122 }
    Vertex: (id = 122) {106 121 138 123 }
    Vertex: (id = 123) {107 122 139 124 }
    Vertex: (id = 124) {108 123 140 125 }
    Vertex: (id = 125) {109 124 141 126 }
    Vertex: (id = 126) {110 125 142 127 }
    Vertex: (id = 127) {111 126 143 }
    Vertex: (id = 128) {112 129 144 }
    Vertex: (id = 129) {128 113 130 145 }
    Vertex: (id = 130) {114 129 146 131 }
    Vertex: (id = 131) {115 130 147 132 }
    Vertex: (id = 132) {116 131 148 133 }
    Vertex: (id = 133) {117 132 149 134 }
    Vertex: (id = 134) {118 133 150 135 }
    Vertex: (id = 135) {119 134 151 136 }
    Vertex: (id = 136) {120 135 152 137 }
    Vertex: (id = 137) {121 136 153 138 }
    Vertex: (id = 138) {122 137 154 139 }
    Vertex: (id = 139) {123 138 155 140 }
    Vertex: (id = 140) {124 139 156 141 }
    Vertex: (id = 141) {125 140 157 142 }
    Vertex: (id = 142) {126 141 158 143 }
    Vertex: (id = 143) {127 142 159 }
    Vertex: (id = 144) {128 145 160 }
    Vertex: (id = 145) {144 129 146 161 }
    Vertex: (id = 146) {130 145 162 147 }
    Vertex: (id = 147) {131 146 163 148 }
    Vertex: (id = 148) {132 147 164 149 }
    Vertex: (id = 149) {133 148 165 150 }
    Vertex: (id = 150) {134 149 166 151 }
    Vertex: (id = 151) {135 150 167 152 }
    Vertex: (id = 152) {136 151 168 153 }
    Vertex: (id = 153) {137 152 169 154 }
    Vertex: (id = 154) {138 153 170 155 }
    Vertex: (id = 155) {139 154 171 156 }
    Vertex: (id = 156) {140 155 172 157 }
    Vertex: (id = 157) {141 156 173 158 }
    Vertex: (id = 158) {142 157 174 159 }
    Vertex: (id = 159) {143 158 175 }
    Vertex: (id = 160) {144 161 176 }
    Vertex: (id = 161) {160 145 162 177 }
    Vertex: (id = 162) {146 161 178 163 }
    Vertex: (id = 163) {147 162 179 164 }
    Vertex: (id = 164) {148 163 180 165 }
    Vertex: (id = 165) {149 164 181 166 }
    Vertex: (id = 166) {150 165 182 167 }
    Vertex: (id = 167) {151 166 183 168 }
    Vertex: (id = 168) {152 167 184 169 }
    Vertex: (id = 169) {153 168 185 170 }
    Vertex: (id = 170) {154 169 186 171 }
    Vertex: (id = 171) {155 170 187 172 }
    Vertex: (id = 172) {156 171 188 173 }
    Vertex: (id = 173) {157 172 189 174 }
    Vertex: (id = 174) {158 173 190 175 }
    Vertex: (id = 175) {159 174 191 }
    Vertex: (id = 176) {160 177 192 }
    Vertex: (id = 177) {176 161 178 193 }
    Vertex: (id = 178) {162 177 194 179 }
    Vertex: (id = 179) {163 178 195 180 }
    Vertex: (id = 180) {164 179 196 181 }
    Vertex: (id = 181) {165 180 197 182 }
    Vertex: (id = 182) {166 181 198 183 }
    Vertex: (id = 183) {167 182 199 184 }
    Vertex: (id = 184) {168 183 200 185 }
    Vertex: (id = 185) {169 184 201 186 }
    Vertex: (id = 186) {170 185 202 187 }
    Vertex: (id = 187) {171 186 203 188 }
    Vertex: (id = 188) {172 187 204 189 }
    Vertex: (id = 189) {173 188 205 190 }
    Vertex: (id = 190) {174 189 206 191 }
    Vertex: (id = 191) {175 190 207 }
    Vertex: (id = 192) {176 193 208 }
    Vertex: (id = 193) {192 177 194 209 }
    Vertex: (id = 194) {178 193 210 195 }
    Vertex: (id = 195) {179 194 211 196 }
    Vertex: (id = 196) {180 195 212 197 }
    Vertex: (id = 197) {181 196 213 198 }
    Vertex: (id = 198) {182 197 214 199 }
    Vertex: (id = 199) {183 198 215 200 }
    Vertex: (id = 200) {184 199 216 201 }
    Vertex: (id = 201) {185 200 217 202 }
    Vertex: (id = 202) {186 201 218 203 }
    Vertex: (id = 203) {187 202 219 204 }
    Vertex: (id = 204) {188 203 220 205 }
    Vertex: (id = 205) {189 204 221 206 }
    Vertex: (id = 206) {190 205 222 207 }
    Vertex: (id = 207) {191 206 223 }
    Vertex: (id = 208) {192 209 224 }
    Vertex: (id = 209) {208 193 210 225 }
    Vertex: (id = 210) {194 209 226 211 }
    Vertex: (id = 211) {195 210 227 212 }
    Vertex: (id = 212) {196 211 228 213 }
    Vertex: (id = 213) {197 212 229 214 }
    Vertex: (id = 214) {198 213 230 215 }
    Vertex: (id = 215) {199 214 231 216 }
    Vertex: (id = 216) {200 215 232 217 }
    Vertex: (id = 217) {201 216 233 218 }
    Vertex: (id = 218) {202 217 234 219 }
    Vertex: (id = 219) {203 218 235 220 }
    Vertex: (id = 220) {204 219 236 221 }
    Vertex: (id = 221) {205 220 237 222 }
    Vertex: (id = 222) {206 221 238 223 }
    Vertex: (id = 223) {207 222 239 }
    Vertex: (id = 224) {208 225 240 }
    Vertex: (id = 225) {224 209 226 241 }
    Vertex: (id = 226) {210 225 242 227 }
    Vertex: (id = 227) {211 226 243 228 }
    Vertex: (id = 228) {212 227 244 229 }
    Vertex: (id = 229) {213 228 245 230 }
    Vertex: (id = 230) {214 229 246 231 }
    Vertex: (id = 231) {215 230 247 232 }
    Vertex: (id = 232) {216 231 248 233 }
    Vertex: (id = 233) {217 232 249 234 }
    Vertex: (id = 234) {218 233 250 235 }
    Vertex: (id = 235) {219 234 251 236 }
    Vertex: (id = 236) {220 235 252 237 }
    Vertex: (id = 237) {221 236 253 238 }
    Vertex: (id = 238) {222 237 254 239 }
    Vertex: (id = 239) {223 238 255 }
    Vertex: (id = 240) {224 241 }
    Vertex: (id = 241) {240 225 242 }
    Vertex: (id = 242) {226 241 243 }
    Vertex: (id = 243) {227 242 244 }
    Vertex: (id = 244) {228 243 245 }
    Vertex: (id = 245) {229 244 246 }
    Vertex: (id = 246) {230 245 247 }
    Vertex: (id = 247) {231 246 248 }
    Vertex: (id = 248) {232 247 249 }
    Vertex: (id = 249) {233 248 250 }
    Vertex: (id = 250) {234 249 251 }
    Vertex: (id = 251) {235 250 252 }
    Vertex: (id = 252) {236 251 253 }
    Vertex: (id = 253) {237 252 254 }
    Vertex: (id = 254) {238 253 255 }
    Vertex: (id = 255) {239 254 }
    Edge  0 <-> 1 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5690)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5670)
    ]
    Edge  1 <-> 16 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5870)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5690)
    ]
    Edge  2 <-> 0 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5670)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a56b0)
    ]
    Edge  3 <-> 2 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a56b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a56d0)
    ]
    Edge  4 <-> 3 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a56d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a56f0)
    ]
    Edge  5 <-> 4 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a56f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5710)
    ]
    Edge  6 <-> 5 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5710)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5730)
    ]
    Edge  7 <-> 6 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5730)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5750)
    ]
    Edge  8 <-> 7 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5750)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5770)
    ]
    Edge  9 <-> 8 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5770)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5790)
    ]
    Edge  10 <-> 9 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5790)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a57b0)
    ]
    Edge  11 <-> 10 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a57b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a57d0)
    ]
    Edge  12 <-> 11 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a57d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a57f0)
    ]
    Edge  13 <-> 12 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a57f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5810)
    ]
    Edge  14 <-> 13 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5810)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5830)
    ]
    Edge  15 <-> 14 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5830)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5850)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5890)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5870)
    ]
    Edge  16 <-> 32 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5870)
    ]
    Edge  17 <-> 0 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5670)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5890)
    ]
    Edge  17 <-> 18 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5890)
    ]
    Edge  18 <-> 2 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a56b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58b0)
    ]
    Edge  18 <-> 19 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58b0)
    ]
    Edge  18 <-> 34 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ab0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58b0)
    ]
    Edge  19 <-> 3 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a56d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58d0)
    ]
    Edge  19 <-> 20 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58d0)
    ]
    Edge  19 <-> 35 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ad0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58d0)
    ]
    Edge  20 <-> 4 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a56f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58f0)
    ]
    Edge  20 <-> 21 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5910)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58f0)
    ]
    Edge  20 <-> 36 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5af0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a58f0)
    ]
    Edge  21 <-> 5 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5710)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5910)
    ]
    Edge  21 <-> 22 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5930)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5910)
    ]
    Edge  21 <-> 37 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5910)
    ]
    Edge  22 <-> 6 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5730)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5930)
    ]
    Edge  22 <-> 23 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5950)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5930)
    ]
    Edge  22 <-> 38 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5930)
    ]
    Edge  23 <-> 7 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5750)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5950)
    ]
    Edge  23 <-> 24 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5970)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5950)
    ]
    Edge  23 <-> 39 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5950)
    ]
    Edge  24 <-> 8 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5770)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5970)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5990)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5970)
    ]
    Edge  24 <-> 40 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5970)
    ]
    Edge  25 <-> 9 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5790)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5990)
    ]
    Edge  25 <-> 26 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5990)
    ]
    Edge  25 <-> 41 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5990)
    ]
    Edge  26 <-> 10 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a57b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59b0)
    ]
    Edge  26 <-> 27 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59b0)
    ]
    Edge  26 <-> 42 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59b0)
    ]
    Edge  27 <-> 11 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a57d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59d0)
    ]
    Edge  27 <-> 28 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59d0)
    ]
    Edge  27 <-> 43 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59d0)
    ]
    Edge  28 <-> 12 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a57f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59f0)
    ]
    Edge  28 <-> 29 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59f0)
    ]
    Edge  28 <-> 44 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bf0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a59f0)
    ]
    Edge  29 <-> 13 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5810)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a10)
    ]
    Edge  29 <-> 30 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a10)
    ]
    Edge  29 <-> 45 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a10)
    ]
    Edge  30 <-> 14 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5830)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a30)
    ]
    Edge  30 <-> 31 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a30)
    ]
    Edge  30 <-> 46 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a30)
    ]
    Edge  31 <-> 15 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5850)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a50)
    ]
    Edge  31 <-> 47 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a50)
    ]
    Edge  32 <-> 33 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a70)
    ]
    Edge  32 <-> 48 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a70)
    ]
    Edge  33 <-> 17 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5890)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a90)
    ]
    Edge  34 <-> 33 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ab0)
    ]
    Edge  34 <-> 50 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ab0)
    ]
    Edge  35 <-> 34 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ab0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ad0)
    ]
    Edge  35 <-> 51 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ad0)
    ]
    Edge  36 <-> 35 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ad0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5af0)
    ]
    Edge  36 <-> 52 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cf0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5af0)
    ]
    Edge  37 <-> 36 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5af0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b10)
    ]
    Edge  37 <-> 53 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b10)
    ]
    Edge  38 <-> 37 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b30)
    ]
    Edge  38 <-> 54 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b30)
    ]
    Edge  39 <-> 38 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b50)
    ]
    Edge  39 <-> 55 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b50)
    ]
    Edge  40 <-> 39 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b70)
    ]
    Edge  40 <-> 56 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b70)
    ]
    Edge  41 <-> 40 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b90)
    ]
    Edge  41 <-> 57 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b90)
    ]
    Edge  42 <-> 41 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5b90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bb0)
    ]
    Edge  42 <-> 58 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5db0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bb0)
    ]
    Edge  43 <-> 42 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bd0)
    ]
    Edge  43 <-> 59 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5dd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bd0)
    ]
    Edge  44 <-> 43 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bf0)
    ]
    Edge  44 <-> 60 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5df0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bf0)
    ]
    Edge  45 <-> 44 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5bf0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c10)
    ]
    Edge  45 <-> 61 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c10)
    ]
    Edge  46 <-> 45 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c30)
    ]
    Edge  46 <-> 62 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c30)
    ]
    Edge  47 <-> 46 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c50)
    ]
    Edge  47 <-> 63 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c50)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c70)
    ]
    Edge  48 <-> 64 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c70)
    ]
    Edge  49 <-> 33 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5a90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c90)
    ]
    Edge  50 <-> 49 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cb0)
    ]
    Edge  50 <-> 66 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5eb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cb0)
    ]
    Edge  51 <-> 50 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cd0)
    ]
    Edge  51 <-> 67 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ed0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cd0)
    ]
    Edge  52 <-> 51 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cf0)
    ]
    Edge  52 <-> 68 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ef0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cf0)
    ]
    Edge  53 <-> 52 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5cf0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d10)
    ]
    Edge  53 <-> 69 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d10)
    ]
    Edge  54 <-> 53 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d30)
    ]
    Edge  54 <-> 70 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d30)
    ]
    Edge  55 <-> 54 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d50)
    ]
    Edge  55 <-> 71 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d50)
    ]
    Edge  56 <-> 55 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d70)
    ]
    Edge  56 <-> 72 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d70)
    ]
    Edge  57 <-> 56 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d90)
    ]
    Edge  57 <-> 73 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d90)
    ]
    Edge  58 <-> 57 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5d90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5db0)
    ]
    Edge  58 <-> 74 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5fb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5db0)
    ]
    Edge  59 <-> 58 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5db0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5dd0)
    ]
    Edge  59 <-> 75 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5fd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5dd0)
    ]
    Edge  60 <-> 59 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5dd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5df0)
    ]
    Edge  60 <-> 76 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ff0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5df0)
    ]
    Edge  61 <-> 60 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5df0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e10)
    ]
    Edge  61 <-> 77 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6010)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e10)
    ]
    Edge  62 <-> 61 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e30)
    ]
    Edge  62 <-> 78 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6030)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e30)
    ]
    Edge  63 <-> 62 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e50)
    ]
    Edge  63 <-> 79 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6050)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e50)
    ]
    Edge  64 <-> 65 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e70)
    ]
    Edge  64 <-> 80 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6070)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e70)
    ]
    Edge  65 <-> 49 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5c90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e90)
    ]
    Edge  66 <-> 65 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5eb0)
    ]
    Edge  66 <-> 82 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5eb0)
    ]
    Edge  67 <-> 66 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5eb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ed0)
    ]
    Edge  67 <-> 83 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ed0)
    ]
    Edge  68 <-> 67 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ed0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ef0)
    ]
    Edge  68 <-> 84 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ef0)
    ]
    Edge  69 <-> 68 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ef0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f10)
    ]
    Edge  69 <-> 85 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6110)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f10)
    ]
    Edge  70 <-> 69 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f30)
    ]
    Edge  70 <-> 86 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6130)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f30)
    ]
    Edge  71 <-> 70 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f50)
    ]
    Edge  71 <-> 87 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6150)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f50)
    ]
    Edge  72 <-> 71 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f70)
    ]
    Edge  72 <-> 88 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6170)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f70)
    ]
    Edge  73 <-> 72 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f90)
    ]
    Edge  73 <-> 89 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6190)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f90)
    ]
    Edge  74 <-> 73 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5f90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5fb0)
    ]
    Edge  74 <-> 90 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5fb0)
    ]
    Edge  75 <-> 74 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5fb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5fd0)
    ]
    Edge  75 <-> 91 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5fd0)
    ]
    Edge  76 <-> 75 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5fd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ff0)
    ]
    Edge  76 <-> 92 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ff0)
    ]
    Edge  77 <-> 76 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5ff0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6010)
    ]
    Edge  77 <-> 93 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6210)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6010)
    ]
    Edge  78 <-> 77 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6010)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6030)
    ]
    Edge  78 <-> 94 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6230)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6030)
    ]
    Edge  79 <-> 78 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6030)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6050)
    ]
    Edge  79 <-> 95 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6250)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6050)
    ]
    Edge  80 <-> 81 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6090)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6070)
    ]
    Edge  80 <-> 96 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6270)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6070)
    ]
    Edge  81 <-> 65 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a5e90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6090)
    ]
    Edge  82 <-> 81 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6090)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60b0)
    ]
    Edge  82 <-> 98 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60b0)
    ]
    Edge  83 <-> 82 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60d0)
    ]
    Edge  83 <-> 99 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60d0)
    ]
    Edge  84 <-> 83 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60f0)
    ]
    Edge  84 <-> 100 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60f0)
    ]
    Edge  85 <-> 84 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a60f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6110)
    ]
    Edge  85 <-> 101 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6310)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6110)
    ]
    Edge  86 <-> 85 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6110)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6130)
    ]
    Edge  86 <-> 102 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6330)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6130)
    ]
    Edge  87 <-> 86 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6130)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6150)
    ]
    Edge  87 <-> 103 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6350)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6150)
    ]
    Edge  88 <-> 87 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6150)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6170)
    ]
    Edge  88 <-> 104 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6370)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6170)
    ]
    Edge  89 <-> 88 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6170)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6190)
    ]
    Edge  89 <-> 105 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6390)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6190)
    ]
    Edge  90 <-> 89 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6190)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61b0)
    ]
    Edge  90 <-> 106 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61b0)
    ]
    Edge  91 <-> 90 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61d0)
    ]
    Edge  91 <-> 107 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61d0)
    ]
    Edge  92 <-> 91 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61f0)
    ]
    Edge  92 <-> 108 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61f0)
    ]
    Edge  93 <-> 92 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a61f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6210)
    ]
    Edge  93 <-> 109 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6410)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6210)
    ]
    Edge  94 <-> 93 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6210)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6230)
    ]
    Edge  94 <-> 110 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6430)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6230)
    ]
    Edge  95 <-> 94 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6230)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6250)
    ]
    Edge  95 <-> 111 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6450)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6250)
    ]
    Edge  96 <-> 97 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6290)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6270)
    ]
    Edge  96 <-> 112 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6470)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6270)
    ]
    Edge  97 <-> 81 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6090)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6290)
    ]
    Edge  98 <-> 97 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6290)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62b0)
    ]
    Edge  98 <-> 114 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62b0)
    ]
    Edge  99 <-> 98 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62d0)
    ]
    Edge  99 <-> 115 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62d0)
    ]
    Edge  100 <-> 99 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62f0)
    ]
    Edge  100 <-> 116 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62f0)
    ]
    Edge  101 <-> 100 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a62f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6310)
    ]
    Edge  101 <-> 117 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6510)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6310)
    ]
    Edge  102 <-> 101 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6310)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6330)
    ]
    Edge  102 <-> 118 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6530)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6330)
    ]
    Edge  103 <-> 102 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6330)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6350)
    ]
    Edge  103 <-> 119 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6550)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6350)
    ]
    Edge  104 <-> 103 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6350)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6370)
    ]
    Edge  104 <-> 120 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6570)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6370)
    ]
    Edge  105 <-> 104 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6370)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6390)
    ]
    Edge  105 <-> 121 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6590)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6390)
    ]
    Edge  106 <-> 105 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6390)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63b0)
    ]
    Edge  106 <-> 122 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63b0)
    ]
    Edge  107 <-> 106 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63d0)
    ]
    Edge  107 <-> 123 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63d0)
    ]
    Edge  108 <-> 107 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63f0)
    ]
    Edge  108 <-> 124 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63f0)
    ]
    Edge  109 <-> 108 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a63f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6410)
    ]
    Edge  109 <-> 125 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6610)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6410)
    ]
    Edge  110 <-> 109 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6410)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6430)
    ]
    Edge  110 <-> 126 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6630)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6430)
    ]
    Edge  111 <-> 110 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6430)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6450)
    ]
    Edge  111 <-> 127 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6650)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6450)
    ]
    Edge  112 <-> 113 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6490)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6470)
    ]
    Edge  112 <-> 128 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6670)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6470)
    ]
    Edge  113 <-> 97 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6290)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6490)
    ]
    Edge  114 <-> 113 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6490)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64b0)
    ]
    Edge  114 <-> 130 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64b0)
    ]
    Edge  115 <-> 114 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64d0)
    ]
    Edge  115 <-> 131 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64d0)
    ]
    Edge  116 <-> 115 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64f0)
    ]
    Edge  116 <-> 132 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64f0)
    ]
    Edge  117 <-> 116 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a64f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6510)
    ]
    Edge  117 <-> 133 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6710)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6510)
    ]
    Edge  118 <-> 117 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6510)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6530)
    ]
    Edge  118 <-> 134 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6730)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6530)
    ]
    Edge  119 <-> 118 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6530)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6550)
    ]
    Edge  119 <-> 135 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6750)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6550)
    ]
    Edge  120 <-> 119 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6550)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6570)
    ]
    Edge  120 <-> 136 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6770)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6570)
    ]
    Edge  121 <-> 120 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6570)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6590)
    ]
    Edge  121 <-> 137 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6790)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6590)
    ]
    Edge  122 <-> 121 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6590)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65b0)
    ]
    Edge  122 <-> 138 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65b0)
    ]
    Edge  123 <-> 122 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65d0)
    ]
    Edge  123 <-> 139 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65d0)
    ]
    Edge  124 <-> 123 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65f0)
    ]
    Edge  124 <-> 140 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65f0)
    ]
    Edge  125 <-> 124 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a65f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6610)
    ]
    Edge  125 <-> 141 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6810)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6610)
    ]
    Edge  126 <-> 125 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6610)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6630)
    ]
    Edge  126 <-> 142 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6830)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6630)
    ]
    Edge  127 <-> 126 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6630)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6650)
    ]
    Edge  127 <-> 143 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6850)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6650)
    ]
    Edge  128 <-> 129 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6690)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6670)
    ]
    Edge  128 <-> 144 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6870)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6670)
    ]
    Edge  129 <-> 113 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6490)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6690)
    ]
    Edge  130 <-> 129 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6690)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66b0)
    ]
    Edge  130 <-> 146 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66b0)
    ]
    Edge  131 <-> 130 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66d0)
    ]
    Edge  131 <-> 147 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66d0)
    ]
    Edge  132 <-> 131 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66f0)
    ]
    Edge  132 <-> 148 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66f0)
    ]
    Edge  133 <-> 132 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a66f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6710)
    ]
    Edge  133 <-> 149 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6910)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6710)
    ]
    Edge  134 <-> 133 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6710)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6730)
    ]
    Edge  134 <-> 150 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6930)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6730)
    ]
    Edge  135 <-> 134 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6730)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6750)
    ]
    Edge  135 <-> 151 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6950)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6750)
    ]
    Edge  136 <-> 135 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6750)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6770)
    ]
    Edge  136 <-> 152 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6970)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6770)
    ]
    Edge  137 <-> 136 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6770)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6790)
    ]
    Edge  137 <-> 153 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6990)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6790)
    ]
    Edge  138 <-> 137 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6790)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67b0)
    ]
    Edge  138 <-> 154 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67b0)
    ]
    Edge  139 <-> 138 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67d0)
    ]
    Edge  139 <-> 155 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67d0)
    ]
    Edge  140 <-> 139 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67f0)
    ]
    Edge  140 <-> 156 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67f0)
    ]
    Edge  141 <-> 140 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a67f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6810)
    ]
    Edge  141 <-> 157 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6810)
    ]
    Edge  142 <-> 141 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6810)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6830)
    ]
    Edge  142 <-> 158 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6830)
    ]
    Edge  143 <-> 142 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6830)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6850)
    ]
    Edge  143 <-> 159 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6850)
    ]
    Edge  144 <-> 145 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6890)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6870)
    ]
    Edge  144 <-> 160 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6870)
    ]
    Edge  145 <-> 129 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6690)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6890)
    ]
    Edge  146 <-> 145 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6890)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68b0)
    ]
    Edge  146 <-> 162 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ab0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68b0)
    ]
    Edge  147 <-> 146 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68d0)
    ]
    Edge  147 <-> 163 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ad0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68d0)
    ]
    Edge  148 <-> 147 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68f0)
    ]
    Edge  148 <-> 164 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6af0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68f0)
    ]
    Edge  149 <-> 148 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a68f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6910)
    ]
    Edge  149 <-> 165 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6910)
    ]
    Edge  150 <-> 149 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6910)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6930)
    ]
    Edge  150 <-> 166 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6930)
    ]
    Edge  151 <-> 150 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6930)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6950)
    ]
    Edge  151 <-> 167 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6950)
    ]
    Edge  152 <-> 151 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6950)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6970)
    ]
    Edge  152 <-> 168 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6970)
    ]
    Edge  153 <-> 152 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6970)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6990)
    ]
    Edge  153 <-> 169 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6990)
    ]
    Edge  154 <-> 153 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6990)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69b0)
    ]
    Edge  154 <-> 170 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69b0)
    ]
    Edge  155 <-> 154 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69d0)
    ]
    Edge  155 <-> 171 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69d0)
    ]
    Edge  156 <-> 155 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69f0)
    ]
    Edge  156 <-> 172 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bf0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69f0)
    ]
    Edge  157 <-> 156 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a69f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a10)
    ]
    Edge  157 <-> 173 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a10)
    ]
    Edge  158 <-> 157 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a30)
    ]
    Edge  158 <-> 174 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a30)
    ]
    Edge  159 <-> 158 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a50)
    ]
    Edge  159 <-> 175 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a50)
    ]
    Edge  160 <-> 161 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a70)
    ]
    Edge  160 <-> 176 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a70)
    ]
    Edge  161 <-> 145 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6890)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a90)
    ]
    Edge  162 <-> 161 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ab0)
    ]
    Edge  162 <-> 178 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ab0)
    ]
    Edge  163 <-> 162 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ab0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ad0)
    ]
    Edge  163 <-> 179 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ad0)
    ]
    Edge  164 <-> 163 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ad0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6af0)
    ]
    Edge  164 <-> 180 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cf0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6af0)
    ]
    Edge  165 <-> 164 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6af0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b10)
    ]
    Edge  165 <-> 181 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b10)
    ]
    Edge  166 <-> 165 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b30)
    ]
    Edge  166 <-> 182 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b30)
    ]
    Edge  167 <-> 166 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b50)
    ]
    Edge  167 <-> 183 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b50)
    ]
    Edge  168 <-> 167 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b70)
    ]
    Edge  168 <-> 184 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b70)
    ]
    Edge  169 <-> 168 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b90)
    ]
    Edge  169 <-> 185 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b90)
    ]
    Edge  170 <-> 169 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6b90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bb0)
    ]
    Edge  170 <-> 186 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6db0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bb0)
    ]
    Edge  171 <-> 170 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bd0)
    ]
    Edge  171 <-> 187 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6dd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bd0)
    ]
    Edge  172 <-> 171 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bf0)
    ]
    Edge  172 <-> 188 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6df0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bf0)
    ]
    Edge  173 <-> 172 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6bf0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c10)
    ]
    Edge  173 <-> 189 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c10)
    ]
    Edge  174 <-> 173 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c30)
    ]
    Edge  174 <-> 190 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c30)
    ]
    Edge  175 <-> 174 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c50)
    ]
    Edge  175 <-> 191 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c50)
    ]
    Edge  176 <-> 177 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c70)
    ]
    Edge  176 <-> 192 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c70)
    ]
    Edge  177 <-> 161 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6a90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c90)
    ]
    Edge  178 <-> 177 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cb0)
    ]
    Edge  178 <-> 194 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6eb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cb0)
    ]
    Edge  179 <-> 178 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cd0)
    ]
    Edge  179 <-> 195 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ed0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cd0)
    ]
    Edge  180 <-> 179 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cf0)
    ]
    Edge  180 <-> 196 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ef0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cf0)
    ]
    Edge  181 <-> 180 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6cf0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d10)
    ]
    Edge  181 <-> 197 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d10)
    ]
    Edge  182 <-> 181 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d30)
    ]
    Edge  182 <-> 198 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d30)
    ]
    Edge  183 <-> 182 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d50)
    ]
    Edge  183 <-> 199 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d50)
    ]
    Edge  184 <-> 183 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d70)
    ]
    Edge  184 <-> 200 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d70)
    ]
    Edge  185 <-> 184 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d90)
    ]
    Edge  185 <-> 201 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d90)
    ]
    Edge  186 <-> 185 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6d90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6db0)
    ]
    Edge  186 <-> 202 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6fb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6db0)
    ]
    Edge  187 <-> 186 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6db0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6dd0)
    ]
    Edge  187 <-> 203 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6fd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6dd0)
    ]
    Edge  188 <-> 187 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6dd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6df0)
    ]
    Edge  188 <-> 204 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ff0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6df0)
    ]
    Edge  189 <-> 188 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6df0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e10)
    ]
    Edge  189 <-> 205 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7010)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e10)
    ]
    Edge  190 <-> 189 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e30)
    ]
    Edge  190 <-> 206 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7030)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e30)
    ]
    Edge  191 <-> 190 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e50)
    ]
    Edge  191 <-> 207 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7050)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e50)
    ]
    Edge  192 <-> 193 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e70)
    ]
    Edge  192 <-> 208 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7070)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e70)
    ]
    Edge  193 <-> 177 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6c90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e90)
    ]
    Edge  194 <-> 193 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6eb0)
    ]
    Edge  194 <-> 210 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6eb0)
    ]
    Edge  195 <-> 194 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6eb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ed0)
    ]
    Edge  195 <-> 211 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ed0)
    ]
    Edge  196 <-> 195 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ed0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ef0)
    ]
    Edge  196 <-> 212 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ef0)
    ]
    Edge  197 <-> 196 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ef0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f10)
    ]
    Edge  197 <-> 213 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7110)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f10)
    ]
    Edge  198 <-> 197 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f10)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f30)
    ]
    Edge  198 <-> 214 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7130)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f30)
    ]
    Edge  199 <-> 198 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f30)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f50)
    ]
    Edge  199 <-> 215 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7150)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f50)
    ]
    Edge  200 <-> 199 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f50)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f70)
    ]
    Edge  200 <-> 216 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7170)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f70)
    ]
    Edge  201 <-> 200 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f70)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f90)
    ]
    Edge  201 <-> 217 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7190)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f90)
    ]
    Edge  202 <-> 201 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6f90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6fb0)
    ]
    Edge  202 <-> 218 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6fb0)
    ]
    Edge  203 <-> 202 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6fb0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6fd0)
    ]
    Edge  203 <-> 219 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6fd0)
    ]
    Edge  204 <-> 203 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6fd0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ff0)
    ]
    Edge  204 <-> 220 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ff0)
    ]
    Edge  205 <-> 204 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6ff0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7010)
    ]
    Edge  205 <-> 221 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7210)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7010)
    ]
    Edge  206 <-> 205 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7010)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7030)
    ]
    Edge  206 <-> 222 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7230)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7030)
    ]
    Edge  207 <-> 206 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7030)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7050)
    ]
    Edge  207 <-> 223 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7250)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7050)
    ]
    Edge  208 <-> 209 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7090)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7070)
    ]
    Edge  208 <-> 224 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7270)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7070)
    ]
    Edge  209 <-> 193 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a6e90)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7090)
    ]
    Edge  210 <-> 209 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7090)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70b0)
    ]
    Edge  210 <-> 226 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70b0)
    ]
    Edge  211 <-> 210 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70d0)
    ]
    Edge  211 <-> 227 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70d0)
    ]
    Edge  212 <-> 211 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70f0)
    ]
    Edge  212 <-> 228 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70f0)
    ]
    Edge  213 <-> 212 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a70f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7110)
    ]
    Edge  213 <-> 229 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7310)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7110)
    ]
    Edge  214 <-> 213 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7110)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7130)
    ]
    Edge  214 <-> 230 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7330)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7130)
    ]
    Edge  215 <-> 214 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7130)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7150)
    ]
    Edge  215 <-> 231 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7350)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7150)
    ]
    Edge  216 <-> 215 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7150)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7170)
    ]
    Edge  216 <-> 232 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7370)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7170)
    ]
    Edge  217 <-> 216 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7170)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7190)
    ]
    Edge  217 <-> 233 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7390)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7190)
    ]
    Edge  218 <-> 217 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7190)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71b0)
    ]
    Edge  218 <-> 234 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71b0)
    ]
    Edge  219 <-> 218 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71d0)
    ]
    Edge  219 <-> 235 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71d0)
    ]
    Edge  220 <-> 219 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71f0)
    ]
    Edge  220 <-> 236 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71f0)
    ]
    Edge  221 <-> 220 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a71f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7210)
    ]
    Edge  221 <-> 237 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7410)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7210)
    ]
    Edge  222 <-> 221 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7210)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7230)
    ]
    Edge  222 <-> 238 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7430)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7230)
    ]
    Edge  223 <-> 222 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7230)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7250)
    ]
    Edge  223 <-> 239 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7450)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7250)
    ]
    Edge  224 <-> 225 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7290)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7270)
    ]
    Edge  224 <-> 240 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7470)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7270)
    ]
    Edge  225 <-> 209 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7090)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7290)
    ]
    Edge  226 <-> 225 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7290)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72b0)
    ]
    Edge  226 <-> 242 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a74b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72b0)
    ]
    Edge  227 <-> 226 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72d0)
    ]
    Edge  227 <-> 243 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a74d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72d0)
    ]
    Edge  228 <-> 227 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72f0)
    ]
    Edge  228 <-> 244 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a74f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72f0)
    ]
    Edge  229 <-> 228 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a72f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7310)
    ]
    Edge  229 <-> 245 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7510)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7310)
    ]
    Edge  230 <-> 229 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7310)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7330)
    ]
    Edge  230 <-> 246 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7530)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7330)
    ]
    Edge  231 <-> 230 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7330)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7350)
    ]
    Edge  231 <-> 247 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7550)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7350)
    ]
    Edge  232 <-> 231 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7350)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7370)
    ]
    Edge  232 <-> 248 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7570)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7370)
    ]
    Edge  233 <-> 232 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7370)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7390)
    ]
    Edge  233 <-> 249 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7590)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7390)
    ]
    Edge  234 <-> 233 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7390)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73b0)
    ]
    Edge  234 <-> 250 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a75b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73b0)
    ]
    Edge  235 <-> 234 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73d0)
    ]
    Edge  235 <-> 251 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a75d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73d0)
    ]
    Edge  236 <-> 235 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73f0)
    ]
    Edge  236 <-> 252 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a75f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73f0)
    ]
    Edge  237 <-> 236 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a73f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7410)
    ]
    Edge  237 <-> 253 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7610)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7410)
    ]
    Edge  238 <-> 237 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7410)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7430)
    ]
    Edge  238 <-> 254 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7630)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7430)
    ]
    Edge  239 <-> 238 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7430)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7450)
    ]
    Edge  239 <-> 255 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7650)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7450)
    ]
    Edge  240 <-> 241 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7490)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7470)
    ]
    Edge  241 <-> 225 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7290)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7490)
    ]
    Edge  242 <-> 241 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7490)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a74b0)
    ]
    Edge  243 <-> 242 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a74b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a74d0)
    ]
    Edge  244 <-> 243 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a74d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a74f0)
    ]
    Edge  245 <-> 244 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a74f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7510)
    ]
    Edge  246 <-> 245 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7510)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7530)
    ]
    Edge  247 <-> 246 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7530)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7550)
    ]
    Edge  248 <-> 247 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7550)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7570)
    ]
    Edge  249 <-> 248 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7570)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7590)
    ]
    Edge  250 <-> 249 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7590)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a75b0)
    ]
    Edge  251 <-> 250 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a75b0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a75d0)
    ]
    Edge  252 <-> 251 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a75d0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a75f0)
    ]
    Edge  253 <-> 252 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a75f0)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7610)
    ]
    Edge  254 <-> 253 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7610)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7630)
    ]
    Edge  255 <-> 254 [
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7630)
        Arc: (edge = 0x7fff2f423da0, target = 0x25a7650)
    ]
]
Robot arrangement: (|R| = 82, |V| = 256) [
     robot locations: {1#225 2#194 3#152 4#193 5#94 6#10 7#218 8#112 9#34 10#213 11#117 12#30 13#251 14#111 15#135 16#31 17#230 18#68 19#172 20#171 21#131 22#119 23#65 24#64 25#5 26#128 27#216 28#149 29#114 30#81 31#161 32#190 33#27 34#62 35#32 36#203 37#241 38#58 39#24 40#93 41#100 42#9 43#56 44#140 45#138 46#176 47#78 48#151 49#76 50#2 51#8 52#170 53#184 54#211 55#59 56#97 57#50 58#26 59#46 60#70 61#229 62#91 63#155 64#228 65#28 66#201 67#121 68#209 69#17 70#83 71#106 72#41 73#165 74#35 75#205 76#245 77#48 78#105 79#154 80#47 81#214 82#148 }
     vertex occupancy: {0#0 0#1 50#2 0#3 0#4 25#5 0#6 0#7 51#8 42#9 6#10 0#11 0#12 0#13 0#14 0#15 0#16 69#17 0#18 0#19 0#20 0#21 0#22 0#23 39#24 0#25 58#26 33#27 65#28 0#29 12#30 16#31 35#32 0#33 9#34 74#35 0#36 0#37 0#38 0#39 0#40 72#41 0#42 0#43 0#44 0#45 59#46 80#47 77#48 0#49 57#50 0#51 0#52 0#53 0#54 0#55 43#56 0#57 38#58 55#59 0#60 0#61 34#62 0#63 24#64 23#65 0#66 0#67 18#68 0#69 60#70 0#71 0#72 0#73 0#74 0#75 49#76 0#77 47#78 0#79 0#80 30#81 0#82 70#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 62#91 0#92 40#93 5#94 0#95 0#96 56#97 0#98 0#99 41#100 0#101 0#102 0#103 0#104 78#105 71#106 0#107 0#108 0#109 0#110 14#111 8#112 0#113 29#114 0#115 0#116 11#117 0#118 22#119 0#120 67#121 0#122 0#123 0#124 0#125 0#126 0#127 26#128 0#129 0#130 21#131 0#132 0#133 0#134 15#135 0#136 0#137 45#138 0#139 44#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 82#148 28#149 0#150 48#151 3#152 0#153 79#154 63#155 0#156 0#157 0#158 0#159 0#160 31#161 0#162 0#163 0#164 73#165 0#166 0#167 0#168 0#169 52#170 20#171 19#172 0#173 0#174 0#175 46#176 0#177 0#178 0#179 0#180 0#181 0#182 0#183 53#184 0#185 0#186 0#187 0#188 0#189 32#190 0#191 0#192 4#193 2#194 0#195 0#196 0#197 0#198 0#199 0#200 66#201 0#202 36#203 0#204 75#205 0#206 0#207 0#208 68#209 0#210 54#211 0#212 10#213 81#214 0#215 27#216 0#217 7#218 0#219 0#220 0#221 0#222 0#223 0#224 1#225 0#226 0#227 64#228 61#229 17#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 37#241 0#242 0#243 0#244 76#245 0#246 0#247 0#248 0#249 0#250 13#251 0#252 0#253 0#254 0#255 }
]
Robot arrangement: (|R| = 82, |V| = 256) [
     robot locations: {1#178 2#206 3#156 4#89 5#171 6#68 7#164 8#179 9#47 10#115 11#53 12#43 13#204 14#3 15#212 16#239 17#108 18#154 19#255 20#51 21#247 22#21 23#137 24#244 25#8 26#224 27#221 28#80 29#48 30#120 31#152 32#6 33#65 34#207 35#23 36#36 37#139 38#84 39#227 40#14 41#7 42#106 43#125 44#183 45#218 46#28 47#160 48#118 49#237 50#107 51#191 52#200 53#64 54#243 55#202 56#100 57#147 58#140 59#67 60#144 61#82 62#95 63#229 64#35 65#228 66#225 67#128 68#129 69#12 70#169 71#163 72#5 73#157 74#222 75#165 76#185 77#138 78#241 79#116 80#62 81#201 82#93 }
     vertex occupancy: {0#0 0#1 0#2 14#3 0#4 72#5 32#6 41#7 25#8 0#9 0#10 0#11 69#12 0#13 40#14 0#15 0#16 0#17 0#18 0#19 0#20 22#21 0#22 35#23 0#24 0#25 0#26 0#27 46#28 0#29 0#30 0#31 0#32 0#33 0#34 64#35 36#36 0#37 0#38 0#39 0#40 0#41 0#42 12#43 0#44 0#45 0#46 9#47 29#48 0#49 0#50 20#51 0#52 11#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 80#62 0#63 53#64 33#65 0#66 59#67 6#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 28#80 0#81 61#82 0#83 38#84 0#85 0#86 0#87 0#88 4#89 0#90 0#91 0#92 82#93 0#94 62#95 0#96 0#97 0#98 0#99 56#100 0#101 0#102 0#103 0#104 0#105 42#106 50#107 17#108 0#109 0#110 0#111 0#112 0#113 0#114 10#115 79#116 0#117 48#118 0#119 30#120 0#121 0#122 0#123 0#124 43#125 0#126 0#127 67#128 68#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 23#137 77#138 37#139 58#140 0#141 0#142 0#143 60#144 0#145 0#146 57#147 0#148 0#149 0#150 0#151 31#152 0#153 18#154 0#155 3#156 73#157 0#158 0#159 47#160 0#161 0#162 71#163 7#164 75#165 0#166 0#167 0#168 70#169 0#170 5#171 0#172 0#173 0#174 0#175 0#176 0#177 1#178 8#179 0#180 0#181 0#182 44#183 0#184 76#185 0#186 0#187 0#188 0#189 0#190 51#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 52#200 81#201 55#202 0#203 13#204 0#205 2#206 34#207 0#208 0#209 0#210 0#211 15#212 0#213 0#214 0#215 0#216 0#217 45#218 0#219 0#220 27#221 74#222 0#223 26#224 66#225 0#226 39#227 65#228 63#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 49#237 0#238 16#239 0#240 78#241 0#242 54#243 24#244 0#245 0#246 21#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 19#255 }
]
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                = 2078
            Produced CNF variables         = 0
            Produced CNF clauses           = 0
            Search steps                   = 0
            Wall clock TIME (seconds)      = 0.040
            CPU/machine TIME (seconds)     = 0.030
        ]
        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                   = 2821
                Wall clock TIME (seconds)      = 0.006
                CPU/machine TIME (seconds)     = 0.010
            ]
        }
]
----------------------------------------------------------------