================================================================ 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:602 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) 235 # 24 ---> 27 (0) 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) 243 # 29 ---> 30 (2) 230 # 60 ---> 61 (8) 229 # 56 ---> 57 (0) 237 # 5 ---> 35 (4) 243 # 30 ---> 12 (3) 247 # 215 ---> 216 (10) 237 # 35 ---> 34 (5) 243 # 12 ---> 5 (4) 230 # 61 ---> 37 (9) 229 # 57 ---> 58 (1) 237 # 34 ---> 33 (6) 229 # 58 ---> 59 (2) 229 # 59 ---> 60 (8) 242 # 71 ---> 43 (2) 232 # 133 ---> 132 (2) 242 # 43 ---> 44 (3) 232 # 132 ---> 70 (3) 242 # 44 ---> 36 (6) 242 # 36 ---> 75 (7) 238 # 162 ---> 16 (6) 238 # 16 ---> 15 (7) 243 # 5 ---> 6 (5) 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) 228 # 96 ---> 91 (0) 241 # 46 ---> 45 (9) 241 # 45 ---> 36 (10) 241 # 36 ---> 62 (11) 233 # 49 ---> 48 (3) 227 # 177 ---> 161 (5) 227 # 161 ---> 159 (6) 245 # 160 ---> 127 (8) 227 # 159 ---> 160 (8) 245 # 127 ---> 45 (10) 227 # 160 ---> 127 (10) 245 # 45 ---> 54 (11) 227 # 127 ---> 45 (11) 245 # 54 ---> 53 (12) 227 # 45 ---> 54 (12) 227 # 54 ---> 72 (13) 227 # 72 ---> 76 (14) 227 # 76 ---> 77 (15) 227 # 77 ---> 195 (16) 233 # 48 ---> 13 (4) 227 # 195 ---> 196 (17) 233 # 13 ---> 12 (5) 227 # 196 ---> 197 (18) 228 # 91 ---> 47 (1) 233 # 12 ---> 68 (6) 227 # 197 ---> 198 (19) 230 # 37 ---> 36 (11) 230 # 36 ---> 29 (12) 244 # 21 ---> 22 (0) 244 # 22 ---> 23 (1) 243 # 6 ---> 7 (6) 229 # 60 ---> 61 (9) 244 # 23 ---> 126 (2) 243 # 7 ---> 23 (7) 237 # 33 ---> 63 (7) 230 # 29 ---> 30 (13) 241 # 62 ---> 36 (12) 237 # 63 ---> 62 (12) 230 # 30 ---> 12 (14) 241 # 36 ---> 29 (13) 237 # 62 ---> 36 (13) 237 # 36 ---> 37 (14) 237 # 37 ---> 38 (15) 237 # 38 ---> 184 (16) 230 # 12 ---> 5 (15) 241 # 29 ---> 30 (14) 229 # 61 ---> 37 (15) 230 # 5 ---> 35 (16) 241 # 30 ---> 12 (15) 237 # 184 ---> 185 (17) 229 # 37 ---> 36 (16) 240 # 118 ---> 117 (0) 232 # 70 ---> 119 (4) 229 # 36 ---> 44 (17) 240 # 117 ---> 38 (16) 229 # 44 ---> 43 (18) 237 # 185 ---> 186 (18) 235 # 27 ---> 28 (1) 240 # 38 ---> 39 (17) 237 # 186 ---> 187 (19) 235 # 28 ---> 29 (14) 235 # 29 ---> 36 (17) 240 # 39 ---> 40 (18) 235 # 36 ---> 37 (18) 240 # 40 ---> 41 (19) 235 # 37 ---> 38 (19) 240 # 41 ---> 42 (20) 237 # 187 ---> 188 (20) 237 # 188 ---> 189 (21) 237 # 189 ---> 190 (22) 241 # 12 ---> 5 (16) 241 # 5 ---> 4 (17) 241 # 4 ---> 16 (18) 241 # 16 ---> 162 (19) 241 # 162 ---> 161 (20) 241 # 161 ---> 177 (21) 241 # 177 ---> 178 (22) 228 # 47 ---> 46 (9) 240 # 42 ---> 0 (21) 240 # 0 ---> 1 (22) 245 # 53 ---> 4 (18) 245 # 4 ---> 5 (19) 245 # 5 ---> 12 (20) 238 # 15 ---> 16 (19) 234 # 155 ---> 107 (0) 238 # 16 ---> 4 (20) 245 # 12 ---> 145 (21) 233 # 68 ---> 12 (21) 233 # 12 ---> 5 (22) 233 # 5 ---> 6 (23) 245 # 145 ---> 12 (22) 233 # 6 ---> 7 (24) 238 # 4 ---> 5 (23) 238 # 5 ---> 6 (24) 245 # 12 ---> 5 (24) 243 # 23 ---> 22 (8) 245 # 5 ---> 4 (25) 238 # 6 ---> 5 (25) 238 # 5 ---> 12 (26) 245 # 4 ---> 5 (26) 240 # 1 ---> 2 (23) 233 # 7 ---> 8 (25) 245 # 5 ---> 6 (27) 238 # 12 ---> 5 (27) 229 # 43 ---> 71 (19) 229 # 71 ---> 70 (20) 229 # 70 ---> 19 (21) 229 # 19 ---> 18 (22) 229 # 18 ---> 33 (23) 229 # 33 ---> 55 (24) 229 # 55 ---> 156 (25) 229 # 156 ---> 157 (26) 229 # 157 ---> 158 (27) 229 # 158 ---> 159 (28) 244 # 126 ---> 23 (8) 244 # 23 ---> 7 (25) 244 # 7 ---> 153 (26) 245 # 6 ---> 7 (28) 238 # 5 ---> 6 (28) 233 # 8 ---> 17 (26) 245 # 7 ---> 8 (29) 243 # 22 ---> 23 (25) 233 # 17 ---> 18 (27) 245 # 8 ---> 17 (30) 243 # 23 ---> 7 (29) 243 # 7 ---> 8 (30) 244 # 153 ---> 154 (27) 238 # 6 ---> 7 (30) 240 # 2 ---> 3 (24) 243 # 8 ---> 0 (31) 238 # 7 ---> 8 (31) 240 # 3 ---> 4 (26) 243 # 0 ---> 1 (32) 238 # 8 ---> 0 (32) 240 # 4 ---> 5 (28) 243 # 1 ---> 2 (33) 235 # 38 ---> 39 (20) 240 # 5 ---> 6 (30) 240 # 6 ---> 7 (31) 243 # 2 ---> 3 (34) 239 # 148 ---> 149 (0) 239 # 149 ---> 68 (21) 239 # 68 ---> 12 (27) 239 # 12 ---> 5 (30) 239 # 5 ---> 4 (31) 240 # 7 ---> 8 (32) 230 # 35 ---> 5 (31) 233 # 18 ---> 33 (28) 233 # 33 ---> 63 (29) 233 # 63 ---> 62 (30) 233 # 62 ---> 36 (31) 233 # 36 ---> 29 (32) 230 # 5 ---> 6 (32) 239 # 4 ---> 5 (32) 243 # 3 ---> 4 (35) 233 # 29 ---> 28 (33) 230 # 6 ---> 7 (33) 230 # 7 ---> 23 (34) 230 # 23 ---> 126 (35) 230 # 126 ---> 136 (36) 239 # 5 ---> 35 (33) 239 # 35 ---> 34 (34) 240 # 8 ---> 7 (34) 239 # 34 ---> 33 (35) 240 # 7 ---> 6 (35) 239 # 33 ---> 18 (36) 239 # 18 ---> 19 (37) 239 # 19 ---> 70 (38) 239 # 70 ---> 132 (39) 239 # 132 ---> 133 (40) 228 # 46 ---> 45 (12) 233 # 28 ---> 47 (34) 228 # 45 ---> 36 (32) 243 # 4 ---> 16 (36) 240 # 6 ---> 5 (36) 228 # 36 ---> 44 (33) 228 # 44 ---> 43 (34) 228 # 43 ---> 79 (35) 228 # 79 ---> 122 (36) 232 # 119 ---> 70 (39) 232 # 70 ---> 71 (40) 232 # 71 ---> 43 (41) 243 # 16 ---> 15 (37) 243 # 15 ---> 14 (38) 243 # 14 ---> 13 (39) 240 # 5 ---> 4 (37) 242 # 75 ---> 36 (33) 242 # 36 ---> 62 (34) 242 # 62 ---> 63 (35) 242 # 63 ---> 33 (36) 242 # 33 ---> 55 (37) 242 # 55 ---> 56 (38) 242 # 56 ---> 111 (39) 234 # 107 ---> 108 (1) 234 # 108 ---> 109 (2) 234 # 109 ---> 110 (3) 234 # 110 ---> 38 (20) 234 # 38 ---> 37 (21) 234 # 37 ---> 36 (34) 234 # 36 ---> 29 (35) 234 # 29 ---> 28 (36) 243 # 13 ---> 12 (40) 240 # 4 ---> 53 (38) 234 # 28 ---> 27 (37) 243 # 12 ---> 30 (41) 243 # 30 ---> 29 (42) 243 # 29 ---> 28 (43) 234 # 27 ---> 24 (38) 243 # 28 ---> 27 (44) 240 # 53 ---> 54 (39) 234 # 24 ---> 1 (39) 243 # 27 ---> 24 (45) 243 # 24 ---> 25 (46) 245 # 17 ---> 18 (37) 245 # 18 ---> 19 (38) 232 # 43 ---> 15 (42) 235 # 39 ---> 40 (21) 240 # 54 ---> 45 (40) 234 # 1 ---> 2 (40) 234 # 2 ---> 3 (41) 232 # 15 ---> 14 (43) 245 # 19 ---> 70 (40) 245 # 70 ---> 71 (41) 245 # 71 ---> 43 (42) 232 # 14 ---> 13 (44) 232 # 13 ---> 12 (45) 245 # 43 ---> 15 (43) 243 # 25 ---> 26 (47) 238 # 0 ---> 1 (40) 238 # 1 ---> 2 (41) 234 # 3 ---> 4 (42) 238 # 2 ---> 3 (42) 234 # 4 ---> 5 (43) 238 # 3 ---> 4 (43) 238 # 4 ---> 53 (44) 238 # 53 ---> 54 (45) 238 # 54 ---> 72 (46) 238 # 72 ---> 76 (47) 238 # 76 ---> 77 (48) 240 # 45 ---> 54 (46) 240 # 54 ---> 72 (47) 240 # 72 ---> 73 (48) 240 # 73 ---> 74 (49) 234 # 5 ---> 4 (44) 234 # 4 ---> 3 (45) 240 # 74 ---> 75 (50) 235 # 40 ---> 41 (22) 235 # 41 ---> 42 (23) 235 # 42 ---> 0 (40) 233 # 47 ---> 64 (35) 243 # 26 ---> 18 (48) 243 # 18 ---> 33 (49) 243 # 33 ---> 55 (50) 243 # 55 ---> 56 (51) 243 # 56 ---> 57 (52) 243 # 57 ---> 58 (53) 243 # 58 ---> 59 (54) 235 # 0 ---> 1 (41) 235 # 1 ---> 24 (46) 235 # 24 ---> 27 (47) 245 # 15 ---> 16 (44) 245 # 16 ---> 4 (45) 232 # 12 ---> 5 (46) 232 # 5 ---> 6 (47) 232 # 6 ---> 7 (48) 232 # 7 ---> 8 (49) 245 # 4 ---> 5 (47) 234 # 3 ---> 4 (47) 232 # 8 ---> 0 (50) 245 # 5 ---> 6 (48) 234 # 4 ---> 5 (48) 232 # 0 ---> 1 (51) 245 # 6 ---> 7 (49) 234 # 5 ---> 6 (49) 232 # 1 ---> 2 (52) 245 # 7 ---> 8 (50) 234 # 6 ---> 7 (50) 232 # 2 ---> 3 (53) 245 # 8 ---> 0 (51) 234 # 7 ---> 8 (51) 232 # 3 ---> 4 (54) 245 # 0 ---> 1 (52) 234 # 8 ---> 0 (52) 232 # 4 ---> 5 (55) 245 # 1 ---> 2 (53) 234 # 0 ---> 1 (53) 232 # 5 ---> 6 (56) 245 # 2 ---> 3 (54) 234 # 1 ---> 2 (54) 232 # 6 ---> 7 (57) 245 # 3 ---> 4 (55) 234 # 2 ---> 3 (55) 232 # 7 ---> 8 (58) 245 # 4 ---> 5 (56) 234 # 3 ---> 4 (56) 232 # 8 ---> 0 (59) 245 # 5 ---> 6 (57) 234 # 4 ---> 5 (57) 232 # 0 ---> 1 (60) 245 # 6 ---> 7 (58) 234 # 5 ---> 6 (58) 232 # 1 ---> 2 (61) 245 # 7 ---> 8 (59) 234 # 6 ---> 7 (59) 245 # 8 ---> 0 (60) 234 # 7 ---> 8 (60) 232 # 2 ---> 3 (62) 232 # 3 ---> 4 (63) 245 # 0 ---> 1 (61) 234 # 8 ---> 0 (61) 232 # 4 ---> 5 (64) 245 # 1 ---> 2 (62) 234 # 0 ---> 1 (62) 232 # 5 ---> 6 (65) 245 # 2 ---> 3 (63) 234 # 1 ---> 2 (63) 232 # 6 ---> 7 (66) 245 # 3 ---> 4 (64) 234 # 2 ---> 3 (64) 232 # 7 ---> 8 (67) 245 # 4 ---> 5 (65) 234 # 3 ---> 4 (65) 232 # 8 ---> 0 (68) 245 # 5 ---> 6 (66) 234 # 4 ---> 5 (66) 232 # 0 ---> 1 (69) 245 # 6 ---> 7 (67) 234 # 5 ---> 6 (67) 232 # 1 ---> 2 (70) 245 # 7 ---> 8 (68) 234 # 6 ---> 7 (68) 232 # 2 ---> 3 (71) 245 # 8 ---> 0 (69) 234 # 7 ---> 8 (69) 232 # 3 ---> 4 (72) 245 # 0 ---> 1 (70) 234 # 8 ---> 0 (70) 232 # 4 ---> 5 (73) 232 # 5 ---> 6 (74) 245 # 1 ---> 2 (71) 234 # 0 ---> 1 (71) 232 # 6 ---> 7 (75) 245 # 2 ---> 3 (72) 234 # 1 ---> 2 (72) 232 # 7 ---> 8 (76) 245 # 3 ---> 4 (73) 234 # 2 ---> 3 (73) 232 # 8 ---> 0 (77) 245 # 4 ---> 5 (74) 234 # 3 ---> 4 (74) 232 # 0 ---> 1 (78) 245 # 5 ---> 6 (75) 234 # 4 ---> 5 (75) 232 # 1 ---> 2 (79) 245 # 6 ---> 7 (76) 234 # 5 ---> 6 (76) 232 # 2 ---> 3 (80) 245 # 7 ---> 8 (77) 234 # 6 ---> 7 (77) 245 # 8 ---> 0 (78) 234 # 7 ---> 8 (78) 232 # 3 ---> 4 (81) 232 # 4 ---> 5 (82) 245 # 0 ---> 1 (79) 234 # 8 ---> 0 (79) 245 # 1 ---> 2 (80) 234 # 0 ---> 1 (80) 232 # 5 ---> 6 (83) 245 # 2 ---> 3 (81) 234 # 1 ---> 2 (81) 232 # 6 ---> 7 (84) 245 # 3 ---> 4 (82) 234 # 2 ---> 3 (82) 232 # 7 ---> 8 (85) 245 # 4 ---> 5 (83) 234 # 3 ---> 4 (83) 232 # 8 ---> 0 (86) 245 # 5 ---> 6 (84) 234 # 4 ---> 5 (84) 232 # 0 ---> 1 (87) 245 # 6 ---> 7 (85) 234 # 5 ---> 6 (85) 232 # 1 ---> 2 (88) 245 # 7 ---> 8 (86) 234 # 6 ---> 7 (86) 232 # 2 ---> 3 (89) 245 # 8 ---> 0 (87) 234 # 7 ---> 8 (87) 232 # 3 ---> 4 (90) 232 # 4 ---> 5 (91) 245 # 0 ---> 1 (88) 234 # 8 ---> 0 (88) 232 # 5 ---> 6 (92) 245 # 1 ---> 2 (89) 234 # 0 ---> 1 (89) 232 # 6 ---> 7 (93) 245 # 2 ---> 3 (90) 234 # 1 ---> 2 (90) 232 # 7 ---> 8 (94) 245 # 3 ---> 4 (91) 234 # 2 ---> 3 (91) 232 # 8 ---> 0 (95) 245 # 4 ---> 5 (92) 234 # 3 ---> 4 (92) 232 # 0 ---> 1 (96) 245 # 5 ---> 6 (93) 234 # 4 ---> 5 (93) 232 # 1 ---> 2 (97) 245 # 6 ---> 9 (94) 234 # 5 ---> 6 (94) 232 # 2 ---> 3 (98) 234 # 6 ---> 7 (95) 232 # 3 ---> 4 (99) 234 # 7 ---> 8 (96) 245 # 9 ---> 6 (95) 234 # 8 ---> 0 (97) 245 # 6 ---> 7 (96) 232 # 4 ---> 5 (100) 234 # 0 ---> 1 (98) 245 # 7 ---> 8 (97) 232 # 5 ---> 6 (101) 234 # 1 ---> 2 (99) 245 # 8 ---> 0 (98) 232 # 6 ---> 7 (102) 234 # 2 ---> 3 (100) 245 # 0 ---> 1 (99) 232 # 7 ---> 8 (103) 234 # 3 ---> 4 (101) 245 # 1 ---> 2 (100) 232 # 8 ---> 0 (104) 234 # 4 ---> 5 (102) 245 # 2 ---> 3 (101) 232 # 0 ---> 1 (105) 234 # 5 ---> 6 (103) 245 # 3 ---> 4 (102) 232 # 1 ---> 2 (106) 234 # 6 ---> 7 (104) 245 # 4 ---> 5 (103) 232 # 2 ---> 3 (107) 245 # 5 ---> 6 (104) 232 # 3 ---> 4 (108) 234 # 7 ---> 8 (105) 245 # 6 ---> 7 (105) 232 # 4 ---> 5 (109) 234 # 8 ---> 0 (106) 245 # 7 ---> 8 (106) 232 # 5 ---> 6 (110) 234 # 0 ---> 1 (107) 245 # 8 ---> 0 (107) 232 # 6 ---> 7 (111) 234 # 1 ---> 2 (108) 245 # 0 ---> 1 (108) 232 # 7 ---> 8 (112) 234 # 2 ---> 3 (109) 245 # 1 ---> 2 (109) 232 # 8 ---> 0 (113) 234 # 3 ---> 4 (110) 245 # 2 ---> 3 (110) 232 # 0 ---> 1 (114) 234 # 4 ---> 5 (111) 245 # 3 ---> 4 (111) 232 # 1 ---> 2 (115) 234 # 5 ---> 6 (112) 245 # 4 ---> 5 (112) 232 # 2 ---> 3 (116) 234 # 6 ---> 7 (113) 234 # 7 ---> 8 (114) 245 # 5 ---> 6 (113) 232 # 3 ---> 4 (117) 234 # 8 ---> 0 (115) 245 # 6 ---> 7 (114) 232 # 4 ---> 5 (118) 234 # 0 ---> 1 (116) 245 # 7 ---> 8 (115) 232 # 5 ---> 6 (119) 234 # 1 ---> 2 (117) 245 # 8 ---> 0 (116) 232 # 6 ---> 7 (120) 234 # 2 ---> 3 (118) 245 # 0 ---> 1 (117) 232 # 7 ---> 8 (121) 234 # 3 ---> 4 (119) 245 # 1 ---> 2 (118) 232 # 8 ---> 0 (122) 234 # 4 ---> 5 (120) 245 # 2 ---> 3 (119) 232 # 0 ---> 1 (123) 234 # 5 ---> 6 (121) 245 # 3 ---> 4 (120) 232 # 1 ---> 2 (124) 234 # 6 ---> 9 (122) 245 # 4 ---> 5 (121) 232 # 2 ---> 3 (125) 245 # 5 ---> 6 (122) 232 # 3 ---> 4 (126) 245 # 6 ---> 7 (123) 232 # 4 ---> 5 (127) 245 # 7 ---> 8 (124) 232 # 5 ---> 6 (128) 245 # 8 ---> 0 (125) 232 # 6 ---> 7 (129) 245 # 0 ---> 1 (126) 232 # 7 ---> 8 (130) 245 # 1 ---> 2 (127) 232 # 8 ---> 0 (131) 245 # 2 ---> 3 (128) 232 # 0 ---> 1 (132) 245 # 3 ---> 4 (129) 232 # 1 ---> 2 (133) 245 # 4 ---> 5 (130) 232 # 2 ---> 3 (134) 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 = 0x7ffffdaf4900, target = 0x1314690) Arc: (edge = 0x7ffffdaf4900, target = 0x1314670) ] Edge 0 <-> 8 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314770) Arc: (edge = 0x7ffffdaf4900, target = 0x1314670) ] Edge 0 <-> 42 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314bb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314670) ] Edge 0 <-> 66 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314eb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314670) ] Edge 1 <-> 2 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13146b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314690) ] Edge 1 <-> 24 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314970) Arc: (edge = 0x7ffffdaf4900, target = 0x1314690) ] Edge 2 <-> 3 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13146d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13146b0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13146f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13146d0) ] Edge 3 <-> 172 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315bf0) Arc: (edge = 0x7ffffdaf4900, target = 0x13146d0) ] Edge 3 <-> 202 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315fb0) Arc: (edge = 0x7ffffdaf4900, target = 0x13146d0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314710) Arc: (edge = 0x7ffffdaf4900, target = 0x13146f0) ] Edge 4 <-> 16 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314870) Arc: (edge = 0x7ffffdaf4900, target = 0x13146f0) ] Edge 4 <-> 53 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314d10) Arc: (edge = 0x7ffffdaf4900, target = 0x13146f0) ] Edge 5 <-> 6 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314730) Arc: (edge = 0x7ffffdaf4900, target = 0x1314710) ] Edge 5 <-> 12 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13147f0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314710) ] Edge 5 <-> 35 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314ad0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314710) ] Edge 6 <-> 7 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314750) Arc: (edge = 0x7ffffdaf4900, target = 0x1314730) ] Edge 6 <-> 9 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314790) Arc: (edge = 0x7ffffdaf4900, target = 0x1314730) ] Edge 7 <-> 8 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314770) Arc: (edge = 0x7ffffdaf4900, target = 0x1314750) ] Edge 7 <-> 23 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314950) Arc: (edge = 0x7ffffdaf4900, target = 0x1314750) ] Edge 7 <-> 147 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13158d0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314750) ] Edge 7 <-> 153 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315990) Arc: (edge = 0x7ffffdaf4900, target = 0x1314750) ] Edge 8 <-> 17 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314890) Arc: (edge = 0x7ffffdaf4900, target = 0x1314770) ] Edge 8 <-> 212 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13160f0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314770) ] Edge 8 <-> 237 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316410) Arc: (edge = 0x7ffffdaf4900, target = 0x1314770) ] Edge 9 <-> 10 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13147b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314790) ] Edge 9 <-> 65 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314e90) Arc: (edge = 0x7ffffdaf4900, target = 0x1314790) ] Edge 10 <-> 11 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13147d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13147b0) ] Edge 10 <-> 52 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314cf0) Arc: (edge = 0x7ffffdaf4900, target = 0x13147b0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13147f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13147d0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314810) Arc: (edge = 0x7ffffdaf4900, target = 0x13147f0) ] Edge 12 <-> 30 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314a30) Arc: (edge = 0x7ffffdaf4900, target = 0x13147f0) ] Edge 12 <-> 68 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314ef0) Arc: (edge = 0x7ffffdaf4900, target = 0x13147f0) ] Edge 12 <-> 145 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315890) Arc: (edge = 0x7ffffdaf4900, target = 0x13147f0) ] Edge 12 <-> 247 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316550) Arc: (edge = 0x7ffffdaf4900, target = 0x13147f0) ] Edge 13 <-> 14 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314830) Arc: (edge = 0x7ffffdaf4900, target = 0x1314810) ] Edge 13 <-> 48 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314c70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314810) ] Edge 14 <-> 15 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314850) Arc: (edge = 0x7ffffdaf4900, target = 0x1314830) ] Edge 14 <-> 101 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315310) Arc: (edge = 0x7ffffdaf4900, target = 0x1314830) ] Edge 15 <-> 16 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314870) Arc: (edge = 0x7ffffdaf4900, target = 0x1314850) ] Edge 15 <-> 43 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314bd0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314850) ] Edge 16 <-> 162 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315ab0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314870) ] Edge 17 <-> 18 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13148b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314890) ] Edge 18 <-> 19 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13148d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13148b0) ] Edge 18 <-> 26 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13149b0) Arc: (edge = 0x7ffffdaf4900, target = 0x13148b0) ] Edge 18 <-> 33 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314a90) Arc: (edge = 0x7ffffdaf4900, target = 0x13148b0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13148f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13148d0) ] Edge 19 <-> 70 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314f30) Arc: (edge = 0x7ffffdaf4900, target = 0x13148d0) ] Edge 20 <-> 21 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314910) Arc: (edge = 0x7ffffdaf4900, target = 0x13148f0) ] Edge 20 <-> 83 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13150d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13148f0) ] Edge 21 <-> 22 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314930) Arc: (edge = 0x7ffffdaf4900, target = 0x1314910) ] Edge 22 <-> 23 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314950) Arc: (edge = 0x7ffffdaf4900, target = 0x1314930) ] Edge 22 <-> 135 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315750) Arc: (edge = 0x7ffffdaf4900, target = 0x1314930) ] Edge 22 <-> 233 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316390) Arc: (edge = 0x7ffffdaf4900, target = 0x1314930) ] Edge 23 <-> 32 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314a70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314950) ] Edge 23 <-> 126 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315630) Arc: (edge = 0x7ffffdaf4900, target = 0x1314950) ] Edge 24 <-> 25 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314990) Arc: (edge = 0x7ffffdaf4900, target = 0x1314970) ] Edge 24 <-> 27 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13149d0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314970) ] Edge 24 <-> 67 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314ed0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314970) ] Edge 25 <-> 26 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13149b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314990) ] Edge 26 <-> 181 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315d10) Arc: (edge = 0x7ffffdaf4900, target = 0x13149b0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13149f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13149d0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314a10) Arc: (edge = 0x7ffffdaf4900, target = 0x13149f0) ] Edge 28 <-> 47 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314c50) Arc: (edge = 0x7ffffdaf4900, target = 0x13149f0) ] Edge 29 <-> 30 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314a30) Arc: (edge = 0x7ffffdaf4900, target = 0x1314a10) ] Edge 29 <-> 36 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314af0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314a10) ] Edge 30 <-> 31 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314a50) Arc: (edge = 0x7ffffdaf4900, target = 0x1314a30) ] Edge 31 <-> 32 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314a70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314a50) ] Edge 31 <-> 193 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315e90) Arc: (edge = 0x7ffffdaf4900, target = 0x1314a50) ] Edge 31 <-> 226 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13162b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314a50) ] Edge 33 <-> 34 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314ab0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314a90) ] Edge 33 <-> 55 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314d50) Arc: (edge = 0x7ffffdaf4900, target = 0x1314a90) ] Edge 33 <-> 63 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314e50) Arc: (edge = 0x7ffffdaf4900, target = 0x1314a90) ] Edge 34 <-> 35 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314ad0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314ab0) ] Edge 34 <-> 69 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314f10) Arc: (edge = 0x7ffffdaf4900, target = 0x1314ab0) ] Edge 34 <-> 90 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13151b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314ab0) ] Edge 34 <-> 102 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315330) Arc: (edge = 0x7ffffdaf4900, target = 0x1314ab0) ] Edge 35 <-> 192 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315e70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314ad0) ] Edge 36 <-> 37 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314b10) Arc: (edge = 0x7ffffdaf4900, target = 0x1314af0) ] Edge 36 <-> 44 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314bf0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314af0) ] Edge 36 <-> 45 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314c10) Arc: (edge = 0x7ffffdaf4900, target = 0x1314af0) ] Edge 36 <-> 62 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314e30) Arc: (edge = 0x7ffffdaf4900, target = 0x1314af0) ] Edge 36 <-> 75 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314fd0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314af0) ] Edge 37 <-> 38 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314b30) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b10) ] Edge 37 <-> 61 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314e10) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b10) ] Edge 38 <-> 39 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314b50) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b30) ] Edge 38 <-> 110 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315430) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b30) ] Edge 38 <-> 117 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315510) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b30) ] Edge 38 <-> 184 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315d70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b30) ] Edge 39 <-> 40 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314b70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b50) ] Edge 39 <-> 150 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315930) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b50) ] Edge 39 <-> 221 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316210) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b50) ] Edge 40 <-> 41 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314b90) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b70) ] Edge 41 <-> 42 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314bb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314b90) ] Edge 43 <-> 44 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314bf0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314bd0) ] Edge 43 <-> 71 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314f50) Arc: (edge = 0x7ffffdaf4900, target = 0x1314bd0) ] Edge 43 <-> 79 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315050) Arc: (edge = 0x7ffffdaf4900, target = 0x1314bd0) ] Edge 43 <-> 121 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315590) Arc: (edge = 0x7ffffdaf4900, target = 0x1314bd0) ] Edge 45 <-> 46 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314c30) Arc: (edge = 0x7ffffdaf4900, target = 0x1314c10) ] Edge 45 <-> 54 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314d30) Arc: (edge = 0x7ffffdaf4900, target = 0x1314c10) ] Edge 45 <-> 127 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315650) Arc: (edge = 0x7ffffdaf4900, target = 0x1314c10) ] Edge 45 <-> 138 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13157b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314c10) ] Edge 46 <-> 47 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314c50) Arc: (edge = 0x7ffffdaf4900, target = 0x1314c30) ] Edge 47 <-> 64 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314e70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314c50) ] Edge 47 <-> 91 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13151d0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314c50) ] Edge 48 <-> 49 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314c90) Arc: (edge = 0x7ffffdaf4900, target = 0x1314c70) ] Edge 49 <-> 50 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314cb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314c90) ] Edge 50 <-> 51 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314cd0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314cb0) ] Edge 50 <-> 201 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315f90) Arc: (edge = 0x7ffffdaf4900, target = 0x1314cb0) ] Edge 51 <-> 52 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314cf0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314cd0) ] Edge 51 <-> 178 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315cb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314cd0) ] Edge 53 <-> 54 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314d30) Arc: (edge = 0x7ffffdaf4900, target = 0x1314d10) ] Edge 54 <-> 72 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314f70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314d30) ] Edge 54 <-> 140 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13157f0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314d30) ] Edge 55 <-> 56 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314d70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314d50) ] Edge 55 <-> 134 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315730) Arc: (edge = 0x7ffffdaf4900, target = 0x1314d50) ] Edge 55 <-> 156 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13159f0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314d50) ] Edge 56 <-> 57 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314d90) Arc: (edge = 0x7ffffdaf4900, target = 0x1314d70) ] Edge 56 <-> 111 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315450) Arc: (edge = 0x7ffffdaf4900, target = 0x1314d70) ] Edge 57 <-> 58 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314db0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314d90) ] Edge 58 <-> 59 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314dd0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314db0) ] Edge 58 <-> 137 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315790) Arc: (edge = 0x7ffffdaf4900, target = 0x1314db0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314df0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314dd0) ] Edge 59 <-> 211 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13160d0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314dd0) ] Edge 60 <-> 61 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314e10) Arc: (edge = 0x7ffffdaf4900, target = 0x1314df0) ] Edge 60 <-> 176 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315c70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314df0) ] Edge 60 <-> 183 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315d50) Arc: (edge = 0x7ffffdaf4900, target = 0x1314df0) ] Edge 61 <-> 194 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315eb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314e10) ] Edge 62 <-> 63 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314e50) Arc: (edge = 0x7ffffdaf4900, target = 0x1314e30) ] Edge 62 <-> 78 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315030) Arc: (edge = 0x7ffffdaf4900, target = 0x1314e30) ] Edge 63 <-> 139 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13157d0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314e50) ] Edge 64 <-> 65 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314e90) Arc: (edge = 0x7ffffdaf4900, target = 0x1314e70) ] Edge 64 <-> 175 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315c50) Arc: (edge = 0x7ffffdaf4900, target = 0x1314e70) ] Edge 66 <-> 67 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314ed0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314eb0) ] Edge 66 <-> 146 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13158b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314eb0) ] Edge 68 <-> 69 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314f10) Arc: (edge = 0x7ffffdaf4900, target = 0x1314ef0) ] Edge 68 <-> 88 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315170) Arc: (edge = 0x7ffffdaf4900, target = 0x1314ef0) ] Edge 68 <-> 95 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315250) Arc: (edge = 0x7ffffdaf4900, target = 0x1314ef0) ] Edge 68 <-> 149 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315910) Arc: (edge = 0x7ffffdaf4900, target = 0x1314ef0) ] Edge 70 <-> 71 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314f50) Arc: (edge = 0x7ffffdaf4900, target = 0x1314f30) ] Edge 70 <-> 119 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315550) Arc: (edge = 0x7ffffdaf4900, target = 0x1314f30) ] Edge 70 <-> 132 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13156f0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314f30) ] Edge 72 <-> 73 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314f90) Arc: (edge = 0x7ffffdaf4900, target = 0x1314f70) ] Edge 72 <-> 76 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314ff0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314f70) ] Edge 73 <-> 74 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314fb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314f90) ] Edge 74 <-> 75 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1314fd0) Arc: (edge = 0x7ffffdaf4900, target = 0x1314fb0) ] Edge 75 <-> 133 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315710) Arc: (edge = 0x7ffffdaf4900, target = 0x1314fd0) ] Edge 75 <-> 168 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315b70) Arc: (edge = 0x7ffffdaf4900, target = 0x1314fd0) ] Edge 76 <-> 77 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315010) Arc: (edge = 0x7ffffdaf4900, target = 0x1314ff0) ] Edge 77 <-> 78 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315030) Arc: (edge = 0x7ffffdaf4900, target = 0x1315010) ] Edge 77 <-> 84 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13150f0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315010) ] Edge 77 <-> 195 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315ed0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315010) ] Edge 78 <-> 116 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13154f0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315030) ] Edge 78 <-> 131 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13156d0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315030) ] Edge 79 <-> 80 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315070) Arc: (edge = 0x7ffffdaf4900, target = 0x1315050) ] Edge 79 <-> 122 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13155b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315050) ] Edge 80 <-> 81 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315090) Arc: (edge = 0x7ffffdaf4900, target = 0x1315070) ] Edge 81 <-> 82 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13150b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315090) ] Edge 82 <-> 83 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13150d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13150b0) ] Edge 83 <-> 144 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315870) Arc: (edge = 0x7ffffdaf4900, target = 0x13150d0) ] Edge 83 <-> 174 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315c30) Arc: (edge = 0x7ffffdaf4900, target = 0x13150d0) ] Edge 84 <-> 85 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315110) Arc: (edge = 0x7ffffdaf4900, target = 0x13150f0) ] Edge 85 <-> 86 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315130) Arc: (edge = 0x7ffffdaf4900, target = 0x1315110) ] Edge 85 <-> 89 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315190) Arc: (edge = 0x7ffffdaf4900, target = 0x1315110) ] Edge 86 <-> 87 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315150) Arc: (edge = 0x7ffffdaf4900, target = 0x1315130) ] Edge 86 <-> 104 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315370) Arc: (edge = 0x7ffffdaf4900, target = 0x1315130) ] Edge 87 <-> 88 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315170) Arc: (edge = 0x7ffffdaf4900, target = 0x1315150) ] Edge 89 <-> 90 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13151b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315190) ] Edge 90 <-> 103 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315350) Arc: (edge = 0x7ffffdaf4900, target = 0x13151b0) ] Edge 91 <-> 92 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13151f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13151d0) ] Edge 91 <-> 96 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315270) Arc: (edge = 0x7ffffdaf4900, target = 0x13151d0) ] Edge 92 <-> 93 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315210) Arc: (edge = 0x7ffffdaf4900, target = 0x13151f0) ] Edge 93 <-> 94 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315230) Arc: (edge = 0x7ffffdaf4900, target = 0x1315210) ] Edge 94 <-> 95 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315250) Arc: (edge = 0x7ffffdaf4900, target = 0x1315230) ] Edge 96 <-> 97 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315290) Arc: (edge = 0x7ffffdaf4900, target = 0x1315270) ] Edge 97 <-> 98 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13152b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315290) ] Edge 98 <-> 99 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13152d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13152b0) ] Edge 98 <-> 128 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315670) Arc: (edge = 0x7ffffdaf4900, target = 0x13152b0) ] Edge 99 <-> 100 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13152f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13152d0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315310) Arc: (edge = 0x7ffffdaf4900, target = 0x13152f0) ] Edge 102 <-> 103 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315350) Arc: (edge = 0x7ffffdaf4900, target = 0x1315330) ] Edge 103 <-> 129 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315690) Arc: (edge = 0x7ffffdaf4900, target = 0x1315350) ] Edge 103 <-> 152 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315970) Arc: (edge = 0x7ffffdaf4900, target = 0x1315350) ] Edge 104 <-> 105 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315390) Arc: (edge = 0x7ffffdaf4900, target = 0x1315370) ] Edge 105 <-> 106 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13153b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315390) ] Edge 106 <-> 107 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13153d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13153b0) ] Edge 107 <-> 108 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13153f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13153d0) ] Edge 107 <-> 120 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315570) Arc: (edge = 0x7ffffdaf4900, target = 0x13153d0) ] Edge 107 <-> 155 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13159d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13153d0) ] Edge 107 <-> 173 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315c10) Arc: (edge = 0x7ffffdaf4900, target = 0x13153d0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315410) Arc: (edge = 0x7ffffdaf4900, target = 0x13153f0) ] Edge 108 <-> 169 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315b90) Arc: (edge = 0x7ffffdaf4900, target = 0x13153f0) ] Edge 109 <-> 110 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315430) Arc: (edge = 0x7ffffdaf4900, target = 0x1315410) ] Edge 109 <-> 213 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316110) Arc: (edge = 0x7ffffdaf4900, target = 0x1315410) ] Edge 111 <-> 112 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315470) Arc: (edge = 0x7ffffdaf4900, target = 0x1315450) ] Edge 112 <-> 113 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315490) Arc: (edge = 0x7ffffdaf4900, target = 0x1315470) ] Edge 113 <-> 114 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13154b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315490) ] Edge 114 <-> 115 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13154d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13154b0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13154f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13154d0) ] Edge 115 <-> 210 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13160b0) Arc: (edge = 0x7ffffdaf4900, target = 0x13154d0) ] Edge 117 <-> 118 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315530) Arc: (edge = 0x7ffffdaf4900, target = 0x1315510) ] Edge 118 <-> 119 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315550) Arc: (edge = 0x7ffffdaf4900, target = 0x1315530) ] Edge 120 <-> 121 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315590) Arc: (edge = 0x7ffffdaf4900, target = 0x1315570) ] Edge 121 <-> 207 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316050) Arc: (edge = 0x7ffffdaf4900, target = 0x1315590) ] Edge 122 <-> 123 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13155d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13155b0) ] Edge 123 <-> 124 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13155f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13155d0) ] Edge 124 <-> 125 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315610) Arc: (edge = 0x7ffffdaf4900, target = 0x13155f0) ] Edge 125 <-> 126 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315630) Arc: (edge = 0x7ffffdaf4900, target = 0x1315610) ] Edge 126 <-> 136 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315770) Arc: (edge = 0x7ffffdaf4900, target = 0x1315630) ] Edge 127 <-> 128 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315670) Arc: (edge = 0x7ffffdaf4900, target = 0x1315650) ] Edge 127 <-> 160 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315a70) Arc: (edge = 0x7ffffdaf4900, target = 0x1315650) ] Edge 129 <-> 130 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13156b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315690) ] Edge 130 <-> 131 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13156d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13156b0) ] Edge 130 <-> 206 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316030) Arc: (edge = 0x7ffffdaf4900, target = 0x13156b0) ] Edge 130 <-> 245 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316510) Arc: (edge = 0x7ffffdaf4900, target = 0x13156b0) ] Edge 131 <-> 179 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315cd0) Arc: (edge = 0x7ffffdaf4900, target = 0x13156d0) ] Edge 132 <-> 133 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315710) Arc: (edge = 0x7ffffdaf4900, target = 0x13156f0) ] Edge 132 <-> 209 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316090) Arc: (edge = 0x7ffffdaf4900, target = 0x13156f0) ] Edge 134 <-> 135 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315750) Arc: (edge = 0x7ffffdaf4900, target = 0x1315730) ] Edge 136 <-> 137 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315790) Arc: (edge = 0x7ffffdaf4900, target = 0x1315770) ] Edge 136 <-> 191 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315e50) Arc: (edge = 0x7ffffdaf4900, target = 0x1315770) ] Edge 138 <-> 139 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13157d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13157b0) ] Edge 140 <-> 141 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315810) Arc: (edge = 0x7ffffdaf4900, target = 0x13157f0) ] Edge 141 <-> 142 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315830) Arc: (edge = 0x7ffffdaf4900, target = 0x1315810) ] Edge 142 <-> 143 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315850) Arc: (edge = 0x7ffffdaf4900, target = 0x1315830) ] Edge 143 <-> 144 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315870) Arc: (edge = 0x7ffffdaf4900, target = 0x1315850) ] Edge 143 <-> 232 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316370) Arc: (edge = 0x7ffffdaf4900, target = 0x1315850) ] Edge 145 <-> 146 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13158b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315890) ] Edge 145 <-> 236 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13163f0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315890) ] Edge 147 <-> 148 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13158f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13158d0) ] Edge 147 <-> 163 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315ad0) Arc: (edge = 0x7ffffdaf4900, target = 0x13158d0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315910) Arc: (edge = 0x7ffffdaf4900, target = 0x13158f0) ] Edge 150 <-> 151 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315950) Arc: (edge = 0x7ffffdaf4900, target = 0x1315930) ] Edge 151 <-> 152 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315970) Arc: (edge = 0x7ffffdaf4900, target = 0x1315950) ] Edge 153 <-> 154 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13159b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315990) ] Edge 154 <-> 155 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13159d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13159b0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315a10) Arc: (edge = 0x7ffffdaf4900, target = 0x13159f0) ] Edge 157 <-> 158 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315a30) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a10) ] Edge 157 <-> 244 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13164f0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a10) ] Edge 158 <-> 159 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315a50) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a30) ] Edge 158 <-> 190 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315e30) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a30) ] Edge 159 <-> 160 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315a70) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a50) ] Edge 159 <-> 161 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315a90) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a50) ] Edge 159 <-> 208 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316070) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a50) ] Edge 161 <-> 162 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315ab0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a90) ] Edge 161 <-> 170 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315bb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a90) ] Edge 161 <-> 177 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315c90) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a90) ] Edge 161 <-> 227 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13162d0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315a90) ] Edge 163 <-> 164 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315af0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315ad0) ] Edge 163 <-> 171 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315bd0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315ad0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315b10) Arc: (edge = 0x7ffffdaf4900, target = 0x1315af0) ] Edge 165 <-> 166 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315b30) Arc: (edge = 0x7ffffdaf4900, target = 0x1315b10) ] Edge 166 <-> 167 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315b50) Arc: (edge = 0x7ffffdaf4900, target = 0x1315b30) ] Edge 167 <-> 168 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315b70) Arc: (edge = 0x7ffffdaf4900, target = 0x1315b50) ] Edge 167 <-> 214 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316130) Arc: (edge = 0x7ffffdaf4900, target = 0x1315b50) ] Edge 168 <-> 182 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315d30) Arc: (edge = 0x7ffffdaf4900, target = 0x1315b70) ] Edge 168 <-> 222 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316230) Arc: (edge = 0x7ffffdaf4900, target = 0x1315b70) ] Edge 169 <-> 170 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315bb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315b90) ] Edge 171 <-> 172 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315bf0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315bd0) ] Edge 173 <-> 174 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315c30) Arc: (edge = 0x7ffffdaf4900, target = 0x1315c10) ] Edge 175 <-> 176 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315c70) Arc: (edge = 0x7ffffdaf4900, target = 0x1315c50) ] Edge 175 <-> 243 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13164d0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315c50) ] Edge 177 <-> 178 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315cb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315c90) ] Edge 179 <-> 180 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315cf0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315cd0) ] Edge 180 <-> 181 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315d10) Arc: (edge = 0x7ffffdaf4900, target = 0x1315cf0) ] Edge 182 <-> 183 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315d50) Arc: (edge = 0x7ffffdaf4900, target = 0x1315d30) ] Edge 184 <-> 185 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315d90) Arc: (edge = 0x7ffffdaf4900, target = 0x1315d70) ] Edge 185 <-> 186 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315db0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315d90) ] Edge 186 <-> 187 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315dd0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315db0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315df0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315dd0) ] Edge 188 <-> 189 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315e10) Arc: (edge = 0x7ffffdaf4900, target = 0x1315df0) ] Edge 189 <-> 190 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315e30) Arc: (edge = 0x7ffffdaf4900, target = 0x1315e10) ] Edge 191 <-> 192 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315e70) Arc: (edge = 0x7ffffdaf4900, target = 0x1315e50) ] Edge 193 <-> 194 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315eb0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315e90) ] Edge 194 <-> 215 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316150) Arc: (edge = 0x7ffffdaf4900, target = 0x1315eb0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315ef0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315ed0) ] Edge 196 <-> 197 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315f10) Arc: (edge = 0x7ffffdaf4900, target = 0x1315ef0) ] Edge 197 <-> 198 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315f30) Arc: (edge = 0x7ffffdaf4900, target = 0x1315f10) ] Edge 198 <-> 199 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315f50) Arc: (edge = 0x7ffffdaf4900, target = 0x1315f30) ] Edge 199 <-> 200 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315f70) Arc: (edge = 0x7ffffdaf4900, target = 0x1315f50) ] Edge 200 <-> 201 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315f90) Arc: (edge = 0x7ffffdaf4900, target = 0x1315f70) ] Edge 202 <-> 203 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315fd0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315fb0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1315ff0) Arc: (edge = 0x7ffffdaf4900, target = 0x1315fd0) ] Edge 204 <-> 205 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316010) Arc: (edge = 0x7ffffdaf4900, target = 0x1315ff0) ] Edge 205 <-> 206 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316030) Arc: (edge = 0x7ffffdaf4900, target = 0x1316010) ] Edge 207 <-> 208 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316070) Arc: (edge = 0x7ffffdaf4900, target = 0x1316050) ] Edge 209 <-> 210 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13160b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1316090) ] Edge 211 <-> 212 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13160f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13160d0) ] Edge 213 <-> 214 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316130) Arc: (edge = 0x7ffffdaf4900, target = 0x1316110) ] Edge 215 <-> 216 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316170) Arc: (edge = 0x7ffffdaf4900, target = 0x1316150) ] Edge 216 <-> 217 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316190) Arc: (edge = 0x7ffffdaf4900, target = 0x1316170) ] Edge 217 <-> 218 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13161b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1316190) ] Edge 218 <-> 219 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13161d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13161b0) ] Edge 219 <-> 220 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13161f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13161d0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316210) Arc: (edge = 0x7ffffdaf4900, target = 0x13161f0) ] Edge 222 <-> 223 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316250) Arc: (edge = 0x7ffffdaf4900, target = 0x1316230) ] Edge 223 <-> 224 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316270) Arc: (edge = 0x7ffffdaf4900, target = 0x1316250) ] Edge 224 <-> 225 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316290) Arc: (edge = 0x7ffffdaf4900, target = 0x1316270) ] Edge 225 <-> 226 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13162b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1316290) ] Edge 227 <-> 228 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13162f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13162d0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316310) Arc: (edge = 0x7ffffdaf4900, target = 0x13162f0) ] Edge 229 <-> 230 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316330) Arc: (edge = 0x7ffffdaf4900, target = 0x1316310) ] Edge 230 <-> 231 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316350) Arc: (edge = 0x7ffffdaf4900, target = 0x1316330) ] Edge 231 <-> 232 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316370) Arc: (edge = 0x7ffffdaf4900, target = 0x1316350) ] Edge 233 <-> 234 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13163b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1316390) ] Edge 234 <-> 235 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13163d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13163b0) ] Edge 234 <-> 246 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316530) Arc: (edge = 0x7ffffdaf4900, target = 0x13163b0) ] Edge 235 <-> 236 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13163f0) Arc: (edge = 0x7ffffdaf4900, target = 0x13163d0) ] Edge 237 <-> 238 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316430) Arc: (edge = 0x7ffffdaf4900, target = 0x1316410) ] Edge 238 <-> 239 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316450) Arc: (edge = 0x7ffffdaf4900, target = 0x1316430) ] Edge 239 <-> 240 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316470) Arc: (edge = 0x7ffffdaf4900, target = 0x1316450) ] Edge 240 <-> 241 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316490) Arc: (edge = 0x7ffffdaf4900, target = 0x1316470) ] Edge 241 <-> 242 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13164b0) Arc: (edge = 0x7ffffdaf4900, target = 0x1316490) ] Edge 242 <-> 243 [ Arc: (edge = 0x7ffffdaf4900, target = 0x13164d0) Arc: (edge = 0x7ffffdaf4900, target = 0x13164b0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316510) Arc: (edge = 0x7ffffdaf4900, target = 0x13164f0) ] Edge 246 <-> 247 [ Arc: (edge = 0x7ffffdaf4900, target = 0x1316550) Arc: (edge = 0x7ffffdaf4900, target = 0x1316530) ] ] Robot arrangement: (|R| = 21, |V| = 248) [ robot locations: {1#4 2#21 3#24 4#36 5#37 6#46 7#56 8#60 9#96 10#98 11#118 12#132 13#148 14#155 15#177 16#179 17#200 18#205 19#226 20#228 21#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 7#56 0#57 0#58 0#59 8#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 9#96 0#97 10#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 11#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 12#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 13#148 0#149 0#150 0#151 0#152 0#153 0#154 14#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 15#177 0#178 16#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 17#200 0#201 0#202 0#203 0#204 18#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 19#226 0#227 20#228 0#229 0#230 0#231 21#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| = 21, |V| = 248) [ robot locations: {1#3 2#5 3#9 4#27 5#59 6#64 7#75 8#77 9#111 10#122 11#133 12#136 13#154 14#159 15#178 16#190 17#198 18#204 19#216 20#240 21#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 10#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 11#133 0#134 0#135 12#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 13#154 0#155 0#156 0#157 0#158 14#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 15#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 16#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 17#198 0#199 0#200 0#201 0#202 0#203 18#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 19#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 20#240 0#241 0#242 0#243 0#244 21#245 0#246 0#247 } ] Original solution: Mulirobot solution: (|moves| = 602, paralellism = 4.459) [ 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 235#24->27 243#37->36 247#205->206 229#56->57 236#98->128 233#200->201 228#96->91 244#21->22 240#118->117 234#155->107 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 229#57->58 233#201->50 228#91->47 244#22->23 235#27->28 234#107->108 Step 2: 231#161->159 246#181->26 245#142->141 238#127->160 237#30->12 247#130->131 243#29->30 229#58->59 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 243#30->12 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 237#5->35 243#12->5 233#48->13 232#70->119 Step 5: 231#157->244 246#17->8 245#54->45 241#53->54 238#161->162 247#62->36 237#35->34 243#5->6 227#177->161 233#13->12 Step 6: 231#244->245 246#8->237 245#45->127 241#54->45 247#36->37 237#34->33 242#44->36 238#162->16 227#161->159 233#12->68 243#6->7 Step 7: 246#237->238 245#127->160 241#45->46 247#37->61 242#36->75 238#16->15 236#128->127 243#7->23 237#33->63 Step 8: 246#238->239 247#61->194 230#60->61 229#59->60 236#127->45 245#160->127 227#159->160 243#23->22 244#126->23 Step 9: 246#239->240 247#194->215 230#61->37 236#45->54 241#46->45 229#60->61 228#47->46 Step 10: 247#215->216 236#54->53 241#45->36 245#127->45 227#160->127 Step 11: 236#53->4 241#36->62 245#45->54 227#127->45 230#37->36 Step 12: 236#4->3 245#54->53 227#45->54 230#36->29 241#62->36 237#63->62 228#46->45 Step 13: 236#3->202 227#54->72 230#29->30 241#36->29 237#62->36 Step 14: 236#202->203 227#72->76 230#30->12 237#36->37 241#29->30 235#28->29 Step 15: 236#203->204 227#76->77 237#37->38 230#12->5 229#61->37 241#30->12 Step 16: 227#77->195 237#38->184 230#5->35 229#37->36 240#117->38 241#12->5 Step 17: 227#195->196 237#184->185 229#36->44 240#38->39 235#29->36 241#5->4 Step 18: 227#196->197 229#44->43 237#185->186 240#39->40 235#36->37 241#4->16 245#53->4 Step 19: 227#197->198 237#186->187 240#40->41 235#37->38 241#16->162 245#4->5 238#15->16 229#43->71 Step 20: 240#41->42 237#187->188 241#162->161 245#5->12 238#16->4 229#71->70 235#38->39 234#110->38 Step 21: 237#188->189 241#161->177 240#42->0 245#12->145 233#68->12 229#70->19 239#149->68 234#38->37 235#39->40 Step 22: 237#189->190 241#177->178 240#0->1 233#12->5 245#145->12 229#19->18 235#40->41 Step 23: 233#5->6 238#4->5 240#1->2 229#18->33 235#41->42 Step 24: 233#6->7 238#5->6 245#12->5 229#33->55 240#2->3 Step 25: 245#5->4 238#6->5 233#7->8 229#55->156 244#23->7 243#22->23 Step 26: 238#5->12 245#4->5 229#156->157 244#7->153 233#8->17 240#3->4 Step 27: 245#5->6 238#12->5 229#157->158 233#17->18 244#153->154 239#68->12 Step 28: 229#158->159 245#6->7 238#5->6 240#4->5 233#18->33 Step 29: 245#7->8 243#23->7 233#33->63 Step 30: 245#8->17 243#7->8 238#6->7 240#5->6 239#12->5 233#63->62 Step 31: 243#8->0 238#7->8 240#6->7 239#5->4 230#35->5 233#62->36 Step 32: 243#0->1 238#8->0 240#7->8 233#36->29 230#5->6 239#4->5 228#45->36 Step 33: 243#1->2 233#29->28 230#6->7 239#5->35 228#36->44 242#75->36 Step 34: 243#2->3 230#7->23 239#35->34 240#8->7 233#28->47 228#44->43 242#36->62 234#37->36 Step 35: 243#3->4 230#23->126 239#34->33 240#7->6 228#43->79 242#62->63 234#36->29 233#47->64 Step 36: 230#126->136 239#33->18 243#4->16 240#6->5 228#79->122 242#63->33 234#29->28 Step 37: 239#18->19 243#16->15 240#5->4 242#33->55 234#28->27 245#17->18 Step 38: 239#19->70 243#15->14 242#55->56 240#4->53 234#27->24 245#18->19 Step 39: 239#70->132 232#119->70 243#14->13 242#56->111 240#53->54 234#24->1 Step 40: 239#132->133 232#70->71 243#13->12 240#54->45 234#1->2 245#19->70 238#0->1 235#42->0 Step 41: 232#71->43 243#12->30 234#2->3 245#70->71 238#1->2 235#0->1 Step 42: 243#30->29 232#43->15 245#71->43 234#3->4 238#2->3 Step 43: 243#29->28 232#15->14 245#43->15 234#4->5 238#3->4 Step 44: 243#28->27 232#14->13 238#4->53 234#5->4 245#15->16 Step 45: 243#27->24 232#13->12 238#53->54 234#4->3 245#16->4 Step 46: 243#24->25 238#54->72 240#45->54 235#1->24 232#12->5 Step 47: 243#25->26 238#72->76 240#54->72 235#24->27 232#5->6 245#4->5 234#3->4 Step 48: 238#76->77 240#72->73 243#26->18 232#6->7 245#5->6 234#4->5 Step 49: 240#73->74 243#18->33 232#7->8 245#6->7 234#5->6 Step 50: 240#74->75 243#33->55 232#8->0 245#7->8 234#6->7 Step 51: 243#55->56 232#0->1 245#8->0 234#7->8 Step 52: 243#56->57 232#1->2 245#0->1 234#8->0 Step 53: 243#57->58 232#2->3 245#1->2 234#0->1 Step 54: 243#58->59 232#3->4 245#2->3 234#1->2 Step 55: 232#4->5 245#3->4 234#2->3 Step 56: 232#5->6 245#4->5 234#3->4 Step 57: 232#6->7 245#5->6 234#4->5 Step 58: 232#7->8 245#6->7 234#5->6 Step 59: 232#8->0 245#7->8 234#6->7 Step 60: 232#0->1 245#8->0 234#7->8 Step 61: 232#1->2 245#0->1 234#8->0 Step 62: 232#2->3 245#1->2 234#0->1 Step 63: 232#3->4 245#2->3 234#1->2 Step 64: 232#4->5 245#3->4 234#2->3 Step 65: 232#5->6 245#4->5 234#3->4 Step 66: 232#6->7 245#5->6 234#4->5 Step 67: 232#7->8 245#6->7 234#5->6 Step 68: 232#8->0 245#7->8 234#6->7 Step 69: 232#0->1 245#8->0 234#7->8 Step 70: 232#1->2 245#0->1 234#8->0 Step 71: 232#2->3 245#1->2 234#0->1 Step 72: 232#3->4 245#2->3 234#1->2 Step 73: 232#4->5 245#3->4 234#2->3 Step 74: 232#5->6 245#4->5 234#3->4 Step 75: 232#6->7 245#5->6 234#4->5 Step 76: 232#7->8 245#6->7 234#5->6 Step 77: 232#8->0 245#7->8 234#6->7 Step 78: 232#0->1 245#8->0 234#7->8 Step 79: 232#1->2 245#0->1 234#8->0 Step 80: 232#2->3 245#1->2 234#0->1 Step 81: 232#3->4 245#2->3 234#1->2 Step 82: 232#4->5 245#3->4 234#2->3 Step 83: 232#5->6 245#4->5 234#3->4 Step 84: 232#6->7 245#5->6 234#4->5 Step 85: 232#7->8 245#6->7 234#5->6 Step 86: 232#8->0 245#7->8 234#6->7 Step 87: 232#0->1 245#8->0 234#7->8 Step 88: 232#1->2 245#0->1 234#8->0 Step 89: 232#2->3 245#1->2 234#0->1 Step 90: 232#3->4 245#2->3 234#1->2 Step 91: 232#4->5 245#3->4 234#2->3 Step 92: 232#5->6 245#4->5 234#3->4 Step 93: 232#6->7 245#5->6 234#4->5 Step 94: 232#7->8 245#6->9 234#5->6 Step 95: 232#8->0 234#6->7 245#9->6 Step 96: 232#0->1 234#7->8 245#6->7 Step 97: 232#1->2 234#8->0 245#7->8 Step 98: 232#2->3 234#0->1 245#8->0 Step 99: 232#3->4 234#1->2 245#0->1 Step 100: 232#4->5 234#2->3 245#1->2 Step 101: 232#5->6 234#3->4 245#2->3 Step 102: 232#6->7 234#4->5 245#3->4 Step 103: 232#7->8 234#5->6 245#4->5 Step 104: 232#8->0 234#6->7 245#5->6 Step 105: 232#0->1 234#7->8 245#6->7 Step 106: 232#1->2 234#8->0 245#7->8 Step 107: 232#2->3 234#0->1 245#8->0 Step 108: 232#3->4 234#1->2 245#0->1 Step 109: 232#4->5 234#2->3 245#1->2 Step 110: 232#5->6 234#3->4 245#2->3 Step 111: 232#6->7 234#4->5 245#3->4 Step 112: 232#7->8 234#5->6 245#4->5 Step 113: 232#8->0 234#6->7 245#5->6 Step 114: 232#0->1 234#7->8 245#6->7 Step 115: 232#1->2 234#8->0 245#7->8 Step 116: 232#2->3 234#0->1 245#8->0 Step 117: 232#3->4 234#1->2 245#0->1 Step 118: 232#4->5 234#2->3 245#1->2 Step 119: 232#5->6 234#3->4 245#2->3 Step 120: 232#6->7 234#4->5 245#3->4 Step 121: 232#7->8 234#5->6 245#4->5 Step 122: 232#8->0 234#6->9 245#5->6 Step 123: 232#0->1 245#6->7 Step 124: 232#1->2 245#7->8 Step 125: 232#2->3 245#8->0 Step 126: 232#3->4 245#0->1 Step 127: 232#4->5 245#1->2 Step 128: 232#5->6 245#2->3 Step 129: 232#6->7 245#3->4 Step 130: 232#7->8 245#4->5 Step 131: 232#8->0 Step 132: 232#0->1 Step 133: 232#1->2 Step 134: 232#2->3 ] reSolved solution: Mulirobot solution: (|moves| = 155, paralellism = 9.688) [ Step 0: 1#4->3 15#177->178 18#205->204 6#46->47 17#200->199 4#36->29 5#37->61 11#118->119 13#148->147 2#21->22 19#226->31 3#24->1 7#56->55 8#60->183 14#155->107 16#179->131 10#98->99 12#132->133 9#96->91 21#232->143 20#228->229 Step 1: 6#47->64 17#199->198 4#29->28 5#61->60 11#119->70 13#147->7 2#22->23 19#31->193 3#1->0 7#55->33 8#183->182 14#107->108 16#131->130 10#99->100 12#133->75 9#91->92 21#143->142 20#229->230 Step 2: 4#28->27 5#60->59 11#70->132 13#7->153 19#193->194 3#0->8 7#33->63 8#182->168 14#108->169 16#130->245 10#100->101 12#75->36 9#92->93 21#142->141 20#230->231 Step 3: 11#132->133 13#153->154 2#23->7 19#194->215 7#63->62 8#168->75 14#169->170 16#245->244 10#101->14 12#36->29 9#93->94 21#141->140 20#231->232 Step 4: 2#7->6 19#215->216 7#62->36 8#75->74 14#170->161 16#244->157 10#14->15 12#29->30 9#94->95 21#140->54 20#232->143 Step 5: 2#6->5 3#8->7 7#36->75 8#74->73 14#161->159 16#157->158 10#15->43 12#30->31 9#95->68 21#54->45 20#143->144 Step 6: 3#7->6 8#73->72 16#158->190 10#43->79 12#31->32 9#68->69 21#45->36 20#144->83 Step 7: 3#6->9 8#72->76 10#79->122 12#32->23 9#69->34 21#36->62 20#83->20 Step 8: 1#3->2 2#5->4 3#9->6 4#27->24 5#59->58 6#64->47 7#75->36 10#122->79 11#133->132 13#154->153 14#159->158 15#178->51 16#190->189 17#198->197 18#204->203 19#216->215 8#76->77 12#23->126 9#34->33 21#62->78 20#20->19 Step 9: 1#2->3 2#4->5 3#6->9 4#24->27 5#58->59 6#47->64 7#36->75 10#79->122 11#132->133 13#153->154 14#158->159 15#51->178 16#189->190 17#197->198 18#203->204 19#215->216 12#126->136 9#33->55 21#78->131 20#19->18 Step 10: 9#55->56 21#131->130 20#18->17 Step 11: 9#56->111 21#130->245 20#17->8 Step 12: 20#8->237 Step 13: 20#237->238 Step 14: 20#238->239 Step 15: 20#239->240 ] Multirobot solution analysis: ( total makespan = 16 total distance = 102 total trajectory = 155 average parallelism = 9.688 average distance = 4.857 average trajectory = 7.381 parallelism distribution = [ 4 0 2 0 0 0 1 1 0 0 2 0 1 0 1 0 0 1 0 1 2 ] distance distribution = [ 3 2 2 2 2 4 1 2 0 0 1 0 1 ] trajectory distribution = [ 0 0 3 2 2 2 2 3 2 2 0 2 0 0 0 1 ] ) Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 155 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.050 ] 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 = 155 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 6994 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] } ] ----------------------------------------------------------------