================================================================
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:442
17 # 43 ---> 42 (0)
25 # 51 ---> 43 (0)
24 # 50 ---> 51 (0)
24 # 51 ---> 52 (1)
24 # 52 ---> 53 (2)
24 # 53 ---> 54 (3)
24 # 54 ---> 55 (4)
23 # 62 ---> 54 (4)
24 # 55 ---> 63 (5)
21 # 22 ---> 14 (0)
12 # 30 ---> 22 (0)
4 # 31 ---> 30 (0)
12 # 22 ---> 23 (1)
4 # 30 ---> 22 (1)
22 # 39 ---> 38 (0)
23 # 54 ---> 46 (5)
11 # 57 ---> 58 (0)
8 # 49 ---> 57 (0)
20 # 48 ---> 49 (0)
10 # 56 ---> 48 (0)
8 # 57 ---> 56 (1)
20 # 49 ---> 57 (1)
2 # 41 ---> 49 (1)
16 # 40 ---> 41 (1)
10 # 48 ---> 40 (1)
10 # 40 ---> 32 (2)
16 # 41 ---> 40 (2)
15 # 33 ---> 41 (2)
10 # 32 ---> 33 (3)
10 # 33 ---> 34 (4)
10 # 34 ---> 35 (5)
10 # 35 ---> 36 (6)
10 # 36 ---> 37 (7)
5 # 24 ---> 32 (3)
18 # 28 ---> 27 (0)
22 # 38 ---> 30 (1)
10 # 37 ---> 38 (8)
10 # 38 ---> 39 (9)
23 # 46 ---> 38 (9)
19 # 47 ---> 46 (9)
10 # 39 ---> 47 (10)
23 # 38 ---> 39 (10)
19 # 46 ---> 38 (10)
13 # 1 ---> 8 (0)
7 # 10 ---> 2 (0)
7 # 2 ---> 0 (1)
1 # 6 ---> 5 (0)
21 # 14 ---> 6 (1)
4 # 22 ---> 14 (2)
12 # 23 ---> 22 (2)
19 # 38 ---> 37 (11)
23 # 39 ---> 38 (11)
22 # 30 ---> 31 (2)
23 # 38 ---> 30 (12)
14 # 18 ---> 26 (0)
4 # 14 ---> 13 (3)
12 # 22 ---> 14 (3)
23 # 30 ---> 22 (13)
22 # 31 ---> 30 (13)
23 # 22 ---> 23 (14)
22 # 30 ---> 22 (14)
11 # 58 ---> 50 (1)
20 # 57 ---> 58 (2)
2 # 49 ---> 57 (2)
15 # 41 ---> 49 (3)
17 # 42 ---> 41 (3)
11 # 50 ---> 42 (3)
11 # 42 ---> 34 (5)
17 # 41 ---> 42 (5)
14 # 26 ---> 25 (1)
11 # 34 ---> 26 (6)
11 # 26 ---> 18 (7)
11 # 18 ---> 10 (8)
11 # 10 ---> 11 (9)
11 # 11 ---> 12 (10)
1 # 5 ---> 4 (1)
4 # 13 ---> 5 (4)
11 # 12 ---> 13 (11)
1 # 4 ---> 12 (11)
4 # 5 ---> 4 (11)
21 # 6 ---> 5 (11)
12 # 14 ---> 6 (11)
11 # 13 ---> 14 (12)
11 # 14 ---> 15 (13)
22 # 22 ---> 14 (15)
23 # 23 ---> 22 (15)
11 # 15 ---> 23 (15)
22 # 14 ---> 15 (16)
23 # 22 ---> 14 (16)
22 # 15 ---> 7 (17)
23 # 14 ---> 15 (17)
12 # 6 ---> 14 (17)
12 # 14 ---> 22 (18)
12 # 22 ---> 30 (19)
12 # 30 ---> 38 (20)
12 # 38 ---> 46 (21)
12 # 46 ---> 54 (22)
18 # 27 ---> 26 (7)
19 # 37 ---> 29 (12)
16 # 40 ---> 41 (5)
5 # 32 ---> 40 (5)
14 # 25 ---> 24 (3)
19 # 29 ---> 21 (13)
19 # 21 ---> 20 (14)
9 # 60 ---> 52 (2)
4 # 4 ---> 3 (12)
1 # 12 ---> 4 (12)
3 # 44 ---> 45 (0)
9 # 52 ---> 44 (3)
9 # 44 ---> 36 (7)
3 # 45 ---> 44 (7)
9 # 36 ---> 37 (12)
3 # 44 ---> 36 (12)
19 # 20 ---> 12 (15)
3 # 36 ---> 28 (13)
9 # 37 ---> 36 (13)
3 # 28 ---> 29 (14)
9 # 36 ---> 28 (14)
17 # 42 ---> 34 (6)
16 # 41 ---> 42 (6)
18 # 26 ---> 25 (8)
17 # 34 ---> 26 (8)
17 # 26 ---> 18 (9)
17 # 18 ---> 19 (10)
17 # 19 ---> 20 (15)
17 # 20 ---> 21 (16)
9 # 28 ---> 20 (16)
3 # 29 ---> 28 (16)
17 # 21 ---> 29 (17)
9 # 20 ---> 21 (17)
3 # 28 ---> 20 (17)
20 # 58 ---> 59 (3)
16 # 42 ---> 50 (7)
25 # 43 ---> 42 (7)
3 # 20 ---> 19 (18)
9 # 21 ---> 20 (18)
19 # 12 ---> 13 (16)
9 # 20 ---> 12 (19)
23 # 15 ---> 14 (18)
21 # 5 ---> 6 (17)
19 # 13 ---> 5 (17)
23 # 14 ---> 13 (19)
21 # 6 ---> 14 (19)
19 # 5 ---> 6 (19)
1 # 4 ---> 5 (19)
9 # 12 ---> 4 (20)
23 # 13 ---> 12 (20)
23 # 12 ---> 20 (21)
23 # 20 ---> 28 (22)
23 # 28 ---> 36 (23)
23 # 36 ---> 44 (24)
23 # 44 ---> 52 (25)
20 # 59 ---> 51 (4)
23 # 52 ---> 60 (26)
13 # 8 ---> 9 (1)
13 # 9 ---> 10 (9)
13 # 10 ---> 11 (10)
13 # 11 ---> 12 (21)
13 # 12 ---> 20 (22)
13 # 20 ---> 28 (23)
13 # 28 ---> 36 (24)
13 # 36 ---> 44 (25)
13 # 44 ---> 52 (26)
20 # 51 ---> 43 (7)
20 # 43 ---> 35 (8)
15 # 49 ---> 41 (6)
15 # 41 ---> 33 (7)
5 # 40 ---> 41 (7)
14 # 24 ---> 32 (5)
18 # 25 ---> 24 (9)
15 # 33 ---> 25 (9)
15 # 25 ---> 17 (10)
15 # 17 ---> 9 (11)
15 # 9 ---> 10 (12)
15 # 10 ---> 11 (21)
15 # 11 ---> 12 (22)
15 # 12 ---> 20 (23)
3 # 19 ---> 11 (22)
21 # 14 ---> 13 (20)
19 # 6 ---> 14 (20)
19 # 14 ---> 15 (21)
21 # 13 ---> 14 (21)
1 # 5 ---> 13 (21)
21 # 14 ---> 6 (22)
1 # 13 ---> 14 (22)
9 # 4 ---> 12 (23)
9 # 12 ---> 13 (24)
3 # 11 ---> 12 (24)
4 # 3 ---> 11 (24)
3 # 12 ---> 4 (25)
4 # 11 ---> 12 (25)
25 # 42 ---> 43 (8)
16 # 50 ---> 42 (8)
16 # 42 ---> 34 (9)
25 # 43 ---> 42 (9)
20 # 35 ---> 43 (9)
16 # 34 ---> 35 (10)
25 # 42 ---> 34 (10)
5 # 41 ---> 49 (8)
14 # 32 ---> 33 (9)
14 # 33 ---> 41 (10)
18 # 24 ---> 25 (10)
18 # 25 ---> 33 (11)
25 # 34 ---> 26 (11)
16 # 35 ---> 34 (11)
25 # 26 ---> 27 (12)
16 # 34 ---> 26 (12)
21 # 6 ---> 5 (23)
1 # 14 ---> 6 (23)
19 # 15 ---> 14 (23)
22 # 7 ---> 15 (23)
1 # 6 ---> 7 (24)
21 # 5 ---> 6 (24)
9 # 13 ---> 5 (25)
19 # 14 ---> 13 (25)
21 # 6 ---> 14 (25)
9 # 5 ---> 6 (26)
3 # 4 ---> 5 (26)
4 # 12 ---> 4 (26)
19 # 13 ---> 12 (26)
19 # 12 ---> 11 (27)
19 # 11 ---> 19 (28)
16 # 26 ---> 18 (13)
25 # 27 ---> 26 (13)
19 # 19 ---> 27 (29)
16 # 18 ---> 19 (29)
25 # 26 ---> 18 (29)
8 # 56 ---> 48 (2)
8 # 48 ---> 40 (7)
8 # 40 ---> 32 (9)
8 # 32 ---> 24 (10)
18 # 33 ---> 32 (12)
6 # 16 ---> 17 (11)
8 # 24 ---> 16 (11)
8 # 16 ---> 8 (12)
8 # 8 ---> 9 (13)
8 # 9 ---> 10 (21)
8 # 10 ---> 11 (28)
25 # 18 ---> 10 (30)
16 # 19 ---> 18 (30)
8 # 11 ---> 19 (30)
25 # 10 ---> 11 (31)
16 # 18 ---> 10 (31)
21 # 14 ---> 13 (26)
22 # 15 ---> 14 (26)
1 # 7 ---> 15 (26)
9 # 6 ---> 7 (27)
3 # 5 ---> 6 (27)
21 # 13 ---> 5 (27)
22 # 14 ---> 13 (27)
22 # 13 ---> 12 (28)
3 # 6 ---> 14 (28)
21 # 5 ---> 6 (28)
4 # 4 ---> 5 (28)
25 # 11 ---> 3 (32)
22 # 12 ---> 11 (32)
25 # 3 ---> 4 (33)
16 # 10 ---> 2 (32)
22 # 11 ---> 10 (33)
22 # 10 ---> 18 (34)
22 # 18 ---> 26 (35)
22 # 26 ---> 34 (36)
22 # 34 ---> 42 (37)
22 # 42 ---> 50 (38)
2 # 57 ---> 56 (3)
22 # 50 ---> 58 (39)
14 # 41 ---> 42 (38)
5 # 49 ---> 41 (38)
5 # 41 ---> 33 (39)
14 # 42 ---> 41 (39)
5 # 33 ---> 34 (40)
14 # 41 ---> 33 (40)
25 # 4 ---> 12 (34)
4 # 5 ---> 4 (34)
4 # 4 ---> 3 (35)
16 # 2 ---> 10 (34)
4 # 3 ---> 2 (36)
16 # 10 ---> 11 (35)
4 # 2 ---> 10 (37)
4 # 10 ---> 18 (38)
4 # 18 ---> 26 (39)
14 # 33 ---> 25 (41)
5 # 34 ---> 33 (41)
4 # 26 ---> 34 (41)
14 # 25 ---> 26 (42)
5 # 33 ---> 25 (42)
21 # 6 ---> 5 (34)
21 # 5 ---> 4 (35)
21 # 4 ---> 3 (36)
21 # 3 ---> 2 (37)
21 # 2 ---> 10 (38)
21 # 10 ---> 18 (39)
5 # 25 ---> 24 (43)
14 # 26 ---> 25 (43)
21 # 18 ---> 26 (43)
6 # 17 ---> 18 (43)
14 # 25 ---> 17 (44)
25 # 12 ---> 4 (36)
25 # 4 ---> 5 (37)
16 # 11 ---> 3 (37)
14 # 17 ---> 9 (45)
6 # 18 ---> 17 (45)
14 # 9 ---> 10 (46)
6 # 17 ---> 9 (46)
25 # 5 ---> 13 (38)
16 # 3 ---> 4 (38)
14 # 10 ---> 2 (47)
14 # 2 ---> 3 (48)
7 # 0 ---> 2 (48)
5 # 24 ---> 25 (44)
5 # 25 ---> 17 (46)
18 # 32 ---> 33 (42)
2 # 56 ---> 48 (7)
3 # 14 ---> 6 (34)
25 # 13 ---> 14 (39)
14 # 3 ---> 11 (49)
14 # 11 ---> 12 (50)
7 # 2 ---> 10 (49)
7 # 10 ---> 11 (50)
6 # 9 ---> 0 (48)
5 # 17 ---> 9 (48)
18 # 33 ---> 25 (46)
2 # 48 ---> 49 (38)
2 # 49 ---> 41 (40)
7 # 11 ---> 3 (51)
14 # 12 ---> 11 (51)
14 # 11 ---> 10 (52)
6 # 0 ---> 2 (49)
5 # 9 ---> 0 (49)
14 # 10 ---> 9 (53)
14 # 9 ---> 8 (54)
14 # 8 ---> 16 (55)
14 # 16 ---> 24 (56)
14 # 24 ---> 32 (57)
14 # 32 ---> 40 (58)
2 # 41 ---> 33 (46)
14 # 40 ---> 41 (59)
14 # 41 ---> 49 (60)
2 # 33 ---> 32 (58)
2 # 32 ---> 40 (59)
2 # 40 ---> 41 (60)
14 # 49 ---> 48 (61)
2 # 41 ---> 49 (61)
18 # 25 ---> 17 (48)
7 # 3 ---> 11 (52)
7 # 11 ---> 12 (53)
6 # 2 ---> 10 (53)
6 # 10 ---> 11 (54)
5 # 0 ---> 9 (54)
3 # 6 ---> 5 (38)
9 # 7 ---> 6 (38)
1 # 15 ---> 7 (38)
25 # 14 ---> 15 (40)
3 # 5 ---> 13 (39)
9 # 6 ---> 5 (39)
3 # 13 ---> 14 (40)
7 # 12 ---> 13 (54)
16 # 4 ---> 12 (54)
9 # 5 ---> 4 (54)
9 # 4 ---> 3 (55)
9 # 3 ---> 2 (56)
9 # 2 ---> 0 (57)
9 # 0 ---> 1 (58)
9 # 1 ---> 8 (59)
9 # 8 ---> 16 (60)
5 # 9 ---> 0 (58)
18 # 17 ---> 9 (58)
9 # 16 ---> 17 (61)
9 # 17 ---> 25 (62)
6 # 11 ---> 3 (56)
18 # 9 ---> 10 (59)
9 # 25 ---> 24 (63)
6 # 3 ---> 4 (57)
6 # 4 ---> 5 (58)
6 # 5 ---> 6 (59)
7 # 13 ---> 5 (59)
3 # 14 ---> 13 (59)
6 # 6 ---> 14 (60)
1 # 7 ---> 6 (60)
25 # 15 ---> 7 (60)
6 # 14 ---> 15 (61)
16 # 12 ---> 4 (58)
3 # 13 ---> 12 (60)
1 # 6 ---> 14 (61)
7 # 5 ---> 6 (61)
1 # 14 ---> 13 (62)
7 # 6 ---> 14 (62)
25 # 7 ---> 6 (62)
6 # 15 ---> 7 (62)
7 # 14 ---> 15 (63)
3 # 12 ---> 11 (61)
1 # 13 ---> 12 (63)
25 # 6 ---> 5 (63)
18 # 10 ---> 2 (60)
3 # 11 ---> 10 (62)
1 # 12 ---> 11 (64)
16 # 4 ---> 12 (64)
1 # 11 ---> 3 (65)
16 # 12 ---> 11 (65)
25 # 5 ---> 13 (64)
25 # 13 ---> 12 (65)
1 # 3 ---> 4 (66)
16 # 11 ---> 3 (66)
25 # 12 ---> 11 (66)
1 # 4 ---> 12 (67)
16 # 3 ---> 4 (67)
25 # 11 ---> 3 (67)
1 # 12 ---> 11 (68)
16 # 4 ---> 12 (68)
16 # 12 ---> 13 (69)
3 # 10 ---> 9 (63)
1 # 11 ---> 10 (69)
25 # 3 ---> 11 (69)
18 # 2 ---> 3 (69)
18 # 3 ---> 4 (70)
18 # 4 ---> 12 (71)
16 # 13 ---> 5 (70)
18 # 12 ---> 13 (72)
1 # 10 ---> 2 (70)
25 # 11 ---> 10 (70)
3 # 9 ---> 8 (64)
25 # 10 ---> 9 (71)
1 # 2 ---> 10 (71)
5 # 0 ---> 2 (71)
5 # 2 ---> 3 (72)
5 # 3 ---> 11 (73)
5 # 11 ---> 12 (74)
25 # 9 ---> 0 (72)
25 # 0 ---> 2 (73)
1 # 10 ---> 9 (72)
25 # 2 ---> 10 (74)
1 # 9 ---> 0 (73)
25 # 10 ---> 9 (75)
1 # 0 ---> 2 (74)
25 # 9 ---> 0 (76)
1 # 2 ---> 10 (75)
25 # 0 ---> 2 (77)
1 # 10 ---> 9 (76)
25 # 2 ---> 10 (78)
25 # 10 ---> 11 (79)
1 # 9 ---> 10 (79)
1 # 10 ---> 2 (80)
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 = 0x7fffc2cd65d0, target = 0x2618e70)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618e50)
    ]
    Edge  1 <-> 8 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f50)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618e70)
    ]
    Edge  2 <-> 0 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618e50)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618e90)
    ]
    Edge  3 <-> 2 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618e90)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618eb0)
    ]
    Edge  4 <-> 3 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618eb0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618ed0)
    ]
    Edge  5 <-> 4 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618ed0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618ef0)
    ]
    Edge  6 <-> 5 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618ef0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f10)
    ]
    Edge  7 <-> 6 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f10)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f30)
    ]
    Edge  8 <-> 9 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f70)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f50)
    ]
    Edge  8 <-> 16 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619050)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f50)
    ]
    Edge  9 <-> 0 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618e50)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f70)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f90)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f70)
    ]
    Edge  10 <-> 2 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618e90)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f90)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618fb0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f90)
    ]
    Edge  10 <-> 18 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619090)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f90)
    ]
    Edge  11 <-> 3 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618eb0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618fb0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618fd0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618fb0)
    ]
    Edge  11 <-> 19 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618fb0)
    ]
    Edge  12 <-> 4 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618ed0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618fd0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618ff0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618fd0)
    ]
    Edge  12 <-> 20 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618fd0)
    ]
    Edge  13 <-> 5 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618ef0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618ff0)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619010)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618ff0)
    ]
    Edge  13 <-> 21 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618ff0)
    ]
    Edge  14 <-> 6 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f10)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619010)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619030)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619010)
    ]
    Edge  14 <-> 22 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619110)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619010)
    ]
    Edge  15 <-> 7 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f30)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619030)
    ]
    Edge  15 <-> 23 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619130)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619030)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619070)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619050)
    ]
    Edge  16 <-> 24 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619150)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619050)
    ]
    Edge  17 <-> 9 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2618f70)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619070)
    ]
    Edge  18 <-> 17 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619070)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619090)
    ]
    Edge  18 <-> 26 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619190)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619090)
    ]
    Edge  19 <-> 18 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619090)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190b0)
    ]
    Edge  19 <-> 27 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190b0)
    ]
    Edge  20 <-> 19 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190d0)
    ]
    Edge  20 <-> 28 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190d0)
    ]
    Edge  21 <-> 20 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190f0)
    ]
    Edge  21 <-> 29 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190f0)
    ]
    Edge  22 <-> 21 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26190f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619110)
    ]
    Edge  22 <-> 30 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619210)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619110)
    ]
    Edge  23 <-> 22 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619110)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619130)
    ]
    Edge  23 <-> 31 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619230)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619130)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619170)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619150)
    ]
    Edge  24 <-> 32 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619250)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619150)
    ]
    Edge  25 <-> 17 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619070)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619170)
    ]
    Edge  26 <-> 25 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619170)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619190)
    ]
    Edge  26 <-> 34 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619290)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619190)
    ]
    Edge  27 <-> 26 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619190)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191b0)
    ]
    Edge  27 <-> 35 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191b0)
    ]
    Edge  28 <-> 27 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191d0)
    ]
    Edge  28 <-> 36 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191d0)
    ]
    Edge  29 <-> 28 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191f0)
    ]
    Edge  29 <-> 37 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191f0)
    ]
    Edge  30 <-> 29 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26191f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619210)
    ]
    Edge  30 <-> 38 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619310)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619210)
    ]
    Edge  31 <-> 30 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619210)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619230)
    ]
    Edge  31 <-> 39 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619330)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619230)
    ]
    Edge  32 <-> 33 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619270)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619250)
    ]
    Edge  32 <-> 40 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619350)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619250)
    ]
    Edge  33 <-> 25 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619170)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619270)
    ]
    Edge  34 <-> 33 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619270)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619290)
    ]
    Edge  34 <-> 42 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619390)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619290)
    ]
    Edge  35 <-> 34 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619290)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192b0)
    ]
    Edge  35 <-> 43 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192b0)
    ]
    Edge  36 <-> 35 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192d0)
    ]
    Edge  36 <-> 44 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192d0)
    ]
    Edge  37 <-> 36 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192f0)
    ]
    Edge  37 <-> 45 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192f0)
    ]
    Edge  38 <-> 37 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26192f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619310)
    ]
    Edge  38 <-> 46 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619410)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619310)
    ]
    Edge  39 <-> 38 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619310)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619330)
    ]
    Edge  39 <-> 47 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619430)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619330)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619370)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619350)
    ]
    Edge  40 <-> 48 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619450)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619350)
    ]
    Edge  41 <-> 33 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619270)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619370)
    ]
    Edge  42 <-> 41 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619370)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619390)
    ]
    Edge  42 <-> 50 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619490)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619390)
    ]
    Edge  43 <-> 42 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619390)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193b0)
    ]
    Edge  43 <-> 51 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193b0)
    ]
    Edge  44 <-> 43 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193d0)
    ]
    Edge  44 <-> 52 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193d0)
    ]
    Edge  45 <-> 44 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193f0)
    ]
    Edge  45 <-> 53 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193f0)
    ]
    Edge  46 <-> 45 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26193f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619410)
    ]
    Edge  46 <-> 54 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619510)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619410)
    ]
    Edge  47 <-> 46 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619410)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619430)
    ]
    Edge  47 <-> 55 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619530)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619430)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619470)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619450)
    ]
    Edge  48 <-> 56 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619550)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619450)
    ]
    Edge  49 <-> 41 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619370)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619470)
    ]
    Edge  50 <-> 49 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619470)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619490)
    ]
    Edge  50 <-> 58 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619590)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619490)
    ]
    Edge  51 <-> 50 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619490)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194b0)
    ]
    Edge  51 <-> 59 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26195b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194b0)
    ]
    Edge  52 <-> 51 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194d0)
    ]
    Edge  52 <-> 60 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26195d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194d0)
    ]
    Edge  53 <-> 52 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194f0)
    ]
    Edge  53 <-> 61 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26195f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194f0)
    ]
    Edge  54 <-> 53 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26194f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619510)
    ]
    Edge  54 <-> 62 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619610)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619510)
    ]
    Edge  55 <-> 54 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619510)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619530)
    ]
    Edge  55 <-> 63 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619630)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619530)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619570)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619550)
    ]
    Edge  57 <-> 49 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619470)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619570)
    ]
    Edge  58 <-> 57 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619570)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619590)
    ]
    Edge  59 <-> 58 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619590)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26195b0)
    ]
    Edge  60 <-> 59 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26195b0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26195d0)
    ]
    Edge  61 <-> 60 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26195d0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26195f0)
    ]
    Edge  62 <-> 61 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x26195f0)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619610)
    ]
    Edge  63 <-> 62 [
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619610)
        Arc: (edge = 0x7fffc2cd65d0, target = 0x2619630)
    ]
]
Robot arrangement: (|R| = 25, |V| = 64) [
     robot locations: {1#6 2#41 3#44 4#31 5#24 6#16 7#10 8#49 9#60 10#56 11#57 12#30 13#1 14#18 15#33 16#40 17#43 18#28 19#47 20#48 21#22 22#39 23#62 24#50 25#51 }
     vertex occupancy: {0#0 13#1 0#2 0#3 0#4 0#5 1#6 0#7 0#8 0#9 7#10 0#11 0#12 0#13 0#14 0#15 6#16 0#17 14#18 0#19 0#20 0#21 21#22 0#23 5#24 0#25 0#26 0#27 18#28 0#29 12#30 4#31 0#32 15#33 0#34 0#35 0#36 0#37 0#38 22#39 16#40 2#41 0#42 17#43 3#44 0#45 0#46 19#47 20#48 8#49 24#50 25#51 0#52 0#53 0#54 0#55 10#56 11#57 0#58 0#59 9#60 0#61 23#62 0#63 }
]
Robot arrangement: (|R| = 25, |V| = 64) [
     robot locations: {1#2 2#49 3#8 4#34 5#12 6#7 7#15 8#19 9#24 10#47 11#23 12#54 13#52 14#48 15#20 16#5 17#29 18#13 19#27 20#43 21#26 22#58 23#60 24#63 25#11 }
     vertex occupancy: {0#0 0#1 1#2 0#3 0#4 16#5 0#6 6#7 3#8 0#9 0#10 25#11 5#12 18#13 0#14 7#15 0#16 0#17 0#18 8#19 15#20 0#21 0#22 11#23 9#24 0#25 21#26 19#27 0#28 17#29 0#30 0#31 0#32 0#33 4#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 20#43 0#44 0#45 0#46 10#47 14#48 2#49 0#50 0#51 13#52 0#53 12#54 0#55 0#56 0#57 22#58 0#59 23#60 0#61 0#62 24#63 }
]
Unable to provide a new solution.
Phase statistics (current phase = 'root_phase') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 0
            Satisfiable SAT solver calls   = 0
            Unsatisfiable SAT solver calls = 0
            Indeterminate SAT solver calls = 0
            Move executions                = 442
            Produced CNF variables         = 0
            Produced CNF clauses           = 0
            Search steps                   = 0
            Wall clock TIME (seconds)      = 0.003
            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                = 0
                Produced CNF variables         = 0
                Produced CNF clauses           = 0
                Search steps                   = 501
                Wall clock TIME (seconds)      = 0.001
                CPU/machine TIME (seconds)     = 0.000
            ]
        }
]
----------------------------------------------------------------