================================================================
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:1797
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)
60 # 5 ---> 4 (0)
1 # 6 ---> 5 (0)
41 # 7 ---> 6 (0)
46 # 15 ---> 7 (0)
4 # 23 ---> 15 (1)
22 # 31 ---> 23 (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)
61 # 29 ---> 28 (6)
56 # 37 ---> 29 (9)
10 # 36 ---> 37 (9)
61 # 28 ---> 36 (9)
56 # 29 ---> 28 (10)
12 # 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)
12 # 29 ---> 37 (11)
49 # 30 ---> 29 (11)
19 # 31 ---> 30 (11)
22 # 23 ---> 31 (11)
4 # 15 ---> 23 (11)
57 # 14 ---> 15 (11)
43 # 13 ---> 14 (11)
51 # 12 ---> 13 (11)
36 # 11 ---> 12 (11)
7 # 10 ---> 11 (11)
40 # 9 ---> 10 (11)
54 # 8 ---> 9 (11)
13 # 1 ---> 8 (11)
26 # 0 ---> 1 (11)
44 # 2 ---> 0 (11)
40 # 10 ---> 2 (12)
54 # 9 ---> 10 (12)
44 # 0 ---> 9 (12)
40 # 2 ---> 0 (13)
50 # 3 ---> 2 (13)
7 # 11 ---> 3 (13)
54 # 10 ---> 11 (13)
50 # 2 ---> 10 (14)
7 # 3 ---> 2 (14)
60 # 4 ---> 3 (14)
36 # 12 ---> 4 (14)
54 # 11 ---> 12 (14)
60 # 3 ---> 11 (15)
36 # 4 ---> 3 (15)
1 # 5 ---> 4 (15)
51 # 13 ---> 5 (15)
54 # 12 ---> 13 (15)
1 # 4 ---> 12 (16)
51 # 5 ---> 4 (16)
41 # 6 ---> 5 (16)
43 # 14 ---> 6 (16)
54 # 13 ---> 14 (16)
41 # 5 ---> 13 (17)
43 # 6 ---> 5 (17)
46 # 7 ---> 6 (17)
57 # 15 ---> 7 (17)
54 # 14 ---> 15 (17)
21 # 22 ---> 14 (17)
4 # 23 ---> 22 (17)
54 # 15 ---> 23 (18)
21 # 14 ---> 15 (18)
4 # 22 ---> 14 (18)
19 # 30 ---> 22 (18)
22 # 31 ---> 30 (18)
54 # 23 ---> 31 (19)
54 # 31 ---> 39 (20)
22 # 30 ---> 31 (20)
19 # 22 ---> 30 (20)
58 # 21 ---> 22 (20)
31 # 20 ---> 21 (20)
38 # 19 ---> 20 (20)
14 # 18 ---> 19 (20)
34 # 17 ---> 18 (20)
37 # 25 ---> 17 (20)
52 # 26 ---> 25 (20)
34 # 18 ---> 26 (21)
37 # 17 ---> 18 (21)
44 # 9 ---> 17 (21)
50 # 10 ---> 9 (21)
60 # 11 ---> 10 (21)
14 # 19 ---> 11 (21)
37 # 18 ---> 19 (22)
60 # 10 ---> 18 (22)
14 # 11 ---> 10 (22)
1 # 12 ---> 11 (22)
38 # 20 ---> 12 (22)
37 # 19 ---> 20 (23)
1 # 11 ---> 19 (23)
38 # 12 ---> 11 (23)
41 # 13 ---> 12 (23)
31 # 21 ---> 13 (23)
37 # 20 ---> 21 (24)
41 # 12 ---> 20 (24)
31 # 13 ---> 12 (24)
4 # 14 ---> 13 (24)
58 # 22 ---> 14 (24)
37 # 21 ---> 22 (25)
37 # 22 ---> 23 (26)
19 # 30 ---> 22 (26)
22 # 31 ---> 30 (26)
37 # 23 ---> 31 (27)
19 # 22 ---> 23 (27)
22 # 30 ---> 22 (27)
4 # 13 ---> 21 (25)
58 # 14 ---> 13 (25)
21 # 15 ---> 14 (25)
49 # 29 ---> 30 (27)
56 # 28 ---> 29 (27)
53 # 27 ---> 28 (27)
34 # 26 ---> 27 (27)
52 # 25 ---> 26 (27)
30 # 33 ---> 25 (27)
59 # 41 ---> 33 (27)
16 # 49 ---> 41 (27)
8 # 48 ---> 49 (27)
11 # 56 ---> 48 (27)
20 # 57 ---> 56 (27)
8 # 49 ---> 57 (28)
16 # 41 ---> 49 (28)
2 # 40 ---> 41 (28)
11 # 48 ---> 40 (28)
16 # 49 ---> 48 (29)
2 # 41 ---> 49 (29)
59 # 33 ---> 41 (29)
5 # 32 ---> 33 (29)
11 # 40 ---> 32 (29)
59 # 41 ---> 40 (30)
5 # 33 ---> 41 (30)
30 # 25 ---> 33 (30)
15 # 24 ---> 25 (30)
11 # 32 ---> 24 (30)
30 # 33 ---> 32 (31)
15 # 25 ---> 33 (31)
44 # 17 ---> 25 (31)
6 # 16 ---> 17 (31)
11 # 24 ---> 16 (31)
44 # 25 ---> 24 (32)
6 # 17 ---> 25 (32)
50 # 9 ---> 17 (32)
13 # 8 ---> 9 (32)
11 # 16 ---> 8 (32)
50 # 17 ---> 16 (33)
13 # 9 ---> 17 (33)
11 # 8 ---> 9 (33)
26 # 1 ---> 8 (33)
40 # 0 ---> 1 (33)
7 # 2 ---> 0 (33)
14 # 10 ---> 2 (33)
11 # 9 ---> 10 (34)
7 # 0 ---> 9 (34)
14 # 2 ---> 0 (34)
36 # 3 ---> 2 (34)
38 # 11 ---> 3 (34)
11 # 10 ---> 11 (35)
36 # 2 ---> 10 (35)
38 # 3 ---> 2 (35)
51 # 4 ---> 3 (35)
31 # 12 ---> 4 (35)
11 # 11 ---> 12 (36)
51 # 3 ---> 11 (36)
31 # 4 ---> 3 (36)
43 # 5 ---> 4 (36)
58 # 13 ---> 5 (36)
11 # 12 ---> 13 (37)
43 # 4 ---> 12 (37)
58 # 5 ---> 4 (37)
46 # 6 ---> 5 (37)
21 # 14 ---> 6 (37)
11 # 13 ---> 14 (38)
11 # 14 ---> 15 (39)
22 # 22 ---> 14 (39)
19 # 23 ---> 22 (39)
11 # 15 ---> 23 (40)
22 # 14 ---> 15 (40)
19 # 22 ---> 14 (40)
49 # 30 ---> 22 (40)
39 # 38 ---> 30 (40)
32 # 46 ---> 38 (40)
23 # 54 ---> 46 (40)
43 # 12 ---> 13 (38)
58 # 4 ---> 12 (38)
31 # 3 ---> 4 (38)
51 # 11 ---> 3 (38)
58 # 12 ---> 11 (39)
43 # 13 ---> 12 (39)
46 # 5 ---> 13 (39)
31 # 4 ---> 5 (39)
43 # 12 ---> 4 (40)
46 # 13 ---> 12 (40)
19 # 14 ---> 13 (41)
21 # 6 ---> 14 (41)
31 # 5 ---> 6 (41)
19 # 13 ---> 5 (42)
21 # 14 ---> 13 (42)
31 # 6 ---> 14 (42)
19 # 5 ---> 6 (43)
21 # 13 ---> 5 (43)
4 # 21 ---> 13 (43)
49 # 22 ---> 21 (43)
31 # 14 ---> 22 (43)
4 # 13 ---> 14 (44)
49 # 21 ---> 13 (44)
56 # 29 ---> 21 (44)
39 # 30 ---> 29 (44)
31 # 22 ---> 30 (44)
56 # 21 ---> 22 (45)
39 # 29 ---> 21 (45)
12 # 37 ---> 29 (45)
32 # 38 ---> 37 (45)
31 # 30 ---> 38 (45)
12 # 29 ---> 30 (46)
32 # 37 ---> 29 (46)
28 # 45 ---> 37 (46)
23 # 46 ---> 45 (46)
31 # 38 ---> 46 (46)
31 # 46 ---> 54 (47)
23 # 45 ---> 46 (47)
47 # 53 ---> 45 (47)
45 # 61 ---> 53 (47)
35 # 62 ---> 61 (47)
31 # 54 ---> 62 (48)
12 # 30 ---> 38 (47)
32 # 29 ---> 30 (47)
28 # 37 ---> 29 (47)
47 # 45 ---> 37 (48)
23 # 46 ---> 45 (48)
12 # 38 ---> 46 (48)
12 # 46 ---> 54 (49)
32 # 30 ---> 38 (48)
56 # 22 ---> 30 (48)
4 # 14 ---> 22 (48)
49 # 13 ---> 14 (48)
46 # 12 ---> 13 (48)
58 # 11 ---> 12 (48)
51 # 3 ---> 11 (48)
38 # 2 ---> 3 (48)
36 # 10 ---> 2 (48)
51 # 11 ---> 10 (49)
58 # 12 ---> 11 (49)
43 # 4 ---> 12 (49)
38 # 3 ---> 4 (49)
58 # 11 ---> 3 (50)
43 # 12 ---> 11 (50)
46 # 13 ---> 12 (50)
21 # 5 ---> 13 (50)
38 # 4 ---> 5 (50)
46 # 12 ---> 4 (51)
21 # 13 ---> 12 (51)
49 # 14 ---> 13 (51)
19 # 6 ---> 14 (51)
38 # 5 ---> 6 (51)
49 # 13 ---> 5 (52)
19 # 14 ---> 13 (52)
38 # 6 ---> 14 (52)
49 # 5 ---> 6 (53)
19 # 13 ---> 5 (53)
39 # 21 ---> 13 (53)
4 # 22 ---> 21 (53)
38 # 14 ---> 22 (53)
39 # 13 ---> 14 (54)
4 # 21 ---> 13 (54)
28 # 29 ---> 21 (54)
56 # 30 ---> 29 (54)
38 # 22 ---> 30 (54)
28 # 21 ---> 22 (55)
56 # 29 ---> 21 (55)
47 # 37 ---> 29 (55)
32 # 38 ---> 37 (55)
38 # 30 ---> 38 (55)
38 # 38 ---> 46 (56)
28 # 22 ---> 30 (56)
39 # 14 ---> 22 (56)
4 # 13 ---> 14 (56)
21 # 12 ---> 13 (56)
43 # 11 ---> 12 (56)
58 # 3 ---> 11 (56)
46 # 4 ---> 3 (56)
19 # 5 ---> 4 (56)
21 # 13 ---> 5 (57)
43 # 12 ---> 13 (57)
19 # 4 ---> 12 (57)
21 # 5 ---> 4 (58)
49 # 6 ---> 5 (58)
4 # 14 ---> 6 (58)
43 # 13 ---> 14 (58)
56 # 21 ---> 13 (58)
39 # 22 ---> 21 (58)
43 # 14 ---> 22 (59)
56 # 13 ---> 14 (59)
39 # 21 ---> 13 (59)
47 # 29 ---> 21 (59)
28 # 30 ---> 29 (59)
43 # 22 ---> 30 (60)
43 # 30 ---> 38 (61)
56 # 14 ---> 22 (60)
39 # 13 ---> 14 (60)
19 # 12 ---> 13 (60)
58 # 11 ---> 12 (60)
51 # 10 ---> 11 (60)
7 # 9 ---> 10 (60)
14 # 0 ---> 9 (60)
40 # 1 ---> 0 (60)
26 # 8 ---> 1 (60)
14 # 9 ---> 8 (61)
7 # 10 ---> 9 (61)
36 # 2 ---> 10 (61)
40 # 0 ---> 2 (61)
7 # 9 ---> 0 (62)
36 # 10 ---> 9 (62)
51 # 11 ---> 10 (62)
46 # 3 ---> 11 (62)
40 # 2 ---> 3 (62)
51 # 10 ---> 2 (63)
46 # 11 ---> 10 (63)
58 # 12 ---> 11 (63)
21 # 4 ---> 12 (63)
40 # 3 ---> 4 (63)
58 # 11 ---> 3 (64)
21 # 12 ---> 11 (64)
19 # 13 ---> 12 (64)
49 # 5 ---> 13 (64)
40 # 4 ---> 5 (64)
19 # 12 ---> 4 (65)
49 # 13 ---> 12 (65)
39 # 14 ---> 13 (65)
4 # 6 ---> 14 (65)
40 # 5 ---> 6 (65)
39 # 13 ---> 5 (66)
4 # 14 ---> 13 (66)
40 # 6 ---> 14 (66)
39 # 5 ---> 6 (67)
4 # 13 ---> 5 (67)
47 # 21 ---> 13 (67)
56 # 22 ---> 21 (67)
40 # 14 ---> 22 (67)
40 # 22 ---> 30 (68)
56 # 21 ---> 22 (68)
28 # 29 ---> 21 (68)
47 # 13 ---> 14 (68)
49 # 12 ---> 13 (68)
19 # 4 ---> 12 (68)
4 # 5 ---> 4 (68)
39 # 6 ---> 5 (68)
47 # 14 ---> 6 (69)
49 # 13 ---> 14 (69)
28 # 21 ---> 13 (69)
56 # 22 ---> 21 (69)
49 # 14 ---> 22 (70)
28 # 13 ---> 14 (70)
56 # 21 ---> 13 (70)
32 # 37 ---> 29 (68)
23 # 45 ---> 37 (68)
45 # 53 ---> 45 (68)
42 # 52 ---> 53 (68)
3 # 51 ---> 52 (68)
55 # 50 ---> 51 (68)
17 # 42 ---> 50 (68)
25 # 43 ---> 42 (68)
48 # 44 ---> 43 (68)
3 # 52 ---> 44 (69)
55 # 51 ---> 52 (69)
48 # 43 ---> 51 (69)
3 # 44 ---> 43 (70)
45 # 45 ---> 44 (70)
42 # 53 ---> 45 (70)
55 # 52 ---> 53 (70)
9 # 60 ---> 52 (70)
35 # 61 ---> 60 (70)
55 # 53 ---> 61 (71)
41 # 20 ---> 21 (70)
1 # 19 ---> 20 (70)
60 # 18 ---> 19 (70)
13 # 17 ---> 18 (70)
50 # 16 ---> 17 (70)
14 # 8 ---> 16 (70)
36 # 9 ---> 8 (70)
46 # 10 ---> 9 (70)
13 # 18 ---> 10 (71)
50 # 17 ---> 18 (71)
46 # 9 ---> 17 (71)
13 # 10 ---> 9 (72)
21 # 11 ---> 10 (72)
60 # 19 ---> 11 (72)
50 # 18 ---> 19 (72)
21 # 10 ---> 18 (73)
60 # 11 ---> 10 (73)
19 # 12 ---> 11 (73)
1 # 20 ---> 12 (73)
50 # 19 ---> 20 (73)
19 # 11 ---> 19 (74)
1 # 12 ---> 11 (74)
56 # 13 ---> 12 (74)
41 # 21 ---> 13 (74)
50 # 20 ---> 21 (74)
53 # 28 ---> 20 (74)
32 # 29 ---> 28 (74)
50 # 21 ---> 29 (75)
53 # 20 ---> 21 (75)
32 # 28 ---> 20 (75)
61 # 36 ---> 28 (75)
23 # 37 ---> 36 (75)
50 # 29 ---> 37 (76)
61 # 28 ---> 29 (76)
23 # 36 ---> 28 (76)
45 # 44 ---> 36 (76)
42 # 45 ---> 44 (76)
50 # 37 ---> 45 (77)
50 # 45 ---> 53 (78)
42 # 44 ---> 45 (78)
61 # 29 ---> 37 (77)
23 # 28 ---> 29 (77)
34 # 27 ---> 28 (77)
52 # 26 ---> 27 (77)
6 # 25 ---> 26 (77)
44 # 24 ---> 25 (77)
30 # 32 ---> 24 (77)
15 # 33 ---> 32 (77)
44 # 25 ---> 33 (78)
30 # 24 ---> 25 (78)
14 # 16 ---> 24 (78)
46 # 17 ---> 16 (78)
21 # 18 ---> 17 (78)
6 # 26 ---> 18 (78)
30 # 25 ---> 26 (79)
21 # 17 ---> 25 (79)
6 # 18 ---> 17 (79)
19 # 19 ---> 18 (79)
52 # 27 ---> 19 (79)
30 # 26 ---> 27 (80)
19 # 18 ---> 26 (80)
52 # 19 ---> 18 (80)
32 # 20 ---> 19 (80)
34 # 28 ---> 20 (80)
30 # 27 ---> 28 (81)
32 # 19 ---> 27 (81)
34 # 20 ---> 19 (81)
53 # 21 ---> 20 (81)
23 # 29 ---> 21 (81)
30 # 28 ---> 29 (82)
45 # 36 ---> 28 (82)
61 # 37 ---> 36 (82)
30 # 29 ---> 37 (83)
45 # 28 ---> 29 (83)
53 # 20 ---> 28 (83)
23 # 21 ---> 20 (83)
3 # 43 ---> 44 (78)
25 # 42 ---> 43 (78)
17 # 50 ---> 42 (78)
2 # 49 ---> 50 (78)
5 # 41 ---> 49 (78)
44 # 33 ---> 41 (79)
33 # 34 ---> 33 (79)
17 # 42 ---> 34 (79)
44 # 41 ---> 42 (80)
33 # 33 ---> 41 (80)
21 # 25 ---> 33 (80)
19 # 26 ---> 25 (81)
17 # 34 ---> 26 (81)
21 # 33 ---> 34 (81)
19 # 25 ---> 33 (82)
6 # 17 ---> 25 (82)
52 # 18 ---> 17 (82)
17 # 26 ---> 18 (82)
32 # 27 ---> 26 (82)
34 # 19 ---> 27 (82)
17 # 18 ---> 19 (83)
60 # 10 ---> 18 (83)
1 # 11 ---> 10 (83)
56 # 12 ---> 11 (83)
23 # 20 ---> 12 (84)
17 # 19 ---> 20 (84)
17 # 20 ---> 21 (85)
53 # 28 ---> 20 (85)
45 # 29 ---> 28 (85)
17 # 21 ---> 29 (86)
53 # 20 ---> 21 (86)
45 # 28 ---> 20 (86)
56 # 11 ---> 19 (84)
23 # 12 ---> 11 (85)
41 # 13 ---> 12 (85)
34 # 27 ---> 28 (86)
18 # 35 ---> 27 (86)
25 # 43 ---> 35 (86)
48 # 51 ---> 43 (86)
27 # 59 ---> 51 (86)
29 # 58 ---> 59 (86)
2 # 50 ---> 58 (86)
44 # 42 ---> 50 (86)
48 # 43 ---> 42 (87)
27 # 51 ---> 43 (87)
44 # 50 ---> 51 (87)
48 # 42 ---> 50 (88)
21 # 34 ---> 42 (88)
25 # 35 ---> 34 (88)
27 # 43 ---> 35 (88)
21 # 42 ---> 43 (89)
25 # 34 ---> 42 (89)
32 # 26 ---> 34 (89)
18 # 27 ---> 26 (89)
27 # 35 ---> 27 (89)
32 # 34 ---> 35 (90)
18 # 26 ---> 34 (90)
60 # 18 ---> 26 (90)
56 # 19 ---> 18 (90)
27 # 27 ---> 19 (90)
60 # 26 ---> 27 (91)
56 # 18 ---> 26 (91)
1 # 10 ---> 18 (91)
23 # 11 ---> 10 (91)
27 # 19 ---> 11 (91)
45 # 20 ---> 19 (91)
41 # 12 ---> 20 (91)
27 # 11 ---> 12 (92)
27 # 12 ---> 13 (93)
41 # 20 ---> 12 (93)
53 # 21 ---> 20 (93)
27 # 13 ---> 21 (94)
41 # 12 ---> 13 (94)
53 # 20 ---> 12 (94)
34 # 28 ---> 20 (94)
61 # 36 ---> 28 (94)
3 # 44 ---> 36 (94)
9 # 52 ---> 44 (94)
23 # 10 ---> 11 (92)
51 # 2 ---> 10 (92)
58 # 3 ---> 2 (92)
4 # 4 ---> 3 (92)
53 # 12 ---> 4 (95)
23 # 11 ---> 12 (95)
45 # 19 ---> 11 (95)
34 # 20 ---> 19 (95)
23 # 12 ---> 20 (96)
45 # 11 ---> 12 (96)
34 # 19 ---> 11 (96)
60 # 27 ---> 19 (96)
61 # 28 ---> 27 (96)
23 # 20 ---> 28 (97)
60 # 19 ---> 20 (97)
61 # 27 ---> 19 (97)
32 # 35 ---> 27 (97)
3 # 36 ---> 35 (97)
23 # 28 ---> 36 (98)
32 # 27 ---> 28 (98)
3 # 35 ---> 27 (98)
21 # 43 ---> 35 (98)
9 # 44 ---> 43 (98)
23 # 36 ---> 44 (99)
23 # 44 ---> 52 (100)
9 # 43 ---> 44 (100)
44 # 51 ---> 43 (100)
29 # 59 ---> 51 (100)
35 # 60 ---> 59 (100)
23 # 52 ---> 60 (101)
32 # 28 ---> 36 (99)
60 # 20 ---> 28 (99)
45 # 12 ---> 20 (99)
34 # 11 ---> 12 (99)
51 # 10 ---> 11 (99)
13 # 9 ---> 10 (99)
7 # 0 ---> 9 (99)
58 # 2 ---> 0 (99)
4 # 3 ---> 2 (99)
51 # 11 ---> 3 (100)
13 # 10 ---> 11 (100)
4 # 2 ---> 10 (100)
51 # 3 ---> 2 (101)
53 # 4 ---> 3 (101)
34 # 12 ---> 4 (101)
13 # 11 ---> 12 (101)
61 # 19 ---> 11 (101)
45 # 20 ---> 19 (101)
13 # 12 ---> 20 (102)
61 # 11 ---> 12 (102)
45 # 19 ---> 11 (102)
3 # 27 ---> 19 (102)
60 # 28 ---> 27 (102)
13 # 20 ---> 28 (103)
3 # 19 ---> 20 (103)
60 # 27 ---> 19 (103)
21 # 35 ---> 27 (103)
32 # 36 ---> 35 (103)
13 # 28 ---> 36 (104)
21 # 27 ---> 28 (104)
32 # 35 ---> 27 (104)
44 # 43 ---> 35 (104)
9 # 44 ---> 43 (104)
13 # 36 ---> 44 (105)
13 # 44 ---> 52 (106)
21 # 28 ---> 36 (105)
3 # 20 ---> 28 (105)
61 # 12 ---> 20 (105)
41 # 13 ---> 12 (105)
39 # 5 ---> 13 (105)
47 # 6 ---> 5 (105)
28 # 14 ---> 6 (105)
39 # 13 ---> 14 (106)
41 # 12 ---> 13 (106)
34 # 4 ---> 12 (106)
47 # 5 ---> 4 (106)
41 # 13 ---> 5 (107)
34 # 12 ---> 13 (107)
47 # 4 ---> 12 (107)
53 # 3 ---> 4 (107)
45 # 11 ---> 3 (107)
60 # 19 ---> 11 (107)
61 # 20 ---> 19 (107)
47 # 12 ---> 20 (108)
60 # 11 ---> 12 (108)
61 # 19 ---> 11 (108)
32 # 27 ---> 19 (108)
3 # 28 ---> 27 (108)
47 # 20 ---> 28 (109)
32 # 19 ---> 20 (109)
3 # 27 ---> 19 (109)
44 # 35 ---> 27 (109)
21 # 36 ---> 35 (109)
47 # 28 ---> 36 (110)
47 # 36 ---> 44 (111)
32 # 20 ---> 28 (110)
60 # 12 ---> 20 (110)
34 # 13 ---> 12 (110)
39 # 14 ---> 13 (110)
28 # 6 ---> 14 (110)
41 # 5 ---> 6 (110)
53 # 4 ---> 5 (110)
34 # 12 ---> 4 (111)
39 # 13 ---> 12 (111)
53 # 5 ---> 13 (111)
34 # 4 ---> 5 (112)
45 # 3 ---> 4 (112)
61 # 11 ---> 3 (112)
3 # 19 ---> 11 (112)
60 # 20 ---> 19 (112)
39 # 12 ---> 20 (112)
3 # 11 ---> 12 (113)
60 # 19 ---> 11 (113)
44 # 27 ---> 19 (113)
32 # 28 ---> 27 (113)
39 # 20 ---> 28 (113)
39 # 28 ---> 36 (114)
3 # 12 ---> 20 (114)
60 # 11 ---> 12 (114)
4 # 10 ---> 11 (114)
7 # 9 ---> 10 (114)
36 # 8 ---> 9 (114)
26 # 1 ---> 8 (114)
58 # 0 ---> 1 (114)
51 # 2 ---> 0 (114)
7 # 10 ---> 2 (115)
36 # 9 ---> 10 (115)
51 # 0 ---> 9 (115)
7 # 2 ---> 0 (116)
61 # 3 ---> 2 (116)
4 # 11 ---> 3 (116)
36 # 10 ---> 11 (116)
61 # 2 ---> 10 (117)
4 # 3 ---> 2 (117)
45 # 4 ---> 3 (117)
60 # 12 ---> 4 (117)
36 # 11 ---> 12 (117)
44 # 19 ---> 11 (117)
3 # 20 ---> 19 (117)
36 # 12 ---> 20 (118)
36 # 20 ---> 28 (119)
3 # 19 ---> 20 (119)
32 # 27 ---> 19 (119)
56 # 26 ---> 27 (119)
6 # 25 ---> 26 (119)
14 # 24 ---> 25 (119)
15 # 32 ---> 24 (119)
19 # 33 ---> 32 (119)
14 # 25 ---> 33 (120)
52 # 17 ---> 25 (120)
46 # 16 ---> 17 (120)
15 # 24 ---> 16 (120)
52 # 25 ---> 24 (121)
46 # 17 ---> 25 (121)
51 # 9 ---> 17 (121)
26 # 8 ---> 9 (121)
15 # 16 ---> 8 (121)
51 # 17 ---> 16 (122)
26 # 9 ---> 17 (122)
15 # 8 ---> 9 (122)
58 # 1 ---> 8 (122)
7 # 0 ---> 1 (122)
4 # 2 ---> 0 (122)
61 # 10 ---> 2 (122)
15 # 9 ---> 10 (123)
4 # 0 ---> 9 (123)
61 # 2 ---> 0 (123)
45 # 3 ---> 2 (123)
44 # 11 ---> 3 (123)
15 # 10 ---> 11 (124)
15 # 11 ---> 12 (125)
32 # 19 ---> 11 (125)
3 # 20 ---> 19 (125)
15 # 12 ---> 20 (126)
32 # 11 ---> 12 (126)
3 # 19 ---> 11 (126)
56 # 27 ---> 19 (126)
21 # 35 ---> 27 (126)
9 # 43 ---> 35 (126)
29 # 51 ---> 43 (126)
3 # 11 ---> 10 (127)
32 # 12 ---> 11 (127)
53 # 13 ---> 12 (127)
34 # 5 ---> 13 (127)
41 # 6 ---> 5 (127)
28 # 14 ---> 6 (127)
34 # 13 ---> 14 (128)
53 # 12 ---> 13 (128)
60 # 4 ---> 12 (128)
41 # 5 ---> 4 (128)
53 # 13 ---> 5 (129)
60 # 12 ---> 13 (129)
32 # 11 ---> 12 (129)
44 # 3 ---> 11 (129)
41 # 4 ---> 3 (129)
32 # 12 ---> 4 (130)
44 # 11 ---> 12 (130)
41 # 3 ---> 11 (130)
45 # 2 ---> 3 (130)
3 # 10 ---> 2 (130)
1 # 18 ---> 10 (130)
56 # 19 ---> 18 (130)
41 # 11 ---> 19 (131)
1 # 10 ---> 11 (131)
56 # 18 ---> 10 (131)
6 # 26 ---> 18 (131)
21 # 27 ---> 26 (131)
41 # 19 ---> 27 (132)
6 # 18 ---> 19 (132)
21 # 26 ---> 18 (132)
18 # 34 ---> 26 (132)
9 # 35 ---> 34 (132)
41 # 27 ---> 35 (133)
18 # 26 ---> 27 (133)
9 # 34 ---> 26 (133)
25 # 42 ---> 34 (133)
29 # 43 ---> 42 (133)
41 # 35 ---> 43 (134)
41 # 43 ---> 51 (135)
29 # 42 ---> 43 (135)
48 # 50 ---> 42 (135)
2 # 58 ---> 50 (135)
35 # 59 ---> 58 (135)
41 # 51 ---> 59 (136)
18 # 27 ---> 35 (134)
6 # 19 ---> 27 (134)
1 # 11 ---> 19 (134)
44 # 12 ---> 11 (134)
60 # 13 ---> 12 (134)
34 # 14 ---> 13 (134)
28 # 6 ---> 14 (134)
57 # 7 ---> 6 (134)
22 # 15 ---> 7 (134)
28 # 14 ---> 15 (135)
34 # 13 ---> 14 (135)
53 # 5 ---> 13 (135)
57 # 6 ---> 5 (135)
34 # 14 ---> 6 (136)
53 # 13 ---> 14 (136)
60 # 12 ---> 13 (136)
32 # 4 ---> 12 (136)
57 # 5 ---> 4 (136)
60 # 13 ---> 5 (137)
32 # 12 ---> 13 (137)
44 # 11 ---> 12 (137)
45 # 3 ---> 11 (137)
57 # 4 ---> 3 (137)
44 # 12 ---> 4 (138)
45 # 11 ---> 12 (138)
57 # 3 ---> 11 (138)
3 # 2 ---> 3 (138)
56 # 10 ---> 2 (138)
21 # 18 ---> 10 (138)
1 # 19 ---> 18 (138)
57 # 11 ---> 19 (139)
21 # 10 ---> 11 (139)
1 # 18 ---> 10 (139)
9 # 26 ---> 18 (139)
6 # 27 ---> 26 (139)
57 # 19 ---> 27 (140)
9 # 18 ---> 19 (140)
6 # 26 ---> 18 (140)
25 # 34 ---> 26 (140)
18 # 35 ---> 34 (140)
57 # 27 ---> 35 (141)
25 # 26 ---> 27 (141)
18 # 34 ---> 26 (141)
48 # 42 ---> 34 (141)
29 # 43 ---> 42 (141)
57 # 35 ---> 43 (142)
57 # 43 ---> 51 (143)
29 # 42 ---> 43 (143)
2 # 50 ---> 42 (143)
5 # 49 ---> 50 (143)
16 # 48 ---> 49 (143)
20 # 56 ---> 48 (143)
8 # 57 ---> 56 (143)
16 # 49 ---> 57 (144)
33 # 41 ---> 49 (144)
59 # 40 ---> 41 (144)
20 # 48 ---> 40 (144)
33 # 49 ---> 48 (145)
59 # 41 ---> 49 (145)
14 # 33 ---> 41 (145)
19 # 32 ---> 33 (145)
20 # 40 ---> 32 (145)
14 # 41 ---> 40 (146)
19 # 33 ---> 41 (146)
20 # 32 ---> 33 (146)
52 # 24 ---> 32 (146)
46 # 25 ---> 24 (146)
18 # 26 ---> 25 (146)
48 # 34 ---> 26 (146)
20 # 33 ---> 34 (147)
20 # 34 ---> 35 (148)
2 # 42 ---> 34 (148)
29 # 43 ---> 42 (148)
20 # 35 ---> 43 (149)
18 # 25 ---> 33 (147)
48 # 26 ---> 25 (147)
25 # 27 ---> 26 (147)
9 # 19 ---> 27 (147)
21 # 11 ---> 19 (147)
45 # 12 ---> 11 (147)
32 # 13 ---> 12 (147)
60 # 5 ---> 13 (147)
34 # 6 ---> 5 (147)
53 # 14 ---> 6 (147)
60 # 13 ---> 14 (148)
32 # 12 ---> 13 (148)
44 # 4 ---> 12 (148)
34 # 5 ---> 4 (148)
32 # 13 ---> 5 (149)
44 # 12 ---> 13 (149)
45 # 11 ---> 12 (149)
3 # 3 ---> 11 (149)
34 # 4 ---> 3 (149)
45 # 12 ---> 4 (150)
3 # 11 ---> 12 (150)
34 # 3 ---> 11 (150)
56 # 2 ---> 3 (150)
1 # 10 ---> 2 (150)
6 # 18 ---> 10 (150)
21 # 19 ---> 18 (150)
34 # 11 ---> 19 (151)
6 # 10 ---> 11 (151)
21 # 18 ---> 10 (151)
25 # 26 ---> 18 (151)
9 # 27 ---> 26 (151)
34 # 19 ---> 27 (152)
34 # 27 ---> 35 (153)
9 # 26 ---> 27 (153)
2 # 34 ---> 26 (153)
18 # 33 ---> 34 (153)
19 # 41 ---> 33 (153)
14 # 40 ---> 41 (153)
52 # 32 ---> 40 (153)
46 # 24 ---> 32 (153)
48 # 25 ---> 24 (153)
19 # 33 ---> 25 (154)
46 # 32 ---> 33 (154)
48 # 24 ---> 32 (154)
51 # 16 ---> 24 (154)
26 # 17 ---> 16 (154)
19 # 25 ---> 17 (155)
2 # 26 ---> 25 (155)
25 # 18 ---> 26 (155)
19 # 17 ---> 18 (156)
19 # 18 ---> 19 (157)
25 # 26 ---> 18 (157)
9 # 27 ---> 26 (157)
19 # 19 ---> 27 (158)
25 # 18 ---> 19 (158)
9 # 26 ---> 18 (158)
4 # 9 ---> 17 (156)
21 # 10 ---> 9 (156)
6 # 11 ---> 10 (156)
2 # 25 ---> 26 (158)
46 # 33 ---> 25 (158)
14 # 41 ---> 33 (158)
59 # 49 ---> 41 (158)
33 # 48 ---> 49 (158)
8 # 56 ---> 48 (158)
16 # 57 ---> 56 (158)
33 # 49 ---> 57 (159)
59 # 41 ---> 49 (159)
52 # 40 ---> 41 (159)
8 # 48 ---> 40 (159)
59 # 49 ---> 48 (160)
52 # 41 ---> 49 (160)
14 # 33 ---> 41 (160)
48 # 32 ---> 33 (160)
8 # 40 ---> 32 (160)
14 # 41 ---> 40 (161)
48 # 33 ---> 41 (161)
46 # 25 ---> 33 (161)
51 # 24 ---> 25 (161)
8 # 32 ---> 24 (161)
46 # 33 ---> 32 (162)
51 # 25 ---> 33 (162)
4 # 17 ---> 25 (162)
26 # 16 ---> 17 (162)
8 # 24 ---> 16 (162)
4 # 25 ---> 24 (163)
26 # 17 ---> 25 (163)
21 # 9 ---> 17 (163)
58 # 8 ---> 9 (163)
8 # 16 ---> 8 (163)
21 # 17 ---> 16 (164)
58 # 9 ---> 17 (164)
8 # 8 ---> 9 (164)
7 # 1 ---> 8 (164)
61 # 0 ---> 1 (164)
1 # 2 ---> 0 (164)
6 # 10 ---> 2 (164)
8 # 9 ---> 10 (165)
8 # 10 ---> 11 (166)
9 # 18 ---> 10 (166)
25 # 19 ---> 18 (166)
8 # 11 ---> 19 (167)
9 # 10 ---> 11 (167)
25 # 18 ---> 10 (167)
2 # 26 ---> 18 (167)
18 # 34 ---> 26 (167)
29 # 42 ---> 34 (167)
5 # 50 ---> 42 (167)
25 # 10 ---> 9 (168)
9 # 11 ---> 10 (168)
3 # 12 ---> 11 (168)
44 # 13 ---> 12 (168)
60 # 14 ---> 13 (168)
53 # 6 ---> 14 (168)
22 # 7 ---> 6 (168)
28 # 15 ---> 7 (168)
53 # 14 ---> 15 (169)
60 # 13 ---> 14 (169)
32 # 5 ---> 13 (169)
22 # 6 ---> 5 (169)
60 # 14 ---> 6 (170)
32 # 13 ---> 14 (170)
44 # 12 ---> 13 (170)
45 # 4 ---> 12 (170)
22 # 5 ---> 4 (170)
44 # 13 ---> 5 (171)
45 # 12 ---> 13 (171)
3 # 11 ---> 12 (171)
56 # 3 ---> 11 (171)
22 # 4 ---> 3 (171)
3 # 12 ---> 4 (172)
56 # 11 ---> 12 (172)
9 # 10 ---> 11 (172)
6 # 2 ---> 10 (172)
22 # 3 ---> 2 (172)
9 # 11 ---> 3 (173)
6 # 10 ---> 11 (173)
22 # 2 ---> 10 (173)
1 # 0 ---> 2 (173)
25 # 9 ---> 0 (173)
58 # 17 ---> 9 (173)
2 # 18 ---> 17 (173)
22 # 10 ---> 18 (174)
58 # 9 ---> 10 (174)
2 # 17 ---> 9 (174)
26 # 25 ---> 17 (174)
18 # 26 ---> 25 (174)
22 # 18 ---> 26 (175)
26 # 17 ---> 18 (175)
18 # 25 ---> 17 (175)
51 # 33 ---> 25 (175)
29 # 34 ---> 33 (175)
22 # 26 ---> 34 (176)
51 # 25 ---> 26 (176)
29 # 33 ---> 25 (176)
48 # 41 ---> 33 (176)
5 # 42 ---> 41 (176)
22 # 34 ---> 42 (177)
22 # 42 ---> 50 (178)
5 # 41 ---> 42 (178)
52 # 49 ---> 41 (178)
33 # 57 ---> 49 (178)
35 # 58 ---> 57 (178)
22 # 50 ---> 58 (179)
51 # 26 ---> 34 (177)
26 # 18 ---> 26 (177)
58 # 10 ---> 18 (177)
6 # 11 ---> 10 (177)
56 # 12 ---> 11 (177)
45 # 13 ---> 12 (177)
32 # 14 ---> 13 (177)
60 # 6 ---> 14 (177)
28 # 7 ---> 6 (177)
53 # 15 ---> 7 (177)
60 # 14 ---> 15 (178)
32 # 13 ---> 14 (178)
44 # 5 ---> 13 (178)
28 # 6 ---> 5 (178)
32 # 14 ---> 6 (179)
44 # 13 ---> 14 (179)
45 # 12 ---> 13 (179)
3 # 4 ---> 12 (179)
28 # 5 ---> 4 (179)
45 # 13 ---> 5 (180)
3 # 12 ---> 13 (180)
56 # 11 ---> 12 (180)
9 # 3 ---> 11 (180)
28 # 4 ---> 3 (180)
56 # 12 ---> 4 (181)
9 # 11 ---> 12 (181)
6 # 10 ---> 11 (181)
1 # 2 ---> 10 (181)
28 # 3 ---> 2 (181)
6 # 11 ---> 3 (182)
1 # 10 ---> 11 (182)
28 # 2 ---> 10 (182)
25 # 0 ---> 2 (182)
2 # 9 ---> 0 (182)
18 # 17 ---> 9 (182)
58 # 18 ---> 17 (182)
28 # 10 ---> 18 (183)
18 # 9 ---> 10 (183)
58 # 17 ---> 9 (183)
29 # 25 ---> 17 (183)
26 # 26 ---> 25 (183)
28 # 18 ---> 26 (184)
29 # 17 ---> 18 (184)
26 # 25 ---> 17 (184)
48 # 33 ---> 25 (184)
51 # 34 ---> 33 (184)
28 # 26 ---> 34 (185)
48 # 25 ---> 26 (185)
51 # 33 ---> 25 (185)
52 # 41 ---> 33 (185)
5 # 42 ---> 41 (185)
28 # 34 ---> 42 (186)
28 # 42 ---> 50 (187)
48 # 26 ---> 34 (186)
51 # 25 ---> 26 (186)
52 # 33 ---> 25 (186)
48 # 34 ---> 33 (187)
51 # 26 ---> 34 (187)
51 # 34 ---> 42 (188)
48 # 33 ---> 34 (188)
5 # 41 ---> 33 (188)
52 # 25 ---> 26 (187)
4 # 24 ---> 25 (187)
21 # 16 ---> 24 (187)
26 # 17 ---> 16 (187)
29 # 18 ---> 17 (187)
52 # 26 ---> 18 (188)
4 # 25 ---> 26 (188)
5 # 33 ---> 25 (189)
48 # 34 ---> 33 (189)
4 # 26 ---> 34 (189)
5 # 25 ---> 26 (190)
29 # 17 ---> 25 (190)
26 # 16 ---> 17 (190)
21 # 24 ---> 16 (190)
29 # 25 ---> 24 (191)
26 # 17 ---> 25 (191)
21 # 16 ---> 17 (191)
7 # 8 ---> 16 (191)
58 # 9 ---> 8 (191)
18 # 10 ---> 9 (191)
52 # 18 ---> 10 (191)
21 # 17 ---> 18 (192)
26 # 25 ---> 17 (192)
5 # 26 ---> 25 (192)
21 # 18 ---> 26 (193)
26 # 17 ---> 18 (193)
18 # 9 ---> 17 (193)
52 # 10 ---> 9 (193)
48 # 33 ---> 41 (190)
5 # 25 ---> 33 (193)
29 # 24 ---> 25 (193)
46 # 32 ---> 24 (193)
5 # 33 ---> 32 (194)
29 # 25 ---> 33 (194)
18 # 17 ---> 25 (194)
7 # 16 ---> 17 (194)
46 # 24 ---> 16 (194)
18 # 25 ---> 24 (195)
7 # 17 ---> 25 (195)
52 # 9 ---> 17 (195)
58 # 8 ---> 9 (195)
46 # 16 ---> 8 (195)
52 # 17 ---> 16 (196)
58 # 9 ---> 17 (196)
46 # 8 ---> 9 (196)
46 # 9 ---> 10 (197)
58 # 17 ---> 9 (197)
26 # 18 ---> 17 (197)
46 # 10 ---> 18 (198)
58 # 9 ---> 10 (198)
52 # 16 ---> 8 (197)
18 # 24 ---> 16 (197)
5 # 32 ---> 24 (197)
14 # 40 ---> 32 (197)
59 # 48 ---> 40 (197)
52 # 8 ---> 9 (198)
61 # 1 ---> 8 (198)
2 # 0 ---> 1 (198)
52 # 9 ---> 0 (199)
26 # 17 ---> 9 (199)
18 # 16 ---> 17 (199)
61 # 8 ---> 16 (199)
26 # 9 ---> 8 (200)
18 # 17 ---> 9 (200)
7 # 25 ---> 17 (200)
5 # 24 ---> 25 (200)
61 # 16 ---> 24 (200)
7 # 17 ---> 16 (201)
5 # 25 ---> 17 (201)
29 # 33 ---> 25 (201)
14 # 32 ---> 33 (201)
61 # 24 ---> 32 (201)
29 # 25 ---> 24 (202)
14 # 33 ---> 25 (202)
48 # 41 ---> 33 (202)
59 # 40 ---> 41 (202)
61 # 32 ---> 40 (202)
61 # 40 ---> 48 (203)
59 # 41 ---> 40 (203)
33 # 49 ---> 41 (203)
61 # 48 ---> 49 (204)
16 # 56 ---> 48 (204)
35 # 57 ---> 56 (204)
61 # 49 ---> 57 (205)
29 # 24 ---> 32 (203)
7 # 16 ---> 24 (203)
26 # 8 ---> 16 (203)
18 # 9 ---> 8 (203)
58 # 10 ---> 9 (203)
1 # 11 ---> 10 (203)
9 # 12 ---> 11 (203)
56 # 4 ---> 12 (203)
45 # 5 ---> 4 (203)
3 # 13 ---> 5 (203)
56 # 12 ---> 13 (204)
9 # 11 ---> 12 (204)
6 # 3 ---> 11 (204)
45 # 4 ---> 3 (204)
9 # 12 ---> 4 (205)
6 # 11 ---> 12 (205)
1 # 10 ---> 11 (205)
25 # 2 ---> 10 (205)
45 # 3 ---> 2 (205)
1 # 11 ---> 3 (206)
25 # 10 ---> 11 (206)
58 # 9 ---> 10 (206)
52 # 0 ---> 9 (206)
45 # 2 ---> 0 (206)
58 # 10 ---> 2 (207)
52 # 9 ---> 10 (207)
18 # 8 ---> 9 (207)
2 # 1 ---> 8 (207)
45 # 0 ---> 1 (207)
18 # 9 ---> 0 (208)
2 # 8 ---> 9 (208)
45 # 1 ---> 8 (208)
18 # 0 ---> 1 (209)
2 # 9 ---> 0 (209)
5 # 17 ---> 9 (209)
26 # 16 ---> 17 (209)
45 # 8 ---> 16 (209)
5 # 9 ---> 8 (210)
26 # 17 ---> 9 (210)
14 # 25 ---> 17 (210)
7 # 24 ---> 25 (210)
45 # 16 ---> 24 (210)
14 # 17 ---> 16 (211)
7 # 25 ---> 17 (211)
48 # 33 ---> 25 (211)
29 # 32 ---> 33 (211)
45 # 24 ---> 32 (211)
48 # 25 ---> 24 (212)
29 # 33 ---> 25 (212)
33 # 41 ---> 33 (212)
59 # 40 ---> 41 (212)
45 # 32 ---> 40 (212)
33 # 33 ---> 32 (213)
59 # 41 ---> 33 (213)
16 # 48 ---> 49 (205)
45 # 40 ---> 48 (213)
16 # 49 ---> 41 (213)
45 # 48 ---> 49 (214)
35 # 56 ---> 48 (214)
61 # 57 ---> 56 (214)
45 # 49 ---> 57 (215)
33 # 32 ---> 40 (214)
48 # 24 ---> 32 (214)
14 # 16 ---> 24 (214)
7 # 17 ---> 16 (214)
29 # 25 ---> 17 (214)
59 # 33 ---> 25 (214)
48 # 32 ---> 33 (215)
14 # 24 ---> 32 (215)
59 # 25 ---> 24 (215)
48 # 33 ---> 25 (216)
16 # 41 ---> 33 (216)
33 # 40 ---> 41 (216)
14 # 32 ---> 40 (216)
16 # 33 ---> 32 (217)
33 # 41 ---> 33 (217)
14 # 40 ---> 41 (217)
35 # 48 ---> 40 (217)
14 # 41 ---> 49 (218)
33 # 33 ---> 41 (218)
48 # 25 ---> 33 (218)
29 # 17 ---> 25 (218)
26 # 9 ---> 17 (218)
5 # 8 ---> 9 (218)
18 # 1 ---> 8 (218)
2 # 0 ---> 1 (218)
5 # 9 ---> 0 (219)
18 # 8 ---> 9 (219)
2 # 1 ---> 8 (219)
5 # 0 ---> 1 (220)
18 # 9 ---> 0 (220)
26 # 17 ---> 9 (220)
7 # 16 ---> 17 (220)
2 # 8 ---> 16 (220)
26 # 9 ---> 8 (221)
7 # 17 ---> 9 (221)
29 # 25 ---> 17 (221)
59 # 24 ---> 25 (221)
2 # 16 ---> 24 (221)
29 # 17 ---> 16 (222)
59 # 25 ---> 17 (222)
48 # 33 ---> 25 (222)
16 # 32 ---> 33 (222)
2 # 24 ---> 32 (222)
48 # 25 ---> 24 (223)
16 # 33 ---> 25 (223)
33 # 41 ---> 33 (223)
35 # 40 ---> 41 (223)
2 # 32 ---> 40 (223)
33 # 33 ---> 32 (224)
35 # 41 ---> 33 (224)
2 # 40 ---> 41 (224)
14 # 49 ---> 48 (219)
2 # 41 ---> 49 (225)
33 # 32 ---> 40 (225)
48 # 24 ---> 32 (225)
29 # 16 ---> 24 (225)
59 # 17 ---> 16 (225)
16 # 25 ---> 17 (225)
29 # 24 ---> 25 (226)
59 # 16 ---> 24 (226)
16 # 17 ---> 16 (226)
29 # 25 ---> 17 (227)
35 # 33 ---> 25 (227)
48 # 32 ---> 33 (227)
59 # 24 ---> 32 (227)
35 # 25 ---> 24 (228)
48 # 33 ---> 25 (228)
59 # 32 ---> 33 (228)
33 # 40 ---> 32 (228)
59 # 33 ---> 41 (229)
33 # 32 ---> 33 (229)
35 # 24 ---> 32 (229)
48 # 25 ---> 24 (229)
33 # 33 ---> 25 (230)
35 # 32 ---> 33 (230)
48 # 24 ---> 32 (230)
33 # 25 ---> 24 (231)
35 # 33 ---> 25 (231)
48 # 32 ---> 33 (231)
59 # 41 ---> 40 (230)
48 # 33 ---> 41 (232)
33 # 24 ---> 32 (232)
16 # 16 ---> 24 (232)
26 # 8 ---> 16 (232)
7 # 9 ---> 8 (232)
52 # 10 ---> 9 (232)
25 # 11 ---> 10 (232)
6 # 12 ---> 11 (232)
56 # 13 ---> 12 (232)
44 # 14 ---> 13 (232)
32 # 6 ---> 14 (232)
53 # 7 ---> 6 (232)
60 # 15 ---> 7 (232)
32 # 14 ---> 15 (233)
44 # 13 ---> 14 (233)
3 # 5 ---> 13 (233)
53 # 6 ---> 5 (233)
44 # 14 ---> 6 (234)
3 # 13 ---> 14 (234)
56 # 12 ---> 13 (234)
9 # 4 ---> 12 (234)
53 # 5 ---> 4 (234)
56 # 13 ---> 5 (235)
9 # 12 ---> 13 (235)
6 # 11 ---> 12 (235)
1 # 3 ---> 11 (235)
53 # 4 ---> 3 (235)
6 # 12 ---> 4 (236)
1 # 11 ---> 12 (236)
25 # 10 ---> 11 (236)
58 # 2 ---> 10 (236)
53 # 3 ---> 2 (236)
25 # 11 ---> 3 (237)
58 # 10 ---> 11 (237)
52 # 9 ---> 10 (237)
18 # 0 ---> 9 (237)
53 # 2 ---> 0 (237)
52 # 10 ---> 2 (238)
18 # 9 ---> 10 (238)
7 # 8 ---> 9 (238)
5 # 1 ---> 8 (238)
53 # 0 ---> 1 (238)
7 # 9 ---> 0 (239)
5 # 8 ---> 9 (239)
53 # 1 ---> 8 (239)
7 # 0 ---> 1 (240)
5 # 9 ---> 0 (240)
29 # 17 ---> 9 (240)
26 # 16 ---> 17 (240)
53 # 8 ---> 16 (240)
29 # 9 ---> 8 (241)
26 # 17 ---> 9 (241)
35 # 25 ---> 17 (241)
16 # 24 ---> 25 (241)
53 # 16 ---> 24 (241)
35 # 17 ---> 16 (242)
16 # 25 ---> 17 (242)
53 # 24 ---> 25 (242)
33 # 32 ---> 24 (242)
53 # 25 ---> 33 (243)
16 # 17 ---> 25 (243)
26 # 9 ---> 17 (243)
18 # 10 ---> 9 (243)
58 # 11 ---> 10 (243)
1 # 12 ---> 11 (243)
9 # 13 ---> 12 (243)
3 # 14 ---> 13 (243)
32 # 15 ---> 14 (243)
60 # 7 ---> 15 (243)
44 # 6 ---> 7 (243)
56 # 5 ---> 6 (243)
3 # 13 ---> 5 (244)
32 # 14 ---> 13 (244)
56 # 6 ---> 14 (244)
3 # 5 ---> 6 (245)
6 # 4 ---> 5 (245)
9 # 12 ---> 4 (245)
32 # 13 ---> 12 (245)
6 # 5 ---> 13 (246)
9 # 4 ---> 5 (246)
25 # 3 ---> 4 (246)
1 # 11 ---> 3 (246)
32 # 12 ---> 11 (246)
25 # 4 ---> 12 (247)
1 # 3 ---> 4 (247)
52 # 2 ---> 3 (247)
58 # 10 ---> 2 (247)
32 # 11 ---> 10 (247)
52 # 3 ---> 11 (248)
58 # 2 ---> 3 (248)
5 # 0 ---> 2 (248)
18 # 9 ---> 0 (248)
32 # 10 ---> 9 (248)
5 # 2 ---> 10 (249)
18 # 0 ---> 2 (249)
7 # 1 ---> 0 (249)
29 # 8 ---> 1 (249)
32 # 9 ---> 8 (249)
26 # 17 ---> 9 (249)
35 # 16 ---> 17 (249)
32 # 8 ---> 16 (250)
26 # 9 ---> 8 (250)
35 # 17 ---> 9 (250)
16 # 25 ---> 17 (250)
33 # 24 ---> 25 (250)
32 # 16 ---> 24 (251)
16 # 17 ---> 16 (251)
33 # 25 ---> 17 (251)
32 # 24 ---> 25 (252)
53 # 33 ---> 32 (244)
32 # 25 ---> 33 (253)
16 # 16 ---> 24 (252)
26 # 8 ---> 16 (252)
35 # 9 ---> 8 (252)
5 # 10 ---> 9 (252)
52 # 11 ---> 10 (252)
25 # 12 ---> 11 (252)
1 # 4 ---> 12 (252)
9 # 5 ---> 4 (252)
6 # 13 ---> 5 (252)
1 # 12 ---> 13 (253)
25 # 11 ---> 12 (253)
58 # 3 ---> 11 (253)
9 # 4 ---> 3 (253)
25 # 12 ---> 4 (254)
58 # 11 ---> 12 (254)
52 # 10 ---> 11 (254)
18 # 2 ---> 10 (254)
9 # 3 ---> 2 (254)
52 # 11 ---> 3 (255)
18 # 10 ---> 11 (255)
5 # 9 ---> 10 (255)
7 # 0 ---> 9 (255)
9 # 2 ---> 0 (255)
5 # 10 ---> 2 (256)
7 # 9 ---> 10 (256)
35 # 8 ---> 9 (256)
29 # 1 ---> 8 (256)
9 # 0 ---> 1 (256)
35 # 9 ---> 0 (257)
29 # 8 ---> 9 (257)
9 # 1 ---> 8 (257)
35 # 0 ---> 1 (258)
29 # 9 ---> 0 (258)
33 # 17 ---> 9 (258)
26 # 16 ---> 17 (258)
9 # 8 ---> 16 (258)
33 # 9 ---> 8 (259)
26 # 17 ---> 9 (259)
9 # 16 ---> 17 (259)
16 # 24 ---> 16 (259)
9 # 17 ---> 25 (260)
26 # 9 ---> 17 (260)
33 # 8 ---> 9 (260)
35 # 1 ---> 8 (260)
29 # 0 ---> 1 (260)
33 # 9 ---> 0 (261)
35 # 8 ---> 9 (261)
29 # 1 ---> 8 (261)
33 # 0 ---> 1 (262)
35 # 9 ---> 0 (262)
26 # 17 ---> 9 (262)
16 # 16 ---> 17 (262)
29 # 8 ---> 16 (262)
26 # 9 ---> 8 (263)
16 # 17 ---> 9 (263)
29 # 16 ---> 17 (263)
9 # 25 ---> 24 (261)
29 # 17 ---> 25 (264)
26 # 8 ---> 16 (264)
16 # 9 ---> 8 (264)
7 # 10 ---> 9 (264)
18 # 11 ---> 10 (264)
58 # 12 ---> 11 (264)
1 # 13 ---> 12 (264)
56 # 14 ---> 13 (264)
60 # 15 ---> 14 (264)
44 # 7 ---> 15 (264)
3 # 6 ---> 7 (264)
6 # 5 ---> 6 (264)
56 # 13 ---> 5 (265)
60 # 14 ---> 13 (265)
6 # 6 ---> 14 (265)
56 # 5 ---> 6 (266)
25 # 4 ---> 5 (266)
1 # 12 ---> 4 (266)
60 # 13 ---> 12 (266)
25 # 5 ---> 13 (267)
1 # 4 ---> 5 (267)
52 # 3 ---> 4 (267)
58 # 11 ---> 3 (267)
60 # 12 ---> 11 (267)
52 # 4 ---> 12 (268)
58 # 3 ---> 4 (268)
5 # 2 ---> 3 (268)
18 # 10 ---> 2 (268)
60 # 11 ---> 10 (268)
5 # 3 ---> 11 (269)
18 # 2 ---> 3 (269)
35 # 0 ---> 2 (269)
7 # 9 ---> 0 (269)
60 # 10 ---> 9 (269)
35 # 2 ---> 10 (270)
7 # 0 ---> 2 (270)
33 # 1 ---> 0 (270)
16 # 8 ---> 1 (270)
26 # 16 ---> 8 (270)
60 # 9 ---> 17 (270)
35 # 10 ---> 9 (271)
5 # 11 ---> 10 (271)
52 # 12 ---> 11 (271)
25 # 13 ---> 12 (271)
1 # 5 ---> 13 (271)
56 # 6 ---> 5 (271)
6 # 14 ---> 6 (271)
1 # 13 ---> 14 (272)
25 # 12 ---> 13 (272)
58 # 4 ---> 12 (272)
56 # 5 ---> 4 (272)
25 # 13 ---> 5 (273)
58 # 12 ---> 13 (273)
52 # 11 ---> 12 (273)
18 # 3 ---> 11 (273)
56 # 4 ---> 3 (273)
52 # 12 ---> 4 (274)
18 # 11 ---> 12 (274)
5 # 10 ---> 11 (274)
7 # 2 ---> 10 (274)
56 # 3 ---> 2 (274)
5 # 11 ---> 3 (275)
7 # 10 ---> 11 (275)
35 # 9 ---> 10 (275)
33 # 0 ---> 9 (275)
56 # 2 ---> 0 (275)
35 # 10 ---> 2 (276)
33 # 9 ---> 10 (276)
26 # 8 ---> 9 (276)
16 # 1 ---> 8 (276)
56 # 0 ---> 1 (276)
26 # 9 ---> 0 (277)
16 # 8 ---> 9 (277)
56 # 1 ---> 8 (277)
26 # 0 ---> 1 (278)
16 # 9 ---> 0 (278)
56 # 8 ---> 9 (278)
60 # 17 ---> 16 (271)
56 # 9 ---> 17 (279)
16 # 0 ---> 9 (279)
35 # 2 ---> 0 (279)
5 # 3 ---> 2 (279)
52 # 4 ---> 3 (279)
25 # 5 ---> 4 (279)
58 # 13 ---> 5 (279)
1 # 14 ---> 13 (279)
6 # 6 ---> 14 (279)
3 # 7 ---> 6 (279)
44 # 15 ---> 7 (279)
6 # 14 ---> 15 (280)
16 # 9 ---> 8 (280)
33 # 10 ---> 9 (280)
5 # 2 ---> 10 (280)
52 # 3 ---> 2 (280)
7 # 11 ---> 3 (280)
18 # 12 ---> 11 (280)
25 # 4 ---> 12 (280)
7 # 3 ---> 4 (281)
18 # 11 ---> 3 (281)
25 # 12 ---> 11 (281)
1 # 13 ---> 12 (281)
58 # 5 ---> 13 (281)
7 # 4 ---> 5 (282)
1 # 12 ---> 4 (282)
58 # 13 ---> 12 (282)
3 # 6 ---> 14 (280)
7 # 5 ---> 6 (283)
3 # 14 ---> 13 (282)
7 # 6 ---> 14 (284)
44 # 7 ---> 6 (284)
6 # 15 ---> 7 (284)
7 # 14 ---> 15 (285)
1 # 4 ---> 5 (283)
18 # 3 ---> 4 (283)
52 # 2 ---> 3 (283)
35 # 0 ---> 2 (283)
33 # 9 ---> 0 (283)
5 # 10 ---> 9 (283)
25 # 11 ---> 10 (283)
52 # 3 ---> 11 (284)
35 # 2 ---> 3 (284)
25 # 10 ---> 2 (284)
52 # 11 ---> 10 (285)
58 # 12 ---> 11 (285)
18 # 4 ---> 12 (285)
35 # 3 ---> 4 (285)
58 # 11 ---> 3 (286)
18 # 12 ---> 11 (286)
3 # 13 ---> 12 (286)
1 # 5 ---> 13 (286)
35 # 4 ---> 5 (286)
3 # 12 ---> 4 (287)
1 # 13 ---> 12 (287)
35 # 5 ---> 13 (287)
44 # 6 ---> 5 (287)
35 # 13 ---> 14 (288)
1 # 12 ---> 13 (288)
18 # 11 ---> 12 (288)
52 # 10 ---> 11 (288)
25 # 2 ---> 10 (288)
33 # 0 ---> 2 (288)
5 # 9 ---> 0 (288)
25 # 10 ---> 9 (289)
52 # 11 ---> 10 (289)
58 # 3 ---> 11 (289)
33 # 2 ---> 3 (289)
52 # 10 ---> 2 (290)
58 # 11 ---> 10 (290)
18 # 12 ---> 11 (290)
3 # 4 ---> 12 (290)
33 # 3 ---> 4 (290)
18 # 11 ---> 3 (291)
3 # 12 ---> 11 (291)
1 # 13 ---> 12 (291)
44 # 5 ---> 13 (291)
33 # 4 ---> 5 (291)
1 # 12 ---> 4 (292)
44 # 13 ---> 12 (292)
33 # 5 ---> 13 (292)
35 # 14 ---> 6 (289)
33 # 13 ---> 14 (293)
1 # 4 ---> 5 (293)
18 # 3 ---> 4 (293)
52 # 2 ---> 3 (293)
5 # 0 ---> 2 (293)
26 # 1 ---> 0 (293)
16 # 8 ---> 1 (293)
25 # 9 ---> 8 (293)
26 # 0 ---> 9 (294)
16 # 1 ---> 0 (294)
25 # 8 ---> 1 (294)
26 # 9 ---> 8 (295)
58 # 10 ---> 9 (295)
5 # 2 ---> 10 (295)
16 # 0 ---> 2 (295)
58 # 9 ---> 0 (296)
5 # 10 ---> 9 (296)
3 # 11 ---> 10 (296)
52 # 3 ---> 11 (296)
16 # 2 ---> 3 (296)
3 # 10 ---> 2 (297)
52 # 11 ---> 10 (297)
44 # 12 ---> 11 (297)
18 # 4 ---> 12 (297)
16 # 3 ---> 4 (297)
44 # 11 ---> 3 (298)
18 # 12 ---> 11 (298)
16 # 4 ---> 12 (298)
1 # 5 ---> 4 (298)
16 # 12 ---> 13 (299)
1 # 4 ---> 12 (299)
44 # 3 ---> 4 (299)
18 # 11 ---> 3 (299)
1 # 12 ---> 11 (300)
44 # 4 ---> 12 (300)
18 # 3 ---> 4 (300)
1 # 11 ---> 3 (301)
44 # 12 ---> 11 (301)
18 # 4 ---> 12 (301)
16 # 13 ---> 5 (300)
18 # 12 ---> 13 (302)
1 # 3 ---> 4 (302)
3 # 2 ---> 3 (302)
58 # 0 ---> 2 (302)
25 # 1 ---> 0 (302)
26 # 8 ---> 1 (302)
5 # 9 ---> 8 (302)
25 # 0 ---> 9 (303)
26 # 1 ---> 0 (303)
5 # 8 ---> 1 (303)
25 # 9 ---> 8 (304)
52 # 10 ---> 9 (304)
58 # 2 ---> 10 (304)
26 # 0 ---> 2 (304)
52 # 9 ---> 0 (305)
58 # 10 ---> 9 (305)
44 # 11 ---> 10 (305)
3 # 3 ---> 11 (305)
26 # 2 ---> 3 (305)
44 # 10 ---> 2 (306)
3 # 11 ---> 10 (306)
26 # 3 ---> 11 (306)
1 # 4 ---> 3 (306)
26 # 11 ---> 12 (307)
3 # 10 ---> 11 (307)
58 # 9 ---> 10 (307)
52 # 0 ---> 9 (307)
5 # 1 ---> 0 (307)
25 # 8 ---> 1 (307)
52 # 9 ---> 8 (308)
58 # 10 ---> 9 (308)
44 # 2 ---> 10 (308)
5 # 0 ---> 2 (308)
58 # 9 ---> 0 (309)
44 # 10 ---> 9 (309)
3 # 11 ---> 10 (309)
1 # 3 ---> 11 (309)
5 # 2 ---> 3 (309)
3 # 10 ---> 2 (310)
1 # 11 ---> 10 (310)
5 # 3 ---> 11 (310)
26 # 12 ---> 4 (308)
5 # 11 ---> 12 (311)
3 # 2 ---> 3 (311)
58 # 0 ---> 2 (311)
44 # 9 ---> 0 (311)
1 # 10 ---> 9 (311)
58 # 2 ---> 10 (312)
3 # 3 ---> 2 (312)
58 # 10 ---> 11 (313)
1 # 9 ---> 10 (313)
44 # 0 ---> 9 (313)
25 # 1 ---> 0 (313)
52 # 8 ---> 1 (313)
44 # 9 ---> 8 (314)
1 # 10 ---> 9 (314)
3 # 2 ---> 10 (314)
25 # 0 ---> 2 (314)
1 # 9 ---> 0 (315)
3 # 10 ---> 9 (315)
25 # 2 ---> 10 (315)
58 # 11 ---> 3 (314)
25 # 10 ---> 11 (316)
1 # 0 ---> 2 (316)
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 = 0x7fff317c04f0, target = 0xf54e70)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54e50)
    ]
    Edge  1 <-> 8 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f50)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54e70)
    ]
    Edge  2 <-> 0 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54e50)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54e90)
    ]
    Edge  3 <-> 2 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54e90)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54eb0)
    ]
    Edge  4 <-> 3 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54eb0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54ed0)
    ]
    Edge  5 <-> 4 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54ed0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54ef0)
    ]
    Edge  6 <-> 5 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54ef0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f10)
    ]
    Edge  7 <-> 6 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f10)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f30)
    ]
    Edge  8 <-> 9 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f70)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f50)
    ]
    Edge  8 <-> 16 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55050)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f50)
    ]
    Edge  9 <-> 0 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54e50)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f70)
    ]
    Edge  9 <-> 10 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f90)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f70)
    ]
    Edge  10 <-> 2 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54e90)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f90)
    ]
    Edge  10 <-> 11 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54fb0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f90)
    ]
    Edge  10 <-> 18 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55090)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f90)
    ]
    Edge  11 <-> 3 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54eb0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54fb0)
    ]
    Edge  11 <-> 12 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54fd0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54fb0)
    ]
    Edge  11 <-> 19 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf550b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54fb0)
    ]
    Edge  12 <-> 4 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54ed0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54fd0)
    ]
    Edge  12 <-> 13 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54ff0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54fd0)
    ]
    Edge  12 <-> 20 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf550d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54fd0)
    ]
    Edge  13 <-> 5 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54ef0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54ff0)
    ]
    Edge  13 <-> 14 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55010)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54ff0)
    ]
    Edge  13 <-> 21 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf550f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf54ff0)
    ]
    Edge  14 <-> 6 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f10)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55010)
    ]
    Edge  14 <-> 15 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55030)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55010)
    ]
    Edge  14 <-> 22 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55110)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55010)
    ]
    Edge  15 <-> 7 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f30)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55030)
    ]
    Edge  15 <-> 23 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55130)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55030)
    ]
    Edge  16 <-> 17 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55070)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55050)
    ]
    Edge  16 <-> 24 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55150)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55050)
    ]
    Edge  17 <-> 9 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf54f70)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55070)
    ]
    Edge  18 <-> 17 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55070)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55090)
    ]
    Edge  18 <-> 26 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55190)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55090)
    ]
    Edge  19 <-> 18 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55090)
        Arc: (edge = 0x7fff317c04f0, target = 0xf550b0)
    ]
    Edge  19 <-> 27 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf551b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf550b0)
    ]
    Edge  20 <-> 19 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf550b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf550d0)
    ]
    Edge  20 <-> 28 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf551d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf550d0)
    ]
    Edge  21 <-> 20 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf550d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf550f0)
    ]
    Edge  21 <-> 29 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf551f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf550f0)
    ]
    Edge  22 <-> 21 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf550f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55110)
    ]
    Edge  22 <-> 30 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55210)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55110)
    ]
    Edge  23 <-> 22 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55110)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55130)
    ]
    Edge  23 <-> 31 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55230)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55130)
    ]
    Edge  24 <-> 25 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55170)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55150)
    ]
    Edge  24 <-> 32 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55250)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55150)
    ]
    Edge  25 <-> 17 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55070)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55170)
    ]
    Edge  26 <-> 25 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55170)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55190)
    ]
    Edge  26 <-> 34 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55290)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55190)
    ]
    Edge  27 <-> 26 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55190)
        Arc: (edge = 0x7fff317c04f0, target = 0xf551b0)
    ]
    Edge  27 <-> 35 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf552b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf551b0)
    ]
    Edge  28 <-> 27 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf551b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf551d0)
    ]
    Edge  28 <-> 36 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf552d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf551d0)
    ]
    Edge  29 <-> 28 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf551d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf551f0)
    ]
    Edge  29 <-> 37 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf552f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf551f0)
    ]
    Edge  30 <-> 29 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf551f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55210)
    ]
    Edge  30 <-> 38 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55310)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55210)
    ]
    Edge  31 <-> 30 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55210)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55230)
    ]
    Edge  31 <-> 39 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55330)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55230)
    ]
    Edge  32 <-> 33 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55270)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55250)
    ]
    Edge  32 <-> 40 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55350)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55250)
    ]
    Edge  33 <-> 25 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55170)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55270)
    ]
    Edge  34 <-> 33 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55270)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55290)
    ]
    Edge  34 <-> 42 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55390)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55290)
    ]
    Edge  35 <-> 34 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55290)
        Arc: (edge = 0x7fff317c04f0, target = 0xf552b0)
    ]
    Edge  35 <-> 43 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf553b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf552b0)
    ]
    Edge  36 <-> 35 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf552b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf552d0)
    ]
    Edge  36 <-> 44 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf553d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf552d0)
    ]
    Edge  37 <-> 36 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf552d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf552f0)
    ]
    Edge  37 <-> 45 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf553f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf552f0)
    ]
    Edge  38 <-> 37 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf552f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55310)
    ]
    Edge  38 <-> 46 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55410)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55310)
    ]
    Edge  39 <-> 38 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55310)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55330)
    ]
    Edge  39 <-> 47 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55430)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55330)
    ]
    Edge  40 <-> 41 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55370)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55350)
    ]
    Edge  40 <-> 48 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55450)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55350)
    ]
    Edge  41 <-> 33 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55270)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55370)
    ]
    Edge  42 <-> 41 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55370)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55390)
    ]
    Edge  42 <-> 50 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55490)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55390)
    ]
    Edge  43 <-> 42 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55390)
        Arc: (edge = 0x7fff317c04f0, target = 0xf553b0)
    ]
    Edge  43 <-> 51 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf554b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf553b0)
    ]
    Edge  44 <-> 43 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf553b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf553d0)
    ]
    Edge  44 <-> 52 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf554d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf553d0)
    ]
    Edge  45 <-> 44 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf553d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf553f0)
    ]
    Edge  45 <-> 53 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf554f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf553f0)
    ]
    Edge  46 <-> 45 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf553f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55410)
    ]
    Edge  46 <-> 54 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55510)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55410)
    ]
    Edge  47 <-> 46 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55410)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55430)
    ]
    Edge  47 <-> 55 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55530)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55430)
    ]
    Edge  48 <-> 49 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55470)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55450)
    ]
    Edge  48 <-> 56 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55550)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55450)
    ]
    Edge  49 <-> 41 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55370)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55470)
    ]
    Edge  50 <-> 49 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55470)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55490)
    ]
    Edge  50 <-> 58 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55590)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55490)
    ]
    Edge  51 <-> 50 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55490)
        Arc: (edge = 0x7fff317c04f0, target = 0xf554b0)
    ]
    Edge  51 <-> 59 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf555b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf554b0)
    ]
    Edge  52 <-> 51 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf554b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf554d0)
    ]
    Edge  52 <-> 60 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf555d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf554d0)
    ]
    Edge  53 <-> 52 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf554d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf554f0)
    ]
    Edge  53 <-> 61 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf555f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf554f0)
    ]
    Edge  54 <-> 53 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf554f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55510)
    ]
    Edge  54 <-> 62 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55610)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55510)
    ]
    Edge  55 <-> 54 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55510)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55530)
    ]
    Edge  55 <-> 63 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55630)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55530)
    ]
    Edge  56 <-> 57 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55570)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55550)
    ]
    Edge  57 <-> 49 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55470)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55570)
    ]
    Edge  58 <-> 57 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55570)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55590)
    ]
    Edge  59 <-> 58 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55590)
        Arc: (edge = 0x7fff317c04f0, target = 0xf555b0)
    ]
    Edge  60 <-> 59 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf555b0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf555d0)
    ]
    Edge  61 <-> 60 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf555d0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf555f0)
    ]
    Edge  62 <-> 61 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf555f0)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55610)
    ]
    Edge  63 <-> 62 [
        Arc: (edge = 0x7fff317c04f0, target = 0xf55610)
        Arc: (edge = 0x7fff317c04f0, target = 0xf55630)
    ]
]
Robot arrangement: (|R| = 61, |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 60#5 61#29 }
     vertex occupancy: {0#0 13#1 44#2 50#3 0#4 60#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 61#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| = 61, |V| = 64) [
     robot locations: {1#2 2#49 3#9 4#34 5#12 6#7 7#15 8#19 9#24 10#47 11#23 12#54 13#52 14#48 15#20 16#5 17#29 18#13 19#27 20#43 21#26 22#58 23#60 24#63 25#11 26#4 27#21 28#50 29#25 30#37 31#62 32#33 33#14 34#35 35#6 36#28 37#31 38#46 39#36 40#30 41#59 42#45 43#38 44#8 45#57 46#18 47#44 48#41 49#22 50#53 51#42 52#1 53#32 54#39 55#61 56#17 57#51 58#3 59#40 60#16 61#56 }
     vertex occupancy: {0#0 52#1 1#2 58#3 26#4 16#5 35#6 6#7 44#8 3#9 0#10 25#11 5#12 18#13 33#14 7#15 60#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 61#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                = 1797
            Produced CNF variables         = 0
            Produced CNF clauses           = 0
            Search steps                   = 0
            Wall clock TIME (seconds)      = 0.005
            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
            ]
        }
]
----------------------------------------------------------------