================================================================
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:1515
4 # 31 ---> 23 (0)
22 # 39 ---> 31 (0)
19 # 47 ---> 39 (0)
49 # 55 ---> 47 (0)
15 # 33 ---> 32 (0)
37 # 34 ---> 33 (0)
55 # 42 ---> 34 (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)
23 # 54 ---> 55 (5)
47 # 62 ---> 54 (5)
45 # 45 ---> 53 (4)
39 # 46 ---> 45 (4)
47 # 54 ---> 46 (6)
35 # 61 ---> 62 (5)
45 # 53 ---> 61 (5)
39 # 45 ---> 53 (5)
47 # 46 ---> 45 (7)
39 # 53 ---> 54 (6)
47 # 45 ---> 53 (8)
28 # 37 ---> 45 (8)
56 # 38 ---> 37 (8)
19 # 39 ---> 38 (8)
49 # 47 ---> 39 (8)
39 # 54 ---> 46 (7)
23 # 55 ---> 54 (7)
39 # 46 ---> 47 (8)
23 # 54 ---> 46 (8)
12 # 30 ---> 29 (0)
22 # 31 ---> 30 (1)
49 # 39 ---> 31 (9)
47 # 53 ---> 54 (9)
42 # 52 ---> 53 (9)
3 # 51 ---> 52 (9)
17 # 50 ---> 51 (9)
8 # 49 ---> 50 (9)
20 # 48 ---> 49 (9)
10 # 56 ---> 48 (9)
11 # 57 ---> 56 (9)
20 # 49 ---> 57 (10)
2 # 41 ---> 49 (10)
16 # 40 ---> 41 (10)
10 # 48 ---> 40 (10)
2 # 49 ---> 48 (11)
16 # 41 ---> 49 (11)
37 # 33 ---> 41 (11)
15 # 32 ---> 33 (11)
10 # 40 ---> 32 (11)
37 # 41 ---> 40 (12)
15 # 33 ---> 41 (12)
10 # 32 ---> 33 (12)
5 # 24 ---> 32 (12)
34 # 25 ---> 24 (12)
30 # 26 ---> 25 (12)
55 # 34 ---> 26 (12)
10 # 33 ---> 34 (13)
30 # 25 ---> 33 (13)
55 # 26 ---> 25 (13)
33 # 27 ---> 26 (13)
52 # 35 ---> 27 (13)
10 # 34 ---> 35 (14)
33 # 26 ---> 34 (14)
52 # 27 ---> 26 (14)
18 # 28 ---> 27 (14)
53 # 36 ---> 28 (14)
10 # 35 ---> 36 (15)
18 # 27 ---> 35 (15)
53 # 28 ---> 27 (15)
12 # 29 ---> 28 (15)
56 # 37 ---> 29 (15)
10 # 36 ---> 37 (16)
12 # 28 ---> 36 (16)
56 # 29 ---> 28 (16)
22 # 30 ---> 29 (16)
19 # 38 ---> 30 (16)
10 # 37 ---> 38 (17)
10 # 38 ---> 39 (18)
23 # 46 ---> 38 (18)
39 # 47 ---> 46 (18)
10 # 39 ---> 47 (19)
22 # 29 ---> 37 (17)
19 # 30 ---> 29 (17)
49 # 31 ---> 30 (17)
26 # 9 ---> 0 (0)
54 # 8 ---> 9 (0)
13 # 1 ---> 8 (0)
26 # 0 ---> 1 (1)
44 # 2 ---> 0 (1)
7 # 10 ---> 2 (1)
54 # 9 ---> 10 (1)
44 # 0 ---> 9 (2)
7 # 2 ---> 0 (2)
50 # 3 ---> 2 (2)
36 # 11 ---> 3 (2)
54 # 10 ---> 11 (2)
50 # 2 ---> 10 (3)
36 # 3 ---> 2 (3)
51 # 12 ---> 4 (0)
54 # 11 ---> 12 (3)
51 # 4 ---> 3 (3)
43 # 13 ---> 5 (0)
54 # 12 ---> 13 (4)
43 # 5 ---> 4 (3)
1 # 6 ---> 5 (3)
57 # 14 ---> 6 (3)
54 # 13 ---> 14 (5)
1 # 5 ---> 13 (5)
57 # 6 ---> 5 (5)
41 # 7 ---> 6 (5)
46 # 15 ---> 7 (5)
54 # 14 ---> 15 (6)
21 # 22 ---> 14 (6)
4 # 23 ---> 22 (6)
54 # 15 ---> 23 (7)
54 # 23 ---> 31 (17)
54 # 31 ---> 39 (19)
49 # 30 ---> 31 (19)
23 # 38 ---> 30 (19)
50 # 10 ---> 11 (4)
44 # 9 ---> 10 (4)
40 # 17 ---> 9 (4)
55 # 25 ---> 17 (14)
30 # 33 ---> 25 (14)
5 # 32 ---> 33 (14)
37 # 40 ---> 32 (14)
15 # 41 ---> 40 (14)
5 # 33 ---> 41 (15)
30 # 25 ---> 33 (15)
34 # 24 ---> 25 (15)
37 # 32 ---> 24 (15)
30 # 33 ---> 32 (16)
34 # 25 ---> 33 (16)
55 # 17 ---> 25 (16)
6 # 16 ---> 17 (16)
37 # 24 ---> 16 (16)
55 # 25 ---> 24 (17)
6 # 17 ---> 25 (17)
37 # 16 ---> 17 (17)
13 # 8 ---> 16 (17)
40 # 9 ---> 8 (17)
44 # 10 ---> 9 (17)
14 # 18 ---> 10 (17)
37 # 17 ---> 18 (18)
44 # 9 ---> 17 (18)
14 # 10 ---> 9 (18)
50 # 11 ---> 10 (18)
38 # 19 ---> 11 (18)
37 # 18 ---> 19 (19)
50 # 10 ---> 18 (19)
38 # 11 ---> 10 (19)
31 # 20 ---> 12 (4)
37 # 19 ---> 20 (20)
31 # 12 ---> 11 (19)
1 # 13 ---> 12 (19)
58 # 21 ---> 13 (19)
37 # 20 ---> 21 (21)
1 # 12 ---> 20 (21)
58 # 13 ---> 12 (21)
21 # 14 ---> 13 (21)
4 # 22 ---> 14 (21)
37 # 21 ---> 22 (22)
37 # 22 ---> 23 (23)
23 # 30 ---> 22 (23)
49 # 31 ---> 30 (23)
37 # 23 ---> 31 (24)
23 # 22 ---> 23 (24)
49 # 30 ---> 22 (24)
50 # 18 ---> 19 (20)
44 # 17 ---> 18 (20)
6 # 25 ---> 17 (20)
34 # 33 ---> 25 (20)
5 # 41 ---> 33 (20)
16 # 49 ---> 41 (20)
2 # 48 ---> 49 (20)
11 # 56 ---> 48 (20)
20 # 57 ---> 56 (20)
2 # 49 ---> 57 (21)
16 # 41 ---> 49 (21)
15 # 40 ---> 41 (21)
11 # 48 ---> 40 (21)
16 # 49 ---> 48 (22)
15 # 41 ---> 49 (22)
5 # 33 ---> 41 (22)
30 # 32 ---> 33 (22)
11 # 40 ---> 32 (22)
5 # 41 ---> 40 (23)
30 # 33 ---> 41 (23)
34 # 25 ---> 33 (23)
55 # 24 ---> 25 (23)
11 # 32 ---> 24 (23)
34 # 33 ---> 32 (24)
55 # 25 ---> 33 (24)
6 # 17 ---> 25 (24)
13 # 16 ---> 17 (24)
11 # 24 ---> 16 (24)
6 # 25 ---> 24 (25)
13 # 17 ---> 25 (25)
14 # 9 ---> 17 (25)
40 # 8 ---> 9 (25)
11 # 16 ---> 8 (25)
14 # 17 ---> 16 (26)
40 # 9 ---> 17 (26)
11 # 8 ---> 9 (26)
26 # 1 ---> 8 (26)
7 # 0 ---> 1 (26)
36 # 2 ---> 0 (26)
38 # 10 ---> 2 (26)
11 # 9 ---> 10 (27)
36 # 0 ---> 9 (27)
38 # 2 ---> 0 (27)
51 # 3 ---> 2 (27)
31 # 11 ---> 3 (27)
11 # 10 ---> 11 (28)
51 # 2 ---> 10 (28)
31 # 3 ---> 2 (28)
43 # 4 ---> 3 (28)
58 # 12 ---> 4 (28)
11 # 11 ---> 12 (29)
43 # 3 ---> 11 (29)
58 # 4 ---> 3 (29)
57 # 5 ---> 4 (29)
21 # 13 ---> 5 (29)
11 # 12 ---> 13 (30)
57 # 4 ---> 12 (30)
21 # 5 ---> 4 (30)
41 # 6 ---> 5 (30)
4 # 14 ---> 6 (30)
11 # 13 ---> 14 (31)
11 # 14 ---> 15 (32)
49 # 22 ---> 14 (32)
23 # 23 ---> 22 (32)
11 # 15 ---> 23 (33)
49 # 14 ---> 15 (33)
23 # 22 ---> 14 (33)
39 # 46 ---> 38 (19)
47 # 54 ---> 46 (19)
57 # 12 ---> 13 (31)
43 # 11 ---> 12 (31)
58 # 3 ---> 11 (31)
31 # 2 ---> 3 (31)
51 # 10 ---> 2 (31)
58 # 11 ---> 10 (32)
43 # 12 ---> 11 (32)
21 # 4 ---> 12 (32)
31 # 3 ---> 4 (32)
43 # 11 ---> 3 (33)
21 # 12 ---> 11 (33)
57 # 13 ---> 12 (33)
41 # 5 ---> 13 (33)
31 # 4 ---> 5 (33)
57 # 12 ---> 4 (34)
41 # 13 ---> 12 (34)
23 # 14 ---> 13 (34)
4 # 6 ---> 14 (34)
31 # 5 ---> 6 (34)
23 # 13 ---> 5 (35)
4 # 14 ---> 13 (35)
31 # 6 ---> 14 (35)
31 # 14 ---> 22 (36)
31 # 22 ---> 30 (37)
23 # 5 ---> 6 (36)
4 # 13 ---> 5 (36)
19 # 29 ---> 21 (22)
22 # 37 ---> 29 (22)
39 # 38 ---> 37 (22)
31 # 30 ---> 38 (38)
22 # 29 ---> 30 (38)
39 # 37 ---> 29 (38)
28 # 45 ---> 37 (38)
47 # 46 ---> 45 (38)
31 # 38 ---> 46 (39)
31 # 46 ---> 54 (40)
47 # 45 ---> 46 (40)
42 # 53 ---> 45 (40)
45 # 61 ---> 53 (40)
35 # 62 ---> 61 (40)
31 # 54 ---> 62 (41)
28 # 37 ---> 38 (39)
12 # 36 ---> 37 (39)
56 # 28 ---> 36 (39)
39 # 29 ---> 28 (39)
22 # 30 ---> 29 (39)
28 # 38 ---> 30 (40)
12 # 37 ---> 38 (40)
42 # 45 ---> 37 (41)
47 # 46 ---> 45 (41)
12 # 38 ---> 46 (41)
12 # 46 ---> 54 (42)
41 # 12 ---> 13 (36)
21 # 11 ---> 12 (36)
58 # 10 ---> 11 (36)
51 # 2 ---> 10 (36)
38 # 0 ---> 2 (36)
36 # 9 ---> 0 (36)
51 # 10 ---> 9 (37)
58 # 11 ---> 10 (37)
43 # 3 ---> 11 (37)
38 # 2 ---> 3 (37)
58 # 10 ---> 2 (38)
43 # 11 ---> 10 (38)
21 # 12 ---> 11 (38)
57 # 4 ---> 12 (38)
38 # 3 ---> 4 (38)
21 # 11 ---> 3 (39)
57 # 12 ---> 11 (39)
41 # 13 ---> 12 (39)
4 # 5 ---> 13 (39)
38 # 4 ---> 5 (39)
41 # 12 ---> 4 (40)
4 # 13 ---> 12 (40)
23 # 6 ---> 14 (37)
38 # 5 ---> 6 (40)
23 # 14 ---> 13 (40)
38 # 6 ---> 14 (41)
38 # 14 ---> 22 (42)
23 # 13 ---> 5 (41)
19 # 21 ---> 13 (41)
22 # 29 ---> 21 (41)
28 # 30 ---> 29 (41)
38 # 22 ---> 30 (43)
38 # 30 ---> 38 (44)
38 # 38 ---> 46 (45)
19 # 13 ---> 14 (42)
4 # 12 ---> 13 (42)
57 # 11 ---> 12 (42)
43 # 10 ---> 11 (42)
58 # 2 ---> 10 (42)
21 # 3 ---> 2 (42)
41 # 4 ---> 3 (42)
57 # 12 ---> 4 (43)
43 # 11 ---> 12 (43)
41 # 3 ---> 11 (43)
57 # 4 ---> 3 (44)
23 # 5 ---> 4 (44)
4 # 13 ---> 5 (44)
43 # 12 ---> 13 (44)
23 # 4 ---> 12 (45)
19 # 14 ---> 6 (43)
43 # 13 ---> 14 (45)
43 # 14 ---> 22 (46)
43 # 22 ---> 30 (47)
43 # 30 ---> 38 (48)
28 # 29 ---> 30 (48)
42 # 37 ---> 29 (48)
23 # 12 ---> 13 (46)
41 # 11 ---> 12 (46)
58 # 10 ---> 11 (46)
44 # 18 ---> 10 (46)
40 # 17 ---> 18 (46)
51 # 9 ---> 17 (46)
44 # 10 ---> 9 (47)
58 # 11 ---> 10 (47)
50 # 19 ---> 11 (47)
40 # 18 ---> 19 (47)
58 # 10 ---> 18 (48)
50 # 11 ---> 10 (48)
41 # 12 ---> 11 (48)
1 # 20 ---> 12 (48)
40 # 19 ---> 20 (48)
41 # 11 ---> 19 (49)
1 # 12 ---> 11 (49)
23 # 13 ---> 12 (49)
22 # 21 ---> 13 (49)
40 # 20 ---> 21 (49)
40 # 21 ---> 22 (50)
42 # 29 ---> 21 (50)
28 # 30 ---> 29 (50)
40 # 22 ---> 30 (51)
42 # 21 ---> 22 (51)
28 # 29 ---> 21 (51)
49 # 15 ---> 14 (46)
28 # 21 ---> 20 (52)
42 # 22 ---> 21 (52)
49 # 14 ---> 22 (52)
22 # 13 ---> 14 (52)
42 # 21 ---> 13 (53)
47 # 45 ---> 37 (48)
45 # 53 ---> 45 (48)
39 # 28 ---> 29 (51)
53 # 27 ---> 28 (51)
52 # 26 ---> 27 (51)
33 # 34 ---> 26 (51)
55 # 33 ---> 34 (51)
13 # 25 ---> 33 (51)
33 # 26 ---> 25 (52)
52 # 27 ---> 26 (52)
18 # 35 ---> 27 (52)
55 # 34 ---> 35 (52)
52 # 26 ---> 34 (53)
18 # 27 ---> 26 (53)
53 # 28 ---> 27 (53)
56 # 36 ---> 28 (53)
55 # 35 ---> 36 (53)
53 # 27 ---> 35 (54)
56 # 28 ---> 27 (54)
39 # 29 ---> 28 (54)
47 # 37 ---> 29 (54)
55 # 36 ---> 37 (54)
32 # 44 ---> 36 (54)
45 # 45 ---> 44 (54)
55 # 37 ---> 45 (55)
55 # 45 ---> 53 (56)
45 # 44 ---> 45 (56)
3 # 52 ---> 44 (56)
9 # 60 ---> 52 (56)
35 # 61 ---> 60 (56)
55 # 53 ---> 61 (57)
45 # 45 ---> 37 (57)
57 # 3 ---> 4 (45)
1 # 11 ---> 3 (50)
50 # 10 ---> 11 (50)
21 # 2 ---> 10 (50)
1 # 3 ---> 2 (51)
57 # 4 ---> 3 (51)
23 # 12 ---> 4 (51)
50 # 11 ---> 12 (51)
57 # 3 ---> 11 (52)
23 # 4 ---> 3 (52)
4 # 5 ---> 4 (52)
42 # 13 ---> 5 (54)
50 # 12 ---> 13 (54)
50 # 13 ---> 21 (55)
28 # 20 ---> 12 (54)
39 # 28 ---> 20 (55)
47 # 29 ---> 28 (55)
50 # 21 ---> 29 (56)
39 # 20 ---> 21 (56)
47 # 28 ---> 20 (56)
32 # 36 ---> 28 (56)
45 # 37 ---> 36 (58)
50 # 29 ---> 37 (58)
50 # 37 ---> 45 (59)
50 # 45 ---> 53 (60)
42 # 5 ---> 13 (55)
4 # 4 ---> 5 (55)
28 # 12 ---> 4 (55)
47 # 20 ---> 12 (57)
39 # 21 ---> 20 (57)
42 # 13 ---> 21 (57)
42 # 21 ---> 29 (58)
42 # 29 ---> 37 (59)
42 # 37 ---> 45 (60)
45 # 36 ---> 37 (60)
53 # 35 ---> 36 (60)
52 # 34 ---> 35 (60)
13 # 33 ---> 34 (60)
30 # 41 ---> 33 (60)
5 # 40 ---> 41 (60)
34 # 32 ---> 40 (60)
6 # 24 ---> 32 (60)
33 # 25 ---> 24 (60)
30 # 33 ---> 25 (61)
13 # 34 ---> 33 (61)
18 # 26 ---> 34 (61)
30 # 25 ---> 26 (62)
51 # 17 ---> 25 (62)
58 # 18 ---> 17 (62)
41 # 19 ---> 18 (62)
56 # 27 ---> 19 (62)
30 # 26 ---> 27 (63)
41 # 18 ---> 26 (63)
56 # 19 ---> 18 (63)
39 # 20 ---> 19 (63)
32 # 28 ---> 20 (63)
30 # 27 ---> 28 (64)
30 # 28 ---> 29 (65)
53 # 36 ---> 28 (65)
45 # 37 ---> 36 (65)
30 # 29 ---> 37 (66)
53 # 28 ---> 29 (66)
45 # 36 ---> 28 (66)
52 # 35 ---> 27 (64)
48 # 43 ---> 35 (64)
17 # 51 ---> 43 (64)
8 # 50 ---> 51 (64)
25 # 42 ---> 50 (64)
18 # 34 ---> 42 (64)
48 # 35 ---> 34 (65)
17 # 43 ---> 35 (65)
18 # 42 ---> 43 (65)
48 # 34 ---> 42 (66)
41 # 26 ---> 34 (66)
52 # 27 ---> 26 (66)
17 # 35 ---> 27 (66)
41 # 34 ---> 35 (67)
52 # 26 ---> 34 (67)
56 # 18 ---> 26 (67)
39 # 19 ---> 18 (67)
17 # 27 ---> 19 (67)
45 # 28 ---> 27 (67)
32 # 20 ---> 28 (67)
17 # 19 ---> 20 (68)
17 # 20 ---> 21 (69)
32 # 28 ---> 20 (69)
53 # 29 ---> 28 (69)
17 # 21 ---> 29 (70)
32 # 20 ---> 21 (70)
53 # 28 ---> 20 (70)
41 # 35 ---> 36 (68)
18 # 43 ---> 35 (68)
8 # 51 ---> 43 (68)
27 # 59 ---> 51 (68)
29 # 58 ---> 59 (68)
25 # 50 ---> 58 (68)
48 # 42 ---> 50 (68)
8 # 43 ---> 42 (69)
27 # 51 ---> 43 (69)
48 # 50 ---> 51 (69)
8 # 42 ---> 50 (70)
52 # 34 ---> 42 (70)
18 # 35 ---> 34 (70)
27 # 43 ---> 35 (70)
52 # 42 ---> 43 (71)
18 # 34 ---> 42 (71)
56 # 26 ---> 34 (71)
45 # 27 ---> 26 (71)
27 # 35 ---> 27 (71)
27 # 27 ---> 19 (72)
45 # 26 ---> 27 (72)
39 # 18 ---> 26 (72)
21 # 10 ---> 18 (72)
57 # 11 ---> 10 (72)
27 # 19 ---> 11 (73)
53 # 20 ---> 19 (73)
47 # 12 ---> 20 (73)
27 # 11 ---> 12 (74)
27 # 12 ---> 13 (75)
47 # 20 ---> 12 (75)
32 # 21 ---> 20 (75)
27 # 13 ---> 21 (76)
47 # 12 ---> 13 (76)
32 # 20 ---> 12 (76)
41 # 36 ---> 28 (70)
3 # 44 ---> 36 (70)
9 # 52 ---> 44 (70)
32 # 12 ---> 11 (77)
28 # 4 ---> 12 (77)
23 # 3 ---> 4 (77)
32 # 11 ---> 3 (78)
28 # 12 ---> 11 (78)
23 # 4 ---> 12 (78)
23 # 12 ---> 20 (79)
32 # 3 ---> 4 (79)
28 # 11 ---> 3 (79)
53 # 19 ---> 11 (79)
45 # 27 ---> 19 (79)
41 # 28 ---> 27 (79)
23 # 20 ---> 28 (80)
45 # 19 ---> 20 (80)
41 # 27 ---> 19 (80)
3 # 36 ---> 35 (71)
23 # 28 ---> 36 (81)
3 # 35 ---> 27 (80)
52 # 43 ---> 35 (80)
9 # 44 ---> 43 (80)
23 # 36 ---> 44 (82)
23 # 44 ---> 52 (83)
9 # 43 ---> 44 (83)
48 # 51 ---> 43 (83)
29 # 59 ---> 51 (83)
35 # 60 ---> 59 (83)
23 # 52 ---> 60 (84)
9 # 44 ---> 36 (84)
3 # 27 ---> 28 (81)
39 # 26 ---> 27 (81)
56 # 34 ---> 26 (81)
13 # 33 ---> 34 (81)
51 # 25 ---> 33 (81)
56 # 26 ---> 25 (82)
39 # 27 ---> 26 (82)
52 # 35 ---> 27 (82)
13 # 34 ---> 35 (82)
39 # 26 ---> 34 (83)
52 # 27 ---> 26 (83)
3 # 28 ---> 27 (83)
9 # 36 ---> 28 (85)
13 # 35 ---> 36 (85)
13 # 36 ---> 44 (86)
13 # 44 ---> 52 (87)
48 # 43 ---> 44 (87)
29 # 51 ---> 43 (87)
47 # 13 ---> 12 (79)
4 # 5 ---> 13 (79)
32 # 4 ---> 5 (80)
28 # 3 ---> 4 (80)
53 # 11 ---> 3 (80)
41 # 19 ---> 11 (81)
45 # 20 ---> 19 (81)
47 # 12 ---> 20 (81)
41 # 11 ---> 12 (82)
45 # 19 ---> 11 (82)
3 # 27 ---> 19 (84)
9 # 28 ---> 27 (86)
47 # 20 ---> 28 (86)
47 # 28 ---> 36 (87)
29 # 43 ---> 35 (88)
48 # 44 ---> 43 (88)
47 # 36 ---> 44 (88)
29 # 35 ---> 36 (89)
48 # 43 ---> 35 (89)
18 # 42 ---> 43 (89)
5 # 41 ---> 42 (89)
51 # 33 ---> 41 (89)
56 # 25 ---> 33 (89)
52 # 26 ---> 25 (89)
39 # 34 ---> 26 (89)
48 # 35 ---> 34 (90)
9 # 27 ---> 35 (90)
39 # 26 ---> 27 (90)
39 # 27 ---> 28 (91)
9 # 35 ---> 27 (91)
29 # 36 ---> 35 (91)
39 # 28 ---> 36 (92)
21 # 18 ---> 26 (90)
57 # 10 ---> 18 (90)
1 # 2 ---> 10 (90)
36 # 0 ---> 2 (90)
44 # 9 ---> 0 (90)
1 # 10 ---> 9 (91)
45 # 11 ---> 10 (91)
53 # 3 ---> 11 (91)
36 # 2 ---> 3 (91)
45 # 10 ---> 2 (92)
53 # 11 ---> 10 (92)
41 # 12 ---> 11 (92)
28 # 4 ---> 12 (92)
36 # 3 ---> 4 (92)
41 # 11 ---> 3 (93)
28 # 12 ---> 11 (93)
36 # 4 ---> 12 (93)
36 # 12 ---> 20 (94)
36 # 20 ---> 28 (95)
3 # 19 ---> 20 (95)
9 # 27 ---> 19 (95)
18 # 43 ---> 51 (90)
5 # 42 ---> 43 (90)
51 # 41 ---> 42 (90)
15 # 49 ---> 41 (90)
16 # 48 ---> 49 (90)
34 # 40 ---> 48 (90)
6 # 32 ---> 40 (90)
56 # 33 ---> 32 (90)
15 # 41 ---> 33 (91)
6 # 40 ---> 41 (91)
56 # 32 ---> 40 (91)
33 # 24 ---> 32 (91)
52 # 25 ---> 24 (91)
15 # 33 ---> 25 (92)
33 # 32 ---> 33 (92)
52 # 24 ---> 32 (92)
14 # 16 ---> 24 (92)
58 # 17 ---> 16 (92)
15 # 25 ---> 17 (93)
14 # 24 ---> 25 (93)
58 # 16 ---> 24 (93)
26 # 8 ---> 16 (93)
1 # 9 ---> 8 (93)
15 # 17 ---> 9 (94)
57 # 18 ---> 17 (94)
53 # 10 ---> 18 (94)
15 # 9 ---> 10 (95)
44 # 0 ---> 9 (95)
45 # 2 ---> 0 (95)
41 # 3 ---> 2 (95)
28 # 11 ---> 3 (95)
15 # 10 ---> 11 (96)
15 # 11 ---> 12 (97)
9 # 19 ---> 11 (97)
3 # 20 ---> 19 (97)
15 # 12 ---> 20 (98)
9 # 11 ---> 12 (98)
3 # 19 ---> 11 (98)
29 # 35 ---> 27 (95)
5 # 43 ---> 35 (95)
18 # 51 ---> 43 (95)
3 # 11 ---> 10 (99)
28 # 3 ---> 11 (99)
41 # 2 ---> 3 (99)
3 # 10 ---> 2 (100)
28 # 11 ---> 10 (100)
41 # 3 ---> 11 (100)
41 # 11 ---> 19 (101)
3 # 2 ---> 3 (101)
28 # 10 ---> 2 (101)
53 # 18 ---> 10 (101)
21 # 26 ---> 18 (101)
29 # 27 ---> 26 (101)
41 # 19 ---> 27 (102)
21 # 18 ---> 19 (102)
29 # 26 ---> 18 (102)
48 # 34 ---> 26 (102)
5 # 35 ---> 34 (102)
41 # 27 ---> 35 (103)
48 # 26 ---> 27 (103)
5 # 34 ---> 26 (103)
51 # 42 ---> 34 (103)
18 # 43 ---> 42 (103)
41 # 35 ---> 43 (104)
41 # 43 ---> 51 (105)
18 # 42 ---> 43 (105)
8 # 50 ---> 42 (105)
25 # 58 ---> 50 (105)
35 # 59 ---> 58 (105)
41 # 51 ---> 59 (106)
18 # 43 ---> 35 (106)
53 # 10 ---> 11 (102)
29 # 18 ---> 10 (103)
57 # 17 ---> 18 (103)
44 # 9 ---> 17 (103)
29 # 10 ---> 9 (104)
53 # 11 ---> 10 (104)
21 # 19 ---> 11 (104)
57 # 18 ---> 19 (104)
5 # 26 ---> 18 (104)
48 # 27 ---> 26 (104)
57 # 19 ---> 27 (105)
5 # 18 ---> 19 (105)
48 # 26 ---> 18 (105)
51 # 34 ---> 26 (105)
18 # 35 ---> 34 (107)
57 # 27 ---> 35 (107)
57 # 35 ---> 43 (108)
57 # 43 ---> 51 (109)
8 # 42 ---> 43 (109)
25 # 50 ---> 42 (109)
16 # 49 ---> 50 (109)
34 # 48 ---> 49 (109)
20 # 56 ---> 48 (109)
2 # 57 ---> 56 (109)
34 # 49 ---> 57 (110)
6 # 41 ---> 49 (110)
56 # 40 ---> 41 (110)
20 # 48 ---> 40 (110)
6 # 49 ---> 48 (111)
56 # 41 ---> 49 (111)
33 # 33 ---> 41 (111)
52 # 32 ---> 33 (111)
20 # 40 ---> 32 (111)
33 # 41 ---> 40 (112)
52 # 33 ---> 41 (112)
20 # 32 ---> 33 (112)
58 # 24 ---> 32 (112)
14 # 25 ---> 24 (112)
51 # 26 ---> 25 (112)
18 # 34 ---> 26 (112)
20 # 33 ---> 34 (113)
20 # 34 ---> 35 (114)
25 # 42 ---> 34 (114)
8 # 43 ---> 42 (114)
20 # 35 ---> 43 (115)
25 # 34 ---> 35 (115)
8 # 42 ---> 34 (115)
52 # 41 ---> 33 (113)
56 # 49 ---> 41 (113)
34 # 57 ---> 49 (113)
2 # 56 ---> 57 (113)
6 # 48 ---> 56 (113)
33 # 40 ---> 48 (113)
56 # 41 ---> 40 (114)
34 # 49 ---> 41 (114)
33 # 48 ---> 49 (114)
56 # 40 ---> 48 (115)
58 # 32 ---> 40 (115)
52 # 33 ---> 32 (115)
34 # 41 ---> 33 (115)
58 # 40 ---> 41 (116)
52 # 32 ---> 40 (116)
14 # 24 ---> 32 (116)
51 # 25 ---> 24 (116)
34 # 33 ---> 25 (116)
8 # 34 ---> 33 (116)
18 # 26 ---> 34 (116)
34 # 25 ---> 26 (117)
34 # 26 ---> 27 (118)
18 # 34 ---> 26 (118)
25 # 35 ---> 34 (118)
34 # 27 ---> 35 (119)
18 # 26 ---> 27 (119)
25 # 34 ---> 26 (119)
3 # 3 ---> 4 (102)
21 # 11 ---> 3 (105)
5 # 19 ---> 11 (106)
22 # 14 ---> 15 (53)
4 # 13 ---> 14 (80)
32 # 5 ---> 13 (81)
19 # 6 ---> 5 (81)
4 # 14 ---> 6 (81)
32 # 13 ---> 14 (82)
9 # 12 ---> 13 (99)
3 # 4 ---> 12 (103)
19 # 5 ---> 4 (103)
9 # 13 ---> 5 (103)
3 # 12 ---> 13 (104)
5 # 11 ---> 12 (107)
21 # 3 ---> 11 (107)
19 # 4 ---> 3 (107)
5 # 12 ---> 4 (108)
21 # 11 ---> 12 (108)
19 # 3 ---> 11 (108)
19 # 11 ---> 19 (109)
25 # 26 ---> 25 (120)
18 # 27 ---> 26 (120)
19 # 19 ---> 27 (120)
48 # 18 ---> 19 (120)
18 # 26 ---> 18 (121)
25 # 25 ---> 26 (121)
8 # 33 ---> 25 (121)
14 # 32 ---> 33 (121)
51 # 24 ---> 32 (121)
26 # 16 ---> 24 (121)
44 # 17 ---> 16 (121)
8 # 25 ---> 17 (122)
26 # 24 ---> 25 (122)
44 # 16 ---> 24 (122)
1 # 8 ---> 16 (122)
29 # 9 ---> 8 (122)
8 # 17 ---> 9 (123)
18 # 18 ---> 17 (123)
53 # 10 ---> 18 (123)
8 # 9 ---> 10 (124)
8 # 10 ---> 11 (125)
53 # 18 ---> 10 (125)
48 # 19 ---> 18 (125)
8 # 11 ---> 19 (126)
53 # 10 ---> 11 (126)
48 # 18 ---> 10 (126)
16 # 50 ---> 42 (115)
5 # 4 ---> 3 (109)
9 # 5 ---> 4 (109)
4 # 6 ---> 5 (109)
32 # 14 ---> 6 (109)
22 # 15 ---> 14 (109)
46 # 7 ---> 15 (109)
32 # 6 ---> 7 (110)
4 # 5 ---> 6 (110)
3 # 13 ---> 5 (110)
22 # 14 ---> 13 (110)
4 # 6 ---> 14 (111)
3 # 5 ---> 6 (111)
9 # 4 ---> 5 (111)
21 # 12 ---> 4 (111)
22 # 13 ---> 12 (111)
9 # 5 ---> 13 (112)
21 # 4 ---> 5 (112)
5 # 3 ---> 4 (112)
53 # 11 ---> 3 (127)
22 # 12 ---> 11 (127)
5 # 4 ---> 12 (127)
53 # 3 ---> 4 (128)
28 # 2 ---> 3 (128)
48 # 10 ---> 2 (128)
22 # 11 ---> 10 (128)
22 # 10 ---> 18 (129)
18 # 17 ---> 9 (124)
26 # 25 ---> 17 (124)
25 # 26 ---> 25 (124)
22 # 18 ---> 26 (130)
22 # 26 ---> 34 (131)
26 # 17 ---> 18 (130)
25 # 25 ---> 17 (130)
14 # 33 ---> 25 (130)
58 # 41 ---> 33 (130)
16 # 42 ---> 41 (130)
22 # 34 ---> 42 (132)
22 # 42 ---> 50 (133)
16 # 41 ---> 42 (133)
33 # 49 ---> 41 (133)
2 # 57 ---> 49 (133)
35 # 58 ---> 57 (133)
22 # 50 ---> 58 (134)
16 # 42 ---> 34 (134)
48 # 2 ---> 10 (129)
28 # 3 ---> 2 (129)
48 # 10 ---> 11 (130)
28 # 2 ---> 10 (130)
45 # 0 ---> 2 (130)
18 # 9 ---> 0 (130)
25 # 17 ---> 9 (131)
26 # 18 ---> 17 (131)
28 # 10 ---> 18 (131)
28 # 18 ---> 26 (132)
25 # 9 ---> 10 (132)
26 # 17 ---> 9 (132)
14 # 25 ---> 17 (132)
58 # 33 ---> 25 (132)
16 # 34 ---> 33 (135)
28 # 26 ---> 34 (135)
28 # 34 ---> 42 (136)
28 # 42 ---> 50 (137)
33 # 41 ---> 42 (137)
2 # 49 ---> 41 (137)
16 # 33 ---> 34 (136)
51 # 32 ---> 33 (136)
44 # 24 ---> 32 (136)
58 # 25 ---> 24 (136)
16 # 34 ---> 26 (137)
51 # 33 ---> 34 (137)
2 # 41 ---> 33 (138)
33 # 42 ---> 41 (138)
51 # 34 ---> 42 (138)
2 # 33 ---> 34 (139)
33 # 41 ---> 33 (139)
16 # 26 ---> 18 (138)
53 # 4 ---> 3 (129)
21 # 5 ---> 4 (129)
9 # 13 ---> 5 (129)
4 # 14 ---> 13 (129)
3 # 6 ---> 14 (129)
9 # 5 ---> 6 (130)
21 # 4 ---> 5 (130)
5 # 12 ---> 4 (130)
4 # 13 ---> 12 (130)
21 # 5 ---> 13 (131)
5 # 4 ---> 5 (131)
53 # 3 ---> 4 (131)
48 # 11 ---> 3 (131)
4 # 12 ---> 11 (131)
53 # 4 ---> 12 (132)
48 # 3 ---> 4 (132)
45 # 2 ---> 3 (132)
25 # 10 ---> 2 (133)
4 # 11 ---> 10 (133)
45 # 3 ---> 11 (133)
25 # 2 ---> 3 (134)
18 # 0 ---> 2 (134)
26 # 9 ---> 0 (134)
14 # 17 ---> 9 (134)
16 # 18 ---> 17 (139)
4 # 10 ---> 18 (139)
4 # 18 ---> 26 (140)
33 # 33 ---> 25 (140)
2 # 34 ---> 33 (140)
4 # 26 ---> 34 (141)
45 # 11 ---> 10 (139)
53 # 12 ---> 11 (139)
21 # 13 ---> 12 (139)
5 # 5 ---> 13 (139)
48 # 4 ---> 5 (139)
25 # 3 ---> 4 (139)
53 # 11 ---> 3 (140)
21 # 12 ---> 11 (140)
25 # 4 ---> 12 (140)
53 # 3 ---> 4 (141)
18 # 2 ---> 3 (141)
45 # 10 ---> 2 (141)
21 # 11 ---> 10 (141)
21 # 10 ---> 18 (142)
21 # 18 ---> 26 (143)
25 # 12 ---> 11 (141)
5 # 13 ---> 12 (141)
3 # 14 ---> 13 (141)
46 # 15 ---> 14 (141)
32 # 7 ---> 15 (141)
9 # 6 ---> 7 (141)
48 # 5 ---> 6 (141)
3 # 13 ---> 5 (142)
46 # 14 ---> 13 (142)
48 # 6 ---> 14 (142)
3 # 5 ---> 6 (143)
53 # 4 ---> 5 (143)
5 # 12 ---> 4 (143)
46 # 13 ---> 12 (143)
53 # 5 ---> 13 (144)
5 # 4 ---> 5 (144)
18 # 3 ---> 4 (144)
25 # 11 ---> 3 (144)
46 # 12 ---> 11 (144)
46 # 11 ---> 10 (145)
46 # 10 ---> 18 (146)
14 # 9 ---> 10 (146)
16 # 17 ---> 9 (146)
56 # 48 ---> 49 (137)
14 # 10 ---> 11 (147)
16 # 9 ---> 10 (147)
29 # 8 ---> 9 (147)
1 # 16 ---> 8 (147)
33 # 25 ---> 17 (146)
58 # 24 ---> 25 (146)
33 # 17 ---> 16 (147)
58 # 25 ---> 17 (147)
2 # 33 ---> 25 (147)
44 # 32 ---> 33 (147)
2 # 25 ---> 24 (148)
44 # 33 ---> 25 (148)
52 # 40 ---> 41 (139)
52 # 41 ---> 33 (148)
56 # 49 ---> 41 (148)
6 # 56 ---> 48 (137)
35 # 57 ---> 56 (137)
14 # 11 ---> 12 (148)
16 # 10 ---> 11 (148)
29 # 9 ---> 10 (148)
26 # 0 ---> 9 (148)
45 # 2 ---> 0 (148)
29 # 10 ---> 2 (149)
26 # 9 ---> 10 (149)
1 # 8 ---> 9 (149)
7 # 1 ---> 8 (149)
45 # 0 ---> 1 (149)
1 # 9 ---> 0 (150)
7 # 8 ---> 9 (150)
45 # 1 ---> 8 (150)
1 # 0 ---> 1 (151)
7 # 9 ---> 0 (151)
58 # 17 ---> 9 (151)
33 # 16 ---> 17 (151)
45 # 8 ---> 16 (151)
58 # 9 ---> 8 (152)
33 # 17 ---> 9 (152)
44 # 25 ---> 17 (152)
2 # 24 ---> 25 (152)
45 # 16 ---> 24 (152)
45 # 24 ---> 32 (153)
45 # 32 ---> 40 (154)
44 # 17 ---> 16 (153)
2 # 25 ---> 17 (153)
52 # 33 ---> 25 (153)
56 # 41 ---> 33 (153)
6 # 48 ---> 49 (148)
45 # 40 ---> 48 (155)
6 # 49 ---> 41 (153)
45 # 48 ---> 49 (156)
35 # 56 ---> 48 (156)
45 # 49 ---> 57 (157)
44 # 16 ---> 24 (154)
58 # 8 ---> 16 (154)
33 # 9 ---> 8 (154)
26 # 10 ---> 9 (154)
16 # 11 ---> 10 (154)
14 # 12 ---> 11 (154)
18 # 4 ---> 12 (154)
25 # 3 ---> 4 (154)
29 # 2 ---> 3 (154)
16 # 10 ---> 2 (155)
14 # 11 ---> 10 (155)
29 # 3 ---> 11 (155)
16 # 2 ---> 3 (156)
7 # 0 ---> 2 (156)
26 # 9 ---> 0 (156)
14 # 10 ---> 9 (156)
7 # 2 ---> 10 (157)
26 # 0 ---> 2 (157)
1 # 1 ---> 0 (157)
33 # 8 ---> 1 (157)
14 # 9 ---> 8 (157)
2 # 17 ---> 9 (157)
58 # 16 ---> 17 (157)
14 # 8 ---> 16 (158)
2 # 9 ---> 8 (158)
58 # 17 ---> 9 (158)
52 # 25 ---> 17 (158)
44 # 24 ---> 25 (158)
14 # 16 ---> 24 (159)
14 # 24 ---> 32 (160)
14 # 32 ---> 40 (161)
56 # 33 ---> 32 (161)
6 # 41 ---> 33 (161)
14 # 40 ---> 41 (162)
35 # 48 ---> 40 (162)
14 # 41 ---> 49 (163)
2 # 8 ---> 16 (159)
2 # 16 ---> 24 (160)
58 # 9 ---> 8 (159)
52 # 17 ---> 9 (159)
44 # 25 ---> 17 (159)
6 # 33 ---> 25 (162)
56 # 32 ---> 33 (162)
2 # 24 ---> 32 (162)
6 # 25 ---> 24 (163)
56 # 33 ---> 25 (163)
35 # 40 ---> 41 (163)
2 # 32 ---> 40 (163)
35 # 41 ---> 33 (164)
2 # 40 ---> 41 (164)
14 # 49 ---> 48 (164)
2 # 41 ---> 49 (165)
6 # 24 ---> 16 (164)
56 # 25 ---> 24 (164)
56 # 24 ---> 32 (165)
35 # 33 ---> 25 (165)
56 # 32 ---> 33 (166)
35 # 25 ---> 24 (166)
44 # 17 ---> 25 (166)
52 # 9 ---> 17 (166)
7 # 10 ---> 9 (166)
29 # 11 ---> 10 (166)
18 # 12 ---> 11 (166)
53 # 13 ---> 12 (166)
48 # 14 ---> 13 (166)
3 # 6 ---> 14 (166)
5 # 5 ---> 6 (166)
25 # 4 ---> 5 (166)
53 # 12 ---> 4 (167)
48 # 13 ---> 12 (167)
25 # 5 ---> 13 (167)
53 # 4 ---> 5 (168)
16 # 3 ---> 4 (168)
18 # 11 ---> 3 (168)
48 # 12 ---> 11 (168)
16 # 4 ---> 12 (169)
18 # 3 ---> 4 (169)
26 # 2 ---> 3 (169)
29 # 10 ---> 2 (169)
48 # 11 ---> 10 (169)
26 # 3 ---> 11 (170)
29 # 2 ---> 3 (170)
1 # 0 ---> 2 (170)
7 # 9 ---> 0 (170)
48 # 10 ---> 9 (170)
1 # 2 ---> 10 (171)
7 # 0 ---> 2 (171)
33 # 1 ---> 0 (171)
58 # 8 ---> 1 (171)
48 # 9 ---> 8 (171)
52 # 17 ---> 9 (171)
6 # 16 ---> 17 (171)
48 # 8 ---> 16 (172)
52 # 9 ---> 8 (172)
6 # 17 ---> 9 (172)
44 # 25 ---> 17 (172)
35 # 24 ---> 25 (172)
48 # 16 ---> 24 (173)
48 # 24 ---> 32 (174)
35 # 25 ---> 24 (174)
56 # 33 ---> 25 (174)
48 # 32 ---> 33 (175)
48 # 33 ---> 41 (176)
52 # 8 ---> 16 (173)
6 # 9 ---> 8 (173)
1 # 10 ---> 9 (173)
26 # 11 ---> 10 (173)
16 # 12 ---> 11 (173)
18 # 4 ---> 12 (173)
53 # 5 ---> 4 (173)
25 # 13 ---> 5 (173)
18 # 12 ---> 13 (174)
16 # 11 ---> 12 (174)
29 # 3 ---> 11 (174)
53 # 4 ---> 3 (174)
16 # 12 ---> 4 (175)
29 # 11 ---> 12 (175)
26 # 10 ---> 11 (175)
7 # 2 ---> 10 (175)
53 # 3 ---> 2 (175)
26 # 11 ---> 3 (176)
7 # 10 ---> 11 (176)
1 # 9 ---> 10 (176)
33 # 0 ---> 9 (176)
53 # 2 ---> 0 (176)
1 # 10 ---> 2 (177)
33 # 9 ---> 10 (177)
6 # 8 ---> 9 (177)
58 # 1 ---> 8 (177)
53 # 0 ---> 1 (177)
6 # 9 ---> 0 (178)
58 # 8 ---> 9 (178)
53 # 1 ---> 8 (178)
6 # 0 ---> 1 (179)
58 # 9 ---> 0 (179)
44 # 17 ---> 9 (179)
52 # 16 ---> 17 (179)
53 # 8 ---> 16 (179)
44 # 9 ---> 8 (180)
52 # 17 ---> 9 (180)
56 # 25 ---> 17 (180)
35 # 24 ---> 25 (180)
53 # 16 ---> 24 (180)
56 # 17 ---> 16 (181)
35 # 25 ---> 17 (181)
53 # 24 ---> 25 (181)
53 # 25 ---> 33 (182)
35 # 17 ---> 25 (182)
52 # 9 ---> 17 (182)
33 # 10 ---> 9 (182)
7 # 11 ---> 10 (182)
29 # 12 ---> 11 (182)
18 # 13 ---> 12 (182)
3 # 14 ---> 13 (182)
32 # 15 ---> 14 (182)
9 # 7 ---> 15 (182)
5 # 6 ---> 7 (182)
25 # 5 ---> 6 (182)
3 # 13 ---> 5 (183)
32 # 14 ---> 13 (183)
25 # 6 ---> 14 (183)
3 # 5 ---> 6 (184)
16 # 4 ---> 5 (184)
18 # 12 ---> 4 (184)
32 # 13 ---> 12 (184)
16 # 5 ---> 13 (185)
18 # 4 ---> 5 (185)
26 # 3 ---> 4 (185)
29 # 11 ---> 3 (185)
32 # 12 ---> 11 (185)
26 # 4 ---> 12 (186)
29 # 3 ---> 4 (186)
1 # 2 ---> 3 (186)
7 # 10 ---> 2 (186)
32 # 11 ---> 10 (186)
1 # 3 ---> 11 (187)
7 # 2 ---> 3 (187)
58 # 0 ---> 2 (187)
33 # 9 ---> 0 (187)
32 # 10 ---> 9 (187)
58 # 2 ---> 10 (188)
33 # 0 ---> 2 (188)
6 # 1 ---> 0 (188)
44 # 8 ---> 1 (188)
32 # 9 ---> 8 (188)
52 # 17 ---> 9 (188)
56 # 16 ---> 17 (188)
32 # 8 ---> 16 (189)
32 # 16 ---> 24 (190)
56 # 17 ---> 16 (190)
35 # 25 ---> 17 (190)
32 # 24 ---> 25 (191)
53 # 33 ---> 32 (183)
32 # 25 ---> 33 (192)
52 # 9 ---> 8 (189)
58 # 10 ---> 9 (189)
1 # 11 ---> 10 (189)
26 # 12 ---> 11 (189)
16 # 13 ---> 12 (189)
25 # 14 ---> 13 (189)
9 # 15 ---> 14 (189)
5 # 7 ---> 15 (189)
3 # 6 ---> 7 (189)
18 # 5 ---> 6 (189)
25 # 13 ---> 5 (190)
9 # 14 ---> 13 (190)
18 # 6 ---> 14 (190)
25 # 5 ---> 6 (191)
29 # 4 ---> 5 (191)
16 # 12 ---> 4 (191)
9 # 13 ---> 12 (191)
29 # 5 ---> 13 (192)
16 # 4 ---> 5 (192)
7 # 3 ---> 4 (192)
26 # 11 ---> 3 (192)
9 # 12 ---> 11 (192)
7 # 4 ---> 12 (193)
26 # 3 ---> 4 (193)
33 # 2 ---> 3 (193)
1 # 10 ---> 2 (193)
9 # 11 ---> 10 (193)
33 # 3 ---> 11 (194)
1 # 2 ---> 3 (194)
6 # 0 ---> 2 (194)
58 # 9 ---> 0 (194)
9 # 10 ---> 9 (194)
6 # 2 ---> 10 (195)
58 # 0 ---> 2 (195)
44 # 1 ---> 0 (195)
52 # 8 ---> 1 (195)
9 # 9 ---> 8 (195)
35 # 17 ---> 9 (195)
56 # 16 ---> 17 (195)
9 # 8 ---> 16 (196)
35 # 9 ---> 8 (196)
56 # 17 ---> 9 (196)
9 # 16 ---> 17 (197)
9 # 17 ---> 25 (198)
56 # 9 ---> 17 (198)
6 # 10 ---> 9 (198)
33 # 11 ---> 10 (198)
7 # 12 ---> 11 (198)
29 # 13 ---> 12 (198)
16 # 5 ---> 13 (198)
26 # 4 ---> 5 (198)
1 # 3 ---> 4 (198)
7 # 11 ---> 3 (199)
29 # 12 ---> 11 (199)
1 # 4 ---> 12 (199)
7 # 3 ---> 4 (200)
58 # 2 ---> 3 (200)
33 # 10 ---> 2 (200)
29 # 11 ---> 10 (200)
58 # 3 ---> 11 (201)
33 # 2 ---> 3 (201)
44 # 0 ---> 2 (201)
6 # 9 ---> 0 (201)
29 # 10 ---> 9 (201)
44 # 2 ---> 10 (202)
6 # 0 ---> 2 (202)
52 # 1 ---> 0 (202)
35 # 8 ---> 1 (202)
29 # 9 ---> 8 (202)
29 # 8 ---> 16 (203)
56 # 17 ---> 9 (202)
29 # 16 ---> 17 (204)
9 # 25 ---> 24 (199)
29 # 17 ---> 25 (205)
35 # 1 ---> 8 (203)
52 # 0 ---> 1 (203)
35 # 8 ---> 16 (204)
52 # 1 ---> 8 (204)
56 # 9 ---> 0 (203)
52 # 8 ---> 9 (205)
56 # 0 ---> 1 (204)
52 # 9 ---> 0 (206)
56 # 1 ---> 8 (205)
56 # 8 ---> 9 (206)
35 # 16 ---> 8 (206)
56 # 9 ---> 17 (207)
52 # 0 ---> 1 (207)
6 # 2 ---> 0 (207)
33 # 3 ---> 2 (207)
7 # 4 ---> 3 (207)
26 # 5 ---> 4 (207)
25 # 6 ---> 5 (207)
44 # 10 ---> 9 (207)
33 # 2 ---> 10 (208)
6 # 0 ---> 2 (208)
44 # 9 ---> 0 (208)
33 # 10 ---> 9 (209)
58 # 11 ---> 10 (209)
7 # 3 ---> 11 (209)
6 # 2 ---> 3 (209)
58 # 10 ---> 2 (210)
7 # 11 ---> 10 (210)
1 # 12 ---> 11 (210)
26 # 4 ---> 12 (210)
6 # 3 ---> 4 (210)
1 # 11 ---> 3 (211)
26 # 12 ---> 11 (211)
16 # 13 ---> 12 (211)
25 # 5 ---> 13 (211)
6 # 4 ---> 5 (211)
6 # 5 ---> 6 (212)
25 # 13 ---> 5 (212)
18 # 14 ---> 13 (212)
6 # 6 ---> 14 (213)
3 # 7 ---> 6 (213)
5 # 15 ---> 7 (213)
6 # 14 ---> 15 (214)
1 # 3 ---> 4 (212)
58 # 2 ---> 3 (212)
7 # 10 ---> 2 (212)
26 # 11 ---> 10 (212)
58 # 3 ---> 11 (213)
7 # 2 ---> 3 (213)
26 # 10 ---> 2 (213)
58 # 11 ---> 10 (214)
16 # 12 ---> 11 (214)
1 # 4 ---> 12 (214)
7 # 3 ---> 4 (214)
16 # 11 ---> 3 (215)
1 # 12 ---> 11 (215)
18 # 13 ---> 12 (215)
25 # 5 ---> 13 (215)
7 # 4 ---> 5 (215)
18 # 12 ---> 4 (216)
25 # 13 ---> 12 (216)
3 # 6 ---> 14 (214)
7 # 5 ---> 6 (216)
3 # 14 ---> 13 (216)
7 # 6 ---> 14 (217)
5 # 7 ---> 6 (217)
6 # 15 ---> 7 (217)
7 # 14 ---> 15 (218)
18 # 4 ---> 5 (217)
16 # 3 ---> 4 (217)
26 # 2 ---> 3 (217)
44 # 0 ---> 2 (217)
52 # 1 ---> 0 (217)
35 # 8 ---> 1 (217)
33 # 9 ---> 8 (217)
52 # 0 ---> 9 (218)
35 # 1 ---> 0 (218)
33 # 8 ---> 1 (218)
52 # 9 ---> 8 (219)
58 # 10 ---> 9 (219)
44 # 2 ---> 10 (219)
35 # 0 ---> 2 (219)
58 # 9 ---> 0 (220)
44 # 10 ---> 9 (220)
1 # 11 ---> 10 (220)
26 # 3 ---> 11 (220)
35 # 2 ---> 3 (220)
1 # 10 ---> 2 (221)
26 # 11 ---> 10 (221)
25 # 12 ---> 11 (221)
16 # 4 ---> 12 (221)
35 # 3 ---> 4 (221)
25 # 11 ---> 3 (222)
16 # 12 ---> 11 (222)
3 # 13 ---> 12 (222)
18 # 5 ---> 13 (222)
35 # 4 ---> 5 (222)
3 # 12 ---> 4 (223)
18 # 13 ---> 12 (223)
35 # 5 ---> 13 (223)
5 # 6 ---> 5 (223)
35 # 13 ---> 14 (224)
18 # 12 ---> 13 (224)
16 # 11 ---> 12 (224)
26 # 10 ---> 11 (224)
44 # 9 ---> 10 (224)
58 # 0 ---> 9 (224)
33 # 1 ---> 0 (224)
52 # 8 ---> 1 (224)
58 # 9 ---> 8 (225)
44 # 10 ---> 9 (225)
1 # 2 ---> 10 (225)
33 # 0 ---> 2 (225)
44 # 9 ---> 0 (226)
1 # 10 ---> 9 (226)
26 # 11 ---> 10 (226)
25 # 3 ---> 11 (226)
33 # 2 ---> 3 (226)
26 # 10 ---> 2 (227)
25 # 11 ---> 10 (227)
16 # 12 ---> 11 (227)
3 # 4 ---> 12 (227)
33 # 3 ---> 4 (227)
16 # 11 ---> 3 (228)
3 # 12 ---> 11 (228)
18 # 13 ---> 12 (228)
5 # 5 ---> 13 (228)
33 # 4 ---> 5 (228)
18 # 12 ---> 4 (229)
5 # 13 ---> 12 (229)
33 # 5 ---> 13 (229)
35 # 14 ---> 6 (225)
33 # 13 ---> 14 (230)
18 # 4 ---> 5 (230)
16 # 3 ---> 4 (230)
3 # 11 ---> 3 (230)
5 # 12 ---> 11 (230)
16 # 4 ---> 12 (231)
18 # 5 ---> 4 (231)
16 # 12 ---> 13 (232)
18 # 4 ---> 12 (232)
16 # 13 ---> 5 (233)
18 # 12 ---> 13 (233)
3 # 3 ---> 4 (232)
26 # 2 ---> 3 (232)
25 # 10 ---> 2 (232)
5 # 11 ---> 10 (232)
26 # 3 ---> 11 (233)
3 # 4 ---> 3 (233)
26 # 11 ---> 12 (234)
3 # 3 ---> 11 (234)
25 # 2 ---> 3 (234)
5 # 10 ---> 2 (234)
3 # 11 ---> 10 (235)
25 # 3 ---> 11 (235)
5 # 2 ---> 3 (235)
3 # 10 ---> 2 (236)
25 # 11 ---> 10 (236)
5 # 3 ---> 11 (236)
26 # 12 ---> 4 (235)
5 # 11 ---> 12 (237)
3 # 2 ---> 3 (237)
44 # 0 ---> 2 (237)
52 # 1 ---> 0 (237)
58 # 8 ---> 1 (237)
1 # 9 ---> 8 (237)
52 # 0 ---> 9 (238)
58 # 1 ---> 0 (238)
1 # 8 ---> 1 (238)
52 # 9 ---> 8 (239)
25 # 10 ---> 9 (239)
44 # 2 ---> 10 (239)
58 # 0 ---> 2 (239)
25 # 9 ---> 0 (240)
44 # 10 ---> 9 (240)
58 # 2 ---> 10 (240)
3 # 3 ---> 2 (240)
58 # 10 ---> 11 (241)
3 # 2 ---> 10 (241)
25 # 0 ---> 2 (241)
44 # 9 ---> 0 (241)
3 # 10 ---> 9 (242)
25 # 2 ---> 10 (242)
58 # 11 ---> 3 (242)
25 # 10 ---> 11 (243)
44 # 0 ---> 2 (242)
1 # 1 ---> 0 (242)
52 # 8 ---> 1 (242)
3 # 9 ---> 8 (243)
1 # 0 ---> 9 (243)
44 # 2 ---> 0 (243)
1 # 9 ---> 10 (244)
44 # 0 ---> 9 (244)
52 # 1 ---> 0 (244)
3 # 8 ---> 1 (244)
52 # 0 ---> 2 (245)
3 # 1 ---> 0 (245)
44 # 9 ---> 8 (245)
3 # 0 ---> 9 (246)
44 # 8 ---> 1 (246)
3 # 9 ---> 8 (247)
52 # 2 ---> 0 (246)
1 # 10 ---> 2 (246)
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 = 0x7fffed44eb10, target = 0x1a7de70)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7de50)
    ]
    Edge  1 <-> 8 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df50)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7de70)
    ]
    Edge  2 <-> 0 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7de50)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7de90)
    ]
    Edge  3 <-> 2 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7de90)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7deb0)
    ]
    Edge  4 <-> 3 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7deb0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7ded0)
    ]
    Edge  5 <-> 4 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7ded0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7def0)
    ]
    Edge  6 <-> 5 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7def0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df10)
    ]
    Edge  7 <-> 6 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df10)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df30)
    ]
    Edge  8 <-> 9 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df70)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df50)
    ]
    Edge  8 <-> 16 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e050)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df50)
    ]
    Edge  9 <-> 0 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7de50)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df70)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df90)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df70)
    ]
    Edge  10 <-> 2 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7de90)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df90)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dfb0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df90)
    ]
    Edge  10 <-> 18 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e090)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df90)
    ]
    Edge  11 <-> 3 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7deb0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dfb0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dfd0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dfb0)
    ]
    Edge  11 <-> 19 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dfb0)
    ]
    Edge  12 <-> 4 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7ded0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dfd0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dff0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dfd0)
    ]
    Edge  12 <-> 20 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dfd0)
    ]
    Edge  13 <-> 5 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7def0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dff0)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e010)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dff0)
    ]
    Edge  13 <-> 21 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7dff0)
    ]
    Edge  14 <-> 6 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df10)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e010)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e030)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e010)
    ]
    Edge  14 <-> 22 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e110)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e010)
    ]
    Edge  15 <-> 7 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df30)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e030)
    ]
    Edge  15 <-> 23 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e130)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e030)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e070)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e050)
    ]
    Edge  16 <-> 24 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e150)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e050)
    ]
    Edge  17 <-> 9 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7df70)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e070)
    ]
    Edge  18 <-> 17 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e070)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e090)
    ]
    Edge  18 <-> 26 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e190)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e090)
    ]
    Edge  19 <-> 18 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e090)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0b0)
    ]
    Edge  19 <-> 27 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0b0)
    ]
    Edge  20 <-> 19 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0d0)
    ]
    Edge  20 <-> 28 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0d0)
    ]
    Edge  21 <-> 20 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0f0)
    ]
    Edge  21 <-> 29 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0f0)
    ]
    Edge  22 <-> 21 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e0f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e110)
    ]
    Edge  22 <-> 30 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e210)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e110)
    ]
    Edge  23 <-> 22 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e110)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e130)
    ]
    Edge  23 <-> 31 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e230)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e130)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e170)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e150)
    ]
    Edge  24 <-> 32 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e250)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e150)
    ]
    Edge  25 <-> 17 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e070)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e170)
    ]
    Edge  26 <-> 25 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e170)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e190)
    ]
    Edge  26 <-> 34 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e290)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e190)
    ]
    Edge  27 <-> 26 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e190)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1b0)
    ]
    Edge  27 <-> 35 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1b0)
    ]
    Edge  28 <-> 27 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1d0)
    ]
    Edge  28 <-> 36 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1d0)
    ]
    Edge  29 <-> 28 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1f0)
    ]
    Edge  29 <-> 37 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1f0)
    ]
    Edge  30 <-> 29 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e1f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e210)
    ]
    Edge  30 <-> 38 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e310)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e210)
    ]
    Edge  31 <-> 30 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e210)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e230)
    ]
    Edge  31 <-> 39 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e330)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e230)
    ]
    Edge  32 <-> 33 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e270)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e250)
    ]
    Edge  32 <-> 40 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e350)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e250)
    ]
    Edge  33 <-> 25 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e170)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e270)
    ]
    Edge  34 <-> 33 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e270)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e290)
    ]
    Edge  34 <-> 42 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e390)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e290)
    ]
    Edge  35 <-> 34 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e290)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2b0)
    ]
    Edge  35 <-> 43 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2b0)
    ]
    Edge  36 <-> 35 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2d0)
    ]
    Edge  36 <-> 44 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2d0)
    ]
    Edge  37 <-> 36 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2f0)
    ]
    Edge  37 <-> 45 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2f0)
    ]
    Edge  38 <-> 37 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e2f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e310)
    ]
    Edge  38 <-> 46 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e410)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e310)
    ]
    Edge  39 <-> 38 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e310)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e330)
    ]
    Edge  39 <-> 47 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e430)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e330)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e370)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e350)
    ]
    Edge  40 <-> 48 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e450)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e350)
    ]
    Edge  41 <-> 33 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e270)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e370)
    ]
    Edge  42 <-> 41 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e370)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e390)
    ]
    Edge  42 <-> 50 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e490)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e390)
    ]
    Edge  43 <-> 42 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e390)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3b0)
    ]
    Edge  43 <-> 51 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3b0)
    ]
    Edge  44 <-> 43 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3d0)
    ]
    Edge  44 <-> 52 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3d0)
    ]
    Edge  45 <-> 44 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3f0)
    ]
    Edge  45 <-> 53 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3f0)
    ]
    Edge  46 <-> 45 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e3f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e410)
    ]
    Edge  46 <-> 54 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e510)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e410)
    ]
    Edge  47 <-> 46 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e410)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e430)
    ]
    Edge  47 <-> 55 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e530)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e430)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e470)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e450)
    ]
    Edge  48 <-> 56 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e550)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e450)
    ]
    Edge  49 <-> 41 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e370)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e470)
    ]
    Edge  50 <-> 49 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e470)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e490)
    ]
    Edge  50 <-> 58 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e590)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e490)
    ]
    Edge  51 <-> 50 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e490)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4b0)
    ]
    Edge  51 <-> 59 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e5b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4b0)
    ]
    Edge  52 <-> 51 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4d0)
    ]
    Edge  52 <-> 60 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e5d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4d0)
    ]
    Edge  53 <-> 52 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4f0)
    ]
    Edge  53 <-> 61 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e5f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4f0)
    ]
    Edge  54 <-> 53 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e4f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e510)
    ]
    Edge  54 <-> 62 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e610)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e510)
    ]
    Edge  55 <-> 54 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e510)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e530)
    ]
    Edge  55 <-> 63 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e630)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e530)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e570)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e550)
    ]
    Edge  57 <-> 49 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e470)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e570)
    ]
    Edge  58 <-> 57 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e570)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e590)
    ]
    Edge  59 <-> 58 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e590)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e5b0)
    ]
    Edge  60 <-> 59 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e5b0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e5d0)
    ]
    Edge  61 <-> 60 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e5d0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e5f0)
    ]
    Edge  62 <-> 61 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e5f0)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e610)
    ]
    Edge  63 <-> 62 [
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e610)
        Arc: (edge = 0x7fffed44eb10, target = 0x1a7e630)
    ]
]
Robot arrangement: (|R| = 58, |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 }
     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 0#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| = 58, |V| = 64) [
     robot locations: {1#2 2#49 3#8 4#34 5#12 6#7 7#15 8#19 9#24 10#47 11#23 12#54 13#52 14#48 15#20 16#5 17#29 18#13 19#27 20#43 21#26 22#58 23#60 24#63 25#11 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#0 53#32 54#39 55#61 56#17 57#51 58#3 }
     vertex occupancy: {52#0 44#1 1#2 58#3 26#4 16#5 35#6 6#7 3#8 0#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 0#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                = 1515
            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
            ]
        }
]
----------------------------------------------------------------