#BEGIN: [Tue Sep  5 00:00:41 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance006_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance006_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance006_graph005.col /benchmark/random_instance/random_instance006_graph005_01.dat
c /benchmark/random_instance/random_instance006_graph005.col
c /benchmark/random_instance/random_instance006_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID acfbbece41c372ace751239459b092e68e6460023c055ee3e39ac8aa5383120c
s 1 24 71 69 36 19 39 48 53 49 10 35 15 45 32 33 14 40 25 54 58 31 18 16 9
t 33 40 66 2 5 14 34 28 51 6 43 75 9 20 22 7 35 11 37 48 62 18 57 32 63
a YES
a 1 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 45 48 49 53 54 58 69 71
a 1 2 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 45 48 49 53 54 58 69
a 1 2 9 10 14 15 16 18 19 24 25 31 32 33 36 39 40 41 45 48 49 53 54 58 69
a 1 9 10 14 15 16 18 19 24 25 31 32 33 36 39 40 41 45 48 49 53 54 58 69 71
a 1 9 10 14 15 16 18 19 24 25 31 32 33 36 39 40 41 42 45 48 49 54 58 69 71
a 9 10 14 15 16 18 19 24 25 31 32 33 36 39 40 41 42 45 48 49 54 58 64 69 71
a 9 14 15 16 18 19 24 25 31 32 33 36 39 40 41 42 45 48 49 50 54 58 64 69 71
a 1 9 14 15 16 18 19 24 25 31 32 33 36 39 40 41 42 45 48 49 50 54 58 69 71
a 7 9 14 15 16 18 19 24 25 31 32 33 36 39 40 41 42 45 48 49 50 54 58 69 71
a 7 9 10 14 15 16 18 19 24 25 31 32 33 36 39 40 41 42 45 48 49 54 58 69 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 36 39 40 41 42 45 48 49 54 58 69 71
a 1 7 9 10 11 14 15 16 18 24 25 31 32 33 36 39 40 41 42 45 48 49 54 58 69
a 1 7 9 10 14 15 16 18 19 24 25 31 32 33 36 39 40 41 42 45 48 49 54 58 69
a 1 7 9 10 14 15 16 18 19 24 25 31 32 33 36 39 40 41 42 45 49 54 58 59 69
a 1 7 9 10 14 15 16 18 19 25 31 32 33 36 39 40 41 42 45 49 54 58 59 69 71
a 1 7 9 10 14 15 16 18 19 25 31 32 33 35 36 39 40 42 45 49 54 58 59 69 71
a 1 7 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 42 45 49 54 58 59 69
a 7 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 42 45 49 54 58 59 69 71
a 7 9 10 14 15 16 18 24 25 31 32 33 35 36 39 40 42 43 45 49 54 58 59 69 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 42 43 45 49 54 58 69 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 39 40 42 43 45 49 58 69 71
a 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 39 40 42 43 45 49 51 58 69 71
a 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 51 58 71
a 7 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 51 54 58 71
a 7 10 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 71
a 7 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 71
a 7 11 14 15 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 71
a 7 11 15 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 69 71
a 7 10 11 15 16 18 25 31 32 33 34 35 37 39 40 42 43 45 48 49 51 54 58 69 71
a 7 10 11 15 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 69
a 7 10 11 14 15 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58
a 7 10 11 14 15 16 18 25 31 32 33 34 36 37 39 40 42 43 45 48 49 51 54 58 69
a 7 10 11 14 15 16 18 25 31 32 33 34 36 37 39 40 42 43 45 48 51 54 58 63 69
a 10 11 14 15 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 51 54 58 63 69
a 9 10 11 14 15 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 51 54 58 63
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 51 54 58 63
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58
a 7 10 11 14 15 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58
a 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54
a 7 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58
a 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 51 54 58
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 37 39 40 42 43 45 48 51 54 58
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 37 39 42 43 45 48 49 51 54 58
a 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 42 43 45 48 49 51 54 58
a 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58
a 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 62
a 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 62
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 48 49 51 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 39 40 42 43 45 48 49 62 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 62 64
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 54 62 64
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 42 43 45 48 49 54 62 64
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 43 45 48 49 53 54 62 64
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 43 45 48 49 53 54 58 64
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 43 45 48 49 51 53 54 58 64
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 45 48 49 51 53 54 58 64
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 64
a 9 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 58 64
a 9 11 14 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 64
a 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 64
a 9 11 14 15 16 18 24 25 31 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 64
a 9 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 64
a 9 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 64
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58
a 10 11 14 15 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 67
a 11 14 15 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 64 67
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 64 67
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 67 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 67
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 67
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 39 40 43 45 48 49 51 53 54 58 67
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 67
a 2 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 67
a 2 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 50 51 53 54 67
a 2 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 50 51 54 58 67
a 2 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 50 51 53 54 58
a 2 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58
a 2 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 54 58
a 2 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 54
a 2 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 51 54 64
a 2 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 51 54 64
a 2 7 10 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 51 54 63 64
a 2 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 43 45 48 51 54 63 64
a 2 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 43 48 51 54 58 63 64
a 2 7 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 43 48 51 54 63 64 69
a 2 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 43 48 51 54 58 63 64 69
a 2 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 48 51 54 58 63 64
a 2 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 51 54 58 63
a 2 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 54 58 63 64
a 2 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 51 54 58 63 64
a 2 11 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 51 53 54 58 63 64
a 2 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 53 54 58 63 64
a 2 10 11 14 15 16 18 24 25 31 32 34 35 36 37 38 39 43 45 48 53 54 58 63 64
a 10 11 14 15 16 18 24 25 31 32 34 35 36 37 38 39 43 45 48 51 53 54 58 63 64
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 51 53 54 58 63
a 2 10 11 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 51 53 54 58 63
a 2 10 11 14 15 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 51 53 54 58 63
a 2 10 11 14 15 16 18 24 25 31 32 33 34 35 37 38 39 43 45 48 51 53 54 58 63
a 2 10 11 14 15 16 18 24 25 31 32 33 34 35 37 38 39 43 45 48 49 51 53 54 58
a 2 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 58
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 58 71
a 11 14 15 16 18 24 25 31 32 34 35 36 37 38 39 43 45 48 49 51 53 54 58 64 71
a 11 14 15 16 18 24 25 31 32 34 35 36 37 39 43 45 48 49 51 53 54 58 64 69 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 43 45 48 49 51 53 54 58 64 69 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 42 43 45 48 49 51 54 58 64 69 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 42 43 45 49 51 54 58 64 69 71
a 10 11 14 15 16 18 24 25 32 33 34 35 36 37 39 42 43 45 49 51 54 58 64 69 71
a 10 11 14 15 16 18 24 25 32 33 34 35 36 37 38 39 42 43 45 49 51 54 58 64 71
a 10 11 15 16 18 24 25 32 33 34 35 36 37 38 39 42 43 45 49 51 54 58 64 67 71
a 10 11 14 15 16 18 24 25 32 33 34 35 36 37 38 39 43 45 49 51 54 58 64 67 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 49 51 54 58 64 67 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 49 51 53 54 58 67 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 49 51 53 58 64 67 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 49 51 53 54 58 64 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 49 51 53 54 58 64 67 71
a 2 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 49 51 53 54 58 64 67
a 2 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 43 49 51 53 54 58 64 67 68
a 2 10 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 43 49 53 54 58 64 67 68
a 2 10 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 43 49 51 53 54 58 64 67
a 2 10 11 14 16 18 24 25 31 32 33 34 35 36 37 38 43 48 49 51 53 54 58 64 67
a 2 10 11 14 16 18 25 31 32 33 34 35 36 37 38 43 45 48 49 51 53 54 58 64 67
a 2 10 11 14 16 18 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 58 64
a 2 10 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 58
a 2 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 58 68
a 2 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 67 68
a 2 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 43 48 49 51 53 54 58 67 68
a 2 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 43 48 49 51 53 58 64 67 68
a 2 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 48 49 51 53 58 64 67
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 58 64 67
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 58 64
a 11 14 15 16 18 24 25 31 33 34 35 36 37 38 39 43 45 48 49 51 53 54 58 64 67
a 10 11 14 15 16 18 24 25 31 33 34 35 36 37 38 39 43 45 48 49 51 53 54 64 67
a 2 10 14 15 16 18 24 25 31 33 34 35 36 37 38 39 43 45 48 49 51 53 54 64 67
a 2 6 10 14 15 16 18 24 25 31 33 34 35 36 37 38 39 43 45 48 49 51 53 54 67
a 2 10 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 67
a 2 10 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 64
a 2 10 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 45 48 49 51 53 54 64 67
a 2 6 10 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 48 49 51 53 54 64 67
a 2 6 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 48 49 51 53 54 64 67
a 2 6 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 45 48 49 51 53 54 67
a 2 6 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54
a 2 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 69
a 2 11 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 58 69
a 2 7 11 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 54 58 69
a 2 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 43 45 48 49 51 54 58 69
a 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 54 58 69
a 7 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 69
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 69
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 69
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 69
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 54 58 69
a 10 11 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 69
a 10 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 64 69
a 7 10 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 64
a 7 10 11 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58
a 7 10 11 15 16 18 24 25 31 32 33 34 35 37 38 39 42 43 45 48 49 51 54 58 64
a 7 10 11 14 15 16 18 24 25 31 32 33 34 35 37 38 39 42 43 45 48 49 51 54 64
a 7 10 11 14 15 16 18 24 25 31 32 33 34 35 37 39 42 43 45 48 49 51 54 62 64
a 7 10 11 14 15 16 18 24 25 31 32 33 34 37 38 39 42 43 45 48 49 51 54 62 64
a 7 10 11 14 15 16 18 24 25 31 32 33 34 36 37 38 39 42 43 45 48 49 54 62 64
a 7 10 11 14 15 16 18 24 25 31 32 33 34 36 37 38 39 42 43 45 48 49 54 58 64
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 54 58 64
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 71
a 10 11 14 15 16 18 24 25 31 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 71
a 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 71
a 7 10 11 14 15 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 71
a 7 10 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 71
a 7 10 11 14 15 16 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 64 71
a 7 10 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 64 71
a 7 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 51 64 71
a 7 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 51 54 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 51 54
a 7 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 51 54 58
a 7 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54
a 7 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 64
a 7 10 11 14 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 64
a 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 64
a 7 9 11 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 64
a 7 9 11 14 15 16 18 24 25 31 33 34 35 36 37 38 39 42 43 45 48 49 51 54 64
a 7 9 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 64
a 7 9 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58
a 7 9 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 48 49 51 54 58
a 7 9 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58
a 7 9 10 11 14 15 16 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58
a 7 9 10 11 14 16 18 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58
a 7 9 10 11 14 16 18 25 31 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 71
a 7 9 10 11 14 15 16 25 31 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 71
a 7 9 10 11 14 15 16 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 58 71
a 7 10 11 14 15 16 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 71
a 7 10 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 42 43 48 49 51 54 58 71
a 7 10 11 14 15 16 24 25 31 32 33 35 36 37 38 39 42 43 45 48 49 51 54 58 71
a 7 10 11 15 16 24 25 31 32 33 35 36 37 38 39 42 43 45 48 49 51 54 58 67 71
a 7 10 11 15 18 24 25 31 32 33 35 36 37 38 39 42 43 45 48 49 51 54 58 67 71
a 7 10 11 15 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 67 71
a 7 10 11 15 24 25 31 32 33 35 36 37 38 39 42 43 45 48 49 51 54 58 64 67 71
a 7 10 11 15 18 24 25 31 32 33 35 36 37 38 39 42 43 45 48 49 51 54 58 64 67
a 7 11 15 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 64 67
a 7 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 64 67
a 7 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 54 58 64 67 71
a 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 64 67 71
a 7 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 64 67 71
a 7 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 58 64 71
a 7 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 58 64 67 71
a 7 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 58 64 69 71
a 7 14 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 58 64 69 71
a 7 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 58 64 69
a 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 58 64 69 71
a 7 14 15 16 18 24 25 31 32 34 35 36 37 38 39 42 43 45 48 49 51 58 64 69 71
a 7 14 16 18 24 25 31 32 34 35 36 37 38 39 42 43 45 48 49 51 54 58 64 69 71
a 7 14 16 18 24 25 31 32 34 35 36 37 38 39 42 43 45 48 49 51 54 58 64 67 71
a 7 14 15 16 18 24 25 31 32 34 35 36 37 38 39 42 43 45 48 49 51 54 64 67 71
a 7 14 15 16 18 24 25 31 32 34 35 36 37 38 39 42 43 45 48 49 51 54 62 67 71
a 7 14 15 16 18 24 25 31 32 34 35 36 37 38 39 42 43 45 48 49 51 54 58 67 71
a 7 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 54 67 71
a 7 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 67 71
a 7 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 71
a 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 71
a 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 71
a 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 69
a 7 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 69
a 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 69
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 69
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 69
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 69
a 7 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 69
a 7 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 50 51 54 58
a 7 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 69
a 7 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 54 58 69
a 7 9 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 54 58 69
a 7 9 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 42 43 45 49 54 58 64 69
a 7 9 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 42 45 48 49 54 58 64 69
a 7 9 11 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 45 48 49 54 58 64 69
a 7 9 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 45 48 49 54 58 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 45 48 54 58 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 48 54 58 64 67
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 38 39 42 48 51 54 58 67
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 48 51 54 58 67
a 7 9 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 51 54 58 67
a 7 9 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 51 54 58
a 7 9 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 51 54 58 67
a 7 9 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 51 54 64 67
a 7 9 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 51 54 64 67
a 7 9 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 54 58 64 67
a 7 9 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 54 58 64
a 7 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 54 58 64 71
a 7 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 54 58 64 71
a 7 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 64
a 7 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 71
a 7 10 11 14 15 16 18 24 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 71
a 7 11 14 15 16 18 24 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 64 71
a 7 11 14 15 16 24 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 71
a 7 11 14 15 16 18 24 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 71
a 7 11 14 15 18 24 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 71
a 7 11 14 15 18 24 31 32 33 34 36 37 39 40 42 43 45 48 49 51 54 58 64 67 71
a 7 10 11 14 15 24 31 32 33 34 36 37 39 40 42 43 45 48 49 51 54 58 64 67 71
a 7 10 11 14 15 16 24 31 32 33 34 36 37 39 40 42 43 45 48 49 51 54 58 64 71
a 7 10 11 14 15 16 24 25 31 32 33 34 37 39 40 42 43 45 48 49 51 54 58 64 71
a 7 10 11 14 15 16 18 24 25 31 32 33 34 37 39 40 42 43 45 48 49 51 54 58 64
a 7 10 11 15 16 18 24 25 31 32 33 34 36 37 39 40 42 43 45 48 49 51 54 58 64
a 7 10 11 15 16 18 24 31 32 33 34 36 37 39 40 42 43 45 48 49 51 54 58 64 66
a 7 11 15 16 18 24 25 31 32 33 34 36 37 39 40 42 43 45 48 49 51 54 58 64 66
a 7 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 64 66
a 7 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 66
a 7 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 66
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 66
a 10 11 14 15 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 66
a 10 11 14 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 66
a 10 11 14 15 16 18 24 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 66
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 66
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 66
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 64 66
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 64 66
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 64 66
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 64 66
a 10 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66
a 10 15 16 18 24 25 31 32 33 34 35 36 37 39 42 43 45 48 49 51 54 58 64 66 67
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66 67
a 10 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66 67
a 10 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 66 67
a 10 11 15 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 66 67
a 10 11 14 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 66 67
a 10 11 14 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 64 66 67
a 10 11 14 15 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 64 67
a 10 11 14 15 16 18 24 25 31 32 33 34 35 37 39 40 42 43 45 48 49 54 58 64 67
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 54 58 64 67
a 10 11 14 15 16 18 24 25 31 33 34 35 36 37 39 40 42 45 48 49 54 58 64 66 67
a 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 58 64 66 67
a 10 11 14 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 54 58 64 66 67
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 54 58 64 66 67
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 48 49 54 58 64 66 67
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 64 66 67
a 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 64 66 67
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 54 64 66 67
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 45 48 49 51 54 58 64 66 67
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 51 54 58 64 66 67
a 14 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66 67
a 11 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66 67
a 11 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66 67
a 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 45 48 49 50 51 54 58 64 66 67
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 50 51 54 58 64 67
a 7 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 48 49 50 51 54 58 64 67
a 7 15 16 18 24 25 31 32 33 34 35 36 37 39 42 43 45 48 49 50 51 54 58 64 67
a 7 9 15 16 24 25 31 32 33 34 35 36 37 39 42 43 45 48 49 50 51 54 58 64 67
a 7 9 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 67
a 7 9 11 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 64 67
a 9 11 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 67
a 9 11 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 64 66 67
a 11 14 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 64 66 67
a 14 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66 67
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 66 67
a 9 14 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 66 67
a 9 11 14 16 18 24 25 31 32 33 35 36 37 39 40 42 43 45 48 49 51 54 58 66 67
a 9 11 14 16 18 24 25 31 32 33 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66
a 9 11 14 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 45 48 49 51 54 58 64
a 9 11 14 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 45 49 51 54 58 64 66
a 9 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 51 54 58 64 66
a 9 10 11 15 16 18 24 25 31 32 33 34 35 36 39 40 42 43 45 49 51 54 58 64 66
a 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 51 54 58 64 66
a 9 10 11 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 51 54 58 64 66
a 9 10 11 15 16 24 25 31 32 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66
a 10 11 15 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66
a 9 10 11 15 18 24 25 31 32 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66
a 9 10 11 15 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64
a 10 11 15 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 69
a 10 11 15 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 69 77
a 10 11 14 15 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 69
a 10 11 14 15 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 48 51 54 58 64 69
a 10 11 14 15 16 18 25 31 32 33 34 35 36 37 40 42 43 45 48 51 54 56 58 64 69
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 43 45 48 51 54 56 58 64 69
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 43 45 48 49 51 54 56 64 69
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 43 45 48 49 51 54 56 64 71
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 43 45 48 49 51 54 56 58 71
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 71
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 69 71
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 69 71
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 51 54 58 69 71
a 10 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 69 71
a 10 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 69
a 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64
a 10 14 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66
a 10 11 14 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 66
a 10 11 14 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 69
a 11 14 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 69 71
a 11 15 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 48 49 51 54 58 64 69 71
a 11 14 15 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 48 49 51 54 64 69 71
a 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 64 69 71
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 54 58 64 69 71
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 51 54 64 69 71
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 50 51 54 64 71
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 50 51 54 64 69 71
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 48 49 50 51 54 58 64 69
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 69
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 71
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 64 69 71
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 64 69
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 50 51 54 58 59 64 69
a 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 69
a 14 15 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 69
a 14 15 16 18 24 25 31 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 69 71
a 7 14 15 16 18 24 25 31 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 69 71
a 7 14 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 49 51 54 58 59 69 71
a 7 14 15 16 24 25 31 33 34 35 36 37 39 40 42 43 45 49 51 54 58 59 64 69 71
a 7 14 15 16 24 25 31 33 34 36 37 39 40 42 43 45 49 50 51 54 58 59 64 69 71
a 7 14 16 24 25 31 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 69 71
a 14 15 16 24 25 31 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 69 71
a 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 69 71
a 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 69 71
a 14 16 18 24 25 31 32 33 34 35 37 39 40 42 43 45 49 50 51 54 58 59 64 69 71
a 14 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 71
a 9 14 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 71
a 9 14 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 67
a 9 14 16 24 25 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 67 71
a 9 14 16 18 24 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 67 71
a 9 14 15 16 18 24 32 33 34 35 36 37 39 40 42 43 45 49 50 54 58 59 64 67 71
a 9 14 15 16 18 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 67 71
a 9 14 15 16 18 24 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 67
a 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 67
a 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 59 62 64 67
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 59 62 64 67
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 59 62 67 71
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 49 50 51 54 59 62 66 67 71
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 49 50 51 54 59 62 64 67 71
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 49 50 51 54 59 62 64 66 67
a 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 59 62 64 66 67
a 15 16 18 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 59 62 64 66 67
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 59 62 64 66
a 15 16 18 24 25 31 32 33 34 36 37 39 40 42 43 45 49 50 51 54 59 62 64 66 67
a 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 59 62 66 67
a 7 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 59 62 66
a 7 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 50 51 54 59 62 64 66
a 7 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 50 51 54 59 62 64 67
a 7 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 50 51 54 58 59 64 67
a 7 15 16 18 24 25 31 32 33 34 35 37 39 40 42 43 45 50 51 54 58 59 64 66 67
a 7 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 50 51 54 58 59 64 66 67
a 7 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 64 66 67
a 7 14 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 64 67
a 7 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 67
a 7 14 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 49 50 54 58 59 64 67
a 7 14 15 16 18 24 25 31 33 34 35 36 37 39 40 42 45 49 50 51 54 58 59 64 67
a 7 14 15 16 18 24 25 31 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 67
a 7 14 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 49 50 51 58 59 64 67
a 7 14 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 64 67
a 7 14 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 67
a 7 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 67
a 7 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 54 58 59 67
a 7 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 45 49 50 54 58 59 64 67
a 7 14 15 16 18 24 25 31 32 33 34 36 37 39 40 42 43 45 49 50 54 58 59 64 67
a 7 9 14 15 16 18 24 25 31 32 33 34 36 37 39 40 42 43 45 49 50 54 58 59 67
a 7 9 14 15 16 18 24 25 31 32 33 34 36 37 39 40 42 43 49 50 54 58 59 66 67
a 7 9 14 15 16 18 24 25 31 32 33 34 36 37 39 40 42 43 49 50 54 59 62 66 67
a 7 9 14 15 18 24 25 31 32 33 34 35 36 37 39 40 42 43 49 50 54 59 62 66 67
a 7 9 14 15 18 24 25 32 33 34 35 36 37 39 40 42 43 49 50 51 54 59 62 66 67
a 7 9 14 15 18 24 25 32 33 34 35 37 39 40 42 43 49 50 51 54 57 59 62 66 67
a 7 9 14 18 24 25 28 32 33 34 35 37 39 40 42 43 49 50 51 54 57 59 62 66 67
a 7 9 14 18 25 28 32 33 34 35 37 39 40 42 43 49 50 51 54 57 59 62 66 67 75
a 7 9 14 18 22 25 28 32 33 34 35 37 39 40 42 43 50 51 54 57 59 62 66 67 75
a 7 9 14 18 22 25 28 32 33 34 35 37 39 40 42 43 50 51 54 57 59 62 63 66 75
a 2 7 9 14 18 22 25 28 32 33 34 35 37 39 40 43 50 51 54 57 59 62 63 66 75
a 2 6 7 9 14 18 22 28 32 33 34 35 37 39 40 43 50 51 54 57 59 62 63 66 75
a 2 6 7 9 14 18 22 28 32 33 34 35 37 39 40 43 48 50 51 54 57 62 63 66 75
a 2 6 7 9 11 14 18 22 28 32 33 34 35 37 39 40 43 48 51 54 57 62 63 66 75
a 2 6 7 9 11 14 18 20 22 28 32 33 34 35 37 39 40 43 48 51 57 62 63 66 75
a 2 5 6 7 9 11 14 18 20 22 28 32 33 34 35 37 40 43 48 51 57 62 63 66 75
c Step: 428
#END: [Tue Sep  5 00:30:42 2023]