#BEGIN: [Tue Sep  5 06:29:21 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance008_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance008_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance008_graph001.col /benchmark/random_instance/random_instance008_graph001_01.dat
c /benchmark/random_instance/random_instance008_graph001.col
c /benchmark/random_instance/random_instance008_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 81a1217f4ea3c9766b24ec4e488614b49b4a277fa151b5f26cb30149db366169
s 63 65 99 101 36 32 96 87 24 79 45 37 8 68 93 51 56 31 91 73 35 42 21 29 41 86 57 5 47 67 83 25 84
t 93 104 21 34 41 16 52 30 66 69 67 57 19 95 102 2 77 75 56 32 50 42 37 44 103 90 92 96 68 63 17 97 8
a YES
a 5 8 21 24 25 29 31 32 35 36 37 41 42 45 47 51 56 57 63 65 67 68 73 79 83 84 86 87 91 93 96 99 101
a 5 8 21 25 29 31 32 35 36 37 41 42 45 47 51 56 57 63 65 67 68 73 79 83 84 85 86 87 91 93 96 99 101
a 5 8 21 25 28 29 31 32 35 36 37 41 42 45 47 51 57 63 65 67 68 73 79 83 84 85 86 87 91 93 96 99 101
a 5 8 21 25 28 29 31 32 35 36 37 41 42 45 47 51 52 57 63 65 67 68 79 83 84 85 86 87 91 93 96 99 101
a 5 8 21 25 28 29 31 32 35 36 37 41 42 45 47 51 52 57 63 65 68 79 83 84 85 86 87 91 93 95 96 99 101
a 2 5 8 21 25 28 29 31 32 35 36 37 41 42 45 47 51 52 57 63 65 68 79 83 85 86 87 91 93 95 96 99 101
a 2 5 8 21 25 29 31 32 35 36 37 41 42 45 47 51 52 56 57 63 65 68 79 83 85 86 87 91 93 95 96 99 101
a 2 5 8 21 25 31 32 35 36 37 41 42 45 47 51 52 56 57 63 65 67 68 79 83 85 86 87 91 93 95 96 99 101
a 2 8 21 25 31 32 35 36 37 41 42 45 47 51 52 56 57 63 65 67 68 79 83 84 85 86 87 91 93 95 96 99 101
a 2 8 21 25 29 31 32 35 36 37 42 45 47 51 52 56 57 63 65 67 68 79 83 84 85 86 87 91 93 95 96 99 101
a 2 8 21 25 29 31 32 35 36 37 41 42 45 47 52 56 57 63 65 67 68 79 83 84 85 86 87 91 93 95 96 99 101
a 2 8 21 25 29 31 32 35 36 37 41 42 45 51 52 56 57 63 65 67 68 79 83 84 85 86 87 91 93 95 96 99 101
a 2 5 8 21 25 29 31 32 35 36 37 41 45 51 52 56 57 63 65 67 68 79 83 84 85 86 87 91 93 95 96 99 101
a 2 5 8 21 25 29 31 32 35 36 37 41 45 51 52 53 56 57 63 65 67 68 83 84 85 86 87 91 93 95 96 99 101
a 2 5 8 21 29 31 32 35 36 37 41 45 51 52 53 56 57 63 65 67 68 79 83 84 85 86 87 91 93 95 96 99 101
a 2 5 8 21 25 31 32 35 36 37 41 45 51 52 53 56 57 63 65 67 68 79 83 84 85 86 87 91 93 95 96 99 101
a 2 5 21 25 31 32 35 36 37 41 42 45 51 52 53 56 57 63 65 67 68 79 83 84 85 86 87 91 93 95 96 99 101
a 2 5 21 25 31 35 36 37 41 42 45 47 51 52 53 56 57 63 65 67 68 79 83 84 85 86 87 91 93 95 96 99 101
a 2 5 21 25 31 32 35 36 37 41 42 45 47 51 52 53 56 57 63 65 67 68 79 83 84 85 86 87 91 93 95 96 99
a 2 5 8 21 25 31 32 35 36 37 41 42 45 47 51 52 53 56 57 63 65 67 68 79 83 84 85 87 91 93 95 96 99
a 2 5 8 21 25 29 31 32 35 36 37 41 42 45 47 51 52 53 57 63 65 67 68 79 83 84 85 87 91 93 95 96 99
a 2 5 8 21 25 29 31 32 35 36 37 41 42 45 47 51 52 53 57 63 65 67 68 83 84 85 87 91 93 95 96 99 101
a 2 5 8 21 25 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 83 84 85 87 91 93 95 96 99 101
a 2 4 5 8 21 25 29 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 83 84 85 87 91 93 95 96 99 101
a 2 5 8 21 25 29 32 35 36 37 41 42 45 47 51 53 56 57 63 65 67 68 73 83 84 85 87 91 93 95 96 99 101
a 2 5 8 21 25 29 31 32 35 36 37 41 42 45 47 51 53 56 57 63 65 67 68 73 83 84 85 87 91 95 96 99 101
a 2 5 8 21 25 28 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 83 84 85 87 91 95 96 99 101
a 2 5 8 21 25 28 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 79 83 84 85 87 91 95 96 99
a 2 5 8 21 25 28 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 79 83 84 85 87 91 93 95 96
a 2 5 8 21 25 28 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 73 79 83 84 85 86 87 91 93 95 96
a 2 5 8 21 25 28 29 31 32 36 37 41 42 45 47 51 53 57 63 65 67 68 73 79 83 84 85 86 87 91 93 95 96
a 2 5 8 21 25 28 29 31 32 36 37 41 42 45 47 51 53 57 63 65 67 68 73 79 83 84 85 86 87 91 93 95 101
a 2 5 8 21 25 28 29 31 32 36 37 41 42 45 47 51 53 57 63 65 66 67 68 73 79 83 84 85 86 87 91 93 95
a 2 5 8 21 25 28 29 31 32 36 37 41 42 45 47 51 53 57 63 65 66 67 68 73 79 83 84 85 86 87 91 95 96
a 2 5 8 21 25 28 29 31 32 36 37 41 42 47 51 53 57 63 65 66 67 68 73 79 83 84 85 86 87 91 95 96 101
a 2 5 8 21 25 28 29 31 32 36 37 41 42 45 47 51 53 57 65 66 67 68 73 79 83 84 85 86 87 91 95 96 101
a 2 5 8 21 25 26 28 29 31 32 36 37 41 42 45 47 51 53 57 65 66 67 68 73 79 83 84 85 86 87 95 96 101
a 2 5 8 21 25 26 28 29 31 32 34 36 37 41 42 45 47 51 53 57 65 66 67 68 73 79 83 85 86 87 95 96 101
a 2 5 8 21 25 26 28 29 31 32 36 37 41 42 45 47 51 53 57 63 65 66 67 68 73 79 83 85 86 87 95 96 101
a 2 5 8 21 25 26 28 29 31 32 34 36 37 41 42 45 47 51 53 57 63 65 66 67 68 73 79 83 85 86 87 95 96
a 2 5 8 21 25 26 28 29 31 32 34 36 37 41 42 45 47 51 53 57 63 65 66 67 68 73 79 83 85 87 95 96 101
a 2 5 8 21 25 26 28 29 31 32 36 37 41 42 45 47 51 53 57 63 65 66 67 68 73 79 83 85 87 91 95 96 101
a 2 5 8 21 25 26 28 29 31 32 36 37 41 42 45 47 51 53 57 63 65 66 67 73 79 83 85 87 91 93 95 96 101
a 2 5 8 21 25 26 28 29 30 31 32 36 37 41 42 45 47 51 53 57 63 65 66 67 73 79 83 85 91 93 95 96 101
a 2 5 8 21 25 26 27 28 29 30 31 32 36 37 41 42 45 47 51 53 57 63 65 66 73 79 83 85 91 93 95 96 101
a 2 5 21 25 26 27 28 29 30 31 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 79 83 85 91 93 95 96 101
a 2 5 8 21 25 26 27 28 30 31 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 79 83 85 91 93 95 96 101
a 2 5 8 21 25 26 27 28 30 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 79 83 85 91 93 95 96 101 102
a 2 5 8 21 25 26 27 28 30 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 81 83 85 91 93 95 96 101 102
a 2 5 8 21 25 26 27 28 30 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 81 83 85 86 91 93 95 96 101
a 2 5 8 21 25 27 28 29 30 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 81 83 85 86 91 93 95 96 101
a 2 5 8 21 25 27 28 29 30 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 81 83 85 86 91 93 95 96 102
a 2 5 8 21 25 27 28 29 30 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 79 81 83 85 86 91 93 95 96
a 2 5 8 21 25 26 27 28 29 30 32 36 37 41 42 47 51 53 57 63 65 66 68 73 79 81 83 85 86 91 93 95 96
a 2 5 8 25 26 27 28 29 30 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 79 81 83 85 86 91 93 95 96
a 2 5 8 26 27 28 29 30 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 79 81 83 85 86 91 93 95 96 101
a 2 5 8 21 26 27 28 29 30 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 79 81 83 85 86 91 93 95 96
a 2 5 8 21 26 27 28 29 30 32 36 37 41 42 45 47 51 53 57 63 65 66 68 73 79 81 83 85 86 91 93 95 101
a 2 5 8 21 26 27 28 29 30 32 36 37 41 42 45 47 51 53 63 65 66 68 73 79 81 83 85 86 91 93 95 96 101
a 2 5 8 21 26 28 29 30 32 36 37 41 42 45 47 51 53 63 65 66 68 73 79 81 83 85 86 91 93 95 96 101 102
a 2 5 8 26 27 28 29 30 32 36 37 41 42 45 47 51 53 63 65 66 68 73 79 81 83 85 86 91 93 95 96 101 102
a 2 5 8 26 27 28 29 30 32 36 41 42 45 47 51 53 59 63 65 66 68 73 79 81 83 85 86 91 93 95 96 101 102
a 2 5 8 26 27 28 29 30 36 41 42 45 47 51 53 57 59 63 65 66 68 73 79 81 83 85 86 91 93 95 96 101 102
a 2 5 8 15 26 27 28 29 30 36 41 42 45 47 51 53 57 59 63 65 66 68 73 79 81 83 85 86 91 93 95 96 101
a 2 5 8 15 25 26 27 28 29 30 41 42 45 47 51 53 57 59 63 65 66 68 73 79 81 83 85 86 91 93 95 96 101
a 2 5 8 15 25 26 27 28 29 30 36 41 42 45 47 51 53 57 59 63 65 66 68 73 79 81 83 85 86 91 93 95 101
a 2 5 8 15 25 26 27 28 29 30 36 41 42 45 47 51 53 57 59 63 65 66 68 73 79 81 83 85 86 93 95 96 101
a 2 5 8 15 25 26 27 28 30 34 36 41 42 45 47 51 53 57 59 63 65 66 68 73 79 81 83 85 86 93 95 96 101
a 2 5 8 15 25 26 27 28 30 34 36 41 42 45 47 51 53 57 59 63 65 66 68 73 77 79 81 83 85 86 95 96 101
a 2 5 8 15 25 26 27 28 30 34 36 41 42 45 47 51 53 57 59 63 65 66 68 73 77 79 81 83 85 86 93 95 101
a 2 5 8 15 21 25 26 27 28 30 34 36 41 42 45 47 51 53 57 59 63 65 66 68 77 79 81 83 85 86 93 95 101
a 2 5 8 15 21 25 26 27 28 30 34 36 41 42 45 47 49 51 53 57 59 63 65 66 68 77 79 81 83 85 86 93 95
a 2 5 8 15 21 25 26 27 28 30 34 36 41 42 45 47 49 51 53 57 59 63 65 66 68 77 79 81 85 86 93 95 101
a 2 5 8 15 21 25 26 27 28 30 36 41 42 45 47 49 51 53 57 59 63 65 66 68 77 79 81 83 85 86 93 95 101
a 2 5 8 15 21 26 27 28 30 36 41 42 45 47 49 51 53 54 57 59 63 65 66 68 77 79 81 83 85 86 93 95 101
a 2 5 8 15 21 26 27 28 30 34 36 41 42 45 47 49 51 53 54 57 59 63 65 66 68 77 79 81 83 85 86 93 101
a 2 5 8 15 21 26 27 28 30 34 36 41 42 45 47 49 51 53 54 57 59 63 65 66 68 77 79 81 83 85 86 95 101
a 2 5 8 15 21 26 27 28 29 30 34 36 41 42 45 47 49 51 53 54 57 59 63 65 66 68 77 79 81 83 85 86 101
a 2 5 8 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 51 53 54 57 59 63 65 66 68 77 79 81 83 85 86
a 2 8 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 51 53 54 57 59 63 65 66 68 77 79 81 83 85 86 95
a 2 8 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 51 53 54 57 59 63 65 66 68 79 81 83 85 86 95 96
a 2 8 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 51 53 54 57 59 63 65 66 68 77 79 81 83 85 95 96
a 2 8 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 51 53 54 57 59 63 65 66 68 77 79 81 85 86 95 96
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 77 79 81 85 86 95 96
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 77 79 81 85 86 95 101
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 77 79 81 85 86 93 95
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 85 86 93 95
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 85 86 93 101
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 85 86 89 93
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 85 86 89 95
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 73 79 81 82 85 86 89 95
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 85 89 95
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 85 89 93
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 85 89 93 95
a 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 85 89 93 95 96
a 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 85 89 93 95
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 54 57 59 63 65 66 68 73 79 81 82 85 89 93 95
a 2 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 54 57 59 63 65 66 68 73 79 81 82 85 89 93 96
a 2 5 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 54 57 59 63 65 66 68 73 79 81 82 89 93 96
a 2 5 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 54 57 59 63 65 66 68 73 79 81 82 86 89 96
a 2 5 8 11 12 15 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 86 89 96
a 2 5 8 11 12 15 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 86 89 95
a 2 5 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 89 95
a 2 5 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 85 95
a 2 5 8 11 12 15 21 26 27 28 29 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 95 99
a 2 5 8 11 12 15 21 26 27 28 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 93 95 99
a 2 5 8 11 12 15 21 26 27 28 30 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 86 93 95 99
a 2 5 8 11 12 15 21 26 27 28 30 34 36 41 42 45 47 49 53 54 57 59 63 66 68 73 79 81 82 86 93 95 99
a 2 5 8 11 12 15 21 26 27 28 30 34 36 41 42 45 47 49 53 54 57 59 63 66 68 73 79 81 82 86 92 93 95
a 2 5 8 11 12 15 21 26 27 28 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 82 86 92 93
a 2 5 8 11 12 15 21 26 27 28 30 34 36 41 42 45 47 49 53 54 57 59 63 65 66 68 73 79 81 86 92 93 96
a 2 5 8 11 12 15 21 26 27 28 30 34 36 41 42 47 49 53 54 57 59 63 65 66 68 73 79 81 86 92 93 95 96
a 2 5 8 11 12 15 21 26 27 28 30 34 36 41 42 47 49 53 54 57 59 63 66 68 73 79 81 86 88 92 93 95 96
a 2 5 8 11 12 15 21 26 27 28 30 34 36 41 42 47 49 53 54 59 63 66 68 73 79 81 86 88 92 93 95 96 97
a 2 5 8 11 12 14 15 21 26 27 28 34 36 41 42 47 49 53 54 59 63 66 68 73 79 81 86 88 92 93 95 96 97
a 2 5 8 11 12 14 15 16 21 26 27 28 34 36 41 42 47 49 53 54 59 63 66 68 73 79 81 86 88 92 93 95 97
a 2 5 8 11 12 14 15 16 21 26 27 28 34 36 41 42 47 49 53 54 59 63 66 68 73 79 81 86 88 92 93 95 96
a 2 5 8 11 12 14 15 16 21 26 27 28 34 36 41 42 47 49 53 54 59 63 66 68 73 79 81 86 88 92 93 95 99
a 2 5 8 11 12 14 15 16 21 26 27 28 30 34 36 41 42 47 49 53 54 63 66 68 73 79 81 86 88 92 93 95 99
a 2 5 8 11 12 14 15 16 21 26 28 30 34 36 41 42 47 49 53 54 63 66 68 73 79 81 86 88 92 93 95 96 99
a 2 5 8 11 12 14 15 16 21 26 27 28 30 34 36 41 42 47 49 53 54 63 66 68 73 79 81 88 92 93 95 96 99
a 2 5 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 49 53 54 63 66 68 73 79 81 86 88 92 93 95 96 99
a 2 5 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 49 53 54 63 66 68 73 79 81 85 86 88 92 93 95 99
a 2 5 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 49 53 54 63 66 68 73 79 81 85 86 88 92 95 96 99
a 2 5 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 49 53 54 59 63 66 68 73 79 81 86 88 92 95 96 99
a 2 5 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 49 53 54 59 63 66 68 73 79 85 86 88 92 95 96 99
a 2 5 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 49 53 54 59 63 65 66 68 73 79 85 86 92 95 96 99
a 2 5 8 11 12 15 16 21 26 27 30 34 36 41 42 47 49 53 54 59 63 65 66 68 73 79 85 86 92 95 96 97 99
a 2 8 11 12 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 59 63 65 66 68 73 79 85 86 92 95 96 97 99
a 2 8 11 12 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 59 63 66 68 73 79 85 86 88 92 95 96 97 99
a 2 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 59 63 66 68 73 79 85 86 88 92 95 96 97 99
a 2 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 59 63 66 68 69 73 85 86 88 92 95 96 97 99
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 59 63 66 68 69 73 85 86 88 95 96 97 99
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 59 63 68 69 73 85 86 88 95 96 97 99 101
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 59 63 68 69 73 85 86 88 92 96 97 99 101
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 57 59 63 68 69 73 85 86 88 92 96 97 99
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 57 59 63 66 68 69 73 85 86 88 92 96 97
a 2 5 11 12 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 57 59 63 66 68 69 73 85 86 88 92 95 96 97
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 57 59 63 66 68 69 73 85 88 92 95 96 97
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 57 59 63 66 68 69 73 85 88 92 95 96 99
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 56 57 59 63 66 68 73 85 88 92 95 96 99 101
a 2 5 11 12 13 15 16 21 26 27 30 36 41 42 47 49 53 54 56 57 59 63 66 68 73 85 88 91 92 95 96 99 101
a 2 5 11 12 13 15 21 26 27 30 36 41 42 47 49 53 54 56 57 59 63 66 68 73 85 86 88 91 92 95 96 99 101
a 2 5 11 12 13 15 16 21 26 27 30 41 42 47 49 53 54 56 57 59 63 66 68 73 85 86 88 91 92 95 96 99 101
a 2 11 12 13 15 16 21 26 27 30 36 41 42 47 49 53 54 56 57 59 63 66 68 73 85 86 88 91 92 95 96 99 101
a 11 12 13 15 16 21 26 27 30 36 41 42 47 49 53 54 56 57 59 63 66 68 73 85 86 88 91 92 95 96 97 99 101
a 11 12 13 15 16 21 26 27 30 36 41 42 47 49 53 54 56 57 59 63 66 68 69 73 85 86 88 91 92 95 96 97 99
a 11 12 13 15 16 21 26 27 30 36 41 42 47 49 53 54 56 57 59 63 66 68 69 73 85 86 88 92 95 96 97 99 101
a 2 11 12 13 15 16 21 26 27 30 36 41 42 47 49 53 54 56 57 59 63 66 68 69 73 85 86 92 95 96 97 99 101
a 2 5 11 12 13 15 16 21 26 27 30 36 41 42 47 49 53 54 56 57 59 63 66 68 69 73 85 86 92 96 97 99 101
a 2 5 11 12 13 15 16 21 26 27 30 36 41 42 47 49 53 54 56 57 59 63 66 68 69 73 85 86 88 92 96 97 99
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 96 97 99
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 96 99 101
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 96 97 99 101
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 95 96 99 101
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 93 95 96 99
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 93 95 99
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 93 95 97
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 66 68 69 73 85 86 88 92 93 95 97 99
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 66 68 69 73 86 88 92 93 95 97 99 101
a 2 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 86 88 92 93 95 97 99
a 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 93 95 97 99
a 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 93 95 97 102
a 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 93 95 96 97
a 5 11 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 93 96 97 101
a 5 12 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 93 95 96 97 101
a 2 5 13 15 16 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 93 95 96 97 101
a 2 5 13 15 21 26 27 30 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 93 95 96 97 101 102
a 2 4 5 13 15 21 26 27 34 36 41 42 47 49 53 54 57 59 63 66 68 69 73 85 86 88 92 93 95 96 97 101 102
a 2 4 5 13 15 16 21 26 27 34 36 41 42 47 53 54 57 59 63 66 68 69 73 85 86 88 92 93 95 96 97 101 102
a 2 4 5 13 15 16 21 26 27 34 36 41 42 47 53 54 57 59 60 63 66 68 69 73 85 86 88 92 93 95 96 97 102
a 2 4 5 13 15 16 21 26 27 34 36 41 42 47 53 54 57 59 60 63 66 69 73 85 86 88 92 93 95 96 97 102 103
a 2 4 5 9 13 15 16 21 26 27 34 36 41 42 47 53 54 57 59 60 63 66 69 73 85 86 88 92 93 95 96 97 102
a 2 4 5 9 13 15 16 21 26 27 34 36 41 42 53 54 57 59 60 63 66 69 73 85 86 88 92 93 95 96 97 102 103
a 2 4 5 9 13 16 21 26 27 34 36 41 42 44 53 54 57 59 60 63 66 69 73 85 86 88 92 93 95 96 97 102 103
a 2 4 5 9 13 16 21 26 27 34 36 41 42 44 53 54 57 59 60 63 66 69 73 85 86 88 92 93 95 96 97 99 103
a 2 4 5 9 12 13 16 21 27 34 36 41 42 44 53 54 57 59 60 63 66 69 73 85 86 88 92 93 95 96 97 99 103
a 2 4 5 7 9 12 13 16 21 27 34 36 42 44 53 54 57 59 60 63 66 69 73 85 86 88 92 93 95 96 97 99 103
a 2 4 5 7 9 12 13 16 17 21 27 34 36 42 44 53 54 57 59 60 63 66 69 73 85 86 88 92 93 95 96 97 103
a 2 4 5 7 9 12 13 16 17 21 27 34 36 42 44 53 54 57 59 60 63 66 69 73 76 85 86 88 92 95 96 97 103
a 2 4 5 7 9 12 13 16 17 21 27 34 36 42 44 53 54 57 59 60 63 66 69 73 76 80 85 86 88 92 96 97 103
a 2 4 5 7 9 12 16 17 21 27 34 36 42 44 48 53 54 57 59 60 63 66 69 73 76 80 85 86 88 92 96 97 103
a 2 4 5 7 9 12 16 17 21 27 34 36 42 44 48 53 54 57 59 63 66 69 73 76 80 85 86 88 92 96 97 99 103
a 2 4 5 7 9 12 13 16 17 21 27 34 36 42 44 48 53 54 57 59 63 66 69 73 76 80 85 86 88 92 96 97 103
a 2 4 5 7 9 12 13 16 17 21 27 34 36 42 44 48 53 54 57 59 63 66 69 73 76 80 85 86 88 92 96 99 103
a 2 4 5 7 9 12 13 16 17 20 21 27 34 36 42 44 48 53 54 57 63 66 69 73 76 80 85 86 88 92 96 99 103
a 2 4 5 7 9 10 12 13 16 17 20 21 27 34 36 42 44 48 53 54 57 63 66 69 73 76 80 85 86 88 92 96 99
a 2 4 5 7 9 10 12 13 16 17 20 21 27 34 36 42 44 48 53 54 57 63 66 69 73 76 80 85 86 88 92 97 99
a 2 4 5 7 9 10 12 13 16 17 20 21 22 27 34 42 44 48 53 54 57 63 66 69 73 76 80 85 86 88 92 97 99
a 2 4 5 7 9 12 13 16 17 20 21 22 27 34 42 44 48 53 54 57 63 66 69 73 76 80 85 86 88 92 97 99 103
a 2 4 5 7 9 12 13 16 17 18 20 22 27 34 42 44 48 53 54 57 63 66 69 73 76 80 85 86 88 92 97 99 103
a 4 5 7 9 12 13 16 17 18 20 22 27 34 42 44 48 53 54 57 63 66 69 73 76 80 85 86 88 92 97 98 99 103
a 4 7 9 12 13 16 17 18 20 22 27 34 38 42 44 48 53 54 57 63 66 69 73 76 80 85 86 88 92 97 98 99 103
a 4 7 9 12 13 16 17 18 20 22 27 34 37 38 42 44 48 53 54 57 63 66 69 73 76 80 85 86 92 97 98 99 103
a 4 7 9 12 13 16 17 18 20 22 27 34 37 38 42 44 48 53 54 57 63 66 69 73 76 80 85 86 92 96 97 99 103
a 4 7 9 12 13 16 17 18 20 22 27 34 37 38 42 44 48 53 54 63 66 69 73 76 80 85 86 92 96 97 98 99 103
a 4 7 9 12 13 16 17 18 20 22 27 34 37 38 42 44 48 53 54 57 63 66 69 73 80 85 86 92 96 97 98 99 103
a 4 7 9 12 13 16 17 18 20 22 27 34 37 38 42 44 48 53 54 57 63 66 69 73 76 80 85 86 92 96 97 98 99
a 4 7 9 10 12 13 16 17 18 20 22 34 37 38 42 44 48 53 54 57 63 66 69 73 76 80 85 86 92 96 97 98 99
a 4 7 9 10 12 13 16 17 18 20 22 27 34 37 38 42 44 48 53 54 57 63 66 69 73 76 80 85 86 92 96 97 98
a 4 7 9 10 12 13 16 17 18 20 22 27 34 37 38 42 44 48 53 54 57 63 66 69 73 76 80 85 86 92 96 97 104
a 4 7 9 10 12 13 16 17 18 20 22 27 34 37 38 42 44 46 48 53 57 63 66 69 73 76 80 85 86 92 96 97 104
a 4 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 53 57 63 66 69 73 80 85 86 92 96 97 104
a 4 5 7 9 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 53 57 63 66 69 73 80 85 86 92 96 97 104
a 4 5 7 9 10 12 13 15 16 17 20 22 27 34 37 38 42 44 46 48 53 57 63 66 69 73 80 85 86 92 96 97 104
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 53 57 63 66 69 73 80 85 86 92 96 104
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 53 57 63 66 69 73 80 85 86 92 96 97
a 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 53 57 63 66 69 73 80 85 86 92 96 97 104
a 4 5 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 53 57 63 66 69 73 80 85 86 92 96 97 104
a 4 5 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 53 57 63 66 69 73 80 85 86 92 96 97 102
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 42 44 46 48 53 57 63 66 69 73 80 85 86 92 96 97 102
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 42 44 46 48 53 57 63 66 69 73 80 85 86 92 96 97 104
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 42 44 46 48 57 62 63 66 69 73 80 85 86 92 96 97 104
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 42 44 46 48 57 62 63 66 69 73 80 85 86 96 97 98 104
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 44 46 48 57 62 63 66 69 73 80 85 86 92 96 97 98 104
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 44 46 48 57 60 62 63 66 69 73 85 86 92 96 97 98 104
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 44 46 48 57 60 62 63 66 69 73 85 86 92 96 97 98 102
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 44 46 48 57 60 63 66 69 73 85 86 92 96 97 98 102 104
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 44 46 48 57 60 62 63 66 69 73 85 92 96 97 98 102 104
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 44 46 48 57 60 62 63 66 69 85 86 92 96 97 98 102 104
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 44 46 48 57 60 62 63 66 69 85 86 92 96 97 98 102 103
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 42 44 46 48 57 60 62 63 66 69 86 92 96 97 98 102 103
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 86 92 96 97 98 102 103
a 4 5 7 9 10 12 13 15 16 17 18 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 86 92 96 97 98 102 103
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 86 92 96 97 98 103
a 4 5 7 9 10 12 13 15 16 17 18 20 27 34 37 38 42 44 46 48 57 62 63 66 69 73 85 86 92 96 97 98 103
a 4 5 7 9 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 85 86 92 96 97 98 103
a 4 5 7 9 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 80 85 86 92 96 97 98
a 4 5 7 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 80 85 86 92 96 97 98
a 4 5 7 9 10 12 13 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 80 85 86 92 96 97 98
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 80 85 92 96 97 98
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 80 85 96 97 98 103
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 80 85 92 96 97 103
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 80 92 96 97 98 103
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 80 86 92 96 97 98
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 80 86 92 96 97 103
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 80 85 86 92 96 97
a 4 5 7 9 10 12 13 15 16 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 74 80 85 86 96 97
a 4 5 7 9 10 12 13 15 17 18 20 22 27 34 37 38 42 44 46 48 57 62 63 66 69 73 74 80 85 86 96 97 98
a 4 5 7 9 10 12 13 15 17 18 20 22 27 34 37 38 42 44 46 48 57 61 62 63 66 69 74 80 85 86 96 97 98
a 4 5 7 9 10 12 13 15 17 18 20 22 27 34 37 42 44 46 48 57 61 62 63 66 69 74 80 85 86 92 96 97 98
a 4 5 9 10 12 13 15 17 18 20 22 27 34 37 41 42 44 46 48 57 61 62 63 66 69 74 80 85 86 92 96 97 98
a 4 5 9 10 12 13 15 17 18 20 22 27 34 37 41 42 44 46 48 53 57 61 63 66 69 74 80 85 86 92 96 97 98
a 4 5 9 10 12 13 15 17 18 20 22 27 34 37 41 42 44 46 48 53 57 60 61 63 66 69 74 80 85 86 92 97 98
a 4 5 9 10 12 13 15 17 18 20 22 27 34 37 41 42 44 46 48 53 57 61 63 66 69 74 80 85 86 92 97 98 103
a 4 5 9 10 12 13 15 17 18 20 22 27 34 41 42 44 46 48 53 57 60 61 63 66 69 74 80 85 86 92 97 98 103
a 4 5 9 10 12 13 15 17 18 20 22 27 34 41 42 44 46 48 53 57 60 61 63 66 69 74 80 82 85 86 92 98 103
a 4 5 7 9 10 12 13 15 17 18 20 22 27 34 42 44 46 48 53 57 60 61 63 66 69 74 80 82 85 86 92 98 103
a 4 5 7 9 10 12 13 15 17 18 20 22 27 34 37 42 44 46 48 53 57 60 61 63 66 69 74 80 85 86 92 98 103
a 4 5 7 9 10 12 13 15 17 18 20 22 27 34 37 42 44 46 48 53 57 60 61 63 66 69 74 80 85 86 97 98 103
a 4 5 7 9 10 12 13 15 17 18 20 22 27 34 37 42 44 46 48 53 57 60 61 63 66 69 74 80 82 85 86 98 103
a 4 5 7 9 10 12 13 15 17 18 20 22 27 34 37 38 42 44 46 48 53 57 61 63 66 69 74 80 82 85 86 98 103
a 4 5 7 9 10 12 13 15 17 18 20 22 25 27 34 37 38 42 44 46 48 53 57 61 63 66 69 74 80 82 85 86 103
a 5 7 9 10 12 13 15 17 18 20 22 25 27 30 34 37 38 42 44 46 48 53 57 61 63 66 69 74 80 82 85 86 103
a 5 7 9 10 12 13 15 17 18 20 22 25 27 30 34 37 38 42 44 46 48 53 57 61 63 66 69 74 80 82 85 99 103
a 5 7 9 10 12 13 15 17 20 21 22 25 27 30 34 37 38 42 44 46 48 53 57 61 63 66 69 74 80 82 85 99 103
a 5 7 9 10 12 13 15 17 20 21 22 25 27 30 34 37 38 42 44 46 48 53 57 61 63 66 69 74 80 82 85 86 103
a 4 5 7 9 10 12 13 15 17 20 21 22 25 27 34 37 38 42 44 46 48 53 57 61 63 66 69 74 80 82 85 86 103
a 5 7 9 10 12 13 15 16 17 20 21 22 25 27 34 37 38 42 44 46 48 53 57 61 63 66 69 74 80 82 85 86 103
a 5 7 9 10 12 13 15 16 17 20 21 22 25 27 34 37 38 42 44 46 48 52 53 57 61 63 66 69 74 80 82 85 86
a 5 7 8 9 10 12 15 16 17 20 21 22 25 27 34 37 38 42 44 46 48 52 53 57 61 63 66 69 74 80 82 85 86
a 4 5 7 8 10 12 15 16 17 20 21 22 25 27 34 37 38 42 44 46 48 52 53 57 61 63 66 69 74 80 82 85 86
a 4 7 8 10 12 15 16 17 20 21 22 25 27 34 37 38 42 44 46 48 50 52 53 57 61 63 66 69 74 80 82 85 86
a 4 7 8 9 10 12 15 16 17 20 21 22 25 27 34 37 38 42 44 46 48 50 52 53 57 61 63 66 69 74 80 82 85
a 4 7 8 9 10 12 15 16 20 21 22 25 27 31 34 37 38 42 44 46 48 50 52 53 57 61 63 66 69 74 80 82 85
a 4 7 8 9 10 12 15 16 20 21 22 25 27 31 34 37 38 39 42 44 46 48 50 52 53 57 61 66 69 74 80 82 85
a 4 7 8 9 10 12 15 16 21 22 25 27 31 34 37 38 39 42 44 46 48 50 52 53 57 61 66 69 74 80 82 85 96
a 4 7 8 9 10 12 15 21 22 25 27 31 34 37 38 39 42 44 46 48 50 52 53 57 61 66 69 74 80 82 83 85 96
a 4 7 8 9 10 12 15 21 22 25 27 31 34 37 38 42 44 46 48 50 52 53 57 61 66 69 74 80 82 83 85 87 96
a 4 7 8 9 10 12 14 15 21 22 25 27 31 34 37 38 42 44 46 48 50 52 53 57 61 66 69 74 80 82 83 87 96
a 4 7 8 9 10 12 14 15 21 22 25 27 31 34 37 38 42 44 46 48 50 52 53 57 61 66 69 74 80 82 83 86 87
a 4 7 8 9 10 12 14 15 21 22 25 27 31 34 37 42 44 46 48 50 52 53 57 61 66 69 74 75 80 82 83 86 87
a 4 7 8 9 10 12 14 15 16 21 25 27 31 34 37 42 44 46 48 50 52 53 57 61 66 69 74 75 80 82 83 86 87
a 2 4 7 8 9 10 12 14 15 16 21 25 27 31 34 37 42 44 46 48 50 52 53 57 66 69 74 75 80 82 83 86 87
a 2 4 7 8 9 10 12 14 15 16 25 27 31 34 37 42 44 46 48 50 52 53 57 66 69 74 75 77 80 82 83 86 87
a 2 4 7 8 9 10 12 14 15 16 21 25 27 34 37 42 44 46 48 50 52 53 57 66 69 74 75 77 80 82 83 86 87
a 4 7 8 9 10 12 14 15 16 21 25 27 34 37 42 44 46 48 50 52 53 57 63 66 69 74 75 77 80 82 83 86 87
a 2 4 7 8 9 10 12 14 15 16 21 25 27 34 37 42 44 46 48 50 52 53 57 63 66 69 74 75 77 80 82 83 86
a 4 7 8 9 10 12 14 15 16 21 25 27 29 34 37 42 44 46 48 50 52 53 57 63 66 69 74 75 77 80 82 83 86
a 4 7 8 9 10 12 14 15 16 21 25 27 29 34 37 42 44 46 50 52 53 57 63 66 69 74 75 77 80 82 83 86 95
a 2 4 7 8 9 10 12 14 15 16 21 25 27 29 34 37 42 46 50 52 53 57 63 66 69 74 75 77 80 82 83 86 95
a 4 7 8 9 10 12 14 15 16 21 25 27 29 34 37 42 46 50 52 53 57 60 63 66 69 74 75 77 80 82 83 86 95
a 4 7 8 9 12 14 15 16 21 25 27 29 34 37 42 46 48 50 52 53 57 60 63 66 69 74 75 77 80 82 83 86 95
a 4 7 8 9 10 12 14 15 16 21 25 27 29 34 37 42 46 48 50 52 53 57 60 63 66 69 74 75 77 80 82 83 95
a 4 7 8 9 10 12 14 15 16 17 21 25 27 29 34 37 42 46 48 50 52 53 57 60 63 66 69 74 75 77 80 82 83
a 4 7 8 9 10 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 82 83
a 4 8 9 10 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 82 83 104
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 37 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 82 83 104
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 37 41 44 48 50 52 53 57 60 63 66 69 74 75 77 80 82 83 104
a 2 4 8 9 10 12 14 15 16 17 21 27 34 37 41 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 82 83 104
a 2 4 8 9 10 12 14 15 16 17 21 27 34 37 41 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 82 83 95
a 2 4 8 9 10 12 14 15 16 17 21 27 34 37 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 82 83 86 95
a 2 4 8 9 10 12 14 15 16 17 21 27 34 37 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 83 86 95 97
a 2 4 9 10 12 14 15 16 17 21 27 34 37 41 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 83 86 95 97
a 2 4 9 10 12 14 15 16 17 21 27 29 34 37 41 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 86 95 97
a 2 4 9 10 12 14 15 16 17 21 27 29 34 37 41 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 83 86 95
a 2 4 9 12 14 15 16 17 21 27 29 34 37 41 42 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 83 86 95
a 2 4 9 10 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 57 60 63 66 69 74 75 77 80 83 86 95
a 2 4 7 9 10 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 57 60 63 66 69 74 75 77 83 86 95
a 2 4 7 8 9 10 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 57 63 66 69 74 75 77 83 86 95
a 2 4 7 8 9 10 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 57 60 63 66 69 74 75 83 86 95
a 2 4 7 8 9 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 55 57 60 63 66 69 74 75 83 86 95
a 2 7 8 9 10 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 55 57 60 63 66 69 74 75 83 86 95
a 2 4 7 8 9 10 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 55 57 60 63 66 69 74 75 83 95
a 2 4 7 8 9 10 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 55 57 60 63 66 69 74 75 83 86
a 2 4 7 8 9 10 12 14 15 16 17 21 27 29 34 37 42 44 46 48 50 52 53 55 57 60 63 66 74 75 83 86 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 37 41 42 44 46 48 50 52 53 55 57 60 63 66 74 75 83 86 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 55 57 59 60 63 66 74 75 83 86 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 55 57 59 60 63 66 75 83 86 95 102
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 55 57 59 60 63 66 75 80 83 95 102
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 55 57 59 60 63 66 74 75 80 83 95
a 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 55 57 59 60 63 66 74 75 77 80 83 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 55 57 59 60 63 66 74 75 77 80 83
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 63 66 74 75 77 80 82 83
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 66 74 75 77 80 82 83 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 66 69 75 77 80 82 83 95
a 2 4 8 9 10 12 14 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 63 66 69 75 77 80 82 83 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 63 66 69 75 77 80 82 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 39 41 42 44 46 48 50 52 53 57 59 60 66 69 75 77 80 82 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 39 41 42 44 46 48 50 52 53 57 59 60 69 75 77 80 82 86 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 39 41 42 44 46 48 50 52 53 57 59 60 69 75 77 80 82 95 96
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 39 41 42 44 46 48 50 52 53 57 59 60 69 75 77 80 82 86 96
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 66 69 75 77 80 82 86 96
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 66 69 75 77 80 82 86 104
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 66 69 75 77 80 83 86 104
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 66 69 75 77 80 83 86 87
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 66 69 75 77 83 86 87 96
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 66 69 75 77 83 86 87 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 50 52 53 57 59 60 63 66 69 75 77 83 86 87 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 50 52 53 57 59 60 63 66 75 77 80 83 86 87 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 63 66 75 77 80 83 87 95
a 2 4 8 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 63 66 75 77 80 83 86 87 95
a 2 4 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 63 66 75 77 80 83 86 87
a 2 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 63 66 75 77 80 83 86 87 95
a 2 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 63 66 75 77 80 83 87 95 104
a 2 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 48 50 52 53 57 59 60 63 66 75 77 80 83 95 96 104
a 2 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 50 52 53 57 59 60 63 66 69 75 77 80 83 95 96 104
a 2 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 46 50 52 53 57 59 60 63 66 68 69 75 77 83 95 96 104
a 2 8 9 10 12 14 15 16 17 21 27 29 34 41 42 44 50 52 53 57 59 60 63 66 68 69 75 77 83 95 96 103 104
a 2 8 9 10 12 14 15 16 17 21 27 29 34 37 41 42 44 50 52 53 57 60 63 66 68 69 75 77 83 95 96 103 104
a 2 8 9 10 12 14 15 16 17 21 27 29 34 37 41 42 44 50 52 57 60 63 66 68 69 75 77 83 90 95 96 103 104
a 2 8 9 10 12 14 15 16 17 21 27 29 34 37 41 42 44 50 52 57 60 63 66 68 69 75 77 90 93 95 96 103 104
a 2 8 9 10 12 14 15 16 17 21 27 34 37 41 42 44 50 52 57 60 63 66 68 69 75 77 90 93 95 96 102 103 104
a 2 8 9 10 12 14 15 16 17 21 27 34 37 41 42 44 50 52 57 63 66 68 69 75 77 90 93 95 96 97 102 103 104
a 2 8 9 10 14 15 16 17 21 27 30 34 37 41 42 44 50 52 57 63 66 68 69 75 77 90 93 95 96 97 102 103 104
a 2 8 9 10 15 16 17 21 27 30 34 37 41 42 44 50 52 57 63 66 68 69 75 77 90 92 93 95 96 97 102 103 104
a 2 8 9 10 16 17 19 21 27 30 34 37 41 42 44 50 52 57 63 66 68 69 75 77 90 92 93 95 96 97 102 103 104
a 2 8 10 16 17 19 21 27 30 32 34 37 41 42 44 50 52 57 63 66 68 69 75 77 90 92 93 95 96 97 102 103 104
a 2 8 16 17 19 21 27 30 32 34 37 41 42 44 50 52 56 57 63 66 68 69 75 77 90 92 93 95 96 97 102 103 104
a 2 8 16 17 19 21 30 32 34 37 41 42 44 50 52 56 57 63 66 67 68 69 75 77 90 92 93 95 96 97 102 103 104
c Step: 349
#END: [Tue Sep  5 06:59:22 2023]