#BEGIN: [Mon Sep 4 14:45:43 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance032_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat c /benchmark/random_instance/random_instance032_graph001.col c /benchmark/random_instance/random_instance032_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 295 219 82 306 346 304 88 312 98 75 137 40 171 180 73 369 133 232 200 34 364 256 231 253 46 173 261 278 94 92 47 361 18 50 168 122 221 44 86 271 9 37 17 240 266 61 338 201 263 230 127 68 280 91 323 291 118 59 43 197 215 23 35 416 250 81 80 42 352 248 404 69 347 367 386 302 190 169 262 129 406 378 182 128 39 177 192 376 114 293 216 83 259 146 348 214 111 6 1 371 340 246 147 377 238 396 235 285 368 321 318 4 57 198 344 307 319 145 411 188 211 70 124 251 151 305 11 360 284 252 119 t 209 5 72 163 346 63 14 284 65 99 316 349 282 350 76 183 61 49 125 154 25 296 234 175 33 211 412 190 170 216 366 138 331 109 135 261 21 403 354 192 3 8 159 291 178 264 88 240 223 4 385 193 259 256 388 398 248 252 227 293 305 370 379 134 364 317 214 150 406 400 221 149 393 249 13 332 92 239 276 382 378 96 108 171 85 52 91 38 245 165 43 323 372 341 119 401 307 254 94 184 384 231 16 250 225 342 123 168 224 219 328 191 387 28 241 206 205 57 257 279 95 327 361 344 312 151 6 140 263 111 54 a YES a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 228 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 228 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 228 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 228 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 409 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 228 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 409 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 228 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 213 214 215 216 219 221 228 230 231 232 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 213 214 215 216 219 221 228 230 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 211 213 214 215 216 219 221 228 230 231 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 211 213 214 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 269 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 202 211 213 214 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 269 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 202 211 213 214 215 216 219 221 228 230 231 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 184 188 190 192 197 198 200 202 211 213 214 215 216 219 221 228 230 231 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 291 293 295 302 304 305 306 307 310 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 184 188 190 192 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 44 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 184 188 190 192 197 198 200 202 211 213 214 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 269 271 278 280 284 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 192 197 198 200 202 211 213 214 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 269 271 278 280 284 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 192 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 291 293 295 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 78 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 192 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 291 293 295 302 304 305 306 307 311 312 318 319 321 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 78 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 192 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 280 284 291 293 295 299 302 304 305 306 307 311 312 318 319 321 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 78 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 280 284 291 293 295 299 302 304 305 306 307 311 312 318 319 321 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 280 284 291 293 295 299 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 280 284 291 293 295 299 301 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 386 394 396 404 406 409 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 280 284 291 293 295 299 301 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 159 168 169 171 173 177 180 182 184 188 190 197 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 280 284 291 293 295 299 301 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 159 168 169 171 173 177 180 182 184 188 190 197 200 202 211 213 214 215 216 219 221 228 230 231 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 276 280 284 291 293 295 299 301 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 197 198 200 202 211 213 214 215 216 219 221 228 230 231 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 276 280 284 291 293 295 299 301 302 304 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 a 1 4 6 9 11 17 18 23 34 35 36 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 180 182 184 188 190 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 a 1 4 6 9 11 17 18 23 34 35 36 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 180 182 184 188 190 196 197 198 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 362 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 36 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 180 182 184 188 190 192 196 197 198 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 36 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 150 151 168 169 171 173 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 150 151 168 169 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 253 256 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 381 386 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 150 151 168 169 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 256 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 381 386 388 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 150 151 168 169 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 256 257 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 361 364 367 368 369 371 376 377 378 381 386 388 394 396 404 406 409 411 a 1 4 6 9 11 17 18 23 34 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 256 257 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 361 364 367 368 369 371 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 11 17 18 23 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 235 238 246 248 250 251 252 256 257 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 11 17 18 23 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 150 151 168 169 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 11 17 18 23 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 168 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 17 18 23 35 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 168 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 14 17 18 23 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 94 98 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 168 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 14 17 18 23 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 168 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 14 18 23 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 168 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 232 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 14 18 23 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 168 171 173 177 180 182 184 188 190 192 196 197 198 200 202 211 213 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 14 18 23 37 39 43 46 47 57 59 61 68 69 70 73 75 80 81 82 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 196 197 200 202 211 213 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 14 18 23 37 39 43 46 47 57 59 61 68 69 73 75 80 81 82 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 196 197 200 202 206 211 213 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 14 16 23 37 39 43 46 47 57 59 61 68 69 73 75 80 81 82 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 196 197 200 202 206 211 213 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 409 a 1 4 6 9 14 16 23 37 39 43 46 47 57 59 61 68 69 73 75 76 80 81 82 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 196 197 200 202 206 211 213 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 a 1 4 6 9 14 16 23 37 39 43 46 47 57 59 61 68 69 73 75 76 80 81 82 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 193 196 197 200 202 206 211 213 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 344 346 347 348 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 a 1 4 6 9 14 16 23 37 39 43 46 47 49 57 59 61 68 69 73 75 76 80 81 82 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 193 196 197 200 202 206 211 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 344 346 347 348 360 361 364 367 368 369 371 372 376 377 378 381 386 388 394 396 404 406 a 1 4 6 9 14 16 23 37 39 43 46 47 49 57 59 61 68 69 73 75 76 80 81 82 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 193 196 197 200 202 206 211 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 369 371 372 376 377 378 381 388 394 396 404 406 a 1 4 6 9 14 16 23 37 39 43 46 47 49 57 59 61 63 68 69 73 75 76 80 81 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 193 196 197 200 202 206 211 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 369 371 372 376 377 378 381 388 394 396 404 406 a 1 4 6 9 14 16 23 39 43 46 47 49 57 59 61 63 68 69 73 75 76 80 81 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 193 196 197 200 202 206 211 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 369 371 372 376 377 378 381 387 388 394 396 404 406 a 1 4 6 9 14 16 23 39 43 46 47 49 57 59 61 63 68 69 73 75 76 80 81 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 193 197 200 202 206 211 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 369 371 372 376 377 378 379 381 387 388 394 396 404 406 a 1 4 6 9 14 16 23 39 43 46 47 49 57 59 61 63 68 69 73 75 76 80 81 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 171 173 177 180 182 184 188 190 192 193 197 200 202 206 211 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 371 372 376 377 378 379 381 387 388 393 394 396 404 406 a 1 4 6 9 14 16 23 39 43 46 47 49 57 59 61 63 68 69 73 75 76 80 81 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 211 214 215 216 219 221 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 371 372 377 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 39 43 46 47 49 57 59 61 63 68 69 73 75 76 80 81 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 211 214 215 216 219 221 225 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 371 372 377 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 39 43 46 47 49 57 59 61 63 68 69 73 76 80 81 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 211 214 215 216 219 221 225 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 342 344 346 347 348 360 361 364 366 367 368 371 372 377 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 39 43 46 47 49 57 59 61 63 68 69 73 76 80 83 88 91 94 98 99 111 114 118 119 122 124 125 127 128 129 133 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 211 214 215 216 219 221 225 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 338 340 342 344 346 347 348 360 361 364 366 367 368 371 372 377 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 39 43 46 47 49 57 59 61 63 68 69 73 76 80 83 88 91 94 98 99 111 114 118 119 122 124 125 128 129 133 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 211 214 215 216 219 221 225 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 338 340 342 344 346 347 348 360 361 364 366 367 368 371 372 377 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 39 43 46 47 49 57 59 61 63 68 69 73 76 80 83 88 91 94 95 98 99 111 114 118 119 122 124 125 128 129 133 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 211 214 215 216 219 221 225 228 230 231 234 238 239 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 338 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 39 43 46 47 49 57 59 61 63 68 69 73 76 80 83 88 91 94 95 98 99 111 114 118 119 122 124 125 128 129 133 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 211 214 215 216 219 221 225 228 231 234 238 239 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 338 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 39 43 47 49 57 59 61 63 68 69 73 76 80 83 88 91 94 95 98 99 111 114 118 119 122 124 125 128 129 133 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 211 214 215 216 219 221 225 228 231 234 238 239 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 338 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 39 43 47 49 57 59 61 63 68 69 73 76 80 83 88 91 94 95 98 99 111 114 118 119 122 124 125 128 129 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 228 231 234 238 239 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 338 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 39 43 47 49 54 57 59 61 63 68 69 73 76 80 83 88 91 94 95 98 99 111 114 119 122 124 125 128 129 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 228 231 234 238 239 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 338 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 39 43 47 49 54 57 59 61 63 68 69 73 76 83 88 91 94 95 98 99 109 111 114 119 122 124 125 128 129 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 228 231 234 238 239 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 338 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 39 43 47 49 54 57 59 61 63 68 69 73 76 83 88 91 94 95 98 99 108 109 111 114 119 122 124 125 128 129 137 145 146 147 150 151 159 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 228 231 234 238 239 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 39 43 47 49 54 57 59 61 63 68 69 73 76 83 88 91 94 95 98 99 108 109 111 114 119 122 124 125 128 129 137 145 146 147 150 151 159 165 168 170 171 173 177 180 182 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 231 234 238 239 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 33 39 43 47 49 54 57 59 61 63 68 69 73 76 83 88 91 94 95 98 99 108 109 111 114 119 122 124 125 128 129 137 145 146 147 150 151 159 165 168 170 171 173 177 180 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 231 234 238 239 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 33 39 43 47 49 54 57 59 61 63 68 69 73 76 83 88 91 94 95 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 180 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 231 234 238 239 240 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 394 396 404 406 a 4 6 9 14 16 23 28 33 39 43 47 49 54 57 59 61 63 68 69 73 76 83 88 91 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 180 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 231 234 238 239 240 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 340 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 396 404 406 a 4 6 9 14 16 23 28 33 39 43 47 49 54 57 59 61 63 68 69 73 76 83 88 91 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 180 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 231 234 238 239 240 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 340 341 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 396 406 a 4 6 9 14 16 23 28 33 38 39 43 47 49 54 57 59 61 63 68 69 73 76 83 88 91 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 231 234 238 239 240 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 340 341 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 396 406 a 4 6 9 14 16 23 28 33 38 39 43 47 49 54 57 59 61 63 68 69 73 76 83 88 91 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 183 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 231 234 238 239 240 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 301 302 305 306 307 311 312 316 318 319 321 323 328 332 340 341 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 406 a 4 6 9 14 16 23 28 33 38 39 43 47 49 54 57 59 61 63 68 69 73 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 183 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 231 234 238 239 240 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 302 305 306 307 311 312 316 318 319 321 323 328 332 340 341 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 406 a 3 4 6 9 14 16 23 28 33 38 39 43 47 49 54 57 59 61 63 69 73 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 183 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 231 234 238 239 240 241 246 248 250 251 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 302 305 306 307 311 312 316 318 319 321 323 328 332 340 341 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 406 a 3 4 6 9 14 16 23 28 33 38 39 43 47 49 54 57 59 61 63 69 73 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 183 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 227 231 234 238 239 240 241 246 248 250 252 256 257 259 261 262 263 266 276 280 284 291 293 295 299 302 305 306 307 311 312 316 318 319 321 323 328 332 340 341 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 406 a 3 4 6 9 14 16 23 28 33 38 43 47 49 54 57 59 61 63 69 73 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 183 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 225 227 231 234 238 239 240 241 246 248 250 252 254 256 257 259 261 262 263 266 276 280 284 291 293 295 299 302 305 306 307 311 312 316 318 319 321 323 328 332 340 341 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 406 a 3 4 6 9 14 16 23 28 33 38 43 47 49 54 57 59 61 63 69 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 183 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 224 225 227 231 234 238 239 240 241 246 248 250 252 254 256 257 259 261 262 263 266 276 280 284 291 293 295 299 302 305 306 307 311 312 316 318 319 321 323 328 332 340 341 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 406 a 3 4 6 9 14 16 23 28 33 38 43 47 49 54 57 59 61 63 69 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 183 184 188 190 192 193 197 200 202 206 209 211 214 215 216 219 221 224 225 227 231 234 238 239 240 241 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 302 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 360 361 364 366 367 368 371 372 378 379 381 387 388 393 406 a 3 4 6 9 14 16 23 28 33 38 43 47 49 54 57 59 61 63 69 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 165 168 170 171 173 177 183 184 188 190 192 193 197 200 202 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 302 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 367 368 371 372 378 379 381 387 388 393 406 a 3 4 6 9 14 16 23 28 33 38 43 47 49 54 57 59 61 63 69 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 163 165 168 170 171 173 177 183 184 188 190 192 193 200 202 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 302 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 367 368 371 372 378 379 381 387 388 393 406 a 3 4 6 9 14 16 23 28 33 38 43 47 49 54 57 59 61 63 69 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 163 165 168 170 171 173 177 183 184 188 190 192 193 200 202 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 367 368 371 372 378 379 381 387 388 393 400 406 a 3 4 6 9 14 16 23 28 33 38 43 47 49 54 57 59 61 63 69 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 163 165 168 170 171 173 177 183 184 188 190 192 193 200 202 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 367 368 372 378 379 381 387 388 393 400 406 a 3 4 6 9 14 16 23 28 33 38 43 47 49 54 57 59 61 63 65 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 163 165 168 170 171 173 177 183 184 188 190 192 193 200 202 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 367 368 372 378 379 381 387 388 393 400 406 a 3 4 6 9 14 16 23 28 33 38 43 47 49 54 57 61 63 65 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 163 165 168 170 171 173 177 183 184 188 190 192 193 200 202 205 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 367 368 372 378 379 381 387 388 393 400 406 a 3 4 6 9 14 16 23 28 33 38 43 47 49 54 57 61 63 65 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 163 165 168 170 171 173 183 184 188 190 192 193 200 202 205 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 367 368 372 378 379 381 384 387 388 393 400 406 a 3 4 6 9 14 16 23 28 33 38 43 49 54 57 61 63 65 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 163 165 168 170 171 173 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 367 368 372 378 379 381 384 387 388 393 400 406 a 3 4 6 9 14 16 23 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 163 165 168 170 171 173 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 368 372 378 379 381 384 387 388 393 400 406 a 3 4 6 9 14 16 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 145 146 147 150 151 159 163 165 168 170 171 173 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 305 306 307 311 312 316 318 319 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 368 372 378 379 381 384 387 388 393 400 406 a 3 4 6 9 14 16 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 138 145 146 147 150 151 159 163 165 168 170 171 173 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 295 299 305 306 307 311 312 316 318 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 368 372 378 379 381 384 387 388 393 400 406 a 3 4 6 9 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 137 138 145 146 147 150 151 159 163 165 168 170 171 173 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 299 305 306 307 311 312 316 318 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 368 372 378 379 381 384 387 388 393 400 406 a 3 4 6 9 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 138 145 146 147 150 151 154 159 163 165 168 170 171 173 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 299 305 306 307 311 312 316 318 321 323 327 328 332 340 341 342 344 346 347 348 354 360 361 364 366 368 372 378 379 381 384 387 388 393 400 406 a 3 4 6 9 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 124 125 128 138 145 146 147 149 150 151 154 159 163 165 168 170 171 173 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 299 305 306 307 311 312 316 318 321 323 327 328 332 340 341 342 344 346 347 348 354 361 364 366 368 372 378 379 381 384 387 388 393 400 406 a 3 4 6 9 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 128 138 145 146 147 149 150 151 154 159 163 165 168 170 171 173 178 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 299 305 306 307 311 312 316 318 321 323 327 328 332 340 341 342 344 346 347 348 354 361 364 366 368 372 378 379 381 384 387 388 393 400 406 a 3 4 6 9 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 128 138 145 146 147 149 150 151 154 159 163 165 168 170 171 173 178 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 299 305 306 307 311 312 316 318 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 368 372 378 379 384 387 388 393 400 406 a 3 4 6 9 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 173 178 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 250 252 254 256 257 259 261 262 263 266 276 284 291 293 299 305 306 307 311 312 316 318 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 368 372 378 379 384 387 388 393 400 406 a 3 4 6 9 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 173 178 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 284 291 293 299 305 306 307 311 312 316 318 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 400 406 a 3 4 6 9 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 173 178 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 284 291 293 299 305 307 311 312 316 318 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 400 403 406 a 3 4 6 9 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 173 178 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 311 312 316 318 321 323 327 328 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 400 403 406 a 3 4 6 9 13 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 178 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 311 312 316 318 321 323 327 328 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 400 403 406 a 3 4 6 9 13 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 134 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 178 183 184 188 190 191 192 193 200 202 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 311 312 316 321 323 327 328 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 400 403 406 a 3 4 6 9 13 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 134 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 178 183 184 188 190 191 192 193 200 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 311 312 316 321 323 327 328 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 398 400 403 406 a 3 4 6 9 13 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 134 135 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 178 183 184 188 190 191 192 193 200 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 311 312 316 323 327 328 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 398 400 403 406 a 3 4 6 8 9 13 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 122 125 134 135 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 178 183 184 190 191 192 193 200 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 311 312 316 323 327 328 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 398 400 403 406 a 3 4 6 8 9 13 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 125 134 135 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 178 183 184 190 191 192 193 200 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 311 312 316 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 398 400 403 406 a 3 4 6 8 9 13 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 125 134 135 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 311 312 316 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 398 400 403 406 a 3 4 6 8 9 13 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 123 125 134 135 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 312 316 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 387 388 393 398 400 403 406 a 3 4 6 8 9 13 14 16 21 28 33 38 43 49 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 123 125 134 135 138 140 145 146 147 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 312 316 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 385 387 388 393 398 400 403 406 a 3 4 6 8 9 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 83 88 91 92 94 95 96 98 99 108 109 111 114 119 123 125 134 135 138 140 145 147 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 266 276 282 284 291 293 299 305 307 312 316 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 385 387 388 393 398 400 403 406 a 3 4 6 8 9 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 88 91 92 94 95 96 98 99 108 109 111 114 119 123 125 134 135 138 140 145 147 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 264 266 276 282 284 291 293 299 305 307 312 316 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 385 387 388 393 398 400 403 406 a 3 4 5 6 8 9 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 88 91 92 94 95 96 99 108 109 111 114 119 123 125 134 135 138 140 145 147 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 264 266 276 282 284 291 293 299 305 307 312 316 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 385 387 388 393 398 400 403 406 a 3 4 5 6 8 9 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 88 91 92 94 95 96 99 108 109 111 114 119 123 125 134 135 138 140 147 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 264 266 276 282 284 291 293 299 305 307 312 316 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 385 387 388 393 398 400 403 406 412 a 3 4 5 6 8 9 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 114 119 123 125 134 135 138 140 147 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 264 276 282 284 291 293 299 305 307 312 316 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 385 387 388 393 398 400 403 406 412 a 3 4 5 6 8 9 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 114 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 264 276 282 284 291 293 296 299 305 307 312 316 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 385 387 388 393 398 400 403 406 412 a 3 4 5 6 8 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 114 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 264 276 282 284 291 293 296 299 305 307 312 316 317 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 372 378 379 384 385 387 388 393 398 400 403 406 412 a 3 4 5 6 8 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 114 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 299 305 307 312 316 317 323 327 328 331 332 341 342 344 346 347 350 354 361 364 366 372 378 379 384 385 387 388 393 398 400 403 406 412 a 3 4 5 6 8 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 114 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 246 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 299 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 372 378 379 384 385 387 388 393 398 400 403 406 412 a 3 4 5 6 8 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 114 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 299 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 372 378 379 382 384 385 387 388 393 398 400 403 406 412 a 3 4 5 6 8 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 114 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 114 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat" User time (seconds): 537.82 System time (seconds): 9.28 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.10 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 11738428 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4043809 Voluntary context switches: 3410922 Involuntary context switches: 2250 Swaps: 0 File system inputs: 0 File system outputs: 848 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:51:47 2023]