#BEGIN: [Tue Sep 5 09:25:21 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance027_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph001_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_instance027_graph001.col /benchmark/random_instance/random_instance027_graph001_01.dat c /benchmark/random_instance/random_instance027_graph001.col c /benchmark/random_instance/random_instance027_graph001_01.dat TIMEOUT 1800 c send SIGTERM to CID 4d203fd20780c2750aec86c0c3c37e02d3e9479320ab7f440619675ea67916e4 s 118 328 278 227 217 320 253 70 294 119 222 261 221 301 57 160 4 51 178 100 117 322 79 267 247 235 88 331 137 245 248 264 185 61 306 113 75 231 300 189 97 157 177 345 280 43 259 93 134 276 244 340 316 148 53 107 232 164 224 166 287 334 64 23 302 123 109 229 121 183 343 44 22 191 333 66 13 128 242 122 120 240 32 170 39 132 138 71 87 252 52 187 9 275 2 239 111 36 72 3 161 76 200 112 59 28 258 196 63 305 135 46 337 146 180 223 127 341 27 266 103 t 288 51 37 79 345 142 113 81 266 22 10 94 259 205 83 305 263 196 294 89 334 177 76 316 243 306 29 264 283 8 75 178 117 295 229 333 304 252 144 226 90 326 261 257 190 223 59 30 11 49 21 66 135 253 189 291 132 184 309 256 181 187 84 287 123 3 64 191 311 281 341 169 63 44 133 300 183 119 339 276 207 12 217 331 185 162 240 244 267 328 343 111 65 248 335 9 1 134 118 161 121 43 285 17 160 2 342 39 124 54 52 292 102 32 239 337 4 27 97 296 108 a YES a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 146 148 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 59 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 59 63 64 66 70 71 72 75 76 79 87 88 93 94 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 59 61 63 64 66 70 71 72 75 76 79 87 88 93 94 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 59 61 63 64 66 71 72 75 76 79 84 87 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 59 61 63 64 66 71 72 75 76 79 84 87 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 183 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 349 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 59 61 63 64 66 71 72 75 76 79 84 87 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 289 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 349 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 52 53 59 61 63 64 66 71 72 75 76 79 84 87 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 187 189 191 196 200 217 221 222 223 224 227 229 231 232 234 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 289 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 349 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 52 53 59 61 63 64 66 71 72 75 76 79 84 87 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 234 235 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 278 280 287 289 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 349 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 59 61 63 64 66 71 72 75 76 79 84 87 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 278 280 287 289 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 349 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 59 61 63 64 66 71 72 75 76 79 84 87 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 278 280 287 289 294 300 301 302 305 306 316 320 322 328 331 334 337 340 341 343 345 349 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 59 61 63 64 66 71 72 75 76 79 84 87 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 278 280 287 289 294 300 301 302 305 306 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 21 22 23 27 28 32 36 39 43 44 46 51 52 53 59 61 63 64 66 71 72 75 76 79 84 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 278 280 287 289 294 300 301 302 305 306 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 21 22 23 27 28 32 36 39 43 44 46 51 52 53 59 61 63 64 66 71 72 75 76 79 84 88 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 294 300 301 302 305 306 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 71 72 75 76 79 84 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 294 300 301 302 305 306 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 71 72 75 76 79 84 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 71 72 75 76 79 84 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 235 237 239 240 241 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 67 71 72 75 76 79 84 88 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 235 237 239 240 241 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 67 71 72 75 76 79 84 88 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 221 222 223 224 227 229 231 232 235 237 239 240 241 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 67 71 72 75 76 79 84 87 88 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 221 222 223 224 227 229 231 232 235 237 239 240 241 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 67 70 71 72 75 76 79 87 88 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 221 222 223 224 227 229 231 232 235 237 239 240 241 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 67 70 71 72 75 76 79 87 88 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 221 222 223 224 227 229 231 232 235 237 239 240 241 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 67 70 71 72 75 76 79 87 88 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 135 137 138 142 146 153 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 221 222 223 224 227 231 232 235 237 239 240 241 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 67 70 71 72 75 76 79 87 88 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 153 157 160 161 164 166 170 177 178 180 185 187 189 191 196 200 206 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 67 70 71 72 75 76 79 87 88 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 164 166 170 177 178 180 181 185 187 189 191 196 200 206 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 328 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 67 70 71 72 75 76 79 87 88 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 164 166 170 177 178 180 181 185 187 189 191 196 200 206 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 60 61 63 64 66 67 70 71 72 75 76 79 87 88 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 164 166 170 177 178 180 181 185 187 189 191 196 200 206 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 164 166 170 177 178 180 181 185 187 189 191 196 200 206 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 166 175 177 178 180 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 280 287 289 300 301 302 305 306 312 316 320 322 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 166 175 177 178 180 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 287 289 300 301 302 305 306 309 312 316 320 322 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 128 132 134 137 138 142 146 153 157 160 161 162 166 170 175 177 178 180 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 287 289 300 301 302 305 306 309 312 316 320 322 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 128 132 134 137 138 142 146 153 157 160 161 162 166 170 175 177 178 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 287 289 300 301 302 305 306 309 312 316 320 322 330 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 128 132 134 137 138 142 146 153 157 160 161 162 166 170 175 177 178 181 185 187 189 191 196 200 206 208 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 287 289 300 301 302 305 306 309 312 316 320 322 330 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 128 132 134 137 138 142 146 153 157 160 161 162 166 170 175 177 178 181 185 187 189 191 196 200 206 208 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 287 289 300 301 302 305 306 309 312 316 320 322 330 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 128 132 134 137 138 142 146 153 157 160 161 162 166 170 175 177 178 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 287 289 300 301 302 305 306 309 312 316 320 322 330 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 166 170 175 177 178 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 274 275 276 287 289 300 301 302 305 306 309 312 316 320 322 330 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 133 134 137 138 142 146 153 157 160 161 166 170 175 177 178 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 289 300 301 302 305 306 309 312 316 320 322 330 331 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 133 134 137 138 142 146 153 157 160 161 166 170 175 177 178 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 289 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 39 43 44 46 51 52 53 57 59 60 61 63 64 66 70 71 72 75 76 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 133 134 137 138 142 146 153 157 160 161 166 170 175 177 178 180 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 289 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 39 43 44 46 51 52 53 57 59 60 63 64 66 70 71 72 75 76 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 133 134 137 138 142 146 153 157 160 161 166 170 175 177 178 180 181 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 289 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 39 43 44 46 51 52 53 57 59 60 63 64 66 70 71 72 75 76 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 133 134 137 138 142 146 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 39 43 44 46 51 52 57 59 60 63 64 66 70 71 72 75 76 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 133 134 137 138 142 146 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 66 70 71 72 75 76 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 133 134 137 138 142 146 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 66 70 71 72 75 76 78 79 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 345 a 2 3 4 9 13 19 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 66 71 72 75 76 78 79 84 87 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 345 a 2 3 4 9 13 19 21 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 66 71 72 75 76 78 79 84 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 345 a 2 3 4 9 13 19 21 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 75 76 78 79 84 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 345 a 2 3 4 9 13 19 21 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 75 76 78 79 84 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 202 206 208 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 a 2 3 4 9 13 19 21 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 75 76 78 79 84 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 a 2 3 4 9 13 19 21 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 224 227 231 232 235 237 239 240 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 a 2 3 4 9 13 19 21 22 25 27 28 32 36 39 43 44 46 52 57 59 63 64 65 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 224 227 231 232 235 237 239 240 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 334 337 340 341 343 a 2 3 4 9 13 19 21 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 224 227 231 232 235 237 239 240 244 245 247 248 252 253 261 264 266 267 275 276 287 300 301 302 305 306 309 312 316 320 322 326 330 331 333 337 340 341 343 a 2 3 4 9 13 21 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 224 227 231 232 235 237 239 240 244 245 247 248 252 253 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 326 330 331 333 337 340 341 343 a 2 3 4 9 13 21 22 25 27 28 32 36 39 43 44 46 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 153 157 160 161 166 170 175 177 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 224 227 231 232 235 237 239 240 244 245 247 248 252 253 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 326 330 331 333 337 340 341 343 a 2 3 4 9 13 21 22 25 27 28 32 36 39 43 44 46 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 153 157 160 161 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 224 227 231 232 235 237 239 240 244 245 247 248 252 253 261 264 266 267 275 276 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 337 340 341 343 a 2 3 4 9 11 13 21 22 25 27 28 32 36 39 43 44 46 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 153 157 160 161 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 224 227 231 232 235 237 239 240 244 245 247 248 252 253 261 264 266 267 275 276 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 337 340 341 343 a 2 3 4 9 11 13 21 22 25 27 28 32 36 39 43 44 46 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 153 157 160 161 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 261 264 266 267 275 276 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 337 340 341 343 a 2 3 4 9 11 13 21 22 25 27 28 32 36 39 43 44 46 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 153 157 160 161 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 337 340 341 a 2 3 4 9 11 13 21 22 25 27 28 32 36 39 43 44 46 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 128 132 134 138 146 148 153 157 160 161 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 337 340 341 a 2 3 4 9 11 13 21 22 25 27 28 32 36 39 43 44 46 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 128 132 134 138 146 148 153 157 160 161 162 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 337 340 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 46 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 128 132 134 138 146 148 150 153 157 160 161 162 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 337 340 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 46 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 128 132 134 138 146 148 150 153 157 160 161 162 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 337 345 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 46 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 128 132 134 138 146 148 150 153 157 160 161 162 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 343 345 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 46 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 153 157 160 161 162 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 334 343 345 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 46 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 97 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 153 157 160 161 162 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 320 322 326 330 331 333 334 337 343 345 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 46 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 97 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 153 157 160 161 162 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 320 322 326 331 333 334 337 341 343 345 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 153 157 160 161 162 166 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 320 322 326 331 333 334 337 341 343 345 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 320 322 326 331 333 334 337 341 343 345 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 227 231 232 235 237 239 240 244 245 247 248 252 253 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 322 326 331 333 334 337 341 343 345 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 191 196 197 200 202 206 208 221 222 223 224 231 232 235 237 239 240 244 245 247 248 252 253 257 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 322 326 331 333 334 337 341 343 345 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 190 191 196 197 200 202 206 208 221 223 224 231 232 235 237 239 240 244 245 247 248 252 253 257 258 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 310 312 316 322 326 331 333 334 337 341 343 345 a 2 3 4 9 11 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 190 191 196 197 200 202 206 208 221 223 231 232 235 237 239 240 244 245 247 248 252 253 257 258 261 264 266 267 275 276 285 287 288 294 300 301 302 305 306 309 310 312 316 322 326 331 333 334 337 341 343 345 a 2 3 4 9 11 12 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 190 191 196 197 200 202 206 208 221 223 231 232 235 237 239 240 244 245 247 248 252 253 257 261 264 266 267 275 276 285 287 288 294 300 301 302 305 306 309 310 312 316 322 326 331 333 334 337 341 343 345 a 2 3 4 9 11 12 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 122 123 127 132 134 138 146 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 190 191 196 197 202 206 208 221 223 231 232 235 237 239 240 244 245 247 248 252 253 257 261 263 264 266 267 275 276 285 287 288 294 300 301 302 305 306 309 310 312 316 322 326 331 333 334 337 341 343 345 a 2 3 4 9 11 12 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 146 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 190 191 196 197 202 206 208 221 223 231 232 235 237 239 240 244 245 247 248 252 253 257 261 263 264 266 267 275 276 283 285 287 288 294 300 301 302 305 306 309 310 312 316 322 326 331 333 334 337 341 343 345 a 2 3 4 9 11 12 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 146 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 190 191 196 197 202 206 208 221 223 231 232 235 237 239 240 244 245 247 248 252 253 257 261 263 264 266 267 276 283 285 287 288 294 300 301 302 305 306 309 310 312 316 322 326 331 333 334 335 337 341 343 345 a 2 3 4 9 11 12 13 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 146 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 190 191 196 197 202 206 221 223 229 231 232 235 237 239 240 244 245 247 248 252 253 257 261 263 264 266 267 276 283 285 287 288 294 300 301 302 305 306 309 310 312 316 322 326 331 333 334 335 337 341 343 345 a 2 3 4 9 11 12 13 17 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 190 191 196 197 202 206 221 223 229 231 232 235 237 239 240 244 245 247 248 252 253 257 261 263 264 266 267 276 283 285 287 288 294 300 301 302 305 306 309 310 312 316 322 326 331 333 334 335 337 341 343 345 a 2 3 4 9 11 12 13 17 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 190 191 196 197 202 206 221 223 229 231 235 237 239 240 244 245 247 248 252 253 257 261 263 264 266 267 276 283 285 287 288 294 296 300 301 302 305 306 309 310 312 316 322 326 331 333 334 335 337 341 343 345 a 2 3 4 9 11 12 13 17 21 25 27 28 32 36 39 43 44 51 52 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 148 150 157 160 161 162 166 169 170 175 178 180 181 183 185 187 189 190 191 196 197 202 206 221 223 226 229 235 237 239 240 244 245 247 248 252 253 257 261 263 264 266 267 276 283 285 287 288 294 296 300 301 302 305 306 309 310 312 316 322 326 331 333 334 335 337 341 343 345 a 2 3 4 9 11 12 13 17 21 25 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 148 150 157 160 161 162 166 169 170 178 180 181 183 185 187 189 190 191 196 197 202 206 221 223 226 229 235 237 239 240 244 245 247 248 252 253 257 261 263 264 266 267 276 283 285 287 288 294 296 300 301 302 305 306 309 310 312 316 322 326 331 333 334 335 337 341 343 345 a 2 3 4 9 11 12 13 17 21 22 25 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 148 157 160 161 162 166 169 170 178 180 181 183 185 187 189 190 191 196 197 202 206 221 223 226 229 235 237 239 240 244 245 247 248 252 253 257 261 263 264 266 267 276 283 285 287 288 294 296 300 301 302 305 306 309 310 312 316 322 326 331 333 334 335 337 341 343 345 a 2 3 4 8 9 11 12 13 17 21 22 25 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 148 157 160 161 162 166 169 170 178 180 181 183 185 187 189 190 191 196 202 206 221 223 226 229 235 237 239 240 244 245 247 248 252 253 257 261 263 264 266 267 276 283 285 287 288 294 296 300 301 302 305 306 309 310 312 316 322 326 331 333 334 335 337 341 343 345 a 2 3 4 8 9 11 12 13 17 21 22 25 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 148 157 160 161 162 166 169 170 178 180 181 183 185 187 189 190 191 196 202 206 221 223 226 229 235 237 239 240 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 305 306 309 310 312 316 322 326 331 333 334 335 337 341 343 345 a 2 3 4 8 9 11 12 13 17 21 22 25 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 148 157 160 161 162 166 169 170 178 180 181 183 184 185 187 189 190 191 196 202 206 221 223 226 229 237 239 240 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 305 306 309 310 312 316 322 326 331 333 334 335 337 341 343 345 a 2 3 4 8 9 11 12 13 17 21 22 25 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 148 157 160 161 162 166 169 170 178 180 181 183 184 185 187 189 190 191 196 206 221 223 226 229 237 239 240 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 305 306 309 310 312 316 322 326 328 331 333 334 335 337 341 343 345 a 2 3 4 8 9 11 12 13 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 148 157 160 161 162 166 169 170 178 180 181 183 184 185 187 189 190 191 196 206 221 223 226 229 237 239 240 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 305 306 309 310 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 2 3 4 8 9 11 12 13 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 134 138 142 157 160 161 162 166 169 170 178 180 181 183 184 185 187 189 190 191 196 206 221 223 226 229 237 239 240 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 305 306 309 310 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 2 3 4 8 9 11 12 13 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 127 132 133 134 138 142 157 160 161 162 166 169 170 178 180 181 183 184 185 187 189 190 191 196 206 223 226 229 237 239 240 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 305 306 309 310 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 2 3 4 8 9 11 12 13 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 90 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 132 133 134 138 142 157 160 161 162 166 169 170 178 180 181 183 184 185 187 189 190 191 196 206 223 226 229 237 239 240 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 305 306 309 310 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 2 3 4 8 9 11 12 13 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 90 93 94 97 102 103 107 108 111 112 113 117 118 119 120 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 206 223 226 229 237 239 240 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 305 306 309 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 2 3 4 8 9 11 12 13 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 90 93 94 97 102 103 107 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 206 223 226 229 237 239 240 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 304 305 306 309 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 2 3 4 8 9 11 12 13 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 90 94 97 102 103 107 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 206 207 223 226 229 237 239 240 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 304 305 306 309 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 2 3 4 8 9 11 12 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 84 89 90 94 97 102 103 107 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 206 207 223 226 229 237 239 240 243 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 304 305 306 309 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 2 3 4 8 9 11 12 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 81 84 89 90 94 97 102 103 107 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 207 223 226 229 237 239 240 243 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 301 302 304 305 306 309 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 11 12 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 81 84 89 90 94 97 102 103 107 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 207 223 226 229 237 239 240 243 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 302 304 305 306 309 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 11 12 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 71 72 75 76 78 79 81 83 84 89 90 94 97 102 107 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 207 223 226 229 237 239 240 243 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 302 304 305 306 309 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 11 12 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 72 75 76 78 79 81 83 84 89 90 94 97 102 107 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 207 223 226 229 237 239 240 243 244 245 248 252 253 257 261 263 264 266 267 276 283 285 287 288 292 294 296 300 302 304 305 306 309 311 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 11 12 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 72 75 76 78 79 81 83 84 89 90 94 97 102 107 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 207 223 226 229 239 240 243 244 245 248 252 253 257 261 263 264 266 267 276 281 283 285 287 288 292 294 296 300 302 304 305 306 309 311 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 11 12 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 72 75 76 78 79 81 83 84 89 90 94 97 102 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 257 261 263 264 266 267 276 281 283 285 287 288 292 294 296 300 302 304 305 306 309 311 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 11 12 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 72 75 76 79 81 83 84 89 90 94 97 102 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 257 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 312 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 11 12 17 21 22 27 28 32 36 39 43 44 51 52 54 59 63 64 65 66 72 75 76 79 81 83 84 89 90 94 97 102 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 256 257 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 11 12 17 21 22 27 28 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 83 84 89 90 94 97 102 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 256 257 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 83 84 89 90 94 97 102 108 111 112 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 256 257 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 302 304 305 306 309 311 316 322 326 328 331 333 334 335 337 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 132 133 134 138 142 157 160 161 162 166 169 170 177 178 180 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 302 304 305 306 309 311 316 322 326 328 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 138 142 157 160 161 162 169 170 177 178 180 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 302 304 305 306 309 311 316 322 326 328 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 138 142 157 160 161 162 169 177 178 180 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 302 304 305 306 309 311 316 322 326 328 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 138 142 157 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 302 304 305 306 309 311 316 322 326 328 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 142 157 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 302 304 305 306 309 311 316 322 326 328 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 142 144 157 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 302 304 305 306 309 311 316 326 328 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 135 142 144 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 302 304 305 306 309 311 316 326 328 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 135 142 144 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 304 305 306 309 311 316 326 328 331 333 334 335 337 339 341 342 343 345 c Step: 117 #END: [Tue Sep 5 09:55:21 2023]