#BEGIN: [Mon Sep  4 10:38:19 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent1
#INSTANCE1: /benchmark/random_instance/random_instance038_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance038_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance038_graph004.col /benchmark/random_instance/random_instance038_graph004_01.dat
c /benchmark/random_instance/random_instance038_graph004.col
c /benchmark/random_instance/random_instance038_graph004_01.dat
*** Info : (clingo): INTERRUPTED by signal!
s 420 241 227 476 27 89 54 162 325 455 133 218 143 446 33 158 144 369 368 300 472 240 382 178 438 242 220 70 20 130 248 316 376 250 340 292 238 418 485 285 350 323 398 448 95 336 266 295 10 137 363 26 478 417 296 2 299 407 324 74 466 83 344 42 199 471 494 278 175 151 304 243 244 361 479 454 121 51 379 236 393 449 77 4 120 9 269 337 15 276 226 389 57 134 346 156 322 237 359 415 25 32 205 78 357 34 210 328 107 453 355 21 202 372 3 174 406 104 24 229 159 360 298 115 493 255 233 421 197 36 293 81 126 46 132 110 259 155 436 195 401 245 329 272 186 190 212 317 67 142 287 463 391 58 486 116 428 395 384 88 319 128
t 99 333 209 28 9 375 107 207 225 138 280 36 179 416 473 332 17 292 188 41 464 244 91 252 455 2 331 287 203 349 82 115 32 4 92 276 389 148 201 251 386 30 110 421 160 192 285 170 182 254 381 348 307 390 240 342 318 1 488 423 96 93 46 136 341 100 357 475 48 65 272 190 364 322 303 368 189 90 229 144 206 313 21 283 198 295 72 80 288 155 291 472 393 422 187 378 186 121 474 233 39 3 88 404 447 309 470 69 300 51 476 130 463 180 234 398 109 211 360 411 134 151 49 25 311 119 376 241 356 258 106 388 352 24 143 439 486 197 417 480 371 363 493 149 374 78 11 55 213 358 40 428 57 459 16 243 104 105 485 492 490 324
a YES
a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 155 156 158 159 162 168 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 379 382 384 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 355 357 359 360 361 363 368 369 372 379 382 384 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 384 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 447 448 449 453 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 27 32 33 34 36 42 46 51 54 56 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 447 448 449 453 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 27 32 33 34 36 42 46 51 54 56 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 27 32 33 34 36 42 46 51 54 56 58 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 384 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 27 32 33 34 36 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 384 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 350 355 357 359 360 361 363 368 369 372 379 382 384 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 350 355 357 359 360 361 363 368 369 372 379 382 384 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 350 355 357 359 360 361 363 368 369 372 379 382 384 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 350 355 357 359 360 361 363 368 369 372 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 24 25 26 32 33 34 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 124 126 128 130 132 133 134 137 142 143 144 147 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 350 355 357 359 360 361 363 368 369 372 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 32 33 34 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 124 126 128 130 132 133 134 137 142 143 144 147 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 32 33 34 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 147 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 24 25 26 27 32 33 34 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
a 2 3 4 9 10 15 20 21 22 23 24 25 26 27 32 33 34 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 316 317 319 322 323 324 325 328 329 336 337 340 344 346 349 355 357 359 360 361 363 368 369 372 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493
a 2 3 4 9 10 15 20 21 22 23 24 25 26 27 32 33 34 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 316 317 319 322 323 324 325 328 329 336 337 340 344 346 355 357 359 360 361 363 368 369 372 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493
a 2 3 4 9 10 15 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 316 317 319 322 323 324 325 328 329 336 337 340 344 346 355 357 358 359 360 361 363 368 369 372 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493
a 2 3 4 9 10 15 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 309 316 317 319 322 323 324 325 328 329 336 337 340 344 346 355 357 358 359 360 363 368 369 372 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 476 478 479 485 486 493
a 2 3 4 9 10 15 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 95 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 309 316 317 319 322 323 324 325 328 329 336 337 340 344 346 355 357 358 359 360 363 368 369 372 378 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 476 479 485 486 493
a 2 3 4 9 10 15 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 309 316 317 319 322 323 324 325 328 329 336 337 340 344 346 355 357 358 359 360 363 368 369 372 378 379 382 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 466 471 472 473 476 479 485 486 493
a 2 3 4 9 10 15 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 309 316 317 319 322 323 324 325 328 329 336 337 340 344 346 355 357 358 359 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 441 446 449 453 454 455 463 471 472 473 476 479 485 486 493
a 2 3 4 9 10 15 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 138 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 309 316 317 319 322 323 324 325 328 329 336 337 340 344 346 355 357 358 359 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 441 446 449 453 454 455 463 471 472 473 476 479 485 486 493
a 2 3 4 9 10 15 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 138 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 309 316 317 319 322 323 324 325 329 336 337 340 344 346 355 357 358 359 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 441 446 449 453 454 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 138 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 309 316 317 319 322 323 324 325 329 336 337 340 344 346 355 357 358 359 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 441 446 449 453 454 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 138 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 304 306 309 316 317 319 322 323 324 325 329 336 337 340 344 346 355 357 358 359 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 441 446 447 449 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 137 138 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 303 304 306 309 316 317 319 322 323 324 325 329 336 337 340 344 346 355 357 358 359 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 303 304 306 309 316 317 319 322 323 324 325 329 336 337 340 344 355 357 358 359 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 303 304 306 309 316 317 319 322 323 324 325 329 336 337 340 344 355 357 358 359 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 218 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 303 304 306 309 316 317 319 322 323 324 329 336 337 340 344 355 357 358 359 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 218 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 269 272 276 278 285 287 292 293 295 296 298 300 303 304 306 309 316 317 319 322 323 324 329 336 337 340 344 349 355 357 358 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 106 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 218 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 272 276 278 285 287 292 293 295 296 298 300 303 304 306 309 316 317 319 322 323 324 329 336 337 340 344 349 355 357 358 360 363 368 369 372 378 379 382 386 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 106 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 218 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 272 276 278 285 287 292 293 295 296 298 300 303 304 306 309 316 317 319 322 323 324 329 336 337 340 344 349 355 357 358 360 363 368 372 378 379 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 42 46 51 54 56 58 60 67 70 74 77 78 81 83 88 89 101 104 106 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 272 276 278 285 287 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 329 336 337 340 344 349 355 357 358 360 363 368 372 378 379 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 46 51 54 56 58 60 67 70 74 77 78 80 81 83 88 89 101 104 106 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 272 276 278 285 287 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 329 336 337 340 344 349 355 357 358 360 363 368 372 378 379 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 46 51 54 56 58 60 67 70 74 77 78 80 81 83 88 89 101 104 106 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 259 261 266 272 276 278 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 344 349 355 357 358 360 363 368 372 378 379 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 46 51 54 56 58 60 67 70 74 77 78 80 81 83 88 89 101 104 106 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 261 266 272 276 278 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 344 349 355 357 358 360 363 368 378 379 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 46 51 54 56 58 60 67 70 74 77 78 80 81 83 88 89 101 104 106 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 148 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 261 266 272 276 278 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 344 349 355 357 358 360 363 368 378 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 56 58 60 67 70 74 77 78 80 81 83 88 89 101 104 106 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 148 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 261 266 272 276 278 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 344 349 355 357 358 360 363 368 378 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 56 58 60 67 69 70 74 77 78 80 81 83 88 89 101 104 106 107 110 115 116 120 121 124 126 128 130 132 133 134 136 137 138 142 143 144 148 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 261 266 272 276 278 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 349 355 357 358 360 363 368 378 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 56 58 60 67 69 70 74 77 78 80 81 83 88 89 101 104 106 107 110 115 116 120 121 124 128 130 132 133 134 136 137 138 142 143 144 148 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 261 266 272 276 278 283 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 349 355 357 358 360 363 368 378 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 57 58 60 67 69 70 74 77 78 80 81 83 88 89 101 104 106 107 110 115 116 120 121 124 128 130 132 133 134 136 137 138 142 143 144 148 151 155 156 158 159 174 175 178 186 187 190 195 197 199 202 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 261 266 272 276 278 283 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 349 355 357 358 360 363 368 378 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 57 58 60 67 69 70 74 77 78 80 81 83 88 89 92 101 104 106 107 110 115 116 120 121 124 128 130 132 133 134 136 137 138 142 143 144 148 151 155 156 158 159 174 175 178 186 187 190 195 197 199 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 261 266 272 276 278 283 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 349 355 357 358 360 363 368 378 382 386 391 393 395 398 401 404 406 407 415 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 57 58 60 67 69 70 74 77 78 80 81 83 88 89 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 133 134 136 137 138 142 143 144 148 151 155 156 158 159 174 175 178 186 187 190 195 197 199 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 261 266 272 276 278 283 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 349 355 357 358 360 363 368 378 382 386 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 57 58 60 67 69 70 74 77 78 80 81 83 88 89 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 133 134 136 137 138 142 143 144 148 151 155 156 158 159 174 175 178 186 187 190 195 197 199 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 57 58 60 67 69 70 74 77 78 80 81 83 88 89 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 133 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 199 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 57 58 60 67 69 70 74 77 78 80 81 83 88 89 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 199 205 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 57 58 60 67 69 70 74 77 78 80 81 83 88 89 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 199 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 57 58 60 67 69 70 74 77 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 199 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 51 57 58 60 67 69 70 74 77 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 298 300 303 304 306 309 313 316 317 319 322 323 324 331 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 49 51 57 58 60 67 69 70 74 77 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 298 300 303 304 309 313 316 317 319 322 323 324 331 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 46 49 51 57 58 60 67 69 70 74 77 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 309 313 316 317 319 322 323 324 331 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 417 418 420 421 422 428 436 441 446 447 453 455 463 471 472 473 476 479 485 486 488 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 39 41 46 49 51 57 58 60 67 69 70 74 77 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 309 313 316 317 319 322 323 324 331 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 417 418 420 421 422 428 436 441 446 447 455 463 471 472 473 476 479 485 486 488 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 41 46 49 51 57 58 60 67 69 70 74 77 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 309 313 316 317 319 322 323 324 331 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 417 418 420 421 422 428 436 446 447 455 463 471 472 473 476 479 485 486 488 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 41 46 49 51 57 58 60 67 69 70 74 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 307 309 313 316 317 319 322 323 324 331 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 417 418 420 421 422 428 436 446 447 455 463 471 472 473 476 479 485 486 488 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 41 46 49 51 57 58 60 67 69 70 74 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 307 309 313 316 317 319 322 323 324 331 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 411 417 418 420 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 307 309 313 316 317 319 322 323 324 331 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 307 309 311 313 316 317 319 322 324 331 336 337 340 349 355 357 358 360 363 364 368 378 382 386 391 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 81 83 88 90 91 92 101 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 307 309 311 313 316 317 319 322 324 331 336 337 340 349 355 357 358 360 363 364 368 378 381 382 386 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 81 83 88 90 91 92 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 236 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 307 309 311 313 316 317 319 322 324 331 336 337 340 349 355 357 358 360 363 364 368 378 381 382 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 81 83 88 90 91 92 104 106 107 110 115 116 120 121 124 128 130 132 134 136 137 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 307 309 311 313 316 317 319 322 324 331 336 337 340 349 355 357 358 360 363 364 368 378 381 382 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 492 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 81 83 88 90 91 92 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 205 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 304 307 309 311 313 316 317 319 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 378 381 382 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 492 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 81 83 88 90 91 92 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 198 205 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 317 319 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 378 381 382 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 492 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 198 205 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 317 319 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 378 381 382 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 492 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 175 178 186 187 190 195 197 198 205 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 319 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 371 378 381 382 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 492 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 175 186 187 190 195 197 198 205 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 319 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 382 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 492 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 175 186 187 190 195 197 198 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 382 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 492 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 186 187 190 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 382 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 492 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 186 187 190 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 278 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 492 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 186 187 190 192 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 485 486 488 492 493
a 1 2 3 4 9 10 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 186 187 190 192 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 386 389 393 395 398 401 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 186 187 190 192 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 386 389 393 395 398 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 186 187 190 192 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 316 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 418 421 422 428 436 447 455 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 186 187 190 192 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 322 324 331 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 418 421 422 428 436 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 142 143 144 148 151 155 156 158 170 174 186 187 190 192 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 322 324 331 333 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 436 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 49 51 57 58 60 67 69 70 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 143 144 148 151 155 156 158 170 174 179 186 187 190 192 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 322 324 331 333 336 337 340 341 349 355 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 436 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 49 51 57 58 60 67 69 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 143 144 148 151 155 156 158 170 174 179 186 187 190 192 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 322 324 331 333 336 337 340 341 348 349 355 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 436 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 58 60 67 69 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 143 144 148 151 155 156 158 170 174 179 186 187 190 192 195 197 198 201 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 296 300 303 307 309 311 313 322 324 331 333 336 337 340 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 436 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 58 60 67 69 74 78 80 83 88 90 91 92 99 104 106 107 110 115 116 120 121 124 128 130 132 134 136 138 143 144 148 151 155 156 158 170 174 179 186 187 190 192 195 197 198 201 203 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 300 303 307 309 311 313 322 324 331 333 336 337 340 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 436 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 58 60 67 69 74 78 80 83 88 90 91 92 99 104 106 107 109 110 115 116 120 121 124 128 130 132 134 136 138 143 144 148 151 155 156 158 170 174 179 186 187 190 192 195 197 198 201 203 205 206 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 300 303 307 309 311 313 322 324 331 333 336 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 436 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 58 60 67 69 74 78 80 83 88 90 91 92 99 104 106 107 109 110 115 116 120 121 124 128 130 132 134 136 138 143 144 148 151 155 156 158 170 174 179 186 187 190 192 195 197 198 201 203 205 206 210 211 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 300 303 307 309 311 313 322 324 331 333 336 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 436 439 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 58 60 67 69 74 78 80 83 88 90 91 92 99 104 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 151 155 156 158 170 174 179 186 187 190 192 195 197 198 201 203 205 206 210 211 220 225 226 229 233 237 238 240 241 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 300 303 307 309 311 313 322 324 331 333 336 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 436 439 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 83 88 90 91 92 99 104 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 151 155 156 158 170 174 179 182 186 187 190 192 195 197 198 201 203 205 206 210 211 220 225 226 229 233 237 238 240 241 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 300 303 307 309 311 313 322 324 331 333 336 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 436 439 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 83 88 90 91 92 99 104 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 174 179 182 186 187 190 192 195 197 198 201 203 205 206 210 211 220 225 226 229 233 237 238 240 241 243 244 248 250 255 258 259 266 272 276 283 285 287 288 291 292 293 295 300 303 307 309 311 313 322 324 331 333 336 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 439 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 83 88 90 91 92 99 104 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 174 179 182 186 187 190 192 195 197 198 201 203 205 206 210 211 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 258 259 266 272 276 283 285 287 288 291 292 293 295 300 303 307 309 311 313 322 324 331 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 439 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 83 88 90 91 92 99 104 105 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 174 179 182 186 187 190 192 195 197 198 201 203 205 206 210 211 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 258 259 266 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 439 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 83 88 90 91 92 99 104 105 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 174 179 182 186 187 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 248 250 254 255 258 259 266 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 439 447 455 459 463 471 472 473 476 479 480 485 486 488 492 493
a 1 2 3 4 9 10 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 83 88 90 91 92 99 104 105 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 174 179 182 186 187 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 248 250 251 254 255 258 259 266 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 439 447 455 459 463 471 472 473 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 83 88 90 91 92 99 104 105 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 174 179 182 186 187 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 248 250 251 254 255 258 259 266 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 439 447 455 459 463 471 472 473 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 82 83 88 90 91 92 99 104 105 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 174 179 182 186 187 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 248 250 251 254 255 258 259 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 406 411 417 421 422 428 439 447 455 459 463 471 472 473 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 82 83 88 90 91 92 99 104 105 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 174 179 182 186 187 188 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 248 250 251 254 255 258 259 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 393 398 404 411 417 421 422 428 439 447 455 459 463 471 472 473 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 82 83 88 90 91 92 99 104 105 106 107 109 110 115 116 119 120 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 179 182 186 187 188 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 248 250 251 254 255 258 259 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 390 393 398 404 411 417 421 422 428 439 447 455 459 463 471 472 473 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 82 83 88 90 91 92 99 104 105 106 107 109 110 115 116 119 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 179 182 186 187 188 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 248 250 251 254 255 258 259 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 390 393 398 404 411 417 421 422 428 439 447 455 459 463 470 471 472 473 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 82 83 88 90 91 92 99 100 104 105 106 107 109 110 115 116 119 121 124 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 179 182 186 187 188 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 248 250 251 254 255 258 259 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 390 393 398 404 411 417 421 422 428 439 447 455 459 463 470 471 472 473 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 60 67 69 74 78 80 82 83 88 90 91 92 99 100 104 105 106 107 109 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 179 182 186 187 188 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 248 250 251 254 255 258 259 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 357 358 360 363 364 368 371 374 378 381 386 388 389 390 393 398 404 411 417 421 422 428 439 447 455 459 463 470 471 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 67 69 74 78 80 82 83 88 90 91 92 99 100 104 105 106 107 109 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 179 182 186 187 188 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 248 250 251 254 255 258 259 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 356 357 358 360 363 364 368 371 374 378 381 386 388 389 390 393 398 404 411 417 421 422 428 439 447 455 459 463 470 471 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 67 69 74 78 80 82 83 88 90 91 92 99 100 104 105 106 107 109 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 179 182 186 187 188 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 250 251 254 255 258 259 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 417 421 422 428 439 447 455 459 463 470 471 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 67 69 74 78 80 82 83 88 90 91 92 99 100 104 105 106 107 109 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 179 182 186 187 188 190 192 195 197 198 201 203 205 206 210 211 213 225 226 229 233 237 238 240 241 243 244 250 251 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 352 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 417 421 422 428 439 447 455 459 463 470 471 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 67 69 74 78 80 82 83 88 90 91 92 93 99 100 104 105 106 107 109 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 156 158 170 179 182 186 187 188 190 192 195 197 198 201 203 205 206 210 211 213 225 229 233 237 238 240 241 243 244 250 251 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 352 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 417 421 422 428 439 447 455 459 463 470 471 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 67 69 74 78 80 82 83 88 90 91 92 93 99 100 104 105 106 107 109 110 115 116 119 121 128 130 134 136 138 143 144 148 149 151 155 156 158 170 179 182 186 187 188 190 192 195 197 198 201 203 205 206 210 211 213 225 229 233 237 238 240 241 243 244 250 251 252 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 352 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 417 421 422 428 439 447 455 459 463 470 471 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 67 69 74 78 80 82 83 88 90 91 92 93 99 100 104 105 106 107 109 110 115 116 119 121 128 130 134 136 138 143 144 148 149 151 155 156 158 170 179 182 186 187 188 190 192 197 198 201 203 205 206 210 211 213 225 229 233 234 237 238 240 241 243 244 250 251 252 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 352 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 417 421 422 428 439 447 455 459 463 470 471 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 67 69 74 78 80 82 83 88 90 91 92 93 99 100 104 105 106 107 109 110 115 116 119 121 128 130 134 136 138 143 144 148 149 151 155 156 170 179 182 186 187 188 190 192 197 198 201 203 205 206 210 211 213 225 229 233 234 237 238 240 241 243 244 250 251 252 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 348 349 352 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 428 439 447 455 459 463 470 471 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 67 69 74 78 80 82 83 88 90 91 92 93 99 100 104 105 106 107 109 110 115 116 119 121 130 134 136 138 143 144 148 149 151 155 156 170 179 182 186 187 188 190 192 197 198 201 203 205 206 210 211 213 225 229 233 234 237 238 240 241 243 244 250 251 252 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 428 439 447 455 459 463 470 471 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 67 69 74 78 80 82 83 88 90 91 92 93 99 100 104 105 106 107 109 110 115 116 119 121 130 134 136 138 143 144 148 149 151 155 156 170 179 182 186 187 188 190 192 197 198 201 203 205 206 210 211 213 225 229 233 234 237 238 240 241 243 244 250 251 252 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 74 78 80 82 83 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 156 170 179 182 186 187 188 190 192 197 198 201 203 205 206 210 211 213 225 229 233 234 237 238 240 241 243 244 250 251 252 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 74 78 80 82 83 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 190 192 197 198 201 203 205 206 210 211 213 225 229 233 234 237 238 240 241 243 244 250 251 252 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 16 17 20 21 22 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 74 78 80 82 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 190 192 197 198 201 203 205 206 210 211 213 225 229 233 234 237 238 240 241 243 244 250 251 252 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 16 17 20 21 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 74 78 80 82 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 190 192 197 198 201 203 205 206 210 211 213 225 229 233 234 237 238 240 241 243 244 250 251 252 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 322 324 331 332 333 337 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 16 17 20 21 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 190 192 197 198 201 203 205 206 210 211 213 225 229 233 234 237 238 240 241 243 244 250 251 252 254 255 258 272 276 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 337 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 16 17 20 21 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 190 192 197 198 201 203 205 206 210 211 213 225 229 233 234 237 238 240 241 243 244 250 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 15 16 17 20 21 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 190 192 197 198 201 203 205 206 207 210 211 213 225 229 233 234 237 240 241 243 244 250 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 492 493
a 1 2 3 4 9 11 16 17 20 21 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 190 192 197 198 201 203 205 206 207 210 211 213 225 229 233 234 237 240 241 243 244 250 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 490 492 493
a 1 2 3 4 9 11 16 17 20 21 23 24 25 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 190 192 197 198 201 203 206 207 210 211 213 225 229 233 234 237 240 241 243 244 250 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 476 480 485 486 488 490 492 493
a 1 2 3 4 9 11 16 17 20 21 23 24 25 30 32 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 210 211 213 225 229 233 234 237 240 241 243 244 250 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 476 480 485 486 488 490 492 493
a 1 2 3 4 9 11 16 17 21 23 24 25 30 32 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 210 211 213 225 229 233 234 237 240 241 243 244 250 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493
a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 93 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 210 211 213 225 229 233 234 237 240 241 243 244 250 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493
a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 210 211 213 225 229 233 234 237 240 241 243 244 250 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493
a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 237 240 241 243 244 250 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493
a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 237 240 241 243 244 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493
a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 237 240 241 243 244 251 252 254 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493
a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 55 57 65 69 72 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 240 241 243 244 251 252 254 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493
c Step: 127
	Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance038_graph004.col /benchmark/random_instance/random_instance038_graph004_01.dat"
	User time (seconds): 65.38
	System time (seconds): 0.14
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.54
	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): 351228
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 123175
	Voluntary context switches: 24
	Involuntary context switches: 339
	Swaps: 0
	File system inputs: 0
	File system outputs: 1016
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 10:39:25 2023]