================================================================
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:1451
4 # 31 ---> 23 (0)
22 # 39 ---> 31 (0)
19 # 47 ---> 39 (0)
49 # 55 ---> 47 (0)
39 # 54 ---> 55 (0)
32 # 53 ---> 54 (0)
48 # 52 ---> 53 (0)
25 # 51 ---> 52 (0)
24 # 50 ---> 51 (0)
55 # 42 ---> 50 (0)
17 # 43 ---> 42 (0)
3 # 44 ---> 43 (0)
25 # 52 ---> 44 (1)
24 # 51 ---> 52 (1)
3 # 43 ---> 51 (1)
25 # 44 ---> 43 (2)
42 # 45 ---> 44 (2)
48 # 53 ---> 45 (2)
24 # 52 ---> 53 (2)
42 # 44 ---> 52 (3)
48 # 45 ---> 44 (3)
45 # 46 ---> 45 (3)
32 # 54 ---> 46 (3)
24 # 53 ---> 54 (3)
45 # 45 ---> 53 (4)
32 # 46 ---> 45 (4)
49 # 47 ---> 46 (4)
39 # 55 ---> 47 (4)
24 # 54 ---> 55 (4)
23 # 62 ---> 54 (4)
47 # 63 ---> 62 (4)
24 # 55 ---> 63 (5)
23 # 54 ---> 55 (5)
47 # 62 ---> 54 (5)
12 # 30 ---> 29 (0)
22 # 31 ---> 30 (1)
19 # 39 ---> 31 (1)
39 # 47 ---> 39 (5)
49 # 46 ---> 47 (5)
47 # 54 ---> 46 (6)
35 # 61 ---> 62 (5)
45 # 53 ---> 61 (5)
32 # 45 ---> 53 (5)
47 # 46 ---> 45 (7)
32 # 53 ---> 54 (6)
47 # 45 ---> 53 (8)
28 # 37 ---> 45 (8)
56 # 38 ---> 37 (8)
39 # 39 ---> 38 (8)
49 # 47 ---> 39 (8)
32 # 54 ---> 46 (7)
23 # 55 ---> 54 (7)
32 # 46 ---> 47 (8)
39 # 38 ---> 46 (9)
49 # 39 ---> 38 (9)
26 # 9 ---> 0 (0)
40 # 17 ---> 9 (0)
34 # 25 ---> 17 (0)
15 # 33 ---> 25 (0)
2 # 41 ---> 33 (0)
8 # 49 ---> 41 (0)
20 # 48 ---> 49 (0)
10 # 56 ---> 48 (0)
11 # 57 ---> 56 (0)
20 # 49 ---> 57 (1)
8 # 41 ---> 49 (1)
16 # 40 ---> 41 (1)
10 # 48 ---> 40 (1)
8 # 49 ---> 48 (2)
16 # 41 ---> 49 (2)
2 # 33 ---> 41 (2)
59 # 32 ---> 33 (2)
10 # 40 ---> 32 (2)
2 # 41 ---> 40 (3)
59 # 33 ---> 41 (3)
10 # 32 ---> 33 (3)
5 # 24 ---> 32 (3)
15 # 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)
33 # 26 ---> 34 (5)
52 # 27 ---> 26 (5)
18 # 28 ---> 27 (5)
53 # 36 ---> 28 (5)
10 # 35 ---> 36 (6)
18 # 27 ---> 35 (6)
53 # 28 ---> 27 (6)
12 # 29 ---> 28 (6)
56 # 37 ---> 29 (9)
10 # 36 ---> 37 (9)
12 # 28 ---> 36 (9)
56 # 29 ---> 28 (10)
22 # 30 ---> 29 (10)
49 # 38 ---> 30 (10)
10 # 37 ---> 38 (10)
10 # 38 ---> 39 (11)
39 # 46 ---> 38 (11)
32 # 47 ---> 46 (11)
10 # 39 ---> 47 (12)
22 # 29 ---> 37 (11)
49 # 30 ---> 29 (11)
19 # 31 ---> 30 (11)
50 # 3 ---> 4 (0)
44 # 2 ---> 3 (0)
26 # 0 ---> 2 (1)
40 # 9 ---> 0 (1)
54 # 8 ---> 9 (1)
13 # 1 ---> 8 (1)
40 # 0 ---> 1 (2)
26 # 2 ---> 0 (2)
7 # 10 ---> 2 (2)
54 # 9 ---> 10 (2)
26 # 0 ---> 9 (3)
7 # 2 ---> 0 (3)
44 # 3 ---> 2 (3)
36 # 11 ---> 3 (3)
54 # 10 ---> 11 (3)
44 # 2 ---> 10 (4)
36 # 3 ---> 2 (4)
50 # 4 ---> 3 (4)
51 # 12 ---> 4 (4)
54 # 11 ---> 12 (4)
50 # 3 ---> 11 (5)
51 # 4 ---> 3 (5)
43 # 13 ---> 5 (0)
54 # 12 ---> 13 (5)
43 # 5 ---> 4 (5)
1 # 6 ---> 5 (5)
57 # 14 ---> 6 (5)
54 # 13 ---> 14 (6)
1 # 5 ---> 13 (6)
57 # 6 ---> 5 (6)
41 # 7 ---> 6 (6)
46 # 15 ---> 7 (6)
54 # 14 ---> 15 (7)
21 # 22 ---> 14 (7)
4 # 23 ---> 22 (7)
54 # 15 ---> 23 (8)
54 # 23 ---> 31 (11)
54 # 31 ---> 39 (12)
19 # 30 ---> 31 (12)
39 # 38 ---> 30 (12)
50 # 11 ---> 12 (6)
44 # 10 ---> 11 (6)
26 # 9 ---> 10 (6)
34 # 17 ---> 9 (6)
37 # 25 ---> 17 (6)
52 # 26 ---> 25 (6)
14 # 18 ---> 26 (6)
37 # 17 ---> 18 (7)
34 # 9 ---> 17 (7)
26 # 10 ---> 9 (7)
44 # 11 ---> 10 (7)
38 # 19 ---> 11 (7)
37 # 18 ---> 19 (8)
44 # 10 ---> 18 (8)
38 # 11 ---> 10 (8)
50 # 12 ---> 11 (8)
31 # 20 ---> 12 (8)
37 # 19 ---> 20 (9)
50 # 11 ---> 19 (9)
31 # 12 ---> 11 (9)
1 # 13 ---> 12 (9)
58 # 21 ---> 13 (9)
37 # 20 ---> 21 (10)
1 # 12 ---> 20 (10)
58 # 13 ---> 12 (10)
21 # 14 ---> 13 (10)
4 # 22 ---> 14 (10)
37 # 21 ---> 22 (11)
37 # 22 ---> 23 (12)
39 # 30 ---> 22 (13)
19 # 31 ---> 30 (13)
37 # 23 ---> 31 (13)
39 # 22 ---> 23 (14)
19 # 30 ---> 22 (14)
22 # 37 ---> 38 (12)
12 # 36 ---> 37 (12)
18 # 35 ---> 36 (12)
33 # 34 ---> 35 (12)
30 # 33 ---> 34 (12)
59 # 41 ---> 33 (12)
16 # 49 ---> 41 (12)
8 # 48 ---> 49 (12)
11 # 56 ---> 48 (12)
20 # 57 ---> 56 (12)
8 # 49 ---> 57 (13)
16 # 41 ---> 49 (13)
2 # 40 ---> 41 (13)
11 # 48 ---> 40 (13)
16 # 49 ---> 48 (14)
2 # 41 ---> 49 (14)
59 # 33 ---> 41 (14)
5 # 32 ---> 33 (14)
11 # 40 ---> 32 (14)
59 # 41 ---> 40 (15)
5 # 33 ---> 41 (15)
52 # 25 ---> 33 (15)
15 # 24 ---> 25 (15)
11 # 32 ---> 24 (15)
52 # 33 ---> 32 (16)
15 # 25 ---> 33 (16)
34 # 17 ---> 25 (16)
6 # 16 ---> 17 (16)
11 # 24 ---> 16 (16)
34 # 25 ---> 24 (17)
6 # 17 ---> 25 (17)
26 # 9 ---> 17 (17)
13 # 8 ---> 9 (17)
11 # 16 ---> 8 (17)
26 # 17 ---> 16 (18)
13 # 9 ---> 17 (18)
11 # 8 ---> 9 (18)
40 # 1 ---> 8 (18)
7 # 0 ---> 1 (18)
36 # 2 ---> 0 (18)
38 # 10 ---> 2 (18)
11 # 9 ---> 10 (19)
36 # 0 ---> 9 (19)
38 # 2 ---> 0 (19)
51 # 3 ---> 2 (19)
31 # 11 ---> 3 (19)
11 # 10 ---> 11 (20)
51 # 2 ---> 10 (20)
31 # 3 ---> 2 (20)
43 # 4 ---> 3 (20)
58 # 12 ---> 4 (20)
11 # 11 ---> 12 (21)
43 # 3 ---> 11 (21)
58 # 4 ---> 3 (21)
57 # 5 ---> 4 (21)
21 # 13 ---> 5 (21)
11 # 12 ---> 13 (22)
57 # 4 ---> 12 (22)
21 # 5 ---> 4 (22)
41 # 6 ---> 5 (22)
4 # 14 ---> 6 (22)
11 # 13 ---> 14 (23)
11 # 14 ---> 15 (24)
19 # 22 ---> 14 (24)
39 # 23 ---> 22 (24)
11 # 15 ---> 23 (25)
19 # 14 ---> 15 (25)
39 # 22 ---> 14 (25)
22 # 38 ---> 30 (14)
32 # 46 ---> 38 (14)
23 # 54 ---> 46 (14)
57 # 12 ---> 13 (23)
43 # 11 ---> 12 (23)
58 # 3 ---> 11 (23)
31 # 2 ---> 3 (23)
51 # 10 ---> 2 (23)
58 # 11 ---> 10 (24)
43 # 12 ---> 11 (24)
21 # 4 ---> 12 (24)
31 # 3 ---> 4 (24)
43 # 11 ---> 3 (25)
21 # 12 ---> 11 (25)
57 # 13 ---> 12 (25)
41 # 5 ---> 13 (25)
31 # 4 ---> 5 (25)
57 # 12 ---> 4 (26)
41 # 13 ---> 12 (26)
39 # 14 ---> 13 (26)
4 # 6 ---> 14 (26)
31 # 5 ---> 6 (26)
39 # 13 ---> 5 (27)
4 # 14 ---> 13 (27)
31 # 6 ---> 14 (27)
31 # 14 ---> 22 (28)
39 # 5 ---> 6 (28)
4 # 13 ---> 5 (28)
49 # 29 ---> 21 (12)
22 # 30 ---> 29 (15)
31 # 22 ---> 30 (29)
49 # 21 ---> 22 (29)
22 # 29 ---> 21 (29)
12 # 37 ---> 29 (29)
32 # 38 ---> 37 (29)
31 # 30 ---> 38 (30)
12 # 29 ---> 30 (30)
32 # 37 ---> 29 (30)
28 # 45 ---> 37 (30)
23 # 46 ---> 45 (30)
31 # 38 ---> 46 (31)
31 # 46 ---> 54 (32)
23 # 45 ---> 46 (32)
47 # 53 ---> 45 (32)
45 # 61 ---> 53 (32)
35 # 62 ---> 61 (32)
31 # 54 ---> 62 (33)
23 # 46 ---> 38 (33)
22 # 21 ---> 13 (30)
32 # 29 ---> 21 (31)
28 # 37 ---> 29 (31)
23 # 38 ---> 37 (34)
12 # 30 ---> 38 (34)
12 # 38 ---> 46 (35)
12 # 46 ---> 54 (36)
22 # 13 ---> 14 (31)
41 # 12 ---> 13 (31)
21 # 11 ---> 12 (31)
58 # 10 ---> 11 (31)
51 # 2 ---> 10 (31)
38 # 0 ---> 2 (31)
36 # 9 ---> 0 (31)
51 # 10 ---> 9 (32)
58 # 11 ---> 10 (32)
43 # 3 ---> 11 (32)
38 # 2 ---> 3 (32)
58 # 10 ---> 2 (33)
43 # 11 ---> 10 (33)
21 # 12 ---> 11 (33)
57 # 4 ---> 12 (33)
38 # 3 ---> 4 (33)
21 # 11 ---> 3 (34)
57 # 12 ---> 11 (34)
41 # 13 ---> 12 (34)
4 # 5 ---> 13 (34)
38 # 4 ---> 5 (34)
41 # 12 ---> 4 (35)
4 # 13 ---> 12 (35)
22 # 14 ---> 13 (35)
39 # 6 ---> 14 (35)
38 # 5 ---> 6 (35)
22 # 13 ---> 5 (36)
39 # 14 ---> 13 (36)
38 # 6 ---> 14 (36)
22 # 5 ---> 6 (37)
39 # 13 ---> 5 (37)
32 # 21 ---> 13 (37)
49 # 22 ---> 21 (37)
38 # 14 ---> 22 (37)
38 # 22 ---> 30 (38)
38 # 30 ---> 38 (39)
38 # 38 ---> 46 (40)
32 # 13 ---> 14 (38)
4 # 12 ---> 13 (38)
57 # 11 ---> 12 (38)
43 # 10 ---> 11 (38)
58 # 2 ---> 10 (38)
21 # 3 ---> 2 (38)
41 # 4 ---> 3 (38)
57 # 12 ---> 4 (39)
43 # 11 ---> 12 (39)
41 # 3 ---> 11 (39)
57 # 4 ---> 3 (40)
39 # 5 ---> 4 (40)
4 # 13 ---> 5 (40)
43 # 12 ---> 13 (40)
39 # 4 ---> 12 (41)
4 # 5 ---> 4 (41)
22 # 6 ---> 5 (41)
32 # 14 ---> 6 (41)
43 # 13 ---> 14 (41)
43 # 14 ---> 22 (42)
43 # 22 ---> 30 (43)
43 # 30 ---> 38 (44)
39 # 12 ---> 13 (42)
41 # 11 ---> 12 (42)
58 # 10 ---> 11 (42)
51 # 9 ---> 10 (42)
40 # 8 ---> 9 (42)
7 # 1 ---> 8 (42)
36 # 0 ---> 1 (42)
21 # 2 ---> 0 (42)
51 # 10 ---> 2 (43)
40 # 9 ---> 10 (43)
21 # 0 ---> 9 (43)
51 # 2 ---> 0 (44)
57 # 3 ---> 2 (44)
58 # 11 ---> 3 (44)
40 # 10 ---> 11 (44)
57 # 2 ---> 10 (45)
58 # 3 ---> 2 (45)
4 # 4 ---> 3 (45)
41 # 12 ---> 4 (45)
40 # 11 ---> 12 (45)
4 # 3 ---> 11 (46)
41 # 4 ---> 3 (46)
22 # 5 ---> 4 (46)
39 # 13 ---> 5 (46)
40 # 12 ---> 13 (46)
40 # 13 ---> 14 (47)
40 # 14 ---> 22 (48)
40 # 22 ---> 30 (49)
49 # 21 ---> 22 (49)
28 # 29 ---> 21 (49)
23 # 37 ---> 29 (49)
47 # 45 ---> 37 (49)
45 # 53 ---> 45 (49)
42 # 52 ---> 53 (49)
3 # 51 ---> 52 (49)
55 # 50 ---> 51 (49)
17 # 42 ---> 50 (49)
25 # 43 ---> 42 (49)
48 # 44 ---> 43 (49)
3 # 52 ---> 44 (50)
55 # 51 ---> 52 (50)
48 # 43 ---> 51 (50)
3 # 44 ---> 43 (51)
45 # 45 ---> 44 (51)
42 # 53 ---> 45 (51)
55 # 52 ---> 53 (51)
9 # 60 ---> 52 (51)
35 # 61 ---> 60 (51)
55 # 53 ---> 61 (52)
9 # 52 ---> 53 (52)
45 # 44 ---> 52 (52)
42 # 45 ---> 44 (52)
1 # 20 ---> 12 (46)
50 # 19 ---> 20 (46)
4 # 11 ---> 19 (47)
1 # 12 ---> 11 (47)
28 # 21 ---> 13 (50)
50 # 20 ---> 21 (50)
56 # 28 ---> 20 (50)
23 # 29 ---> 28 (50)
50 # 21 ---> 29 (51)
56 # 20 ---> 21 (51)
23 # 28 ---> 20 (51)
18 # 36 ---> 28 (51)
47 # 37 ---> 36 (51)
50 # 29 ---> 37 (52)
50 # 37 ---> 45 (53)
47 # 36 ---> 37 (53)
42 # 44 ---> 36 (53)
45 # 52 ---> 44 (53)
9 # 53 ---> 52 (53)
50 # 45 ---> 53 (54)
45 # 44 ---> 45 (54)
9 # 52 ---> 44 (54)
47 # 37 ---> 29 (54)
42 # 36 ---> 37 (54)
9 # 44 ---> 36 (55)
45 # 45 ---> 44 (55)
42 # 37 ---> 45 (55)
9 # 36 ---> 37 (56)
45 # 44 ---> 36 (56)
28 # 13 ---> 12 (51)
56 # 21 ---> 13 (52)
47 # 29 ---> 21 (55)
3 # 43 ---> 44 (56)
25 # 42 ---> 43 (56)
5 # 41 ---> 42 (56)
15 # 33 ---> 41 (56)
6 # 25 ---> 33 (56)
14 # 26 ---> 25 (56)
30 # 34 ---> 26 (56)
33 # 35 ---> 34 (56)
53 # 27 ---> 35 (56)
30 # 26 ---> 27 (57)
44 # 18 ---> 26 (57)
4 # 19 ---> 18 (57)
23 # 20 ---> 19 (57)
18 # 28 ---> 20 (57)
30 # 27 ---> 28 (58)
30 # 28 ---> 29 (59)
45 # 36 ---> 28 (59)
9 # 37 ---> 36 (59)
30 # 29 ---> 37 (60)
45 # 28 ---> 29 (60)
9 # 36 ---> 28 (60)
56 # 13 ---> 14 (53)
47 # 21 ---> 13 (56)
3 # 44 ---> 52 (57)
25 # 43 ---> 44 (57)
5 # 42 ---> 43 (57)
17 # 50 ---> 42 (57)
2 # 49 ---> 50 (57)
15 # 41 ---> 49 (57)
6 # 33 ---> 41 (57)
33 # 34 ---> 33 (57)
17 # 42 ---> 34 (58)
6 # 41 ---> 42 (58)
33 # 33 ---> 41 (58)
14 # 25 ---> 33 (58)
44 # 26 ---> 25 (58)
17 # 34 ---> 26 (59)
14 # 33 ---> 34 (59)
44 # 25 ---> 33 (59)
13 # 17 ---> 25 (59)
4 # 18 ---> 17 (59)
17 # 26 ---> 18 (60)
23 # 19 ---> 27 (58)
17 # 18 ---> 19 (61)
57 # 10 ---> 18 (61)
1 # 11 ---> 10 (61)
28 # 12 ---> 11 (61)
18 # 20 ---> 12 (61)
17 # 19 ---> 20 (62)
17 # 20 ---> 21 (63)
9 # 28 ---> 20 (63)
45 # 29 ---> 28 (63)
17 # 21 ---> 29 (64)
9 # 20 ---> 21 (64)
45 # 28 ---> 20 (64)
28 # 11 ---> 19 (62)
18 # 12 ---> 11 (62)
47 # 13 ---> 12 (62)
53 # 35 ---> 36 (60)
5 # 43 ---> 35 (60)
48 # 51 ---> 43 (60)
27 # 59 ---> 51 (60)
29 # 58 ---> 59 (60)
2 # 50 ---> 58 (60)
6 # 42 ---> 50 (60)
48 # 43 ---> 42 (61)
27 # 51 ---> 43 (61)
6 # 50 ---> 51 (61)
48 # 42 ---> 50 (62)
14 # 34 ---> 42 (62)
5 # 35 ---> 34 (62)
27 # 43 ---> 35 (62)
14 # 42 ---> 43 (63)
5 # 34 ---> 42 (63)
23 # 27 ---> 26 (60)
27 # 35 ---> 27 (63)
23 # 26 ---> 34 (63)
57 # 18 ---> 26 (63)
28 # 19 ---> 18 (63)
27 # 27 ---> 19 (64)
57 # 26 ---> 27 (64)
28 # 18 ---> 26 (64)
1 # 10 ---> 18 (64)
18 # 11 ---> 10 (64)
27 # 19 ---> 11 (65)
45 # 20 ---> 19 (65)
47 # 12 ---> 20 (65)
27 # 11 ---> 12 (66)
27 # 12 ---> 13 (67)
47 # 20 ---> 12 (67)
9 # 21 ---> 20 (67)
27 # 13 ---> 21 (68)
47 # 12 ---> 13 (68)
9 # 20 ---> 12 (68)
53 # 36 ---> 28 (64)
25 # 44 ---> 36 (64)
3 # 52 ---> 44 (64)
23 # 34 ---> 35 (64)
28 # 26 ---> 34 (65)
57 # 27 ---> 26 (65)
53 # 28 ---> 27 (65)
25 # 36 ---> 28 (65)
23 # 35 ---> 36 (65)
14 # 43 ---> 35 (65)
3 # 44 ---> 43 (65)
23 # 36 ---> 44 (66)
23 # 44 ---> 52 (67)
3 # 43 ---> 44 (67)
6 # 51 ---> 43 (67)
29 # 59 ---> 51 (67)
35 # 60 ---> 59 (67)
23 # 52 ---> 60 (68)
3 # 44 ---> 36 (68)
18 # 10 ---> 11 (66)
1 # 18 ---> 10 (66)
57 # 26 ---> 18 (66)
13 # 25 ---> 26 (66)
4 # 17 ---> 25 (66)
57 # 18 ---> 17 (67)
45 # 19 ---> 18 (67)
53 # 27 ---> 19 (67)
13 # 26 ---> 27 (67)
45 # 18 ---> 26 (68)
53 # 19 ---> 18 (68)
25 # 28 ---> 20 (68)
13 # 27 ---> 28 (68)
14 # 35 ---> 27 (68)
3 # 36 ---> 35 (69)
13 # 28 ---> 36 (69)
13 # 36 ---> 44 (70)
13 # 44 ---> 52 (71)
18 # 11 ---> 19 (68)
9 # 12 ---> 11 (69)
47 # 13 ---> 12 (69)
39 # 5 ---> 13 (69)
22 # 4 ---> 5 (69)
41 # 3 ---> 4 (69)
9 # 11 ---> 3 (70)
18 # 19 ---> 11 (70)
25 # 20 ---> 19 (70)
47 # 12 ---> 20 (70)
47 # 20 ---> 28 (71)
47 # 28 ---> 36 (72)
47 # 36 ---> 44 (73)
39 # 13 ---> 12 (70)
39 # 12 ---> 20 (71)
39 # 20 ---> 28 (72)
39 # 28 ---> 36 (73)
18 # 11 ---> 12 (71)
1 # 10 ---> 11 (71)
21 # 9 ---> 10 (71)
51 # 0 ---> 9 (71)
36 # 1 ---> 0 (71)
7 # 8 ---> 1 (71)
51 # 9 ---> 8 (72)
21 # 10 ---> 9 (72)
58 # 2 ---> 10 (72)
36 # 0 ---> 2 (72)
21 # 9 ---> 0 (73)
58 # 10 ---> 9 (73)
1 # 11 ---> 10 (73)
9 # 3 ---> 11 (73)
36 # 2 ---> 3 (73)
1 # 10 ---> 2 (74)
9 # 11 ---> 10 (74)
18 # 12 ---> 11 (74)
41 # 4 ---> 12 (74)
36 # 3 ---> 4 (74)
18 # 11 ---> 3 (75)
41 # 12 ---> 11 (75)
36 # 4 ---> 12 (75)
36 # 12 ---> 20 (76)
36 # 20 ---> 28 (77)
25 # 19 ---> 20 (77)
14 # 27 ---> 19 (77)
45 # 26 ---> 27 (77)
4 # 25 ---> 26 (77)
44 # 33 ---> 25 (77)
33 # 41 ---> 33 (77)
15 # 49 ---> 41 (77)
16 # 48 ---> 49 (77)
59 # 40 ---> 48 (77)
52 # 32 ---> 40 (77)
33 # 33 ---> 32 (78)
15 # 41 ---> 33 (78)
52 # 40 ---> 41 (78)
33 # 32 ---> 40 (79)
34 # 24 ---> 32 (79)
44 # 25 ---> 24 (79)
15 # 33 ---> 25 (79)
34 # 32 ---> 33 (80)
44 # 24 ---> 32 (80)
26 # 16 ---> 24 (80)
57 # 17 ---> 16 (80)
15 # 25 ---> 17 (80)
26 # 24 ---> 25 (81)
57 # 16 ---> 24 (81)
51 # 8 ---> 16 (81)
58 # 9 ---> 8 (81)
15 # 17 ---> 9 (81)
53 # 18 ---> 17 (81)
9 # 10 ---> 18 (81)
15 # 9 ---> 10 (82)
21 # 0 ---> 9 (82)
1 # 2 ---> 0 (82)
18 # 3 ---> 2 (82)
41 # 11 ---> 3 (82)
15 # 10 ---> 11 (83)
15 # 11 ---> 12 (84)
14 # 19 ---> 11 (84)
25 # 20 ---> 19 (84)
15 # 12 ---> 20 (85)
14 # 11 ---> 12 (85)
25 # 19 ---> 11 (85)
45 # 27 ---> 19 (85)
3 # 35 ---> 27 (85)
6 # 43 ---> 35 (85)
29 # 51 ---> 43 (85)
14 # 12 ---> 4 (86)
25 # 11 ---> 12 (86)
41 # 3 ---> 11 (86)
18 # 2 ---> 3 (86)
9 # 18 ---> 10 (83)
45 # 19 ---> 18 (86)
41 # 11 ---> 19 (87)
9 # 10 ---> 11 (87)
45 # 18 ---> 10 (87)
4 # 26 ---> 18 (87)
3 # 27 ---> 26 (87)
41 # 19 ---> 27 (88)
4 # 18 ---> 19 (88)
3 # 26 ---> 18 (88)
28 # 34 ---> 26 (88)
6 # 35 ---> 34 (88)
41 # 27 ---> 35 (89)
28 # 26 ---> 27 (89)
6 # 34 ---> 26 (89)
5 # 42 ---> 34 (89)
29 # 43 ---> 42 (89)
41 # 35 ---> 43 (90)
41 # 43 ---> 51 (91)
29 # 42 ---> 43 (91)
48 # 50 ---> 42 (91)
2 # 58 ---> 50 (91)
35 # 59 ---> 58 (91)
41 # 51 ---> 59 (92)
29 # 43 ---> 35 (92)
1 # 0 ---> 2 (86)
21 # 9 ---> 0 (86)
53 # 17 ---> 9 (86)
26 # 25 ---> 17 (86)
57 # 24 ---> 25 (86)
51 # 16 ---> 24 (86)
26 # 17 ---> 16 (87)
3 # 18 ---> 17 (89)
6 # 26 ---> 18 (90)
57 # 25 ---> 26 (90)
3 # 17 ---> 25 (90)
6 # 18 ---> 17 (91)
4 # 19 ---> 18 (91)
28 # 27 ---> 19 (91)
57 # 26 ---> 27 (91)
5 # 34 ---> 26 (91)
29 # 35 ---> 34 (93)
57 # 27 ---> 35 (93)
57 # 35 ---> 43 (94)
57 # 43 ---> 51 (95)
48 # 42 ---> 43 (95)
2 # 50 ---> 42 (95)
16 # 49 ---> 50 (95)
59 # 48 ---> 49 (95)
20 # 56 ---> 48 (95)
8 # 57 ---> 56 (95)
59 # 49 ---> 57 (96)
52 # 41 ---> 49 (96)
33 # 40 ---> 41 (96)
20 # 48 ---> 40 (96)
52 # 49 ---> 48 (97)
33 # 41 ---> 49 (97)
34 # 33 ---> 41 (97)
44 # 32 ---> 33 (97)
20 # 40 ---> 32 (97)
34 # 41 ---> 40 (98)
44 # 33 ---> 41 (98)
20 # 32 ---> 33 (98)
51 # 24 ---> 32 (98)
3 # 25 ---> 24 (98)
5 # 26 ---> 25 (98)
29 # 34 ---> 26 (98)
20 # 33 ---> 34 (99)
20 # 34 ---> 35 (100)
2 # 42 ---> 34 (100)
48 # 43 ---> 42 (100)
20 # 35 ---> 43 (101)
2 # 34 ---> 35 (101)
48 # 42 ---> 34 (101)
51 # 32 ---> 33 (99)
34 # 40 ---> 32 (99)
44 # 41 ---> 40 (99)
51 # 33 ---> 41 (100)
5 # 25 ---> 33 (100)
3 # 24 ---> 25 (100)
34 # 32 ---> 24 (100)
5 # 33 ---> 32 (101)
3 # 25 ---> 33 (101)
34 # 24 ---> 25 (101)
26 # 16 ---> 24 (101)
6 # 17 ---> 16 (101)
4 # 18 ---> 17 (101)
29 # 26 ---> 18 (101)
34 # 25 ---> 26 (102)
34 # 26 ---> 27 (103)
48 # 34 ---> 26 (103)
2 # 35 ---> 34 (103)
34 # 27 ---> 35 (104)
48 # 26 ---> 27 (104)
2 # 34 ---> 26 (104)
56 # 14 ---> 13 (70)
19 # 15 ---> 14 (70)
46 # 7 ---> 15 (70)
32 # 6 ---> 7 (70)
22 # 5 ---> 6 (70)
56 # 13 ---> 5 (71)
19 # 14 ---> 13 (71)
22 # 6 ---> 14 (71)
56 # 5 ---> 6 (72)
14 # 4 ---> 5 (87)
25 # 12 ---> 4 (87)
19 # 13 ---> 12 (87)
14 # 5 ---> 13 (88)
25 # 4 ---> 5 (88)
18 # 3 ---> 4 (88)
9 # 11 ---> 3 (88)
19 # 12 ---> 11 (88)
18 # 4 ---> 12 (89)
9 # 3 ---> 4 (89)
1 # 2 ---> 3 (89)
45 # 10 ---> 2 (89)
29 # 18 ---> 10 (102)
28 # 19 ---> 18 (102)
19 # 11 ---> 19 (102)
2 # 26 ---> 25 (105)
48 # 27 ---> 26 (105)
19 # 19 ---> 27 (105)
28 # 18 ---> 19 (105)
48 # 26 ---> 18 (106)
51 # 41 ---> 42 (101)
33 # 49 ---> 41 (101)
52 # 48 ---> 49 (101)
8 # 56 ---> 48 (101)
59 # 57 ---> 56 (101)
52 # 49 ---> 57 (102)
33 # 41 ---> 49 (102)
44 # 40 ---> 41 (102)
8 # 48 ---> 40 (102)
33 # 49 ---> 48 (103)
44 # 41 ---> 49 (103)
3 # 33 ---> 41 (103)
5 # 32 ---> 33 (103)
8 # 40 ---> 32 (103)
3 # 41 ---> 40 (104)
5 # 33 ---> 41 (104)
2 # 25 ---> 33 (106)
26 # 24 ---> 25 (106)
8 # 32 ---> 24 (106)
2 # 33 ---> 32 (107)
26 # 25 ---> 33 (107)
4 # 17 ---> 25 (107)
6 # 16 ---> 17 (107)
8 # 24 ---> 16 (107)
4 # 25 ---> 24 (108)
6 # 17 ---> 25 (108)
53 # 9 ---> 17 (108)
58 # 8 ---> 9 (108)
8 # 16 ---> 8 (108)
53 # 17 ---> 16 (109)
58 # 9 ---> 17 (109)
8 # 8 ---> 9 (109)
7 # 1 ---> 8 (109)
21 # 0 ---> 1 (109)
45 # 2 ---> 0 (109)
29 # 10 ---> 2 (109)
8 # 9 ---> 10 (110)
8 # 10 ---> 11 (111)
48 # 18 ---> 10 (111)
28 # 19 ---> 18 (111)
8 # 11 ---> 19 (112)
48 # 10 ---> 11 (112)
28 # 18 ---> 10 (112)
51 # 42 ---> 34 (104)
16 # 50 ---> 42 (104)
28 # 10 ---> 9 (113)
48 # 11 ---> 10 (113)
18 # 12 ---> 11 (113)
14 # 13 ---> 12 (113)
22 # 14 ---> 13 (113)
56 # 6 ---> 14 (113)
25 # 5 ---> 6 (113)
9 # 4 ---> 5 (113)
14 # 12 ---> 4 (114)
22 # 13 ---> 12 (114)
9 # 5 ---> 13 (114)
14 # 4 ---> 5 (115)
1 # 3 ---> 4 (115)
18 # 11 ---> 3 (115)
22 # 12 ---> 11 (115)
1 # 4 ---> 12 (116)
18 # 3 ---> 4 (116)
29 # 2 ---> 3 (116)
48 # 10 ---> 2 (116)
22 # 11 ---> 10 (116)
22 # 10 ---> 18 (117)
22 # 18 ---> 26 (118)
28 # 9 ---> 10 (117)
58 # 17 ---> 9 (117)
6 # 25 ---> 17 (117)
26 # 33 ---> 25 (117)
51 # 34 ---> 33 (117)
22 # 26 ---> 34 (119)
26 # 25 ---> 26 (119)
51 # 33 ---> 25 (119)
5 # 41 ---> 33 (119)
16 # 42 ---> 41 (119)
22 # 34 ---> 42 (120)
22 # 42 ---> 50 (121)
16 # 41 ---> 42 (121)
44 # 49 ---> 41 (121)
52 # 57 ---> 49 (121)
35 # 58 ---> 57 (121)
22 # 50 ---> 58 (122)
16 # 42 ---> 34 (122)
28 # 10 ---> 18 (118)
58 # 9 ---> 10 (118)
6 # 17 ---> 9 (118)
51 # 25 ---> 17 (120)
26 # 26 ---> 25 (120)
28 # 18 ---> 26 (120)
51 # 17 ---> 18 (121)
26 # 25 ---> 17 (121)
5 # 33 ---> 25 (121)
16 # 34 ---> 33 (123)
28 # 26 ---> 34 (123)
28 # 34 ---> 42 (124)
28 # 42 ---> 50 (125)
51 # 18 ---> 26 (123)
51 # 26 ---> 34 (124)
51 # 34 ---> 42 (125)
16 # 33 ---> 34 (125)
44 # 41 ---> 33 (125)
5 # 25 ---> 26 (124)
4 # 24 ---> 25 (124)
53 # 16 ---> 24 (124)
26 # 17 ---> 16 (124)
5 # 26 ---> 18 (125)
4 # 25 ---> 26 (125)
44 # 33 ---> 25 (126)
16 # 34 ---> 33 (126)
4 # 26 ---> 34 (126)
5 # 18 ---> 17 (126)
58 # 10 ---> 11 (119)
6 # 9 ---> 10 (119)
45 # 0 ---> 9 (119)
21 # 1 ---> 0 (119)
7 # 8 ---> 1 (119)
45 # 9 ---> 8 (120)
6 # 10 ---> 9 (120)
48 # 2 ---> 10 (120)
21 # 0 ---> 2 (120)
6 # 9 ---> 0 (121)
48 # 10 ---> 9 (121)
21 # 2 ---> 10 (121)
21 # 10 ---> 18 (126)
21 # 18 ---> 26 (127)
58 # 11 ---> 10 (126)
1 # 12 ---> 11 (126)
9 # 13 ---> 12 (126)
56 # 14 ---> 13 (126)
46 # 15 ---> 14 (126)
32 # 7 ---> 15 (126)
25 # 6 ---> 7 (126)
14 # 5 ---> 6 (126)
56 # 13 ---> 5 (127)
46 # 14 ---> 13 (127)
14 # 6 ---> 14 (127)
56 # 5 ---> 6 (128)
18 # 4 ---> 5 (128)
9 # 12 ---> 4 (128)
46 # 13 ---> 12 (128)
18 # 5 ---> 13 (129)
9 # 4 ---> 5 (129)
29 # 3 ---> 4 (129)
1 # 11 ---> 3 (129)
46 # 12 ---> 11 (129)
29 # 4 ---> 12 (130)
58 # 10 ---> 2 (127)
46 # 11 ---> 10 (130)
46 # 10 ---> 18 (131)
48 # 9 ---> 10 (131)
5 # 17 ---> 9 (131)
26 # 16 ---> 17 (131)
53 # 24 ---> 16 (131)
2 # 32 ---> 24 (131)
3 # 40 ---> 32 (131)
52 # 49 ---> 41 (125)
33 # 48 ---> 49 (125)
52 # 41 ---> 40 (131)
33 # 49 ---> 41 (131)
59 # 56 ---> 48 (125)
35 # 57 ---> 56 (125)
48 # 10 ---> 11 (132)
5 # 9 ---> 10 (132)
26 # 17 ---> 9 (132)
53 # 16 ---> 17 (132)
45 # 8 ---> 16 (132)
26 # 9 ---> 8 (133)
53 # 17 ---> 9 (133)
44 # 25 ---> 17 (133)
2 # 24 ---> 25 (133)
45 # 16 ---> 24 (133)
44 # 17 ---> 16 (134)
2 # 25 ---> 17 (134)
16 # 33 ---> 25 (134)
3 # 32 ---> 33 (134)
45 # 24 ---> 32 (134)
16 # 25 ---> 24 (135)
3 # 33 ---> 25 (135)
33 # 41 ---> 33 (135)
52 # 40 ---> 41 (135)
45 # 32 ---> 40 (135)
33 # 33 ---> 32 (136)
52 # 41 ---> 33 (136)
59 # 48 ---> 49 (131)
45 # 40 ---> 48 (136)
59 # 49 ---> 41 (136)
45 # 48 ---> 49 (137)
35 # 56 ---> 48 (137)
45 # 49 ---> 57 (138)
9 # 5 ---> 4 (130)
18 # 13 ---> 5 (130)
14 # 14 ---> 13 (130)
56 # 6 ---> 14 (130)
18 # 5 ---> 6 (131)
9 # 4 ---> 5 (131)
29 # 12 ---> 4 (131)
14 # 13 ---> 12 (131)
9 # 5 ---> 13 (132)
29 # 4 ---> 5 (132)
1 # 3 ---> 4 (132)
48 # 11 ---> 3 (133)
14 # 12 ---> 11 (133)
1 # 4 ---> 12 (133)
48 # 3 ---> 4 (134)
58 # 2 ---> 3 (134)
5 # 10 ---> 2 (134)
14 # 11 ---> 10 (134)
58 # 3 ---> 11 (135)
5 # 2 ---> 3 (135)
6 # 0 ---> 2 (135)
53 # 9 ---> 0 (135)
14 # 10 ---> 9 (135)
6 # 2 ---> 10 (136)
53 # 0 ---> 2 (136)
7 # 1 ---> 0 (136)
26 # 8 ---> 1 (136)
14 # 9 ---> 8 (136)
2 # 17 ---> 9 (136)
44 # 16 ---> 17 (136)
14 # 8 ---> 16 (137)
2 # 9 ---> 8 (137)
44 # 17 ---> 9 (137)
3 # 25 ---> 17 (137)
16 # 24 ---> 25 (137)
14 # 16 ---> 24 (138)
3 # 17 ---> 16 (138)
16 # 25 ---> 17 (138)
52 # 33 ---> 25 (138)
33 # 32 ---> 33 (138)
14 # 24 ---> 32 (139)
14 # 32 ---> 40 (140)
33 # 33 ---> 32 (140)
59 # 41 ---> 33 (140)
14 # 40 ---> 41 (141)
35 # 48 ---> 40 (141)
14 # 41 ---> 49 (142)
3 # 16 ---> 24 (139)
2 # 8 ---> 16 (139)
44 # 9 ---> 8 (139)
16 # 17 ---> 9 (139)
52 # 25 ---> 17 (139)
3 # 24 ---> 25 (140)
2 # 16 ---> 24 (140)
52 # 17 ---> 16 (140)
3 # 25 ---> 17 (141)
59 # 33 ---> 25 (141)
33 # 32 ---> 33 (141)
2 # 24 ---> 32 (141)
59 # 25 ---> 24 (142)
33 # 33 ---> 25 (142)
35 # 40 ---> 41 (142)
2 # 32 ---> 40 (142)
35 # 41 ---> 33 (143)
2 # 40 ---> 41 (143)
14 # 49 ---> 48 (143)
2 # 41 ---> 49 (144)
59 # 24 ---> 32 (143)
33 # 25 ---> 24 (143)
35 # 33 ---> 25 (144)
59 # 32 ---> 33 (144)
59 # 33 ---> 41 (145)
35 # 25 ---> 33 (145)
3 # 17 ---> 25 (145)
16 # 9 ---> 17 (145)
6 # 10 ---> 9 (145)
58 # 11 ---> 10 (145)
5 # 3 ---> 11 (145)
48 # 4 ---> 3 (145)
1 # 12 ---> 4 (145)
5 # 11 ---> 12 (146)
58 # 10 ---> 11 (146)
53 # 2 ---> 10 (146)
48 # 3 ---> 2 (146)
58 # 11 ---> 3 (147)
53 # 10 ---> 11 (147)
6 # 9 ---> 10 (147)
7 # 0 ---> 9 (147)
48 # 2 ---> 0 (147)
6 # 10 ---> 2 (148)
7 # 9 ---> 10 (148)
44 # 8 ---> 9 (148)
26 # 1 ---> 8 (148)
48 # 0 ---> 1 (148)
44 # 9 ---> 0 (149)
26 # 8 ---> 9 (149)
48 # 1 ---> 8 (149)
44 # 0 ---> 1 (150)
26 # 9 ---> 0 (150)
16 # 17 ---> 9 (150)
52 # 16 ---> 17 (150)
48 # 8 ---> 16 (150)
16 # 9 ---> 8 (151)
52 # 17 ---> 9 (151)
3 # 25 ---> 17 (151)
33 # 24 ---> 25 (151)
48 # 16 ---> 24 (151)
48 # 24 ---> 32 (152)
33 # 25 ---> 24 (152)
35 # 33 ---> 25 (152)
48 # 32 ---> 33 (153)
59 # 41 ---> 40 (146)
48 # 33 ---> 41 (154)
16 # 8 ---> 16 (152)
52 # 9 ---> 8 (152)
7 # 10 ---> 9 (152)
53 # 11 ---> 10 (152)
58 # 3 ---> 11 (152)
6 # 2 ---> 3 (152)
26 # 0 ---> 2 (152)
7 # 9 ---> 0 (153)
53 # 10 ---> 9 (153)
26 # 2 ---> 10 (153)
7 # 0 ---> 2 (154)
44 # 1 ---> 0 (154)
52 # 8 ---> 1 (154)
53 # 9 ---> 8 (154)
3 # 17 ---> 9 (154)
16 # 16 ---> 17 (154)
53 # 8 ---> 16 (155)
3 # 9 ---> 8 (155)
16 # 17 ---> 9 (155)
35 # 25 ---> 17 (155)
33 # 24 ---> 25 (155)
53 # 16 ---> 24 (156)
35 # 17 ---> 16 (156)
33 # 25 ---> 17 (156)
53 # 24 ---> 25 (157)
53 # 25 ---> 33 (158)
33 # 17 ---> 25 (158)
16 # 9 ---> 17 (158)
26 # 10 ---> 9 (158)
58 # 11 ---> 10 (158)
5 # 12 ---> 11 (158)
9 # 13 ---> 12 (158)
56 # 14 ---> 13 (158)
32 # 15 ---> 14 (158)
25 # 7 ---> 15 (158)
18 # 6 ---> 7 (158)
29 # 5 ---> 6 (158)
56 # 13 ---> 5 (159)
32 # 14 ---> 13 (159)
29 # 6 ---> 14 (159)
56 # 5 ---> 6 (160)
1 # 4 ---> 5 (160)
9 # 12 ---> 4 (160)
32 # 13 ---> 12 (160)
1 # 5 ---> 13 (161)
9 # 4 ---> 5 (161)
6 # 3 ---> 4 (161)
5 # 11 ---> 3 (161)
32 # 12 ---> 11 (161)
6 # 4 ---> 12 (162)
5 # 3 ---> 4 (162)
7 # 2 ---> 3 (162)
58 # 10 ---> 2 (162)
32 # 11 ---> 10 (162)
7 # 3 ---> 11 (163)
58 # 2 ---> 3 (163)
44 # 0 ---> 2 (163)
26 # 9 ---> 0 (163)
32 # 10 ---> 9 (163)
44 # 2 ---> 10 (164)
26 # 0 ---> 2 (164)
52 # 1 ---> 0 (164)
3 # 8 ---> 1 (164)
32 # 9 ---> 8 (164)
16 # 17 ---> 9 (164)
35 # 16 ---> 17 (164)
32 # 8 ---> 16 (165)
32 # 16 ---> 24 (166)
35 # 17 ---> 16 (166)
33 # 25 ---> 17 (166)
32 # 24 ---> 25 (167)
53 # 33 ---> 32 (159)
32 # 25 ---> 33 (168)
16 # 9 ---> 8 (165)
44 # 10 ---> 9 (165)
7 # 11 ---> 10 (165)
6 # 12 ---> 11 (165)
5 # 4 ---> 12 (165)
9 # 5 ---> 4 (165)
1 # 13 ---> 5 (165)
5 # 12 ---> 13 (166)
6 # 11 ---> 12 (166)
58 # 3 ---> 11 (166)
9 # 4 ---> 3 (166)
6 # 12 ---> 4 (167)
58 # 11 ---> 12 (167)
7 # 10 ---> 11 (167)
26 # 2 ---> 10 (167)
9 # 3 ---> 2 (167)
7 # 11 ---> 3 (168)
26 # 10 ---> 11 (168)
44 # 9 ---> 10 (168)
52 # 0 ---> 9 (168)
9 # 2 ---> 0 (168)
44 # 10 ---> 2 (169)
52 # 9 ---> 10 (169)
16 # 8 ---> 9 (169)
3 # 1 ---> 8 (169)
9 # 0 ---> 1 (169)
16 # 9 ---> 0 (170)
3 # 8 ---> 9 (170)
9 # 1 ---> 8 (170)
16 # 0 ---> 1 (171)
3 # 9 ---> 0 (171)
33 # 17 ---> 9 (171)
35 # 16 ---> 17 (171)
9 # 8 ---> 16 (171)
33 # 9 ---> 8 (172)
35 # 17 ---> 9 (172)
9 # 16 ---> 17 (172)
9 # 17 ---> 25 (173)
35 # 9 ---> 17 (173)
52 # 10 ---> 9 (173)
26 # 11 ---> 10 (173)
58 # 12 ---> 11 (173)
5 # 13 ---> 12 (173)
29 # 14 ---> 13 (173)
56 # 6 ---> 14 (173)
1 # 5 ---> 6 (173)
6 # 4 ---> 5 (173)
5 # 12 ---> 4 (174)
29 # 13 ---> 12 (174)
6 # 5 ---> 13 (174)
5 # 4 ---> 5 (175)
7 # 3 ---> 4 (175)
58 # 11 ---> 3 (175)
29 # 12 ---> 11 (175)
7 # 4 ---> 12 (176)
58 # 3 ---> 4 (176)
44 # 2 ---> 3 (176)
26 # 10 ---> 2 (176)
29 # 11 ---> 10 (176)
44 # 3 ---> 11 (177)
26 # 2 ---> 3 (177)
3 # 0 ---> 2 (177)
52 # 9 ---> 0 (177)
29 # 10 ---> 9 (177)
3 # 2 ---> 10 (178)
52 # 0 ---> 2 (178)
16 # 1 ---> 0 (178)
33 # 8 ---> 1 (178)
29 # 9 ---> 8 (178)
29 # 8 ---> 16 (179)
35 # 17 ---> 9 (178)
29 # 16 ---> 17 (180)
9 # 25 ---> 24 (174)
29 # 17 ---> 25 (181)
33 # 1 ---> 8 (179)
16 # 0 ---> 1 (179)
33 # 8 ---> 16 (180)
16 # 1 ---> 8 (180)
35 # 9 ---> 0 (179)
16 # 8 ---> 9 (181)
35 # 0 ---> 1 (180)
16 # 9 ---> 0 (182)
3 # 10 ---> 9 (182)
44 # 11 ---> 10 (182)
7 # 12 ---> 11 (182)
6 # 13 ---> 12 (182)
56 # 14 ---> 13 (182)
1 # 6 ---> 14 (182)
5 # 5 ---> 6 (182)
58 # 4 ---> 5 (182)
6 # 12 ---> 4 (183)
56 # 13 ---> 12 (183)
58 # 5 ---> 13 (183)
6 # 4 ---> 5 (184)
26 # 3 ---> 4 (184)
7 # 11 ---> 3 (184)
56 # 12 ---> 11 (184)
26 # 4 ---> 12 (185)
7 # 3 ---> 4 (185)
52 # 2 ---> 3 (185)
44 # 10 ---> 2 (185)
56 # 11 ---> 10 (185)
52 # 3 ---> 11 (186)
44 # 2 ---> 3 (186)
16 # 0 ---> 2 (186)
3 # 9 ---> 0 (186)
56 # 10 ---> 9 (186)
33 # 16 ---> 8 (181)
56 # 9 ---> 17 (187)
16 # 2 ---> 10 (187)
44 # 3 ---> 2 (187)
7 # 4 ---> 3 (187)
26 # 12 ---> 4 (187)
58 # 13 ---> 12 (187)
1 # 14 ---> 13 (187)
5 # 6 ---> 14 (187)
6 # 5 ---> 6 (187)
1 # 13 ---> 5 (188)
5 # 14 ---> 13 (188)
6 # 6 ---> 14 (188)
18 # 7 ---> 6 (188)
25 # 15 ---> 7 (188)
6 # 14 ---> 15 (189)
16 # 10 ---> 9 (188)
52 # 11 ---> 10 (188)
58 # 12 ---> 11 (188)
26 # 4 ---> 12 (188)
7 # 3 ---> 4 (188)
58 # 11 ---> 3 (189)
26 # 12 ---> 11 (189)
5 # 13 ---> 12 (189)
1 # 5 ---> 13 (189)
7 # 4 ---> 5 (189)
5 # 12 ---> 4 (190)
1 # 13 ---> 12 (190)
18 # 6 ---> 14 (189)
7 # 5 ---> 6 (190)
18 # 14 ---> 13 (190)
7 # 6 ---> 14 (191)
25 # 7 ---> 6 (191)
6 # 15 ---> 7 (191)
7 # 14 ---> 15 (192)
5 # 4 ---> 5 (191)
58 # 3 ---> 4 (191)
44 # 2 ---> 3 (191)
3 # 0 ---> 2 (191)
35 # 1 ---> 0 (191)
33 # 8 ---> 1 (191)
16 # 9 ---> 8 (191)
52 # 10 ---> 9 (191)
3 # 2 ---> 10 (192)
35 # 0 ---> 2 (192)
52 # 9 ---> 0 (192)
3 # 10 ---> 9 (193)
26 # 11 ---> 10 (193)
44 # 3 ---> 11 (193)
35 # 2 ---> 3 (193)
26 # 10 ---> 2 (194)
44 # 11 ---> 10 (194)
1 # 12 ---> 11 (194)
58 # 4 ---> 12 (194)
35 # 3 ---> 4 (194)
1 # 11 ---> 3 (195)
58 # 12 ---> 11 (195)
18 # 13 ---> 12 (195)
5 # 5 ---> 13 (195)
35 # 4 ---> 5 (195)
18 # 12 ---> 4 (196)
5 # 13 ---> 12 (196)
35 # 5 ---> 13 (196)
25 # 6 ---> 5 (196)
35 # 13 ---> 14 (197)
5 # 12 ---> 13 (197)
58 # 11 ---> 12 (197)
44 # 10 ---> 11 (197)
3 # 9 ---> 10 (197)
52 # 0 ---> 9 (197)
33 # 1 ---> 0 (197)
16 # 8 ---> 1 (197)
52 # 9 ---> 8 (198)
3 # 10 ---> 9 (198)
26 # 2 ---> 10 (198)
33 # 0 ---> 2 (198)
3 # 9 ---> 0 (199)
26 # 10 ---> 9 (199)
44 # 11 ---> 10 (199)
1 # 3 ---> 11 (199)
33 # 2 ---> 3 (199)
44 # 10 ---> 2 (200)
1 # 11 ---> 10 (200)
58 # 12 ---> 11 (200)
18 # 4 ---> 12 (200)
33 # 3 ---> 4 (200)
58 # 11 ---> 3 (201)
18 # 12 ---> 11 (201)
5 # 13 ---> 12 (201)
25 # 5 ---> 13 (201)
33 # 4 ---> 5 (201)
5 # 12 ---> 4 (202)
25 # 13 ---> 12 (202)
33 # 5 ---> 13 (202)
35 # 14 ---> 6 (198)
33 # 13 ---> 14 (203)
5 # 4 ---> 5 (203)
58 # 3 ---> 4 (203)
44 # 2 ---> 3 (203)
3 # 0 ---> 2 (203)
16 # 1 ---> 0 (203)
52 # 8 ---> 1 (203)
26 # 9 ---> 8 (203)
1 # 10 ---> 9 (203)
3 # 2 ---> 10 (204)
16 # 0 ---> 2 (204)
1 # 9 ---> 0 (204)
3 # 10 ---> 9 (205)
18 # 11 ---> 10 (205)
44 # 3 ---> 11 (205)
16 # 2 ---> 3 (205)
18 # 10 ---> 2 (206)
44 # 11 ---> 10 (206)
25 # 12 ---> 11 (206)
58 # 4 ---> 12 (206)
16 # 3 ---> 4 (206)
25 # 11 ---> 3 (207)
58 # 12 ---> 11 (207)
16 # 4 ---> 12 (207)
5 # 5 ---> 4 (207)
16 # 12 ---> 13 (208)
58 # 11 ---> 12 (208)
25 # 3 ---> 11 (208)
18 # 2 ---> 3 (208)
44 # 10 ---> 2 (208)
25 # 11 ---> 10 (209)
58 # 12 ---> 11 (209)
5 # 4 ---> 12 (209)
18 # 3 ---> 4 (209)
58 # 11 ---> 3 (210)
5 # 12 ---> 11 (210)
18 # 4 ---> 12 (210)
16 # 13 ---> 5 (209)
18 # 12 ---> 13 (211)
58 # 3 ---> 4 (211)
44 # 2 ---> 3 (211)
1 # 0 ---> 2 (211)
52 # 1 ---> 0 (211)
26 # 8 ---> 1 (211)
3 # 9 ---> 8 (211)
52 # 0 ---> 9 (212)
26 # 1 ---> 0 (212)
3 # 8 ---> 1 (212)
52 # 9 ---> 8 (213)
25 # 10 ---> 9 (213)
1 # 2 ---> 10 (213)
26 # 0 ---> 2 (213)
25 # 9 ---> 0 (214)
1 # 10 ---> 9 (214)
5 # 11 ---> 10 (214)
44 # 3 ---> 11 (214)
26 # 2 ---> 3 (214)
5 # 10 ---> 2 (215)
44 # 11 ---> 10 (215)
26 # 3 ---> 11 (215)
58 # 4 ---> 3 (215)
26 # 11 ---> 12 (216)
58 # 3 ---> 11 (216)
5 # 2 ---> 3 (216)
44 # 10 ---> 2 (216)
58 # 11 ---> 10 (217)
5 # 3 ---> 11 (217)
26 # 12 ---> 4 (217)
5 # 11 ---> 12 (218)
58 # 10 ---> 11 (218)
44 # 2 ---> 10 (218)
25 # 0 ---> 2 (218)
1 # 9 ---> 0 (218)
44 # 10 ---> 9 (219)
25 # 2 ---> 10 (219)
58 # 11 ---> 3 (219)
25 # 10 ---> 11 (220)
1 # 0 ---> 2 (219)
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 = 0x7fffa72d0880, target = 0x1361e70)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361e50)
    ]
    Edge  1 <-> 8 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f50)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361e70)
    ]
    Edge  2 <-> 0 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361e50)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361e90)
    ]
    Edge  3 <-> 2 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361e90)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361eb0)
    ]
    Edge  4 <-> 3 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361eb0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361ed0)
    ]
    Edge  5 <-> 4 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361ed0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361ef0)
    ]
    Edge  6 <-> 5 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361ef0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f10)
    ]
    Edge  7 <-> 6 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f10)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f30)
    ]
    Edge  8 <-> 9 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f70)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f50)
    ]
    Edge  8 <-> 16 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362050)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f50)
    ]
    Edge  9 <-> 0 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361e50)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f70)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f90)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f70)
    ]
    Edge  10 <-> 2 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361e90)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f90)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361fb0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f90)
    ]
    Edge  10 <-> 18 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362090)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f90)
    ]
    Edge  11 <-> 3 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361eb0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361fb0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361fd0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361fb0)
    ]
    Edge  11 <-> 19 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13620b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361fb0)
    ]
    Edge  12 <-> 4 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361ed0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361fd0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361ff0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361fd0)
    ]
    Edge  12 <-> 20 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13620d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361fd0)
    ]
    Edge  13 <-> 5 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361ef0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361ff0)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362010)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361ff0)
    ]
    Edge  13 <-> 21 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13620f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1361ff0)
    ]
    Edge  14 <-> 6 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f10)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362010)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362030)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362010)
    ]
    Edge  14 <-> 22 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362110)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362010)
    ]
    Edge  15 <-> 7 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f30)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362030)
    ]
    Edge  15 <-> 23 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362130)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362030)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362070)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362050)
    ]
    Edge  16 <-> 24 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362150)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362050)
    ]
    Edge  17 <-> 9 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1361f70)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362070)
    ]
    Edge  18 <-> 17 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362070)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362090)
    ]
    Edge  18 <-> 26 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362190)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362090)
    ]
    Edge  19 <-> 18 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362090)
        Arc: (edge = 0x7fffa72d0880, target = 0x13620b0)
    ]
    Edge  19 <-> 27 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13621b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13620b0)
    ]
    Edge  20 <-> 19 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13620b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13620d0)
    ]
    Edge  20 <-> 28 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13621d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13620d0)
    ]
    Edge  21 <-> 20 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13620d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13620f0)
    ]
    Edge  21 <-> 29 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13621f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13620f0)
    ]
    Edge  22 <-> 21 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13620f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362110)
    ]
    Edge  22 <-> 30 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362210)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362110)
    ]
    Edge  23 <-> 22 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362110)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362130)
    ]
    Edge  23 <-> 31 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362230)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362130)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362170)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362150)
    ]
    Edge  24 <-> 32 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362250)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362150)
    ]
    Edge  25 <-> 17 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362070)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362170)
    ]
    Edge  26 <-> 25 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362170)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362190)
    ]
    Edge  26 <-> 34 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362290)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362190)
    ]
    Edge  27 <-> 26 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362190)
        Arc: (edge = 0x7fffa72d0880, target = 0x13621b0)
    ]
    Edge  27 <-> 35 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13622b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13621b0)
    ]
    Edge  28 <-> 27 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13621b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13621d0)
    ]
    Edge  28 <-> 36 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13622d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13621d0)
    ]
    Edge  29 <-> 28 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13621d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13621f0)
    ]
    Edge  29 <-> 37 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13622f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13621f0)
    ]
    Edge  30 <-> 29 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13621f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362210)
    ]
    Edge  30 <-> 38 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362310)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362210)
    ]
    Edge  31 <-> 30 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362210)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362230)
    ]
    Edge  31 <-> 39 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362330)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362230)
    ]
    Edge  32 <-> 33 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362270)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362250)
    ]
    Edge  32 <-> 40 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362350)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362250)
    ]
    Edge  33 <-> 25 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362170)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362270)
    ]
    Edge  34 <-> 33 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362270)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362290)
    ]
    Edge  34 <-> 42 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362390)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362290)
    ]
    Edge  35 <-> 34 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362290)
        Arc: (edge = 0x7fffa72d0880, target = 0x13622b0)
    ]
    Edge  35 <-> 43 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13623b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13622b0)
    ]
    Edge  36 <-> 35 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13622b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13622d0)
    ]
    Edge  36 <-> 44 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13623d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13622d0)
    ]
    Edge  37 <-> 36 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13622d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13622f0)
    ]
    Edge  37 <-> 45 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13623f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13622f0)
    ]
    Edge  38 <-> 37 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13622f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362310)
    ]
    Edge  38 <-> 46 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362410)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362310)
    ]
    Edge  39 <-> 38 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362310)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362330)
    ]
    Edge  39 <-> 47 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362430)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362330)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362370)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362350)
    ]
    Edge  40 <-> 48 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362450)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362350)
    ]
    Edge  41 <-> 33 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362270)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362370)
    ]
    Edge  42 <-> 41 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362370)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362390)
    ]
    Edge  42 <-> 50 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362490)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362390)
    ]
    Edge  43 <-> 42 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362390)
        Arc: (edge = 0x7fffa72d0880, target = 0x13623b0)
    ]
    Edge  43 <-> 51 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13624b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13623b0)
    ]
    Edge  44 <-> 43 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13623b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13623d0)
    ]
    Edge  44 <-> 52 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13624d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13623d0)
    ]
    Edge  45 <-> 44 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13623d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13623f0)
    ]
    Edge  45 <-> 53 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13624f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13623f0)
    ]
    Edge  46 <-> 45 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13623f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362410)
    ]
    Edge  46 <-> 54 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362510)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362410)
    ]
    Edge  47 <-> 46 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362410)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362430)
    ]
    Edge  47 <-> 55 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362530)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362430)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362470)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362450)
    ]
    Edge  48 <-> 56 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362550)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362450)
    ]
    Edge  49 <-> 41 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362370)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362470)
    ]
    Edge  50 <-> 49 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362470)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362490)
    ]
    Edge  50 <-> 58 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362590)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362490)
    ]
    Edge  51 <-> 50 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362490)
        Arc: (edge = 0x7fffa72d0880, target = 0x13624b0)
    ]
    Edge  51 <-> 59 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13625b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13624b0)
    ]
    Edge  52 <-> 51 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13624b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13624d0)
    ]
    Edge  52 <-> 60 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13625d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13624d0)
    ]
    Edge  53 <-> 52 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13624d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13624f0)
    ]
    Edge  53 <-> 61 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13625f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13624f0)
    ]
    Edge  54 <-> 53 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13624f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362510)
    ]
    Edge  54 <-> 62 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362610)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362510)
    ]
    Edge  55 <-> 54 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362510)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362530)
    ]
    Edge  55 <-> 63 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362630)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362530)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362570)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362550)
    ]
    Edge  57 <-> 49 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362470)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362570)
    ]
    Edge  58 <-> 57 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362570)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362590)
    ]
    Edge  59 <-> 58 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362590)
        Arc: (edge = 0x7fffa72d0880, target = 0x13625b0)
    ]
    Edge  60 <-> 59 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13625b0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13625d0)
    ]
    Edge  61 <-> 60 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13625d0)
        Arc: (edge = 0x7fffa72d0880, target = 0x13625f0)
    ]
    Edge  62 <-> 61 [
        Arc: (edge = 0x7fffa72d0880, target = 0x13625f0)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362610)
    ]
    Edge  63 <-> 62 [
        Arc: (edge = 0x7fffa72d0880, target = 0x1362610)
        Arc: (edge = 0x7fffa72d0880, target = 0x1362630)
    ]
]
Robot arrangement: (|R| = 59, |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 53#36 54#8 55#42 56#38 57#14 58#21 59#32 }
     vertex occupancy: {0#0 13#1 44#2 50#3 0#4 0#5 1#6 41#7 54#8 26#9 7#10 36#11 51#12 43#13 57#14 46#15 6#16 40#17 14#18 38#19 31#20 58#21 21#22 0#23 5#24 34#25 30#26 33#27 18#28 0#29 12#30 4#31 59#32 15#33 37#34 52#35 53#36 28#37 56#38 22#39 16#40 2#41 55#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| = 59, |V| = 64) [
     robot locations: {1#2 2#49 3#1 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#9 45#57 46#18 47#44 48#41 49#22 50#53 51#42 52#8 53#32 54#39 55#61 56#17 57#51 58#3 59#40 }
     vertex occupancy: {0#0 3#1 1#2 58#3 26#4 16#5 35#6 6#7 52#8 44#9 0#10 25#11 5#12 18#13 33#14 7#15 0#16 56#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 53#32 32#33 4#34 34#35 39#36 30#37 43#38 54#39 59#40 48#41 51#42 20#43 47#44 42#45 38#46 10#47 14#48 2#49 28#50 57#51 13#52 50#53 12#54 0#55 0#56 45#57 22#58 41#59 23#60 55#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                = 1451
            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
            ]
        }
]
----------------------------------------------------------------