#BEGIN: [Mon Sep  4 22:27:36 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance019_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance019_graph001_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_instance019_graph001.col /benchmark/random_instance/random_instance019_graph001_01.dat
c /benchmark/random_instance/random_instance019_graph001.col
c /benchmark/random_instance/random_instance019_graph001_01.dat
s 179 239 38 76 128 227 27 198 18 45 156 16 151 78 61 125 177 44 202 10 211 219 228 185 89 139 56 203 149 46 180 157 71 133 86 171 5 146 138 186 91 155 88 220 199 25 30 205 163 19 62 132 100 190 226 169 32 119 206 111 217 184 81 63 194 68 82 172 201 238 168 112 236 130 12 117 136 196 145
t 94 4 88 235 236 45 19 10 166 246 191 48 50 5 219 99 43 144 141 55 42 38 170 109 208 181 29 60 212 209 189 190 239 172 74 63 30 168 3 84 194 147 145 193 27 126 240 34 146 90 130 18 163 83 20 103 91 175 161 104 105 129 220 78 13 202 112 180 35 16 184 23 164 179 155 178 8 207 49
a YES
a 5 10 12 16 18 19 25 27 30 32 38 44 45 46 56 61 62 63 68 71 76 78 81 82 86 88 89 91 100 111 112 117 119 125 128 130 132 133 136 138 139 145 146 149 151 155 156 157 163 168 169 171 172 177 179 180 184 185 186 190 194 196 198 199 201 202 203 205 206 211 217 219 220 226 227 228 236 238 239
a 5 10 12 16 18 19 25 27 30 32 38 44 45 46 56 61 62 63 68 71 76 78 81 82 86 88 89 91 100 111 112 117 119 125 127 128 130 132 133 136 138 139 145 146 149 151 155 156 157 163 168 169 171 172 177 179 180 184 186 190 194 196 198 199 201 202 203 205 206 211 217 219 220 226 227 228 236 238 239
a 4 5 10 12 16 18 19 25 27 30 32 38 44 45 46 56 61 62 63 68 71 76 78 81 82 86 88 89 91 100 112 117 119 125 127 128 130 132 133 136 138 139 145 146 149 151 155 156 157 163 168 169 171 172 177 179 180 184 186 190 194 196 198 199 201 202 203 205 206 211 217 219 220 226 227 228 236 238 239
a 4 5 10 12 16 18 19 25 27 30 32 33 38 44 45 46 56 61 62 63 68 71 76 78 81 82 86 88 89 91 100 112 117 119 125 128 130 132 133 136 138 139 145 146 149 151 155 156 157 163 168 169 171 172 177 179 180 184 186 190 194 196 198 199 201 202 203 205 206 211 217 219 220 226 227 228 236 238 239
a 4 5 10 12 16 18 19 25 27 30 32 33 38 44 45 46 54 56 61 62 63 68 71 76 78 81 82 86 88 89 91 100 112 117 119 125 128 130 133 136 138 139 145 146 149 151 155 156 157 163 168 169 171 172 177 179 180 184 186 190 194 196 198 199 201 202 203 205 206 211 217 219 220 226 227 228 236 238 239
a 4 5 10 12 16 18 19 25 27 30 32 33 38 44 45 46 54 56 61 62 63 68 71 76 78 81 82 86 88 89 91 100 112 117 119 125 128 130 133 136 138 139 145 146 149 151 155 156 157 163 168 169 171 172 177 179 180 184 186 187 190 194 196 198 199 201 202 203 205 206 211 217 219 220 227 228 236 238 239
a 4 5 10 12 16 18 19 25 27 30 32 33 38 44 45 46 54 56 61 62 63 68 71 76 78 81 82 86 88 89 91 100 112 117 119 125 128 130 133 136 138 139 145 146 149 151 155 156 157 163 168 169 171 172 177 179 180 184 186 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 236 238 239
a 4 5 10 12 16 18 19 25 27 30 32 33 38 44 45 46 54 56 61 62 63 68 71 76 78 81 82 86 88 89 91 98 100 112 117 119 125 128 130 133 136 138 139 145 146 149 151 155 156 157 168 169 171 172 177 179 180 184 186 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 236 238 239
a 4 5 10 12 16 18 19 25 27 30 32 33 38 44 45 46 54 56 61 62 63 68 71 76 78 81 82 86 88 89 91 98 100 112 117 119 125 128 130 133 136 138 139 145 146 149 151 155 156 157 158 168 169 171 172 177 179 180 184 186 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 236 238
a 4 5 10 12 16 18 19 25 27 30 32 33 38 44 45 46 54 56 61 62 63 68 71 72 76 78 81 82 86 88 89 91 98 100 112 117 119 125 128 130 133 136 138 139 145 146 149 151 155 156 157 158 168 169 171 172 177 179 180 184 186 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 236
a 4 5 10 12 16 18 19 25 27 30 32 33 38 44 45 46 53 54 56 61 62 63 68 71 72 76 78 81 82 86 88 89 91 98 100 112 117 119 125 128 130 133 136 138 139 145 146 149 151 155 156 157 158 168 169 171 172 177 179 180 184 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 236
a 4 5 10 12 16 18 19 25 27 30 32 33 38 43 44 45 46 53 54 56 61 62 63 68 71 72 76 78 81 82 86 88 91 98 100 112 117 119 125 128 130 133 136 138 139 145 146 149 151 155 156 157 158 168 169 171 172 177 179 180 184 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 236
a 4 5 10 12 16 18 19 25 27 30 32 33 38 43 44 45 46 53 54 56 62 63 68 71 72 76 78 81 82 86 88 91 98 100 112 117 119 125 128 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 177 179 180 184 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 236
a 4 5 10 12 16 18 19 25 27 30 32 33 38 43 44 45 46 53 54 56 62 63 68 71 72 76 78 81 82 86 88 91 98 100 112 117 119 125 128 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 236 242
a 4 5 10 12 16 18 19 20 25 27 30 32 33 38 43 44 45 46 53 54 56 62 63 68 71 72 76 78 81 82 86 88 91 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 236 242
a 4 5 10 12 16 18 19 20 25 27 30 32 33 38 43 44 45 46 53 54 56 62 63 68 71 72 76 78 81 82 86 88 91 97 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 242
a 4 5 10 12 16 18 19 20 25 27 30 32 33 38 43 44 45 46 53 54 56 62 63 68 70 71 72 76 78 81 82 86 88 91 97 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227
a 4 5 10 12 16 18 19 20 25 27 30 32 33 38 43 44 45 46 53 54 56 62 63 68 70 71 72 76 78 81 82 86 88 91 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 196 198 199 201 202 203 205 206 211 217 218 219 220 227 236
a 4 5 10 12 16 18 19 20 25 27 30 32 33 38 43 44 45 46 53 54 56 62 63 68 70 71 72 76 78 81 82 86 88 91 92 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 196 198 199 201 202 205 206 211 217 218 219 220 227 236
a 4 5 10 12 16 18 19 20 25 27 30 32 33 38 43 44 45 46 53 54 56 62 63 68 70 71 72 76 78 81 82 86 88 91 92 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 196 198 199 201 202 205 206 208 211 217 218 220 227 236
a 4 5 10 12 16 18 19 20 25 27 30 32 33 38 43 44 45 46 53 54 56 62 63 68 70 71 72 76 78 81 82 86 88 91 92 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 211 217 218 220 227 236
a 4 5 10 12 16 18 19 20 25 27 30 32 33 38 43 44 45 53 54 56 62 63 68 70 71 72 74 76 78 81 82 86 88 91 92 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 211 217 218 220 227 236
a 4 5 10 12 16 18 19 20 25 27 30 32 33 38 43 44 45 53 54 56 57 62 63 68 70 71 72 74 76 78 81 82 86 88 91 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 211 217 218 220 227 236
a 4 5 10 12 16 18 19 20 25 27 30 32 33 38 43 44 45 53 54 56 62 63 68 70 71 72 74 76 78 81 82 86 88 91 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 211 217 218 220 227 236 239
a 4 5 10 12 13 16 18 19 20 25 27 30 32 33 38 43 44 45 53 54 62 63 68 70 71 72 74 76 78 81 82 86 88 91 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 211 217 218 220 227 236 239
a 4 5 10 12 13 16 18 19 20 25 27 30 32 33 38 43 44 45 53 54 62 63 68 71 72 74 76 78 81 82 86 88 91 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 151 155 156 157 158 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 211 217 218 220 227 236 239 242
a 4 5 10 12 13 16 18 19 20 25 27 30 32 33 34 38 43 44 45 53 54 62 63 68 71 72 74 76 78 81 82 86 88 91 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 155 156 157 158 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 211 217 218 220 227 236 239 242
a 4 5 10 12 13 16 18 19 20 25 27 30 32 33 34 38 43 44 45 53 54 62 63 68 71 72 74 76 78 81 82 86 88 91 98 100 112 117 119 125 130 133 136 138 139 145 146 147 149 155 156 157 158 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 209 211 218 220 227 236 239 242
a 4 5 10 12 13 16 18 19 20 25 27 30 32 33 34 38 43 44 45 53 54 62 63 68 71 72 74 76 78 81 82 86 88 91 98 100 103 112 117 119 125 130 133 136 138 139 145 146 147 149 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 209 211 218 220 227 236 239 242
a 4 5 10 12 13 16 18 19 20 25 27 30 32 33 34 38 43 44 45 53 54 62 63 68 71 72 74 76 78 81 82 86 88 91 98 100 103 112 117 119 125 130 133 136 138 139 145 146 147 149 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 209 211 218 220 227 236 239
a 4 5 10 12 13 16 18 19 20 25 27 30 32 33 34 38 43 44 45 53 54 57 62 63 68 71 72 74 76 78 81 82 86 88 91 98 100 103 112 117 119 125 130 133 136 138 139 145 146 147 149 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 209 211 218 220 227 236
a 4 5 10 12 13 16 18 19 20 25 27 32 33 34 38 43 44 45 53 54 57 62 63 68 71 72 74 76 78 81 82 86 88 91 98 100 103 112 117 119 125 130 133 136 138 139 145 146 147 149 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 209 210 211 218 220 227 236
a 4 5 10 12 13 16 18 19 20 25 27 32 33 34 38 43 44 45 53 54 62 63 68 71 72 74 76 78 81 82 86 88 91 98 100 103 112 117 119 125 130 133 136 138 139 145 146 147 149 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 205 206 207 208 209 210 211 218 220 227 236 239
a 4 5 10 12 13 16 18 19 20 25 27 31 32 33 34 38 43 44 45 53 54 62 63 68 71 72 74 76 78 81 82 86 88 91 98 100 103 112 117 119 125 130 133 136 138 139 145 146 147 149 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 220 227 236 239
a 4 5 10 12 13 16 18 19 20 25 27 31 32 33 34 38 43 44 45 53 54 57 62 63 68 71 72 74 76 78 81 82 86 88 91 98 100 103 112 117 119 125 130 133 136 138 139 145 146 147 149 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 220 227 236
a 4 5 10 12 13 16 18 19 20 25 27 31 32 33 34 38 43 44 45 53 54 57 62 63 68 71 72 74 76 81 82 86 88 91 98 100 103 112 117 119 125 130 133 136 138 139 145 146 147 149 150 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 220 227 236
a 4 10 12 13 16 18 19 20 25 27 31 32 33 34 38 43 44 45 53 54 57 58 62 63 68 71 72 74 76 81 82 86 88 91 98 100 103 112 117 119 125 130 133 136 138 139 145 146 147 149 150 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 220 227 236
a 4 10 12 13 16 18 19 20 25 27 31 32 33 34 38 43 44 45 53 54 57 58 62 63 68 71 72 74 76 81 82 86 88 91 93 98 100 103 112 117 119 125 130 133 136 138 145 146 147 149 150 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 220 227 236
a 4 10 12 13 16 18 19 20 25 27 31 32 34 38 43 44 45 53 54 57 58 62 63 68 71 72 74 76 81 82 86 88 91 93 98 100 103 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 220 227 236
a 4 10 12 13 16 18 19 20 25 27 31 32 34 38 43 44 45 53 54 58 62 63 68 71 72 74 76 81 82 86 88 91 93 98 100 103 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 157 168 169 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 220 227 236 239
a 4 10 13 16 18 19 20 25 27 31 32 34 38 43 44 45 53 54 58 62 63 68 71 72 74 76 81 82 86 88 91 93 98 100 103 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 157 168 169 170 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 220 227 236 239
a 4 10 13 16 18 19 20 25 27 31 32 34 38 43 44 45 53 54 58 62 63 68 71 72 74 76 81 82 86 88 91 98 100 103 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 157 168 169 170 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 219 220 227 236 239
a 4 10 13 16 18 19 20 25 27 31 32 34 38 43 44 45 53 54 58 62 63 68 71 72 74 76 81 82 86 88 91 98 100 103 105 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 157 168 169 170 171 172 179 180 184 190 194 198 199 201 202 206 207 208 209 210 211 218 219 220 227 236 239
a 4 10 13 16 18 19 20 25 27 29 31 32 34 38 43 44 45 53 54 58 62 63 68 71 72 74 76 81 82 86 88 91 98 100 103 105 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 168 169 170 171 172 179 180 184 190 194 198 199 201 202 206 207 208 209 210 211 218 219 220 227 236 239
a 4 10 13 16 18 19 20 25 27 29 31 32 34 38 43 44 45 53 54 58 62 63 68 71 72 74 76 81 82 86 88 91 98 100 103 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 168 169 170 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 219 220 227 236 239
a 4 10 13 16 18 19 20 25 27 29 31 32 34 38 43 44 45 53 54 58 62 63 68 71 72 74 76 81 82 86 88 91 92 98 100 103 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 168 169 170 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 219 220 227 236
a 4 10 13 16 18 19 20 25 27 29 31 32 34 38 43 44 45 53 54 58 62 63 68 71 72 74 76 81 82 86 88 91 92 98 103 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 168 169 170 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 219 220 227 236 241
a 4 10 13 16 18 19 20 25 27 29 31 32 34 38 43 44 45 53 54 58 63 68 71 72 74 76 81 82 86 88 91 92 98 99 103 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 168 169 170 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 218 219 220 227 236 241
a 4 10 13 16 18 19 20 25 27 29 31 32 34 38 43 44 45 53 54 58 63 68 71 72 74 76 81 82 86 88 91 92 98 99 103 112 117 119 125 127 130 133 136 138 145 146 147 149 150 152 155 156 168 169 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 217 218 219 220 227 236 241
a 4 10 13 15 16 18 19 20 25 27 29 31 32 34 38 43 44 45 53 54 58 63 68 71 72 74 76 81 82 86 88 91 92 98 99 103 112 117 119 125 127 130 133 138 145 146 147 149 150 152 155 156 168 169 171 172 179 180 184 187 190 194 198 199 201 202 206 207 208 209 210 211 217 218 219 220 227 236 241
a 4 10 13 15 16 18 19 20 25 27 29 31 32 34 38 43 44 45 50 53 54 58 63 68 71 72 74 76 81 82 86 88 91 92 98 99 103 112 117 119 125 127 130 133 138 145 146 147 149 150 152 155 156 168 169 171 172 179 180 184 187 190 194 198 201 202 206 207 208 209 210 211 217 218 219 220 227 236 241
a 4 10 13 15 16 18 19 20 25 27 29 31 32 34 38 43 44 45 50 53 54 58 63 68 71 72 74 76 81 82 86 88 91 98 99 103 112 117 119 125 127 130 133 138 145 146 147 149 150 152 155 156 168 169 171 172 179 180 184 187 190 194 198 201 202 206 207 208 209 210 211 217 218 219 220 227 236 237 241
a 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 54 58 63 68 71 72 74 76 81 82 86 88 91 98 99 103 112 117 119 125 127 130 133 138 145 146 147 149 150 152 155 156 168 169 171 172 179 180 184 187 190 194 198 201 202 206 207 208 209 210 211 217 218 219 220 227 236 237 239 241
a 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 54 58 63 68 71 72 74 76 81 82 86 88 91 98 99 103 112 117 119 125 127 130 133 138 145 146 147 149 150 152 155 156 168 169 171 172 179 180 184 187 188 190 194 198 201 206 207 208 209 210 211 217 218 219 220 227 236 237 239 241
a 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 54 58 63 68 71 72 74 76 81 82 86 88 91 98 99 103 112 117 119 125 127 130 133 138 145 146 147 149 150 152 155 156 168 169 172 179 180 184 187 188 189 190 194 198 201 206 207 208 209 210 211 217 218 219 220 227 236 237 239 241
a 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 54 58 63 68 71 72 74 76 81 82 86 88 91 98 99 103 117 119 125 127 130 133 138 145 146 147 149 150 152 153 155 156 168 169 172 179 180 184 187 188 189 190 194 198 201 206 207 208 209 210 211 217 218 219 220 227 236 237 239 241
a 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 58 63 68 71 72 74 76 81 82 86 88 91 98 99 103 117 119 125 127 130 133 138 145 146 147 149 150 152 153 155 156 168 169 172 176 179 180 184 187 188 189 190 194 198 201 206 207 208 209 210 211 217 218 219 220 227 236 237 239 241
a 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 58 63 68 71 72 74 76 81 82 86 88 91 98 99 103 117 119 125 127 130 133 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 188 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 236 237 239 241
a 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 57 58 63 68 71 72 74 76 81 82 86 88 91 98 99 103 117 119 125 127 130 133 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 188 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 236 237 241
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 57 58 63 68 71 72 74 76 82 86 88 91 98 99 103 117 119 125 127 130 133 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 188 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 236 237 241
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 58 63 68 71 72 74 76 82 86 88 91 98 99 103 117 119 125 127 130 133 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 188 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 236 237 239 241
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 58 63 68 71 72 74 76 82 86 88 91 98 99 103 117 119 125 127 130 133 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 188 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 239 241 242
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 50 53 58 63 68 71 72 74 76 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 188 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 239 241 242 245
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 49 50 53 58 63 68 72 74 76 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 188 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 239 241 242 245
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 43 44 45 49 50 53 57 58 63 68 72 74 76 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 188 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 241 242 245
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 44 45 49 50 53 57 58 63 68 72 74 76 80 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 188 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 241 242 245
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 44 45 49 50 53 57 58 63 68 72 74 76 80 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 202 206 207 208 209 211 218 219 220 227 236 237 241 242 245
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 44 45 49 50 53 58 63 68 72 74 76 80 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 202 206 207 208 209 211 218 219 220 227 236 237 239 241 242 245
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 44 49 50 53 58 63 68 72 74 76 80 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 202 206 207 208 209 211 218 219 220 227 236 237 239 241 242 244 245
a 3 4 10 13 15 16 19 20 25 27 29 31 32 34 38 44 49 50 53 58 63 68 72 74 75 76 80 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 239 241 242 244 245
a 3 4 10 15 16 19 20 25 27 29 31 32 34 38 44 49 50 53 56 58 63 68 72 74 75 76 80 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 239 241 242 244 245
a 3 4 10 15 16 19 20 25 27 29 31 32 34 38 44 49 50 53 56 58 63 68 72 74 75 76 80 82 86 88 91 93 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 220 227 236 237 239 241 242 244 245
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 56 58 63 68 72 74 75 76 80 82 86 88 91 93 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 220 227 236 237 239 241 242 244 245
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 58 63 68 72 74 75 76 80 82 86 88 91 93 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 220 227 236 237 239 241 242 244
a 3 4 10 15 16 19 20 25 27 29 31 32 34 38 44 49 50 53 55 56 58 63 68 72 74 75 76 80 82 86 88 91 93 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 220 227 236 237 239 241 242 244
a 3 4 10 15 16 19 20 25 27 29 31 32 34 38 44 49 50 53 55 56 58 63 68 72 74 75 76 80 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 239 241 242 244
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 58 63 68 72 74 75 76 80 82 86 88 91 98 99 103 117 119 125 127 130 138 145 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 239 241 242 244
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 58 63 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 239 241 242 244
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 58 63 64 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 219 220 227 236 237 239 241 242
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 58 63 64 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 169 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 236 237 239 241
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 58 63 64 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 235 236 237 239 241
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 57 58 63 64 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 235 236 237 241
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 57 58 63 64 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 235 236 237 245
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 58 63 64 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 235 236 237 239 245
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 58 63 64 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 235 236 237 239
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 57 58 63 64 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 235 236 237
a 3 4 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 57 58 63 64 67 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 235 237
a 3 4 10 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 57 58 63 64 67 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 227 235 236 237
a 3 4 9 10 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 57 58 63 64 67 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 220 227 235 236 237
a 3 4 9 10 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 57 58 63 64 67 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 196 198 201 206 208 209 210 211 218 220 227 235 236 237
a 3 4 9 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 57 58 63 64 67 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 208 209 210 211 218 220 227 235 236 237
a 3 4 9 10 15 16 20 25 27 29 31 32 34 37 38 44 49 50 53 55 56 57 58 63 64 67 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 208 209 210 211 218 219 220 235 236 237
a 3 4 9 10 15 16 20 25 27 29 31 32 34 37 38 44 45 49 50 53 55 56 57 58 63 64 67 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 149 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 208 209 210 211 218 219 220 235 236
a 3 4 9 10 15 16 20 25 27 29 31 32 34 37 38 44 45 49 50 53 55 56 57 58 63 64 67 68 72 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 130 138 146 147 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 235 236
a 3 4 9 10 15 16 20 25 27 29 31 32 34 37 38 44 45 49 50 53 55 56 57 58 63 64 67 68 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 129 130 138 146 147 150 152 153 155 156 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 235 236
a 3 4 9 10 15 16 20 25 27 29 31 32 34 37 38 44 45 49 50 53 55 56 57 58 63 64 67 68 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 129 130 138 141 146 147 150 152 153 155 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 235 236
a 3 4 8 9 10 15 16 20 25 27 29 31 32 34 37 38 44 45 49 50 53 55 56 57 58 63 64 67 68 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 129 130 138 141 146 147 152 153 155 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 235 236
a 3 4 8 9 10 15 16 20 25 27 29 31 32 34 37 38 44 45 49 50 53 55 56 57 58 63 67 68 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 129 130 138 141 146 147 152 153 155 161 168 170 172 176 177 179 180 184 187 189 190 194 198 201 206 207 208 209 210 211 218 219 220 235 236
a 3 4 8 9 10 15 16 20 25 27 29 31 32 34 37 38 44 45 49 50 53 55 56 57 58 63 67 68 74 75 76 77 80 82 86 88 91 98 99 103 117 119 125 127 129 130 138 141 146 147 152 153 155 161 168 170 172 176 177 178 179 180 184 187 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236
a 3 4 8 9 10 15 16 20 25 27 29 31 32 34 37 38 44 45 49 50 53 55 56 57 58 63 67 68 74 75 76 77 80 82 86 88 91 98 99 103 105 117 119 125 127 129 130 138 141 146 147 152 153 155 161 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236
a 3 4 8 9 10 15 16 19 20 25 27 29 31 32 34 38 44 45 49 50 53 55 56 57 58 63 67 68 74 75 76 77 80 82 86 88 91 98 99 103 105 117 119 125 127 129 130 138 141 146 147 152 153 155 161 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236
a 3 4 8 9 10 15 16 19 20 25 27 29 31 32 34 38 44 45 49 50 53 55 56 57 58 63 67 68 74 75 76 77 80 82 86 88 91 98 99 103 105 112 117 119 125 127 129 130 138 141 146 147 152 155 161 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236
a 3 4 8 9 10 15 16 19 20 25 27 29 31 32 34 38 44 45 49 50 53 55 56 57 58 60 63 67 68 74 75 76 77 80 82 86 88 91 98 99 103 105 112 119 125 127 129 130 138 141 146 147 152 155 161 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236
a 3 4 8 10 15 16 18 19 20 25 27 29 31 32 34 38 44 45 49 50 53 55 56 57 58 60 63 67 68 74 75 76 77 80 82 86 88 91 98 99 103 105 112 119 125 127 129 130 138 141 146 147 152 155 161 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236
a 3 4 8 10 15 16 18 19 20 25 27 29 32 34 38 44 45 49 50 53 55 56 57 58 60 63 67 68 74 75 76 77 80 82 83 86 88 91 98 99 103 105 112 119 125 127 129 130 138 141 146 147 152 155 161 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236
a 3 4 8 10 15 16 18 19 20 25 27 29 32 34 38 43 44 45 49 50 53 55 56 57 58 60 63 67 68 74 75 76 77 82 83 86 88 91 98 99 103 105 112 119 125 127 129 130 138 141 146 147 152 155 161 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236
a 3 4 8 10 15 16 18 19 20 25 27 29 32 34 38 43 44 45 49 50 53 55 56 57 58 60 63 67 68 74 75 76 77 82 83 86 88 91 98 99 103 105 112 119 125 127 129 130 141 146 147 152 155 161 166 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236
a 3 4 8 10 15 16 18 19 20 25 27 29 32 34 35 38 43 44 45 49 50 53 55 56 57 58 60 63 67 68 74 75 76 77 83 86 88 91 98 99 103 105 112 119 125 127 129 130 141 146 147 152 155 161 166 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236
a 3 4 8 10 15 16 18 19 20 25 27 29 32 34 35 38 43 44 45 49 50 53 55 56 57 58 60 63 67 68 74 75 76 77 83 86 88 91 99 103 105 112 119 125 127 129 130 141 146 147 152 155 161 166 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236 240
a 3 4 8 10 15 16 18 19 20 25 27 29 32 34 35 38 43 44 45 49 50 53 55 56 57 58 60 63 67 68 74 75 76 77 83 86 88 91 99 103 105 112 119 125 127 129 130 141 146 147 155 161 164 166 168 170 172 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236 240
a 3 4 8 10 15 16 18 19 20 25 27 29 32 34 35 38 43 44 45 49 50 53 55 56 57 58 60 63 67 68 74 75 76 77 83 86 88 91 99 103 105 112 125 127 129 130 141 146 147 155 161 164 166 168 170 172 175 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236 240
a 3 4 8 10 15 16 18 19 20 27 29 32 34 35 38 43 44 45 49 50 53 55 56 57 58 60 63 67 68 74 75 76 77 83 86 88 90 91 99 103 105 112 125 127 129 130 141 146 147 155 161 164 166 168 170 172 175 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236 240
a 3 4 8 10 15 16 18 19 20 27 29 32 34 35 38 43 44 45 49 50 53 55 56 58 60 63 67 68 74 75 76 77 83 86 88 90 91 99 103 105 112 125 127 129 130 141 146 147 155 161 164 166 168 170 172 175 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236 239 240
a 3 4 8 10 15 16 18 19 20 27 29 32 34 35 38 43 44 45 49 50 53 55 56 58 60 63 67 68 74 75 76 83 86 88 90 91 99 103 105 112 125 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236 239 240
a 3 4 5 8 10 15 16 18 19 20 27 29 32 34 35 38 43 44 45 49 50 53 55 56 60 63 67 68 74 75 76 83 86 88 90 91 99 103 105 112 125 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236 239 240
a 3 4 5 8 10 15 16 18 19 20 27 29 32 34 35 38 43 44 45 49 50 55 56 60 63 67 68 74 75 76 83 86 88 90 91 99 103 105 112 125 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 176 177 178 179 180 184 189 190 194 198 201 206 207 208 209 211 218 219 220 235 236 239 240 246
a 3 4 5 8 10 15 16 18 19 20 27 29 32 34 35 38 43 44 45 49 50 55 56 60 63 67 68 74 76 83 86 88 90 91 99 103 105 112 125 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 176 177 178 179 180 184 189 190 191 194 198 201 206 207 208 209 211 218 219 220 235 236 239 240 246
a 3 4 5 8 10 15 16 18 19 20 23 27 29 32 34 35 38 43 44 45 49 50 55 60 63 67 68 74 76 83 86 88 90 91 99 103 105 112 125 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 176 177 178 179 180 184 189 190 191 194 198 201 206 207 208 209 211 218 219 220 235 236 239 240 246
a 3 4 5 8 10 15 16 18 19 20 23 27 29 32 34 35 38 43 44 45 49 50 55 60 63 67 68 74 76 83 86 88 90 91 99 103 105 112 125 126 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 177 178 179 180 184 189 190 191 194 198 201 206 207 208 209 211 218 219 220 235 236 239 240 246
a 3 4 5 8 10 15 16 18 19 20 23 27 29 34 35 38 43 44 45 49 50 55 60 63 67 68 74 76 78 83 86 88 90 91 99 103 105 112 125 126 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 177 178 179 180 184 189 190 191 194 198 201 206 207 208 209 211 218 219 220 235 236 239 240 246
a 3 4 5 8 10 13 15 16 18 19 20 23 27 29 34 35 38 43 44 45 49 50 55 60 63 67 68 74 76 78 83 86 88 90 91 99 103 105 112 125 126 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 178 179 180 184 189 190 191 194 198 201 206 207 208 209 211 218 219 220 235 236 239 240 246
a 3 4 5 8 10 13 15 16 18 19 20 23 27 29 34 35 38 43 45 49 50 55 60 63 67 68 74 76 78 83 86 88 90 91 99 103 105 112 125 126 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 178 179 180 181 184 189 190 191 194 198 201 206 207 208 209 211 218 219 220 235 236 239 240 246
a 3 4 5 8 10 13 15 16 18 19 20 23 27 29 34 35 38 43 45 49 50 55 60 63 67 74 76 78 83 86 88 90 91 99 103 105 112 125 126 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 178 179 180 181 184 189 190 191 194 198 201 206 207 208 209 211 212 218 219 220 235 236 239 240 246
a 3 4 5 8 10 13 15 16 18 19 20 23 27 29 34 35 38 43 45 49 50 55 60 63 67 74 76 78 83 86 88 90 91 99 103 105 112 125 126 127 129 130 141 145 146 147 155 161 164 166 168 170 172 175 178 179 180 181 184 189 190 191 194 198 201 202 206 207 208 209 211 212 219 220 235 236 239 240 246
a 3 4 5 8 10 13 15 16 18 19 20 23 27 29 34 35 38 43 45 49 50 55 60 63 67 74 76 78 83 86 88 90 91 99 103 105 112 125 126 127 129 130 141 144 145 146 147 155 161 164 166 168 170 172 175 178 179 180 181 184 189 190 191 194 198 202 206 207 208 209 211 212 219 220 235 236 239 240 246
a 3 4 5 8 10 13 15 16 18 19 20 23 27 29 34 35 38 42 43 45 49 50 55 60 63 67 74 76 78 83 86 88 90 91 99 103 105 112 125 126 127 129 130 141 144 145 146 147 155 161 164 166 168 170 172 175 178 179 180 181 184 189 190 191 194 198 202 206 207 208 209 212 219 220 235 236 239 240 246
a 3 4 5 8 10 13 15 16 18 19 20 23 27 29 34 35 38 42 43 45 49 50 55 60 63 67 74 78 83 86 88 90 91 99 103 105 112 125 126 127 129 130 141 144 145 146 147 155 161 163 164 166 168 170 172 175 178 179 180 181 184 189 190 191 194 198 202 206 207 208 209 212 219 220 235 236 239 240 246
a 3 4 5 8 10 13 15 16 18 19 20 23 27 29 34 35 38 42 43 45 49 50 55 60 63 67 74 78 83 86 88 90 91 94 99 103 105 112 125 126 127 129 130 141 144 145 146 147 155 161 163 164 166 168 170 172 175 178 179 180 181 184 189 190 191 194 198 202 207 208 209 212 219 220 235 236 239 240 246
a 3 4 5 8 10 13 15 16 18 19 20 23 27 29 34 35 38 42 43 45 48 49 50 55 60 63 67 74 78 83 86 88 90 91 94 99 103 105 112 126 127 129 130 141 144 145 146 147 155 161 163 164 166 168 170 172 175 178 179 180 181 184 189 190 191 194 198 202 207 208 209 212 219 220 235 236 239 240 246
a 3 4 5 8 10 13 15 16 18 19 20 23 27 29 34 35 38 42 43 45 48 49 50 55 60 63 67 74 78 83 86 88 90 91 94 99 103 104 105 112 126 129 130 141 144 145 146 147 155 161 163 164 166 168 170 172 175 178 179 180 181 184 189 190 191 194 198 202 207 208 209 212 219 220 235 236 239 240 246
a 3 4 5 8 10 13 16 18 19 20 23 27 29 34 35 38 42 43 45 48 49 50 55 60 63 67 74 78 83 86 88 90 91 94 99 103 104 105 112 126 129 130 141 144 145 146 147 155 161 163 164 166 168 170 172 175 178 179 180 181 184 189 190 191 193 194 198 202 207 208 209 212 219 220 235 236 239 240 246
a 3 4 5 8 10 13 16 18 19 20 23 27 29 30 34 35 38 42 43 45 48 49 50 55 60 63 74 78 83 86 88 90 91 94 99 103 104 105 112 126 129 130 141 144 145 146 147 155 161 163 164 166 168 170 172 175 178 179 180 181 184 189 190 191 193 194 198 202 207 208 209 212 219 220 235 236 239 240 246
a 3 4 5 8 10 13 16 18 19 20 23 27 29 30 34 35 38 42 43 45 48 49 50 55 60 63 74 78 83 84 86 88 90 91 94 99 103 104 105 112 126 129 130 141 144 145 146 147 155 161 163 164 166 168 170 172 175 178 179 180 181 184 189 190 191 193 194 202 207 208 209 212 219 220 235 236 239 240 246
a 3 4 5 8 10 13 16 18 19 20 23 27 29 30 34 35 38 42 43 45 48 49 50 55 60 63 74 78 83 84 88 90 91 94 99 103 104 105 109 112 126 129 130 141 144 145 146 147 155 161 163 164 166 168 170 172 175 178 179 180 181 184 189 190 191 193 194 202 207 208 209 212 219 220 235 236 239 240 246
c Step: 133
#END: [Mon Sep  4 22:35:59 2023]