#BEGIN: [Mon Sep  4 11:34:29 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent2
#INSTANCE1: /benchmark/random_instance/random_instance038_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance038_graph003_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_instance038_graph003.col /benchmark/random_instance/random_instance038_graph003_01.dat
c /benchmark/random_instance/random_instance038_graph003.col
c /benchmark/random_instance/random_instance038_graph003_01.dat
*** Info : (clingo): INTERRUPTED by signal!
*** Info : (clingo): INTERRUPTED by signal!
s 314 44 307 122 225 60 248 423 100 171 387 47 358 455 379 229 481 362 7 328 79 333 218 120 138 119 458 435 291 33 227 279 321 474 318 296 35 236 454 36 62 382 153 163 276 41 396 282 313 230 397 298 202 189 74 364 338 179 354 148 85 207 57 91 127 336 38 370 446 281 392 478 270 375 235 309 271 50 216 162 157 407 82 315 12 98 241 87 113 108 445 23 355 295 59 121 252 220 27 4 312 461 456 476 175 6 376 371 240 21 173 55 479 383 219 206 15 32 13 348 221 433 24 145 469 214 264 316 28 490 151 260 203 83 114 390 488 192 369 452 69 112 17 53 388 141 464 409 30 149 116 231 183 491 482 356 419 429 217 351 306 158 200
t 288 61 47 204 212 325 411 305 422 19 170 52 384 150 332 484 27 36 265 167 274 190 38 201 45 108 134 314 298 151 387 284 374 90 375 118 255 353 200 334 175 408 105 440 116 241 339 426 453 207 40 221 198 33 423 277 245 37 208 261 330 23 156 222 377 336 309 219 171 436 409 155 272 300 322 173 136 455 124 74 390 11 166 242 193 5 1 4 431 100 448 356 412 17 346 490 368 248 128 217 60 228 301 6 494 189 260 469 140 77 358 81 466 132 404 161 202 323 87 130 294 405 394 416 318 352 331 50 148 428 376 24 382 470 86 28 433 324 396 95 187 168 443 270 15 366 32 335 369 53 476 380 93 285 158 120 304 458 240 163 444 184 59
a YES
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491 494
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491 494
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 445 446 451 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 401 407 409 419 423 429 433 435 445 446 451 452 454 455 456 458 461 464 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 401 407 409 419 423 429 433 435 445 446 451 452 454 455 456 458 461 464 474 476 478 479 481 482 488 490 491 494
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 195 200 202 203 206 207 214 216 217 218 220 221 225 227 229 230 231 235 236 240 241 248 252 260 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 401 407 409 419 423 429 433 435 445 446 451 452 454 455 456 458 461 464 474 476 478 479 481 482 488 490 491 494
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 195 200 202 203 206 207 214 216 217 218 220 221 225 227 229 230 231 235 236 240 241 248 252 260 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 324 328 333 336 338 348 351 354 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 401 407 409 419 423 429 433 435 445 446 451 452 454 455 456 458 461 464 474 476 478 479 481 482 488 490 491 494
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 195 200 202 203 206 207 214 216 217 218 220 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 324 328 333 336 338 348 351 354 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 401 407 409 419 423 429 433 435 443 445 446 451 452 454 455 456 458 461 464 474 476 478 479 481 482 488 490 491 494
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 220 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 324 328 333 336 338 348 351 354 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 401 407 409 419 423 429 433 435 443 445 446 451 452 454 455 456 458 461 464 474 476 478 479 481 482 488 490 491 494
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 324 328 333 336 338 348 351 354 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 401 407 409 419 423 429 433 435 443 445 446 451 452 454 455 456 458 461 464 474 476 478 479 481 482 488 490 491 494
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 324 328 333 336 338 348 351 354 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 401 407 409 419 423 429 433 435 443 445 446 451 452 454 455 456 458 461 464 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 324 326 328 333 336 338 348 351 354 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 401 407 409 419 423 429 433 435 443 445 446 451 452 454 455 456 458 461 464 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 72 74 79 82 83 85 87 91 98 100 108 112 113 114 115 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 175 179 183 189 192 200 202 203 206 207 214 216 217 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 324 326 328 333 336 338 348 351 354 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 401 407 409 419 423 429 433 435 443 445 446 451 452 454 455 456 458 461 464 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 72 74 79 82 83 85 87 91 98 100 108 112 113 114 115 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 175 179 183 189 192 200 202 203 206 207 214 216 217 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 324 326 328 333 336 338 348 351 354 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 443 445 446 451 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 72 74 79 82 83 85 87 91 98 100 108 112 113 114 115 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 175 179 183 189 192 200 202 203 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 324 326 328 333 336 338 348 351 354 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 115 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 175 179 183 189 192 200 202 203 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 324 326 328 333 336 338 348 351 354 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 115 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 175 179 183 189 192 200 202 203 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 324 326 328 333 336 338 348 351 354 355 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 324 326 328 333 336 338 348 351 354 355 356 358 362 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 326 328 333 336 338 348 351 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 326 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 435 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 326 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 435 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 326 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 435 436 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 435 436 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 435 436 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 69 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 407 409 419 423 429 433 435 436 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 69 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 407 409 419 423 429 433 435 436 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 69 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 407 409 419 423 429 433 435 436 443 445 446 452 454 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 69 72 74 79 82 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 407 409 419 423 429 433 435 436 443 445 446 452 454 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 69 72 74 79 82 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 356 358 362 364 369 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 435 436 443 445 446 452 454 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 62 69 72 74 79 82 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 356 358 362 364 369 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 435 436 443 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 62 69 72 74 79 82 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 356 358 362 364 369 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 436 443 444 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 62 72 74 79 82 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 436 443 444 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 62 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 436 443 444 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 436 443 444 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 204 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 436 443 444 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 204 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 399 407 409 419 423 429 433 436 443 444 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 204 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 407 409 419 423 429 433 436 443 444 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 72 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 407 409 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 407 409 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 407 409 416 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 13 15 17 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 407 409 416 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 407 409 416 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 474 476 478 479 481 482 488 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 382 383 387 390 392 396 397 399 405 407 409 416 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 474 476 478 479 481 482 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 379 380 382 383 387 390 396 397 399 405 407 409 416 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 474 476 478 479 481 482 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 380 382 383 387 390 396 397 399 405 407 409 416 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 136 138 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 336 338 348 351 352 354 356 358 362 364 369 370 371 375 376 380 382 383 387 390 396 397 399 405 407 409 416 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 136 138 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 220 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 333 334 336 338 348 351 352 354 356 358 362 364 369 370 375 376 380 382 383 387 390 396 397 399 405 407 409 416 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 136 138 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 332 333 334 336 338 348 351 352 354 356 358 362 364 369 370 375 376 380 382 383 387 390 396 397 399 405 407 409 416 419 423 429 433 436 443 444 445 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 136 138 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 332 333 334 336 338 348 351 352 354 356 358 362 364 369 370 375 376 380 382 383 387 390 396 397 399 405 407 409 412 416 419 423 429 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 332 333 334 336 338 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 397 399 405 407 409 412 416 419 423 429 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 332 333 334 336 338 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 399 405 407 409 412 416 419 423 429 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 122 127 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 332 333 334 336 338 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 399 405 407 409 412 416 419 423 429 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490 494
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 116 119 120 122 127 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 291 295 296 298 304 306 307 309 312 313 314 315 316 318 321 325 328 332 333 334 336 338 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 399 405 407 409 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490 494
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 116 119 120 122 127 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 284 291 295 296 298 304 306 307 309 312 313 314 315 318 321 325 328 332 333 334 336 338 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 399 405 407 409 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490 494
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 116 118 119 120 122 127 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 284 291 295 296 298 304 306 307 309 312 314 315 318 321 325 328 332 333 334 336 338 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 399 405 407 409 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490 494
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 116 118 119 120 122 127 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 284 291 295 296 298 304 306 307 309 312 314 315 318 321 325 328 332 333 334 336 338 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 405 407 409 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 478 479 481 482 490 494
a 4 6 7 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 116 118 119 120 122 127 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 284 291 295 296 298 304 306 307 309 312 314 315 318 321 325 328 332 333 334 336 338 346 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 405 407 409 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 116 118 119 120 122 127 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 231 235 236 240 241 248 252 260 270 271 276 277 281 282 284 291 295 296 298 304 306 307 309 312 314 315 318 321 325 328 332 333 334 336 338 346 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 405 407 409 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 116 118 119 120 122 127 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 235 236 240 241 248 252 260 270 271 276 277 281 282 284 291 295 296 298 304 306 307 309 312 314 315 318 321 325 328 332 333 334 336 338 346 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 116 118 119 120 122 127 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 235 236 240 241 248 252 260 270 271 272 276 277 281 282 284 291 295 296 298 304 306 307 309 312 314 315 318 325 328 332 333 334 336 338 346 348 351 352 354 356 358 364 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 82 83 85 87 91 98 100 108 112 113 116 118 119 120 122 127 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 235 236 240 241 248 252 260 270 271 272 276 277 281 282 284 291 295 296 298 304 306 307 309 312 314 315 318 324 325 328 332 333 334 336 338 346 348 351 352 354 356 358 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 83 85 87 91 98 100 108 112 113 116 118 119 120 122 127 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 235 236 240 241 248 252 260 270 271 272 276 277 281 282 284 291 295 296 298 304 306 307 309 312 314 315 318 324 325 328 332 333 334 336 338 346 348 351 352 354 356 358 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 83 85 87 91 98 100 108 112 113 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 235 236 240 241 248 252 260 270 271 272 276 277 281 282 284 291 295 296 298 304 306 307 309 312 314 315 318 324 325 328 332 333 334 336 338 346 348 351 352 354 356 358 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 83 85 87 91 98 100 108 112 113 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 192 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 270 271 272 276 277 281 282 284 285 291 295 296 298 304 306 307 309 312 314 315 318 324 325 328 332 333 334 336 338 346 348 351 352 354 356 358 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 57 59 60 61 62 72 74 77 79 83 85 87 91 98 100 108 112 113 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 270 271 272 276 277 281 282 284 285 291 295 296 298 300 304 306 307 309 312 314 315 318 324 325 328 332 333 334 336 338 346 348 351 352 354 356 358 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 53 55 59 60 61 62 72 74 77 79 83 85 87 91 98 100 108 112 113 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 270 271 272 276 277 281 282 284 285 291 295 296 298 300 304 306 307 309 312 314 315 318 322 324 325 328 332 333 334 336 338 346 348 351 352 354 356 358 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 52 53 55 59 60 61 62 72 74 77 79 83 85 87 91 98 100 108 112 113 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 270 271 272 276 277 281 282 284 285 291 295 296 298 300 304 306 307 309 314 315 318 322 324 325 328 332 333 334 336 338 346 348 351 352 354 356 358 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 38 47 50 52 53 55 59 60 61 62 72 74 77 79 83 87 91 98 100 108 112 113 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 270 271 272 276 277 281 282 284 285 291 295 296 298 300 304 306 307 309 314 315 318 322 324 325 328 332 333 334 335 336 338 346 348 351 352 354 356 358 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 47 50 52 53 55 59 60 61 62 72 74 77 79 83 87 91 98 100 108 112 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 270 271 272 276 277 281 282 284 285 291 295 296 298 300 304 306 307 309 314 315 318 322 324 325 328 332 333 334 335 336 338 346 348 351 352 354 356 358 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 47 50 52 53 55 59 60 61 62 72 74 77 79 83 87 91 98 100 108 112 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 307 309 314 315 318 322 324 325 328 332 333 334 335 336 338 346 348 351 352 354 356 358 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 440 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 47 50 52 53 55 59 60 61 62 72 74 77 79 83 87 91 100 108 112 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 307 309 314 315 318 322 324 325 328 332 333 334 335 336 338 346 348 351 352 354 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 440 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 307 309 314 315 318 322 324 325 328 332 333 334 335 336 338 346 348 351 352 354 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 440 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 119 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 307 309 314 315 318 322 324 325 328 331 332 333 334 335 336 338 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 429 431 433 436 440 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 307 309 314 315 318 322 324 325 328 331 332 333 334 335 336 338 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 426 429 431 433 436 440 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 482 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 307 309 314 315 318 322 324 325 328 330 331 332 333 334 335 336 338 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 426 429 431 433 436 440 443 444 446 452 454 455 458 461 464 469 470 474 476 479 481 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 307 309 314 315 318 322 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 426 429 431 433 436 440 443 444 446 452 454 455 458 461 464 469 470 474 476 479 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 307 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 426 429 431 433 436 440 443 444 446 452 455 458 461 464 469 470 474 476 479 490 494
a 4 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 157 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 307 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 426 429 431 433 436 440 443 444 446 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 307 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 426 429 431 433 436 440 443 444 446 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 155 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 409 411 412 416 419 423 426 429 431 433 436 440 443 444 446 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 155 158 163 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 296 298 300 304 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 408 409 411 412 416 419 423 426 429 431 433 436 440 443 444 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 72 74 77 79 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 298 300 304 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 408 409 411 412 416 419 423 426 429 431 433 436 440 443 444 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 72 74 77 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 229 230 236 240 241 248 252 260 265 270 271 272 276 277 281 282 284 285 295 298 300 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 408 409 411 412 416 419 423 426 429 431 433 436 440 443 444 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 72 74 77 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 229 230 236 240 241 248 260 265 270 271 272 276 277 281 282 284 285 295 298 300 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 368 369 370 375 376 380 382 383 387 390 396 405 407 408 409 411 412 416 419 423 426 429 431 433 436 440 443 444 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 72 74 77 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 183 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 229 230 236 240 241 248 260 265 270 271 272 277 281 282 284 285 295 298 300 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 366 368 369 370 375 376 380 382 383 387 390 396 405 407 408 409 411 412 416 419 423 426 429 431 433 436 440 443 444 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 72 74 77 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 229 230 236 240 241 248 260 265 270 271 272 277 281 282 284 285 295 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 366 368 369 370 375 376 380 382 383 387 390 396 405 407 408 409 411 412 416 419 423 426 429 431 433 436 440 443 444 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 74 77 83 87 91 100 108 112 116 118 120 127 128 130 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 229 230 236 240 241 248 260 265 270 271 272 277 281 282 284 285 295 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 366 368 369 370 375 376 380 382 383 387 390 396 405 407 408 409 411 412 416 419 423 426 429 431 433 436 440 443 444 448 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 74 77 83 87 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 230 236 240 241 248 260 265 270 271 272 277 281 282 284 285 295 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 366 368 369 370 375 376 380 382 383 387 390 396 405 407 408 409 411 412 416 419 423 426 429 431 433 436 440 443 444 448 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 74 77 83 87 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 230 236 240 241 248 260 265 270 271 272 277 281 282 284 285 295 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 383 387 390 396 405 407 408 409 411 412 416 423 426 429 431 433 436 440 443 444 448 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 47 50 52 53 55 59 60 61 74 77 83 87 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 230 236 240 241 248 260 265 270 271 272 277 281 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 383 387 390 396 405 407 408 409 411 412 416 423 426 429 431 433 436 440 443 444 448 452 455 458 461 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 83 87 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 230 236 240 241 248 260 265 270 271 272 277 281 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 338 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 383 387 390 396 405 407 408 409 411 412 416 423 426 429 431 433 436 440 443 444 448 452 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 83 87 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 230 236 240 241 248 260 265 270 271 272 277 281 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 383 384 387 390 396 405 407 408 409 411 412 416 423 426 429 431 433 436 440 443 444 448 452 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 83 86 87 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 230 236 240 241 248 260 265 270 271 272 277 281 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 383 384 387 390 396 405 407 408 409 411 412 416 423 426 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 83 86 87 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 230 236 240 241 248 260 265 270 271 272 277 281 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 383 384 387 390 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 83 86 87 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 153 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 230 240 241 248 260 265 270 271 272 277 281 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 383 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 83 86 87 90 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 227 228 230 240 241 248 260 265 270 271 272 277 281 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 383 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 83 86 87 90 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 155 158 163 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 230 240 241 248 260 265 270 271 272 277 281 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 83 86 87 90 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 155 158 163 168 170 171 173 175 179 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 230 240 241 248 260 265 270 272 277 281 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 83 86 87 90 91 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 230 240 241 248 255 260 265 270 272 277 281 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 30 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 83 86 87 90 91 95 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 230 240 241 248 255 260 265 270 272 277 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 127 128 130 134 136 138 140 148 149 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 230 240 241 248 255 260 265 270 272 277 282 284 285 288 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 127 128 130 134 136 138 140 148 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 230 240 241 248 255 260 265 270 272 277 282 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 124 127 128 130 134 136 138 140 148 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 240 241 248 255 260 265 270 272 277 282 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 124 127 128 130 134 136 138 140 148 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 240 241 248 255 260 265 270 272 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 351 352 356 358 366 368 369 370 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 124 127 128 130 134 136 138 140 148 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 348 352 356 358 366 368 369 370 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 124 127 128 130 134 136 138 140 148 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 352 356 358 366 368 369 370 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 124 127 128 130 134 136 140 148 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 352 356 358 366 368 369 370 374 375 376 377 380 382 384 387 390 394 396 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 124 128 130 134 136 140 148 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 334 335 336 339 346 352 356 358 366 368 369 370 374 375 376 377 380 382 384 387 390 394 396 404 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 124 128 130 134 136 140 148 150 151 155 158 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 370 374 375 376 377 380 382 384 387 390 394 396 404 405 407 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 124 128 130 134 136 140 148 150 151 155 158 161 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 370 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 95 100 108 112 116 118 120 124 128 130 134 136 140 148 150 151 155 158 161 163 168 170 171 173 175 187 189 198 200 201 202 203 204 206 207 208 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 93 95 100 108 112 116 118 120 124 128 130 134 136 140 148 150 151 155 158 161 163 168 170 171 173 175 187 189 198 200 201 202 204 206 207 208 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 423 426 428 429 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 91 93 95 100 108 112 116 118 120 124 128 130 134 136 140 148 150 151 155 158 161 163 168 170 171 173 175 187 189 198 200 201 202 204 206 207 208 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 93 95 100 108 112 116 118 120 124 128 130 132 134 136 140 148 150 151 155 158 161 163 168 170 171 173 175 187 189 198 200 201 202 204 206 207 208 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 35 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 93 95 100 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 158 161 163 168 170 171 173 175 187 189 198 200 201 202 204 206 207 208 212 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 93 95 100 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 158 161 163 168 170 171 173 175 187 189 190 198 200 201 202 204 206 207 208 212 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 469 470 474 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 93 95 100 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 158 161 163 168 170 171 173 175 187 189 190 198 200 201 202 204 206 207 208 212 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 93 95 100 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 158 161 163 168 170 171 173 175 187 189 190 193 198 200 201 202 204 206 207 208 212 214 216 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 93 95 100 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 158 161 163 167 168 170 171 173 175 187 189 190 193 198 200 201 202 204 206 207 208 212 214 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 55 59 60 61 74 77 81 83 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 158 161 163 167 168 170 171 173 175 187 189 190 193 198 200 201 202 204 207 208 212 214 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 83 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 167 168 170 171 173 175 187 189 190 193 198 200 201 202 204 207 208 212 214 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 187 189 190 193 198 200 201 202 204 207 208 212 214 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 187 189 190 193 198 200 201 202 204 207 208 212 214 217 219 221 222 227 228 240 241 245 248 255 260 265 270 272 274 277 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 187 189 190 193 198 200 201 202 204 207 208 212 214 217 219 221 222 228 240 241 245 248 255 260 261 265 270 272 274 277 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 479 490 494
a 1 4 5 6 11 15 17 19 21 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 187 189 190 193 198 200 201 202 204 207 208 212 214 217 219 221 222 228 240 241 242 245 248 255 260 261 265 270 272 274 277 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 490 494
a 1 4 5 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 187 189 190 193 198 200 201 202 204 207 208 212 214 217 219 221 222 228 240 241 242 245 248 255 260 261 265 270 272 274 277 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 484 490 494
a 1 4 5 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 187 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 228 240 241 242 245 248 255 260 261 265 270 272 274 277 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 484 490 494
c Step: 128
	Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance038_graph003.col /benchmark/random_instance/random_instance038_graph003_01.dat"
	User time (seconds): 360.02
	System time (seconds): 9.62
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 6:09.70
	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): 23514260
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 98
	Minor (reclaiming a frame) page faults: 8113057
	Voluntary context switches: 422
	Involuntary context switches: 1532
	Swaps: 0
	File system inputs: 19680
	File system outputs: 1040
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 11:40:40 2023]