#BEGIN: [Tue Sep  5 00:01:16 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance007_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance007_graph001_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_instance007_graph001.col /benchmark/random_instance/random_instance007_graph001_01.dat
c /benchmark/random_instance/random_instance007_graph001.col
c /benchmark/random_instance/random_instance007_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 85d75f0e16a25d2acf7c490f903b2b9ae39d0b98ec64f5314506d956748941e5
s 48 25 11 33 36 22 84 62 80 30 46 24 70 31 12 28 21 9 17 88 83 42 72 78 82 35 40 13 76
t 88 27 17 40 22 58 41 13 57 49 26 61 82 19 31 70 35 21 46 76 8 16 78 87 9 80 33 25 36
a YES
a 9 11 12 13 17 21 22 24 25 28 30 31 33 35 36 40 42 46 48 62 70 72 76 78 80 82 83 84 88
a 9 11 12 13 17 21 22 24 25 27 28 30 31 33 35 36 40 42 46 48 62 70 72 76 78 80 82 83 88
a 9 11 12 13 17 21 22 24 25 27 28 30 31 33 35 36 40 42 46 47 48 62 70 76 78 80 82 83 88
a 9 11 12 13 17 21 22 25 27 28 30 31 33 35 36 40 42 46 47 48 58 62 70 76 78 80 82 83 88
a 9 11 12 13 17 21 22 25 27 28 30 31 33 35 36 40 42 46 48 58 62 70 72 76 78 80 82 83 88
a 9 12 13 17 21 22 25 27 28 30 31 33 35 36 40 42 46 48 49 58 62 70 72 76 78 80 82 83 88
a 9 12 13 17 21 22 25 27 28 30 31 33 35 36 40 46 48 49 57 58 62 70 72 76 78 80 82 83 88
a 9 13 17 21 22 25 27 28 30 31 33 35 36 40 46 48 49 57 58 62 70 72 76 77 78 80 82 83 88
a 9 13 17 21 22 25 27 28 30 31 33 35 36 40 42 46 48 49 58 62 70 72 76 77 78 80 82 83 88
a 9 12 13 17 21 22 25 27 28 30 31 33 35 36 40 42 46 48 49 58 70 72 76 77 78 80 82 83 88
a 9 12 13 17 21 22 25 27 28 30 33 35 36 40 42 46 48 49 58 62 70 72 76 77 78 80 82 83 88
a 9 12 13 17 21 22 25 27 28 30 31 33 35 36 40 42 46 48 49 58 62 70 72 76 77 78 80 82 83
a 9 12 13 17 21 22 25 27 28 30 31 33 35 36 40 42 46 47 48 49 58 62 70 76 77 78 80 82 83
a 9 13 17 21 22 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 58 62 70 76 77 78 80 82 83
a 13 17 21 22 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 58 62 64 70 76 77 78 80 82 83
a 1 13 17 21 22 25 27 30 31 33 35 36 40 42 46 47 48 49 50 58 62 64 70 76 77 78 80 82 83
a 1 9 13 17 21 22 25 27 30 31 33 35 36 40 42 46 47 48 49 50 58 62 64 70 76 77 78 80 82
a 9 13 17 21 22 25 27 30 31 33 35 36 40 42 46 47 48 49 50 58 61 62 64 70 76 77 78 80 82
a 9 12 13 17 21 22 25 27 30 31 33 35 36 40 42 46 47 48 49 50 58 62 64 70 76 77 78 80 82
a 9 12 13 17 21 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 58 62 64 70 76 77 78 80 82
a 9 13 17 21 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 58 62 64 70 76 77 78 80 82 88
a 9 13 17 21 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 58 62 64 70 76 77 78 80 82 88
a 9 13 17 20 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 58 62 64 70 76 77 78 80 82 88
a 9 13 17 20 22 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 58 62 64 70 76 77 78 80 88
a 9 13 16 17 20 22 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 58 62 64 70 76 77 78 88
a 9 12 13 17 20 22 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 58 62 64 70 76 77 78 88
a 9 12 13 17 20 22 24 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 62 64 70 76 77 78 88
a 9 12 17 20 22 24 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 62 64 70 76 77 78 80 88
a 9 13 17 20 22 24 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 62 64 70 76 77 78 80 88
a 9 16 17 20 22 24 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 62 64 70 76 77 78 80 88
a 9 16 17 20 22 24 25 27 28 30 33 35 36 40 41 42 46 47 49 50 56 62 64 70 76 77 78 80 88
a 9 16 17 20 22 24 25 27 30 31 33 35 36 40 41 42 46 47 49 50 56 62 64 70 76 77 78 80 88
a 9 16 17 20 22 24 25 27 30 31 33 36 40 41 42 46 47 49 50 56 61 62 64 70 76 77 78 80 88
a 9 17 20 22 24 25 27 30 31 33 35 36 40 41 42 46 47 49 50 56 61 62 64 70 76 77 78 80 88
a 9 17 20 22 24 25 27 30 31 33 35 36 41 42 46 47 49 50 56 61 62 64 69 70 76 77 78 80 88
a 9 17 20 22 24 25 27 28 30 31 33 35 36 41 42 46 47 49 50 56 61 62 64 69 70 76 77 78 88
a 13 17 20 22 24 25 27 28 30 31 33 35 36 41 42 46 47 49 50 56 61 62 64 69 70 76 77 78 88
a 13 17 20 22 24 25 27 28 30 31 33 35 36 41 42 46 47 49 50 56 61 62 69 70 76 77 78 83 88
a 9 13 17 20 22 24 25 27 28 30 31 33 35 41 42 46 47 49 50 56 61 62 69 70 76 77 78 83 88
a 9 13 17 20 22 24 25 27 28 30 31 33 35 41 42 46 47 49 50 56 61 62 64 70 76 77 78 83 88
a 9 13 17 20 22 24 25 27 28 30 31 33 35 40 41 42 46 47 49 50 56 61 62 64 70 76 77 78 83
a 9 13 17 20 22 24 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 56 61 62 64 70 76 77 78
a 9 17 20 22 24 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 56 61 62 64 70 76 77 78 88
a 9 15 17 20 24 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 56 61 62 64 70 76 77 78 88
a 9 13 15 17 20 24 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 56 61 62 64 70 76 77 88
a 13 15 17 20 24 25 27 28 30 31 33 35 36 40 41 42 46 47 49 50 56 61 62 64 70 76 77 80 88
a 13 15 17 20 24 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 56 61 62 64 70 76 77 80 88
a 13 15 17 20 24 25 27 28 31 33 35 36 40 42 46 47 48 49 50 56 61 62 64 70 76 77 78 80 88
a 13 15 17 20 24 25 27 28 31 33 35 36 40 42 46 47 48 49 50 61 62 64 70 76 77 78 80 82 88
a 13 15 17 20 24 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 61 62 64 70 76 77 78 82 88
a 13 15 17 20 24 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 61 62 64 70 76 77 78 80 88
a 13 15 16 17 20 24 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 61 62 70 76 77 78 80 88
a 15 16 17 20 24 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 61 62 70 76 77 78 80 82 88
a 16 17 20 24 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 61 62 64 70 76 77 78 80 82 88
a 16 17 20 22 24 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 61 62 64 70 76 77 78 82 88
a 17 20 22 24 25 27 28 30 31 33 35 36 40 42 46 47 48 49 50 61 62 64 70 76 77 78 80 82 88
a 17 20 22 24 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 61 62 64 70 76 77 78 80 82 88
a 12 17 20 22 24 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 62 64 70 76 77 78 80 82 88
a 12 17 21 22 24 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 62 64 70 76 77 78 80 82 88
a 12 13 17 21 22 24 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 62 64 70 76 77 78 80 88
a 12 13 17 21 22 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 58 62 64 70 76 77 78 80 88
a 12 13 16 17 21 22 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 58 62 64 70 76 77 78 88
a 12 13 16 21 22 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 58 62 64 70 76 77 78 82 88
a 12 13 16 22 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 58 62 64 70 76 77 78 80 82 88
a 12 13 22 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 58 62 64 70 76 77 78 80 82 83 88
a 13 21 22 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 58 62 64 70 76 77 78 80 82 83 88
a 13 17 21 22 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 58 62 64 70 76 77 78 80 82 83
a 13 17 21 22 25 27 28 30 31 35 36 40 46 47 48 49 50 53 57 58 62 64 70 76 77 78 80 82 83
a 13 17 21 22 25 27 28 30 31 35 36 40 41 46 47 49 50 53 57 58 62 64 70 76 77 78 80 82 83
a 13 17 21 22 25 27 28 30 31 35 36 40 41 46 47 49 50 53 57 58 61 62 64 70 76 77 78 80 82
a 17 21 22 25 27 28 30 31 35 36 40 41 46 47 49 50 53 57 58 61 62 64 70 76 77 78 80 82 88
a 13 17 21 22 25 27 28 30 31 35 36 40 41 46 47 49 50 53 57 58 61 62 64 70 76 77 78 80 88
a 13 17 21 22 25 27 28 30 31 35 36 40 41 42 46 47 49 50 53 58 61 62 64 70 76 77 78 80 88
a 13 17 21 22 25 27 28 31 35 36 40 41 42 46 47 49 50 53 58 61 62 64 70 76 77 78 80 83 88
a 13 17 21 22 25 27 28 31 35 36 40 41 42 46 47 49 50 53 58 61 62 64 70 76 77 78 80 82 88
a 13 17 21 22 25 27 28 31 35 36 40 41 42 46 47 49 50 53 58 61 64 70 76 77 78 80 82 83 88
a 13 17 21 22 25 27 28 31 35 36 40 41 42 46 47 49 50 53 58 61 64 70 76 77 78 80 81 82 83
a 17 21 22 25 27 28 31 35 36 40 41 42 45 46 47 49 50 53 58 61 64 70 76 77 78 80 81 82 83
a 17 21 22 25 27 28 31 35 36 40 41 42 45 46 47 49 50 53 58 61 62 64 70 76 77 78 80 81 82
a 12 17 21 22 25 27 28 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 80 81 82
a 12 17 21 22 25 27 28 31 35 36 40 42 45 46 47 48 49 50 53 58 62 64 70 76 77 78 80 81 82
a 12 17 21 22 25 27 28 31 35 36 40 45 46 47 48 49 50 53 57 58 62 64 70 76 77 78 80 81 82
a 12 15 17 21 25 27 28 31 35 36 40 45 46 47 48 49 50 53 57 58 62 64 70 76 77 78 80 81 82
a 12 15 17 21 25 27 28 31 35 36 40 45 46 47 48 49 50 53 57 58 62 64 70 76 77 78 80 82 83
a 12 15 17 21 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 57 58 62 64 70 76 77 78 82 83
a 12 15 17 21 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 57 58 62 64 70 76 77 78 82 83
a 12 15 17 21 25 27 28 30 35 36 38 40 41 45 46 47 49 50 53 57 58 62 64 70 76 77 78 82 83
a 12 15 17 21 25 27 30 35 36 38 40 41 45 46 47 49 50 53 57 58 62 64 70 76 77 78 80 82 83
a 1 12 15 17 21 25 27 30 35 36 38 40 41 45 46 47 49 50 53 57 58 62 64 70 76 77 78 80 82
a 1 12 15 17 21 25 27 30 35 36 38 40 41 45 46 47 49 50 53 56 57 58 62 64 70 76 77 78 80
a 1 12 15 17 21 25 27 30 31 35 36 40 41 45 46 47 49 50 53 56 57 58 62 64 70 76 77 78 80
a 1 12 15 17 21 25 27 30 31 35 36 40 41 45 46 47 49 50 53 56 57 58 62 64 70 76 78 80 83
a 1 12 15 17 20 25 27 30 31 35 36 40 41 45 46 47 49 50 53 56 57 58 62 64 70 76 78 80 83
a 1 12 15 17 20 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 78 80 83
a 1 12 15 17 20 25 27 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80 83
a 1 15 17 20 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80 83
a 1 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80 83
a 1 12 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 76 77 78 80 83
a 1 12 15 17 21 25 27 30 31 35 36 40 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80 83
a 1 12 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80
a 1 12 15 17 20 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80
a 1 12 15 17 20 25 27 30 31 35 36 40 41 42 45 46 47 49 50 56 58 62 64 70 76 77 78 80 88
a 1 12 17 20 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80 88
a 1 5 17 20 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80 88
a 1 5 12 17 20 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80
a 1 5 12 17 20 25 27 30 31 35 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80 88
a 1 5 12 20 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80 88
a 1 5 12 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80 83 88
a 1 5 12 15 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 78 80 83 88
a 1 5 12 15 25 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 78 80 83 88
a 1 5 12 15 25 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 80 82 83 88
a 1 5 12 15 17 25 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 80 82 88
a 1 5 9 12 15 17 25 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 76 77 78 80 82 88
a 1 5 9 12 15 17 25 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 80 82
a 1 5 9 12 15 17 25 30 31 35 36 40 42 45 46 47 48 49 50 53 58 62 64 70 76 77 78 80 82
a 1 5 9 12 15 17 21 25 30 31 35 36 40 42 45 46 47 48 49 50 53 58 62 64 70 77 78 80 82
a 5 9 12 15 17 21 25 27 30 31 35 36 40 42 45 46 47 48 49 50 53 58 62 64 70 77 78 80 82
a 9 12 15 17 21 25 27 30 31 35 36 40 42 45 46 47 48 49 50 53 58 62 64 70 77 78 80 82 88
a 1 9 12 15 17 21 25 27 30 31 35 36 40 42 45 46 47 48 49 50 53 58 62 64 70 77 78 82 88
a 1 9 12 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 77 78 82 88
a 1 9 12 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 82
a 1 12 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 81 82
a 1 12 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 80 81 82
a 1 12 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 62 64 70 76 77 80 81
a 1 12 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 80 81
a 1 9 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 80 81
a 9 12 15 17 21 25 27 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 80 81
a 9 12 15 17 21 25 27 28 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 81
a 9 12 15 17 21 25 27 28 30 31 35 36 40 41 42 45 46 49 50 53 58 62 64 70 76 77 78 80 81
a 9 12 17 21 25 27 28 30 31 35 36 40 41 42 45 46 47 49 50 53 58 62 64 70 76 77 78 80 81
a 9 17 21 25 27 28 30 31 35 36 40 41 42 45 46 47 49 50 53 58 61 62 64 70 76 77 78 80 81
a 17 21 25 27 28 30 31 35 36 40 41 42 45 46 47 49 50 53 58 61 62 64 70 76 77 78 80 81 82
a 17 21 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 58 61 62 64 70 76 77 78 80 81 82
a 17 21 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 80 81
a 17 21 25 27 28 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 61 62 64 70 76 77 78 80 81
a 15 17 21 25 27 28 30 31 35 36 40 41 42 45 46 47 49 50 53 56 58 61 62 64 70 77 78 80 81
a 15 17 21 25 27 28 30 31 33 35 36 40 41 42 45 46 47 49 50 56 58 61 62 64 70 77 78 80 81
a 9 15 17 21 25 27 28 30 33 35 36 40 41 42 45 46 47 49 50 56 58 61 62 64 70 77 78 80 81
a 9 15 17 21 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 56 58 61 62 64 70 77 78 80 81
a 9 15 17 21 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 56 58 61 62 64 77 78 80 81
a 9 15 17 21 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 56 57 58 61 62 64 77 78 80
a 9 15 17 21 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 61 62 64 77 78 80 87
a 9 15 17 21 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 61 62 77 78 80 82 87
a 15 17 21 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 61 62 76 77 78 80 82 87
a 17 21 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 61 62 64 76 77 78 80 82 87
a 17 20 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 61 62 64 76 77 78 80 82 87
a 17 20 22 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 62 64 76 77 78 80 82 87
a 17 20 22 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 64 76 77 78 80 82 83 87
a 17 20 22 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 64 76 77 78 80 82 83 87 88
a 20 22 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 61 64 76 77 78 80 82 83 87 88
a 20 22 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 64 76 77 78 80 82 83 87 88
a 20 22 25 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 61 64 76 77 78 80 82 83 87 88
a 20 22 25 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 61 62 64 76 77 78 80 82 87 88
a 20 22 25 28 30 33 35 36 38 40 41 45 46 47 49 50 52 58 61 62 64 76 77 78 80 82 83 87 88
a 20 22 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 58 61 62 64 76 77 78 80 83 87 88
a 20 22 25 27 28 30 33 35 36 38 40 41 45 46 47 49 50 52 57 58 61 62 64 76 77 78 80 83 88
a 20 22 25 27 28 30 33 36 38 40 41 45 46 47 49 50 52 57 58 61 62 64 76 77 78 80 82 83 88
a 20 22 25 27 28 30 33 36 38 40 41 45 46 47 49 50 57 58 61 62 64 70 76 77 78 80 82 83 88
a 20 22 25 27 28 30 36 38 40 41 45 46 47 49 50 53 57 58 61 62 64 70 76 77 78 80 82 83 88
a 20 22 25 27 30 35 36 38 40 41 45 46 47 49 50 53 57 58 61 62 64 70 76 77 78 80 82 83 88
a 17 20 22 25 27 35 36 38 40 41 45 46 47 49 50 53 57 58 61 62 64 70 76 77 78 80 82 83 88
a 17 20 22 25 27 30 35 36 38 40 41 45 46 47 49 50 53 57 58 61 64 70 76 77 78 80 82 83 88
a 9 17 20 22 25 27 30 35 36 38 40 41 45 46 47 49 50 53 57 58 61 64 70 76 77 78 80 82 83
a 9 17 20 22 25 27 30 35 36 38 40 41 45 46 47 49 50 53 57 58 61 64 70 76 77 78 80 83 87
a 17 20 22 25 27 30 35 36 38 40 41 45 46 47 49 50 53 57 58 61 64 70 76 77 78 80 82 83 87
a 17 20 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 53 57 58 61 64 70 76 77 78 80 82 83
a 17 20 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 57 58 61 64 76 77 78 80 82 83
a 17 20 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 57 58 61 62 64 76 77 78 80 82
a 17 20 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 57 58 61 62 64 76 77 78 80 82 88
a 20 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 57 58 61 62 64 76 77 78 80 82 88
a 20 22 25 27 28 30 35 36 40 41 45 46 47 49 50 52 53 57 58 61 62 64 76 77 78 80 82 87 88
a 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 57 58 61 62 64 76 77 78 80 82 87 88
a 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 56 57 58 61 62 64 76 77 78 80 87 88
a 17 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 56 57 58 61 62 64 76 77 78 87 88
a 17 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 56 57 58 61 64 76 77 78 80 87 88
a 17 20 22 25 27 28 30 35 36 38 40 41 45 46 47 50 52 53 56 57 58 61 64 76 77 78 80 87 88
a 20 22 25 27 28 30 35 36 38 40 41 45 46 47 50 52 53 56 57 58 61 62 64 76 77 78 80 87 88
a 17 20 22 25 27 28 30 35 36 38 40 41 45 46 47 50 52 53 56 57 58 61 62 64 76 77 78 80 88
a 17 20 22 25 27 28 30 35 36 38 40 41 45 46 47 50 52 53 56 57 58 61 62 64 76 77 78 80 87
a 20 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 56 57 58 61 62 64 76 77 78 80 87
a 17 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 56 57 58 61 62 64 76 77 78 80 87
a 17 21 22 25 27 28 35 36 38 40 41 45 46 47 49 50 52 53 56 57 58 61 62 64 76 77 78 80 87
a 21 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 56 57 58 61 62 64 76 77 78 80 87
a 22 25 27 28 30 35 36 38 40 41 45 46 47 49 50 52 53 56 57 58 61 62 64 76 77 78 80 83 87
a 17 22 25 27 28 30 36 38 40 41 45 46 47 49 50 52 53 56 57 58 61 62 64 76 77 78 80 83 87
a 17 20 22 25 27 28 30 36 40 41 45 46 47 49 50 52 53 56 57 58 61 62 64 76 77 78 80 83 87
a 17 20 22 25 27 28 30 35 40 41 45 46 47 49 50 52 53 56 57 58 61 62 64 76 77 78 80 83 87
a 17 20 22 25 27 28 30 35 36 40 41 45 47 49 50 52 53 56 57 58 61 62 64 76 77 78 80 83 87
a 17 20 22 25 27 28 30 35 36 40 41 45 47 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83 87
a 17 20 22 25 27 28 30 35 36 38 40 41 45 47 49 50 53 56 57 58 61 62 70 76 77 78 80 83 87
a 17 20 22 25 27 28 30 35 36 38 40 45 47 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83 87
a 17 20 22 25 27 28 30 35 36 38 40 45 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 87
a 17 20 22 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 78 80 87
a 17 20 22 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80
a 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83
a 17 20 22 25 27 28 30 35 36 38 40 45 46 47 48 49 50 56 57 58 61 62 64 70 76 77 78 80 83
a 17 20 22 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83
a 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83 87
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 83 87
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 76 77 80 83 87
a 15 17 20 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 80 83 87
a 15 17 20 27 28 30 35 36 38 40 45 46 47 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83 87
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 76 77 78 80 83
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 80 83
a 15 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 80 83 88
a 15 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 77 78 80 83
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 48 50 53 56 57 58 61 62 64 70 76 77 78 80 83
a 15 17 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 78 80 83
a 15 17 20 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 57 58 61 62 64 70 76 77 78 80 83
a 15 17 21 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 57 58 61 62 64 70 76 77 78 80 83
a 17 21 22 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 57 58 61 62 64 70 76 77 78 80 83
a 17 21 22 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 57 58 61 62 70 76 77 78 80 83 88
a 21 22 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 57 58 61 62 64 70 76 77 78 80 83 88
a 21 22 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 80 83 88
a 9 21 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 80 83 88
a 9 17 21 25 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 80 83 88
a 9 17 21 25 27 28 30 35 36 38 40 45 46 47 49 50 53 56 57 58 61 62 64 70 76 77 80 83 88
a 17 21 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 80 83 88
a 17 21 22 25 27 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 80 83 88
a 17 21 22 25 28 30 35 36 38 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 80 83 88
a 17 21 22 25 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 80 83 88
a 17 20 22 25 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 80 83 88
a 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 80 83
a 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 76 77 78 80 83
a 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80
a 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83
a 15 20 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83
a 15 20 25 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83 88
a 15 20 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83 87 88
a 15 20 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83 87
a 15 20 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 78 80 83 87 90
a 15 20 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 78 83 86 87 90
a 15 20 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83 86 87
a 15 20 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 70 76 77 78 83 86 87
a 15 20 25 27 28 30 31 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83 86 87
a 15 20 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83 87
a 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83 87
a 20 22 25 27 28 30 31 35 36 40 45 46 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83 87 88
a 20 22 25 27 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83 87 88
a 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 77 78 83 87 88
a 20 22 25 27 28 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 77 78 83 86 87 88
a 20 22 25 27 28 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 77 78 80 83 87 88
a 20 22 25 27 28 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83 87 88
a 20 22 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 83 87 88
a 20 22 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 83 88
a 9 20 22 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 80 83 88
a 9 20 22 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 80 88
a 9 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 80 88
a 9 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86 88
a 9 17 20 22 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86 88
a 9 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 70 76 77 78 86 88
a 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86 88
a 9 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86
a 9 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 53 56 58 61 62 64 70 76 77 78 86 88
a 9 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 88
a 9 17 20 22 25 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 88
a 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 57 58 61 62 64 70 76 77 78 88
a 2 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 88
a 2 9 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 88
a 2 9 17 20 22 25 27 28 30 31 35 36 40 45 46 47 48 49 50 53 56 58 61 62 64 70 76 78 88
a 2 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 88
a 2 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 78 88
a 2 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 88 91
a 2 9 17 20 22 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 56 58 61 62 64 70 76 88 91
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 88 91
a 9 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 48 49 50 53 56 58 61 62 64 70 76 88 91
a 9 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 48 49 50 53 56 58 61 62 64 70 76 78 88
a 9 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 48 49 50 53 58 61 62 64 70 76 77 78 88
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 48 49 50 53 56 58 61 62 64 70 76 77 78 88
a 9 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 48 49 50 53 56 58 61 62 64 76 77 78 88
a 9 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 76 77 78 88
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 76 77 78 88
a 9 12 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 76 77 78 88
a 12 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 88
a 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 88
a 16 17 20 22 25 27 28 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 86 88
a 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 86
a 2 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 86
a 2 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 78 86
a 2 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 58 62 64 70 76 77 78 86
a 2 16 17 20 22 25 27 28 31 35 36 40 42 45 46 47 48 49 50 53 58 62 64 70 76 77 78 86 88
a 2 16 17 20 22 25 27 28 31 35 36 40 42 45 46 48 49 50 53 56 58 62 64 70 76 77 78 86 88
a 2 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 48 49 50 53 56 62 64 70 76 77 78 86 88
a 2 16 17 20 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 62 64 70 76 77 78 86 88
a 2 12 16 17 20 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 56 62 64 70 76 77 78 86 88
a 2 12 17 20 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 56 62 64 70 76 77 78 83 86 88
a 2 12 17 20 22 25 28 30 31 35 36 40 42 46 47 48 49 50 53 56 62 64 70 76 77 78 83 86 88
a 2 12 17 20 22 25 27 28 30 31 35 36 40 42 46 47 48 49 50 53 56 62 64 70 76 77 78 83 88
a 2 12 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 62 64 70 76 77 78 83
a 2 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 61 62 64 70 76 77 78 83
a 2 17 20 22 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 83
a 2 16 17 20 22 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 16 17 20 22 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 12 16 17 20 22 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78
a 2 12 16 17 20 22 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 78 90
a 2 12 16 17 20 22 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 78 86
a 2 16 17 20 22 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 78 86
a 2 16 17 21 22 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 78 86
a 2 16 17 21 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 86
a 2 16 17 21 22 25 27 28 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 78 86
a 2 16 17 21 22 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 78 86
a 2 16 17 21 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 78
a 16 17 21 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 16 17 21 22 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86
a 2 16 17 21 22 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 77 78 86
a 2 9 16 17 21 22 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 70 77 78 86
a 2 9 15 16 17 21 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 70 77 78 86
a 2 9 15 16 17 21 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 70 78 86
a 2 15 16 17 21 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 70 77 78 86
a 2 15 16 17 21 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 77 86
a 2 15 16 17 21 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 64 70 77 86 88
a 2 15 16 17 21 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 86 88
a 2 16 17 21 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 77 86 88
a 2 15 16 17 21 25 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 77 86 88
a 2 15 16 17 21 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 77 86 88
a 2 16 17 21 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 86 88
a 2 16 17 21 25 27 28 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86 88
a 2 9 16 21 25 27 28 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86 88
a 2 9 16 17 21 25 27 28 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86
a 2 9 15 17 21 25 27 28 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86
a 2 9 15 17 21 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 15 17 21 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 15 17 20 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 15 17 20 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 86
a 2 15 17 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86
a 15 17 20 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 86
a 15 17 20 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 83 86
a 17 20 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 83 86
a 17 20 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 83 86 88
a 9 17 20 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 83 88
a 15 17 20 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 83 88
a 9 15 17 20 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 64 70 76 77 78 83 88
a 9 15 17 20 25 27 28 30 31 35 36 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 83 88
a 9 17 20 22 25 27 28 30 31 35 36 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 83 88
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 83
a 9 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78
a 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 77 78 80
a 12 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 76 77 78 80
a 12 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 78 80
a 2 12 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 70 76 78
a 2 12 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 58 62 64 70 76 77 78
a 2 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 58 61 62 64 70 76 77 78
a 2 16 17 20 22 25 27 28 30 31 35 36 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 70 76 77 78
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 9 17 20 22 25 27 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 9 17 20 22 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 9 16 17 20 22 25 27 28 30 31 35 40 42 45 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 9 16 20 22 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78
a 2 9 16 17 20 22 25 27 28 30 31 35 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 78
a 2 9 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76
a 9 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 88
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 88
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 78 88
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 76 78 80 88
a 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 76 78 80 88
a 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 62 64 76 77 78 80 88
a 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 76 77 78 80
a 16 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 80
a 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 70 76 77 78 80
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 56 58 61 62 64 70 76 77 78 80
a 9 17 20 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 56 58 61 62 64 70 76 77 78 80 81
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 56 58 61 62 64 76 77 78 80 81
a 9 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 76 77 78 80
a 9 16 17 20 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 77 78 80
a 9 16 17 21 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 77 78 80
a 9 16 17 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 56 58 61 62 64 76 77 78 80
a 9 16 17 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 58 61 62 64 76 77 78 80 82
a 9 16 17 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 58 61 62 64 77 78 80 82 88
a 9 16 17 22 25 27 28 30 31 35 36 40 42 45 46 47 48 49 50 53 58 61 62 64 70 78 80 82 88
a 9 16 17 22 25 27 28 30 31 35 36 40 41 42 45 46 47 49 50 53 58 61 62 64 70 78 80 82 88
a 9 16 17 22 25 27 28 30 31 35 36 40 41 45 46 47 49 50 53 57 58 61 62 64 70 78 80 82 88
a 9 16 17 22 25 27 28 30 31 35 36 40 41 46 47 49 50 53 57 58 61 62 64 70 76 78 80 82 88
a 9 16 17 22 25 27 28 30 31 33 35 36 40 41 46 47 49 50 57 58 61 62 64 70 76 78 80 82 88
a 9 16 17 22 25 27 28 30 31 33 35 36 40 41 46 47 49 50 57 58 61 64 70 76 78 80 82 87 88
a 9 16 17 21 22 25 27 28 30 31 33 35 36 40 41 46 49 50 57 58 61 64 70 76 78 80 82 87 88
a 9 16 17 21 22 25 26 27 28 30 31 33 35 36 40 41 46 49 57 58 61 64 70 76 78 80 82 87 88
a 9 13 16 17 21 22 25 26 27 28 30 31 33 35 36 40 41 46 49 57 58 61 70 76 78 80 82 87 88
a 8 9 13 16 17 21 22 25 26 27 28 31 33 35 36 40 41 46 49 57 58 61 70 76 78 80 82 87 88
a 8 9 13 16 17 19 21 22 25 26 27 31 33 35 36 40 41 46 49 57 58 61 70 76 78 80 82 87 88
c Step: 386
#END: [Tue Sep  5 00:31:16 2023]