================================================================
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:1142
22 # 39 ---> 38 (0)
19 # 47 ---> 39 (0)
49 # 55 ---> 47 (0)
17 # 43 ---> 42 (0)
25 # 51 ---> 43 (0)
24 # 50 ---> 51 (0)
17 # 42 ---> 50 (1)
25 # 43 ---> 42 (1)
3 # 44 ---> 43 (1)
48 # 52 ---> 44 (1)
24 # 51 ---> 52 (1)
3 # 43 ---> 51 (2)
48 # 44 ---> 43 (2)
42 # 45 ---> 44 (2)
32 # 53 ---> 45 (2)
24 # 52 ---> 53 (2)
42 # 44 ---> 52 (3)
32 # 45 ---> 44 (3)
45 # 46 ---> 45 (3)
39 # 54 ---> 46 (3)
24 # 53 ---> 54 (3)
24 # 54 ---> 55 (4)
23 # 62 ---> 54 (4)
47 # 63 ---> 62 (4)
24 # 55 ---> 63 (5)
45 # 45 ---> 53 (4)
39 # 46 ---> 45 (4)
21 # 22 ---> 14 (0)
12 # 30 ---> 22 (0)
4 # 31 ---> 30 (0)
12 # 22 ---> 23 (1)
4 # 30 ---> 22 (1)
22 # 38 ---> 30 (1)
19 # 39 ---> 38 (1)
23 # 54 ---> 46 (5)
16 # 40 ---> 32 (0)
20 # 48 ---> 40 (0)
10 # 56 ---> 48 (0)
11 # 57 ---> 56 (0)
8 # 49 ---> 57 (0)
2 # 41 ---> 49 (0)
20 # 40 ---> 41 (1)
10 # 48 ---> 40 (1)
2 # 49 ---> 48 (1)
20 # 41 ---> 49 (2)
15 # 33 ---> 41 (2)
16 # 32 ---> 33 (2)
10 # 40 ---> 32 (2)
15 # 41 ---> 40 (3)
16 # 33 ---> 41 (3)
10 # 32 ---> 33 (3)
5 # 24 ---> 32 (3)
34 # 25 ---> 24 (3)
30 # 26 ---> 25 (3)
37 # 34 ---> 26 (3)
10 # 33 ---> 34 (4)
30 # 25 ---> 33 (4)
37 # 26 ---> 25 (4)
33 # 27 ---> 26 (4)
52 # 35 ---> 27 (4)
10 # 34 ---> 35 (5)
10 # 35 ---> 36 (6)
33 # 26 ---> 34 (5)
52 # 27 ---> 26 (5)
18 # 28 ---> 27 (5)
28 # 37 ---> 29 (0)
10 # 36 ---> 37 (7)
28 # 29 ---> 28 (5)
22 # 30 ---> 29 (5)
19 # 38 ---> 30 (5)
10 # 37 ---> 38 (8)
10 # 38 ---> 39 (9)
23 # 46 ---> 38 (9)
49 # 47 ---> 46 (9)
10 # 39 ---> 47 (10)
23 # 38 ---> 39 (10)
49 # 46 ---> 38 (10)
26 # 9 ---> 0 (0)
13 # 1 ---> 8 (0)
26 # 0 ---> 1 (1)
44 # 2 ---> 0 (1)
7 # 10 ---> 2 (1)
44 # 0 ---> 9 (2)
7 # 2 ---> 0 (2)
50 # 3 ---> 2 (2)
36 # 11 ---> 3 (2)
50 # 2 ---> 10 (3)
36 # 3 ---> 2 (3)
51 # 12 ---> 4 (0)
51 # 4 ---> 3 (3)
43 # 13 ---> 5 (0)
43 # 5 ---> 4 (3)
1 # 6 ---> 5 (3)
21 # 14 ---> 6 (3)
1 # 5 ---> 13 (4)
21 # 6 ---> 5 (4)
41 # 7 ---> 6 (4)
46 # 15 ---> 7 (4)
4 # 22 ---> 14 (3)
12 # 23 ---> 22 (3)
49 # 38 ---> 37 (11)
23 # 39 ---> 38 (11)
19 # 30 ---> 31 (6)
23 # 38 ---> 30 (12)
18 # 27 ---> 35 (6)
38 # 19 ---> 27 (6)
14 # 18 ---> 19 (6)
40 # 17 ---> 18 (6)
37 # 25 ---> 17 (6)
52 # 26 ---> 25 (6)
40 # 18 ---> 26 (7)
37 # 17 ---> 18 (7)
44 # 9 ---> 17 (7)
50 # 10 ---> 9 (7)
14 # 19 ---> 11 (7)
37 # 18 ---> 19 (8)
14 # 11 ---> 10 (8)
31 # 20 ---> 12 (0)
37 # 19 ---> 20 (9)
37 # 20 ---> 21 (10)
31 # 12 ---> 11 (8)
1 # 13 ---> 12 (8)
4 # 14 ---> 13 (8)
12 # 22 ---> 14 (8)
37 # 21 ---> 22 (11)
37 # 22 ---> 23 (12)
23 # 30 ---> 22 (13)
19 # 31 ---> 30 (13)
37 # 23 ---> 31 (13)
23 # 22 ---> 23 (14)
19 # 30 ---> 22 (14)
44 # 17 ---> 18 (8)
52 # 25 ---> 17 (8)
30 # 33 ---> 25 (8)
16 # 41 ---> 33 (8)
20 # 49 ---> 41 (8)
2 # 48 ---> 49 (8)
11 # 56 ---> 48 (8)
8 # 57 ---> 56 (8)
2 # 49 ---> 57 (9)
20 # 41 ---> 49 (9)
15 # 40 ---> 41 (9)
11 # 48 ---> 40 (9)
20 # 49 ---> 48 (10)
15 # 41 ---> 49 (10)
16 # 33 ---> 41 (10)
5 # 32 ---> 33 (10)
11 # 40 ---> 32 (10)
16 # 41 ---> 40 (11)
5 # 33 ---> 41 (11)
30 # 25 ---> 33 (11)
34 # 24 ---> 25 (11)
11 # 32 ---> 24 (11)
30 # 33 ---> 32 (12)
34 # 25 ---> 33 (12)
52 # 17 ---> 25 (12)
6 # 16 ---> 17 (12)
11 # 24 ---> 16 (12)
52 # 25 ---> 24 (13)
6 # 17 ---> 25 (13)
50 # 9 ---> 17 (13)
13 # 8 ---> 9 (13)
11 # 16 ---> 8 (13)
50 # 17 ---> 16 (14)
13 # 9 ---> 17 (14)
11 # 8 ---> 9 (14)
26 # 1 ---> 8 (14)
7 # 0 ---> 1 (14)
36 # 2 ---> 0 (14)
14 # 10 ---> 2 (14)
11 # 9 ---> 10 (15)
36 # 0 ---> 9 (15)
14 # 2 ---> 0 (15)
51 # 3 ---> 2 (15)
31 # 11 ---> 3 (15)
11 # 10 ---> 11 (16)
51 # 2 ---> 10 (16)
31 # 3 ---> 2 (16)
43 # 4 ---> 3 (16)
1 # 12 ---> 4 (16)
11 # 11 ---> 12 (17)
43 # 3 ---> 11 (17)
1 # 4 ---> 3 (17)
21 # 5 ---> 4 (17)
4 # 13 ---> 5 (17)
11 # 12 ---> 13 (18)
21 # 4 ---> 12 (18)
4 # 5 ---> 4 (18)
41 # 6 ---> 5 (18)
12 # 14 ---> 6 (18)
11 # 13 ---> 14 (19)
11 # 14 ---> 15 (20)
19 # 22 ---> 14 (20)
23 # 23 ---> 22 (20)
11 # 15 ---> 23 (21)
19 # 14 ---> 15 (21)
23 # 22 ---> 14 (21)
43 # 11 ---> 19 (18)
1 # 3 ---> 11 (18)
31 # 2 ---> 3 (18)
51 # 10 ---> 2 (18)
1 # 11 ---> 10 (19)
21 # 12 ---> 11 (19)
4 # 4 ---> 12 (19)
31 # 3 ---> 4 (19)
21 # 11 ---> 3 (20)
4 # 12 ---> 11 (20)
41 # 5 ---> 13 (19)
31 # 4 ---> 5 (20)
41 # 13 ---> 12 (20)
23 # 14 ---> 13 (22)
12 # 6 ---> 14 (22)
31 # 5 ---> 6 (22)
23 # 13 ---> 5 (23)
12 # 14 ---> 13 (23)
31 # 6 ---> 14 (23)
31 # 14 ---> 22 (24)
31 # 22 ---> 30 (25)
31 # 30 ---> 38 (26)
31 # 38 ---> 46 (27)
31 # 46 ---> 54 (28)
39 # 45 ---> 46 (28)
45 # 53 ---> 45 (28)
35 # 61 ---> 53 (28)
47 # 62 ---> 61 (28)
31 # 54 ---> 62 (29)
39 # 46 ---> 38 (29)
12 # 13 ---> 14 (24)
12 # 14 ---> 22 (25)
12 # 22 ---> 30 (26)
22 # 29 ---> 21 (11)
49 # 37 ---> 29 (12)
39 # 38 ---> 37 (30)
12 # 30 ---> 38 (30)
12 # 38 ---> 46 (31)
12 # 46 ---> 54 (32)
28 # 28 ---> 20 (10)
38 # 27 ---> 28 (10)
43 # 19 ---> 27 (19)
28 # 20 ---> 19 (19)
22 # 21 ---> 20 (19)
49 # 29 ---> 21 (19)
38 # 28 ---> 29 (19)
38 # 29 ---> 30 (30)
38 # 30 ---> 38 (31)
38 # 38 ---> 46 (32)
39 # 37 ---> 38 (32)
45 # 45 ---> 37 (32)
43 # 27 ---> 28 (20)
43 # 28 ---> 29 (30)
43 # 29 ---> 30 (31)
45 # 37 ---> 29 (33)
39 # 38 ---> 37 (33)
43 # 30 ---> 38 (33)
45 # 29 ---> 30 (34)
39 # 37 ---> 29 (34)
28 # 19 ---> 27 (20)
44 # 18 ---> 19 (20)
40 # 26 ---> 18 (20)
28 # 27 ---> 26 (21)
44 # 19 ---> 27 (21)
40 # 18 ---> 19 (21)
1 # 10 ---> 18 (21)
4 # 11 ---> 10 (21)
41 # 12 ---> 11 (21)
22 # 20 ---> 12 (21)
40 # 19 ---> 20 (22)
41 # 11 ---> 19 (22)
22 # 12 ---> 11 (22)
49 # 21 ---> 13 (24)
40 # 20 ---> 21 (24)
40 # 21 ---> 22 (26)
39 # 29 ---> 21 (35)
45 # 30 ---> 29 (35)
40 # 22 ---> 30 (35)
39 # 21 ---> 22 (36)
45 # 29 ---> 21 (36)
49 # 13 ---> 14 (25)
45 # 21 ---> 13 (37)
39 # 22 ---> 21 (37)
49 # 14 ---> 22 (37)
45 # 13 ---> 14 (38)
39 # 21 ---> 13 (38)
35 # 53 ---> 45 (32)
32 # 44 ---> 36 (7)
42 # 52 ---> 44 (7)
9 # 60 ---> 52 (7)
47 # 61 ---> 60 (29)
35 # 45 ---> 37 (34)
41 # 19 ---> 20 (24)
1 # 18 ---> 19 (24)
13 # 17 ---> 18 (24)
50 # 16 ---> 17 (24)
26 # 8 ---> 16 (24)
36 # 9 ---> 8 (24)
4 # 10 ---> 9 (24)
13 # 18 ---> 10 (25)
50 # 17 ---> 18 (25)
4 # 9 ---> 17 (25)
13 # 10 ---> 9 (26)
22 # 11 ---> 10 (26)
1 # 19 ---> 11 (26)
50 # 18 ---> 19 (26)
22 # 10 ---> 18 (27)
1 # 11 ---> 10 (27)
41 # 20 ---> 12 (25)
50 # 19 ---> 20 (27)
50 # 20 ---> 21 (38)
50 # 21 ---> 29 (39)
32 # 36 ---> 28 (30)
35 # 37 ---> 36 (35)
50 # 29 ---> 37 (40)
50 # 37 ---> 45 (41)
50 # 45 ---> 53 (42)
42 # 44 ---> 45 (42)
22 # 18 ---> 19 (28)
4 # 17 ---> 18 (28)
6 # 25 ---> 17 (28)
52 # 24 ---> 25 (28)
30 # 32 ---> 24 (28)
34 # 33 ---> 32 (28)
52 # 25 ---> 33 (29)
30 # 24 ---> 25 (29)
26 # 16 ---> 24 (29)
6 # 17 ---> 16 (29)
4 # 18 ---> 17 (29)
28 # 26 ---> 18 (29)
30 # 25 ---> 26 (30)
4 # 17 ---> 25 (30)
28 # 18 ---> 17 (30)
22 # 19 ---> 18 (30)
44 # 27 ---> 19 (30)
30 # 26 ---> 27 (31)
22 # 18 ---> 26 (31)
44 # 19 ---> 18 (31)
32 # 28 ---> 20 (38)
30 # 27 ---> 28 (38)
30 # 28 ---> 29 (40)
35 # 36 ---> 28 (40)
30 # 29 ---> 37 (41)
48 # 43 ---> 44 (42)
25 # 42 ---> 43 (42)
17 # 50 ---> 42 (42)
15 # 49 ---> 50 (42)
5 # 41 ---> 49 (42)
52 # 33 ---> 41 (42)
33 # 34 ---> 33 (42)
17 # 42 ---> 34 (43)
52 # 41 ---> 42 (43)
33 # 33 ---> 41 (43)
4 # 25 ---> 33 (43)
22 # 26 ---> 25 (43)
17 # 34 ---> 26 (44)
4 # 33 ---> 34 (44)
22 # 25 ---> 33 (44)
28 # 17 ---> 25 (44)
44 # 18 ---> 17 (44)
17 # 26 ---> 18 (45)
17 # 18 ---> 19 (46)
1 # 10 ---> 18 (46)
41 # 12 ---> 11 (27)
32 # 20 ---> 12 (39)
17 # 19 ---> 20 (47)
17 # 20 ---> 21 (48)
17 # 21 ---> 29 (49)
35 # 28 ---> 20 (48)
39 # 13 ---> 21 (49)
18 # 35 ---> 27 (38)
25 # 43 ---> 35 (43)
3 # 51 ---> 43 (43)
27 # 59 ---> 51 (43)
29 # 58 ---> 59 (43)
15 # 50 ---> 58 (43)
52 # 42 ---> 50 (44)
3 # 43 ---> 42 (44)
27 # 51 ---> 43 (44)
52 # 50 ---> 51 (45)
3 # 42 ---> 50 (45)
4 # 34 ---> 42 (45)
25 # 35 ---> 34 (45)
27 # 43 ---> 35 (45)
4 # 42 ---> 43 (46)
25 # 34 ---> 42 (46)
18 # 27 ---> 26 (45)
27 # 35 ---> 27 (46)
27 # 27 ---> 19 (47)
18 # 26 ---> 27 (47)
1 # 18 ---> 26 (47)
41 # 11 ---> 10 (46)
27 # 19 ---> 11 (48)
35 # 20 ---> 19 (49)
32 # 12 ---> 20 (49)
27 # 11 ---> 12 (49)
27 # 12 ---> 13 (50)
32 # 20 ---> 12 (50)
39 # 21 ---> 20 (50)
27 # 13 ---> 21 (51)
32 # 12 ---> 13 (51)
39 # 20 ---> 12 (51)
48 # 44 ---> 36 (43)
9 # 52 ---> 44 (43)
23 # 5 ---> 4 (24)
32 # 13 ---> 5 (52)
39 # 12 ---> 13 (52)
23 # 4 ---> 12 (52)
23 # 12 ---> 20 (53)
23 # 20 ---> 28 (54)
21 # 3 ---> 4 (52)
35 # 19 ---> 11 (50)
18 # 27 ---> 19 (50)
48 # 36 ---> 35 (46)
23 # 28 ---> 36 (55)
48 # 35 ---> 27 (50)
4 # 43 ---> 35 (50)
9 # 44 ---> 43 (50)
23 # 36 ---> 44 (56)
23 # 44 ---> 52 (57)
9 # 43 ---> 44 (57)
52 # 51 ---> 43 (57)
29 # 59 ---> 51 (57)
47 # 60 ---> 59 (57)
23 # 52 ---> 60 (58)
9 # 44 ---> 36 (58)
41 # 10 ---> 18 (47)
13 # 9 ---> 10 (47)
14 # 0 ---> 9 (47)
51 # 2 ---> 0 (47)
35 # 11 ---> 3 (52)
13 # 10 ---> 11 (52)
13 # 11 ---> 12 (53)
13 # 12 ---> 20 (54)
13 # 20 ---> 28 (55)
18 # 19 ---> 11 (53)
48 # 27 ---> 19 (53)
4 # 35 ---> 27 (53)
9 # 36 ---> 35 (59)
13 # 28 ---> 36 (59)
13 # 36 ---> 44 (60)
13 # 44 ---> 52 (61)
52 # 43 ---> 44 (61)
29 # 51 ---> 43 (61)
47 # 59 ---> 51 (61)
15 # 58 ---> 59 (61)
3 # 50 ---> 58 (61)
25 # 42 ---> 50 (61)
29 # 43 ---> 42 (62)
47 # 51 ---> 43 (62)
25 # 50 ---> 51 (62)
29 # 42 ---> 50 (63)
9 # 35 ---> 34 (60)
47 # 43 ---> 35 (63)
47 # 35 ---> 36 (64)
52 # 44 ---> 43 (63)
47 # 36 ---> 44 (65)
39 # 13 ---> 12 (54)
39 # 12 ---> 20 (55)
39 # 20 ---> 28 (59)
39 # 28 ---> 36 (65)
14 # 9 ---> 10 (52)
36 # 8 ---> 9 (52)
7 # 1 ---> 8 (52)
51 # 0 ---> 1 (52)
14 # 10 ---> 2 (53)
36 # 9 ---> 10 (53)
14 # 2 ---> 0 (54)
35 # 3 ---> 2 (54)
18 # 11 ---> 3 (54)
36 # 10 ---> 11 (54)
36 # 11 ---> 12 (55)
36 # 12 ---> 20 (59)
36 # 20 ---> 28 (65)
48 # 19 ---> 20 (65)
4 # 27 ---> 19 (65)
52 # 43 ---> 35 (64)
25 # 51 ---> 43 (64)
15 # 59 ---> 51 (64)
3 # 58 ---> 59 (64)
29 # 50 ---> 58 (64)
25 # 43 ---> 42 (65)
15 # 51 ---> 43 (65)
25 # 42 ---> 50 (66)
9 # 34 ---> 42 (66)
52 # 35 ---> 34 (66)
15 # 43 ---> 35 (66)
15 # 35 ---> 27 (67)
52 # 34 ---> 35 (67)
1 # 26 ---> 34 (67)
41 # 18 ---> 26 (67)
4 # 19 ---> 18 (67)
15 # 27 ---> 19 (68)
15 # 19 ---> 11 (69)
15 # 11 ---> 12 (70)
48 # 20 ---> 19 (69)
15 # 12 ---> 20 (71)
48 # 19 ---> 11 (70)
41 # 26 ---> 27 (68)
1 # 34 ---> 26 (68)
52 # 35 ---> 34 (68)
41 # 27 ---> 35 (69)
41 # 35 ---> 43 (70)
41 # 43 ---> 51 (71)
9 # 42 ---> 43 (71)
25 # 50 ---> 42 (71)
29 # 58 ---> 50 (71)
3 # 59 ---> 58 (71)
41 # 51 ---> 59 (72)
9 # 43 ---> 35 (72)
14 # 0 ---> 9 (55)
35 # 2 ---> 0 (55)
18 # 3 ---> 2 (55)
48 # 11 ---> 3 (71)
4 # 18 ---> 10 (68)
1 # 26 ---> 18 (69)
52 # 34 ---> 26 (69)
9 # 35 ---> 34 (73)
25 # 42 ---> 43 (72)
29 # 50 ---> 42 (72)
5 # 49 ---> 50 (72)
33 # 41 ---> 49 (72)
16 # 40 ---> 41 (72)
20 # 48 ---> 40 (72)
33 # 49 ---> 48 (73)
16 # 41 ---> 49 (73)
22 # 33 ---> 41 (73)
34 # 32 ---> 33 (73)
20 # 40 ---> 32 (73)
22 # 41 ---> 40 (74)
34 # 33 ---> 41 (74)
20 # 32 ---> 33 (74)
26 # 24 ---> 32 (74)
28 # 25 ---> 24 (74)
52 # 26 ---> 25 (74)
9 # 34 ---> 26 (74)
20 # 33 ---> 34 (75)
20 # 34 ---> 35 (76)
29 # 42 ---> 34 (76)
25 # 43 ---> 42 (76)
20 # 35 ---> 43 (77)
29 # 34 ---> 35 (77)
25 # 42 ---> 34 (77)
34 # 41 ---> 33 (75)
22 # 40 ---> 41 (75)
26 # 32 ---> 40 (75)
28 # 24 ---> 32 (75)
52 # 25 ---> 24 (75)
34 # 33 ---> 25 (76)
25 # 34 ---> 33 (78)
9 # 26 ---> 34 (78)
34 # 25 ---> 26 (78)
34 # 26 ---> 27 (79)
9 # 34 ---> 26 (79)
29 # 35 ---> 34 (79)
34 # 27 ---> 35 (80)
9 # 26 ---> 27 (80)
29 # 34 ---> 26 (80)
45 # 14 ---> 6 (39)
19 # 15 ---> 14 (39)
19 # 14 ---> 13 (54)
19 # 13 ---> 12 (71)
19 # 12 ---> 11 (72)
19 # 11 ---> 19 (73)
29 # 26 ---> 25 (81)
9 # 27 ---> 26 (81)
19 # 19 ---> 27 (81)
1 # 18 ---> 19 (81)
9 # 26 ---> 18 (82)
22 # 41 ---> 42 (77)
16 # 49 ---> 41 (77)
33 # 48 ---> 49 (77)
8 # 56 ---> 48 (77)
2 # 57 ---> 56 (77)
33 # 49 ---> 57 (78)
16 # 41 ---> 49 (78)
26 # 40 ---> 41 (78)
8 # 48 ---> 40 (78)
16 # 49 ---> 48 (79)
26 # 41 ---> 49 (79)
25 # 33 ---> 41 (79)
28 # 32 ---> 33 (79)
8 # 40 ---> 32 (79)
25 # 41 ---> 40 (80)
28 # 33 ---> 41 (80)
29 # 25 ---> 33 (82)
52 # 24 ---> 25 (82)
8 # 32 ---> 24 (82)
29 # 33 ---> 32 (83)
52 # 25 ---> 33 (83)
44 # 17 ---> 25 (83)
6 # 16 ---> 17 (83)
8 # 24 ---> 16 (83)
44 # 25 ---> 24 (84)
6 # 17 ---> 25 (84)
14 # 9 ---> 17 (84)
7 # 8 ---> 9 (84)
8 # 16 ---> 8 (84)
14 # 17 ---> 16 (85)
7 # 9 ---> 17 (85)
8 # 8 ---> 9 (85)
51 # 1 ---> 8 (85)
35 # 0 ---> 1 (85)
18 # 2 ---> 0 (85)
4 # 10 ---> 2 (85)
8 # 9 ---> 10 (86)
8 # 10 ---> 11 (87)
9 # 18 ---> 10 (87)
1 # 19 ---> 18 (87)
8 # 11 ---> 19 (88)
9 # 10 ---> 11 (88)
1 # 18 ---> 10 (88)
22 # 42 ---> 34 (80)
5 # 50 ---> 42 (80)
6 # 25 ---> 26 (85)
52 # 33 ---> 25 (85)
28 # 41 ---> 33 (85)
5 # 42 ---> 41 (85)
22 # 34 ---> 42 (85)
22 # 42 ---> 50 (86)
5 # 41 ---> 42 (86)
26 # 49 ---> 41 (86)
33 # 57 ---> 49 (86)
3 # 58 ---> 57 (86)
22 # 50 ---> 58 (87)
28 # 33 ---> 34 (86)
26 # 41 ---> 33 (87)
5 # 42 ---> 41 (87)
28 # 34 ---> 42 (87)
28 # 42 ---> 50 (88)
51 # 8 ---> 9 (86)
35 # 1 ---> 8 (86)
18 # 0 ---> 1 (86)
4 # 2 ---> 0 (86)
1 # 10 ---> 2 (89)
51 # 9 ---> 10 (89)
51 # 10 ---> 18 (90)
7 # 17 ---> 9 (89)
52 # 25 ---> 17 (89)
6 # 26 ---> 25 (89)
51 # 18 ---> 26 (91)
51 # 26 ---> 34 (92)
51 # 34 ---> 42 (93)
1 # 2 ---> 10 (90)
4 # 0 ---> 2 (90)
7 # 9 ---> 0 (90)
1 # 10 ---> 9 (91)
4 # 2 ---> 10 (91)
4 # 10 ---> 18 (92)
4 # 18 ---> 26 (93)
4 # 26 ---> 34 (94)
9 # 11 ---> 12 (89)
48 # 3 ---> 11 (89)
21 # 4 ---> 3 (89)
21 # 3 ---> 2 (91)
21 # 2 ---> 10 (92)
21 # 10 ---> 18 (93)
21 # 18 ---> 26 (94)
45 # 6 ---> 14 (54)
46 # 7 ---> 6 (54)
32 # 5 ---> 13 (71)
46 # 6 ---> 5 (71)
46 # 5 ---> 4 (89)
46 # 4 ---> 3 (91)
46 # 3 ---> 2 (92)
46 # 2 ---> 10 (93)
46 # 10 ---> 18 (94)
1 # 9 ---> 10 (94)
52 # 17 ---> 9 (94)
14 # 16 ---> 17 (94)
44 # 24 ---> 16 (94)
29 # 32 ---> 24 (94)
25 # 40 ---> 32 (94)
16 # 48 ---> 40 (94)
48 # 11 ---> 3 (92)
1 # 10 ---> 11 (95)
52 # 9 ---> 10 (95)
7 # 0 ---> 9 (95)
52 # 10 ---> 2 (96)
7 # 9 ---> 10 (96)
35 # 8 ---> 9 (96)
18 # 1 ---> 8 (96)
35 # 9 ---> 0 (97)
18 # 8 ---> 9 (97)
35 # 0 ---> 1 (98)
18 # 9 ---> 0 (98)
14 # 17 ---> 9 (98)
44 # 16 ---> 17 (98)
14 # 9 ---> 8 (99)
44 # 17 ---> 9 (99)
6 # 25 ---> 17 (99)
29 # 24 ---> 25 (99)
6 # 17 ---> 16 (100)
29 # 25 ---> 17 (100)
26 # 33 ---> 25 (100)
25 # 32 ---> 33 (100)
26 # 25 ---> 24 (101)
25 # 33 ---> 25 (101)
5 # 41 ---> 33 (101)
33 # 49 ---> 41 (101)
2 # 56 ---> 48 (94)
3 # 57 ---> 56 (94)
32 # 13 ---> 5 (89)
45 # 14 ---> 13 (89)
32 # 5 ---> 6 (90)
9 # 12 ---> 4 (91)
45 # 13 ---> 12 (91)
9 # 4 ---> 5 (92)
48 # 3 ---> 4 (93)
1 # 11 ---> 3 (96)
45 # 12 ---> 11 (96)
48 # 4 ---> 12 (96)
1 # 3 ---> 4 (97)
52 # 2 ---> 3 (97)
7 # 10 ---> 2 (97)
45 # 11 ---> 10 (97)
52 # 3 ---> 11 (98)
7 # 2 ---> 3 (98)
18 # 0 ---> 2 (99)
44 # 9 ---> 0 (100)
45 # 10 ---> 9 (100)
18 # 2 ---> 10 (100)
44 # 0 ---> 2 (101)
35 # 1 ---> 0 (101)
14 # 8 ---> 1 (101)
45 # 9 ---> 8 (101)
29 # 17 ---> 9 (101)
6 # 16 ---> 17 (101)
45 # 8 ---> 16 (102)
29 # 9 ---> 8 (102)
6 # 17 ---> 9 (102)
25 # 25 ---> 17 (102)
26 # 24 ---> 25 (102)
45 # 16 ---> 24 (103)
45 # 24 ---> 32 (104)
25 # 17 ---> 16 (103)
26 # 25 ---> 17 (103)
5 # 33 ---> 25 (103)
33 # 41 ---> 33 (103)
16 # 40 ---> 41 (103)
45 # 32 ---> 40 (105)
33 # 33 ---> 32 (105)
16 # 41 ---> 33 (105)
2 # 48 ---> 49 (101)
45 # 40 ---> 48 (106)
2 # 49 ---> 41 (105)
45 # 48 ---> 49 (107)
3 # 56 ---> 48 (107)
45 # 49 ---> 57 (108)
25 # 16 ---> 24 (104)
29 # 8 ---> 16 (104)
14 # 1 ---> 8 (104)
35 # 0 ---> 1 (104)
6 # 9 ---> 0 (104)
26 # 17 ---> 9 (104)
29 # 16 ---> 17 (105)
14 # 8 ---> 16 (105)
26 # 9 ---> 8 (105)
29 # 17 ---> 9 (106)
5 # 25 ---> 17 (106)
25 # 24 ---> 25 (106)
14 # 16 ---> 24 (106)
5 # 17 ---> 16 (107)
25 # 25 ---> 17 (107)
16 # 33 ---> 25 (107)
33 # 32 ---> 33 (107)
14 # 24 ---> 32 (107)
14 # 32 ---> 40 (108)
33 # 33 ---> 32 (108)
2 # 41 ---> 33 (108)
14 # 40 ---> 41 (109)
3 # 48 ---> 40 (109)
14 # 41 ---> 49 (110)
3 # 40 ---> 41 (110)
33 # 32 ---> 40 (110)
2 # 33 ---> 32 (110)
3 # 41 ---> 33 (111)
33 # 40 ---> 41 (111)
2 # 32 ---> 40 (111)
3 # 33 ---> 32 (112)
33 # 41 ---> 33 (112)
2 # 40 ---> 41 (112)
14 # 49 ---> 48 (111)
2 # 41 ---> 49 (113)
16 # 25 ---> 24 (108)
48 # 12 ---> 13 (97)
52 # 11 ---> 12 (99)
18 # 10 ---> 11 (101)
29 # 9 ---> 10 (107)
26 # 8 ---> 9 (107)
5 # 16 ---> 8 (108)
16 # 24 ---> 16 (109)
33 # 33 ---> 25 (113)
3 # 32 ---> 33 (113)
33 # 25 ---> 24 (114)
3 # 33 ---> 25 (114)
32 # 6 ---> 14 (91)
9 # 5 ---> 6 (93)
1 # 4 ---> 5 (98)
52 # 12 ---> 4 (100)
48 # 13 ---> 12 (100)
1 # 5 ---> 13 (100)
52 # 4 ---> 5 (101)
7 # 3 ---> 4 (101)
18 # 11 ---> 3 (102)
48 # 12 ---> 11 (102)
7 # 4 ---> 12 (102)
18 # 3 ---> 4 (103)
44 # 2 ---> 3 (103)
29 # 10 ---> 2 (108)
48 # 11 ---> 10 (108)
44 # 3 ---> 11 (108)
29 # 2 ---> 3 (109)
6 # 0 ---> 2 (109)
26 # 9 ---> 0 (109)
48 # 10 ---> 9 (109)
6 # 2 ---> 10 (110)
26 # 0 ---> 2 (110)
35 # 1 ---> 0 (110)
5 # 8 ---> 1 (110)
48 # 9 ---> 8 (110)
25 # 17 ---> 9 (110)
16 # 16 ---> 17 (110)
48 # 8 ---> 16 (111)
25 # 9 ---> 8 (111)
16 # 17 ---> 9 (111)
3 # 25 ---> 17 (115)
33 # 24 ---> 25 (115)
48 # 16 ---> 24 (115)
48 # 24 ---> 32 (116)
48 # 32 ---> 33 (117)
48 # 33 ---> 41 (118)
9 # 6 ---> 7 (94)
32 # 14 ---> 6 (94)
9 # 7 ---> 15 (95)
32 # 6 ---> 7 (95)
52 # 5 ---> 6 (102)
1 # 13 ---> 5 (102)
52 # 6 ---> 14 (103)
1 # 5 ---> 6 (103)
18 # 4 ---> 5 (104)
7 # 12 ---> 4 (104)
18 # 5 ---> 13 (105)
7 # 4 ---> 5 (105)
29 # 3 ---> 4 (110)
44 # 11 ---> 3 (110)
29 # 4 ---> 12 (111)
44 # 3 ---> 4 (111)
26 # 2 ---> 3 (111)
6 # 10 ---> 2 (111)
26 # 3 ---> 11 (112)
6 # 2 ---> 3 (112)
35 # 0 ---> 2 (112)
16 # 9 ---> 0 (112)
35 # 2 ---> 10 (113)
16 # 0 ---> 2 (113)
5 # 1 ---> 0 (113)
25 # 8 ---> 1 (113)
3 # 17 ---> 9 (116)
33 # 25 ---> 17 (116)
3 # 9 ---> 8 (117)
35 # 10 ---> 9 (117)
26 # 11 ---> 10 (117)
29 # 12 ---> 11 (117)
18 # 13 ---> 12 (117)
52 # 14 ---> 13 (117)
1 # 6 ---> 14 (117)
32 # 7 ---> 6 (117)
9 # 15 ---> 7 (117)
1 # 14 ---> 15 (118)
52 # 13 ---> 14 (118)
7 # 5 ---> 13 (118)
32 # 6 ---> 5 (118)
52 # 14 ---> 6 (119)
7 # 13 ---> 14 (119)
18 # 12 ---> 13 (119)
44 # 4 ---> 12 (119)
32 # 5 ---> 4 (119)
18 # 13 ---> 5 (120)
44 # 12 ---> 13 (120)
29 # 11 ---> 12 (120)
6 # 3 ---> 11 (120)
32 # 4 ---> 3 (120)
29 # 12 ---> 4 (121)
6 # 11 ---> 12 (121)
26 # 10 ---> 11 (121)
16 # 2 ---> 10 (121)
32 # 3 ---> 2 (121)
26 # 11 ---> 3 (122)
16 # 10 ---> 11 (122)
35 # 9 ---> 10 (122)
5 # 0 ---> 9 (122)
32 # 2 ---> 0 (122)
35 # 10 ---> 2 (123)
5 # 9 ---> 10 (123)
3 # 8 ---> 9 (123)
25 # 1 ---> 8 (123)
32 # 0 ---> 1 (123)
3 # 9 ---> 0 (124)
25 # 8 ---> 9 (124)
32 # 1 ---> 8 (124)
32 # 8 ---> 16 (125)
32 # 16 ---> 24 (126)
32 # 24 ---> 25 (127)
32 # 25 ---> 33 (128)
3 # 0 ---> 1 (125)
35 # 2 ---> 0 (125)
26 # 3 ---> 2 (125)
29 # 4 ---> 3 (125)
18 # 5 ---> 4 (125)
52 # 6 ---> 5 (125)
9 # 7 ---> 6 (125)
1 # 15 ---> 7 (125)
7 # 14 ---> 15 (125)
44 # 13 ---> 14 (125)
52 # 5 ---> 13 (126)
9 # 6 ---> 5 (126)
44 # 14 ---> 6 (126)
52 # 13 ---> 14 (127)
6 # 12 ---> 13 (127)
18 # 4 ---> 12 (127)
9 # 5 ---> 4 (127)
6 # 13 ---> 5 (128)
18 # 12 ---> 13 (128)
16 # 11 ---> 12 (128)
29 # 3 ---> 11 (128)
9 # 4 ---> 3 (128)
16 # 12 ---> 4 (129)
29 # 11 ---> 12 (129)
5 # 10 ---> 11 (129)
26 # 2 ---> 10 (129)
9 # 3 ---> 2 (129)
5 # 11 ---> 3 (130)
26 # 10 ---> 11 (130)
25 # 9 ---> 10 (130)
35 # 0 ---> 9 (130)
9 # 2 ---> 0 (130)
25 # 10 ---> 2 (131)
35 # 9 ---> 10 (131)
3 # 1 ---> 8 (126)
9 # 0 ---> 1 (131)
3 # 8 ---> 9 (131)
9 # 1 ---> 8 (132)
9 # 8 ---> 16 (133)
3 # 9 ---> 0 (132)
33 # 17 ---> 9 (132)
9 # 16 ---> 17 (134)
9 # 17 ---> 25 (135)
33 # 9 ---> 8 (133)
35 # 10 ---> 9 (133)
26 # 11 ---> 10 (133)
29 # 12 ---> 11 (133)
16 # 4 ---> 12 (133)
5 # 3 ---> 4 (133)
25 # 2 ---> 3 (133)
26 # 10 ---> 2 (134)
29 # 11 ---> 10 (134)
25 # 3 ---> 11 (134)
26 # 2 ---> 3 (135)
3 # 0 ---> 2 (135)
35 # 9 ---> 0 (135)
29 # 10 ---> 9 (135)
3 # 2 ---> 10 (136)
33 # 8 ---> 1 (134)
29 # 9 ---> 8 (136)
29 # 8 ---> 16 (137)
29 # 16 ---> 17 (138)
9 # 25 ---> 24 (136)
29 # 17 ---> 25 (139)
26 # 3 ---> 2 (136)
5 # 4 ---> 3 (136)
16 # 12 ---> 4 (136)
18 # 13 ---> 12 (136)
52 # 14 ---> 13 (136)
44 # 6 ---> 14 (136)
6 # 5 ---> 6 (136)
52 # 13 ---> 5 (137)
44 # 14 ---> 13 (137)
6 # 6 ---> 14 (137)
1 # 7 ---> 6 (137)
7 # 15 ---> 7 (137)
6 # 14 ---> 15 (138)
1 # 6 ---> 14 (138)
7 # 7 ---> 6 (138)
6 # 15 ---> 7 (139)
1 # 14 ---> 15 (139)
7 # 6 ---> 14 (139)
52 # 5 ---> 6 (139)
44 # 13 ---> 5 (139)
7 # 14 ---> 13 (140)
35 # 0 ---> 9 (136)
26 # 2 ---> 0 (137)
5 # 3 ---> 2 (137)
16 # 4 ---> 3 (137)
44 # 5 ---> 4 (140)
1 # 15 ---> 14 (140)
7 # 13 ---> 5 (141)
1 # 14 ---> 13 (141)
52 # 6 ---> 14 (141)
7 # 5 ---> 6 (142)
1 # 13 ---> 5 (142)
52 # 14 ---> 13 (142)
7 # 6 ---> 14 (143)
7 # 14 ---> 15 (144)
1 # 5 ---> 6 (143)
33 # 1 ---> 8 (137)
26 # 0 ---> 1 (138)
35 # 9 ---> 0 (138)
3 # 10 ---> 9 (138)
5 # 2 ---> 10 (138)
35 # 0 ---> 2 (139)
3 # 9 ---> 0 (139)
5 # 10 ---> 9 (139)
25 # 11 ---> 10 (139)
16 # 3 ---> 11 (139)
35 # 2 ---> 3 (140)
25 # 10 ---> 2 (140)
16 # 11 ---> 10 (140)
18 # 12 ---> 11 (140)
44 # 4 ---> 12 (141)
35 # 3 ---> 4 (141)
35 # 4 ---> 5 (143)
44 # 12 ---> 4 (143)
52 # 13 ---> 12 (143)
35 # 5 ---> 13 (144)
1 # 6 ---> 5 (144)
35 # 13 ---> 14 (145)
25 # 2 ---> 3 (141)
3 # 0 ---> 2 (141)
26 # 1 ---> 0 (141)
33 # 8 ---> 1 (141)
5 # 9 ---> 8 (141)
26 # 0 ---> 9 (142)
33 # 1 ---> 0 (142)
5 # 8 ---> 1 (142)
26 # 9 ---> 8 (143)
16 # 10 ---> 9 (143)
3 # 2 ---> 10 (143)
33 # 0 ---> 2 (143)
16 # 9 ---> 0 (144)
3 # 10 ---> 9 (144)
18 # 11 ---> 10 (144)
25 # 3 ---> 11 (144)
33 # 2 ---> 3 (144)
18 # 10 ---> 2 (145)
25 # 11 ---> 10 (145)
52 # 12 ---> 11 (145)
44 # 4 ---> 12 (145)
33 # 3 ---> 4 (145)
52 # 11 ---> 3 (146)
44 # 12 ---> 11 (146)
1 # 5 ---> 13 (145)
33 # 4 ---> 5 (146)
1 # 13 ---> 12 (146)
33 # 5 ---> 13 (147)
35 # 14 ---> 6 (146)
33 # 13 ---> 14 (148)
52 # 3 ---> 4 (147)
18 # 2 ---> 3 (147)
16 # 0 ---> 2 (147)
3 # 9 ---> 0 (147)
25 # 10 ---> 9 (147)
44 # 11 ---> 10 (147)
18 # 3 ---> 11 (148)
16 # 2 ---> 3 (148)
44 # 10 ---> 2 (148)
18 # 11 ---> 10 (149)
1 # 12 ---> 11 (149)
52 # 4 ---> 12 (149)
16 # 3 ---> 4 (149)
1 # 11 ---> 3 (150)
52 # 12 ---> 11 (150)
16 # 4 ---> 12 (150)
16 # 12 ---> 13 (151)
1 # 3 ---> 4 (151)
44 # 2 ---> 3 (151)
18 # 10 ---> 2 (151)
52 # 11 ---> 10 (151)
44 # 3 ---> 11 (152)
18 # 2 ---> 3 (152)
52 # 10 ---> 2 (152)
44 # 11 ---> 10 (153)
1 # 4 ---> 12 (152)
18 # 3 ---> 4 (153)
1 # 12 ---> 11 (153)
18 # 4 ---> 12 (154)
16 # 13 ---> 5 (152)
18 # 12 ---> 13 (155)
52 # 2 ---> 3 (153)
3 # 0 ---> 2 (153)
5 # 1 ---> 0 (153)
26 # 8 ---> 1 (153)
25 # 9 ---> 8 (153)
5 # 0 ---> 9 (154)
26 # 1 ---> 0 (154)
25 # 8 ---> 1 (154)
5 # 9 ---> 8 (155)
44 # 10 ---> 9 (155)
3 # 2 ---> 10 (155)
26 # 0 ---> 2 (155)
44 # 9 ---> 0 (156)
3 # 10 ---> 9 (156)
1 # 11 ---> 10 (156)
52 # 3 ---> 11 (156)
26 # 2 ---> 3 (156)
1 # 10 ---> 2 (157)
52 # 11 ---> 10 (157)
26 # 3 ---> 11 (157)
26 # 11 ---> 12 (158)
52 # 10 ---> 11 (158)
3 # 9 ---> 10 (158)
44 # 0 ---> 9 (158)
25 # 1 ---> 0 (158)
5 # 8 ---> 1 (158)
44 # 9 ---> 8 (159)
25 # 0 ---> 9 (159)
5 # 1 ---> 0 (159)
44 # 8 ---> 1 (160)
25 # 9 ---> 8 (160)
3 # 10 ---> 9 (160)
1 # 2 ---> 10 (160)
5 # 0 ---> 2 (160)
5 # 2 ---> 3 (161)
1 # 10 ---> 2 (161)
52 # 11 ---> 10 (161)
5 # 3 ---> 11 (162)
26 # 12 ---> 4 (159)
5 # 11 ---> 12 (163)
3 # 9 ---> 0 (161)
1 # 2 ---> 3 (162)
3 # 0 ---> 2 (162)
52 # 10 ---> 9 (162)
3 # 2 ---> 10 (163)
44 # 1 ---> 0 (162)
25 # 8 ---> 1 (162)
52 # 9 ---> 8 (163)
44 # 0 ---> 9 (163)
25 # 1 ---> 0 (163)
25 # 0 ---> 2 (164)
44 # 9 ---> 0 (164)
3 # 10 ---> 9 (164)
25 # 2 ---> 10 (165)
1 # 3 ---> 2 (165)
25 # 10 ---> 11 (166)
44 # 0 ---> 1 (165)
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 = 0x7fffb4597410, target = 0x139ee70)
        Arc: (edge = 0x7fffb4597410, target = 0x139ee50)
    ]
    Edge  1 <-> 8 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ef50)
        Arc: (edge = 0x7fffb4597410, target = 0x139ee70)
    ]
    Edge  2 <-> 0 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ee50)
        Arc: (edge = 0x7fffb4597410, target = 0x139ee90)
    ]
    Edge  3 <-> 2 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ee90)
        Arc: (edge = 0x7fffb4597410, target = 0x139eeb0)
    ]
    Edge  4 <-> 3 [
        Arc: (edge = 0x7fffb4597410, target = 0x139eeb0)
        Arc: (edge = 0x7fffb4597410, target = 0x139eed0)
    ]
    Edge  5 <-> 4 [
        Arc: (edge = 0x7fffb4597410, target = 0x139eed0)
        Arc: (edge = 0x7fffb4597410, target = 0x139eef0)
    ]
    Edge  6 <-> 5 [
        Arc: (edge = 0x7fffb4597410, target = 0x139eef0)
        Arc: (edge = 0x7fffb4597410, target = 0x139ef10)
    ]
    Edge  7 <-> 6 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ef10)
        Arc: (edge = 0x7fffb4597410, target = 0x139ef30)
    ]
    Edge  8 <-> 9 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ef70)
        Arc: (edge = 0x7fffb4597410, target = 0x139ef50)
    ]
    Edge  8 <-> 16 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f050)
        Arc: (edge = 0x7fffb4597410, target = 0x139ef50)
    ]
    Edge  9 <-> 0 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ee50)
        Arc: (edge = 0x7fffb4597410, target = 0x139ef70)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ef90)
        Arc: (edge = 0x7fffb4597410, target = 0x139ef70)
    ]
    Edge  10 <-> 2 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ee90)
        Arc: (edge = 0x7fffb4597410, target = 0x139ef90)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fffb4597410, target = 0x139efb0)
        Arc: (edge = 0x7fffb4597410, target = 0x139ef90)
    ]
    Edge  10 <-> 18 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f090)
        Arc: (edge = 0x7fffb4597410, target = 0x139ef90)
    ]
    Edge  11 <-> 3 [
        Arc: (edge = 0x7fffb4597410, target = 0x139eeb0)
        Arc: (edge = 0x7fffb4597410, target = 0x139efb0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fffb4597410, target = 0x139efd0)
        Arc: (edge = 0x7fffb4597410, target = 0x139efb0)
    ]
    Edge  11 <-> 19 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f0b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139efb0)
    ]
    Edge  12 <-> 4 [
        Arc: (edge = 0x7fffb4597410, target = 0x139eed0)
        Arc: (edge = 0x7fffb4597410, target = 0x139efd0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fffb4597410, target = 0x139eff0)
        Arc: (edge = 0x7fffb4597410, target = 0x139efd0)
    ]
    Edge  12 <-> 20 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f0d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139efd0)
    ]
    Edge  13 <-> 5 [
        Arc: (edge = 0x7fffb4597410, target = 0x139eef0)
        Arc: (edge = 0x7fffb4597410, target = 0x139eff0)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f010)
        Arc: (edge = 0x7fffb4597410, target = 0x139eff0)
    ]
    Edge  13 <-> 21 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f0f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139eff0)
    ]
    Edge  14 <-> 6 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ef10)
        Arc: (edge = 0x7fffb4597410, target = 0x139f010)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f030)
        Arc: (edge = 0x7fffb4597410, target = 0x139f010)
    ]
    Edge  14 <-> 22 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f110)
        Arc: (edge = 0x7fffb4597410, target = 0x139f010)
    ]
    Edge  15 <-> 7 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ef30)
        Arc: (edge = 0x7fffb4597410, target = 0x139f030)
    ]
    Edge  15 <-> 23 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f130)
        Arc: (edge = 0x7fffb4597410, target = 0x139f030)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f070)
        Arc: (edge = 0x7fffb4597410, target = 0x139f050)
    ]
    Edge  16 <-> 24 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f150)
        Arc: (edge = 0x7fffb4597410, target = 0x139f050)
    ]
    Edge  17 <-> 9 [
        Arc: (edge = 0x7fffb4597410, target = 0x139ef70)
        Arc: (edge = 0x7fffb4597410, target = 0x139f070)
    ]
    Edge  18 <-> 17 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f070)
        Arc: (edge = 0x7fffb4597410, target = 0x139f090)
    ]
    Edge  18 <-> 26 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f190)
        Arc: (edge = 0x7fffb4597410, target = 0x139f090)
    ]
    Edge  19 <-> 18 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f090)
        Arc: (edge = 0x7fffb4597410, target = 0x139f0b0)
    ]
    Edge  19 <-> 27 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f1b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f0b0)
    ]
    Edge  20 <-> 19 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f0b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f0d0)
    ]
    Edge  20 <-> 28 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f1d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f0d0)
    ]
    Edge  21 <-> 20 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f0d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f0f0)
    ]
    Edge  21 <-> 29 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f1f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f0f0)
    ]
    Edge  22 <-> 21 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f0f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f110)
    ]
    Edge  22 <-> 30 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f210)
        Arc: (edge = 0x7fffb4597410, target = 0x139f110)
    ]
    Edge  23 <-> 22 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f110)
        Arc: (edge = 0x7fffb4597410, target = 0x139f130)
    ]
    Edge  23 <-> 31 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f230)
        Arc: (edge = 0x7fffb4597410, target = 0x139f130)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f170)
        Arc: (edge = 0x7fffb4597410, target = 0x139f150)
    ]
    Edge  24 <-> 32 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f250)
        Arc: (edge = 0x7fffb4597410, target = 0x139f150)
    ]
    Edge  25 <-> 17 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f070)
        Arc: (edge = 0x7fffb4597410, target = 0x139f170)
    ]
    Edge  26 <-> 25 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f170)
        Arc: (edge = 0x7fffb4597410, target = 0x139f190)
    ]
    Edge  26 <-> 34 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f290)
        Arc: (edge = 0x7fffb4597410, target = 0x139f190)
    ]
    Edge  27 <-> 26 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f190)
        Arc: (edge = 0x7fffb4597410, target = 0x139f1b0)
    ]
    Edge  27 <-> 35 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f2b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f1b0)
    ]
    Edge  28 <-> 27 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f1b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f1d0)
    ]
    Edge  28 <-> 36 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f2d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f1d0)
    ]
    Edge  29 <-> 28 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f1d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f1f0)
    ]
    Edge  29 <-> 37 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f2f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f1f0)
    ]
    Edge  30 <-> 29 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f1f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f210)
    ]
    Edge  30 <-> 38 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f310)
        Arc: (edge = 0x7fffb4597410, target = 0x139f210)
    ]
    Edge  31 <-> 30 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f210)
        Arc: (edge = 0x7fffb4597410, target = 0x139f230)
    ]
    Edge  31 <-> 39 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f330)
        Arc: (edge = 0x7fffb4597410, target = 0x139f230)
    ]
    Edge  32 <-> 33 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f270)
        Arc: (edge = 0x7fffb4597410, target = 0x139f250)
    ]
    Edge  32 <-> 40 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f350)
        Arc: (edge = 0x7fffb4597410, target = 0x139f250)
    ]
    Edge  33 <-> 25 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f170)
        Arc: (edge = 0x7fffb4597410, target = 0x139f270)
    ]
    Edge  34 <-> 33 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f270)
        Arc: (edge = 0x7fffb4597410, target = 0x139f290)
    ]
    Edge  34 <-> 42 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f390)
        Arc: (edge = 0x7fffb4597410, target = 0x139f290)
    ]
    Edge  35 <-> 34 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f290)
        Arc: (edge = 0x7fffb4597410, target = 0x139f2b0)
    ]
    Edge  35 <-> 43 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f3b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f2b0)
    ]
    Edge  36 <-> 35 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f2b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f2d0)
    ]
    Edge  36 <-> 44 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f3d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f2d0)
    ]
    Edge  37 <-> 36 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f2d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f2f0)
    ]
    Edge  37 <-> 45 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f3f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f2f0)
    ]
    Edge  38 <-> 37 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f2f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f310)
    ]
    Edge  38 <-> 46 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f410)
        Arc: (edge = 0x7fffb4597410, target = 0x139f310)
    ]
    Edge  39 <-> 38 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f310)
        Arc: (edge = 0x7fffb4597410, target = 0x139f330)
    ]
    Edge  39 <-> 47 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f430)
        Arc: (edge = 0x7fffb4597410, target = 0x139f330)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f370)
        Arc: (edge = 0x7fffb4597410, target = 0x139f350)
    ]
    Edge  40 <-> 48 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f450)
        Arc: (edge = 0x7fffb4597410, target = 0x139f350)
    ]
    Edge  41 <-> 33 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f270)
        Arc: (edge = 0x7fffb4597410, target = 0x139f370)
    ]
    Edge  42 <-> 41 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f370)
        Arc: (edge = 0x7fffb4597410, target = 0x139f390)
    ]
    Edge  42 <-> 50 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f490)
        Arc: (edge = 0x7fffb4597410, target = 0x139f390)
    ]
    Edge  43 <-> 42 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f390)
        Arc: (edge = 0x7fffb4597410, target = 0x139f3b0)
    ]
    Edge  43 <-> 51 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f4b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f3b0)
    ]
    Edge  44 <-> 43 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f3b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f3d0)
    ]
    Edge  44 <-> 52 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f4d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f3d0)
    ]
    Edge  45 <-> 44 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f3d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f3f0)
    ]
    Edge  45 <-> 53 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f4f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f3f0)
    ]
    Edge  46 <-> 45 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f3f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f410)
    ]
    Edge  46 <-> 54 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f510)
        Arc: (edge = 0x7fffb4597410, target = 0x139f410)
    ]
    Edge  47 <-> 46 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f410)
        Arc: (edge = 0x7fffb4597410, target = 0x139f430)
    ]
    Edge  47 <-> 55 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f530)
        Arc: (edge = 0x7fffb4597410, target = 0x139f430)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f470)
        Arc: (edge = 0x7fffb4597410, target = 0x139f450)
    ]
    Edge  48 <-> 56 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f550)
        Arc: (edge = 0x7fffb4597410, target = 0x139f450)
    ]
    Edge  49 <-> 41 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f370)
        Arc: (edge = 0x7fffb4597410, target = 0x139f470)
    ]
    Edge  50 <-> 49 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f470)
        Arc: (edge = 0x7fffb4597410, target = 0x139f490)
    ]
    Edge  50 <-> 58 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f590)
        Arc: (edge = 0x7fffb4597410, target = 0x139f490)
    ]
    Edge  51 <-> 50 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f490)
        Arc: (edge = 0x7fffb4597410, target = 0x139f4b0)
    ]
    Edge  51 <-> 59 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f5b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f4b0)
    ]
    Edge  52 <-> 51 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f4b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f4d0)
    ]
    Edge  52 <-> 60 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f5d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f4d0)
    ]
    Edge  53 <-> 52 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f4d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f4f0)
    ]
    Edge  53 <-> 61 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f5f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f4f0)
    ]
    Edge  54 <-> 53 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f4f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f510)
    ]
    Edge  54 <-> 62 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f610)
        Arc: (edge = 0x7fffb4597410, target = 0x139f510)
    ]
    Edge  55 <-> 54 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f510)
        Arc: (edge = 0x7fffb4597410, target = 0x139f530)
    ]
    Edge  55 <-> 63 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f630)
        Arc: (edge = 0x7fffb4597410, target = 0x139f530)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f570)
        Arc: (edge = 0x7fffb4597410, target = 0x139f550)
    ]
    Edge  57 <-> 49 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f470)
        Arc: (edge = 0x7fffb4597410, target = 0x139f570)
    ]
    Edge  58 <-> 57 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f570)
        Arc: (edge = 0x7fffb4597410, target = 0x139f590)
    ]
    Edge  59 <-> 58 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f590)
        Arc: (edge = 0x7fffb4597410, target = 0x139f5b0)
    ]
    Edge  60 <-> 59 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f5b0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f5d0)
    ]
    Edge  61 <-> 60 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f5d0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f5f0)
    ]
    Edge  62 <-> 61 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f5f0)
        Arc: (edge = 0x7fffb4597410, target = 0x139f610)
    ]
    Edge  63 <-> 62 [
        Arc: (edge = 0x7fffb4597410, target = 0x139f610)
        Arc: (edge = 0x7fffb4597410, target = 0x139f630)
    ]
]
Robot arrangement: (|R| = 52, |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 26#9 27#59 28#37 29#58 30#26 31#20 32#53 33#27 34#25 35#61 36#11 37#34 38#19 39#54 40#17 41#7 42#45 43#13 44#2 45#46 46#15 47#63 48#52 49#55 50#3 51#12 52#35 }
     vertex occupancy: {0#0 13#1 44#2 50#3 0#4 0#5 1#6 41#7 0#8 26#9 7#10 36#11 51#12 43#13 0#14 46#15 6#16 40#17 14#18 38#19 31#20 0#21 21#22 0#23 5#24 34#25 30#26 33#27 18#28 0#29 12#30 4#31 0#32 15#33 37#34 52#35 0#36 28#37 0#38 22#39 16#40 2#41 0#42 17#43 3#44 42#45 45#46 19#47 20#48 8#49 24#50 25#51 48#52 32#53 39#54 49#55 10#56 11#57 29#58 27#59 9#60 35#61 23#62 47#63 }
]
Robot arrangement: (|R| = 52, |V| = 64) [
     robot locations: {1#2 2#49 3#9 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 26#4 27#21 28#50 29#25 30#37 31#62 32#33 33#14 34#35 35#6 36#28 37#31 38#46 39#36 40#30 41#59 42#45 43#38 44#1 45#57 46#18 47#44 48#41 49#22 50#53 51#42 52#8 }
     vertex occupancy: {0#0 44#1 1#2 0#3 26#4 16#5 35#6 6#7 52#8 3#9 0#10 25#11 5#12 18#13 33#14 7#15 0#16 0#17 46#18 8#19 15#20 27#21 49#22 11#23 9#24 29#25 21#26 19#27 36#28 17#29 40#30 37#31 0#32 32#33 4#34 34#35 39#36 30#37 43#38 0#39 0#40 48#41 51#42 20#43 47#44 42#45 38#46 10#47 14#48 2#49 28#50 0#51 13#52 50#53 12#54 0#55 0#56 45#57 22#58 41#59 23#60 0#61 31#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                = 1142
            Produced CNF variables         = 0
            Produced CNF clauses           = 0
            Search steps                   = 0
            Wall clock TIME (seconds)      = 0.004
            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                   = 6
                Wall clock TIME (seconds)      = 0.000
                CPU/machine TIME (seconds)     = 0.000
            ]
        }
]
----------------------------------------------------------------