#BEGIN: [Mon Sep  4 22:19:28 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance016_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance016_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance016_graph003.col /benchmark/random_instance/random_instance016_graph003_01.dat
c /benchmark/random_instance/random_instance016_graph003.col
c /benchmark/random_instance/random_instance016_graph003_01.dat
s 142 70 149 197 26 2 131 124 42 30 165 15 64 161 198 203 1 41 125 80 101 47 207 65 119 32 194 202 192 69 55 133 6 31 73 66 162 57 76 63 188 180 163 181 24 54 28 150 96 138 200 29 45 83 4 113 137 156 93 114 199 183 52 72 187 172 12
t 183 38 42 22 171 14 71 105 70 54 34 122 157 72 11 61 178 91 138 139 174 193 100 50 35 48 93 78 137 150 181 172 6 189 39 81 19 64 160 124 114 4 56 148 98 55 96 74 92 115 200 125 68 202 12 10 94 51 165 156 192 207 104 198 24 182 5
a YES
a 1 2 4 6 12 15 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 66 69 70 72 73 76 80 83 93 96 101 113 114 119 124 125 131 133 137 138 142 149 150 156 161 162 163 165 172 180 181 183 187 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 66 69 70 72 73 76 80 83 91 93 96 101 113 114 119 124 125 131 133 137 138 142 149 150 156 161 162 163 165 172 180 181 183 187 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 66 69 72 73 76 80 83 91 93 96 101 113 114 119 124 125 131 133 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 187 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 66 69 72 73 76 80 83 91 93 96 101 113 114 119 123 124 125 131 133 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 187 188 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 66 69 72 73 76 80 83 91 93 96 101 113 114 119 123 124 125 131 133 137 138 142 149 150 156 161 162 163 165 172 180 181 183 187 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 69 72 73 76 80 83 91 93 96 101 113 114 119 123 124 125 131 133 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 187 188 192 194 197 198 199 200 202 203 207
a 2 4 6 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 66 69 72 73 76 80 83 91 93 96 101 113 114 119 123 124 125 131 133 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 187 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 66 69 72 73 76 80 83 91 93 96 101 113 114 119 123 124 125 131 133 137 138 142 149 150 156 161 163 165 168 172 180 181 183 187 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 66 69 72 73 76 80 83 91 93 96 101 113 114 119 123 124 125 131 133 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 187 188 192 194 197 198 199 200 202 203
a 1 2 4 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 66 69 72 73 76 80 83 91 93 96 101 113 114 119 123 124 125 131 133 137 138 142 149 150 151 156 161 162 163 165 168 172 180 181 183 187 188 192 194 197 198 199 200 202 203
a 1 2 4 12 24 26 28 29 30 32 41 42 45 47 52 54 55 57 63 64 65 66 69 72 73 76 80 83 91 93 96 101 113 114 119 123 124 125 131 133 137 138 142 149 150 151 156 161 162 163 165 168 172 180 181 183 187 188 192 194 197 198 199 200 202 203 207
a 1 2 4 12 24 26 28 29 30 32 41 42 45 47 52 54 55 57 63 64 65 66 69 72 73 76 80 83 91 93 96 101 113 114 119 123 124 125 131 133 136 137 138 142 149 150 151 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 69 72 73 76 80 83 91 93 96 101 113 114 119 123 124 125 131 133 136 137 138 142 149 150 151 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 69 72 73 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 151 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 69 72 73 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 31 32 41 42 45 47 52 54 55 57 63 64 69 72 73 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 31 32 41 42 45 47 52 54 55 57 63 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 31 32 41 42 45 47 52 54 55 57 63 64 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 131 133 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 31 32 41 42 45 47 52 54 55 57 63 64 69 72 73 74 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 31 32 41 42 45 47 52 54 55 57 63 64 66 69 72 73 74 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 31 32 42 45 47 52 54 55 57 63 64 66 69 72 73 74 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 26 28 29 32 42 45 47 48 52 54 55 57 63 64 66 69 72 73 74 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 28 29 32 42 45 47 48 52 54 55 57 61 63 64 66 69 72 73 74 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 2 4 6 12 24 28 29 31 32 42 45 47 48 52 54 55 57 61 63 64 66 69 72 73 74 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 202 203 207
a 1 2 4 5 6 12 24 28 29 31 32 42 45 47 48 52 54 55 57 61 63 64 66 69 72 73 74 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 202 203
a 1 2 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 74 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 202 203
a 1 2 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 74 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 137 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 203 207
a 1 2 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 74 76 80 83 91 93 96 101 113 114 119 120 123 124 125 131 133 136 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 203 207
a 1 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 131 133 136 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 203 207
a 1 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 131 133 136 138 142 149 150 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203 207
a 1 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 131 133 136 138 142 149 150 155 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203
a 2 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 131 133 136 138 142 149 150 155 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203
a 2 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 133 136 138 142 149 150 155 156 161 162 163 165 168 172 180 181 183 188 192 194 197 198 199 200 202 203
a 2 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 165 168 172 180 181 183 187 188 192 194 197 198 199 200 202 203
a 1 2 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 76 80 83 91 93 96 98 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 165 168 172 180 181 183 187 188 192 194 197 198 199 200 202 203
a 1 2 4 5 6 12 24 29 31 32 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 76 80 83 91 93 96 98 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 165 168 172 180 181 183 187 188 189 192 194 197 198 199 200 202
a 1 2 4 6 12 24 29 31 32 41 42 45 47 48 52 54 55 57 58 61 63 64 66 69 72 73 76 80 83 91 93 96 98 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 165 168 172 180 181 183 187 188 189 192 194 197 198 199 200 202
a 1 2 4 6 12 20 24 29 31 32 41 42 45 47 48 52 54 55 57 58 61 63 66 69 72 73 76 80 83 91 93 96 98 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 165 168 172 180 181 183 187 188 189 192 194 197 198 199 200 202
a 1 2 4 6 12 24 29 31 32 41 42 45 47 48 52 54 55 57 58 61 63 66 69 72 73 74 76 80 83 91 93 96 98 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 165 168 172 180 181 183 187 188 189 192 194 197 198 199 200 202
a 1 2 4 6 12 20 24 29 31 32 41 42 45 47 48 52 55 57 58 61 63 66 69 72 73 74 76 80 83 91 93 96 98 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 165 168 172 180 181 183 187 188 189 192 194 197 198 199 200 202
a 1 2 4 6 12 20 24 29 31 32 41 42 45 47 48 52 55 57 58 61 63 66 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 165 168 172 180 181 187 188 189 192 194 197 198 199 200 202
a 1 2 4 6 12 20 24 29 31 32 41 42 45 47 48 52 55 57 58 61 63 66 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 164 165 168 172 181 187 188 189 192 194 197 198 199 200 202
a 1 2 4 6 12 20 24 29 31 32 41 42 45 47 48 52 55 57 58 61 63 66 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 199 200
a 1 2 4 6 12 20 29 31 32 39 41 42 45 47 48 52 55 57 58 61 63 66 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 199 200
a 1 2 4 6 12 20 28 29 31 32 39 41 42 45 47 48 52 55 57 61 63 66 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 199 200
a 1 2 4 6 12 20 28 29 31 32 39 41 42 47 48 50 52 55 57 61 63 66 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 133 138 142 149 150 155 156 161 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 199 200
a 2 4 6 12 20 28 29 31 32 39 41 42 47 48 50 52 55 57 61 63 66 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 133 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 199 200
a 1 2 4 6 12 20 28 29 31 32 39 41 42 47 48 50 52 55 57 63 66 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 133 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 199 200
a 1 2 4 6 12 20 28 29 31 32 39 41 42 47 48 50 52 55 57 63 66 69 72 73 74 76 80 83 91 93 96 98 101 113 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 199 200
a 1 2 4 6 12 20 28 29 31 32 39 41 42 47 48 50 52 55 57 63 66 69 72 73 74 76 80 83 91 93 94 96 98 101 113 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 200
a 1 2 4 6 12 20 28 29 31 32 39 41 42 46 47 48 50 52 55 57 63 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 200
a 1 2 4 6 12 20 28 29 31 32 39 41 42 46 47 48 50 52 55 57 63 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 199
a 1 2 4 6 12 20 28 29 31 32 39 41 42 46 47 48 50 52 55 57 61 63 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 2 4 6 12 20 28 29 31 32 39 41 42 46 47 48 50 52 55 57 61 63 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 202
a 2 4 6 12 20 28 29 31 32 39 41 42 46 47 48 50 52 55 57 61 63 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 199
a 2 4 6 12 28 29 31 32 39 41 42 46 47 48 50 52 55 57 61 63 64 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 199
a 2 6 12 28 29 31 32 39 41 42 46 47 48 50 52 55 57 61 63 64 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 199 202
a 2 6 12 28 29 31 32 39 41 42 46 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 199 202
a 2 4 6 12 28 29 31 32 39 41 42 46 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 199
a 2 4 6 10 12 28 29 31 32 39 42 46 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 199
a 1 2 4 6 10 12 28 29 31 32 39 42 46 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 6 10 12 28 29 31 32 39 42 46 47 48 50 52 54 55 57 61 63 64 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 189 192 194 197 198
a 1 2 6 10 12 28 29 31 32 39 42 46 47 48 50 52 54 55 57 61 63 64 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 161 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 6 10 12 28 29 31 32 39 42 46 47 48 50 52 54 55 57 61 63 64 66 69 72 73 74 76 80 83 91 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 6 10 12 28 29 31 32 39 42 46 47 48 50 52 54 55 57 61 63 64 66 69 72 73 74 76 83 91 92 93 94 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 6 10 12 28 29 31 32 39 42 45 46 47 48 50 52 54 55 57 61 63 64 66 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 123 124 125 132 137 138 142 149 150 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 6 10 12 28 29 31 32 39 42 45 46 47 48 50 52 54 55 57 61 63 64 66 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 6 10 12 28 29 31 32 39 42 45 46 47 48 50 52 54 55 57 61 63 64 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 6 10 12 20 28 29 31 32 39 42 45 46 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 5 6 10 12 20 28 29 31 32 39 42 45 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 5 6 10 12 20 28 29 31 32 33 39 42 45 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 192 194 197 198
a 1 2 4 5 6 10 12 20 28 29 31 32 33 39 42 45 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 5 6 10 12 20 28 29 31 32 33 39 42 45 47 50 52 54 55 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 5 6 10 20 28 29 31 32 33 39 42 45 47 50 52 54 55 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 200
a 1 2 4 5 6 10 20 28 29 31 32 33 39 42 45 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 1 2 4 5 6 10 20 28 29 31 32 33 39 42 45 47 48 50 52 54 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 200
a 1 2 4 5 6 9 10 28 29 31 32 33 39 42 45 47 48 50 52 54 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 200
a 1 2 4 5 6 9 10 20 28 29 31 32 33 39 42 45 47 48 50 52 54 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198
a 2 4 5 6 9 10 20 28 29 31 32 33 39 42 45 47 48 50 52 54 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 155 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 200
a 2 4 5 6 9 10 20 28 29 31 32 33 39 42 45 47 48 50 52 54 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 200 207
a 2 4 5 6 9 10 28 29 31 32 33 39 42 45 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 137 138 140 142 149 156 162 163 164 165 168 172 181 182 183 187 188 189 192 194 197 198 200 207
a 2 4 5 6 9 10 28 29 31 32 33 39 42 45 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 200 207
a 2 4 5 6 9 10 14 28 29 31 32 33 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 200 207
a 2 5 6 9 10 14 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 200 207
a 2 6 9 10 14 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 199 200 207
a 2 6 9 10 14 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 108 114 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 200 207
a 2 6 9 10 14 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 200 207
a 1 2 6 9 10 14 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198 200
a 1 2 5 6 9 10 14 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 123 124 125 132 133 137 138 140 142 149 156 162 163 165 168 172 181 183 187 188 189 192 194 197 198 200
a 1 2 5 6 9 10 14 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 189 192 194 197 198
a 1 2 5 6 9 10 14 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 192 194 197 198 205
a 1 2 5 6 9 10 14 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 192 194 197 198 205 207
a 1 2 5 6 9 10 14 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 123 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 192 194 197 205 207
a 1 2 5 6 9 10 14 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 192 194 195 197 205 207
a 1 2 5 6 9 10 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 192 194 195 197 205 207
a 1 5 6 9 10 19 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 66 69 72 73 74 76 83 91 92 93 96 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 168 172 181 183 187 188 192 194 195 197 205 207
a 1 5 6 9 10 19 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 66 69 70 72 73 74 76 83 91 92 93 96 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 172 181 183 187 188 192 194 195 197 205 207
a 1 5 6 9 10 19 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 66 69 70 72 73 74 76 83 91 92 93 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 172 181 183 187 188 192 194 195 197 202 205 207
a 1 5 6 10 19 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 66 69 70 72 73 74 76 83 91 92 93 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 172 181 183 187 188 192 194 195 197 200 202 205 207
a 1 5 6 10 12 19 20 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 66 69 70 72 73 74 76 83 91 92 93 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 172 181 183 187 188 192 194 195 200 202 205 207
a 1 5 6 10 12 19 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 66 69 70 72 73 74 76 83 91 92 93 96 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 172 181 183 187 188 192 194 195 200 202 205 207
a 1 5 6 9 10 12 19 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 66 69 70 72 73 74 76 83 91 92 93 96 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 172 181 183 187 188 192 194 195 202 205 207
a 1 5 6 9 10 12 19 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 66 69 70 72 73 74 76 83 91 92 93 96 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 172 181 183 187 188 189 192 194 195 202 207
a 1 5 6 9 10 12 19 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 66 69 70 72 73 74 76 83 91 92 93 96 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 172 181 183 187 188 189 194 195 197 202 207
a 1 5 6 9 10 12 19 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 61 63 66 69 70 72 73 74 76 83 91 92 93 96 98 101 114 119 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 172 181 183 184 187 188 189 194 195 197 202 207
a 1 5 6 9 10 12 19 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 61 63 66 69 70 72 73 74 76 83 91 92 93 96 98 101 108 114 120 124 125 132 133 137 138 140 142 149 156 162 163 164 165 172 181 183 184 187 188 189 194 195 197 202 207
a 1 5 6 9 10 12 19 28 29 31 32 33 37 39 42 45 48 50 52 54 55 61 63 66 69 70 72 73 74 76 83 91 92 93 96 98 101 108 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 184 187 188 189 194 195 197 202 207
a 1 5 6 9 10 12 19 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 61 63 66 69 70 72 73 74 76 83 91 92 96 98 101 108 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 184 187 188 189 194 195 197 202 207
a 1 5 6 9 10 12 19 28 29 32 33 37 39 42 45 47 48 50 52 54 55 61 63 64 66 69 70 72 73 74 76 83 91 92 96 98 101 108 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 184 187 188 189 194 195 197 202 207
a 1 5 6 9 10 12 19 28 29 32 33 37 39 42 45 47 48 50 52 54 55 61 63 64 69 70 72 73 74 76 83 91 92 96 98 101 108 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 184 187 188 189 194 195 197 200 202 207
a 1 5 6 9 10 12 19 28 29 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 64 69 70 72 73 74 76 83 91 92 96 98 101 108 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 200 202 207
a 1 5 6 9 10 12 19 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 64 69 70 72 73 74 76 83 91 92 96 98 101 108 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 200 202
a 1 5 6 9 10 12 19 28 29 31 32 33 37 39 42 45 47 48 50 52 54 55 57 61 63 64 69 70 72 73 74 76 83 91 92 96 98 101 108 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200
a 1 5 6 9 10 12 19 28 29 31 32 37 39 42 45 47 48 50 52 54 55 57 61 63 64 69 70 72 73 74 76 83 91 92 96 98 101 108 113 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200
a 1 5 6 9 10 12 19 29 31 32 37 39 42 45 47 48 50 52 54 55 57 61 63 64 66 69 70 72 73 74 76 83 91 92 96 98 101 108 113 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200
a 1 5 6 9 10 12 19 27 29 31 32 37 39 42 45 47 48 50 52 54 55 57 61 63 64 66 69 70 72 73 74 76 83 91 92 96 98 101 108 113 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 187 188 189 194 195 197 198 200
a 1 5 6 9 10 12 19 27 28 29 31 32 37 39 42 45 47 48 50 52 54 55 57 61 63 64 66 69 70 72 73 74 76 83 91 92 98 101 108 113 114 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 187 188 189 194 195 197 198 200
a 1 5 6 9 10 12 19 27 28 29 31 32 37 39 42 45 47 48 50 52 54 55 57 61 63 64 66 69 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200
a 1 5 6 9 10 12 19 27 28 29 31 32 36 37 39 42 45 47 48 50 52 54 57 61 63 64 66 69 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 140 142 149 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200
a 1 5 6 9 12 19 27 28 29 31 32 36 37 39 42 45 47 48 50 52 54 57 61 63 64 66 69 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 139 140 142 149 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200
a 1 5 6 9 12 19 27 28 29 31 36 37 39 42 45 47 48 50 51 52 54 57 61 63 64 66 69 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 139 140 142 149 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200
a 1 5 6 9 12 19 27 28 29 31 36 37 39 42 45 47 48 50 51 52 54 57 61 63 64 66 69 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200
a 1 5 6 9 10 12 19 27 28 29 31 36 37 39 42 45 47 48 50 51 52 54 57 61 63 64 66 69 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200
a 1 5 6 9 10 12 19 27 28 29 31 36 37 39 42 45 47 48 50 51 52 54 57 63 64 66 69 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 207
a 1 5 6 9 10 12 19 27 28 29 31 36 37 39 42 45 47 48 50 51 52 54 57 61 63 64 66 69 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 207
a 1 5 6 9 10 12 19 27 28 29 31 36 37 39 42 45 48 50 51 52 54 57 61 63 64 66 69 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 207
a 1 5 6 9 10 12 19 24 27 28 29 31 36 37 39 42 45 48 50 51 52 54 57 61 63 64 66 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 207
a 5 6 9 10 12 19 24 27 28 29 31 36 37 39 42 45 48 50 51 52 54 57 61 63 64 66 70 72 73 74 76 83 91 92 98 101 108 113 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 207
a 5 6 9 10 12 19 24 27 28 29 31 37 39 42 45 48 50 51 52 54 57 61 63 64 66 70 72 73 74 76 83 91 92 96 98 101 108 113 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 207
a 4 5 6 9 10 12 19 24 27 28 29 31 39 42 45 48 50 51 52 54 57 61 63 64 66 70 72 73 74 76 83 91 92 96 98 101 108 113 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 207
a 4 5 6 9 10 12 19 24 27 28 29 31 39 42 45 48 50 51 54 57 61 63 64 66 70 72 73 74 76 83 91 92 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 207
a 4 5 6 9 10 12 19 24 27 28 29 31 39 42 48 50 51 54 55 57 61 63 64 66 70 72 73 74 76 83 91 92 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 207
a 4 5 6 9 10 12 19 24 27 28 29 39 42 48 50 51 54 55 57 61 63 64 66 70 72 73 74 76 83 91 92 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 202 207
a 4 5 6 9 10 12 19 24 27 28 29 34 39 42 48 50 51 54 55 57 61 63 64 66 70 72 73 74 76 91 92 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 202 207
a 4 5 6 9 10 12 19 24 27 28 29 34 39 42 48 50 51 54 55 57 61 64 66 70 72 73 74 76 81 91 92 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 202 207
a 4 5 6 9 10 12 19 24 28 29 34 39 42 48 50 51 54 55 57 61 64 66 70 72 73 74 76 81 91 92 93 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 202 207
a 4 5 6 9 10 12 19 24 28 34 39 42 48 50 51 54 55 57 61 64 66 70 71 72 73 74 76 81 91 92 93 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 202 207
a 4 5 6 9 10 12 14 19 24 28 34 39 42 48 50 51 54 55 57 61 64 70 71 72 73 74 76 81 91 92 93 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 202 207
a 4 5 6 9 10 12 14 19 24 28 34 39 42 48 50 51 54 55 56 57 61 64 70 71 72 74 76 81 91 92 93 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 195 197 198 200 202 207
a 4 5 6 9 10 12 14 19 24 28 34 35 39 42 48 50 51 54 55 56 57 61 64 70 71 72 74 76 81 91 92 93 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 162 163 164 165 172 181 183 187 188 189 194 197 198 200 202 207
a 4 5 6 9 10 12 14 19 24 28 34 35 39 42 48 50 51 54 55 56 57 61 64 70 71 72 74 76 81 91 92 93 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 163 164 165 172 174 181 183 187 188 189 194 197 198 200 202 207
a 4 5 6 10 12 14 19 24 28 34 35 39 42 48 50 51 54 55 56 57 61 64 70 71 72 74 76 81 91 92 93 94 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 152 156 163 164 165 172 174 181 183 187 188 189 194 197 198 200 202 207
a 4 5 6 10 12 14 19 24 28 34 35 39 42 48 50 51 54 55 56 57 61 64 70 71 72 74 76 81 91 92 93 94 96 98 101 108 113 114 120 124 125 132 133 137 138 139 142 149 150 156 163 164 165 172 174 181 183 187 188 189 192 194 197 198 200 202 207
a 4 5 6 10 12 14 19 24 28 34 35 39 42 48 50 51 54 55 56 57 61 64 70 71 72 74 76 81 91 92 93 94 96 98 101 105 108 113 114 120 124 125 132 133 137 138 139 142 149 150 156 163 164 165 172 174 181 183 187 189 192 194 197 198 200 202 207
a 4 5 6 10 12 14 19 24 28 34 35 39 42 48 50 51 54 55 56 57 61 64 70 71 72 74 76 81 91 92 93 94 96 98 101 105 108 113 114 120 124 125 132 133 137 138 139 149 150 156 163 164 165 172 174 181 183 187 189 192 193 194 197 198 200 202 207
a 4 5 6 10 12 14 19 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 76 81 91 92 93 94 96 98 101 105 108 113 114 120 124 125 132 133 137 138 139 149 150 156 163 164 165 172 174 181 183 187 189 192 193 194 197 198 200 202 207
a 4 5 6 10 12 14 19 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 76 81 91 92 93 94 96 98 101 104 105 108 113 114 120 124 125 132 133 137 138 139 149 150 156 163 164 165 172 174 181 183 187 189 192 193 194 198 200 202 207
a 4 5 6 10 12 14 19 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 76 78 81 91 92 93 94 96 98 101 104 105 108 113 114 120 124 125 132 137 138 139 149 150 156 163 164 165 172 174 181 183 187 189 192 193 194 198 200 202 207
a 4 5 6 10 12 14 19 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 108 113 114 120 124 125 132 137 138 139 149 150 156 163 164 165 172 174 181 183 187 189 192 193 194 198 200 202 207
a 4 5 6 10 12 14 19 22 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 108 113 114 124 125 132 137 138 139 149 150 156 163 164 165 172 174 181 183 187 189 192 193 194 198 200 202 207
a 4 5 6 10 12 14 19 22 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 113 114 124 125 132 137 138 139 149 150 156 163 164 165 171 172 174 181 183 187 189 192 193 194 198 200 202 207
a 4 5 6 10 11 12 14 19 22 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 113 114 124 125 132 137 138 139 149 150 156 163 165 171 172 174 181 183 187 189 192 193 194 198 200 202 207
a 4 5 6 10 11 12 14 19 22 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 113 114 124 125 132 137 138 139 149 150 156 160 165 171 172 174 181 183 187 189 192 193 194 198 200 202 207
a 4 5 6 10 11 12 14 19 22 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 113 114 124 125 132 137 138 139 149 150 156 160 165 171 172 174 181 182 183 187 189 192 193 198 200 202 207
a 4 5 6 10 11 12 14 19 22 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 113 114 115 124 125 132 137 138 139 150 156 160 165 171 172 174 181 182 183 187 189 192 193 198 200 202 207
a 4 5 6 10 11 12 14 19 22 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 113 114 115 124 125 137 138 139 150 156 157 160 165 171 172 174 181 182 183 187 189 192 193 198 200 202 207
a 4 5 6 10 11 12 14 19 22 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 114 115 122 124 125 137 138 139 150 156 157 160 165 171 172 174 181 182 183 187 189 192 193 198 200 202 207
a 4 5 6 10 11 12 14 19 22 24 34 35 39 42 48 50 51 54 55 56 57 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 114 115 122 124 125 137 138 139 150 156 157 160 165 171 172 174 178 181 182 183 189 192 193 198 200 202 207
a 4 5 6 10 11 12 14 19 22 24 34 35 39 42 48 50 51 54 55 56 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 101 104 105 114 115 122 124 125 137 138 139 148 150 156 157 160 165 171 172 174 178 181 182 183 189 192 193 198 200 202 207
a 4 5 6 10 11 12 14 19 22 24 34 35 38 39 42 48 50 51 54 55 56 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 104 105 114 115 122 124 125 137 138 139 148 150 156 157 160 165 171 172 174 178 181 182 183 189 192 193 198 200 202 207
c Step: 159
#END: [Mon Sep  4 22:28:02 2023]