================================================================ 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:965 17 # 43 ---> 42 (0) 25 # 51 ---> 43 (0) 24 # 50 ---> 51 (0) 24 # 51 ---> 52 (1) 17 # 42 ---> 50 (1) 25 # 43 ---> 42 (1) 3 # 44 ---> 43 (1) 42 # 45 ---> 44 (1) 32 # 53 ---> 45 (1) 24 # 52 ---> 53 (2) 42 # 44 ---> 52 (2) 32 # 45 ---> 44 (2) 45 # 46 ---> 45 (2) 39 # 54 ---> 46 (2) 24 # 53 ---> 54 (3) 24 # 54 ---> 55 (4) 23 # 62 ---> 54 (4) 24 # 55 ---> 63 (5) 22 # 39 ---> 38 (0) 19 # 47 ---> 39 (0) 21 # 22 ---> 14 (0) 12 # 30 ---> 22 (0) 4 # 31 ---> 30 (0) 12 # 22 ---> 23 (1) 4 # 30 ---> 22 (1) 22 # 38 ---> 30 (1) 19 # 39 ---> 38 (1) 39 # 46 ---> 47 (3) 23 # 54 ---> 46 (5) 16 # 40 ---> 32 (0) 20 # 48 ---> 40 (0) 10 # 56 ---> 48 (0) 11 # 57 ---> 56 (0) 8 # 49 ---> 57 (0) 2 # 41 ---> 49 (0) 20 # 40 ---> 41 (1) 10 # 48 ---> 40 (1) 2 # 49 ---> 48 (1) 20 # 41 ---> 49 (2) 15 # 33 ---> 41 (2) 16 # 32 ---> 33 (2) 10 # 40 ---> 32 (2) 15 # 41 ---> 40 (3) 16 # 33 ---> 41 (3) 10 # 32 ---> 33 (3) 5 # 24 ---> 32 (3) 34 # 25 ---> 24 (3) 30 # 26 ---> 25 (3) 37 # 34 ---> 26 (3) 10 # 33 ---> 34 (4) 10 # 34 ---> 35 (5) 10 # 35 ---> 36 (6) 30 # 25 ---> 33 (4) 37 # 26 ---> 25 (4) 33 # 27 ---> 26 (4) 18 # 28 ---> 27 (4) 28 # 37 ---> 29 (0) 10 # 36 ---> 37 (7) 28 # 29 ---> 28 (4) 22 # 30 ---> 29 (4) 19 # 38 ---> 30 (4) 10 # 37 ---> 38 (8) 10 # 38 ---> 39 (9) 23 # 46 ---> 38 (9) 39 # 47 ---> 46 (9) 10 # 39 ---> 47 (10) 23 # 38 ---> 39 (10) 39 # 46 ---> 38 (10) 26 # 9 ---> 0 (0) 13 # 1 ---> 8 (0) 26 # 0 ---> 1 (1) 44 # 2 ---> 0 (1) 7 # 10 ---> 2 (1) 44 # 0 ---> 9 (2) 7 # 2 ---> 0 (2) 36 # 11 ---> 3 (0) 36 # 3 ---> 2 (2) 43 # 13 ---> 5 (0) 43 # 5 ---> 4 (1) 1 # 6 ---> 5 (1) 21 # 14 ---> 6 (1) 1 # 5 ---> 13 (2) 21 # 6 ---> 5 (2) 41 # 7 ---> 6 (2) 46 # 15 ---> 7 (2) 4 # 22 ---> 14 (2) 12 # 23 ---> 22 (2) 39 # 38 ---> 37 (11) 23 # 39 ---> 38 (11) 19 # 30 ---> 31 (5) 23 # 38 ---> 30 (12) 33 # 26 ---> 34 (5) 14 # 18 ---> 26 (5) 40 # 17 ---> 18 (5) 37 # 25 ---> 17 (5) 14 # 26 ---> 25 (6) 40 # 18 ---> 26 (6) 37 # 17 ---> 18 (6) 44 # 9 ---> 17 (6) 38 # 19 ---> 11 (0) 37 # 18 ---> 19 (7) 38 # 11 ---> 10 (1) 31 # 20 ---> 12 (0) 37 # 19 ---> 20 (8) 37 # 20 ---> 21 (9) 31 # 12 ---> 11 (1) 1 # 13 ---> 12 (3) 4 # 14 ---> 13 (3) 12 # 22 ---> 14 (3) 37 # 21 ---> 22 (10) 37 # 22 ---> 23 (11) 23 # 30 ---> 22 (13) 19 # 31 ---> 30 (13) 37 # 23 ---> 31 (13) 23 # 22 ---> 23 (14) 19 # 30 ---> 22 (14) 17 # 50 ---> 51 (2) 20 # 49 ---> 50 (3) 2 # 48 ---> 49 (3) 11 # 56 ---> 48 (3) 8 # 57 ---> 56 (3) 2 # 49 ---> 57 (4) 16 # 41 ---> 49 (4) 15 # 40 ---> 41 (4) 11 # 48 ---> 40 (4) 16 # 49 ---> 48 (5) 15 # 41 ---> 49 (5) 30 # 33 ---> 41 (5) 5 # 32 ---> 33 (5) 11 # 40 ---> 32 (5) 30 # 41 ---> 40 (6) 5 # 33 ---> 41 (6) 14 # 25 ---> 33 (7) 34 # 24 ---> 25 (7) 11 # 32 ---> 24 (7) 14 # 33 ---> 32 (8) 34 # 25 ---> 33 (8) 44 # 17 ---> 25 (8) 6 # 16 ---> 17 (8) 11 # 24 ---> 16 (8) 44 # 25 ---> 24 (9) 6 # 17 ---> 25 (9) 13 # 8 ---> 9 (6) 11 # 16 ---> 8 (9) 13 # 9 ---> 17 (9) 11 # 8 ---> 9 (10) 26 # 1 ---> 8 (10) 7 # 0 ---> 1 (10) 36 # 2 ---> 0 (10) 38 # 10 ---> 2 (10) 11 # 9 ---> 10 (11) 36 # 0 ---> 9 (11) 38 # 2 ---> 0 (11) 31 # 11 ---> 3 (2) 11 # 10 ---> 11 (12) 31 # 3 ---> 2 (11) 43 # 4 ---> 3 (11) 1 # 12 ---> 4 (11) 11 # 11 ---> 12 (13) 43 # 3 ---> 11 (13) 1 # 4 ---> 3 (13) 21 # 5 ---> 4 (13) 4 # 13 ---> 5 (13) 11 # 12 ---> 13 (14) 21 # 4 ---> 12 (14) 4 # 5 ---> 4 (14) 41 # 6 ---> 5 (14) 12 # 14 ---> 6 (14) 11 # 13 ---> 14 (15) 11 # 14 ---> 15 (16) 19 # 22 ---> 14 (16) 23 # 23 ---> 22 (16) 11 # 15 ---> 23 (17) 19 # 14 ---> 15 (17) 23 # 22 ---> 14 (17) 43 # 11 ---> 10 (14) 1 # 3 ---> 11 (14) 31 # 2 ---> 3 (14) 43 # 10 ---> 2 (15) 1 # 11 ---> 10 (15) 21 # 12 ---> 11 (15) 4 # 4 ---> 12 (15) 31 # 3 ---> 4 (15) 21 # 11 ---> 3 (16) 4 # 12 ---> 11 (16) 41 # 5 ---> 13 (15) 31 # 4 ---> 5 (16) 41 # 13 ---> 12 (16) 23 # 14 ---> 13 (18) 12 # 6 ---> 14 (18) 31 # 5 ---> 6 (18) 23 # 13 ---> 5 (19) 12 # 14 ---> 13 (19) 31 # 6 ---> 14 (19) 31 # 14 ---> 22 (20) 31 # 22 ---> 30 (21) 31 # 30 ---> 38 (22) 31 # 38 ---> 46 (23) 31 # 46 ---> 54 (24) 35 # 61 ---> 53 (3) 31 # 54 ---> 62 (25) 12 # 13 ---> 14 (20) 12 # 14 ---> 22 (21) 12 # 22 ---> 30 (22) 12 # 30 ---> 38 (23) 12 # 38 ---> 46 (24) 12 # 46 ---> 54 (25) 21 # 3 ---> 4 (17) 43 # 2 ---> 3 (17) 38 # 0 ---> 2 (17) 36 # 9 ---> 0 (17) 1 # 10 ---> 9 (17) 4 # 11 ---> 10 (17) 43 # 3 ---> 11 (18) 38 # 2 ---> 3 (18) 4 # 10 ---> 2 (18) 43 # 11 ---> 10 (19) 41 # 12 ---> 11 (19) 21 # 4 ---> 12 (19) 38 # 3 ---> 4 (19) 41 # 11 ---> 3 (20) 21 # 12 ---> 11 (20) 23 # 5 ---> 13 (20) 38 # 4 ---> 5 (20) 38 # 5 ---> 6 (21) 38 # 6 ---> 14 (22) 38 # 14 ---> 22 (23) 38 # 22 ---> 30 (24) 38 # 30 ---> 38 (25) 38 # 38 ---> 46 (26) 39 # 37 ---> 38 (26) 45 # 45 ---> 37 (26) 21 # 11 ---> 19 (21) 43 # 10 ---> 11 (21) 43 # 11 ---> 12 (22) 4 # 2 ---> 10 (21) 41 # 3 ---> 2 (21) 23 # 13 ---> 5 (21) 43 # 12 ---> 13 (23) 43 # 13 ---> 14 (24) 43 # 14 ---> 22 (25) 43 # 22 ---> 30 (26) 45 # 37 ---> 36 (27) 39 # 38 ---> 37 (27) 43 # 30 ---> 38 (27) 22 # 29 ---> 30 (27) 39 # 37 ---> 29 (28) 40 # 26 ---> 18 (7) 18 # 27 ---> 26 (7) 21 # 19 ---> 27 (22) 40 # 18 ---> 19 (22) 40 # 19 ---> 20 (23) 40 # 20 ---> 21 (24) 40 # 21 ---> 22 (26) 39 # 29 ---> 21 (29) 22 # 30 ---> 29 (29) 40 # 22 ---> 30 (29) 39 # 21 ---> 22 (30) 22 # 29 ---> 21 (30) 22 # 21 ---> 20 (31) 39 # 22 ---> 21 (31) 39 # 21 ---> 13 (32) 13 # 17 ---> 18 (22) 26 # 8 ---> 16 (11) 1 # 9 ---> 8 (18) 4 # 10 ---> 9 (22) 13 # 18 ---> 10 (23) 4 # 9 ---> 17 (23) 22 # 20 ---> 12 (32) 45 # 36 ---> 35 (28) 32 # 44 ---> 36 (28) 42 # 52 ---> 44 (28) 35 # 53 ---> 52 (28) 42 # 44 ---> 45 (29) 4 # 17 ---> 18 (24) 6 # 25 ---> 17 (24) 34 # 33 ---> 25 (24) 14 # 32 ---> 33 (24) 30 # 40 ---> 32 (24) 5 # 41 ---> 40 (24) 14 # 33 ---> 41 (25) 34 # 25 ---> 33 (25) 44 # 24 ---> 25 (25) 30 # 32 ---> 24 (25) 34 # 33 ---> 32 (26) 44 # 25 ---> 33 (26) 30 # 24 ---> 25 (26) 26 # 16 ---> 24 (26) 6 # 17 ---> 16 (26) 4 # 18 ---> 17 (26) 18 # 26 ---> 18 (26) 30 # 25 ---> 26 (27) 4 # 17 ---> 25 (27) 18 # 18 ---> 17 (27) 21 # 27 ---> 19 (23) 30 # 26 ---> 27 (28) 21 # 19 ---> 18 (27) 28 # 28 ---> 20 (32) 30 # 27 ---> 28 (32) 30 # 28 ---> 29 (33) 32 # 36 ---> 28 (33) 30 # 29 ---> 37 (34) 32 # 28 ---> 29 (34) 3 # 43 ---> 44 (29) 17 # 51 ---> 43 (29) 20 # 50 ---> 51 (29) 25 # 42 ---> 50 (29) 33 # 34 ---> 42 (29) 45 # 35 ---> 34 (29) 17 # 43 ---> 35 (30) 17 # 35 ---> 27 (32) 17 # 27 ---> 19 (33) 28 # 20 ---> 28 (34) 17 # 19 ---> 20 (34) 17 # 20 ---> 21 (35) 28 # 28 ---> 20 (35) 32 # 29 ---> 28 (35) 17 # 21 ---> 29 (36) 28 # 20 ---> 21 (36) 32 # 28 ---> 20 (36) 39 # 13 ---> 14 (33) 20 # 51 ---> 43 (30) 27 # 59 ---> 51 (30) 29 # 58 ---> 59 (30) 25 # 50 ---> 58 (30) 33 # 42 ---> 50 (30) 20 # 43 ---> 42 (31) 27 # 51 ---> 43 (31) 27 # 43 ---> 35 (32) 27 # 35 ---> 27 (33) 27 # 27 ---> 19 (34) 27 # 19 ---> 11 (35) 32 # 20 ---> 19 (37) 22 # 12 ---> 20 (37) 27 # 11 ---> 12 (37) 27 # 12 ---> 13 (38) 22 # 20 ---> 12 (38) 28 # 21 ---> 20 (38) 27 # 13 ---> 21 (39) 22 # 12 ---> 13 (39) 28 # 20 ---> 12 (39) 35 # 52 ---> 51 (31) 23 # 5 ---> 4 (22) 22 # 13 ---> 5 (40) 28 # 12 ---> 13 (40) 23 # 4 ---> 12 (40) 23 # 12 ---> 20 (41) 23 # 20 ---> 28 (42) 23 # 28 ---> 36 (43) 32 # 19 ---> 11 (38) 3 # 44 ---> 43 (32) 23 # 36 ---> 44 (44) 23 # 44 ---> 52 (45) 3 # 43 ---> 35 (33) 35 # 51 ---> 43 (33) 29 # 59 ---> 51 (33) 9 # 60 ---> 59 (33) 23 # 52 ---> 60 (46) 36 # 0 ---> 9 (23) 32 # 11 ---> 3 (39) 13 # 10 ---> 11 (39) 13 # 11 ---> 12 (41) 13 # 12 ---> 20 (42) 13 # 20 ---> 28 (43) 13 # 28 ---> 36 (44) 13 # 36 ---> 44 (45) 13 # 44 ---> 52 (46) 35 # 43 ---> 44 (46) 29 # 51 ---> 43 (46) 3 # 35 ---> 27 (34) 29 # 43 ---> 35 (47) 33 # 50 ---> 51 (46) 20 # 42 ---> 50 (46) 45 # 34 ---> 42 (46) 29 # 35 ---> 34 (48) 35 # 44 ---> 43 (47) 22 # 5 ---> 6 (41) 28 # 13 ---> 5 (41) 39 # 14 ---> 13 (41) 39 # 13 ---> 12 (42) 39 # 12 ---> 20 (43) 39 # 20 ---> 28 (44) 39 # 28 ---> 36 (45) 36 # 9 ---> 10 (39) 36 # 10 ---> 11 (41) 36 # 11 ---> 12 (43) 36 # 12 ---> 20 (44) 36 # 20 ---> 28 (45) 3 # 27 ---> 19 (38) 4 # 25 ---> 26 (28) 44 # 33 ---> 25 (28) 14 # 41 ---> 33 (28) 15 # 49 ---> 41 (28) 16 # 48 ---> 49 (28) 5 # 40 ---> 48 (28) 34 # 32 ---> 40 (28) 14 # 33 ---> 32 (29) 15 # 41 ---> 33 (29) 34 # 40 ---> 41 (29) 14 # 32 ---> 40 (30) 26 # 24 ---> 32 (30) 44 # 25 ---> 24 (30) 15 # 33 ---> 25 (30) 26 # 32 ---> 33 (31) 44 # 24 ---> 32 (31) 6 # 16 ---> 24 (31) 18 # 17 ---> 16 (31) 15 # 25 ---> 17 (31) 15 # 17 ---> 9 (39) 15 # 9 ---> 10 (41) 15 # 10 ---> 11 (43) 15 # 11 ---> 12 (44) 3 # 19 ---> 11 (44) 15 # 12 ---> 20 (45) 3 # 11 ---> 12 (45) 35 # 43 ---> 35 (48) 33 # 51 ---> 43 (48) 32 # 3 ---> 11 (45) 41 # 2 ---> 3 (45) 32 # 11 ---> 10 (46) 41 # 3 ---> 11 (46) 41 # 11 ---> 19 (47) 41 # 19 ---> 27 (48) 32 # 10 ---> 2 (47) 21 # 18 ---> 10 (47) 4 # 26 ---> 18 (47) 29 # 34 ---> 26 (49) 35 # 35 ---> 34 (49) 41 # 27 ---> 35 (49) 29 # 26 ---> 27 (50) 35 # 34 ---> 26 (50) 45 # 42 ---> 34 (50) 33 # 43 ---> 42 (50) 41 # 35 ---> 43 (50) 41 # 43 ---> 51 (51) 33 # 42 ---> 43 (51) 20 # 50 ---> 42 (51) 25 # 58 ---> 50 (51) 9 # 59 ---> 58 (51) 41 # 51 ---> 59 (52) 33 # 43 ---> 35 (52) 22 # 6 ---> 14 (42) 28 # 5 ---> 6 (42) 3 # 12 ---> 4 (46) 21 # 10 ---> 11 (48) 4 # 18 ---> 10 (48) 35 # 26 ---> 18 (51) 29 # 27 ---> 26 (51) 35 # 18 ---> 19 (52) 29 # 26 ---> 18 (52) 45 # 34 ---> 26 (52) 33 # 35 ---> 34 (53) 20 # 42 ---> 43 (52) 25 # 50 ---> 42 (52) 26 # 33 ---> 25 (32) 34 # 41 ---> 33 (32) 14 # 40 ---> 41 (32) 44 # 32 ---> 40 (32) 6 # 24 ---> 32 (32) 26 # 25 ---> 24 (33) 34 # 33 ---> 25 (33) 33 # 34 ---> 33 (54) 45 # 26 ---> 34 (54) 34 # 25 ---> 26 (54) 34 # 26 ---> 27 (55) 45 # 34 ---> 26 (55) 34 # 27 ---> 35 (56) 21 # 11 ---> 3 (49) 35 # 19 ---> 11 (53) 22 # 14 ---> 13 (43) 19 # 15 ---> 14 (43) 46 # 7 ---> 15 (43) 28 # 6 ---> 7 (43) 22 # 13 ---> 5 (44) 19 # 14 ---> 13 (44) 19 # 13 ---> 12 (46) 22 # 5 ---> 6 (45) 3 # 4 ---> 5 (47) 21 # 3 ---> 4 (50) 35 # 11 ---> 3 (54) 19 # 12 ---> 11 (54) 19 # 11 ---> 19 (55) 19 # 19 ---> 27 (56) 29 # 18 ---> 19 (56) 45 # 26 ---> 18 (56) 16 # 49 ---> 50 (52) 5 # 48 ---> 49 (52) 8 # 56 ---> 48 (52) 2 # 57 ---> 56 (52) 5 # 49 ---> 57 (53) 14 # 41 ---> 49 (53) 44 # 40 ---> 41 (53) 8 # 48 ---> 40 (53) 14 # 49 ---> 48 (54) 44 # 41 ---> 49 (54) 33 # 33 ---> 41 (55) 6 # 32 ---> 33 (55) 8 # 40 ---> 32 (55) 33 # 41 ---> 40 (56) 6 # 33 ---> 41 (56) 26 # 24 ---> 25 (54) 8 # 32 ---> 24 (56) 26 # 25 ---> 33 (56) 18 # 16 ---> 17 (39) 8 # 24 ---> 16 (57) 18 # 17 ---> 25 (56) 1 # 8 ---> 9 (41) 8 # 16 ---> 8 (58) 1 # 9 ---> 17 (56) 8 # 8 ---> 9 (59) 7 # 1 ---> 8 (59) 32 # 2 ---> 0 (48) 4 # 10 ---> 2 (49) 8 # 9 ---> 10 (60) 8 # 10 ---> 11 (61) 45 # 18 ---> 10 (61) 29 # 19 ---> 18 (61) 8 # 11 ---> 19 (62) 45 # 10 ---> 11 (62) 29 # 18 ---> 10 (62) 25 # 42 ---> 34 (55) 16 # 50 ---> 42 (55) 3 # 5 ---> 13 (48) 22 # 6 ---> 5 (48) 3 # 13 ---> 14 (49) 21 # 4 ---> 12 (54) 22 # 5 ---> 4 (54) 21 # 12 ---> 13 (55) 45 # 11 ---> 12 (63) 35 # 3 ---> 11 (63) 22 # 4 ---> 3 (63) 45 # 12 ---> 4 (64) 35 # 11 ---> 12 (64) 29 # 10 ---> 11 (64) 4 # 2 ---> 10 (64) 22 # 3 ---> 2 (64) 29 # 11 ---> 3 (65) 4 # 10 ---> 11 (65) 22 # 2 ---> 10 (65) 22 # 10 ---> 18 (66) 22 # 18 ---> 26 (67) 32 # 0 ---> 2 (65) 1 # 17 ---> 9 (60) 18 # 25 ---> 17 (60) 26 # 33 ---> 25 (60) 25 # 34 ---> 33 (60) 22 # 26 ---> 34 (68) 26 # 25 ---> 26 (68) 25 # 33 ---> 25 (68) 6 # 41 ---> 33 (68) 16 # 42 ---> 41 (68) 22 # 34 ---> 42 (69) 22 # 42 ---> 50 (70) 16 # 41 ---> 42 (70) 44 # 49 ---> 41 (70) 5 # 57 ---> 49 (70) 9 # 58 ---> 57 (70) 22 # 50 ---> 58 (71) 16 # 42 ---> 34 (71) 28 # 7 ---> 6 (48) 28 # 6 ---> 5 (54) 3 # 14 ---> 6 (54) 21 # 13 ---> 14 (56) 35 # 12 ---> 13 (65) 45 # 4 ---> 12 (65) 28 # 5 ---> 4 (65) 35 # 13 ---> 5 (66) 45 # 12 ---> 13 (66) 4 # 11 ---> 12 (66) 29 # 3 ---> 11 (66) 28 # 4 ---> 3 (66) 4 # 12 ---> 4 (67) 29 # 11 ---> 12 (67) 32 # 2 ---> 10 (66) 28 # 3 ---> 2 (67) 32 # 10 ---> 11 (67) 28 # 2 ---> 10 (68) 28 # 10 ---> 18 (69) 1 # 9 ---> 0 (65) 18 # 17 ---> 9 (65) 25 # 25 ---> 17 (69) 26 # 26 ---> 25 (69) 28 # 18 ---> 26 (70) 25 # 17 ---> 18 (70) 26 # 25 ---> 17 (70) 6 # 33 ---> 25 (70) 16 # 34 ---> 33 (72) 28 # 26 ---> 34 (72) 28 # 34 ---> 42 (73) 28 # 42 ---> 50 (74) 1 # 0 ---> 2 (68) 18 # 9 ---> 0 (68) 26 # 17 ---> 9 (71) 25 # 18 ---> 17 (71) 16 # 33 ---> 34 (73) 44 # 41 ---> 33 (73) 4 # 4 ---> 3 (68) 29 # 12 ---> 4 (68) 32 # 11 ---> 12 (68) 1 # 2 ---> 10 (69) 4 # 3 ---> 2 (69) 1 # 10 ---> 11 (70) 4 # 2 ---> 10 (70) 4 # 10 ---> 18 (71) 4 # 18 ---> 26 (72) 44 # 33 ---> 32 (74) 16 # 34 ---> 33 (74) 4 # 26 ---> 34 (74) 6 # 25 ---> 26 (74) 16 # 33 ---> 25 (75) 3 # 6 ---> 7 (55) 35 # 5 ---> 6 (67) 45 # 13 ---> 5 (67) 21 # 14 ---> 13 (67) 35 # 6 ---> 14 (68) 45 # 5 ---> 6 (68) 29 # 4 ---> 5 (69) 32 # 12 ---> 4 (69) 21 # 13 ---> 12 (69) 29 # 5 ---> 13 (70) 32 # 4 ---> 5 (70) 1 # 11 ---> 3 (71) 21 # 12 ---> 11 (71) 21 # 11 ---> 10 (72) 21 # 10 ---> 18 (73) 16 # 25 ---> 24 (76) 6 # 26 ---> 25 (76) 21 # 18 ---> 26 (76) 25 # 17 ---> 18 (76) 6 # 25 ---> 17 (77) 29 # 13 ---> 12 (71) 35 # 14 ---> 13 (71) 46 # 15 ---> 14 (71) 3 # 7 ---> 15 (71) 45 # 6 ---> 7 (71) 32 # 5 ---> 6 (71) 35 # 13 ---> 5 (72) 46 # 14 ---> 13 (72) 32 # 6 ---> 14 (72) 29 # 12 ---> 4 (72) 46 # 13 ---> 12 (73) 46 # 12 ---> 11 (74) 46 # 11 ---> 10 (75) 6 # 17 ---> 16 (78) 25 # 18 ---> 17 (78) 46 # 10 ---> 18 (78) 26 # 9 ---> 10 (78) 25 # 17 ---> 9 (79) 44 # 32 ---> 33 (75) 33 # 40 ---> 32 (75) 14 # 48 ---> 40 (75) 44 # 33 ---> 25 (77) 33 # 32 ---> 33 (77) 14 # 40 ---> 32 (77) 5 # 49 ---> 41 (73) 2 # 56 ---> 48 (75) 9 # 57 ---> 56 (75) 45 # 7 ---> 6 (72) 3 # 15 ---> 7 (72) 32 # 14 ---> 15 (73) 35 # 5 ---> 13 (73) 45 # 6 ---> 5 (73) 35 # 13 ---> 14 (74) 29 # 4 ---> 12 (74) 45 # 5 ---> 4 (74) 29 # 12 ---> 13 (75) 1 # 3 ---> 11 (75) 45 # 4 ---> 3 (75) 45 # 3 ---> 2 (76) 1 # 11 ---> 3 (76) 26 # 10 ---> 11 (79) 25 # 9 ---> 10 (80) 18 # 0 ---> 9 (80) 45 # 2 ---> 0 (80) 45 # 0 ---> 1 (81) 18 # 9 ---> 0 (81) 7 # 8 ---> 9 (81) 45 # 1 ---> 8 (82) 18 # 0 ---> 1 (82) 7 # 9 ---> 0 (82) 6 # 16 ---> 17 (79) 45 # 8 ---> 16 (83) 6 # 17 ---> 9 (82) 44 # 25 ---> 17 (82) 16 # 24 ---> 25 (82) 45 # 16 ---> 24 (84) 44 # 17 ---> 16 (84) 16 # 25 ---> 17 (84) 33 # 33 ---> 25 (84) 14 # 32 ---> 33 (84) 45 # 24 ---> 32 (85) 45 # 32 ---> 40 (86) 33 # 25 ---> 24 (85) 14 # 33 ---> 25 (85) 5 # 41 ---> 33 (85) 2 # 48 ---> 49 (76) 45 # 40 ---> 48 (87) 2 # 49 ---> 41 (85) 45 # 48 ---> 49 (88) 9 # 56 ---> 48 (88) 45 # 49 ---> 57 (89) 33 # 24 ---> 32 (86) 14 # 25 ---> 24 (86) 5 # 33 ---> 25 (86) 33 # 32 ---> 33 (87) 14 # 24 ---> 32 (87) 14 # 32 ---> 40 (88) 33 # 33 ---> 32 (88) 2 # 41 ---> 33 (88) 14 # 40 ---> 41 (89) 9 # 48 ---> 40 (89) 14 # 41 ---> 49 (90) 9 # 40 ---> 41 (90) 33 # 32 ---> 40 (90) 2 # 33 ---> 32 (90) 9 # 41 ---> 33 (91) 33 # 40 ---> 41 (91) 2 # 32 ---> 40 (91) 9 # 33 ---> 32 (92) 33 # 41 ---> 33 (92) 2 # 40 ---> 41 (92) 14 # 49 ---> 48 (91) 2 # 41 ---> 49 (93) 5 # 25 ---> 24 (87) 33 # 33 ---> 25 (93) 1 # 3 ---> 4 (77) 26 # 11 ---> 3 (80) 1 # 4 ---> 12 (78) 26 # 3 ---> 4 (81) 25 # 10 ---> 2 (81) 25 # 2 ---> 3 (82) 7 # 0 ---> 2 (83) 6 # 9 ---> 0 (83) 16 # 17 ---> 9 (85) 44 # 16 ---> 17 (85) 16 # 9 ---> 8 (86) 44 # 17 ---> 9 (86) 33 # 25 ---> 17 (94) 5 # 24 ---> 25 (94) 33 # 17 ---> 16 (95) 5 # 25 ---> 17 (95) 9 # 32 ---> 33 (93) 44 # 9 ---> 10 (87) 5 # 17 ---> 9 (96) 9 # 33 ---> 25 (95) 33 # 16 ---> 24 (96) 9 # 25 ---> 17 (96) 33 # 24 ---> 25 (97) 9 # 17 ---> 16 (97) 33 # 25 ---> 17 (98) 35 # 14 ---> 6 (75) 32 # 15 ---> 14 (75) 3 # 7 ---> 15 (75) 35 # 6 ---> 7 (76) 29 # 13 ---> 5 (76) 32 # 14 ---> 13 (76) 29 # 5 ---> 6 (77) 26 # 4 ---> 5 (82) 1 # 12 ---> 4 (82) 32 # 13 ---> 12 (82) 32 # 12 ---> 11 (83) 26 # 5 ---> 13 (83) 1 # 4 ---> 5 (83) 25 # 3 ---> 4 (83) 7 # 2 ---> 3 (84) 44 # 10 ---> 2 (88) 32 # 11 ---> 10 (88) 7 # 3 ---> 11 (88) 44 # 2 ---> 3 (89) 6 # 0 ---> 2 (89) 5 # 9 ---> 0 (97) 32 # 10 ---> 9 (97) 6 # 2 ---> 10 (97) 5 # 0 ---> 2 (98) 18 # 1 ---> 0 (98) 16 # 8 ---> 1 (98) 32 # 9 ---> 8 (98) 33 # 17 ---> 9 (99) 9 # 16 ---> 17 (99) 32 # 8 ---> 16 (99) 32 # 16 ---> 24 (100) 32 # 24 ---> 25 (101) 32 # 25 ---> 33 (102) 9 # 17 ---> 25 (102) 26 # 13 ---> 14 (84) 1 # 5 ---> 13 (84) 29 # 6 ---> 5 (84) 26 # 14 ---> 6 (85) 1 # 13 ---> 14 (85) 25 # 4 ---> 12 (84) 29 # 5 ---> 4 (85) 25 # 12 ---> 13 (85) 7 # 11 ---> 12 (89) 44 # 3 ---> 11 (90) 29 # 4 ---> 3 (90) 7 # 12 ---> 4 (90) 44 # 11 ---> 12 (91) 6 # 10 ---> 11 (98) 5 # 2 ---> 10 (99) 29 # 3 ---> 2 (99) 6 # 11 ---> 3 (99) 5 # 10 ---> 11 (100) 33 # 9 ---> 10 (100) 18 # 0 ---> 9 (100) 29 # 2 ---> 0 (100) 33 # 10 ---> 2 (101) 18 # 9 ---> 10 (101) 16 # 1 ---> 8 (99) 29 # 0 ---> 1 (101) 16 # 8 ---> 9 (101) 29 # 1 ---> 8 (102) 29 # 8 ---> 16 (103) 29 # 16 ---> 17 (104) 9 # 25 ---> 24 (103) 29 # 17 ---> 25 (105) 16 # 9 ---> 0 (102) 16 # 0 ---> 1 (103) 33 # 2 ---> 0 (103) 6 # 3 ---> 2 (103) 7 # 4 ---> 3 (103) 25 # 13 ---> 5 (86) 44 # 12 ---> 13 (92) 5 # 11 ---> 12 (101) 7 # 3 ---> 11 (104) 5 # 12 ---> 4 (103) 7 # 11 ---> 12 (105) 18 # 10 ---> 11 (105) 6 # 2 ---> 10 (105) 18 # 11 ---> 3 (106) 6 # 10 ---> 11 (106) 18 # 3 ---> 2 (107) 5 # 4 ---> 3 (107) 25 # 5 ---> 4 (107) 26 # 6 ---> 5 (107) 18 # 2 ---> 10 (108) 5 # 3 ---> 2 (108) 6 # 11 ---> 3 (108) 7 # 12 ---> 11 (108) 25 # 4 ---> 12 (108) 6 # 3 ---> 4 (109) 7 # 11 ---> 3 (109) 25 # 12 ---> 11 (109) 44 # 13 ---> 12 (109) 26 # 5 ---> 13 (109) 6 # 4 ---> 5 (110) 6 # 5 ---> 6 (111) 26 # 13 ---> 5 (111) 1 # 14 ---> 13 (111) 6 # 6 ---> 14 (112) 35 # 7 ---> 6 (112) 3 # 15 ---> 7 (112) 6 # 14 ---> 15 (113) 7 # 3 ---> 4 (110) 25 # 11 ---> 3 (110) 44 # 12 ---> 11 (110) 1 # 13 ---> 12 (112) 26 # 5 ---> 13 (112) 7 # 4 ---> 5 (112) 1 # 12 ---> 4 (113) 26 # 13 ---> 12 (113) 35 # 6 ---> 14 (113) 7 # 5 ---> 6 (113) 35 # 14 ---> 13 (114) 7 # 6 ---> 14 (114) 3 # 7 ---> 6 (114) 6 # 15 ---> 7 (114) 7 # 14 ---> 15 (115) 3 # 6 ---> 5 (115) 35 # 13 ---> 14 (115) 18 # 10 ---> 9 (109) 5 # 2 ---> 10 (109) 33 # 0 ---> 2 (109) 18 # 9 ---> 0 (110) 5 # 10 ---> 9 (110) 44 # 11 ---> 10 (111) 25 # 3 ---> 11 (111) 33 # 2 ---> 3 (111) 44 # 10 ---> 2 (112) 25 # 11 ---> 10 (112) 26 # 12 ---> 11 (114) 1 # 4 ---> 12 (114) 33 # 3 ---> 4 (114) 26 # 11 ---> 3 (115) 1 # 12 ---> 11 (115) 3 # 5 ---> 13 (116) 33 # 4 ---> 5 (116) 3 # 13 ---> 12 (117) 33 # 5 ---> 13 (117) 35 # 14 ---> 6 (116) 33 # 13 ---> 14 (118) 5 # 9 ---> 8 (111) 18 # 0 ---> 9 (111) 16 # 1 ---> 0 (111) 5 # 8 ---> 1 (112) 18 # 9 ---> 8 (112) 25 # 10 ---> 9 (113) 44 # 2 ---> 10 (113) 16 # 0 ---> 2 (113) 25 # 9 ---> 0 (114) 44 # 10 ---> 9 (114) 1 # 11 ---> 10 (116) 26 # 3 ---> 11 (116) 16 # 2 ---> 3 (116) 16 # 3 ---> 4 (117) 26 # 11 ---> 3 (117) 3 # 12 ---> 11 (118) 16 # 4 ---> 12 (118) 16 # 12 ---> 13 (119) 25 # 0 ---> 2 (116) 5 # 1 ---> 0 (116) 18 # 8 ---> 1 (116) 44 # 9 ---> 8 (116) 5 # 0 ---> 9 (117) 18 # 1 ---> 0 (117) 44 # 8 ---> 1 (117) 5 # 9 ---> 8 (118) 1 # 10 ---> 9 (118) 25 # 2 ---> 10 (118) 18 # 0 ---> 2 (118) 1 # 9 ---> 0 (119) 25 # 10 ---> 9 (119) 3 # 11 ---> 10 (119) 26 # 3 ---> 11 (119) 18 # 2 ---> 3 (119) 18 # 3 ---> 4 (120) 18 # 4 ---> 12 (121) 16 # 13 ---> 5 (120) 18 # 12 ---> 13 (122) 26 # 11 ---> 12 (122) 1 # 0 ---> 2 (120) 44 # 1 ---> 0 (120) 5 # 8 ---> 1 (120) 25 # 9 ---> 8 (120) 44 # 0 ---> 9 (121) 5 # 1 ---> 0 (121) 25 # 8 ---> 1 (121) 44 # 9 ---> 8 (122) 3 # 10 ---> 9 (122) 1 # 2 ---> 10 (122) 5 # 0 ---> 2 (122) 5 # 2 ---> 3 (123) 5 # 3 ---> 11 (124) 26 # 12 ---> 4 (123) 5 # 11 ---> 12 (125) 3 # 9 ---> 0 (123) 1 # 10 ---> 9 (123) 3 # 0 ---> 2 (124) 25 # 1 ---> 0 (124) 44 # 8 ---> 1 (124) 1 # 9 ---> 8 (124) 3 # 2 ---> 10 (125) 25 # 0 ---> 2 (125) 3 # 10 ---> 9 (126) 25 # 2 ---> 10 (126) 25 # 10 ---> 11 (127) 44 # 1 ---> 0 (125) 1 # 8 ---> 1 (125) 3 # 9 ---> 8 (127) 44 # 0 ---> 9 (127) 1 # 1 ---> 0 (127) 3 # 8 ---> 1 (128) 44 # 9 ---> 8 (128) 1 # 0 ---> 9 (128) 1 # 9 ---> 10 (129) 1 # 10 ---> 2 (130) 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 = 0x7fff2688a880, target = 0x25dfe70) Arc: (edge = 0x7fff2688a880, target = 0x25dfe50) ] Edge 1 <-> 8 [ Arc: (edge = 0x7fff2688a880, target = 0x25dff50) Arc: (edge = 0x7fff2688a880, target = 0x25dfe70) ] Edge 2 <-> 0 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfe50) Arc: (edge = 0x7fff2688a880, target = 0x25dfe90) ] Edge 3 <-> 2 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfe90) Arc: (edge = 0x7fff2688a880, target = 0x25dfeb0) ] Edge 4 <-> 3 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfeb0) Arc: (edge = 0x7fff2688a880, target = 0x25dfed0) ] Edge 5 <-> 4 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfed0) Arc: (edge = 0x7fff2688a880, target = 0x25dfef0) ] Edge 6 <-> 5 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfef0) Arc: (edge = 0x7fff2688a880, target = 0x25dff10) ] Edge 7 <-> 6 [ Arc: (edge = 0x7fff2688a880, target = 0x25dff10) Arc: (edge = 0x7fff2688a880, target = 0x25dff30) ] Edge 8 <-> 9 [ Arc: (edge = 0x7fff2688a880, target = 0x25dff70) Arc: (edge = 0x7fff2688a880, target = 0x25dff50) ] Edge 8 <-> 16 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0050) Arc: (edge = 0x7fff2688a880, target = 0x25dff50) ] Edge 9 <-> 0 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfe50) Arc: (edge = 0x7fff2688a880, target = 0x25dff70) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fff2688a880, target = 0x25dff90) Arc: (edge = 0x7fff2688a880, target = 0x25dff70) ] Edge 10 <-> 2 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfe90) Arc: (edge = 0x7fff2688a880, target = 0x25dff90) ] Edge 10 <-> 11 [ Arc: (edge = 0x7fff2688a880, target = 0x25dffb0) Arc: (edge = 0x7fff2688a880, target = 0x25dff90) ] Edge 10 <-> 18 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0090) Arc: (edge = 0x7fff2688a880, target = 0x25dff90) ] Edge 11 <-> 3 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfeb0) Arc: (edge = 0x7fff2688a880, target = 0x25dffb0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fff2688a880, target = 0x25dffd0) Arc: (edge = 0x7fff2688a880, target = 0x25dffb0) ] Edge 11 <-> 19 [ Arc: (edge = 0x7fff2688a880, target = 0x25e00b0) Arc: (edge = 0x7fff2688a880, target = 0x25dffb0) ] Edge 12 <-> 4 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfed0) Arc: (edge = 0x7fff2688a880, target = 0x25dffd0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfff0) Arc: (edge = 0x7fff2688a880, target = 0x25dffd0) ] Edge 12 <-> 20 [ Arc: (edge = 0x7fff2688a880, target = 0x25e00d0) Arc: (edge = 0x7fff2688a880, target = 0x25dffd0) ] Edge 13 <-> 5 [ Arc: (edge = 0x7fff2688a880, target = 0x25dfef0) Arc: (edge = 0x7fff2688a880, target = 0x25dfff0) ] Edge 13 <-> 14 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0010) Arc: (edge = 0x7fff2688a880, target = 0x25dfff0) ] Edge 13 <-> 21 [ Arc: (edge = 0x7fff2688a880, target = 0x25e00f0) Arc: (edge = 0x7fff2688a880, target = 0x25dfff0) ] Edge 14 <-> 6 [ Arc: (edge = 0x7fff2688a880, target = 0x25dff10) Arc: (edge = 0x7fff2688a880, target = 0x25e0010) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0030) Arc: (edge = 0x7fff2688a880, target = 0x25e0010) ] Edge 14 <-> 22 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0110) Arc: (edge = 0x7fff2688a880, target = 0x25e0010) ] Edge 15 <-> 7 [ Arc: (edge = 0x7fff2688a880, target = 0x25dff30) Arc: (edge = 0x7fff2688a880, target = 0x25e0030) ] Edge 15 <-> 23 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0130) Arc: (edge = 0x7fff2688a880, target = 0x25e0030) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0070) Arc: (edge = 0x7fff2688a880, target = 0x25e0050) ] Edge 16 <-> 24 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0150) Arc: (edge = 0x7fff2688a880, target = 0x25e0050) ] Edge 17 <-> 9 [ Arc: (edge = 0x7fff2688a880, target = 0x25dff70) Arc: (edge = 0x7fff2688a880, target = 0x25e0070) ] Edge 18 <-> 17 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0070) Arc: (edge = 0x7fff2688a880, target = 0x25e0090) ] Edge 18 <-> 26 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0190) Arc: (edge = 0x7fff2688a880, target = 0x25e0090) ] Edge 19 <-> 18 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0090) Arc: (edge = 0x7fff2688a880, target = 0x25e00b0) ] Edge 19 <-> 27 [ Arc: (edge = 0x7fff2688a880, target = 0x25e01b0) Arc: (edge = 0x7fff2688a880, target = 0x25e00b0) ] Edge 20 <-> 19 [ Arc: (edge = 0x7fff2688a880, target = 0x25e00b0) Arc: (edge = 0x7fff2688a880, target = 0x25e00d0) ] Edge 20 <-> 28 [ Arc: (edge = 0x7fff2688a880, target = 0x25e01d0) Arc: (edge = 0x7fff2688a880, target = 0x25e00d0) ] Edge 21 <-> 20 [ Arc: (edge = 0x7fff2688a880, target = 0x25e00d0) Arc: (edge = 0x7fff2688a880, target = 0x25e00f0) ] Edge 21 <-> 29 [ Arc: (edge = 0x7fff2688a880, target = 0x25e01f0) Arc: (edge = 0x7fff2688a880, target = 0x25e00f0) ] Edge 22 <-> 21 [ Arc: (edge = 0x7fff2688a880, target = 0x25e00f0) Arc: (edge = 0x7fff2688a880, target = 0x25e0110) ] Edge 22 <-> 30 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0210) Arc: (edge = 0x7fff2688a880, target = 0x25e0110) ] Edge 23 <-> 22 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0110) Arc: (edge = 0x7fff2688a880, target = 0x25e0130) ] Edge 23 <-> 31 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0230) Arc: (edge = 0x7fff2688a880, target = 0x25e0130) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0170) Arc: (edge = 0x7fff2688a880, target = 0x25e0150) ] Edge 24 <-> 32 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0250) Arc: (edge = 0x7fff2688a880, target = 0x25e0150) ] Edge 25 <-> 17 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0070) Arc: (edge = 0x7fff2688a880, target = 0x25e0170) ] Edge 26 <-> 25 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0170) Arc: (edge = 0x7fff2688a880, target = 0x25e0190) ] Edge 26 <-> 34 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0290) Arc: (edge = 0x7fff2688a880, target = 0x25e0190) ] Edge 27 <-> 26 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0190) Arc: (edge = 0x7fff2688a880, target = 0x25e01b0) ] Edge 27 <-> 35 [ Arc: (edge = 0x7fff2688a880, target = 0x25e02b0) Arc: (edge = 0x7fff2688a880, target = 0x25e01b0) ] Edge 28 <-> 27 [ Arc: (edge = 0x7fff2688a880, target = 0x25e01b0) Arc: (edge = 0x7fff2688a880, target = 0x25e01d0) ] Edge 28 <-> 36 [ Arc: (edge = 0x7fff2688a880, target = 0x25e02d0) Arc: (edge = 0x7fff2688a880, target = 0x25e01d0) ] Edge 29 <-> 28 [ Arc: (edge = 0x7fff2688a880, target = 0x25e01d0) Arc: (edge = 0x7fff2688a880, target = 0x25e01f0) ] Edge 29 <-> 37 [ Arc: (edge = 0x7fff2688a880, target = 0x25e02f0) Arc: (edge = 0x7fff2688a880, target = 0x25e01f0) ] Edge 30 <-> 29 [ Arc: (edge = 0x7fff2688a880, target = 0x25e01f0) Arc: (edge = 0x7fff2688a880, target = 0x25e0210) ] Edge 30 <-> 38 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0310) Arc: (edge = 0x7fff2688a880, target = 0x25e0210) ] Edge 31 <-> 30 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0210) Arc: (edge = 0x7fff2688a880, target = 0x25e0230) ] Edge 31 <-> 39 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0330) Arc: (edge = 0x7fff2688a880, target = 0x25e0230) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0270) Arc: (edge = 0x7fff2688a880, target = 0x25e0250) ] Edge 32 <-> 40 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0350) Arc: (edge = 0x7fff2688a880, target = 0x25e0250) ] Edge 33 <-> 25 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0170) Arc: (edge = 0x7fff2688a880, target = 0x25e0270) ] Edge 34 <-> 33 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0270) Arc: (edge = 0x7fff2688a880, target = 0x25e0290) ] Edge 34 <-> 42 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0390) Arc: (edge = 0x7fff2688a880, target = 0x25e0290) ] Edge 35 <-> 34 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0290) Arc: (edge = 0x7fff2688a880, target = 0x25e02b0) ] Edge 35 <-> 43 [ Arc: (edge = 0x7fff2688a880, target = 0x25e03b0) Arc: (edge = 0x7fff2688a880, target = 0x25e02b0) ] Edge 36 <-> 35 [ Arc: (edge = 0x7fff2688a880, target = 0x25e02b0) Arc: (edge = 0x7fff2688a880, target = 0x25e02d0) ] Edge 36 <-> 44 [ Arc: (edge = 0x7fff2688a880, target = 0x25e03d0) Arc: (edge = 0x7fff2688a880, target = 0x25e02d0) ] Edge 37 <-> 36 [ Arc: (edge = 0x7fff2688a880, target = 0x25e02d0) Arc: (edge = 0x7fff2688a880, target = 0x25e02f0) ] Edge 37 <-> 45 [ Arc: (edge = 0x7fff2688a880, target = 0x25e03f0) Arc: (edge = 0x7fff2688a880, target = 0x25e02f0) ] Edge 38 <-> 37 [ Arc: (edge = 0x7fff2688a880, target = 0x25e02f0) Arc: (edge = 0x7fff2688a880, target = 0x25e0310) ] Edge 38 <-> 46 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0410) Arc: (edge = 0x7fff2688a880, target = 0x25e0310) ] Edge 39 <-> 38 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0310) Arc: (edge = 0x7fff2688a880, target = 0x25e0330) ] Edge 39 <-> 47 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0430) Arc: (edge = 0x7fff2688a880, target = 0x25e0330) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0370) Arc: (edge = 0x7fff2688a880, target = 0x25e0350) ] Edge 40 <-> 48 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0450) Arc: (edge = 0x7fff2688a880, target = 0x25e0350) ] Edge 41 <-> 33 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0270) Arc: (edge = 0x7fff2688a880, target = 0x25e0370) ] Edge 42 <-> 41 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0370) Arc: (edge = 0x7fff2688a880, target = 0x25e0390) ] Edge 42 <-> 50 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0490) Arc: (edge = 0x7fff2688a880, target = 0x25e0390) ] Edge 43 <-> 42 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0390) Arc: (edge = 0x7fff2688a880, target = 0x25e03b0) ] Edge 43 <-> 51 [ Arc: (edge = 0x7fff2688a880, target = 0x25e04b0) Arc: (edge = 0x7fff2688a880, target = 0x25e03b0) ] Edge 44 <-> 43 [ Arc: (edge = 0x7fff2688a880, target = 0x25e03b0) Arc: (edge = 0x7fff2688a880, target = 0x25e03d0) ] Edge 44 <-> 52 [ Arc: (edge = 0x7fff2688a880, target = 0x25e04d0) Arc: (edge = 0x7fff2688a880, target = 0x25e03d0) ] Edge 45 <-> 44 [ Arc: (edge = 0x7fff2688a880, target = 0x25e03d0) Arc: (edge = 0x7fff2688a880, target = 0x25e03f0) ] Edge 45 <-> 53 [ Arc: (edge = 0x7fff2688a880, target = 0x25e04f0) Arc: (edge = 0x7fff2688a880, target = 0x25e03f0) ] Edge 46 <-> 45 [ Arc: (edge = 0x7fff2688a880, target = 0x25e03f0) Arc: (edge = 0x7fff2688a880, target = 0x25e0410) ] Edge 46 <-> 54 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0510) Arc: (edge = 0x7fff2688a880, target = 0x25e0410) ] Edge 47 <-> 46 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0410) Arc: (edge = 0x7fff2688a880, target = 0x25e0430) ] Edge 47 <-> 55 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0530) Arc: (edge = 0x7fff2688a880, target = 0x25e0430) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0470) Arc: (edge = 0x7fff2688a880, target = 0x25e0450) ] Edge 48 <-> 56 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0550) Arc: (edge = 0x7fff2688a880, target = 0x25e0450) ] Edge 49 <-> 41 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0370) Arc: (edge = 0x7fff2688a880, target = 0x25e0470) ] Edge 50 <-> 49 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0470) Arc: (edge = 0x7fff2688a880, target = 0x25e0490) ] Edge 50 <-> 58 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0590) Arc: (edge = 0x7fff2688a880, target = 0x25e0490) ] Edge 51 <-> 50 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0490) Arc: (edge = 0x7fff2688a880, target = 0x25e04b0) ] Edge 51 <-> 59 [ Arc: (edge = 0x7fff2688a880, target = 0x25e05b0) Arc: (edge = 0x7fff2688a880, target = 0x25e04b0) ] Edge 52 <-> 51 [ Arc: (edge = 0x7fff2688a880, target = 0x25e04b0) Arc: (edge = 0x7fff2688a880, target = 0x25e04d0) ] Edge 52 <-> 60 [ Arc: (edge = 0x7fff2688a880, target = 0x25e05d0) Arc: (edge = 0x7fff2688a880, target = 0x25e04d0) ] Edge 53 <-> 52 [ Arc: (edge = 0x7fff2688a880, target = 0x25e04d0) Arc: (edge = 0x7fff2688a880, target = 0x25e04f0) ] Edge 53 <-> 61 [ Arc: (edge = 0x7fff2688a880, target = 0x25e05f0) Arc: (edge = 0x7fff2688a880, target = 0x25e04f0) ] Edge 54 <-> 53 [ Arc: (edge = 0x7fff2688a880, target = 0x25e04f0) Arc: (edge = 0x7fff2688a880, target = 0x25e0510) ] Edge 54 <-> 62 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0610) Arc: (edge = 0x7fff2688a880, target = 0x25e0510) ] Edge 55 <-> 54 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0510) Arc: (edge = 0x7fff2688a880, target = 0x25e0530) ] Edge 55 <-> 63 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0630) Arc: (edge = 0x7fff2688a880, target = 0x25e0530) ] Edge 56 <-> 57 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0570) Arc: (edge = 0x7fff2688a880, target = 0x25e0550) ] Edge 57 <-> 49 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0470) Arc: (edge = 0x7fff2688a880, target = 0x25e0570) ] Edge 58 <-> 57 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0570) Arc: (edge = 0x7fff2688a880, target = 0x25e0590) ] Edge 59 <-> 58 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0590) Arc: (edge = 0x7fff2688a880, target = 0x25e05b0) ] Edge 60 <-> 59 [ Arc: (edge = 0x7fff2688a880, target = 0x25e05b0) Arc: (edge = 0x7fff2688a880, target = 0x25e05d0) ] Edge 61 <-> 60 [ Arc: (edge = 0x7fff2688a880, target = 0x25e05d0) Arc: (edge = 0x7fff2688a880, target = 0x25e05f0) ] Edge 62 <-> 61 [ Arc: (edge = 0x7fff2688a880, target = 0x25e05f0) Arc: (edge = 0x7fff2688a880, target = 0x25e0610) ] Edge 63 <-> 62 [ Arc: (edge = 0x7fff2688a880, target = 0x25e0610) Arc: (edge = 0x7fff2688a880, target = 0x25e0630) ] ] Robot arrangement: (|R| = 46, |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 } vertex occupancy: {0#0 13#1 44#2 0#3 0#4 0#5 1#6 41#7 0#8 26#9 7#10 36#11 0#12 43#13 0#14 46#15 6#16 40#17 14#18 38#19 31#20 0#21 21#22 0#23 5#24 34#25 30#26 33#27 18#28 0#29 12#30 4#31 0#32 15#33 37#34 0#35 0#36 28#37 0#38 22#39 16#40 2#41 0#42 17#43 3#44 42#45 45#46 19#47 20#48 8#49 24#50 25#51 0#52 32#53 39#54 0#55 10#56 11#57 29#58 27#59 9#60 35#61 23#62 0#63 } ] Robot arrangement: (|R| = 46, |V| = 64) [ robot locations: {1#2 2#49 3#1 4#34 5#12 6#7 7#15 8#19 9#24 10#47 11#23 12#54 13#52 14#48 15#20 16#5 17#29 18#13 19#27 20#43 21#26 22#58 23#60 24#63 25#11 26#4 27#21 28#50 29#25 30#37 31#62 32#33 33#14 34#35 35#6 36#28 37#31 38#46 39#36 40#30 41#59 42#45 43#38 44#8 45#57 46#18 } vertex occupancy: {0#0 3#1 1#2 0#3 26#4 16#5 35#6 6#7 44#8 0#9 0#10 25#11 5#12 18#13 33#14 7#15 0#16 0#17 46#18 8#19 15#20 27#21 0#22 11#23 9#24 29#25 21#26 19#27 36#28 17#29 40#30 37#31 0#32 32#33 4#34 34#35 39#36 30#37 43#38 0#39 0#40 0#41 0#42 20#43 0#44 42#45 38#46 10#47 14#48 2#49 28#50 0#51 13#52 0#53 12#54 0#55 0#56 45#57 22#58 41#59 23#60 0#61 31#62 24#63 } ] Unable to provide a new solution. Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 965 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] Sub-phases { Phase (name = 'WHCA*_solving') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 6 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 ] } ] ----------------------------------------------------------------