#BEGIN: [Tue Sep 26 01:34:46 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance034_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance034_graph002.col /benchmark/random_instance/random_instance034_graph002_01.dat c /benchmark/random_instance/random_instance034_graph002.col c /benchmark/random_instance/random_instance034_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 194 107 250 234 196 419 22 23 136 397 158 39 338 366 306 328 195 432 307 164 127 77 112 362 310 206 360 33 183 50 343 3 305 380 381 367 379 104 173 184 394 326 200 9 187 68 182 217 358 231 130 161 282 396 293 223 138 427 92 431 260 36 103 425 355 271 53 86 385 274 174 382 11 308 210 56 314 203 108 309 401 41 43 124 215 205 30 339 392 119 335 38 312 409 102 101 100 406 70 18 294 63 278 66 67 126 166 16 58 55 48 353 69 341 7 221 91 47 332 350 219 275 346 226 40 165 400 386 267 98 198 49 319 228 240 105 301 15 76 t 98 223 83 307 8 126 286 347 384 282 423 271 295 149 218 24 348 288 117 303 115 49 183 440 155 346 219 140 116 50 20 332 322 9 36 86 141 301 326 56 129 235 203 399 88 329 275 338 65 306 324 106 156 102 396 4 413 311 231 334 109 105 150 3 422 198 200 171 216 206 314 201 402 284 434 285 294 398 40 397 293 349 158 162 239 297 281 296 312 213 389 393 368 380 341 323 374 139 34 130 289 375 432 192 336 428 353 76 185 424 120 387 175 181 67 11 2 204 335 60 101 217 225 172 35 382 325 299 274 330 262 381 315 256 103 230 108 132 28 a YES a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 135 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 135 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 431 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 431 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 107 108 112 118 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 107 108 112 118 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 438 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 107 108 112 118 119 124 126 127 130 136 138 161 164 165 166 173 174 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 438 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 108 112 118 119 124 126 127 130 136 138 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 438 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 108 112 118 119 124 126 127 130 136 138 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 108 112 118 119 124 126 127 130 136 138 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 108 112 115 118 119 124 126 127 130 136 138 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 108 112 115 118 119 124 126 127 130 136 138 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 104 105 108 112 115 118 119 124 126 127 130 136 138 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 84 86 91 92 94 98 100 101 102 103 104 105 108 112 115 118 119 124 126 127 130 136 138 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 84 86 91 92 94 98 100 101 102 103 104 105 108 112 115 118 119 124 126 127 130 136 138 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 341 343 346 347 350 353 355 358 360 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 84 91 92 94 98 100 101 102 103 104 105 108 112 115 118 119 124 126 127 130 136 138 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 341 343 346 347 350 353 355 358 360 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 91 92 94 98 100 101 102 103 104 105 108 112 115 118 119 124 126 127 130 136 138 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 341 342 343 346 347 350 353 355 358 360 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 77 84 91 92 94 98 100 101 102 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 341 342 343 346 347 350 353 355 358 360 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 67 68 69 77 84 86 91 92 94 98 100 101 102 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 341 342 343 346 347 350 353 355 358 360 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 67 68 69 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 340 341 342 343 346 347 350 353 355 358 360 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 328 332 335 338 339 340 341 342 343 346 347 350 353 355 358 360 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 328 332 335 338 339 340 341 342 343 346 347 350 353 355 358 360 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 328 332 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 379 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 328 332 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 385 386 392 394 396 400 401 406 409 419 425 426 427 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 385 386 392 394 396 400 401 406 409 419 423 425 426 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 367 372 377 379 381 385 386 392 394 396 400 401 406 409 419 423 425 426 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 367 372 377 379 381 385 386 392 394 396 400 401 406 409 419 423 425 426 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 385 386 392 394 396 400 401 406 409 419 423 425 426 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 76 77 84 86 91 92 94 98 100 101 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 400 401 406 409 419 423 425 426 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 400 401 406 409 419 423 425 426 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 91 92 94 98 100 101 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 400 401 406 409 419 423 425 426 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 400 401 406 409 419 423 425 426 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 400 401 406 409 419 423 426 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 203 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 400 401 406 409 419 423 426 432 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 400 401 406 409 419 423 426 432 439 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 159 161 164 165 166 173 174 175 176 180 182 183 184 187 194 195 196 198 200 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 400 401 406 409 423 426 432 439 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 139 159 161 164 165 166 173 174 175 180 182 183 184 187 194 195 196 198 200 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 310 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 400 401 406 409 423 426 432 439 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 139 159 161 164 165 166 173 174 175 180 182 183 184 187 194 195 196 198 200 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 400 401 406 409 423 426 432 439 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 139 159 161 164 165 166 173 174 175 180 182 183 184 187 194 195 196 198 200 204 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 401 406 409 423 426 432 439 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 104 105 108 112 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 182 183 184 187 194 195 196 198 200 204 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 401 406 409 423 426 432 439 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 112 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 182 183 184 187 194 195 196 198 200 204 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 401 406 409 423 424 426 432 439 a 3 9 11 15 16 18 22 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 112 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 182 183 184 187 194 195 196 198 200 203 204 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 401 406 409 423 424 426 432 a 3 9 11 15 16 18 23 30 33 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 112 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 182 183 184 187 194 195 196 198 200 203 204 205 206 210 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 401 406 409 413 423 424 426 432 a 3 9 11 15 16 18 23 30 33 35 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 112 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 182 183 184 187 194 195 196 198 200 203 204 205 206 210 217 219 221 223 226 228 231 234 240 250 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 401 406 409 413 423 424 426 432 a 3 9 11 15 16 18 23 30 33 35 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 112 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 182 183 184 187 195 196 198 200 203 204 205 206 210 217 219 221 223 226 228 231 234 240 250 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 377 379 381 382 385 386 392 394 396 398 401 406 409 413 423 424 426 432 a 3 9 11 15 16 18 23 30 33 35 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 182 183 184 187 195 196 198 200 203 204 205 206 210 217 219 221 223 226 228 231 234 240 250 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 374 377 379 381 382 385 386 392 394 396 398 401 406 409 413 423 424 426 432 a 3 9 11 15 16 18 23 30 33 35 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 183 184 187 195 196 198 200 203 204 205 206 210 217 219 221 223 226 228 230 231 234 240 250 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 374 377 379 381 382 385 386 392 394 396 398 401 406 409 413 423 424 426 432 a 3 9 11 15 16 18 30 33 35 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 183 184 187 195 196 198 200 203 204 205 206 210 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 366 367 372 374 377 379 381 382 385 386 392 394 396 398 401 406 409 413 423 424 426 432 a 3 9 11 15 16 18 30 33 35 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 183 184 187 195 196 198 200 203 204 205 206 210 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 352 353 355 358 360 367 368 372 374 377 379 381 382 385 386 392 394 396 398 401 406 409 413 423 424 426 432 a 3 9 11 15 16 18 30 33 35 36 38 39 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 183 184 187 195 196 198 200 203 204 205 206 210 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 385 386 392 394 396 398 401 406 409 413 423 424 426 432 a 2 3 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 183 184 187 195 196 198 200 203 204 205 206 210 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 339 340 341 342 343 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 385 386 392 394 396 398 401 406 409 413 423 424 426 432 a 2 3 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 55 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 183 184 187 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 340 341 342 343 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 385 386 392 394 396 398 401 406 409 413 423 424 426 432 a 2 3 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 173 174 175 183 184 187 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 340 341 342 343 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 385 386 392 394 396 398 401 406 409 413 423 424 426 428 432 a 2 3 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 172 173 174 175 183 184 187 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 278 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 340 341 342 343 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 392 394 396 398 401 406 409 413 423 424 426 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 172 173 174 175 183 184 187 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 328 335 338 340 341 342 343 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 392 394 396 398 401 406 409 413 423 424 426 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 91 92 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 172 173 174 175 183 187 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 282 293 294 295 301 302 304 305 306 307 308 309 312 314 319 324 328 335 338 340 341 342 343 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 392 394 396 398 401 406 409 413 423 424 426 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 91 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 172 173 174 175 183 187 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 282 288 293 294 295 301 302 304 305 306 307 308 309 312 314 319 324 328 335 338 340 341 342 343 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 392 394 396 398 401 406 409 413 423 424 426 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 91 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 172 173 174 175 183 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 240 250 256 267 271 274 275 282 288 293 294 295 301 302 304 305 306 307 308 309 312 314 319 324 328 335 338 340 341 342 343 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 394 396 398 401 406 409 413 423 424 426 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 91 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 172 173 174 175 183 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 267 271 274 275 282 288 293 294 295 301 302 304 305 306 307 308 309 312 314 319 324 328 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 394 396 398 401 406 409 413 423 424 426 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 94 98 100 101 103 105 108 115 118 119 124 126 127 130 136 138 139 158 159 161 164 165 166 172 173 174 175 183 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 267 271 274 275 282 288 293 294 295 301 302 304 305 306 307 308 309 312 314 319 324 328 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 394 396 398 399 401 406 409 413 423 424 426 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 119 124 126 130 136 138 139 158 159 161 164 165 166 172 173 174 175 183 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 267 271 274 275 282 288 293 294 295 301 302 304 305 306 307 308 309 312 314 319 324 328 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 394 396 398 399 401 406 409 413 423 424 426 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 119 124 126 130 136 138 139 158 159 161 164 165 166 172 173 174 175 183 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 267 271 274 275 282 288 293 294 295 301 304 305 306 307 308 309 312 314 319 324 328 332 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 394 396 398 399 401 406 409 413 423 424 426 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 119 124 126 130 136 138 139 158 159 161 164 165 166 172 173 174 175 183 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 267 271 274 275 282 288 293 294 295 301 304 305 306 307 308 309 312 314 319 324 325 328 332 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 394 396 398 399 401 406 409 413 423 424 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 119 124 126 130 136 138 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 205 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 267 271 274 275 282 288 293 294 295 301 304 305 306 307 308 309 312 314 319 324 325 328 332 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 393 394 396 398 399 401 406 409 413 423 424 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 119 124 126 130 136 138 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 267 271 274 275 282 288 293 294 295 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 393 394 396 398 399 401 406 409 413 423 424 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 119 124 126 130 136 138 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 267 271 274 275 282 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 393 394 396 398 399 401 406 413 423 424 428 432 a 2 3 4 9 11 15 16 18 30 33 35 36 38 40 47 48 49 50 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 119 124 126 130 136 138 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 262 267 271 274 275 282 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 393 394 396 398 399 401 406 413 423 424 428 432 a 2 3 4 9 11 15 16 18 30 33 34 35 36 38 40 47 48 49 50 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 119 124 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 262 267 271 274 275 282 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 389 392 393 394 396 398 399 401 406 413 423 424 428 432 a 2 3 4 9 11 15 16 18 30 33 34 35 36 38 40 47 48 49 50 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 124 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 262 267 271 274 275 282 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 387 389 392 393 394 396 398 399 401 406 413 423 424 428 432 a 2 3 4 9 11 15 16 18 24 30 33 34 35 36 38 40 47 48 49 50 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 234 239 240 250 256 262 267 271 274 275 282 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 387 389 392 393 394 396 398 399 401 406 413 423 424 428 432 a 2 3 4 9 11 15 16 18 24 30 33 34 35 36 38 40 47 48 49 50 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 239 240 250 256 262 267 271 274 275 281 282 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 387 389 392 393 394 396 398 399 401 406 413 423 424 428 432 a 2 3 4 9 11 15 16 24 30 33 34 35 36 38 40 47 48 49 50 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 239 240 250 256 262 267 271 274 275 281 282 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 349 350 353 355 358 360 367 368 372 374 377 379 380 381 382 386 387 389 392 393 394 396 398 399 401 406 413 423 424 428 432 a 2 3 4 9 11 15 16 24 30 33 34 35 36 38 40 47 48 49 50 56 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 239 240 250 256 262 267 271 274 275 281 282 286 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 349 350 353 355 358 360 367 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 406 413 423 424 428 432 a 2 3 4 9 11 15 16 24 30 33 34 35 36 38 40 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 239 240 250 256 262 267 271 274 275 281 282 286 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 349 350 353 355 358 360 367 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 423 424 428 432 a 2 3 4 9 11 15 16 24 30 33 34 35 36 38 40 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 235 239 240 250 256 262 267 271 274 275 281 282 286 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 349 350 353 355 358 367 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 423 424 428 432 a 2 3 4 9 11 16 24 30 33 34 35 36 38 40 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 88 94 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 235 239 240 250 256 262 267 271 274 275 281 282 286 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 349 350 353 355 358 367 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 423 424 428 432 a 2 3 4 9 11 16 24 30 33 34 35 36 38 40 47 48 49 50 56 60 63 66 67 69 76 77 84 86 88 94 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 226 228 230 231 235 239 240 250 256 262 267 271 274 275 281 282 286 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 342 346 347 349 350 353 355 358 367 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 422 423 424 428 432 a 2 3 4 9 11 16 24 30 33 34 35 36 38 40 47 48 49 50 56 60 63 66 67 69 76 77 84 86 88 94 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 240 250 256 262 267 271 274 275 281 282 286 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 346 347 349 350 353 355 358 367 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 422 423 424 428 432 a 2 3 4 9 11 16 24 30 33 34 35 36 38 40 47 48 49 50 56 60 63 66 67 69 76 77 84 86 88 94 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 240 250 256 262 267 271 274 275 281 282 286 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 346 347 349 350 353 355 358 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 33 34 35 36 38 40 47 48 49 50 56 60 63 66 67 69 76 77 84 86 88 94 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 195 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 240 250 256 262 267 271 274 275 281 282 286 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 346 347 349 350 353 355 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 38 40 47 48 49 50 56 60 63 66 67 69 76 77 84 86 88 94 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 183 185 195 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 240 250 256 262 267 271 274 275 281 282 286 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 346 347 349 350 353 355 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 38 40 47 48 49 50 56 60 63 66 67 69 76 77 84 86 88 94 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 181 183 185 195 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 267 271 274 275 281 282 286 288 293 294 295 297 301 304 305 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 346 347 349 350 353 355 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 38 40 47 48 49 50 56 60 63 66 67 69 76 77 84 86 88 94 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 181 183 185 195 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 267 271 274 275 281 282 285 286 288 293 294 295 297 301 304 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 346 347 349 350 353 355 368 372 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 38 40 47 48 49 50 56 60 63 65 66 67 69 76 77 84 86 88 94 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 181 183 185 195 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 267 271 274 275 281 282 285 286 288 293 294 295 297 301 304 306 307 308 309 312 314 319 322 324 325 328 332 335 338 340 341 346 347 349 350 353 355 368 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 38 40 47 48 49 50 56 60 63 65 66 67 69 76 77 86 88 94 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 181 183 185 195 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 267 271 274 275 281 282 285 286 288 293 294 295 297 301 304 306 307 308 309 312 314 319 322 324 325 328 332 335 336 338 340 341 346 347 349 350 353 355 368 374 377 380 381 382 386 387 389 392 393 394 396 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 38 40 47 48 49 50 56 60 63 65 66 67 69 76 77 86 88 98 100 101 103 105 108 115 117 118 126 130 136 139 158 159 164 165 166 172 173 174 175 181 183 185 195 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 267 271 274 275 281 282 285 286 288 293 294 295 297 301 304 306 307 308 309 312 314 319 322 324 325 328 332 335 336 338 340 341 346 347 349 350 353 355 368 374 377 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 77 86 88 98 100 101 103 105 108 115 117 118 120 126 130 136 139 158 159 164 165 166 172 173 174 175 181 183 185 195 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 267 271 274 275 281 282 285 286 288 293 294 295 297 301 304 306 307 308 309 312 314 319 322 324 325 328 332 335 336 338 340 341 346 347 349 350 353 355 368 374 377 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 77 86 88 98 100 101 103 105 108 115 117 118 120 126 130 136 139 158 159 164 165 166 172 173 174 175 181 183 185 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 267 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 312 314 319 322 324 325 328 332 335 336 338 340 341 346 347 349 350 353 355 368 374 377 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 77 86 88 98 100 101 103 105 108 115 117 118 120 126 130 136 139 158 159 164 165 166 172 173 174 175 181 183 185 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 267 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 312 314 315 319 322 324 325 328 332 335 336 338 340 341 346 347 349 350 353 355 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 77 86 88 98 100 101 103 105 108 115 117 118 120 126 130 136 139 158 159 164 165 166 172 173 174 175 181 183 185 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 312 314 315 319 322 324 325 328 329 332 335 336 338 340 341 346 347 349 350 353 355 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 24 28 30 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 86 88 98 100 101 103 105 108 115 117 118 120 126 130 136 139 158 159 164 165 166 172 173 174 175 181 183 185 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 311 312 314 315 319 322 324 325 328 329 332 335 336 338 340 341 346 347 349 350 353 355 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 20 24 28 30 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 86 88 98 100 101 103 105 108 115 117 118 120 126 130 136 139 158 164 165 166 172 173 174 175 181 183 185 196 198 200 203 204 206 210 213 217 219 221 223 225 226 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 311 312 314 315 319 322 324 325 328 329 332 335 336 338 340 341 346 347 349 350 353 355 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 20 24 28 30 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 86 88 98 100 101 103 105 108 115 117 118 120 126 130 136 139 155 158 164 165 166 172 173 174 175 181 183 185 196 198 200 203 204 206 210 213 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 311 312 314 315 319 322 324 325 328 329 332 335 336 338 340 341 346 347 349 350 353 355 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 440 a 2 3 4 9 11 16 20 24 28 30 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 86 88 98 100 101 103 105 108 115 117 118 120 126 130 132 136 139 155 158 164 165 166 172 173 174 175 181 183 185 196 198 200 203 204 206 210 213 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 311 312 314 315 319 322 324 325 328 329 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 440 a 2 3 4 8 9 11 20 24 28 30 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 86 88 98 100 101 103 105 108 115 117 118 120 126 130 132 136 139 155 158 164 165 166 172 173 174 175 181 183 185 196 198 200 203 204 206 210 213 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 311 312 314 315 319 322 324 325 328 329 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 86 88 98 100 101 103 105 108 115 117 118 120 126 130 132 136 139 155 158 164 165 166 172 173 174 175 181 183 185 196 198 200 203 204 206 210 213 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 311 312 314 315 319 322 324 325 328 329 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 63 65 66 67 69 76 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 155 158 164 165 166 172 173 174 175 181 183 185 196 198 200 203 204 206 210 213 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 311 312 314 315 319 322 324 325 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 155 158 164 165 166 172 173 174 175 181 183 185 196 198 200 201 203 204 206 210 213 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 311 312 314 315 319 322 324 325 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 401 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 141 155 158 164 165 166 172 173 174 175 181 183 185 196 198 200 201 203 204 206 210 213 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 308 309 311 312 314 315 319 322 324 325 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 141 155 158 164 165 166 172 173 174 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 304 306 307 309 311 312 314 315 319 322 324 325 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 141 155 158 164 165 166 172 173 174 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 299 301 304 306 307 309 311 312 314 315 322 324 325 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 141 155 158 164 165 166 172 173 174 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 296 297 299 301 306 307 309 311 312 314 315 322 324 325 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 141 155 158 165 166 172 173 174 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 219 221 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 296 297 299 301 306 307 309 311 312 314 315 322 324 325 326 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 141 155 158 165 166 172 173 174 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 296 297 299 301 306 307 309 311 312 314 315 322 324 325 326 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 394 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 140 141 155 158 165 166 172 173 174 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 296 297 299 301 306 307 309 311 312 314 315 322 324 325 326 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 140 141 149 155 158 165 166 172 174 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 296 297 299 301 306 307 309 311 312 314 315 322 324 325 326 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 83 86 88 98 101 103 105 108 115 117 118 120 126 130 132 136 139 140 141 149 155 158 165 166 172 174 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 324 325 326 328 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 83 86 88 98 101 103 105 106 108 115 117 118 120 126 130 132 136 139 140 141 149 155 158 165 166 172 174 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 324 325 326 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 83 86 88 98 101 103 105 106 108 115 117 118 120 126 130 132 136 139 140 141 149 150 155 158 165 166 172 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 324 325 326 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 83 86 88 98 101 103 105 106 108 115 117 118 120 126 130 132 136 139 140 141 149 150 155 158 165 166 172 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 324 325 326 329 330 332 335 336 338 340 341 346 347 349 350 353 368 374 380 381 382 386 387 389 392 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 83 86 88 98 101 103 105 106 108 115 117 118 120 126 130 132 136 139 140 141 149 150 155 158 165 166 172 175 181 183 185 196 198 200 201 203 204 206 210 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 386 387 389 392 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 83 86 88 98 101 102 103 105 106 108 115 117 118 120 126 130 132 136 139 140 141 149 150 155 158 165 166 172 175 181 183 185 196 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 386 387 389 392 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 83 86 88 98 101 102 103 105 106 108 115 117 118 120 126 130 132 136 139 140 141 149 150 155 158 165 166 172 175 181 183 185 192 196 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 386 387 389 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 83 86 88 98 101 102 103 105 106 108 115 117 118 120 126 130 132 139 140 141 149 150 155 158 165 166 172 175 181 183 185 192 196 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 386 387 389 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 83 86 88 98 101 102 103 105 106 108 115 117 118 120 126 130 132 139 140 141 149 150 155 156 158 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 386 387 389 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 69 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 130 132 139 140 141 149 150 155 156 158 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 386 387 389 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 48 49 50 56 60 65 66 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 386 387 389 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 49 50 56 60 65 66 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 386 387 389 393 396 397 398 399 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 47 49 50 56 60 65 66 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 66 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 165 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 c Step: 126 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance034_graph002.col /benchmark/random_instance/random_instance034_graph002_01.dat" User time (seconds): 360.08 System time (seconds): 3.72 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.85 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): 13187432 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4457255 Voluntary context switches: 27 Involuntary context switches: 1891 Swaps: 0 File system inputs: 0 File system outputs: 896 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:40:50 2023]