#BEGIN: [Tue Sep  5 07:23:48 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance012_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance012_graph002_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_instance012_graph002.col /benchmark/random_instance/random_instance012_graph002_01.dat
c /benchmark/random_instance/random_instance012_graph002.col
c /benchmark/random_instance/random_instance012_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 96b97974c92f3ae712f501679aa6ac911b4732851523ca0af91c00ef004ed6e0
s 51 39 42 152 34 40 75 47 66 56 154 10 76 98 93 44 17 48 126 92 14 141 144 67 82 46 15 99 58 150 4 73 101 148 83 142 61 52 62 106 43 147 74 87 22 30 118 63 129 124 57 29 105
t 37 148 107 137 130 141 22 91 25 45 110 95 86 63 122 99 55 43 96 146 57 75 59 66 105 6 47 71 64 13 7 35 94 19 74 125 103 58 152 127 53 44 39 111 48 121 78 4 65 9 68 73 52
a YES
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 93 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 93 95 98 99 101 105 106 118 124 129 141 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 87 92 93 95 98 99 101 105 106 118 121 124 129 141 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 83 86 87 92 93 95 98 99 101 105 106 118 121 124 129 141 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 83 86 92 93 95 98 99 101 105 106 113 118 121 124 129 141 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 83 86 92 93 95 98 99 101 105 106 113 118 124 129 141 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 83 86 92 93 95 98 99 101 105 106 113 124 129 141 142 144 146 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 63 66 67 73 74 75 76 83 86 90 92 93 95 98 99 101 105 106 113 124 129 141 142 144 146 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 63 66 67 73 74 75 76 83 86 90 92 93 95 98 99 101 105 106 113 124 129 142 144 146 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 63 66 67 73 74 75 83 86 90 92 93 95 98 99 101 105 106 113 121 124 129 142 144 146 147 148 150 152 154
a 4 10 15 17 22 29 30 34 35 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 63 66 67 73 74 75 83 86 90 92 93 95 98 99 101 105 106 113 121 124 129 142 144 146 147 148 150 152 154
a 4 10 15 17 22 29 30 34 35 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 83 86 92 93 95 98 99 101 105 106 113 121 124 129 142 144 146 147 148 150 152 154
a 4 10 15 17 22 29 30 34 35 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 83 86 92 93 95 98 99 101 105 106 113 121 129 133 142 144 146 147 148 150 152 154
a 4 10 15 17 22 29 30 34 35 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 92 93 95 98 99 101 105 106 113 121 129 133 142 144 146 147 148 150 152 154
a 4 10 15 17 22 29 30 34 35 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 92 93 95 98 99 101 105 106 113 121 129 133 141 142 144 146 147 148 150 152 154
a 4 10 15 17 22 29 30 34 35 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 92 93 95 98 99 101 105 106 113 121 129 133 141 142 144 146 147 150 152 154
a 4 10 15 17 22 29 30 34 35 39 40 41 42 43 44 46 47 48 51 52 56 58 61 62 63 66 67 73 74 75 82 83 92 93 95 98 99 101 105 106 113 121 124 129 133 141 142 144 146 147 150 152 154
a 4 10 15 17 22 29 30 34 35 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 92 93 95 98 99 101 105 106 113 121 124 129 133 141 142 144 146 147 150 152 154
a 4 10 15 17 22 29 30 34 35 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 92 93 95 98 99 101 105 106 113 121 124 129 133 141 144 146 147 150 152 154
a 4 10 15 17 22 29 30 34 35 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 92 93 95 98 99 101 105 106 113 121 124 129 133 141 142 144 146 147 150 152
a 4 10 15 17 22 29 30 34 35 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 92 93 95 98 99 101 105 106 113 118 121 124 129 133 141 142 144 147 150 152
a 4 10 15 17 22 29 30 34 35 39 40 41 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 79 82 83 92 93 95 98 99 101 105 106 113 118 121 124 129 133 141 142 144 147 150 152
a 4 10 15 17 22 29 30 34 35 39 40 41 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 79 82 83 92 93 95 98 99 101 105 106 113 118 121 124 129 133 141 142 144 147 150 154
a 4 10 15 17 22 29 30 35 37 39 40 41 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 79 82 83 92 93 95 98 99 101 105 106 113 118 121 124 129 133 141 142 144 147 150 154
a 4 10 15 17 22 29 30 35 37 39 40 41 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 79 83 92 93 95 98 99 101 105 106 113 114 118 121 124 129 133 141 142 144 147 150 154
a 4 10 15 17 22 29 30 35 37 39 40 41 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 79 83 92 93 95 98 99 101 105 106 113 114 121 124 129 133 141 142 144 147 148 150 154
a 4 10 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 48 51 52 56 57 58 61 62 63 67 73 74 75 79 83 92 93 95 98 99 101 105 106 113 114 121 124 129 133 141 142 144 147 148 150 154
a 4 10 15 17 22 28 29 30 35 37 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 73 74 75 83 92 93 95 98 99 101 105 106 113 114 121 124 129 133 141 142 144 147 148 150 154
a 4 10 15 17 22 28 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 73 74 75 83 92 93 95 98 99 101 105 106 113 114 121 124 129 133 142 144 147 148 150 154
a 4 10 15 17 22 28 29 30 35 37 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 73 74 75 83 92 93 95 98 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 150 154
a 4 10 15 17 22 28 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 73 74 75 92 93 95 98 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 150 154
a 4 10 15 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 73 74 75 82 92 93 95 98 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 150 154
a 4 10 15 17 22 28 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 73 74 75 82 92 93 95 98 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 154
a 10 15 17 22 28 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 73 74 75 82 83 92 93 95 98 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 154
a 4 10 15 17 22 28 29 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 73 74 75 82 83 92 93 95 98 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 154
a 4 10 15 17 22 28 29 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 70 73 74 75 82 83 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 154
a 4 10 15 17 22 28 29 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 70 73 74 75 82 83 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 154
a 4 10 15 17 22 28 29 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 70 73 74 75 82 83 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 148 154
a 4 10 15 17 22 28 29 34 35 38 39 40 41 42 43 44 46 47 48 51 56 57 58 61 62 63 67 70 73 74 75 82 83 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 154
a 4 10 15 17 22 28 29 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 70 73 74 75 82 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 154
a 4 10 15 17 22 29 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 148 154
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 154
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 83 89 92 93 95 99 101 105 106 113 114 118 121 124 129 142 144 147 154
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 142 144 147 154
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 89 92 93 95 99 101 105 106 113 114 118 121 124 129 142 144 147 150 154
a 4 10 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 89 92 93 95 99 101 105 106 113 114 118 121 124 129 142 144 147 150 154
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 58 61 62 63 66 67 70 73 74 75 83 89 92 93 95 99 101 105 106 113 114 118 121 124 129 142 144 147 150 154
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 58 61 62 63 66 67 70 73 74 75 83 89 92 93 95 99 101 105 106 113 114 121 124 129 142 144 146 147 150 154
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 89 92 93 95 99 101 105 106 113 114 121 124 129 142 144 147 150 154
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 121 124 129 142 144 147 150 154
a 4 10 15 16 17 22 29 30 34 35 38 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 121 124 129 142 144 147 150 154
a 4 10 15 16 17 22 29 30 34 35 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 121 124 129 142 144 147 150 154
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 121 124 129 142 144 147 150 154
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 121 124 129 142 144 147 150
a 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 121 124 129 142 144 146 147 150
a 4 10 15 16 17 22 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 121 124 129 142 144 146 147 150
a 4 10 15 17 22 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 121 124 129 133 142 144 146 147 150
a 4 10 15 17 22 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 150
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 150
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 150 154
a 4 10 15 17 22 29 30 34 35 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 150 154
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 150
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 150 154
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 150
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 150
a 4 10 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 150
a 4 10 15 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 129 133 142 144 147 150
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 129 133 142 144 147
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 61 62 63 66 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 61 62 63 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 118 121 124 129 133 142 144 147 154
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 61 62 63 67 70 73 74 75 83 86 89 92 93 95 99 101 105 106 113 114 121 124 129 133 142 144 146 147 154
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 61 62 63 67 70 73 74 75 82 83 89 92 93 95 99 101 105 106 113 114 121 124 129 133 142 144 146 147 154
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 70 73 74 75 82 83 89 92 93 95 99 101 105 106 113 114 121 124 129 133 142 144 147 154
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 67 70 73 74 75 82 83 89 92 93 95 99 101 105 106 113 114 121 124 129 133 142 144 147 150
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 83 89 92 93 99 101 105 106 113 114 121 124 129 133 142 144 147 150
a 4 10 15 16 17 22 29 30 34 35 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 92 93 99 101 105 106 113 114 121 124 129 133 142 144 146 147 150
a 4 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 92 93 99 101 105 106 113 114 121 124 129 133 142 144 146 147 150
a 4 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 92 93 99 101 105 106 113 114 121 124 129 133 142 144 146 147 150
a 4 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 92 93 95 99 101 105 106 113 114 121 124 129 133 142 144 146 147
a 4 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 92 93 95 99 101 105 106 113 114 121 124 129 133 144 146 147 154
a 4 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 92 95 99 101 105 106 113 114 121 124 129 133 142 144 146 147 154
a 4 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 92 95 101 105 106 113 114 121 124 129 133 142 144 146 147 150 154
a 4 5 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 95 101 105 106 113 114 121 124 129 133 142 144 146 147 150 154
a 4 5 10 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 95 99 101 105 106 113 114 121 124 129 133 142 144 146 147 150 154
a 4 5 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 95 99 101 105 106 113 114 121 124 129 133 142 144 146 147 154
a 4 5 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 89 95 99 101 105 106 113 114 121 124 129 133 142 144 146 147 150
a 4 5 10 16 17 18 22 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 105 106 113 114 121 124 129 133 142 144 146 147 150
a 4 5 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 105 106 113 121 124 129 133 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 105 106 121 124 129 133 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 121 124 129 133 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 74 75 78 82 83 89 95 99 101 105 106 113 121 124 129 133 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 113 121 124 129 133 144 146 147
a 4 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 113 121 124 129 133 142 144 146 147
a 4 5 7 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 113 121 124 129 133 142 144 146 147
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 113 121 124 129 133 142 144 146 147
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 113 121 124 129 133 142 144 146 147
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 113 121 124 129 133 142 144 146 147
a 4 5 7 10 16 17 18 22 29 30 35 37 38 40 41 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 113 121 124 129 133 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 40 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 113 121 124 129 133 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 40 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 113 121 124 129 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 40 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 78 82 83 89 95 99 101 105 106 113 124 129 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 40 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 70 73 74 75 76 78 82 83 89 95 99 101 105 106 113 124 129 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 40 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 101 105 106 113 124 129 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 39 40 41 42 43 44 47 48 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 101 105 106 113 124 129 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 39 40 41 42 43 44 47 49 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 101 105 106 113 124 129 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 39 40 41 42 43 44 47 49 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 101 105 106 113 129 140 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 39 40 41 42 43 44 46 47 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 101 105 106 113 129 140 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 95 99 101 105 106 113 129 140 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 51 52 56 57 58 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 101 105 106 113 129 140 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 105 106 113 129 140 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 105 106 113 129 140 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 67 70 73 74 75 76 78 82 83 89 95 99 105 106 113 129 140 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 47 48 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 105 106 113 129 140 142 144 146 147 150
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 47 48 51 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 106 113 129 140 142 144 146 147 150
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 78 82 83 89 95 99 106 113 122 129 140 142 144 146 147 150
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 82 83 89 95 99 106 113 122 129 140 142 144 146 147 150 154
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 82 83 89 95 99 106 113 122 124 129 142 144 146 147 150 154
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 43 44 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 82 83 89 95 99 106 113 122 124 129 130 142 144 146 147 150 154
a 4 5 7 10 11 17 18 22 29 30 35 37 38 39 40 41 43 44 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 82 83 89 95 99 101 106 113 122 124 129 130 142 144 146 147 150 154
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 43 44 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 76 82 83 89 95 99 101 106 113 122 124 130 142 144 146 147 150 154
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 43 44 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 106 113 121 122 124 130 142 144 146 147 150 154
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 43 46 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 106 113 121 122 124 130 142 144 146 147 150 154
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 43 46 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 106 113 121 122 124 129 130 142 144 146 147 150
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 42 43 46 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 106 113 121 122 124 129 142 144 146 147 150
a 4 5 7 10 11 16 17 18 22 29 30 35 37 38 39 40 41 42 43 46 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 106 113 121 122 129 140 142 144 146 147 150
a 4 5 7 10 16 17 18 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 106 113 121 122 129 140 142 144 146 147 150
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 106 113 121 122 129 140 142 144 146 147 150
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 61 62 63 66 67 70 73 74 75 82 83 89 95 99 101 106 113 121 122 129 133 140 142 144 146 147 150
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 61 62 63 66 68 70 73 74 75 82 83 89 95 99 101 106 113 121 122 129 133 140 142 144 146 147 150
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 61 62 63 66 68 70 73 74 75 82 83 89 95 99 101 106 113 121 122 124 129 133 142 144 146 147 150
a 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 61 62 63 66 68 70 73 74 75 82 83 89 95 99 101 106 113 114 121 122 124 129 133 142 144 146 147 150
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 61 62 63 66 68 70 73 74 75 82 83 89 95 99 101 106 113 114 121 122 124 129 133 142 144 146 150
a 4 5 7 10 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 61 62 63 66 68 70 73 74 75 82 83 89 95 99 101 106 113 114 121 122 124 129 133 142 144 146 150 154
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 58 61 62 63 66 68 70 73 74 75 82 83 89 95 99 101 106 113 114 121 122 124 129 133 142 144 146 150 154
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 58 61 62 63 66 68 73 74 75 82 83 89 95 96 99 101 106 113 114 121 122 124 129 133 142 144 146 150 154
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 58 60 61 62 63 66 68 73 74 75 82 83 89 95 96 99 101 106 113 114 121 122 124 129 142 144 146 150 154
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 73 74 75 82 83 89 95 96 99 101 106 113 114 121 122 124 129 142 144 146 150 154
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 89 95 96 99 101 106 113 114 121 122 124 129 142 144 146 150
a 4 5 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 99 101 106 113 114 121 122 124 129 142 144 146 150
a 4 5 6 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 99 106 113 114 121 122 124 129 142 144 146 150
a 4 5 6 7 10 15 16 17 22 29 30 35 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 105 106 113 114 121 122 124 129 142 144 146 150
a 4 5 6 7 10 15 16 17 22 29 30 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 105 106 113 114 121 122 124 129 142 144 146 150 154
a 4 5 6 7 10 15 16 17 22 29 30 37 38 39 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 99 105 106 113 114 121 122 124 129 142 144 146 150 154
a 4 5 6 7 10 15 16 17 22 29 30 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 99 105 106 113 114 121 122 124 129 142 146 150 154
a 4 5 6 7 10 15 16 17 22 29 30 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 99 105 106 113 114 121 122 124 142 146 147 150 154
a 4 5 6 7 10 15 16 17 22 29 30 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 99 105 106 113 114 121 122 124 142 144 146 147 150 154
a 4 5 6 7 10 15 16 17 22 29 30 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 99 105 106 113 114 121 124 142 144 146 147 150 154
a 4 5 6 7 10 15 16 17 22 29 30 37 38 39 40 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 99 105 106 113 114 121 124 142 144 145 146 147 150 154
a 4 6 7 10 15 16 17 22 29 30 37 38 39 40 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 99 105 106 113 114 121 124 142 144 145 146 147 150 154
a 4 5 6 7 10 15 16 17 22 29 30 37 39 40 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 99 105 106 113 114 121 124 142 144 145 146 147 150 154
a 4 5 6 7 10 15 16 17 22 29 30 37 38 39 40 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 95 96 98 99 105 106 113 114 121 124 142 144 145 146 147 150 154
a 4 5 6 7 10 15 16 17 22 29 30 37 38 39 40 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 99 105 106 113 114 121 124 142 144 145 146 150 154
a 4 5 6 7 10 15 16 17 22 29 37 38 39 40 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 99 105 106 113 114 121 124 142 144 145 146 147 150 154
a 4 5 6 7 10 15 16 17 22 29 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 98 99 105 106 113 114 121 124 142 144 146 147 150 154
a 4 5 6 7 10 15 16 17 22 29 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 95 96 99 105 106 113 114 121 124 142 144 146 147 150 154
a 4 5 6 7 15 16 17 22 29 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 114 121 124 142 144 146 147 150 154
a 4 5 6 7 10 15 16 17 22 29 35 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 60 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 114 121 124 142 144 146 147 150 154
a 4 5 6 7 10 15 16 17 22 29 35 37 38 39 41 42 43 44 46 47 48 51 52 56 57 58 60 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 114 120 121 124 142 144 146 147 150 154
a 4 5 6 7 10 15 16 17 22 25 29 35 37 38 39 41 42 43 44 46 47 48 51 52 56 57 58 60 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 114 120 121 124 142 146 147 150 154
a 4 5 6 7 10 15 16 17 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 57 58 60 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 114 120 121 124 142 146 147 150
a 4 5 6 7 10 15 16 17 22 25 29 30 37 38 39 41 42 43 44 46 47 48 51 52 56 57 58 60 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 114 120 121 124 129 142 146 147 150
a 4 5 6 7 10 15 16 17 22 25 29 30 37 38 39 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 114 120 121 124 129 142 146 147
a 4 5 6 7 10 15 16 17 22 25 29 30 37 38 39 41 42 43 44 46 47 48 51 52 56 58 60 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 114 120 121 124 129 142 143 146 147
a 4 5 6 7 10 15 16 17 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 60 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 120 121 124 129 142 143 146 147
a 4 5 6 7 10 15 16 17 22 25 29 30 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 120 121 124 129 142 143 146 147
a 4 5 6 7 10 15 16 17 25 29 30 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 120 121 123 124 129 142 143 146 147
a 4 5 6 7 10 15 16 17 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 120 121 123 124 129 142 143 146
a 4 5 6 7 10 15 16 17 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 120 121 123 124 129 143 146 147
a 4 5 6 7 10 15 16 17 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 120 121 123 124 129 143 146 147
a 4 5 6 7 10 15 16 17 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 120 121 123 124 129 142 143 146 147
a 4 5 6 7 10 15 16 17 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 73 74 75 82 83 89 95 96 99 105 106 113 120 121 123 124 129 142 143 146 150
a 4 5 6 7 10 15 16 17 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 89 95 99 105 106 113 120 121 123 124 129 142 143 146 150
a 4 5 6 7 10 15 16 17 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 89 95 99 106 113 120 121 123 124 129 142 143 146 150 154
a 4 5 6 7 10 15 16 17 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 89 95 99 106 113 120 121 123 124 129 142 143 146 147 150
a 4 5 6 7 10 15 16 17 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 89 95 99 106 113 120 121 123 124 129 134 142 146 147 150
a 4 5 6 7 10 15 16 17 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 89 95 99 106 113 120 121 123 124 129 134 142 146 147 150
a 4 5 6 7 15 16 17 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 123 124 129 134 142 146 147 150
a 4 5 6 7 10 15 16 17 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 123 124 129 134 142 146 147
a 4 6 7 10 15 16 17 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 89 92 95 99 106 113 120 121 123 124 129 134 142 146 147
a 4 6 7 10 11 15 16 17 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 89 92 95 99 106 113 120 121 123 124 129 134 142 146
a 4 6 7 10 11 15 16 17 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 82 83 85 89 92 95 99 106 113 120 121 123 124 129 142 146
a 4 6 7 10 11 15 16 17 25 29 30 34 35 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 82 83 85 89 92 95 99 106 113 120 121 123 124 129 142 146 147
a 4 5 6 7 10 11 15 16 17 25 29 30 34 35 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 123 124 129 142 146 147
a 5 6 7 10 11 15 16 17 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 123 124 129 142 146 147
a 5 6 7 10 11 15 16 17 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 76 82 83 85 89 95 99 106 113 120 123 124 129 142 146 147
a 5 6 7 10 11 15 16 17 25 29 30 34 35 38 39 41 42 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 76 82 83 85 89 95 99 106 113 120 123 124 129 142 146 147 155
a 5 6 7 10 11 15 16 17 22 25 29 30 34 35 38 39 41 42 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 76 82 83 85 89 95 99 106 113 120 123 124 129 142 146 155
a 4 5 6 10 11 15 16 17 22 25 29 30 34 35 38 39 41 42 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 76 82 83 85 89 95 99 106 113 120 123 124 129 142 146 155
a 4 5 6 7 10 11 15 16 17 25 29 30 34 35 38 39 41 42 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 76 82 83 85 89 95 99 106 113 120 123 124 129 142 146 155
a 4 5 6 7 10 15 16 17 25 29 30 34 35 38 39 41 42 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 76 82 83 85 89 95 99 106 113 120 123 124 129 142 146 154 155
a 4 5 6 7 10 15 16 17 25 29 30 34 35 38 39 41 42 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 123 124 129 134 142 146 154 155
a 4 5 6 7 10 15 16 17 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 123 124 129 134 142 146 154
a 4 5 6 7 10 15 16 17 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 124 129 134 142 146 147 154
a 4 5 6 7 10 15 16 17 22 25 29 30 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 124 129 134 142 146 147 154
a 4 5 6 7 10 15 16 17 22 25 29 30 35 38 39 41 42 43 44 46 47 48 51 52 56 57 58 59 60 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 124 129 142 146 147 154
a 4 5 6 7 10 15 16 17 22 25 28 29 30 35 38 39 41 42 43 44 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 124 129 142 146 147 154
a 4 5 6 7 10 16 17 18 22 25 28 29 30 35 38 39 41 42 43 44 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 124 129 142 146 147 154
a 4 5 6 7 10 11 16 17 18 22 25 28 29 30 35 38 39 41 42 43 44 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 124 129 142 146 147
a 4 5 6 7 10 11 16 17 18 22 25 28 29 30 34 35 38 39 42 43 44 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 124 129 142 146 147
a 4 5 6 7 10 11 15 16 17 22 25 28 29 30 34 35 38 39 42 43 44 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 124 129 142 146 147
a 4 6 7 10 11 15 16 17 22 25 28 29 30 34 35 38 39 42 43 44 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 124 129 142 146 147
a 4 5 6 7 11 15 16 17 22 25 28 29 30 34 35 38 39 42 43 44 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 124 129 142 146 147
a 4 5 6 7 11 15 16 17 22 25 28 29 30 34 35 38 39 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 124 129 134 142 146 147
a 4 5 6 7 11 16 17 18 22 25 28 29 30 34 35 38 39 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 124 129 134 142 146 147
a 4 5 6 7 11 16 17 18 22 25 28 29 30 35 37 38 39 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 124 129 134 142 146 147
a 4 5 6 7 11 16 17 18 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 124 129 134 142 146
a 4 5 6 7 11 16 17 18 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 124 129 134 142 147
a 4 5 6 7 10 11 16 17 18 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 129 134 142 147
a 4 5 6 7 9 10 11 16 17 18 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 68 70 73 74 75 82 83 85 95 99 106 113 120 121 129 134 142 147
a 4 5 6 7 9 10 11 16 17 18 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 68 70 73 74 75 83 85 86 95 99 106 113 120 121 129 134 142 147
a 4 5 6 7 9 10 11 16 17 18 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 68 70 73 74 75 83 85 86 95 99 106 113 120 121 129 134 146 147
a 4 5 6 7 9 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 83 85 86 95 99 106 113 120 121 129 134 146 147
a 4 5 6 7 9 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 83 85 86 95 99 106 113 120 121 129 134 142 146 147
a 4 5 6 7 9 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 60 61 62 63 66 68 70 73 74 75 83 85 86 95 99 106 113 120 121 129 142 146 147
a 4 5 6 7 9 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 95 99 106 113 120 121 129 133 142 146 147
a 4 5 6 7 9 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 95 99 106 113 120 121 129 133 134 142 146 147
a 4 5 6 7 9 10 11 16 17 18 22 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 95 99 106 113 120 121 129 133 134 142 146 147
a 4 5 6 7 10 11 16 17 18 22 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 95 99 106 113 120 121 129 133 134 142 146 147 150
a 4 5 6 7 10 11 16 17 18 22 25 29 30 34 35 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 95 99 106 113 120 121 124 129 133 134 142 146 147
a 4 5 6 7 10 11 16 17 18 22 25 29 30 34 35 38 39 41 42 43 44 46 47 48 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 95 99 106 113 120 121 124 129 133 134 142 146 147
a 4 5 6 7 10 11 16 17 18 22 25 29 30 34 35 38 39 41 42 43 44 46 47 48 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 95 99 106 113 120 121 124 129 133 134 142 147 154
a 4 5 6 7 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 95 99 106 113 120 121 124 129 133 134 142 147 154
a 4 5 6 7 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 95 99 106 113 120 121 124 129 133 134 142 146 147
a 4 5 6 7 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 95 99 106 113 120 121 124 133 134 142 146 147 154
a 4 5 6 7 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 95 106 113 120 121 124 133 134 142 146 147 154
a 4 5 6 7 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 95 106 113 120 121 123 124 133 134 142 146 147
a 4 5 6 7 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 89 95 106 113 120 121 123 124 133 134 142 146
a 4 6 7 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 89 95 106 113 120 121 123 124 133 134 142 146 154
a 4 6 7 10 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 123 124 133 134 142 154
a 4 6 7 10 11 16 17 18 22 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 120 121 123 124 133 134 142 146 154
a 4 5 6 7 10 11 16 17 18 22 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 82 83 85 89 95 99 106 113 121 123 124 133 134 142 146 154
a 4 5 6 7 10 11 16 17 18 22 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 121 123 124 133 134 142 146 154
a 4 5 6 7 10 11 16 17 18 22 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 121 123 124 133 134 142 144 146
a 4 5 6 7 10 11 16 17 18 22 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 146
a 4 5 6 7 10 11 16 17 18 22 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 147
a 4 5 6 7 11 16 17 18 21 22 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 147
a 4 5 6 11 16 17 18 21 22 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 147 150
a 4 5 6 7 11 16 17 18 21 22 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 150
a 4 5 6 7 11 16 17 18 21 22 25 29 30 35 37 38 39 41 42 43 44 46 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 150
a 4 5 6 7 11 16 17 18 21 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 150
a 4 5 6 7 11 16 17 18 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 150
a 5 6 7 11 16 17 18 21 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 150
a 5 6 7 11 16 17 18 21 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 147
a 5 6 7 11 16 17 18 21 22 25 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 59 61 62 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 146 147
a 5 6 7 11 16 17 18 21 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 59 61 62 63 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 146 147
a 4 5 6 7 11 16 17 18 21 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 59 61 62 63 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142 147
a 4 5 6 7 11 16 17 18 21 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 142
a 4 5 6 7 11 16 17 18 21 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 133 134 146
a 4 5 6 7 9 11 16 17 18 21 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 68 70 73 74 75 83 85 86 95 99 106 113 120 121 123 124 133 134 146
a 4 5 6 7 9 11 16 17 18 21 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 53 56 58 59 61 63 68 70 73 74 75 83 85 86 95 99 106 113 120 121 123 124 133 134 146
a 4 5 6 7 9 16 17 18 21 22 25 28 29 30 35 37 38 39 41 42 43 44 46 47 48 51 52 53 56 58 59 61 63 68 70 73 74 75 83 85 86 95 99 106 113 120 121 123 124 125 133 134 146
a 4 5 6 7 9 16 17 18 21 22 25 28 29 30 35 37 38 39 41 42 43 46 47 48 51 52 53 56 58 59 61 63 68 70 73 74 75 83 85 86 95 99 106 113 120 121 123 124 125 133 134 145 146
a 4 5 6 7 9 16 17 18 21 22 25 28 29 30 35 37 38 39 41 42 43 46 47 48 51 52 56 58 59 61 62 63 68 70 73 74 75 83 85 86 95 99 106 113 120 121 123 124 125 133 134 145 146
a 4 5 6 7 9 16 17 18 21 22 25 28 29 30 35 37 38 39 41 42 43 46 47 48 51 52 56 58 59 61 62 63 68 73 74 75 83 85 86 95 96 99 106 113 120 121 123 124 125 133 134 145 146
a 4 5 6 7 9 10 16 17 18 22 25 28 29 30 35 37 38 39 41 42 43 46 47 48 51 52 56 58 59 61 62 63 68 73 74 75 83 85 86 95 96 99 106 113 120 121 123 124 125 133 134 145 146
a 4 5 6 7 9 10 16 17 18 22 25 28 29 30 35 37 38 39 41 42 43 46 47 48 51 52 56 58 59 61 62 63 68 70 73 74 75 83 85 86 95 99 106 113 120 121 123 124 125 133 134 145 146
a 4 5 6 7 10 16 17 18 22 25 28 29 30 35 37 38 39 41 42 43 46 47 48 51 52 56 58 59 61 62 63 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 125 133 134 145 146
a 4 5 6 7 10 16 17 18 22 25 28 30 35 37 38 39 41 42 43 46 47 48 51 52 56 58 59 61 62 63 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 125 129 133 134 145 146
a 4 5 6 7 16 17 18 21 22 25 28 30 35 37 38 39 41 42 43 46 47 48 51 52 56 58 59 61 62 63 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 125 129 133 134 145 146
a 4 5 6 7 16 17 18 21 22 25 28 30 31 35 37 38 39 41 42 43 46 47 48 51 52 56 58 59 61 62 63 68 70 73 74 75 83 85 86 89 95 99 106 120 121 123 124 125 129 133 134 145 146
a 4 5 6 7 16 17 18 21 22 25 28 30 31 35 37 38 39 41 42 43 44 46 47 48 51 52 56 58 59 61 62 63 68 70 73 74 75 83 85 86 89 95 99 106 120 121 123 124 125 129 133 134 146
a 4 5 6 7 16 17 18 21 22 25 28 30 31 35 37 38 39 41 42 43 44 46 47 48 51 52 53 56 58 59 61 63 68 70 73 74 75 83 85 86 89 95 99 106 120 121 123 124 125 129 133 134 146
a 4 5 6 7 16 17 18 21 22 25 28 30 35 37 38 39 41 42 43 44 46 47 48 51 52 53 56 58 59 61 63 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 125 129 133 134 146
a 4 5 6 7 16 17 18 21 22 25 30 35 37 38 39 41 42 43 44 46 47 48 51 52 53 56 58 59 61 63 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 125 129 133 134 146 154
a 4 5 6 7 16 17 18 21 22 25 30 35 37 38 39 41 42 43 44 46 47 48 51 52 53 56 58 59 61 63 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 125 129 134 146 148 154
a 4 5 6 7 16 17 18 21 22 25 30 35 37 38 39 41 42 43 44 46 47 48 51 52 53 56 58 59 61 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 123 124 125 129 146 148 154
a 4 5 6 7 16 17 18 21 22 25 30 35 37 38 39 41 42 43 44 46 47 48 51 52 53 56 57 58 59 61 63 66 68 70 73 74 75 83 85 86 89 95 99 106 113 120 121 124 125 129 146 148 154
a 4 5 6 7 16 17 18 21 22 25 30 35 37 38 39 41 42 43 44 46 47 48 51 52 53 56 57 58 59 61 63 66 68 70 73 74 75 78 83 85 86 89 95 99 106 113 120 121 124 125 129 146 148
a 4 5 6 7 9 16 17 18 21 22 25 30 35 37 38 39 41 42 43 44 46 47 48 51 52 53 56 57 58 59 61 63 66 68 70 73 74 75 78 83 85 86 95 99 106 113 120 121 124 125 129 146 148
a 4 5 6 7 9 16 17 18 21 22 25 30 35 37 38 39 41 43 44 46 47 48 51 52 53 56 57 58 59 61 63 66 68 70 73 74 75 78 83 85 86 95 99 106 111 113 120 121 124 125 129 146 148
a 4 5 6 7 9 16 17 18 21 22 25 30 35 37 38 39 43 44 46 47 48 51 52 53 56 57 58 59 61 63 66 68 70 73 74 75 78 83 85 86 95 99 103 106 111 113 120 121 124 125 129 146 148
a 4 5 6 7 9 16 17 18 22 25 30 35 37 38 39 43 44 46 47 48 51 52 53 56 57 58 59 61 63 66 68 70 73 74 75 78 83 85 86 95 99 103 106 111 113 120 121 124 125 129 130 146 148
a 4 5 6 7 9 16 17 18 22 25 35 37 38 39 43 44 46 47 48 51 52 53 56 57 58 59 61 63 66 68 70 73 74 75 78 83 85 86 95 99 103 106 111 113 120 121 124 125 129 130 137 146 148
a 4 5 6 7 9 16 17 18 22 25 35 37 38 39 43 44 46 47 48 51 52 53 56 57 58 59 61 63 66 68 73 74 75 78 83 85 86 95 96 99 103 106 111 113 120 121 124 125 129 130 137 146 148
a 4 5 6 7 9 16 17 18 22 25 35 37 38 39 43 44 46 47 48 51 52 53 55 56 57 58 59 61 63 66 68 73 74 75 78 83 85 86 95 96 99 103 106 111 120 121 124 125 129 130 137 146 148
a 4 5 6 7 9 16 18 22 25 35 37 38 39 43 44 46 47 48 51 52 53 55 56 57 58 59 61 63 65 66 68 73 74 75 78 83 85 86 95 96 99 103 106 111 120 121 124 125 129 130 137 146 148
a 4 5 6 7 9 16 18 22 25 35 37 38 39 43 44 46 47 48 51 52 53 55 57 58 59 61 63 65 66 68 73 74 75 78 83 85 86 95 96 99 103 106 110 111 120 121 124 125 129 130 137 146 148
a 4 5 6 7 9 16 18 22 25 35 37 38 39 43 44 47 48 51 52 53 55 57 58 59 61 63 65 66 68 73 74 75 78 83 85 86 95 96 99 103 106 110 111 120 121 124 125 127 129 130 137 146 148
a 4 5 6 7 9 16 18 22 25 35 37 38 39 43 44 47 48 51 52 53 55 57 58 59 61 63 65 66 68 73 74 75 78 83 86 95 96 99 103 105 106 110 111 120 121 124 125 127 129 130 137 146 148
a 4 6 7 9 16 18 22 25 35 37 38 39 43 44 45 47 48 51 52 53 55 57 58 59 61 63 65 66 68 73 74 75 78 83 86 95 96 99 103 105 106 110 111 120 121 124 125 127 129 130 137 146 148
a 4 6 7 9 16 18 22 25 35 37 38 39 43 44 45 47 48 51 52 53 55 57 58 59 63 65 66 68 73 74 75 78 83 86 95 96 99 103 105 106 107 110 111 120 121 124 125 127 129 130 137 146 148
a 4 6 7 9 16 19 22 25 35 37 38 39 43 44 45 47 48 51 52 53 55 57 58 59 63 65 66 68 73 74 75 78 83 86 95 96 99 103 105 106 107 110 111 120 121 124 125 127 129 130 137 146 148
a 4 6 7 9 19 22 25 35 37 38 39 43 44 45 47 48 51 52 53 55 57 58 59 63 65 66 68 73 74 75 78 83 86 95 96 99 103 105 106 107 110 111 120 121 124 125 127 129 130 137 146 148 152
a 4 6 7 9 19 22 25 35 37 39 43 44 45 47 48 51 52 53 55 57 58 59 63 65 66 68 73 74 75 78 83 86 95 96 99 103 105 106 107 110 111 120 121 124 125 127 129 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 51 52 53 55 57 58 59 63 65 66 68 73 74 75 78 83 86 95 96 99 103 105 106 107 110 111 120 121 124 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 73 74 75 78 83 86 95 96 99 103 105 106 107 110 111 120 121 124 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 73 74 75 78 83 86 91 95 96 99 103 105 107 110 111 120 121 124 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 73 74 75 78 83 86 91 95 96 99 103 105 107 110 111 121 122 124 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 78 86 91 95 96 99 103 105 107 110 111 121 122 124 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 78 86 91 94 95 96 99 103 105 107 110 111 121 122 125 127 130 137 141 146 148 152
c Step: 290
#END: [Tue Sep  5 07:53:49 2023]