s 1 4 6 8 9 11 17 19 23 25 27 29 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 641 646 648 652 656 659 662 
t 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 641 646 648 652 656 659 662
a YES
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 394 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
a 1 101 109 11 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 17 170 172 174 176 178 179 181 185 188 19 191 195 200 202 204 206 208 210 213 215 217 224 226 23 231 233 237 239 243 245 25 250 252 255 257 259 261 263 266 268 27 270 272 277 279 281 283 285 287 29 292 294 297 299 303 307 309 31 311 313 318 322 324 326 327 329 33 331 335 337 339 343 347 349 351 355 357 364 366 368 37 370 371 375 384 388 390 396 398 4 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 44 440 443 449 453 457 459 46 461 464 466 470 472 474 479 48 481 483 485 490 494 496 498 500 501 505 507 512 513 515 519 523 529 534 537 539 54 541 543 548 551 553 558 560 562 563 565 573 575 577 579 582 584 587 589 591 593 6 60 600 604 605 612 614 615 619 621 623 626 630 632 635 637 639 64 641 646 648 652 656 659 66 662 68 72 74 8 80 82 86 88 9 90 92 94 96 98
	Command being timed: "python3 /SOLVER/longest/run.py submission sas split /BENCHMARKS/benchmark/color04/ash331GPIA.col /BENCHMARKS/benchmark/color04/ash331GPIA_01.dat"
	User time (seconds): 0.40
	System time (seconds): 0.03
	Percent of CPU this job got: 0%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:10:00
	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): 19152
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 14350
	Voluntary context switches: 179
	Involuntary context switches: 43
	Swaps: 0
	File system inputs: 8
	File system outputs: 488
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0