================================================================
reLOC 0.05-legio : Multirobot Solution reSolver
(C) Copyright 2011-2012 Pavel Surynek
----------------------------------------------------------------
window size:16
0,1
1,8
2,0
3,2
4,3
5,4
6,5
7,6
8,9
8,16
9,0
9,10
10,2
10,11
10,18
11,3
11,12
11,19
12,4
12,13
12,20
13,5
13,14
13,21
14,6
14,15
14,22
15,7
15,23
16,17
16,24
17,9
18,17
18,26
19,18
19,27
20,19
20,28
21,20
21,29
22,21
22,30
23,22
23,31
24,25
24,32
25,17
26,25
26,34
27,26
27,35
28,27
28,36
29,28
29,37
30,29
30,38
31,30
31,39
32,33
32,40
33,25
34,33
34,42
35,34
35,43
36,35
36,44
37,36
37,45
38,37
38,46
39,38
39,47
40,41
40,48
41,33
42,41
42,50
43,42
43,51
44,43
44,52
45,44
45,53
46,45
46,54
47,46
47,55
48,49
48,56
49,41
50,49
50,58
51,50
51,59
52,51
52,60
53,52
53,61
54,53
54,62
55,54
55,63
56,57
57,49
58,57
59,58
60,59
61,60
62,61
63,62
Length:6
1 # 6 ---> 14 (0)
1 # 14 ---> 13 (1)
1 # 13 ---> 12 (2)
1 # 12 ---> 11 (3)
1 # 11 ---> 10 (4)
1 # 10 ---> 2 (5)
Undirected graph: (|V|=64 |E|=112) [
    Vertex: (id = 0) {1 2 9 }
    Vertex: (id = 1) {0 8 }
    Vertex: (id = 2) {0 3 10 }
    Vertex: (id = 3) {2 4 11 }
    Vertex: (id = 4) {3 5 12 }
    Vertex: (id = 5) {4 6 13 }
    Vertex: (id = 6) {5 7 14 }
    Vertex: (id = 7) {6 15 }
    Vertex: (id = 8) {1 9 16 }
    Vertex: (id = 9) {8 0 10 17 }
    Vertex: (id = 10) {9 2 11 18 }
    Vertex: (id = 11) {10 3 12 19 }
    Vertex: (id = 12) {11 4 13 20 }
    Vertex: (id = 13) {12 5 14 21 }
    Vertex: (id = 14) {13 6 15 22 }
    Vertex: (id = 15) {14 7 23 }
    Vertex: (id = 16) {8 17 24 }
    Vertex: (id = 17) {16 9 18 25 }
    Vertex: (id = 18) {10 17 26 19 }
    Vertex: (id = 19) {11 18 27 20 }
    Vertex: (id = 20) {12 19 28 21 }
    Vertex: (id = 21) {13 20 29 22 }
    Vertex: (id = 22) {14 21 30 23 }
    Vertex: (id = 23) {15 22 31 }
    Vertex: (id = 24) {16 25 32 }
    Vertex: (id = 25) {24 17 26 33 }
    Vertex: (id = 26) {18 25 34 27 }
    Vertex: (id = 27) {19 26 35 28 }
    Vertex: (id = 28) {20 27 36 29 }
    Vertex: (id = 29) {21 28 37 30 }
    Vertex: (id = 30) {22 29 38 31 }
    Vertex: (id = 31) {23 30 39 }
    Vertex: (id = 32) {24 33 40 }
    Vertex: (id = 33) {32 25 34 41 }
    Vertex: (id = 34) {26 33 42 35 }
    Vertex: (id = 35) {27 34 43 36 }
    Vertex: (id = 36) {28 35 44 37 }
    Vertex: (id = 37) {29 36 45 38 }
    Vertex: (id = 38) {30 37 46 39 }
    Vertex: (id = 39) {31 38 47 }
    Vertex: (id = 40) {32 41 48 }
    Vertex: (id = 41) {40 33 42 49 }
    Vertex: (id = 42) {34 41 50 43 }
    Vertex: (id = 43) {35 42 51 44 }
    Vertex: (id = 44) {36 43 52 45 }
    Vertex: (id = 45) {37 44 53 46 }
    Vertex: (id = 46) {38 45 54 47 }
    Vertex: (id = 47) {39 46 55 }
    Vertex: (id = 48) {40 49 56 }
    Vertex: (id = 49) {48 41 50 57 }
    Vertex: (id = 50) {42 49 58 51 }
    Vertex: (id = 51) {43 50 59 52 }
    Vertex: (id = 52) {44 51 60 53 }
    Vertex: (id = 53) {45 52 61 54 }
    Vertex: (id = 54) {46 53 62 55 }
    Vertex: (id = 55) {47 54 63 }
    Vertex: (id = 56) {48 57 }
    Vertex: (id = 57) {56 49 58 }
    Vertex: (id = 58) {50 57 59 }
    Vertex: (id = 59) {51 58 60 }
    Vertex: (id = 60) {52 59 61 }
    Vertex: (id = 61) {53 60 62 }
    Vertex: (id = 62) {54 61 63 }
    Vertex: (id = 63) {55 62 }
    Edge  0 <-> 1 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6e70)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6e50)
    ]
    Edge  1 <-> 8 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f50)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6e70)
    ]
    Edge  2 <-> 0 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6e50)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6e90)
    ]
    Edge  3 <-> 2 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6e90)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6eb0)
    ]
    Edge  4 <-> 3 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6eb0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6ed0)
    ]
    Edge  5 <-> 4 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6ed0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6ef0)
    ]
    Edge  6 <-> 5 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6ef0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f10)
    ]
    Edge  7 <-> 6 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f10)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f30)
    ]
    Edge  8 <-> 9 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f70)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f50)
    ]
    Edge  8 <-> 16 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7050)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f50)
    ]
    Edge  9 <-> 0 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6e50)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f70)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f90)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f70)
    ]
    Edge  10 <-> 2 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6e90)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f90)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6fb0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f90)
    ]
    Edge  10 <-> 18 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7090)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f90)
    ]
    Edge  11 <-> 3 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6eb0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6fb0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6fd0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6fb0)
    ]
    Edge  11 <-> 19 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6fb0)
    ]
    Edge  12 <-> 4 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6ed0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6fd0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6ff0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6fd0)
    ]
    Edge  12 <-> 20 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6fd0)
    ]
    Edge  13 <-> 5 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6ef0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6ff0)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7010)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6ff0)
    ]
    Edge  13 <-> 21 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6ff0)
    ]
    Edge  14 <-> 6 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f10)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7010)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7030)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7010)
    ]
    Edge  14 <-> 22 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7110)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7010)
    ]
    Edge  15 <-> 7 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f30)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7030)
    ]
    Edge  15 <-> 23 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7130)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7030)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7070)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7050)
    ]
    Edge  16 <-> 24 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7150)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7050)
    ]
    Edge  17 <-> 9 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f6f70)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7070)
    ]
    Edge  18 <-> 17 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7070)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7090)
    ]
    Edge  18 <-> 26 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7190)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7090)
    ]
    Edge  19 <-> 18 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7090)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70b0)
    ]
    Edge  19 <-> 27 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70b0)
    ]
    Edge  20 <-> 19 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70d0)
    ]
    Edge  20 <-> 28 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70d0)
    ]
    Edge  21 <-> 20 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70f0)
    ]
    Edge  21 <-> 29 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70f0)
    ]
    Edge  22 <-> 21 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f70f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7110)
    ]
    Edge  22 <-> 30 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7210)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7110)
    ]
    Edge  23 <-> 22 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7110)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7130)
    ]
    Edge  23 <-> 31 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7230)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7130)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7170)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7150)
    ]
    Edge  24 <-> 32 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7250)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7150)
    ]
    Edge  25 <-> 17 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7070)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7170)
    ]
    Edge  26 <-> 25 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7170)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7190)
    ]
    Edge  26 <-> 34 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7290)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7190)
    ]
    Edge  27 <-> 26 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7190)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71b0)
    ]
    Edge  27 <-> 35 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71b0)
    ]
    Edge  28 <-> 27 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71d0)
    ]
    Edge  28 <-> 36 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71d0)
    ]
    Edge  29 <-> 28 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71f0)
    ]
    Edge  29 <-> 37 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71f0)
    ]
    Edge  30 <-> 29 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f71f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7210)
    ]
    Edge  30 <-> 38 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7310)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7210)
    ]
    Edge  31 <-> 30 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7210)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7230)
    ]
    Edge  31 <-> 39 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7330)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7230)
    ]
    Edge  32 <-> 33 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7270)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7250)
    ]
    Edge  32 <-> 40 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7350)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7250)
    ]
    Edge  33 <-> 25 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7170)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7270)
    ]
    Edge  34 <-> 33 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7270)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7290)
    ]
    Edge  34 <-> 42 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7390)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7290)
    ]
    Edge  35 <-> 34 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7290)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72b0)
    ]
    Edge  35 <-> 43 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72b0)
    ]
    Edge  36 <-> 35 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72d0)
    ]
    Edge  36 <-> 44 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72d0)
    ]
    Edge  37 <-> 36 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72f0)
    ]
    Edge  37 <-> 45 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72f0)
    ]
    Edge  38 <-> 37 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f72f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7310)
    ]
    Edge  38 <-> 46 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7410)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7310)
    ]
    Edge  39 <-> 38 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7310)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7330)
    ]
    Edge  39 <-> 47 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7430)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7330)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7370)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7350)
    ]
    Edge  40 <-> 48 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7450)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7350)
    ]
    Edge  41 <-> 33 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7270)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7370)
    ]
    Edge  42 <-> 41 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7370)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7390)
    ]
    Edge  42 <-> 50 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7490)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7390)
    ]
    Edge  43 <-> 42 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7390)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73b0)
    ]
    Edge  43 <-> 51 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73b0)
    ]
    Edge  44 <-> 43 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73d0)
    ]
    Edge  44 <-> 52 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73d0)
    ]
    Edge  45 <-> 44 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73f0)
    ]
    Edge  45 <-> 53 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73f0)
    ]
    Edge  46 <-> 45 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f73f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7410)
    ]
    Edge  46 <-> 54 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7510)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7410)
    ]
    Edge  47 <-> 46 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7410)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7430)
    ]
    Edge  47 <-> 55 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7530)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7430)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7470)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7450)
    ]
    Edge  48 <-> 56 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7550)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7450)
    ]
    Edge  49 <-> 41 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7370)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7470)
    ]
    Edge  50 <-> 49 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7470)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7490)
    ]
    Edge  50 <-> 58 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7590)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7490)
    ]
    Edge  51 <-> 50 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7490)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74b0)
    ]
    Edge  51 <-> 59 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f75b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74b0)
    ]
    Edge  52 <-> 51 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74d0)
    ]
    Edge  52 <-> 60 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f75d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74d0)
    ]
    Edge  53 <-> 52 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74f0)
    ]
    Edge  53 <-> 61 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f75f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74f0)
    ]
    Edge  54 <-> 53 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f74f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7510)
    ]
    Edge  54 <-> 62 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7610)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7510)
    ]
    Edge  55 <-> 54 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7510)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7530)
    ]
    Edge  55 <-> 63 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7630)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7530)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7570)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7550)
    ]
    Edge  57 <-> 49 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7470)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7570)
    ]
    Edge  58 <-> 57 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7570)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7590)
    ]
    Edge  59 <-> 58 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7590)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f75b0)
    ]
    Edge  60 <-> 59 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f75b0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f75d0)
    ]
    Edge  61 <-> 60 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f75d0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f75f0)
    ]
    Edge  62 <-> 61 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f75f0)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7610)
    ]
    Edge  63 <-> 62 [
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7610)
        Arc: (edge = 0x7fffdf3c0840, target = 0x6f7630)
    ]
]
Robot arrangement: (|R| = 1, |V| = 64) [
     robot locations: {1#6 }
     vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 1#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 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 0#59 0#60 0#61 0#62 0#63 }
]
Robot arrangement: (|R| = 1, |V| = 64) [
     robot locations: {1#2 }
     vertex occupancy: {0#0 0#1 1#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 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 0#59 0#60 0#61 0#62 0#63 }
]
Original solution:
Mulirobot solution: (|moves| = 6, paralellism = 1.000) [
    Step 0: 1#6->14 
    Step 1: 1#14->13 
    Step 2: 1#13->12 
    Step 3: 1#12->11 
    Step 4: 1#11->10 
    Step 5: 1#10->2 
]
reSolved solution:
Mulirobot solution: (|moves| = 4, paralellism = 1.000) [
    Step 0: 1#6->5 
    Step 1: 1#5->4 
    Step 2: 1#4->3 
    Step 3: 1#3->2 
]
Multirobot solution analysis: (
    total makespan           = 6
    total distance           = 0
    total trajectory         = 6
    average parallelism      = 1.000
    average distance         = 0.000
    average trajectory       = 6.000
    parallelism distribution  = [ 6 ]
    distance distribution     = [ ]
    trajectory distribution   = [ 0 0 0 0 0 1 ]
)
Multirobot solution analysis: (
    total makespan           = 4
    total distance           = 0
    total trajectory         = 4
    average parallelism      = 1.000
    average distance         = 0.000
    average trajectory       = 4.000
    parallelism distribution  = [ 4 ]
    distance distribution     = [ ]
    trajectory distribution   = [ 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                = 16
            Produced CNF variables         = 0
            Produced CNF clauses           = 0
            Search steps                   = 0
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
        ]
        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                = 4
                Produced CNF variables         = 0
                Produced CNF clauses           = 0
                Search steps                   = 77
                Wall clock TIME (seconds)      = 0.000
                CPU/machine TIME (seconds)     = 0.000
            ]
        }
]
----------------------------------------------------------------