#BEGIN: [Tue Sep  5 01:24:24 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance014_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance014_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance014_graph005.col /benchmark/random_instance/random_instance014_graph005_01.dat
c /benchmark/random_instance/random_instance014_graph005.col
c /benchmark/random_instance/random_instance014_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID c4152c334fc995557ccbcde42b0b9fda4e2512e63dea15ea61cf7a47deecf6f0
s 111 110 75 92 137 69 167 171 53 117 142 22 101 38 72 135 27 123 49 147 79 106 150 7 133 178 52 145 177 25 91 66 2 45 73 154 63 98 136 120 175 124 169 37 121 43 116 181 115 90 20 130 88 89 81 12 113
t 179 158 25 93 86 122 22 49 104 169 147 80 47 112 52 107 21 131 99 32 140 10 105 141 149 76 117 91 74 50 30 90 83 150 73 61 60 159 123 88 11 115 14 125 151 43 48 164 110 98 177 146 57 124 38 154 168
a YES
a 2 7 12 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181
a 2 7 12 20 22 25 27 37 38 43 45 47 49 52 53 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181
a 2 5 7 12 20 22 25 27 37 38 43 45 47 49 52 53 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 171 175 177 178 181
a 2 5 7 12 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 171 175 177 178 181
a 2 5 7 12 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 134 135 136 137 142 145 147 150 154 167 175 177 178 181
a 2 5 7 12 17 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 134 135 136 142 145 147 150 154 167 175 177 178 181
a 2 7 12 17 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 134 135 136 142 145 147 150 154 167 169 175 177 178 181
a 2 7 12 17 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 134 135 136 145 147 150 154 167 169 175 177 178 179 181
a 2 7 12 17 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 110 111 113 115 116 117 120 121 123 124 130 133 134 135 136 145 147 150 154 167 169 172 175 177 178 179 181
a 2 7 12 17 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 110 111 113 115 116 117 120 121 124 130 133 134 135 136 145 147 150 153 154 167 169 172 175 177 178 179 181
a 2 7 12 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 110 111 113 115 116 117 120 121 124 130 133 134 135 136 137 145 147 150 153 154 167 169 172 175 177 178 179 181
a 2 7 12 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 167 169 172 175 177 178 179 181
a 2 7 12 20 22 25 27 37 38 45 49 52 53 63 66 67 69 72 73 75 79 81 88 89 90 91 92 98 101 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 167 169 172 175 177 178 179 181
a 2 12 20 22 25 27 37 38 45 49 52 53 63 66 67 69 72 73 75 79 81 88 89 90 91 92 98 101 103 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 167 169 172 175 177 178 179 181
a 2 20 22 25 27 37 38 45 49 52 53 63 66 67 69 72 73 75 79 81 88 89 90 91 92 98 101 103 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 167 169 172 175 177 178 179 181 182
a 2 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 103 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 167 169 172 175 177 178 179 181 182
a 2 3 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 103 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 167 169 172 175 177 178 179 182
a 2 3 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 167 169 172 175 177 178 179 181 182
a 2 3 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 110 111 113 115 116 117 120 121 124 130 133 134 136 137 142 145 147 150 153 154 164 167 169 172 175 177 178 181 182
a 2 3 17 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 110 111 113 115 116 117 120 121 124 130 133 134 136 142 145 147 150 153 154 164 167 169 172 175 177 178 181 182
a 2 3 17 20 22 25 27 37 38 43 45 49 52 53 59 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 110 111 113 115 116 117 120 121 124 130 133 134 136 145 147 150 153 154 164 167 169 172 175 177 178 181 182
a 2 3 17 20 22 25 27 37 38 43 45 47 49 52 53 59 66 69 72 73 75 79 81 88 89 90 91 92 98 101 110 111 113 115 116 117 120 121 124 130 133 134 136 145 147 150 153 154 164 167 169 172 175 177 178 181 182
a 2 3 17 20 22 25 27 37 38 43 45 47 49 52 53 59 66 69 72 73 75 79 81 88 89 90 91 92 98 110 111 113 115 116 117 120 121 124 130 133 134 136 145 147 150 153 154 164 166 167 169 172 175 177 178 181 182
a 2 3 17 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 72 73 75 79 81 88 89 90 91 92 98 110 111 113 115 116 117 120 121 124 130 133 134 136 145 147 150 153 154 164 166 167 169 172 175 177 178 181 182
a 2 3 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 72 73 75 79 81 88 89 90 91 92 98 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 166 167 169 172 175 177 178 181 182
a 2 3 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 72 73 75 79 81 88 89 90 91 92 98 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 166 167 169 172 175 177 178 182
a 2 3 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 72 73 75 79 81 89 90 91 92 95 98 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 166 167 169 172 175 177 178 182
a 2 3 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 72 73 79 81 89 90 91 92 95 98 107 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 166 167 169 172 175 177 178 182
a 2 3 11 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 72 73 81 89 90 91 92 95 98 107 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 166 167 169 172 175 177 178 182
a 2 3 7 11 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 72 73 81 89 90 91 92 95 98 107 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 166 167 169 172 175 177 178
a 2 3 7 11 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 72 73 75 81 89 90 91 92 95 98 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 166 167 169 172 175 177 178
a 2 3 7 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 72 73 75 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 166 167 169 172 175 177 178
a 2 3 7 12 20 22 25 27 37 38 47 49 52 53 59 66 67 69 72 73 75 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 153 154 164 166 167 169 172 175 177 178 181
a 2 3 7 12 20 22 25 27 37 38 47 49 52 53 59 66 67 69 72 73 75 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 121 124 130 133 134 136 137 145 147 150 154 164 166 167 169 172 175 177 178 181 182
a 2 7 12 20 22 25 27 37 38 47 49 52 53 59 66 67 69 72 73 75 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 121 123 124 130 133 134 136 137 145 147 150 154 164 166 167 169 172 175 177 178 181 182
a 2 7 12 17 20 22 25 27 37 38 47 49 52 53 59 66 67 69 72 73 75 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 121 123 124 130 133 134 136 145 147 150 154 164 166 167 169 172 175 177 178 181 182
a 2 7 12 17 20 22 25 27 37 38 49 52 53 59 63 66 67 69 72 73 75 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 121 123 124 130 133 134 136 145 147 150 154 164 166 167 169 172 175 177 178 181 182
a 2 7 12 17 20 22 25 27 37 38 49 52 53 59 63 66 67 69 71 72 73 75 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 134 136 145 147 150 154 164 166 167 169 172 175 177 178 181 182
a 7 12 17 20 22 25 27 37 38 45 49 52 53 59 63 66 67 69 71 72 73 75 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 134 136 145 147 150 154 164 166 167 169 172 175 177 178 181 182
a 7 12 17 20 22 25 27 37 38 45 49 52 53 59 63 66 67 69 71 72 73 75 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 136 145 147 150 154 164 166 167 169 171 172 175 177 178 181 182
a 7 12 17 20 22 25 27 37 38 45 49 52 53 59 63 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 136 145 147 150 154 164 166 167 169 171 172 175 177 178 182
a 7 12 17 20 22 25 27 37 38 45 49 52 53 59 63 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 134 136 145 147 150 154 164 166 167 169 172 175 177 178 182
a 7 12 17 19 20 22 25 27 37 38 45 49 52 53 59 63 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 134 136 145 147 150 154 164 166 167 169 172 175 178 182
a 7 12 17 19 20 22 25 27 37 45 49 52 53 59 63 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 134 136 145 147 150 154 159 164 166 167 169 172 175 178 182
a 7 12 17 19 20 22 25 27 37 45 49 52 53 59 63 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 136 145 147 150 154 159 164 166 167 169 171 172 175 178 182
a 7 12 17 19 20 22 25 27 37 45 47 49 52 53 59 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 136 145 147 150 154 159 164 166 167 169 171 172 175 178 182
a 7 12 19 20 22 25 27 37 45 47 49 52 53 59 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 136 137 145 147 150 154 159 164 166 167 169 171 172 175 178 182
a 7 12 19 20 22 25 27 45 47 49 52 53 59 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 136 137 145 147 150 154 159 164 166 167 169 171 172 175 178 181 182
a 7 12 19 20 22 25 27 45 47 49 50 52 53 59 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 137 145 147 150 154 159 164 166 167 169 171 172 175 178 181 182
a 2 7 12 19 20 22 25 27 45 47 49 50 52 53 59 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 137 145 147 150 154 159 164 166 167 169 171 172 175 178 181
a 2 12 19 20 22 25 27 38 45 47 49 50 52 53 59 66 67 69 71 72 73 75 79 81 89 90 91 92 95 98 103 110 111 113 115 116 117 120 123 124 130 133 137 145 147 150 154 159 164 166 167 169 171 172 175 178 181
a 2 12 19 20 22 25 27 38 45 47 49 50 52 53 59 66 67 69 71 72 73 75 79 80 81 89 90 91 92 98 103 110 111 113 115 116 117 120 123 124 130 133 137 145 147 150 154 159 164 166 167 169 171 172 175 178 181
a 2 12 19 20 22 25 27 37 38 45 47 49 50 52 53 59 66 67 69 71 72 73 75 79 80 81 89 90 91 92 98 103 110 111 113 115 116 117 120 123 124 130 133 137 145 147 150 154 159 164 166 167 169 171 172 175 178
a 2 12 19 20 22 25 27 37 38 45 47 49 50 52 53 59 66 67 69 71 72 73 75 79 80 81 89 90 91 92 98 103 110 111 113 115 116 117 120 123 124 130 133 135 137 145 147 150 154 159 166 167 169 171 172 175 178
a 2 12 19 20 22 25 27 37 45 47 49 50 52 53 59 66 67 69 71 72 73 75 79 80 81 89 90 91 92 98 103 110 111 113 115 116 117 120 123 124 130 133 135 137 145 147 150 154 159 166 167 169 171 172 175 178 182
a 2 12 19 20 22 25 27 37 45 47 49 50 52 53 59 66 67 69 71 72 73 75 79 80 81 89 90 91 92 98 103 110 111 113 115 116 117 120 123 124 130 133 135 137 145 147 150 154 159 167 169 171 172 175 178 179 182
a 2 12 19 20 22 25 27 37 38 45 47 49 50 52 53 59 66 67 69 71 72 73 75 79 80 81 89 90 91 92 98 103 110 111 113 115 116 117 120 123 124 130 133 135 137 145 147 150 154 159 167 169 171 172 175 178 179
a 2 12 19 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 89 90 91 92 98 103 110 111 113 115 116 117 120 123 124 130 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 179
a 2 12 19 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 89 90 91 92 98 103 110 111 113 115 116 117 120 123 124 130 133 135 136 137 145 147 150 154 159 167 169 171 172 175 179 181
a 2 12 19 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 103 110 111 113 115 116 117 120 123 124 130 133 135 136 137 145 147 150 154 159 167 169 171 172 175 181
a 2 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 103 110 111 113 115 116 117 120 123 124 130 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 181
a 2 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 102 103 110 111 113 115 116 120 123 124 130 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 181
a 2 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 102 103 110 111 113 115 116 120 123 124 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 181 182
a 12 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 102 103 110 111 113 115 116 120 123 124 130 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 181 182
a 12 19 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 102 103 110 111 113 115 116 120 123 124 130 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 182
a 2 12 19 20 22 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 102 103 110 111 113 115 116 120 123 124 130 133 135 136 137 145 147 150 154 167 169 171 172 175 178 182
a 2 12 19 20 22 25 27 31 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 90 91 92 98 102 103 110 111 113 115 116 120 123 124 130 133 135 136 137 145 147 150 154 167 169 171 172 175 178 182
a 12 19 20 22 25 27 31 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 90 91 92 98 102 103 110 111 113 115 116 120 123 124 130 132 133 135 136 137 145 147 150 154 167 169 171 172 175 178 182
a 12 19 20 22 25 31 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 90 91 92 98 102 103 110 111 113 115 116 120 123 124 130 132 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 182
a 12 20 22 25 31 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 90 91 92 98 101 102 103 110 111 113 115 116 120 123 124 130 132 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 182
a 12 22 25 31 37 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 90 91 92 98 101 102 103 110 111 113 115 116 120 123 124 130 132 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 182
a 12 22 25 31 37 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 90 91 92 98 101 103 110 111 113 115 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 182
a 12 22 25 31 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 90 91 92 98 101 103 110 111 113 115 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 179 182
a 12 22 25 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 115 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 179 182
a 12 20 22 25 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 115 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 159 167 169 171 172 175 178 179 182
a 12 20 22 25 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 172 175 178 179 182
a 12 20 22 25 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 115 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 172 175 178 179 182
a 12 20 22 25 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 172 175 178 179
a 12 20 22 25 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 175 178 179
a 12 20 25 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 175 178 179 182
a 12 20 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 175 178 182
a 12 25 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 175 178 179 182
a 12 25 27 37 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 175 178 179 182
a 12 25 37 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 175 178 179 182
a 12 25 37 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 114 115 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 159 167 169 171 175 178 179 182
a 12 25 27 37 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 110 111 113 114 115 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 167 169 171 175 178 179 182
a 12 25 27 37 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 167 169 171 175 178 179
a 12 19 27 37 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 167 169 171 175 178 179
a 12 19 25 27 37 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 130 132 135 136 137 145 147 150 154 167 169 171 175 178 179
a 12 19 25 27 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 99 101 103 106 110 111 113 114 115 116 117 120 123 124 130 132 135 136 137 145 147 150 154 167 169 171 175 178 179
a 12 19 25 27 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 92 98 99 101 103 106 110 111 113 114 115 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 167 169 171 175 178 179
a 12 19 25 27 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 92 98 99 101 103 110 111 113 114 115 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 167 169 171 175 178 179 182
a 12 19 22 25 27 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 92 98 99 101 103 110 111 113 114 115 116 117 120 123 124 130 132 133 135 137 145 147 150 154 167 169 171 175 178 179 182
a 12 19 22 25 27 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 99 101 103 110 111 113 114 115 117 120 123 124 130 132 133 135 137 145 147 150 154 167 169 171 175 178 179 182
a 12 19 22 25 27 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 99 101 103 110 111 113 114 115 117 120 123 124 130 132 133 134 135 137 145 147 150 154 167 169 175 178 179 182
a 12 19 22 25 27 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 99 101 103 106 110 111 113 114 115 117 120 123 124 130 132 133 134 135 137 145 147 150 154 167 169 175 178 179
a 12 19 22 27 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 87 88 89 90 91 92 98 99 101 103 106 110 111 113 114 115 117 120 123 124 130 132 133 134 135 137 145 147 150 154 167 169 175 178 179
a 12 19 22 27 37 38 45 47 49 52 53 54 59 66 67 69 71 72 73 75 79 80 81 87 88 89 90 91 92 98 101 103 106 110 111 113 114 115 117 120 123 124 130 132 133 134 135 137 145 147 150 154 167 169 175 178 179
a 12 19 20 22 27 37 38 45 47 49 52 53 59 66 67 69 71 72 73 75 79 80 81 87 88 89 90 91 92 98 101 103 106 110 111 113 114 115 117 120 123 124 130 132 133 134 135 137 145 147 150 154 167 169 175 178 179
a 12 19 20 22 27 37 38 45 47 49 51 52 53 59 66 67 69 71 72 73 75 79 80 81 87 88 89 90 91 92 98 101 103 106 110 111 113 114 117 120 123 124 130 132 133 134 135 137 145 147 150 154 167 169 175 178 179
a 19 20 22 27 37 38 45 47 49 51 52 53 59 66 67 69 71 72 73 75 79 80 81 87 88 89 90 91 92 98 101 103 106 110 111 113 114 117 120 123 124 130 132 133 134 135 137 145 147 150 154 159 167 169 175 178 179
a 19 20 22 27 37 38 45 47 49 51 52 53 59 60 66 67 69 71 72 73 75 79 80 81 87 88 89 90 91 92 98 101 103 106 110 113 114 117 120 123 124 130 132 133 134 135 137 145 147 150 154 159 167 169 175 178 179
a 19 20 22 27 37 38 45 47 49 51 52 53 59 60 66 67 69 71 72 73 75 79 80 81 87 88 89 90 91 92 98 101 103 106 110 113 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 175 178 179
a 19 20 22 27 37 38 45 47 49 51 52 53 59 60 66 67 69 71 72 75 79 80 81 87 88 89 90 91 92 98 101 103 106 110 113 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 175 178 179
a 19 20 22 27 37 38 45 47 49 51 52 53 59 60 66 67 69 71 72 73 75 79 80 81 87 88 89 90 91 92 98 101 103 106 110 113 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 167 169 175 178
a 19 20 22 27 37 38 45 47 49 51 52 53 59 60 66 67 69 71 72 73 75 79 80 81 87 88 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 159 167 169 175 178
a 19 20 22 27 37 38 45 47 49 51 52 53 59 60 66 67 69 71 72 73 75 79 80 81 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 130 132 133 135 136 137 145 147 150 154 159 160 167 169 175 178
a 20 22 27 37 38 45 47 49 51 52 53 59 60 66 67 69 71 72 73 75 79 80 81 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 160 167 169 175 178
a 20 22 27 37 38 45 47 49 51 52 53 58 59 60 66 67 69 71 72 73 75 79 80 81 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 160 169 175 178
a 20 22 27 37 38 43 45 47 49 51 52 53 58 59 60 66 69 71 72 73 75 79 80 81 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 160 169 175 178
a 22 27 37 38 43 45 47 49 51 52 53 58 59 60 66 69 71 72 73 75 79 80 81 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 160 167 169 175 178
a 22 27 37 38 43 45 47 49 51 53 58 59 60 66 69 71 72 73 75 79 80 81 84 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 160 167 169 175 178
a 22 27 37 38 43 45 47 49 51 53 58 59 60 66 69 71 72 73 75 79 80 81 84 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 160 167 169 175 177
a 22 27 37 38 43 45 47 49 51 53 58 59 60 66 69 71 72 73 79 80 81 84 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 159 160 167 169 175 177 179
a 22 27 37 38 43 45 47 49 51 53 58 59 60 66 69 71 72 73 79 80 81 84 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 127 130 132 133 134 135 136 137 145 147 150 154 159 160 167 169 175 177
a 22 27 37 38 43 45 47 49 51 53 58 59 60 69 71 72 73 79 80 81 84 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 127 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 177
a 22 27 37 38 43 45 47 49 51 53 58 59 60 69 71 72 73 79 80 81 84 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 127 130 132 133 134 135 136 137 145 147 150 154 159 165 167 169 175 177 178
a 22 27 37 38 43 45 47 49 51 53 58 59 60 69 71 72 73 79 80 81 84 87 89 90 91 92 98 101 103 106 110 113 114 116 117 120 123 124 127 130 132 133 134 135 136 137 145 147 150 154 159 165 167 175 177 178 179
a 22 27 37 38 43 45 47 49 51 53 58 59 60 69 71 72 73 79 80 81 84 87 89 91 92 98 101 103 106 110 113 114 116 117 120 123 124 127 130 132 133 134 135 136 137 145 147 150 154 159 165 167 169 175 177 178 179
a 22 27 37 38 43 45 47 49 51 53 58 59 60 69 71 72 73 80 81 84 87 89 91 92 98 101 103 106 110 113 114 116 117 120 123 124 127 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 177 178 179
a 12 22 27 37 38 43 45 47 49 51 53 58 59 60 69 71 72 73 80 81 84 87 89 91 92 98 101 103 106 110 113 114 116 117 120 123 124 127 130 132 133 134 135 136 137 145 150 154 159 160 165 167 169 175 177 178 179
a 12 22 27 37 38 43 45 47 49 51 53 58 59 60 69 71 72 73 80 81 84 87 89 91 92 98 101 103 106 110 113 114 116 117 120 123 124 127 130 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 177 178 179
a 12 22 27 37 38 43 45 47 49 51 53 58 59 60 69 71 72 73 80 81 84 87 89 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 130 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 177 178 179
a 12 22 27 37 38 43 45 47 49 51 58 59 60 69 71 72 73 80 81 84 87 89 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 129 130 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 177 178 179
a 12 22 27 37 38 43 45 47 49 51 59 60 69 71 72 73 80 81 84 87 89 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 129 130 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 177 178 179 181
a 12 22 27 37 38 43 45 47 49 51 53 59 60 69 71 72 73 80 81 84 87 89 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 130 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 177 178 179 181
a 12 22 27 37 38 43 45 47 49 51 53 59 60 69 71 72 73 80 81 84 87 89 90 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 130 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 177 178 181
a 12 22 27 37 38 43 45 47 49 51 53 59 60 69 71 72 73 79 80 81 84 87 89 90 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 130 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 178 181
a 12 22 27 37 38 43 45 47 49 51 59 60 69 71 72 73 79 80 81 84 87 89 90 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 178 181
a 12 20 22 27 37 38 43 45 47 49 51 59 60 69 71 72 73 79 80 81 84 87 89 90 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 178 181
a 12 20 22 27 37 38 42 43 45 47 49 51 59 69 71 72 73 79 80 81 84 87 89 90 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 178 181
a 12 20 22 27 37 38 42 43 45 47 49 51 59 69 71 72 79 80 81 84 87 89 90 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 178 181
a 12 20 22 27 37 38 42 43 45 47 49 51 59 69 71 72 79 80 81 84 89 90 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 178 181
a 12 20 27 37 38 42 43 45 47 49 51 59 69 71 72 79 80 81 84 87 89 90 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 178 181
a 12 20 27 37 38 42 43 45 47 49 51 59 69 71 72 73 79 80 81 87 89 90 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 178 181
a 20 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 89 90 91 92 94 98 101 103 106 110 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 178 181
a 20 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 87 89 90 91 92 94 98 101 103 106 107 110 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 150 154 159 160 165 167 169 175 178 181
a 20 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 87 88 89 90 91 92 94 98 101 103 106 107 110 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 150 154 159 165 167 169 175 178 181
a 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 150 154 159 165 167 169 175 178 181
a 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 150 154 159 165 167 169 175 181
a 12 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 129 130 132 133 134 135 136 137 145 147 150 154 159 165 167 169 175 181
a 12 27 37 38 42 43 45 47 49 51 52 59 69 71 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 129 130 132 133 134 135 136 137 145 147 150 154 159 165 167 169 175 178 181
a 12 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 129 132 133 134 135 136 137 145 147 150 154 159 165 167 169 175 178 181
a 12 27 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 129 130 132 133 134 135 136 137 145 147 150 154 159 165 167 169 175 178 181
a 27 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 129 130 132 133 134 135 136 137 145 147 148 150 154 159 165 167 169 175 178 181
a 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 107 110 111 113 116 117 120 123 124 129 130 132 133 134 135 136 137 145 147 148 150 154 159 165 167 169 175 178 181
a 27 37 38 42 43 45 47 49 51 52 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 129 130 132 133 134 135 136 137 145 147 148 150 154 159 165 167 169 175 178 181
a 27 37 38 42 43 45 47 49 51 52 69 71 72 73 79 80 81 87 88 89 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 148 150 154 159 165 167 169 175 178 181
a 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 148 150 154 159 165 167 169 175 181
a 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 88 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 148 150 154 159 165 167 169 175 181
a 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 148 150 154 159 165 167 169 181
a 27 37 38 42 43 45 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 136 137 145 147 148 150 154 159 165 167 169 178 181
a 27 37 38 42 43 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 148 150 154 159 165 167 169 178 181
a 27 38 42 43 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 148 150 154 159 165 167 169 175 178 181
a 20 38 42 43 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 136 137 145 147 148 150 154 159 165 167 169 175 178 181
a 20 37 38 42 43 47 49 51 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 136 137 145 147 148 150 154 159 165 167 169 175 178 181
a 19 20 37 38 42 43 47 49 51 52 59 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 136 137 145 147 148 150 154 159 165 167 169 175 178 181
a 19 20 37 38 42 43 47 49 50 51 52 59 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 137 145 147 148 150 154 159 165 167 169 175 178 181
a 19 20 37 38 42 43 47 49 50 51 52 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 137 145 147 148 150 154 159 165 167 169 175 178 181
a 19 20 37 38 42 43 47 49 50 51 52 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 137 145 147 148 150 154 159 165 167 169 175 181
a 19 20 37 38 42 43 45 47 49 50 51 52 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 117 120 123 124 127 129 130 132 133 134 135 137 145 147 148 150 154 159 165 167 169 175 181
a 19 20 37 38 42 45 47 49 50 51 52 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 116 117 120 123 124 127 129 130 132 133 134 135 137 145 147 148 150 154 159 165 167 169 175 181
a 19 20 37 38 42 45 47 49 50 52 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 115 116 117 120 123 124 127 129 130 132 133 134 135 137 145 147 148 150 154 159 165 167 169 175 181
a 19 20 27 37 38 42 45 47 49 50 52 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 115 116 117 120 123 124 127 129 130 132 133 134 135 137 145 147 148 150 154 159 165 167 169 175
a 19 20 27 37 38 42 45 47 50 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 115 116 117 120 123 124 127 129 130 132 133 134 135 137 145 147 148 150 154 159 165 167 169 175
a 19 20 27 37 38 42 45 47 50 52 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 115 116 117 120 123 124 127 129 130 132 133 135 137 145 147 148 150 154 159 165 167 169 175 181
a 19 20 27 37 38 42 45 47 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 103 106 107 110 111 113 115 116 117 120 123 124 127 129 130 132 133 135 137 145 147 148 150 154 159 165 167 175 181
a 19 20 27 37 38 42 45 47 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 132 133 135 137 145 147 148 150 154 159 165 167 175 181
a 19 20 27 37 42 45 47 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 132 133 134 135 137 145 147 148 150 154 159 165 167 175 181
a 19 20 27 35 37 42 45 47 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 165 167 175 181
a 19 20 27 35 37 45 47 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 165 167 169 175 181
a 19 20 27 35 37 42 45 47 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 133 134 135 145 147 148 150 154 159 165 167 169 175 181
a 20 27 35 37 42 45 47 49 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 133 134 135 145 147 148 150 154 159 165 167 169 175 181
a 20 27 35 37 42 43 45 47 49 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 133 134 135 145 147 148 150 154 159 165 167 169 175
a 20 27 35 37 43 45 47 49 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 133 134 135 145 147 148 150 154 159 165 167 169 175 181
a 20 27 35 37 42 43 45 47 49 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 133 134 135 145 147 148 150 154 159 165 167 169 181
a 20 27 35 42 43 45 47 49 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 165 167 169 181
a 27 35 42 43 45 47 49 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 99 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 165 167 169 181
a 27 35 43 45 47 49 50 52 55 59 69 71 72 73 79 80 81 87 88 89 90 91 92 94 98 99 101 102 103 106 107 110 111 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 165 167 169 179 181
a 27 35 43 45 47 49 50 52 55 59 69 71 72 73 79 80 81 87 88 90 91 92 94 98 99 101 102 103 106 107 110 111 112 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 165 167 169 179 181
a 27 35 43 45 47 49 50 52 55 69 71 72 73 79 80 81 87 88 90 91 92 94 98 99 101 102 103 106 107 110 111 112 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 165 167 169 177 179 181
a 27 35 43 45 47 49 50 52 55 60 69 71 72 73 79 80 81 87 88 90 91 92 94 98 99 101 102 103 106 107 110 112 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 165 167 169 177 179 181
a 27 35 43 45 47 49 50 52 55 60 69 72 73 76 79 80 81 87 88 90 91 92 94 98 99 101 102 103 106 107 110 112 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 165 167 169 177 179 181
a 27 30 35 43 45 47 49 50 52 55 60 72 73 76 79 80 81 87 88 90 91 92 94 98 99 101 102 103 106 107 110 112 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 165 167 169 177 179 181
a 27 30 35 38 43 45 47 49 50 52 55 60 72 73 76 79 80 81 87 88 90 91 92 94 98 99 101 102 103 106 107 110 112 113 115 116 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 167 169 177 179 181
a 27 30 35 38 43 45 47 49 50 52 55 60 72 73 76 79 80 81 87 88 90 91 92 94 98 99 101 103 106 107 110 112 113 115 116 117 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 167 169 177 179 181
a 27 30 35 38 43 45 47 49 50 52 55 60 72 73 76 79 80 81 87 88 90 91 94 98 99 101 103 104 106 107 110 112 113 115 116 117 120 123 124 127 129 130 133 134 135 137 145 147 148 150 154 159 167 169 177 179 181
a 27 30 35 38 43 45 47 49 50 52 55 60 72 73 74 76 79 80 81 87 88 90 91 94 98 99 101 103 104 106 107 110 112 113 115 116 117 120 123 124 127 129 130 133 134 135 145 147 148 150 154 159 167 169 177 179 181
a 27 30 35 38 43 45 47 49 50 52 55 60 72 73 74 76 79 80 81 87 88 90 91 94 98 99 101 103 104 106 107 110 112 113 115 116 117 123 124 127 129 130 133 134 135 145 146 147 148 150 154 159 167 169 177 179 181
a 27 30 35 38 43 45 47 49 50 52 55 60 73 74 76 79 80 81 87 88 90 91 94 98 99 101 103 104 106 107 110 112 113 115 116 117 123 124 127 129 130 131 133 134 135 145 146 147 148 150 154 159 167 169 177 179 181
a 27 30 35 38 43 45 47 49 50 52 55 60 73 74 76 79 80 81 87 88 90 91 94 98 99 101 103 104 106 107 110 112 113 115 116 117 123 124 127 129 130 131 133 134 135 145 146 147 148 150 154 158 159 169 177 179 181
a 27 30 35 38 43 45 47 49 50 52 55 60 73 74 76 79 80 81 83 87 88 90 91 94 98 99 101 103 104 106 107 110 112 113 115 116 117 123 124 127 129 130 131 134 135 145 146 147 148 150 154 158 159 169 177 179 181
a 14 27 30 35 38 43 45 47 49 50 52 55 60 73 74 76 79 80 81 83 87 88 90 91 94 98 99 101 103 104 106 107 110 112 113 115 116 117 123 124 127 129 130 131 135 145 146 147 148 150 154 158 159 169 177 179 181
a 14 30 35 38 43 45 47 49 50 52 55 60 73 74 76 79 80 81 83 87 88 90 91 94 98 99 101 103 104 106 107 110 112 113 115 116 117 123 124 127 129 130 131 135 145 146 147 148 150 151 154 158 159 169 177 179 181
a 14 30 35 38 43 45 47 48 49 50 52 55 60 73 74 76 79 80 81 83 87 88 90 91 98 99 101 103 104 106 107 110 112 113 115 116 117 123 124 127 129 130 131 135 145 146 147 148 150 151 154 158 159 169 177 179 181
a 10 14 30 35 38 43 45 47 48 49 50 52 55 60 73 74 76 79 80 81 83 87 88 90 91 98 99 101 104 106 107 110 112 113 115 116 117 123 124 127 129 130 131 135 145 146 147 148 150 151 154 158 159 169 177 179 181
a 10 14 30 38 43 45 47 48 49 50 52 55 60 73 74 76 79 80 81 83 87 88 90 91 98 99 101 104 106 107 110 112 113 115 116 117 123 124 127 129 130 131 135 145 146 147 148 149 150 151 154 158 159 169 177 179 181
a 10 14 30 38 43 45 47 48 49 50 52 55 60 61 73 74 76 79 80 81 83 87 88 90 91 98 99 101 104 106 107 110 112 113 115 116 117 123 124 127 130 131 135 145 146 147 148 149 150 151 154 158 159 169 177 179 181
a 10 14 30 38 43 45 47 48 49 50 52 55 60 61 73 74 76 79 80 81 83 87 88 90 91 98 99 101 104 106 107 110 112 113 115 116 117 123 124 125 127 130 131 135 145 146 147 148 149 150 151 154 158 159 169 177 179
a 10 14 30 32 38 43 45 47 48 49 50 52 55 60 61 73 74 76 79 80 81 83 87 88 90 91 98 99 101 104 106 107 110 112 113 115 116 117 123 124 125 127 130 131 135 145 146 147 149 150 151 154 158 159 169 177 179
a 10 14 25 30 32 38 43 45 47 48 49 50 52 55 60 61 73 74 76 79 80 81 83 88 90 91 98 99 101 104 106 107 110 112 113 115 116 117 123 124 125 127 130 131 135 145 146 147 149 150 151 154 158 159 169 177 179
a 10 14 22 25 30 32 38 43 45 47 48 49 50 52 60 61 73 74 76 79 80 81 83 88 90 91 98 99 101 104 106 107 110 112 113 115 116 117 123 124 125 127 130 131 135 145 146 147 149 150 151 154 158 159 169 177 179
a 10 14 22 25 30 32 38 43 47 48 49 50 52 60 61 73 74 76 79 80 81 83 88 90 91 98 99 101 104 105 106 107 110 112 113 115 116 117 123 124 125 127 130 131 135 145 146 147 149 150 151 154 158 159 169 177 179
a 10 14 22 25 30 32 38 43 47 48 49 50 52 60 61 73 74 76 79 80 81 83 88 90 91 98 99 101 104 105 106 107 110 112 113 115 116 117 123 124 125 127 130 131 135 141 146 147 149 150 151 154 158 159 169 177 179
a 10 14 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 79 80 83 88 90 91 98 99 101 104 105 106 107 110 112 113 115 116 117 123 124 125 127 130 131 135 141 146 147 149 150 151 154 158 159 169 177 179
a 10 14 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 79 80 83 88 90 91 98 99 101 104 105 106 107 110 112 113 115 117 122 123 124 125 127 130 131 135 141 146 147 149 150 151 154 158 159 169 177 179
a 10 11 14 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 88 90 91 98 99 101 104 105 106 107 110 112 113 115 117 122 123 124 125 127 130 131 135 141 146 147 149 150 151 154 158 159 169 177 179
a 10 11 14 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 98 99 104 105 106 107 110 112 113 115 117 122 123 124 125 127 130 131 135 141 146 147 149 150 151 154 158 159 169 177 179
a 10 11 14 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 98 99 104 105 106 107 110 112 115 117 122 123 124 125 127 130 131 135 141 146 147 149 150 151 154 158 159 168 169 177 179
a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 98 99 104 105 107 110 112 115 117 122 123 124 125 127 130 131 135 141 146 147 149 150 151 154 158 159 168 169 177 179
a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 98 99 104 105 107 110 112 115 117 122 123 124 125 127 131 135 140 141 146 147 149 150 151 154 158 159 168 169 177 179
a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 98 99 104 105 107 110 112 115 117 122 123 124 125 127 131 140 141 146 147 149 150 151 154 158 159 164 168 169 177 179
a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 93 98 99 104 105 107 110 112 115 117 122 123 124 125 131 140 141 146 147 149 150 151 154 158 159 164 168 169 177 179
c Step: 212
#END: [Tue Sep  5 01:54:25 2023]