================================================================ reLOC 0.05-legio : Multirobot Solution reSolver (C) Copyright 2011-2012 Pavel Surynek ---------------------------------------------------------------- window size:16 Reading graph... 0,1 0,8 0,42 0,66 1,2 1,24 2,3 3,4 3,172 3,202 4,5 4,16 4,53 5,6 5,12 5,35 6,7 6,9 7,8 7,23 7,147 7,153 8,17 8,212 8,237 9,10 9,65 10,11 10,52 11,12 12,13 12,30 12,68 12,145 12,247 13,14 13,48 14,15 14,101 15,16 15,43 16,162 17,18 18,19 18,26 18,33 19,20 19,70 20,21 20,83 21,22 22,23 22,135 22,233 23,32 23,126 24,25 24,27 24,67 25,26 26,181 27,28 28,29 28,47 29,30 29,36 30,31 31,32 31,193 31,226 33,34 33,55 33,63 34,35 34,69 34,90 34,102 35,192 36,37 36,44 36,45 36,62 36,75 37,38 37,61 38,39 38,110 38,117 38,184 39,40 39,150 39,221 40,41 41,42 43,44 43,71 43,79 43,121 45,46 45,54 45,127 45,138 46,47 47,64 47,91 48,49 49,50 50,51 50,201 51,52 51,178 53,54 54,72 54,140 55,56 55,134 55,156 56,57 56,111 57,58 58,59 58,137 59,60 59,211 60,61 60,176 60,183 61,194 62,63 62,78 63,139 64,65 64,175 66,67 66,146 68,69 68,88 68,95 68,149 70,71 70,119 70,132 72,73 72,76 73,74 74,75 75,133 75,168 76,77 77,78 77,84 77,195 78,116 78,131 79,80 79,122 80,81 81,82 82,83 83,144 83,174 84,85 85,86 85,89 86,87 86,104 87,88 89,90 90,103 91,92 91,96 92,93 93,94 94,95 96,97 97,98 98,99 98,128 99,100 100,101 102,103 103,129 103,152 104,105 105,106 106,107 107,108 107,120 107,155 107,173 108,109 108,169 109,110 109,213 111,112 112,113 113,114 114,115 115,116 115,210 117,118 118,119 120,121 121,207 122,123 123,124 124,125 125,126 126,136 127,128 127,160 129,130 130,131 130,206 130,245 131,179 132,133 132,209 134,135 136,137 136,191 138,139 140,141 141,142 142,143 143,144 143,232 145,146 145,236 147,148 147,163 148,149 150,151 151,152 153,154 154,155 156,157 157,158 157,244 158,159 158,190 159,160 159,161 159,208 161,162 161,170 161,177 161,227 163,164 163,171 164,165 165,166 166,167 167,168 167,214 168,182 168,222 169,170 171,172 173,174 175,176 175,243 177,178 179,180 180,181 182,183 184,185 185,186 186,187 187,188 188,189 189,190 191,192 193,194 194,215 195,196 196,197 197,198 198,199 199,200 200,201 202,203 203,204 204,205 205,206 207,208 209,210 211,212 213,214 215,216 216,217 217,218 218,219 219,220 220,221 222,223 223,224 224,225 225,226 227,228 228,229 229,230 230,231 231,232 233,234 234,235 234,246 235,236 237,238 238,239 239,240 240,241 241,242 242,243 244,245 246,247 Reading initial arrangement... Reading original solution... Length:440 245 # 232 ---> 143 (0) 241 # 4 ---> 53 (0) 231 # 228 ---> 227 (0) 231 # 227 ---> 161 (1) 231 # 161 ---> 159 (2) 231 # 159 ---> 158 (3) 231 # 158 ---> 157 (4) 231 # 157 ---> 244 (5) 231 # 244 ---> 245 (6) 246 # 179 ---> 180 (0) 246 # 180 ---> 181 (1) 246 # 181 ---> 26 (2) 246 # 26 ---> 18 (3) 246 # 18 ---> 17 (4) 246 # 17 ---> 8 (5) 246 # 8 ---> 237 (6) 246 # 237 ---> 238 (7) 246 # 238 ---> 239 (8) 246 # 239 ---> 240 (9) 232 # 36 ---> 75 (0) 242 # 132 ---> 70 (0) 232 # 75 ---> 133 (1) 242 # 70 ---> 71 (1) 238 # 46 ---> 45 (0) 245 # 143 ---> 142 (1) 245 # 142 ---> 141 (2) 238 # 45 ---> 127 (1) 245 # 141 ---> 140 (3) 238 # 127 ---> 160 (2) 245 # 140 ---> 54 (4) 238 # 160 ---> 159 (3) 245 # 54 ---> 45 (5) 238 # 159 ---> 161 (4) 245 # 45 ---> 127 (6) 241 # 53 ---> 54 (5) 238 # 161 ---> 162 (5) 245 # 127 ---> 160 (7) 241 # 54 ---> 45 (6) 237 # 226 ---> 31 (0) 237 # 31 ---> 30 (1) 241 # 45 ---> 46 (7) 243 # 37 ---> 36 (0) 237 # 30 ---> 12 (2) 243 # 36 ---> 29 (1) 247 # 205 ---> 206 (0) 247 # 206 ---> 130 (1) 247 # 130 ---> 131 (2) 247 # 131 ---> 78 (3) 247 # 78 ---> 62 (4) 247 # 62 ---> 36 (5) 247 # 36 ---> 37 (6) 247 # 37 ---> 61 (7) 247 # 61 ---> 194 (8) 247 # 194 ---> 215 (9) 237 # 12 ---> 5 (3) 230 # 60 ---> 61 (8) 247 # 215 ---> 216 (10) 242 # 71 ---> 43 (2) 232 # 133 ---> 132 (2) 242 # 43 ---> 44 (3) 232 # 132 ---> 70 (3) 242 # 44 ---> 36 (6) 232 # 70 ---> 71 (4) 242 # 36 ---> 75 (7) 238 # 162 ---> 16 (6) 237 # 5 ---> 6 (4) 236 # 98 ---> 128 (0) 236 # 128 ---> 127 (7) 236 # 127 ---> 45 (8) 236 # 45 ---> 54 (9) 236 # 54 ---> 53 (10) 236 # 53 ---> 4 (11) 236 # 4 ---> 3 (12) 236 # 3 ---> 202 (13) 236 # 202 ---> 203 (14) 236 # 203 ---> 204 (15) 233 # 200 ---> 201 (0) 233 # 201 ---> 50 (1) 233 # 50 ---> 49 (2) 241 # 46 ---> 45 (9) 241 # 45 ---> 36 (10) 241 # 36 ---> 62 (11) 233 # 49 ---> 48 (3) 245 # 160 ---> 127 (8) 245 # 127 ---> 45 (10) 245 # 45 ---> 54 (11) 245 # 54 ---> 53 (12) 233 # 48 ---> 13 (4) 233 # 13 ---> 12 (5) 237 # 6 ---> 7 (5) 233 # 12 ---> 5 (6) 230 # 61 ---> 37 (9) 230 # 37 ---> 36 (11) 237 # 7 ---> 8 (6) 233 # 5 ---> 6 (7) 237 # 8 ---> 17 (7) 244 # 21 ---> 22 (0) 237 # 17 ---> 18 (8) 244 # 22 ---> 23 (1) 237 # 18 ---> 19 (9) 233 # 6 ---> 7 (8) 244 # 23 ---> 126 (2) 233 # 7 ---> 23 (9) 237 # 19 ---> 70 (10) 237 # 70 ---> 119 (11) 240 # 118 ---> 117 (0) 237 # 119 ---> 118 (12) 240 # 117 ---> 38 (1) 237 # 118 ---> 117 (13) 240 # 38 ---> 37 (11) 237 # 117 ---> 38 (14) 237 # 38 ---> 184 (15) 240 # 37 ---> 38 (15) 240 # 38 ---> 39 (16) 237 # 184 ---> 185 (16) 237 # 185 ---> 186 (17) 237 # 186 ---> 187 (18) 230 # 36 ---> 45 (12) 240 # 39 ---> 40 (17) 240 # 40 ---> 41 (18) 243 # 29 ---> 36 (12) 240 # 41 ---> 42 (19) 237 # 187 ---> 188 (19) 243 # 36 ---> 37 (15) 230 # 45 ---> 36 (15) 240 # 42 ---> 0 (20) 243 # 37 ---> 38 (16) 240 # 0 ---> 1 (21) 243 # 38 ---> 39 (17) 237 # 188 ---> 189 (20) 230 # 36 ---> 29 (16) 237 # 189 ---> 190 (21) 230 # 29 ---> 30 (17) 241 # 62 ---> 36 (16) 230 # 30 ---> 12 (18) 230 # 12 ---> 11 (19) 240 # 1 ---> 2 (22) 241 # 36 ---> 45 (17) 241 # 45 ---> 127 (18) 241 # 127 ---> 160 (19) 241 # 160 ---> 159 (20) 241 # 159 ---> 161 (21) 241 # 161 ---> 177 (22) 241 # 177 ---> 178 (23) 245 # 53 ---> 4 (13) 245 # 4 ---> 5 (14) 245 # 5 ---> 12 (19) 234 # 155 ---> 107 (0) 238 # 16 ---> 4 (14) 238 # 4 ---> 5 (19) 238 # 5 ---> 6 (20) 238 # 6 ---> 7 (21) 245 # 12 ---> 5 (20) 240 # 2 ---> 3 (23) 238 # 7 ---> 8 (22) 245 # 5 ---> 6 (21) 240 # 3 ---> 4 (24) 238 # 8 ---> 0 (23) 245 # 6 ---> 7 (22) 240 # 4 ---> 5 (25) 238 # 0 ---> 1 (24) 245 # 7 ---> 8 (23) 240 # 5 ---> 6 (26) 245 # 8 ---> 17 (24) 243 # 39 ---> 40 (18) 245 # 17 ---> 18 (25) 233 # 23 ---> 22 (10) 244 # 126 ---> 23 (10) 244 # 23 ---> 7 (23) 244 # 7 ---> 153 (24) 244 # 153 ---> 154 (25) 243 # 40 ---> 41 (19) 243 # 41 ---> 42 (20) 243 # 42 ---> 0 (24) 235 # 24 ---> 27 (0) 239 # 148 ---> 149 (0) 238 # 1 ---> 2 (25) 243 # 0 ---> 1 (25) 239 # 149 ---> 68 (1) 239 # 68 ---> 12 (20) 239 # 12 ---> 5 (26) 243 # 1 ---> 24 (26) 238 # 2 ---> 1 (26) 239 # 5 ---> 4 (27) 238 # 1 ---> 0 (27) 239 # 4 ---> 3 (28) 238 # 0 ---> 8 (28) 239 # 3 ---> 2 (29) 240 # 6 ---> 5 (27) 238 # 8 ---> 7 (29) 238 # 7 ---> 6 (30) 245 # 18 ---> 33 (26) 245 # 33 ---> 63 (27) 245 # 63 ---> 62 (28) 245 # 62 ---> 36 (29) 245 # 36 ---> 29 (30) 243 # 24 ---> 1 (27) 230 # 11 ---> 12 (26) 238 # 6 ---> 9 (31) 240 # 5 ---> 6 (31) 230 # 12 ---> 5 (31) 238 # 9 ---> 10 (32) 240 # 6 ---> 9 (32) 230 # 5 ---> 6 (32) 230 # 6 ---> 7 (33) 230 # 7 ---> 23 (34) 230 # 23 ---> 126 (35) 230 # 126 ---> 136 (36) 243 # 1 ---> 0 (28) 239 # 2 ---> 1 (30) 243 # 0 ---> 8 (29) 239 # 1 ---> 0 (31) 243 # 8 ---> 7 (34) 239 # 0 ---> 8 (34) 239 # 8 ---> 17 (35) 239 # 17 ---> 18 (36) 239 # 18 ---> 19 (37) 239 # 19 ---> 70 (38) 239 # 70 ---> 132 (39) 239 # 132 ---> 133 (40) 243 # 7 ---> 6 (35) 243 # 6 ---> 5 (36) 243 # 5 ---> 4 (37) 243 # 4 ---> 16 (38) 245 # 29 ---> 30 (31) 245 # 30 ---> 12 (32) 232 # 71 ---> 43 (5) 242 # 75 ---> 36 (30) 242 # 36 ---> 62 (31) 242 # 62 ---> 63 (32) 242 # 63 ---> 33 (33) 242 # 33 ---> 55 (34) 242 # 55 ---> 56 (35) 242 # 56 ---> 111 (36) 234 # 107 ---> 108 (1) 234 # 108 ---> 109 (2) 234 # 109 ---> 110 (3) 234 # 110 ---> 38 (17) 234 # 38 ---> 37 (18) 234 # 37 ---> 36 (31) 245 # 12 ---> 5 (37) 238 # 10 ---> 11 (33) 245 # 5 ---> 6 (38) 245 # 6 ---> 7 (39) 232 # 43 ---> 44 (6) 234 # 36 ---> 29 (32) 235 # 27 ---> 24 (27) 234 # 29 ---> 28 (33) 234 # 28 ---> 47 (34) 232 # 44 ---> 36 (32) 232 # 36 ---> 29 (33) 232 # 29 ---> 28 (34) 232 # 28 ---> 27 (35) 234 # 47 ---> 46 (35) 238 # 11 ---> 12 (37) 238 # 12 ---> 5 (38) 238 # 5 ---> 4 (39) 238 # 4 ---> 53 (40) 238 # 53 ---> 54 (41) 238 # 54 ---> 72 (42) 238 # 72 ---> 76 (43) 243 # 16 ---> 4 (40) 243 # 4 ---> 5 (41) 238 # 76 ---> 77 (44) 240 # 9 ---> 6 (39) 243 # 5 ---> 12 (42) 240 # 6 ---> 5 (42) 240 # 5 ---> 4 (43) 240 # 4 ---> 53 (44) 240 # 53 ---> 54 (45) 240 # 54 ---> 72 (46) 240 # 72 ---> 73 (47) 240 # 73 ---> 74 (48) 240 # 74 ---> 75 (49) 243 # 12 ---> 5 (43) 233 # 22 ---> 23 (35) 233 # 23 ---> 32 (36) 233 # 32 ---> 31 (37) 233 # 31 ---> 30 (38) 233 # 30 ---> 29 (39) 233 # 29 ---> 28 (40) 233 # 28 ---> 47 (41) 233 # 47 ---> 64 (42) 243 # 5 ---> 35 (44) 243 # 35 ---> 34 (45) 243 # 34 ---> 33 (46) 243 # 33 ---> 55 (47) 243 # 55 ---> 56 (48) 243 # 56 ---> 57 (49) 243 # 57 ---> 58 (50) 243 # 58 ---> 59 (51) 232 # 27 ---> 28 (41) 232 # 28 ---> 29 (42) 234 # 46 ---> 47 (42) 232 # 29 ---> 30 (43) 234 # 47 ---> 28 (43) 232 # 30 ---> 12 (44) 232 # 12 ---> 13 (45) 232 # 13 ---> 14 (46) 232 # 14 ---> 15 (47) 232 # 15 ---> 16 (48) 234 # 28 ---> 29 (44) 235 # 24 ---> 27 (41) 234 # 29 ---> 30 (45) 234 # 30 ---> 12 (46) 232 # 16 ---> 4 (49) 232 # 4 ---> 5 (50) 232 # 5 ---> 6 (51) 232 # 6 ---> 9 (52) 245 # 7 ---> 6 (52) 245 # 6 ---> 5 (53) 245 # 5 ---> 4 (54) 234 # 12 ---> 5 (54) 234 # 5 ---> 6 (55) 234 # 6 ---> 7 (56) 234 # 7 ---> 8 (57) 245 # 4 ---> 5 (55) 234 # 8 ---> 0 (58) 245 # 5 ---> 6 (56) 234 # 0 ---> 1 (59) 234 # 1 ---> 2 (60) 245 # 6 ---> 7 (57) 234 # 2 ---> 3 (61) 234 # 3 ---> 4 (62) 245 # 7 ---> 8 (58) 234 # 4 ---> 5 (63) 245 # 8 ---> 0 (59) 234 # 5 ---> 6 (64) 245 # 0 ---> 1 (60) 234 # 6 ---> 7 (65) 245 # 1 ---> 2 (61) 234 # 7 ---> 8 (66) 245 # 2 ---> 3 (62) 234 # 8 ---> 0 (67) 245 # 3 ---> 4 (63) 234 # 0 ---> 1 (68) 245 # 4 ---> 5 (64) 234 # 1 ---> 2 (69) 245 # 5 ---> 6 (65) 234 # 2 ---> 3 (70) 245 # 6 ---> 7 (66) 234 # 3 ---> 4 (71) 245 # 7 ---> 8 (67) 234 # 4 ---> 5 (72) 245 # 8 ---> 0 (68) 234 # 5 ---> 6 (73) 245 # 0 ---> 1 (69) 234 # 6 ---> 7 (74) 245 # 1 ---> 2 (70) 234 # 7 ---> 8 (75) 245 # 2 ---> 3 (71) 234 # 8 ---> 0 (76) 245 # 3 ---> 4 (72) 234 # 0 ---> 1 (77) 245 # 4 ---> 5 (73) 234 # 1 ---> 2 (78) 245 # 5 ---> 6 (74) 234 # 2 ---> 3 (79) 245 # 6 ---> 7 (75) 234 # 3 ---> 4 (80) 245 # 7 ---> 8 (76) 234 # 4 ---> 5 (81) 245 # 8 ---> 0 (77) 234 # 5 ---> 6 (82) 245 # 0 ---> 1 (78) 234 # 6 ---> 7 (83) 245 # 1 ---> 2 (79) 234 # 7 ---> 8 (84) 232 # 9 ---> 6 (83) 245 # 2 ---> 3 (80) 234 # 8 ---> 0 (85) 232 # 6 ---> 7 (84) 245 # 3 ---> 4 (81) 234 # 0 ---> 1 (86) 232 # 7 ---> 8 (85) 245 # 4 ---> 5 (82) 234 # 1 ---> 2 (87) 232 # 8 ---> 0 (86) 245 # 5 ---> 6 (84) 234 # 2 ---> 3 (88) 232 # 0 ---> 1 (87) 245 # 6 ---> 7 (85) 234 # 3 ---> 4 (89) 232 # 1 ---> 2 (88) 245 # 7 ---> 8 (86) 234 # 4 ---> 5 (90) 232 # 2 ---> 3 (89) 245 # 8 ---> 0 (87) 234 # 5 ---> 6 (91) 232 # 3 ---> 4 (90) 234 # 6 ---> 9 (92) 232 # 4 ---> 5 (91) 245 # 0 ---> 1 (88) 232 # 5 ---> 6 (92) 245 # 1 ---> 2 (89) 232 # 6 ---> 7 (93) 245 # 2 ---> 3 (90) 232 # 7 ---> 8 (94) 245 # 3 ---> 4 (91) 232 # 8 ---> 0 (95) 245 # 4 ---> 5 (92) 232 # 0 ---> 1 (96) 245 # 5 ---> 6 (93) 232 # 1 ---> 2 (97) 232 # 2 ---> 3 (98) 232 # 3 ---> 4 (99) 245 # 6 ---> 7 (94) 232 # 4 ---> 5 (100) 245 # 7 ---> 8 (95) 232 # 5 ---> 6 (101) 245 # 8 ---> 0 (96) 232 # 6 ---> 7 (102) 245 # 0 ---> 1 (97) 232 # 7 ---> 8 (103) 245 # 1 ---> 2 (98) 232 # 8 ---> 0 (104) 245 # 2 ---> 3 (99) 232 # 0 ---> 1 (105) 245 # 3 ---> 4 (100) 232 # 1 ---> 2 (106) 245 # 4 ---> 5 (101) 232 # 2 ---> 3 (107) 245 # 5 ---> 6 (102) 232 # 3 ---> 4 (108) 245 # 6 ---> 7 (103) 232 # 4 ---> 5 (109) 245 # 7 ---> 8 (104) 232 # 5 ---> 6 (110) 245 # 8 ---> 0 (105) 232 # 6 ---> 7 (111) 245 # 0 ---> 1 (106) 232 # 7 ---> 8 (112) 245 # 1 ---> 2 (107) 232 # 8 ---> 0 (113) 245 # 2 ---> 3 (108) 232 # 0 ---> 1 (114) 245 # 3 ---> 4 (109) 232 # 1 ---> 2 (115) 245 # 4 ---> 5 (110) 232 # 2 ---> 3 (116) Reading goal arrangement... Undirected graph: (|V|=248 |E|=316) [ Vertex: (id = 0) {1 8 42 66 } Vertex: (id = 1) {0 2 24 } Vertex: (id = 2) {1 3 } Vertex: (id = 3) {2 4 172 202 } Vertex: (id = 4) {3 5 16 53 } Vertex: (id = 5) {4 6 12 35 } Vertex: (id = 6) {5 7 9 } Vertex: (id = 7) {6 8 23 147 153 } Vertex: (id = 8) {0 7 17 212 237 } Vertex: (id = 9) {6 10 65 } Vertex: (id = 10) {9 11 52 } Vertex: (id = 11) {10 12 } Vertex: (id = 12) {5 11 13 30 68 145 247 } Vertex: (id = 13) {12 14 48 } Vertex: (id = 14) {13 15 101 } Vertex: (id = 15) {14 16 43 } Vertex: (id = 16) {4 15 162 } Vertex: (id = 17) {8 18 } Vertex: (id = 18) {17 19 26 33 } Vertex: (id = 19) {18 20 70 } Vertex: (id = 20) {19 21 83 } Vertex: (id = 21) {20 22 } Vertex: (id = 22) {21 23 135 233 } Vertex: (id = 23) {7 22 32 126 } Vertex: (id = 24) {1 25 27 67 } Vertex: (id = 25) {24 26 } Vertex: (id = 26) {18 25 181 } Vertex: (id = 27) {24 28 } Vertex: (id = 28) {27 29 47 } Vertex: (id = 29) {28 30 36 } Vertex: (id = 30) {12 29 31 } Vertex: (id = 31) {30 32 193 226 } Vertex: (id = 32) {23 31 } Vertex: (id = 33) {18 34 55 63 } Vertex: (id = 34) {33 35 69 90 102 } Vertex: (id = 35) {5 34 192 } Vertex: (id = 36) {29 37 44 45 62 75 } Vertex: (id = 37) {36 38 61 } Vertex: (id = 38) {37 39 110 117 184 } Vertex: (id = 39) {38 40 150 221 } Vertex: (id = 40) {39 41 } Vertex: (id = 41) {40 42 } Vertex: (id = 42) {0 41 } Vertex: (id = 43) {15 44 71 79 121 } Vertex: (id = 44) {36 43 } Vertex: (id = 45) {36 46 54 127 138 } Vertex: (id = 46) {45 47 } Vertex: (id = 47) {28 46 64 91 } Vertex: (id = 48) {13 49 } Vertex: (id = 49) {48 50 } Vertex: (id = 50) {49 51 201 } Vertex: (id = 51) {50 52 178 } Vertex: (id = 52) {10 51 } Vertex: (id = 53) {4 54 } Vertex: (id = 54) {45 53 72 140 } Vertex: (id = 55) {33 56 134 156 } Vertex: (id = 56) {55 57 111 } Vertex: (id = 57) {56 58 } Vertex: (id = 58) {57 59 137 } Vertex: (id = 59) {58 60 211 } Vertex: (id = 60) {59 61 176 183 } Vertex: (id = 61) {37 60 194 } Vertex: (id = 62) {36 63 78 } Vertex: (id = 63) {33 62 139 } Vertex: (id = 64) {47 65 175 } Vertex: (id = 65) {9 64 } Vertex: (id = 66) {0 67 146 } Vertex: (id = 67) {24 66 } Vertex: (id = 68) {12 69 88 95 149 } Vertex: (id = 69) {34 68 } Vertex: (id = 70) {19 71 119 132 } Vertex: (id = 71) {43 70 } Vertex: (id = 72) {54 73 76 } Vertex: (id = 73) {72 74 } Vertex: (id = 74) {73 75 } Vertex: (id = 75) {36 74 133 168 } Vertex: (id = 76) {72 77 } Vertex: (id = 77) {76 78 84 195 } Vertex: (id = 78) {62 77 116 131 } Vertex: (id = 79) {43 80 122 } Vertex: (id = 80) {79 81 } Vertex: (id = 81) {80 82 } Vertex: (id = 82) {81 83 } Vertex: (id = 83) {20 82 144 174 } Vertex: (id = 84) {77 85 } Vertex: (id = 85) {84 86 89 } Vertex: (id = 86) {85 87 104 } Vertex: (id = 87) {86 88 } Vertex: (id = 88) {68 87 } Vertex: (id = 89) {85 90 } Vertex: (id = 90) {34 89 103 } Vertex: (id = 91) {47 92 96 } Vertex: (id = 92) {91 93 } Vertex: (id = 93) {92 94 } Vertex: (id = 94) {93 95 } Vertex: (id = 95) {68 94 } Vertex: (id = 96) {91 97 } Vertex: (id = 97) {96 98 } Vertex: (id = 98) {97 99 128 } Vertex: (id = 99) {98 100 } Vertex: (id = 100) {99 101 } Vertex: (id = 101) {14 100 } Vertex: (id = 102) {34 103 } Vertex: (id = 103) {90 102 129 152 } Vertex: (id = 104) {86 105 } Vertex: (id = 105) {104 106 } Vertex: (id = 106) {105 107 } Vertex: (id = 107) {106 108 120 155 173 } Vertex: (id = 108) {107 109 169 } Vertex: (id = 109) {108 110 213 } Vertex: (id = 110) {38 109 } Vertex: (id = 111) {56 112 } Vertex: (id = 112) {111 113 } Vertex: (id = 113) {112 114 } Vertex: (id = 114) {113 115 } Vertex: (id = 115) {114 116 210 } Vertex: (id = 116) {78 115 } Vertex: (id = 117) {38 118 } Vertex: (id = 118) {117 119 } Vertex: (id = 119) {70 118 } Vertex: (id = 120) {107 121 } Vertex: (id = 121) {43 120 207 } Vertex: (id = 122) {79 123 } Vertex: (id = 123) {122 124 } Vertex: (id = 124) {123 125 } Vertex: (id = 125) {124 126 } Vertex: (id = 126) {23 125 136 } Vertex: (id = 127) {45 128 160 } Vertex: (id = 128) {98 127 } Vertex: (id = 129) {103 130 } Vertex: (id = 130) {129 131 206 245 } Vertex: (id = 131) {78 130 179 } Vertex: (id = 132) {70 133 209 } Vertex: (id = 133) {75 132 } Vertex: (id = 134) {55 135 } Vertex: (id = 135) {22 134 } Vertex: (id = 136) {126 137 191 } Vertex: (id = 137) {58 136 } Vertex: (id = 138) {45 139 } Vertex: (id = 139) {63 138 } Vertex: (id = 140) {54 141 } Vertex: (id = 141) {140 142 } Vertex: (id = 142) {141 143 } Vertex: (id = 143) {142 144 232 } Vertex: (id = 144) {83 143 } Vertex: (id = 145) {12 146 236 } Vertex: (id = 146) {66 145 } Vertex: (id = 147) {7 148 163 } Vertex: (id = 148) {147 149 } Vertex: (id = 149) {68 148 } Vertex: (id = 150) {39 151 } Vertex: (id = 151) {150 152 } Vertex: (id = 152) {103 151 } Vertex: (id = 153) {7 154 } Vertex: (id = 154) {153 155 } Vertex: (id = 155) {107 154 } Vertex: (id = 156) {55 157 } Vertex: (id = 157) {156 158 244 } Vertex: (id = 158) {157 159 190 } Vertex: (id = 159) {158 160 161 208 } Vertex: (id = 160) {127 159 } Vertex: (id = 161) {159 162 170 177 227 } Vertex: (id = 162) {16 161 } Vertex: (id = 163) {147 164 171 } Vertex: (id = 164) {163 165 } Vertex: (id = 165) {164 166 } Vertex: (id = 166) {165 167 } Vertex: (id = 167) {166 168 214 } Vertex: (id = 168) {75 167 182 222 } Vertex: (id = 169) {108 170 } Vertex: (id = 170) {161 169 } Vertex: (id = 171) {163 172 } Vertex: (id = 172) {3 171 } Vertex: (id = 173) {107 174 } Vertex: (id = 174) {83 173 } Vertex: (id = 175) {64 176 243 } Vertex: (id = 176) {60 175 } Vertex: (id = 177) {161 178 } Vertex: (id = 178) {51 177 } Vertex: (id = 179) {131 180 } Vertex: (id = 180) {179 181 } Vertex: (id = 181) {26 180 } Vertex: (id = 182) {168 183 } Vertex: (id = 183) {60 182 } Vertex: (id = 184) {38 185 } Vertex: (id = 185) {184 186 } Vertex: (id = 186) {185 187 } Vertex: (id = 187) {186 188 } Vertex: (id = 188) {187 189 } Vertex: (id = 189) {188 190 } Vertex: (id = 190) {158 189 } Vertex: (id = 191) {136 192 } Vertex: (id = 192) {35 191 } Vertex: (id = 193) {31 194 } Vertex: (id = 194) {61 193 215 } Vertex: (id = 195) {77 196 } Vertex: (id = 196) {195 197 } Vertex: (id = 197) {196 198 } Vertex: (id = 198) {197 199 } Vertex: (id = 199) {198 200 } Vertex: (id = 200) {199 201 } Vertex: (id = 201) {50 200 } Vertex: (id = 202) {3 203 } Vertex: (id = 203) {202 204 } Vertex: (id = 204) {203 205 } Vertex: (id = 205) {204 206 } Vertex: (id = 206) {130 205 } Vertex: (id = 207) {121 208 } Vertex: (id = 208) {159 207 } Vertex: (id = 209) {132 210 } Vertex: (id = 210) {115 209 } Vertex: (id = 211) {59 212 } Vertex: (id = 212) {8 211 } Vertex: (id = 213) {109 214 } Vertex: (id = 214) {167 213 } Vertex: (id = 215) {194 216 } Vertex: (id = 216) {215 217 } Vertex: (id = 217) {216 218 } Vertex: (id = 218) {217 219 } Vertex: (id = 219) {218 220 } Vertex: (id = 220) {219 221 } Vertex: (id = 221) {39 220 } Vertex: (id = 222) {168 223 } Vertex: (id = 223) {222 224 } Vertex: (id = 224) {223 225 } Vertex: (id = 225) {224 226 } Vertex: (id = 226) {31 225 } Vertex: (id = 227) {161 228 } Vertex: (id = 228) {227 229 } Vertex: (id = 229) {228 230 } Vertex: (id = 230) {229 231 } Vertex: (id = 231) {230 232 } Vertex: (id = 232) {143 231 } Vertex: (id = 233) {22 234 } Vertex: (id = 234) {233 235 246 } Vertex: (id = 235) {234 236 } Vertex: (id = 236) {145 235 } Vertex: (id = 237) {8 238 } Vertex: (id = 238) {237 239 } Vertex: (id = 239) {238 240 } Vertex: (id = 240) {239 241 } Vertex: (id = 241) {240 242 } Vertex: (id = 242) {241 243 } Vertex: (id = 243) {175 242 } Vertex: (id = 244) {157 245 } Vertex: (id = 245) {130 244 } Vertex: (id = 246) {234 247 } Vertex: (id = 247) {12 246 } Edge 0 <-> 1 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108690) Arc: (edge = 0x7fffee1e5970, target = 0x2108670) ] Edge 0 <-> 8 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108770) Arc: (edge = 0x7fffee1e5970, target = 0x2108670) ] Edge 0 <-> 42 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108bb0) Arc: (edge = 0x7fffee1e5970, target = 0x2108670) ] Edge 0 <-> 66 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108eb0) Arc: (edge = 0x7fffee1e5970, target = 0x2108670) ] Edge 1 <-> 2 [ Arc: (edge = 0x7fffee1e5970, target = 0x21086b0) Arc: (edge = 0x7fffee1e5970, target = 0x2108690) ] Edge 1 <-> 24 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108970) Arc: (edge = 0x7fffee1e5970, target = 0x2108690) ] Edge 2 <-> 3 [ Arc: (edge = 0x7fffee1e5970, target = 0x21086d0) Arc: (edge = 0x7fffee1e5970, target = 0x21086b0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7fffee1e5970, target = 0x21086f0) Arc: (edge = 0x7fffee1e5970, target = 0x21086d0) ] Edge 3 <-> 172 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109bf0) Arc: (edge = 0x7fffee1e5970, target = 0x21086d0) ] Edge 3 <-> 202 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109fb0) Arc: (edge = 0x7fffee1e5970, target = 0x21086d0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108710) Arc: (edge = 0x7fffee1e5970, target = 0x21086f0) ] Edge 4 <-> 16 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108870) Arc: (edge = 0x7fffee1e5970, target = 0x21086f0) ] Edge 4 <-> 53 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108d10) Arc: (edge = 0x7fffee1e5970, target = 0x21086f0) ] Edge 5 <-> 6 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108730) Arc: (edge = 0x7fffee1e5970, target = 0x2108710) ] Edge 5 <-> 12 [ Arc: (edge = 0x7fffee1e5970, target = 0x21087f0) Arc: (edge = 0x7fffee1e5970, target = 0x2108710) ] Edge 5 <-> 35 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108ad0) Arc: (edge = 0x7fffee1e5970, target = 0x2108710) ] Edge 6 <-> 7 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108750) Arc: (edge = 0x7fffee1e5970, target = 0x2108730) ] Edge 6 <-> 9 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108790) Arc: (edge = 0x7fffee1e5970, target = 0x2108730) ] Edge 7 <-> 8 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108770) Arc: (edge = 0x7fffee1e5970, target = 0x2108750) ] Edge 7 <-> 23 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108950) Arc: (edge = 0x7fffee1e5970, target = 0x2108750) ] Edge 7 <-> 147 [ Arc: (edge = 0x7fffee1e5970, target = 0x21098d0) Arc: (edge = 0x7fffee1e5970, target = 0x2108750) ] Edge 7 <-> 153 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109990) Arc: (edge = 0x7fffee1e5970, target = 0x2108750) ] Edge 8 <-> 17 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108890) Arc: (edge = 0x7fffee1e5970, target = 0x2108770) ] Edge 8 <-> 212 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a0f0) Arc: (edge = 0x7fffee1e5970, target = 0x2108770) ] Edge 8 <-> 237 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a410) Arc: (edge = 0x7fffee1e5970, target = 0x2108770) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fffee1e5970, target = 0x21087b0) Arc: (edge = 0x7fffee1e5970, target = 0x2108790) ] Edge 9 <-> 65 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108e90) Arc: (edge = 0x7fffee1e5970, target = 0x2108790) ] Edge 10 <-> 11 [ Arc: (edge = 0x7fffee1e5970, target = 0x21087d0) Arc: (edge = 0x7fffee1e5970, target = 0x21087b0) ] Edge 10 <-> 52 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108cf0) Arc: (edge = 0x7fffee1e5970, target = 0x21087b0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fffee1e5970, target = 0x21087f0) Arc: (edge = 0x7fffee1e5970, target = 0x21087d0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108810) Arc: (edge = 0x7fffee1e5970, target = 0x21087f0) ] Edge 12 <-> 30 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108a30) Arc: (edge = 0x7fffee1e5970, target = 0x21087f0) ] Edge 12 <-> 68 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108ef0) Arc: (edge = 0x7fffee1e5970, target = 0x21087f0) ] Edge 12 <-> 145 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109890) Arc: (edge = 0x7fffee1e5970, target = 0x21087f0) ] Edge 12 <-> 247 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a550) Arc: (edge = 0x7fffee1e5970, target = 0x21087f0) ] Edge 13 <-> 14 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108830) Arc: (edge = 0x7fffee1e5970, target = 0x2108810) ] Edge 13 <-> 48 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108c70) Arc: (edge = 0x7fffee1e5970, target = 0x2108810) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108850) Arc: (edge = 0x7fffee1e5970, target = 0x2108830) ] Edge 14 <-> 101 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109310) Arc: (edge = 0x7fffee1e5970, target = 0x2108830) ] Edge 15 <-> 16 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108870) Arc: (edge = 0x7fffee1e5970, target = 0x2108850) ] Edge 15 <-> 43 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108bd0) Arc: (edge = 0x7fffee1e5970, target = 0x2108850) ] Edge 16 <-> 162 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109ab0) Arc: (edge = 0x7fffee1e5970, target = 0x2108870) ] Edge 17 <-> 18 [ Arc: (edge = 0x7fffee1e5970, target = 0x21088b0) Arc: (edge = 0x7fffee1e5970, target = 0x2108890) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fffee1e5970, target = 0x21088d0) Arc: (edge = 0x7fffee1e5970, target = 0x21088b0) ] Edge 18 <-> 26 [ Arc: (edge = 0x7fffee1e5970, target = 0x21089b0) Arc: (edge = 0x7fffee1e5970, target = 0x21088b0) ] Edge 18 <-> 33 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108a90) Arc: (edge = 0x7fffee1e5970, target = 0x21088b0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7fffee1e5970, target = 0x21088f0) Arc: (edge = 0x7fffee1e5970, target = 0x21088d0) ] Edge 19 <-> 70 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108f30) Arc: (edge = 0x7fffee1e5970, target = 0x21088d0) ] Edge 20 <-> 21 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108910) Arc: (edge = 0x7fffee1e5970, target = 0x21088f0) ] Edge 20 <-> 83 [ Arc: (edge = 0x7fffee1e5970, target = 0x21090d0) Arc: (edge = 0x7fffee1e5970, target = 0x21088f0) ] Edge 21 <-> 22 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108930) Arc: (edge = 0x7fffee1e5970, target = 0x2108910) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108950) Arc: (edge = 0x7fffee1e5970, target = 0x2108930) ] Edge 22 <-> 135 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109750) Arc: (edge = 0x7fffee1e5970, target = 0x2108930) ] Edge 22 <-> 233 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a390) Arc: (edge = 0x7fffee1e5970, target = 0x2108930) ] Edge 23 <-> 32 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108a70) Arc: (edge = 0x7fffee1e5970, target = 0x2108950) ] Edge 23 <-> 126 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109630) Arc: (edge = 0x7fffee1e5970, target = 0x2108950) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108990) Arc: (edge = 0x7fffee1e5970, target = 0x2108970) ] Edge 24 <-> 27 [ Arc: (edge = 0x7fffee1e5970, target = 0x21089d0) Arc: (edge = 0x7fffee1e5970, target = 0x2108970) ] Edge 24 <-> 67 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108ed0) Arc: (edge = 0x7fffee1e5970, target = 0x2108970) ] Edge 25 <-> 26 [ Arc: (edge = 0x7fffee1e5970, target = 0x21089b0) Arc: (edge = 0x7fffee1e5970, target = 0x2108990) ] Edge 26 <-> 181 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109d10) Arc: (edge = 0x7fffee1e5970, target = 0x21089b0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fffee1e5970, target = 0x21089f0) Arc: (edge = 0x7fffee1e5970, target = 0x21089d0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108a10) Arc: (edge = 0x7fffee1e5970, target = 0x21089f0) ] Edge 28 <-> 47 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108c50) Arc: (edge = 0x7fffee1e5970, target = 0x21089f0) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108a30) Arc: (edge = 0x7fffee1e5970, target = 0x2108a10) ] Edge 29 <-> 36 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108af0) Arc: (edge = 0x7fffee1e5970, target = 0x2108a10) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108a50) Arc: (edge = 0x7fffee1e5970, target = 0x2108a30) ] Edge 31 <-> 32 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108a70) Arc: (edge = 0x7fffee1e5970, target = 0x2108a50) ] Edge 31 <-> 193 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109e90) Arc: (edge = 0x7fffee1e5970, target = 0x2108a50) ] Edge 31 <-> 226 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a2b0) Arc: (edge = 0x7fffee1e5970, target = 0x2108a50) ] Edge 33 <-> 34 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108ab0) Arc: (edge = 0x7fffee1e5970, target = 0x2108a90) ] Edge 33 <-> 55 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108d50) Arc: (edge = 0x7fffee1e5970, target = 0x2108a90) ] Edge 33 <-> 63 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108e50) Arc: (edge = 0x7fffee1e5970, target = 0x2108a90) ] Edge 34 <-> 35 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108ad0) Arc: (edge = 0x7fffee1e5970, target = 0x2108ab0) ] Edge 34 <-> 69 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108f10) Arc: (edge = 0x7fffee1e5970, target = 0x2108ab0) ] Edge 34 <-> 90 [ Arc: (edge = 0x7fffee1e5970, target = 0x21091b0) Arc: (edge = 0x7fffee1e5970, target = 0x2108ab0) ] Edge 34 <-> 102 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109330) Arc: (edge = 0x7fffee1e5970, target = 0x2108ab0) ] Edge 35 <-> 192 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109e70) Arc: (edge = 0x7fffee1e5970, target = 0x2108ad0) ] Edge 36 <-> 37 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108b10) Arc: (edge = 0x7fffee1e5970, target = 0x2108af0) ] Edge 36 <-> 44 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108bf0) Arc: (edge = 0x7fffee1e5970, target = 0x2108af0) ] Edge 36 <-> 45 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108c10) Arc: (edge = 0x7fffee1e5970, target = 0x2108af0) ] Edge 36 <-> 62 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108e30) Arc: (edge = 0x7fffee1e5970, target = 0x2108af0) ] Edge 36 <-> 75 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108fd0) Arc: (edge = 0x7fffee1e5970, target = 0x2108af0) ] Edge 37 <-> 38 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108b30) Arc: (edge = 0x7fffee1e5970, target = 0x2108b10) ] Edge 37 <-> 61 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108e10) Arc: (edge = 0x7fffee1e5970, target = 0x2108b10) ] Edge 38 <-> 39 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108b50) Arc: (edge = 0x7fffee1e5970, target = 0x2108b30) ] Edge 38 <-> 110 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109430) Arc: (edge = 0x7fffee1e5970, target = 0x2108b30) ] Edge 38 <-> 117 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109510) Arc: (edge = 0x7fffee1e5970, target = 0x2108b30) ] Edge 38 <-> 184 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109d70) Arc: (edge = 0x7fffee1e5970, target = 0x2108b30) ] Edge 39 <-> 40 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108b70) Arc: (edge = 0x7fffee1e5970, target = 0x2108b50) ] Edge 39 <-> 150 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109930) Arc: (edge = 0x7fffee1e5970, target = 0x2108b50) ] Edge 39 <-> 221 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a210) Arc: (edge = 0x7fffee1e5970, target = 0x2108b50) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108b90) Arc: (edge = 0x7fffee1e5970, target = 0x2108b70) ] Edge 41 <-> 42 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108bb0) Arc: (edge = 0x7fffee1e5970, target = 0x2108b90) ] Edge 43 <-> 44 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108bf0) Arc: (edge = 0x7fffee1e5970, target = 0x2108bd0) ] Edge 43 <-> 71 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108f50) Arc: (edge = 0x7fffee1e5970, target = 0x2108bd0) ] Edge 43 <-> 79 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109050) Arc: (edge = 0x7fffee1e5970, target = 0x2108bd0) ] Edge 43 <-> 121 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109590) Arc: (edge = 0x7fffee1e5970, target = 0x2108bd0) ] Edge 45 <-> 46 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108c30) Arc: (edge = 0x7fffee1e5970, target = 0x2108c10) ] Edge 45 <-> 54 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108d30) Arc: (edge = 0x7fffee1e5970, target = 0x2108c10) ] Edge 45 <-> 127 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109650) Arc: (edge = 0x7fffee1e5970, target = 0x2108c10) ] Edge 45 <-> 138 [ Arc: (edge = 0x7fffee1e5970, target = 0x21097b0) Arc: (edge = 0x7fffee1e5970, target = 0x2108c10) ] Edge 46 <-> 47 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108c50) Arc: (edge = 0x7fffee1e5970, target = 0x2108c30) ] Edge 47 <-> 64 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108e70) Arc: (edge = 0x7fffee1e5970, target = 0x2108c50) ] Edge 47 <-> 91 [ Arc: (edge = 0x7fffee1e5970, target = 0x21091d0) Arc: (edge = 0x7fffee1e5970, target = 0x2108c50) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108c90) Arc: (edge = 0x7fffee1e5970, target = 0x2108c70) ] Edge 49 <-> 50 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108cb0) Arc: (edge = 0x7fffee1e5970, target = 0x2108c90) ] Edge 50 <-> 51 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108cd0) Arc: (edge = 0x7fffee1e5970, target = 0x2108cb0) ] Edge 50 <-> 201 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109f90) Arc: (edge = 0x7fffee1e5970, target = 0x2108cb0) ] Edge 51 <-> 52 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108cf0) Arc: (edge = 0x7fffee1e5970, target = 0x2108cd0) ] Edge 51 <-> 178 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109cb0) Arc: (edge = 0x7fffee1e5970, target = 0x2108cd0) ] Edge 53 <-> 54 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108d30) Arc: (edge = 0x7fffee1e5970, target = 0x2108d10) ] Edge 54 <-> 72 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108f70) Arc: (edge = 0x7fffee1e5970, target = 0x2108d30) ] Edge 54 <-> 140 [ Arc: (edge = 0x7fffee1e5970, target = 0x21097f0) Arc: (edge = 0x7fffee1e5970, target = 0x2108d30) ] Edge 55 <-> 56 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108d70) Arc: (edge = 0x7fffee1e5970, target = 0x2108d50) ] Edge 55 <-> 134 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109730) Arc: (edge = 0x7fffee1e5970, target = 0x2108d50) ] Edge 55 <-> 156 [ Arc: (edge = 0x7fffee1e5970, target = 0x21099f0) Arc: (edge = 0x7fffee1e5970, target = 0x2108d50) ] Edge 56 <-> 57 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108d90) Arc: (edge = 0x7fffee1e5970, target = 0x2108d70) ] Edge 56 <-> 111 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109450) Arc: (edge = 0x7fffee1e5970, target = 0x2108d70) ] Edge 57 <-> 58 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108db0) Arc: (edge = 0x7fffee1e5970, target = 0x2108d90) ] Edge 58 <-> 59 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108dd0) Arc: (edge = 0x7fffee1e5970, target = 0x2108db0) ] Edge 58 <-> 137 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109790) Arc: (edge = 0x7fffee1e5970, target = 0x2108db0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108df0) Arc: (edge = 0x7fffee1e5970, target = 0x2108dd0) ] Edge 59 <-> 211 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a0d0) Arc: (edge = 0x7fffee1e5970, target = 0x2108dd0) ] Edge 60 <-> 61 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108e10) Arc: (edge = 0x7fffee1e5970, target = 0x2108df0) ] Edge 60 <-> 176 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109c70) Arc: (edge = 0x7fffee1e5970, target = 0x2108df0) ] Edge 60 <-> 183 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109d50) Arc: (edge = 0x7fffee1e5970, target = 0x2108df0) ] Edge 61 <-> 194 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109eb0) Arc: (edge = 0x7fffee1e5970, target = 0x2108e10) ] Edge 62 <-> 63 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108e50) Arc: (edge = 0x7fffee1e5970, target = 0x2108e30) ] Edge 62 <-> 78 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109030) Arc: (edge = 0x7fffee1e5970, target = 0x2108e30) ] Edge 63 <-> 139 [ Arc: (edge = 0x7fffee1e5970, target = 0x21097d0) Arc: (edge = 0x7fffee1e5970, target = 0x2108e50) ] Edge 64 <-> 65 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108e90) Arc: (edge = 0x7fffee1e5970, target = 0x2108e70) ] Edge 64 <-> 175 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109c50) Arc: (edge = 0x7fffee1e5970, target = 0x2108e70) ] Edge 66 <-> 67 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108ed0) Arc: (edge = 0x7fffee1e5970, target = 0x2108eb0) ] Edge 66 <-> 146 [ Arc: (edge = 0x7fffee1e5970, target = 0x21098b0) Arc: (edge = 0x7fffee1e5970, target = 0x2108eb0) ] Edge 68 <-> 69 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108f10) Arc: (edge = 0x7fffee1e5970, target = 0x2108ef0) ] Edge 68 <-> 88 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109170) Arc: (edge = 0x7fffee1e5970, target = 0x2108ef0) ] Edge 68 <-> 95 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109250) Arc: (edge = 0x7fffee1e5970, target = 0x2108ef0) ] Edge 68 <-> 149 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109910) Arc: (edge = 0x7fffee1e5970, target = 0x2108ef0) ] Edge 70 <-> 71 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108f50) Arc: (edge = 0x7fffee1e5970, target = 0x2108f30) ] Edge 70 <-> 119 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109550) Arc: (edge = 0x7fffee1e5970, target = 0x2108f30) ] Edge 70 <-> 132 [ Arc: (edge = 0x7fffee1e5970, target = 0x21096f0) Arc: (edge = 0x7fffee1e5970, target = 0x2108f30) ] Edge 72 <-> 73 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108f90) Arc: (edge = 0x7fffee1e5970, target = 0x2108f70) ] Edge 72 <-> 76 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108ff0) Arc: (edge = 0x7fffee1e5970, target = 0x2108f70) ] Edge 73 <-> 74 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108fb0) Arc: (edge = 0x7fffee1e5970, target = 0x2108f90) ] Edge 74 <-> 75 [ Arc: (edge = 0x7fffee1e5970, target = 0x2108fd0) Arc: (edge = 0x7fffee1e5970, target = 0x2108fb0) ] Edge 75 <-> 133 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109710) Arc: (edge = 0x7fffee1e5970, target = 0x2108fd0) ] Edge 75 <-> 168 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109b70) Arc: (edge = 0x7fffee1e5970, target = 0x2108fd0) ] Edge 76 <-> 77 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109010) Arc: (edge = 0x7fffee1e5970, target = 0x2108ff0) ] Edge 77 <-> 78 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109030) Arc: (edge = 0x7fffee1e5970, target = 0x2109010) ] Edge 77 <-> 84 [ Arc: (edge = 0x7fffee1e5970, target = 0x21090f0) Arc: (edge = 0x7fffee1e5970, target = 0x2109010) ] Edge 77 <-> 195 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109ed0) Arc: (edge = 0x7fffee1e5970, target = 0x2109010) ] Edge 78 <-> 116 [ Arc: (edge = 0x7fffee1e5970, target = 0x21094f0) Arc: (edge = 0x7fffee1e5970, target = 0x2109030) ] Edge 78 <-> 131 [ Arc: (edge = 0x7fffee1e5970, target = 0x21096d0) Arc: (edge = 0x7fffee1e5970, target = 0x2109030) ] Edge 79 <-> 80 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109070) Arc: (edge = 0x7fffee1e5970, target = 0x2109050) ] Edge 79 <-> 122 [ Arc: (edge = 0x7fffee1e5970, target = 0x21095b0) Arc: (edge = 0x7fffee1e5970, target = 0x2109050) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109090) Arc: (edge = 0x7fffee1e5970, target = 0x2109070) ] Edge 81 <-> 82 [ Arc: (edge = 0x7fffee1e5970, target = 0x21090b0) Arc: (edge = 0x7fffee1e5970, target = 0x2109090) ] Edge 82 <-> 83 [ Arc: (edge = 0x7fffee1e5970, target = 0x21090d0) Arc: (edge = 0x7fffee1e5970, target = 0x21090b0) ] Edge 83 <-> 144 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109870) Arc: (edge = 0x7fffee1e5970, target = 0x21090d0) ] Edge 83 <-> 174 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109c30) Arc: (edge = 0x7fffee1e5970, target = 0x21090d0) ] Edge 84 <-> 85 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109110) Arc: (edge = 0x7fffee1e5970, target = 0x21090f0) ] Edge 85 <-> 86 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109130) Arc: (edge = 0x7fffee1e5970, target = 0x2109110) ] Edge 85 <-> 89 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109190) Arc: (edge = 0x7fffee1e5970, target = 0x2109110) ] Edge 86 <-> 87 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109150) Arc: (edge = 0x7fffee1e5970, target = 0x2109130) ] Edge 86 <-> 104 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109370) Arc: (edge = 0x7fffee1e5970, target = 0x2109130) ] Edge 87 <-> 88 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109170) Arc: (edge = 0x7fffee1e5970, target = 0x2109150) ] Edge 89 <-> 90 [ Arc: (edge = 0x7fffee1e5970, target = 0x21091b0) Arc: (edge = 0x7fffee1e5970, target = 0x2109190) ] Edge 90 <-> 103 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109350) Arc: (edge = 0x7fffee1e5970, target = 0x21091b0) ] Edge 91 <-> 92 [ Arc: (edge = 0x7fffee1e5970, target = 0x21091f0) Arc: (edge = 0x7fffee1e5970, target = 0x21091d0) ] Edge 91 <-> 96 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109270) Arc: (edge = 0x7fffee1e5970, target = 0x21091d0) ] Edge 92 <-> 93 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109210) Arc: (edge = 0x7fffee1e5970, target = 0x21091f0) ] Edge 93 <-> 94 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109230) Arc: (edge = 0x7fffee1e5970, target = 0x2109210) ] Edge 94 <-> 95 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109250) Arc: (edge = 0x7fffee1e5970, target = 0x2109230) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109290) Arc: (edge = 0x7fffee1e5970, target = 0x2109270) ] Edge 97 <-> 98 [ Arc: (edge = 0x7fffee1e5970, target = 0x21092b0) Arc: (edge = 0x7fffee1e5970, target = 0x2109290) ] Edge 98 <-> 99 [ Arc: (edge = 0x7fffee1e5970, target = 0x21092d0) Arc: (edge = 0x7fffee1e5970, target = 0x21092b0) ] Edge 98 <-> 128 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109670) Arc: (edge = 0x7fffee1e5970, target = 0x21092b0) ] Edge 99 <-> 100 [ Arc: (edge = 0x7fffee1e5970, target = 0x21092f0) Arc: (edge = 0x7fffee1e5970, target = 0x21092d0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109310) Arc: (edge = 0x7fffee1e5970, target = 0x21092f0) ] Edge 102 <-> 103 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109350) Arc: (edge = 0x7fffee1e5970, target = 0x2109330) ] Edge 103 <-> 129 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109690) Arc: (edge = 0x7fffee1e5970, target = 0x2109350) ] Edge 103 <-> 152 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109970) Arc: (edge = 0x7fffee1e5970, target = 0x2109350) ] Edge 104 <-> 105 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109390) Arc: (edge = 0x7fffee1e5970, target = 0x2109370) ] Edge 105 <-> 106 [ Arc: (edge = 0x7fffee1e5970, target = 0x21093b0) Arc: (edge = 0x7fffee1e5970, target = 0x2109390) ] Edge 106 <-> 107 [ Arc: (edge = 0x7fffee1e5970, target = 0x21093d0) Arc: (edge = 0x7fffee1e5970, target = 0x21093b0) ] Edge 107 <-> 108 [ Arc: (edge = 0x7fffee1e5970, target = 0x21093f0) Arc: (edge = 0x7fffee1e5970, target = 0x21093d0) ] Edge 107 <-> 120 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109570) Arc: (edge = 0x7fffee1e5970, target = 0x21093d0) ] Edge 107 <-> 155 [ Arc: (edge = 0x7fffee1e5970, target = 0x21099d0) Arc: (edge = 0x7fffee1e5970, target = 0x21093d0) ] Edge 107 <-> 173 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109c10) Arc: (edge = 0x7fffee1e5970, target = 0x21093d0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109410) Arc: (edge = 0x7fffee1e5970, target = 0x21093f0) ] Edge 108 <-> 169 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109b90) Arc: (edge = 0x7fffee1e5970, target = 0x21093f0) ] Edge 109 <-> 110 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109430) Arc: (edge = 0x7fffee1e5970, target = 0x2109410) ] Edge 109 <-> 213 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a110) Arc: (edge = 0x7fffee1e5970, target = 0x2109410) ] Edge 111 <-> 112 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109470) Arc: (edge = 0x7fffee1e5970, target = 0x2109450) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109490) Arc: (edge = 0x7fffee1e5970, target = 0x2109470) ] Edge 113 <-> 114 [ Arc: (edge = 0x7fffee1e5970, target = 0x21094b0) Arc: (edge = 0x7fffee1e5970, target = 0x2109490) ] Edge 114 <-> 115 [ Arc: (edge = 0x7fffee1e5970, target = 0x21094d0) Arc: (edge = 0x7fffee1e5970, target = 0x21094b0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7fffee1e5970, target = 0x21094f0) Arc: (edge = 0x7fffee1e5970, target = 0x21094d0) ] Edge 115 <-> 210 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a0b0) Arc: (edge = 0x7fffee1e5970, target = 0x21094d0) ] Edge 117 <-> 118 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109530) Arc: (edge = 0x7fffee1e5970, target = 0x2109510) ] Edge 118 <-> 119 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109550) Arc: (edge = 0x7fffee1e5970, target = 0x2109530) ] Edge 120 <-> 121 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109590) Arc: (edge = 0x7fffee1e5970, target = 0x2109570) ] Edge 121 <-> 207 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a050) Arc: (edge = 0x7fffee1e5970, target = 0x2109590) ] Edge 122 <-> 123 [ Arc: (edge = 0x7fffee1e5970, target = 0x21095d0) Arc: (edge = 0x7fffee1e5970, target = 0x21095b0) ] Edge 123 <-> 124 [ Arc: (edge = 0x7fffee1e5970, target = 0x21095f0) Arc: (edge = 0x7fffee1e5970, target = 0x21095d0) ] Edge 124 <-> 125 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109610) Arc: (edge = 0x7fffee1e5970, target = 0x21095f0) ] Edge 125 <-> 126 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109630) Arc: (edge = 0x7fffee1e5970, target = 0x2109610) ] Edge 126 <-> 136 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109770) Arc: (edge = 0x7fffee1e5970, target = 0x2109630) ] Edge 127 <-> 128 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109670) Arc: (edge = 0x7fffee1e5970, target = 0x2109650) ] Edge 127 <-> 160 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109a70) Arc: (edge = 0x7fffee1e5970, target = 0x2109650) ] Edge 129 <-> 130 [ Arc: (edge = 0x7fffee1e5970, target = 0x21096b0) Arc: (edge = 0x7fffee1e5970, target = 0x2109690) ] Edge 130 <-> 131 [ Arc: (edge = 0x7fffee1e5970, target = 0x21096d0) Arc: (edge = 0x7fffee1e5970, target = 0x21096b0) ] Edge 130 <-> 206 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a030) Arc: (edge = 0x7fffee1e5970, target = 0x21096b0) ] Edge 130 <-> 245 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a510) Arc: (edge = 0x7fffee1e5970, target = 0x21096b0) ] Edge 131 <-> 179 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109cd0) Arc: (edge = 0x7fffee1e5970, target = 0x21096d0) ] Edge 132 <-> 133 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109710) Arc: (edge = 0x7fffee1e5970, target = 0x21096f0) ] Edge 132 <-> 209 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a090) Arc: (edge = 0x7fffee1e5970, target = 0x21096f0) ] Edge 134 <-> 135 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109750) Arc: (edge = 0x7fffee1e5970, target = 0x2109730) ] Edge 136 <-> 137 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109790) Arc: (edge = 0x7fffee1e5970, target = 0x2109770) ] Edge 136 <-> 191 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109e50) Arc: (edge = 0x7fffee1e5970, target = 0x2109770) ] Edge 138 <-> 139 [ Arc: (edge = 0x7fffee1e5970, target = 0x21097d0) Arc: (edge = 0x7fffee1e5970, target = 0x21097b0) ] Edge 140 <-> 141 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109810) Arc: (edge = 0x7fffee1e5970, target = 0x21097f0) ] Edge 141 <-> 142 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109830) Arc: (edge = 0x7fffee1e5970, target = 0x2109810) ] Edge 142 <-> 143 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109850) Arc: (edge = 0x7fffee1e5970, target = 0x2109830) ] Edge 143 <-> 144 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109870) Arc: (edge = 0x7fffee1e5970, target = 0x2109850) ] Edge 143 <-> 232 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a370) Arc: (edge = 0x7fffee1e5970, target = 0x2109850) ] Edge 145 <-> 146 [ Arc: (edge = 0x7fffee1e5970, target = 0x21098b0) Arc: (edge = 0x7fffee1e5970, target = 0x2109890) ] Edge 145 <-> 236 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a3f0) Arc: (edge = 0x7fffee1e5970, target = 0x2109890) ] Edge 147 <-> 148 [ Arc: (edge = 0x7fffee1e5970, target = 0x21098f0) Arc: (edge = 0x7fffee1e5970, target = 0x21098d0) ] Edge 147 <-> 163 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109ad0) Arc: (edge = 0x7fffee1e5970, target = 0x21098d0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109910) Arc: (edge = 0x7fffee1e5970, target = 0x21098f0) ] Edge 150 <-> 151 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109950) Arc: (edge = 0x7fffee1e5970, target = 0x2109930) ] Edge 151 <-> 152 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109970) Arc: (edge = 0x7fffee1e5970, target = 0x2109950) ] Edge 153 <-> 154 [ Arc: (edge = 0x7fffee1e5970, target = 0x21099b0) Arc: (edge = 0x7fffee1e5970, target = 0x2109990) ] Edge 154 <-> 155 [ Arc: (edge = 0x7fffee1e5970, target = 0x21099d0) Arc: (edge = 0x7fffee1e5970, target = 0x21099b0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109a10) Arc: (edge = 0x7fffee1e5970, target = 0x21099f0) ] Edge 157 <-> 158 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109a30) Arc: (edge = 0x7fffee1e5970, target = 0x2109a10) ] Edge 157 <-> 244 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a4f0) Arc: (edge = 0x7fffee1e5970, target = 0x2109a10) ] Edge 158 <-> 159 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109a50) Arc: (edge = 0x7fffee1e5970, target = 0x2109a30) ] Edge 158 <-> 190 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109e30) Arc: (edge = 0x7fffee1e5970, target = 0x2109a30) ] Edge 159 <-> 160 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109a70) Arc: (edge = 0x7fffee1e5970, target = 0x2109a50) ] Edge 159 <-> 161 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109a90) Arc: (edge = 0x7fffee1e5970, target = 0x2109a50) ] Edge 159 <-> 208 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a070) Arc: (edge = 0x7fffee1e5970, target = 0x2109a50) ] Edge 161 <-> 162 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109ab0) Arc: (edge = 0x7fffee1e5970, target = 0x2109a90) ] Edge 161 <-> 170 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109bb0) Arc: (edge = 0x7fffee1e5970, target = 0x2109a90) ] Edge 161 <-> 177 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109c90) Arc: (edge = 0x7fffee1e5970, target = 0x2109a90) ] Edge 161 <-> 227 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a2d0) Arc: (edge = 0x7fffee1e5970, target = 0x2109a90) ] Edge 163 <-> 164 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109af0) Arc: (edge = 0x7fffee1e5970, target = 0x2109ad0) ] Edge 163 <-> 171 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109bd0) Arc: (edge = 0x7fffee1e5970, target = 0x2109ad0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109b10) Arc: (edge = 0x7fffee1e5970, target = 0x2109af0) ] Edge 165 <-> 166 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109b30) Arc: (edge = 0x7fffee1e5970, target = 0x2109b10) ] Edge 166 <-> 167 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109b50) Arc: (edge = 0x7fffee1e5970, target = 0x2109b30) ] Edge 167 <-> 168 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109b70) Arc: (edge = 0x7fffee1e5970, target = 0x2109b50) ] Edge 167 <-> 214 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a130) Arc: (edge = 0x7fffee1e5970, target = 0x2109b50) ] Edge 168 <-> 182 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109d30) Arc: (edge = 0x7fffee1e5970, target = 0x2109b70) ] Edge 168 <-> 222 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a230) Arc: (edge = 0x7fffee1e5970, target = 0x2109b70) ] Edge 169 <-> 170 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109bb0) Arc: (edge = 0x7fffee1e5970, target = 0x2109b90) ] Edge 171 <-> 172 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109bf0) Arc: (edge = 0x7fffee1e5970, target = 0x2109bd0) ] Edge 173 <-> 174 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109c30) Arc: (edge = 0x7fffee1e5970, target = 0x2109c10) ] Edge 175 <-> 176 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109c70) Arc: (edge = 0x7fffee1e5970, target = 0x2109c50) ] Edge 175 <-> 243 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a4d0) Arc: (edge = 0x7fffee1e5970, target = 0x2109c50) ] Edge 177 <-> 178 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109cb0) Arc: (edge = 0x7fffee1e5970, target = 0x2109c90) ] Edge 179 <-> 180 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109cf0) Arc: (edge = 0x7fffee1e5970, target = 0x2109cd0) ] Edge 180 <-> 181 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109d10) Arc: (edge = 0x7fffee1e5970, target = 0x2109cf0) ] Edge 182 <-> 183 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109d50) Arc: (edge = 0x7fffee1e5970, target = 0x2109d30) ] Edge 184 <-> 185 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109d90) Arc: (edge = 0x7fffee1e5970, target = 0x2109d70) ] Edge 185 <-> 186 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109db0) Arc: (edge = 0x7fffee1e5970, target = 0x2109d90) ] Edge 186 <-> 187 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109dd0) Arc: (edge = 0x7fffee1e5970, target = 0x2109db0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109df0) Arc: (edge = 0x7fffee1e5970, target = 0x2109dd0) ] Edge 188 <-> 189 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109e10) Arc: (edge = 0x7fffee1e5970, target = 0x2109df0) ] Edge 189 <-> 190 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109e30) Arc: (edge = 0x7fffee1e5970, target = 0x2109e10) ] Edge 191 <-> 192 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109e70) Arc: (edge = 0x7fffee1e5970, target = 0x2109e50) ] Edge 193 <-> 194 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109eb0) Arc: (edge = 0x7fffee1e5970, target = 0x2109e90) ] Edge 194 <-> 215 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a150) Arc: (edge = 0x7fffee1e5970, target = 0x2109eb0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109ef0) Arc: (edge = 0x7fffee1e5970, target = 0x2109ed0) ] Edge 196 <-> 197 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109f10) Arc: (edge = 0x7fffee1e5970, target = 0x2109ef0) ] Edge 197 <-> 198 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109f30) Arc: (edge = 0x7fffee1e5970, target = 0x2109f10) ] Edge 198 <-> 199 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109f50) Arc: (edge = 0x7fffee1e5970, target = 0x2109f30) ] Edge 199 <-> 200 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109f70) Arc: (edge = 0x7fffee1e5970, target = 0x2109f50) ] Edge 200 <-> 201 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109f90) Arc: (edge = 0x7fffee1e5970, target = 0x2109f70) ] Edge 202 <-> 203 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109fd0) Arc: (edge = 0x7fffee1e5970, target = 0x2109fb0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7fffee1e5970, target = 0x2109ff0) Arc: (edge = 0x7fffee1e5970, target = 0x2109fd0) ] Edge 204 <-> 205 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a010) Arc: (edge = 0x7fffee1e5970, target = 0x2109ff0) ] Edge 205 <-> 206 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a030) Arc: (edge = 0x7fffee1e5970, target = 0x210a010) ] Edge 207 <-> 208 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a070) Arc: (edge = 0x7fffee1e5970, target = 0x210a050) ] Edge 209 <-> 210 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a0b0) Arc: (edge = 0x7fffee1e5970, target = 0x210a090) ] Edge 211 <-> 212 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a0f0) Arc: (edge = 0x7fffee1e5970, target = 0x210a0d0) ] Edge 213 <-> 214 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a130) Arc: (edge = 0x7fffee1e5970, target = 0x210a110) ] Edge 215 <-> 216 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a170) Arc: (edge = 0x7fffee1e5970, target = 0x210a150) ] Edge 216 <-> 217 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a190) Arc: (edge = 0x7fffee1e5970, target = 0x210a170) ] Edge 217 <-> 218 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a1b0) Arc: (edge = 0x7fffee1e5970, target = 0x210a190) ] Edge 218 <-> 219 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a1d0) Arc: (edge = 0x7fffee1e5970, target = 0x210a1b0) ] Edge 219 <-> 220 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a1f0) Arc: (edge = 0x7fffee1e5970, target = 0x210a1d0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a210) Arc: (edge = 0x7fffee1e5970, target = 0x210a1f0) ] Edge 222 <-> 223 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a250) Arc: (edge = 0x7fffee1e5970, target = 0x210a230) ] Edge 223 <-> 224 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a270) Arc: (edge = 0x7fffee1e5970, target = 0x210a250) ] Edge 224 <-> 225 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a290) Arc: (edge = 0x7fffee1e5970, target = 0x210a270) ] Edge 225 <-> 226 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a2b0) Arc: (edge = 0x7fffee1e5970, target = 0x210a290) ] Edge 227 <-> 228 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a2f0) Arc: (edge = 0x7fffee1e5970, target = 0x210a2d0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a310) Arc: (edge = 0x7fffee1e5970, target = 0x210a2f0) ] Edge 229 <-> 230 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a330) Arc: (edge = 0x7fffee1e5970, target = 0x210a310) ] Edge 230 <-> 231 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a350) Arc: (edge = 0x7fffee1e5970, target = 0x210a330) ] Edge 231 <-> 232 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a370) Arc: (edge = 0x7fffee1e5970, target = 0x210a350) ] Edge 233 <-> 234 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a3b0) Arc: (edge = 0x7fffee1e5970, target = 0x210a390) ] Edge 234 <-> 235 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a3d0) Arc: (edge = 0x7fffee1e5970, target = 0x210a3b0) ] Edge 234 <-> 246 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a530) Arc: (edge = 0x7fffee1e5970, target = 0x210a3b0) ] Edge 235 <-> 236 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a3f0) Arc: (edge = 0x7fffee1e5970, target = 0x210a3d0) ] Edge 237 <-> 238 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a430) Arc: (edge = 0x7fffee1e5970, target = 0x210a410) ] Edge 238 <-> 239 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a450) Arc: (edge = 0x7fffee1e5970, target = 0x210a430) ] Edge 239 <-> 240 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a470) Arc: (edge = 0x7fffee1e5970, target = 0x210a450) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a490) Arc: (edge = 0x7fffee1e5970, target = 0x210a470) ] Edge 241 <-> 242 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a4b0) Arc: (edge = 0x7fffee1e5970, target = 0x210a490) ] Edge 242 <-> 243 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a4d0) Arc: (edge = 0x7fffee1e5970, target = 0x210a4b0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a510) Arc: (edge = 0x7fffee1e5970, target = 0x210a4f0) ] Edge 246 <-> 247 [ Arc: (edge = 0x7fffee1e5970, target = 0x210a550) Arc: (edge = 0x7fffee1e5970, target = 0x210a530) ] ] Robot arrangement: (|R| = 18, |V| = 248) [ robot locations: {1#4 2#21 3#24 4#36 5#37 6#46 7#60 8#98 9#118 10#132 11#148 12#155 13#179 14#200 15#205 16#226 17#228 18#232 } vertex occupancy: {0#0 0#1 0#2 0#3 1#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 2#21 0#22 0#23 3#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 4#36 5#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 6#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 7#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 8#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 9#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 10#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 11#148 0#149 0#150 0#151 0#152 0#153 0#154 12#155 0#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 13#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 14#200 0#201 0#202 0#203 0#204 15#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 16#226 0#227 17#228 0#229 0#230 0#231 18#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 } ] Robot arrangement: (|R| = 18, |V| = 248) [ robot locations: {1#3 2#5 3#9 4#27 5#59 6#64 7#75 8#77 9#111 10#133 11#136 12#154 13#178 14#190 15#204 16#216 17#240 18#245 } vertex occupancy: {0#0 0#1 0#2 1#3 0#4 2#5 0#6 0#7 0#8 3#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 4#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 5#59 0#60 0#61 0#62 0#63 6#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 7#75 0#76 8#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 9#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 10#133 0#134 0#135 11#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 12#154 0#155 0#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 13#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 14#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 0#202 0#203 15#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 16#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 17#240 0#241 0#242 0#243 0#244 18#245 0#246 0#247 } ] Original solution: Mulirobot solution: (|moves| = 440, paralellism = 3.761) [ Step 0: 245#232->143 241#4->53 231#228->227 246#179->180 232#36->75 242#132->70 238#46->45 237#226->31 243#37->36 247#205->206 236#98->128 233#200->201 244#21->22 240#118->117 234#155->107 235#24->27 239#148->149 Step 1: 231#227->161 246#180->181 232#75->133 242#70->71 245#143->142 238#45->127 237#31->30 243#36->29 247#206->130 233#201->50 244#22->23 240#117->38 239#149->68 234#107->108 Step 2: 231#161->159 246#181->26 245#142->141 238#127->160 237#30->12 247#130->131 242#71->43 232#133->132 233#50->49 244#23->126 234#108->109 Step 3: 231#159->158 246#26->18 245#141->140 238#160->159 247#131->78 237#12->5 242#43->44 232#132->70 233#49->48 234#109->110 Step 4: 231#158->157 246#18->17 245#140->54 238#159->161 247#78->62 232#70->71 237#5->6 233#48->13 Step 5: 231#157->244 246#17->8 245#54->45 241#53->54 238#161->162 247#62->36 233#13->12 237#6->7 232#71->43 Step 6: 231#244->245 246#8->237 245#45->127 241#54->45 247#36->37 242#44->36 238#162->16 233#12->5 237#7->8 232#43->44 Step 7: 246#237->238 245#127->160 241#45->46 247#37->61 242#36->75 236#128->127 233#5->6 237#8->17 Step 8: 246#238->239 247#61->194 230#60->61 236#127->45 245#160->127 237#17->18 233#6->7 Step 9: 246#239->240 247#194->215 236#45->54 241#46->45 230#61->37 237#18->19 233#7->23 Step 10: 247#215->216 236#54->53 241#45->36 245#127->45 237#19->70 233#23->22 244#126->23 Step 11: 236#53->4 241#36->62 245#45->54 230#37->36 237#70->119 240#38->37 Step 12: 236#4->3 245#54->53 237#119->118 230#36->45 243#29->36 Step 13: 236#3->202 237#118->117 245#53->4 Step 14: 236#202->203 237#117->38 245#4->5 238#16->4 Step 15: 236#203->204 237#38->184 240#37->38 243#36->37 230#45->36 Step 16: 240#38->39 237#184->185 243#37->38 230#36->29 241#62->36 Step 17: 237#185->186 240#39->40 243#38->39 230#29->30 241#36->45 234#110->38 Step 18: 237#186->187 240#40->41 230#30->12 241#45->127 243#39->40 234#38->37 Step 19: 240#41->42 237#187->188 230#12->11 241#127->160 245#5->12 238#4->5 243#40->41 Step 20: 240#42->0 237#188->189 241#160->159 238#5->6 245#12->5 243#41->42 239#68->12 Step 21: 240#0->1 237#189->190 241#159->161 238#6->7 245#5->6 Step 22: 240#1->2 241#161->177 238#7->8 245#6->7 Step 23: 241#177->178 240#2->3 238#8->0 245#7->8 244#23->7 Step 24: 240#3->4 238#0->1 245#8->17 244#7->153 243#42->0 Step 25: 240#4->5 245#17->18 244#153->154 238#1->2 243#0->1 Step 26: 240#5->6 239#12->5 243#1->24 238#2->1 245#18->33 230#11->12 Step 27: 239#5->4 238#1->0 240#6->5 245#33->63 243#24->1 235#27->24 Step 28: 239#4->3 238#0->8 245#63->62 243#1->0 Step 29: 239#3->2 238#8->7 245#62->36 243#0->8 Step 30: 238#7->6 245#36->29 239#2->1 242#75->36 Step 31: 238#6->9 240#5->6 230#12->5 239#1->0 245#29->30 242#36->62 234#37->36 Step 32: 238#9->10 240#6->9 230#5->6 245#30->12 242#62->63 234#36->29 232#44->36 Step 33: 230#6->7 242#63->33 238#10->11 234#29->28 232#36->29 Step 34: 230#7->23 243#8->7 239#0->8 242#33->55 234#28->47 232#29->28 Step 35: 230#23->126 239#8->17 243#7->6 242#55->56 232#28->27 234#47->46 233#22->23 Step 36: 230#126->136 239#17->18 243#6->5 242#56->111 233#23->32 Step 37: 239#18->19 243#5->4 245#12->5 238#11->12 233#32->31 Step 38: 239#19->70 243#4->16 245#5->6 238#12->5 233#31->30 Step 39: 239#70->132 245#6->7 238#5->4 240#9->6 233#30->29 Step 40: 239#132->133 238#4->53 243#16->4 233#29->28 Step 41: 238#53->54 243#4->5 233#28->47 232#27->28 235#24->27 Step 42: 238#54->72 243#5->12 240#6->5 233#47->64 232#28->29 234#46->47 Step 43: 238#72->76 240#5->4 243#12->5 232#29->30 234#47->28 Step 44: 238#76->77 240#4->53 243#5->35 232#30->12 234#28->29 Step 45: 240#53->54 243#35->34 232#12->13 234#29->30 Step 46: 240#54->72 243#34->33 232#13->14 234#30->12 Step 47: 240#72->73 243#33->55 232#14->15 Step 48: 240#73->74 243#55->56 232#15->16 Step 49: 240#74->75 243#56->57 232#16->4 Step 50: 243#57->58 232#4->5 Step 51: 243#58->59 232#5->6 Step 52: 232#6->9 245#7->6 Step 53: 245#6->5 Step 54: 245#5->4 234#12->5 Step 55: 234#5->6 245#4->5 Step 56: 234#6->7 245#5->6 Step 57: 234#7->8 245#6->7 Step 58: 234#8->0 245#7->8 Step 59: 234#0->1 245#8->0 Step 60: 234#1->2 245#0->1 Step 61: 234#2->3 245#1->2 Step 62: 234#3->4 245#2->3 Step 63: 234#4->5 245#3->4 Step 64: 234#5->6 245#4->5 Step 65: 234#6->7 245#5->6 Step 66: 234#7->8 245#6->7 Step 67: 234#8->0 245#7->8 Step 68: 234#0->1 245#8->0 Step 69: 234#1->2 245#0->1 Step 70: 234#2->3 245#1->2 Step 71: 234#3->4 245#2->3 Step 72: 234#4->5 245#3->4 Step 73: 234#5->6 245#4->5 Step 74: 234#6->7 245#5->6 Step 75: 234#7->8 245#6->7 Step 76: 234#8->0 245#7->8 Step 77: 234#0->1 245#8->0 Step 78: 234#1->2 245#0->1 Step 79: 234#2->3 245#1->2 Step 80: 234#3->4 245#2->3 Step 81: 234#4->5 245#3->4 Step 82: 234#5->6 245#4->5 Step 83: 234#6->7 232#9->6 Step 84: 234#7->8 232#6->7 245#5->6 Step 85: 234#8->0 232#7->8 245#6->7 Step 86: 234#0->1 232#8->0 245#7->8 Step 87: 234#1->2 232#0->1 245#8->0 Step 88: 234#2->3 232#1->2 245#0->1 Step 89: 234#3->4 232#2->3 245#1->2 Step 90: 234#4->5 232#3->4 245#2->3 Step 91: 234#5->6 232#4->5 245#3->4 Step 92: 234#6->9 232#5->6 245#4->5 Step 93: 232#6->7 245#5->6 Step 94: 232#7->8 245#6->7 Step 95: 232#8->0 245#7->8 Step 96: 232#0->1 245#8->0 Step 97: 232#1->2 245#0->1 Step 98: 232#2->3 245#1->2 Step 99: 232#3->4 245#2->3 Step 100: 232#4->5 245#3->4 Step 101: 232#5->6 245#4->5 Step 102: 232#6->7 245#5->6 Step 103: 232#7->8 245#6->7 Step 104: 232#8->0 245#7->8 Step 105: 232#0->1 245#8->0 Step 106: 232#1->2 245#0->1 Step 107: 232#2->3 245#1->2 Step 108: 232#3->4 245#2->3 Step 109: 232#4->5 245#3->4 Step 110: 232#5->6 245#4->5 Step 111: 232#6->7 Step 112: 232#7->8 Step 113: 232#8->0 Step 114: 232#0->1 Step 115: 232#1->2 Step 116: 232#2->3 ] reSolved solution: Mulirobot solution: (|moves| = 129, paralellism = 8.062) [ Step 0: 1#4->3 10#132->133 12#155->154 15#205->204 6#46->47 4#36->29 5#37->61 7#60->183 2#21->22 11#148->147 16#226->31 3#24->1 8#98->128 9#118->119 14#200->201 13#179->131 18#232->143 17#228->227 Step 1: 6#47->64 4#29->28 5#61->60 7#183->182 2#22->23 16#31->193 3#1->0 8#128->127 9#119->70 14#201->50 13#131->130 18#143->142 17#227->161 Step 2: 4#28->27 5#60->59 7#182->168 2#23->7 16#193->194 3#0->8 8#127->45 9#70->19 14#50->51 13#130->245 18#142->141 17#161->162 Step 3: 7#168->75 2#7->6 16#194->215 8#45->36 9#19->18 14#51->178 13#245->244 18#141->140 17#162->16 Step 4: 2#6->5 11#147->7 16#215->216 8#36->62 9#18->33 14#178->177 13#244->157 18#140->54 17#16->15 Step 5: 11#7->23 8#62->78 9#33->55 14#177->161 13#157->158 18#54->45 17#15->43 Step 6: 11#23->126 3#8->7 8#78->77 9#55->56 14#161->159 13#158->157 18#45->36 17#43->71 Step 7: 11#126->136 3#7->6 9#56->111 14#159->158 18#36->62 17#71->70 Step 8: 1#3->2 2#5->4 4#27->24 5#59->58 6#64->47 7#75->36 8#77->76 9#111->56 10#133->132 11#136->126 12#154->153 15#204->203 16#216->215 3#6->9 14#158->190 18#62->78 13#157->156 17#70->19 Step 9: 1#2->3 2#4->5 4#24->27 5#58->59 6#47->64 7#36->75 8#76->77 9#56->111 10#132->133 11#126->136 12#153->154 15#203->204 16#215->216 18#78->131 13#156->157 17#19->18 Step 10: 18#131->130 13#157->158 17#18->17 Step 11: 18#130->245 13#158->159 17#17->8 Step 12: 13#159->161 17#8->237 Step 13: 13#161->177 17#237->238 Step 14: 13#177->178 17#238->239 Step 15: 17#239->240 ] Multirobot solution analysis: ( total makespan = 16 total distance = 84 total trajectory = 129 average parallelism = 8.062 average distance = 4.667 average trajectory = 7.167 parallelism distribution = [ 1 3 2 0 0 1 1 1 2 0 0 1 1 0 0 1 0 2 ] distance distribution = [ 4 1 2 1 3 1 1 1 1 1 0 0 1 ] trajectory distribution = [ 0 0 4 1 2 2 3 0 2 1 0 1 0 1 0 1 ] ) Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 129 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] Sub-phases { Phase (name = 'WHCA*_solving') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 129 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 6436 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] } ] ----------------------------------------------------------------