#BEGIN: [Tue Sep 26 08:09:20 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance022_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance022_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance022_graph003.col /benchmark/random_instance/random_instance022_graph003_01.dat
c /benchmark/random_instance/random_instance022_graph003.col
c /benchmark/random_instance/random_instance022_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 9af10b640cae4d0e62492210d46ed63234d17dbef5d5fc3cbcee679936a24757
s 154 213 279 176 252 130 284 55 103 246 162 207 1 151 40 3 37 9 4 175 51 164 29 38 219 150 43 61 255 268 104 86 269 127 47 17 241 149 116 57 281 198 274 112 282 93 275 7 121 85 245 60 84 31 204 166 260 68 82 221 144 20 272 135 233 16 118 65 140 249 56 179 75 262 248 53 101 35 48 158 49 36 124 201 123 159 227 143 88
t 153 240 38 73 16 226 111 4 225 157 13 36 114 181 261 125 22 53 283 107 87 243 280 15 200 194 165 250 223 257 190 201 152 126 133 234 56 148 161 182 3 92 75 74 140 207 255 96 2 106 274 144 268 155 141 32 124 217 68 81 278 231 94 162 98 40 281 101 39 82 83 23 72 166 192 128 89 10 65 9 221 52 84 25 7 54 59 224 37
a YES
a 1 3 4 7 9 16 17 20 29 31 35 36 37 38 40 43 47 48 49 51 53 55 56 57 60 61 65 68 75 82 84 85 86 88 93 101 103 104 112 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 175 176 179 198 201 204 207 213 219 221 227 233 241 245 246 248 249 252 255 260 262 268 269 272 274 275 279 281 282 284
a 1 3 4 7 9 16 17 20 29 31 35 36 37 40 43 47 48 49 51 53 55 56 57 60 61 65 68 75 82 84 85 86 88 93 101 103 104 112 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 175 176 179 198 201 204 207 213 219 221 227 233 241 245 246 248 249 252 255 260 262 264 268 269 272 274 275 279 281 282 284
a 1 3 4 7 9 16 17 20 23 29 31 35 36 37 40 43 47 48 49 51 53 55 56 57 60 61 65 68 75 82 84 85 86 88 93 101 103 112 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 175 176 179 198 201 204 207 213 219 221 227 233 241 245 246 248 249 252 255 260 262 264 268 269 272 274 275 279 281 282 284
a 1 3 4 7 9 16 17 20 23 29 31 35 36 37 40 43 47 48 49 51 53 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 101 103 112 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 175 176 179 198 201 204 207 213 219 221 227 233 241 245 246 248 249 252 255 260 262 264 268 269 272 274 275 279 282 284
a 1 3 4 7 9 16 17 20 23 29 31 35 36 37 40 43 47 48 49 51 53 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 101 103 112 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 175 176 179 198 201 204 207 210 213 219 221 227 233 241 245 246 248 249 252 255 260 262 264 269 272 274 275 279 282 284
a 1 3 4 7 9 17 20 23 29 31 35 36 37 40 43 47 48 49 51 53 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 101 103 112 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 175 176 179 198 201 204 207 208 210 213 219 221 227 233 241 245 246 248 249 252 255 260 262 264 269 272 274 275 279 282 284
a 1 3 4 7 9 17 20 23 29 31 35 36 37 40 43 47 48 49 51 53 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 101 103 112 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 170 175 176 179 198 201 204 207 208 210 213 219 221 227 233 241 245 246 248 249 252 255 262 264 269 272 274 275 279 282 284
a 1 3 4 7 9 17 20 23 29 31 35 36 37 40 43 47 48 49 51 53 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 96 101 103 112 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 170 175 176 179 198 201 204 207 208 210 213 219 221 227 233 241 245 246 248 249 252 255 262 264 269 272 274 275 279 284
a 1 3 4 7 9 17 20 23 29 31 35 36 37 40 43 47 48 49 51 53 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 96 98 101 103 112 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 170 175 176 179 198 201 207 208 210 213 219 221 227 233 241 245 246 248 249 252 255 262 264 269 272 274 275 279 284
a 1 3 4 7 9 17 20 23 29 31 35 36 37 40 43 47 48 49 51 53 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 96 98 101 103 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 170 175 176 179 198 201 207 208 210 213 219 221 227 233 236 241 245 246 248 249 252 255 262 264 269 272 274 275 279 284
a 1 3 4 7 9 17 20 23 29 31 35 36 37 40 43 47 48 49 51 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 96 98 101 103 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 166 170 175 176 179 198 201 207 208 210 213 219 221 227 233 236 241 245 246 248 249 252 255 262 264 269 272 274 275 279 284
a 1 3 4 7 9 17 20 23 29 31 35 36 37 40 43 47 48 49 51 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 166 170 175 176 179 198 201 207 208 210 213 219 221 227 233 236 241 245 246 248 249 252 255 262 264 269 272 274 275 279 284
a 1 3 4 7 9 17 20 23 29 31 35 36 37 40 43 47 48 49 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 166 170 175 176 179 198 201 207 208 210 213 219 221 227 233 236 241 245 246 248 249 252 255 262 264 269 272 274 275 279 282 284
a 1 3 4 7 9 17 20 23 29 31 35 36 37 40 43 47 48 49 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 166 170 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 248 249 255 262 264 269 272 274 275 279 282 284
a 1 3 4 7 17 20 23 29 31 35 36 37 40 43 47 48 49 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 166 170 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 248 249 255 262 264 269 270 272 274 275 279 282 284
a 1 3 4 7 17 20 23 29 31 35 36 37 40 43 47 48 49 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 166 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 247 248 249 255 262 264 269 270 272 274 275 279 282 284
a 1 3 4 7 17 20 23 29 31 35 36 37 40 43 47 48 49 51 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 247 248 249 255 262 264 269 270 272 274 275 279 282 284
a 1 3 4 7 17 20 23 29 31 35 36 37 43 47 48 49 51 55 56 57 60 61 65 68 72 75 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 247 248 249 255 262 264 269 270 272 274 275 279 282 284
a 1 3 4 7 17 23 29 31 35 36 37 43 47 48 49 51 55 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 247 248 249 255 262 264 269 270 272 274 275 279 282 284
a 1 3 4 7 9 17 23 29 31 35 36 37 43 47 48 49 51 55 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 247 248 249 255 262 264 269 272 274 275 279 282 284
a 1 3 4 7 9 17 23 29 31 35 36 37 43 47 48 49 51 55 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 279 282
a 1 3 4 7 9 17 23 29 31 35 36 37 40 43 47 48 49 51 55 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 112 116 118 121 123 124 127 130 135 138 140 143 144 149 150 151 154 158 159 162 164 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 279 282
a 1 3 4 7 9 17 23 29 31 35 36 37 40 43 47 48 49 51 55 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 112 116 118 120 121 123 124 127 130 138 140 143 144 149 150 151 154 158 159 162 164 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 279 282
a 1 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 55 56 57 60 61 63 65 68 72 75 79 82 84 85 86 88 93 98 101 103 112 116 118 120 121 123 124 127 130 138 140 143 144 149 150 151 154 158 159 162 164 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 279 282
a 1 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 55 56 57 60 61 63 65 68 72 75 79 82 84 85 86 88 93 98 101 103 112 116 118 120 121 123 124 127 130 138 140 143 144 149 150 151 154 158 159 162 164 170 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 279
a 1 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 55 56 57 60 61 63 65 68 72 75 79 82 84 85 86 88 93 98 101 103 112 116 118 120 121 123 124 127 130 138 140 143 144 149 150 151 154 158 159 162 164 170 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 279
a 1 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 55 56 57 60 61 63 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 138 140 143 144 149 150 151 154 158 159 162 164 170 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 277 279
a 1 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 56 57 60 61 63 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 138 140 143 144 149 150 151 154 158 159 162 164 170 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 277 279
a 1 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 60 61 63 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 138 140 143 144 149 150 151 154 158 159 162 164 170 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 277 279
a 1 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 60 61 63 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 154 158 159 162 164 170 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 277 279
a 1 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 56 57 60 61 63 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 154 158 159 162 164 170 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 241 245 246 247 248 249 255 262 264 269 272 274 275 277 279
a 1 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 154 158 159 162 164 170 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 238 241 245 246 247 248 249 255 262 264 269 272 274 275 277 279
a 1 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 154 158 159 162 164 170 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 237 238 241 245 246 247 248 249 255 262 264 269 272 274 275 279
a 1 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 154 158 159 160 162 164 170 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 238 241 245 246 247 248 249 255 262 264 269 272 274 275 279
a 1 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 154 158 159 160 162 164 170 175 176 179 180 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 247 248 249 255 262 264 269 272 274 275 279
a 1 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 154 158 159 160 162 164 170 175 176 179 180 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 247 248 249 255 262 264 269 272 273 274 279
a 1 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 154 158 159 160 162 164 170 171 175 176 179 180 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 247 248 249 255 262 264 269 272 273 274 279
a 1 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 154 158 159 160 162 164 170 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 247 248 249 255 262 264 269 272 273 274 279 284
a 1 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 56 57 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 241 245 246 247 248 249 255 262 264 269 272 273 274 279 284
a 1 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 245 246 247 248 249 255 262 264 269 272 273 274 279 284
a 1 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 171 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 284
a 1 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 207 208 210 213 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 284
a 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 284
a 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 279 284
a 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 279 282 284
a 3 4 7 9 17 23 29 31 35 37 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 262 264 269 272 273 274 279 282 284
a 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 262 264 269 272 273 274 279 282
a 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 54 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 201 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 262 264 269 272 273 274 279 282
a 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 201 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 262 264 269 272 273 274 279 282
a 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 84 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 201 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 261 262 264 269 272 273 274 279 282
a 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 261 262 264 269 272 273 274 279 282
a 3 4 7 9 17 23 29 31 35 37 40 43 47 48 49 51 54 56 57 59 60 61 65 68 72 75 79 82 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 261 262 264 269 272 273 274 279 282
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 54 56 57 59 60 61 65 68 72 75 79 82 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 205 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 261 262 264 269 272 273 274 279 282
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 205 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 261 262 264 269 272 273 274 279 282 284
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 262 264 269 272 273 274 279 282 284
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 262 264 269 272 273 274 277 279 282
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 262 264 269 272 273 274 277 279 284
a 3 4 7 9 17 23 29 35 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 262 264 269 272 273 274 277 279 284
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 85 86 88 93 98 101 103 116 118 119 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 262 264 269 272 273 274 277 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 198 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 277 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 83 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 187 198 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 277 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 83 85 86 88 93 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 187 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 57 59 60 61 65 68 72 75 79 82 83 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 187 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 59 60 61 65 68 72 75 79 82 83 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 130 132 134 138 140 143 144 149 150 151 152 158 159 160 162 164 170 175 176 187 191 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 59 60 61 65 68 72 75 79 82 83 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 130 132 134 138 143 144 149 150 151 152 158 159 160 162 164 170 175 176 187 191 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 59 60 61 65 68 72 75 79 82 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 130 132 134 138 143 144 149 150 151 152 158 159 160 162 164 170 175 176 179 187 191 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 59 60 61 65 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 130 132 134 138 143 144 149 150 151 152 158 159 160 162 164 170 175 179 187 191 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 59 60 61 65 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 150 151 152 158 159 160 162 164 170 175 179 187 191 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 255 262 264 269 272 273 274
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 59 60 61 65 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 150 151 152 158 159 160 162 164 170 175 179 187 191 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 249 255 262 264 269 272 273 274 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 60 61 65 68 72 75 79 82 85 86 88 93 96 98 101 102 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 150 151 152 158 159 160 162 164 170 175 179 187 191 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 249 255 262 264 269 272 273 274 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 60 61 65 68 72 75 79 82 85 86 88 93 96 98 101 102 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 150 151 152 158 159 160 162 164 170 175 179 186 187 191 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 249 255 262 264 269 272 273 274 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 60 61 65 68 72 75 79 82 85 86 88 93 96 98 101 102 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 152 158 159 160 162 164 170 175 179 186 187 191 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 249 254 255 262 264 269 272 273 274 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 60 61 65 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 152 158 159 160 162 164 170 175 179 186 187 191 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 249 254 255 262 264 269 272 273 274 275 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 60 61 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 152 158 159 160 162 164 170 175 179 186 187 191 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 249 254 255 262 264 269 272 273 274 275 279 284
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 56 60 61 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 152 158 159 160 162 164 170 175 179 186 187 191 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 152 158 159 160 162 164 170 175 179 186 187 191 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 154 158 159 160 162 164 170 175 179 186 187 191 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 154 158 159 160 162 164 170 175 179 186 187 191 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275 277 279
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 60 61 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 154 158 159 160 162 164 170 175 179 186 187 191 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275 277 279 284
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 154 158 159 160 162 164 170 175 179 186 187 191 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275 277 284
a 3 4 7 9 17 23 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 154 158 159 160 162 164 170 175 179 186 187 191 201 202 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275 277
a 3 4 7 17 23 27 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 154 158 159 160 162 164 170 175 179 186 187 191 201 202 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275 277
a 3 4 7 17 20 23 27 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 143 144 149 151 154 158 159 160 162 164 170 175 179 186 187 191 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275 277
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 151 154 158 159 160 162 164 170 175 179 186 187 191 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275 277
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 60 61 65 67 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 151 154 158 159 160 162 164 170 175 179 186 187 191 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 275
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 60 61 65 67 68 72 75 79 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 151 154 158 159 160 162 164 170 175 179 186 187 191 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 277
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 60 61 65 67 68 72 75 79 82 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 151 154 158 159 160 162 164 170 175 176 179 186 187 191 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274 277
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 60 61 65 67 68 72 75 79 82 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 151 154 158 159 160 162 164 170 175 176 179 186 187 191 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 151 154 158 159 160 162 164 170 175 176 179 186 187 191 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274
a 3 4 7 17 20 23 29 31 34 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 151 154 158 159 160 162 164 170 175 176 179 186 187 191 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 274
a 3 4 7 17 20 23 29 31 34 35 40 43 47 48 49 51 60 61 67 68 72 75 79 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 151 154 158 159 160 162 164 170 175 176 179 186 187 191 198 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 279
a 3 4 7 17 20 23 29 31 34 35 40 43 47 48 49 51 60 61 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 151 154 158 159 160 162 164 170 175 176 179 186 187 191 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 272 273 279
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 151 154 158 159 160 162 164 170 175 176 179 186 187 191 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 270 272 273 279
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 154 158 159 160 162 164 170 175 176 179 186 187 191 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 266 269 270 272 273 279
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 60 61 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 134 138 140 143 144 149 154 158 159 160 162 164 170 175 176 179 186 187 191 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 270 272 273 274 279
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 54 60 61 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 154 158 159 160 162 164 170 175 176 179 186 187 191 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 246 247 248 249 254 255 262 264 269 270 272 273 274 279
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 54 60 61 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 154 158 159 160 162 164 170 175 176 179 186 187 191 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 254 255 261 262 264 269 270 272 273 274 279
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 54 60 61 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 154 158 159 160 162 164 170 175 176 179 186 187 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 254 255 261 262 264 269 270 272 273 274 279 282
a 3 4 7 17 20 23 29 31 35 40 43 47 48 49 51 54 60 61 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 154 158 159 160 162 164 166 170 175 176 179 186 187 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 254 255 261 262 264 269 270 272 273 274 279
a 4 7 17 20 23 29 31 35 40 43 47 48 49 51 54 60 61 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 154 158 159 160 162 164 166 170 175 176 179 186 187 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 254 255 261 262 264 266 269 270 272 273 274 279
a 4 7 17 20 23 29 31 35 40 43 47 48 49 51 52 54 60 61 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 154 158 159 160 162 164 166 170 175 176 179 186 187 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 254 255 261 262 264 266 269 270 272 274 279
a 4 7 17 20 23 29 31 35 40 43 47 48 49 51 52 54 60 61 65 67 68 72 75 82 85 86 88 93 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 154 158 159 160 162 164 166 170 175 176 179 186 187 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 254 255 261 262 264 266 269 270 272 274
a 4 7 17 20 23 29 31 35 40 43 47 48 49 51 52 54 60 61 65 67 68 72 75 82 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 158 159 160 162 164 166 170 175 176 179 186 187 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 245 247 248 249 254 255 261 262 264 266 269 270 272 274
a 4 7 15 17 20 23 29 31 35 40 43 47 48 49 51 52 54 60 61 65 67 68 72 75 82 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 158 159 160 162 164 166 170 175 176 179 186 187 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 247 248 249 254 255 261 262 264 266 269 270 272 274
a 4 7 15 17 20 23 29 35 40 43 47 48 49 51 52 54 60 61 65 67 68 72 75 82 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 152 158 159 160 162 164 166 170 175 176 179 186 187 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 247 248 249 254 255 261 262 264 266 269 270 272 274
a 4 7 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 60 61 65 67 68 72 75 82 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 152 158 159 160 162 164 166 170 175 176 179 186 187 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 247 248 249 254 255 261 262 264 266 269 270 274
a 4 7 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 60 61 65 67 68 72 75 82 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 152 155 158 159 160 162 164 166 170 175 176 179 186 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 247 248 249 254 255 261 262 264 266 269 270 274
a 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 60 61 65 67 68 72 75 82 85 86 88 93 96 98 101 103 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 152 155 158 159 160 162 164 166 170 175 176 179 186 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 247 248 249 254 255 261 262 264 266 269 274
a 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 60 61 65 67 68 72 75 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 138 140 143 144 149 152 155 158 159 160 162 164 166 170 175 179 186 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 247 248 249 254 255 261 262 264 266 269 274
a 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 179 186 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 247 248 249 254 255 261 262 264 266 269 274
a 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 84 85 86 88 93 96 98 101 103 114 116 118 120 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 179 186 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 247 248 249 254 255 261 262 266 269 274
a 3 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 84 85 86 88 93 96 98 101 103 114 118 120 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 179 186 198 199 200 201 205 207 208 210 213 214 219 221 227 233 236 238 247 248 249 254 255 261 262 266 269 274
a 3 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 84 85 86 88 93 96 98 101 103 114 118 120 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 179 186 198 199 200 201 205 207 208 210 213 214 219 221 224 227 233 238 247 248 249 254 255 261 262 266 269 274
a 3 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 84 85 86 88 93 96 98 101 103 114 118 120 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 179 186 198 199 200 201 205 207 208 210 213 214 219 221 224 227 238 247 248 249 254 255 261 262 266 269 274 283
a 3 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 84 85 86 87 88 93 96 98 101 103 114 118 120 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 179 186 198 199 200 201 205 207 208 210 213 214 219 221 224 227 238 247 248 249 254 255 261 262 269 274 283
a 3 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 84 85 86 87 88 93 96 98 101 103 107 114 120 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 179 186 198 199 200 201 205 207 208 210 213 214 219 221 224 227 238 247 248 249 254 255 261 262 269 274 283
a 3 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 84 85 86 87 88 93 96 98 101 103 107 114 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 179 186 198 199 200 201 205 207 208 210 213 214 219 221 224 227 238 247 248 249 254 255 257 261 262 269 274 283
a 3 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 84 85 86 87 88 93 96 98 101 103 107 114 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 179 186 198 199 200 201 205 207 210 213 214 219 221 224 227 231 238 247 248 249 254 255 257 261 262 269 274 283
a 3 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 85 86 87 88 93 96 98 101 103 107 114 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 186 198 199 200 201 205 207 210 213 214 219 221 224 227 231 238 247 248 249 254 255 257 261 262 269 274 283
a 2 3 4 7 9 15 17 20 23 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 85 86 87 88 93 96 98 101 103 107 114 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 186 198 200 201 205 207 210 213 214 219 221 224 227 231 238 247 248 249 254 255 257 261 262 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 85 86 87 88 93 96 98 101 103 107 114 121 123 124 127 128 130 132 138 140 143 144 152 155 158 159 160 162 164 166 170 175 186 198 200 201 205 207 210 213 214 221 224 227 231 238 247 248 249 254 255 257 261 262 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 35 36 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 85 86 87 88 93 96 98 101 103 107 114 121 123 124 127 128 130 132 138 140 143 144 152 153 155 158 159 160 162 164 166 170 175 186 198 200 201 205 207 210 214 221 224 227 231 238 247 248 249 254 255 257 261 262 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 35 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 85 86 87 88 93 96 98 101 103 107 114 121 123 124 127 128 130 132 138 140 143 144 152 153 155 158 159 160 162 164 166 170 175 186 198 200 201 205 207 214 221 224 227 231 238 247 248 249 254 255 257 261 262 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 35 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 85 86 87 88 93 96 98 101 103 107 114 121 123 124 127 128 130 132 138 140 143 144 152 153 155 158 159 160 162 166 170 175 181 186 198 200 201 205 207 214 221 224 227 231 238 247 248 249 254 255 257 261 262 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 35 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 85 86 87 88 93 96 98 101 103 107 114 123 124 126 127 128 130 132 138 140 143 144 152 153 155 158 159 160 162 166 170 175 181 186 198 200 201 205 207 214 221 224 227 231 238 247 248 249 254 255 257 261 262 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 35 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 85 86 87 88 93 96 98 101 103 107 114 123 124 126 127 128 130 132 138 140 143 144 152 153 155 158 159 160 162 166 175 181 186 198 200 201 205 207 214 221 224 227 231 238 247 248 249 254 255 257 261 262 268 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 35 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 86 87 88 93 96 98 101 103 107 114 123 124 126 127 128 130 132 138 140 143 144 152 153 155 158 159 160 162 166 175 181 186 198 200 201 205 207 214 221 224 227 231 238 243 247 248 249 254 255 257 261 262 268 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 35 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 86 87 88 93 96 98 101 103 107 114 123 124 126 127 128 130 132 138 140 143 144 152 153 155 158 160 162 166 175 181 186 190 198 200 201 205 207 214 221 224 227 231 238 243 247 248 249 254 255 257 261 262 268 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 86 87 88 93 96 98 101 103 107 114 123 124 126 127 128 130 132 138 140 143 144 152 153 155 158 160 162 166 175 181 186 190 198 200 201 205 207 214 221 224 227 231 234 238 243 247 248 249 254 255 257 261 262 268 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 86 87 88 93 96 98 101 103 107 114 123 124 126 128 130 132 138 140 143 144 152 153 155 158 160 162 166 175 181 186 190 198 200 201 205 207 214 221 224 226 227 231 234 238 243 247 248 249 254 255 257 261 262 268 269 274 283
a 2 3 4 7 9 15 17 20 23 25 29 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 86 87 88 93 96 98 101 103 107 114 123 124 126 128 130 132 133 138 140 143 144 152 153 155 158 160 162 166 175 181 186 190 198 200 201 205 207 221 224 226 227 231 234 238 243 247 248 249 254 255 257 261 262 268 269 274 283
a 2 3 4 7 9 10 15 17 20 23 25 29 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 87 88 93 96 98 101 103 107 114 123 124 126 128 130 132 133 138 140 143 144 152 153 155 158 160 162 166 175 181 186 190 198 200 201 205 207 221 224 226 227 231 234 238 243 247 248 249 254 255 257 261 262 268 269 274 283
a 2 3 4 7 9 10 15 17 20 23 25 29 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 75 82 83 84 87 88 93 96 98 101 103 107 114 123 124 126 128 130 132 133 138 140 143 144 152 153 155 158 160 162 166 175 181 186 190 198 200 201 207 221 224 226 227 231 234 238 243 247 248 249 254 255 257 261 262 268 269 274 281 283
a 2 3 4 7 9 10 15 17 20 23 25 29 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 73 75 82 83 84 87 88 93 96 98 101 103 107 114 123 124 126 128 130 132 133 138 140 143 144 152 153 155 158 160 162 166 175 181 186 190 198 200 201 207 221 224 226 227 231 234 238 243 247 248 249 255 257 261 262 268 269 274 281 283
a 2 3 4 7 9 10 15 17 20 23 25 29 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 73 75 82 83 84 87 88 92 93 96 98 101 103 107 114 123 124 126 128 130 132 133 138 140 143 144 152 153 155 158 160 162 166 175 181 186 190 200 201 207 221 224 226 227 231 234 238 243 247 248 249 255 257 261 262 268 269 274 281 283
a 2 3 4 7 9 10 15 17 20 23 25 29 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 73 75 82 83 84 87 88 92 93 96 98 101 103 107 114 123 124 126 128 130 132 133 138 140 144 152 153 155 157 158 160 162 166 175 181 186 190 200 201 207 221 224 226 227 231 234 238 243 247 248 249 255 257 261 262 268 269 274 281 283
a 2 3 4 7 9 10 15 17 20 23 25 29 32 36 38 40 43 47 48 49 51 52 54 59 60 61 65 67 68 72 73 75 82 83 84 87 88 92 93 96 98 101 103 107 114 123 124 126 128 130 132 133 138 140 144 152 153 155 157 160 162 166 175 181 186 190 200 201 207 221 224 226 227 231 234 238 243 247 248 249 255 257 261 262 268 269 274 281 283
a 2 3 4 7 9 10 15 17 20 23 25 29 32 36 38 40 43 47 48 49 51 52 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 96 98 101 103 107 114 123 124 126 128 130 132 133 138 140 144 152 153 155 157 160 162 166 175 181 186 190 200 201 207 221 224 226 227 231 234 238 243 247 248 249 255 257 261 262 268 269 274 281 283
a 2 3 4 7 9 10 15 17 20 23 25 29 32 36 38 40 47 48 49 51 52 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 94 96 98 101 103 107 114 123 124 126 128 130 132 133 138 140 144 152 153 155 157 160 162 166 175 181 186 190 200 201 207 221 224 226 227 231 234 238 243 247 248 249 255 257 261 262 268 269 274 281 283
a 2 3 4 7 9 10 15 17 20 23 25 29 32 36 38 40 47 48 49 51 52 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 94 96 98 101 103 107 114 123 124 126 128 130 132 133 140 144 152 153 155 157 160 162 166 175 181 186 190 194 200 201 207 221 224 226 227 231 234 238 243 247 248 249 255 257 261 262 268 269 274 281 283
a 2 3 4 7 9 10 15 20 23 25 29 32 36 38 40 47 48 49 51 52 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 94 96 98 101 103 107 114 123 124 126 128 130 132 133 140 144 152 153 155 157 160 162 166 175 181 186 190 194 200 201 207 221 224 226 227 231 234 238 243 247 248 249 255 257 261 262 268 269 274 278 281 283
a 2 3 4 7 9 10 15 20 23 25 29 32 36 38 40 47 48 49 51 52 53 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 94 96 98 101 103 107 114 123 124 126 128 130 132 133 140 144 152 153 155 157 160 162 166 175 181 186 190 194 200 201 207 221 224 226 227 231 234 238 243 248 249 255 257 261 262 268 269 274 278 281 283
a 2 3 4 7 9 10 15 20 23 25 29 32 36 38 40 47 48 49 51 52 53 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 94 96 98 101 103 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 160 162 166 175 181 186 190 194 200 201 207 221 224 226 231 234 238 243 248 249 255 257 261 262 268 269 274 278 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 38 40 47 48 49 51 52 53 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 94 96 98 101 103 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 160 162 166 175 181 186 190 194 200 201 207 221 224 226 231 234 238 243 248 249 255 257 261 262 268 274 278 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 38 40 47 48 51 52 53 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 94 96 98 101 103 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 160 162 166 175 181 186 190 194 200 201 207 221 224 226 231 234 238 243 248 249 255 257 261 262 268 274 278 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 38 40 47 48 51 52 53 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 94 96 98 101 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 160 162 165 166 175 181 186 190 194 200 201 207 221 224 226 231 234 238 243 248 249 255 257 261 262 268 274 278 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 38 40 47 48 51 52 53 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 94 96 98 101 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 160 162 165 166 175 181 190 194 200 201 207 221 223 224 226 231 234 238 243 248 249 255 257 261 262 268 274 278 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 38 39 40 47 48 51 52 53 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 93 94 96 98 101 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 162 165 166 175 181 190 194 200 201 207 221 223 224 226 231 234 238 243 248 249 255 257 261 262 268 274 278 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 37 38 39 40 47 48 51 52 53 54 56 59 60 61 65 68 72 73 75 82 83 84 87 88 92 94 96 98 101 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 162 165 166 175 181 190 194 200 201 207 221 223 224 226 231 234 238 243 248 249 255 257 261 262 268 274 278 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 37 38 39 40 47 48 51 52 53 54 56 59 60 65 68 72 73 75 82 83 84 87 88 89 92 94 96 98 101 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 162 165 166 175 181 190 194 200 201 207 221 223 224 226 231 234 238 243 248 249 255 257 261 262 268 274 278 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 37 38 39 40 48 51 52 53 54 56 59 60 65 68 72 73 75 82 83 84 87 88 89 92 94 96 98 101 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 161 162 165 166 175 181 190 194 200 201 207 221 223 224 226 231 234 238 243 248 249 255 257 261 262 268 274 278 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 37 38 39 40 48 51 52 53 54 56 59 60 65 68 72 73 75 82 83 84 87 89 92 94 96 98 101 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 161 162 165 166 175 181 190 192 194 200 201 207 221 223 224 226 231 234 238 243 248 249 255 257 261 262 268 274 278 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 37 38 39 40 48 51 52 53 54 56 59 60 65 68 72 73 75 82 83 84 87 89 92 94 96 98 101 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 161 162 165 166 181 190 192 194 200 201 207 221 223 224 226 231 234 238 243 248 249 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 15 16 20 23 25 29 32 36 37 38 39 40 48 51 52 53 54 56 59 60 65 68 72 73 75 81 82 83 84 87 89 92 94 96 98 101 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 161 162 165 166 181 190 192 194 200 201 207 221 223 224 226 231 234 238 243 248 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 20 23 25 32 36 37 38 39 40 48 51 52 53 54 56 59 60 65 68 72 73 75 81 82 83 84 87 89 92 94 96 98 101 106 107 114 123 124 126 128 130 132 133 140 144 148 152 153 155 157 161 162 165 166 181 190 192 194 200 201 207 221 223 224 226 231 234 238 243 248 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 20 23 25 32 36 37 38 39 40 48 51 52 53 54 56 59 60 65 68 72 73 75 81 82 83 84 87 89 92 94 96 98 101 106 107 114 123 124 126 128 132 133 140 144 148 152 153 155 157 161 162 165 166 181 190 192 194 200 201 207 221 223 224 225 226 231 234 238 243 248 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 20 23 25 32 36 37 38 39 40 51 52 53 54 56 59 60 65 68 72 73 75 81 82 83 84 87 89 92 94 96 98 101 106 107 114 123 124 126 128 132 133 140 144 148 152 153 155 157 161 162 165 166 181 190 192 194 200 201 207 217 221 223 224 225 226 231 234 238 243 248 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 20 23 25 32 36 37 38 39 40 51 52 53 54 56 59 60 65 68 72 73 75 81 82 83 84 87 89 92 94 96 98 101 106 107 114 123 124 126 128 133 140 144 148 152 153 155 157 161 162 165 166 181 182 190 192 194 200 201 207 217 221 223 224 225 226 231 234 238 243 248 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 20 23 25 32 36 37 38 39 40 51 52 53 54 56 59 60 65 68 72 73 75 81 82 83 84 87 89 92 94 96 98 101 106 107 114 124 126 128 133 140 144 148 152 153 155 157 161 162 165 166 181 182 190 192 194 200 201 207 217 221 223 224 225 226 231 234 238 243 248 250 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 20 22 23 25 32 36 37 38 39 40 51 52 53 54 56 59 65 68 72 73 75 81 82 83 84 87 89 92 94 96 98 101 106 107 114 124 126 128 133 140 144 148 152 153 155 157 161 162 165 166 181 182 190 192 194 200 201 207 217 221 223 224 225 226 231 234 238 243 248 250 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 20 22 23 25 32 36 37 38 39 40 52 53 54 56 59 65 68 72 73 75 81 82 83 84 87 89 92 94 96 98 101 106 107 111 114 124 126 128 133 140 144 148 152 153 155 157 161 162 165 166 181 182 190 192 194 200 201 207 217 221 223 224 225 226 231 234 238 243 248 250 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 20 22 23 25 32 36 37 38 39 40 52 53 54 56 59 65 68 72 73 75 81 82 83 84 87 89 92 94 96 98 101 106 107 111 114 124 125 126 128 133 140 144 148 152 153 155 157 161 162 165 166 181 182 190 192 194 200 201 207 217 221 223 224 225 226 231 234 243 248 250 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 22 23 25 32 36 37 38 39 40 52 53 54 56 59 65 68 72 73 74 75 81 82 83 84 87 89 92 94 96 98 101 106 107 111 114 124 125 126 128 133 140 144 148 152 153 155 157 161 162 165 166 181 182 190 192 194 200 201 207 217 221 223 224 225 226 231 234 243 248 250 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 22 23 25 32 36 37 38 39 40 52 53 54 56 59 65 68 72 73 74 75 81 82 83 84 87 89 92 94 96 98 101 106 107 111 114 124 125 126 128 133 140 141 144 148 152 153 155 157 161 162 165 166 181 182 190 192 194 200 201 207 217 221 223 224 225 226 231 234 243 250 255 257 261 262 268 274 278 280 281 283
a 2 3 4 7 9 10 13 15 16 22 23 25 32 36 37 38 39 40 52 53 54 56 59 65 68 72 73 74 75 81 82 83 84 87 89 92 94 96 98 101 106 107 111 114 124 125 126 128 133 140 141 144 148 152 153 155 157 161 162 165 166 181 182 190 192 194 200 201 207 217 221 223 224 225 226 231 234 240 243 250 255 257 261 268 274 278 280 281 283
c Step: 164
#END: [Tue Sep 26 08:39:20 2023]