#BEGIN: [Fri Sep  1 03:24:28 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap07a.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap07a_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/color04/wap07a.col /benchmark/2022benchmark/benchmark/color04/wap07a_01.dat
c /benchmark/2022benchmark/benchmark/color04/wap07a.col
c /benchmark/2022benchmark/benchmark/color04/wap07a_01.dat
s 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 931 955 1025 1113 1194 1338 1398 1586 
t 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 431 445 447 454 455 463 471 475 476 487 489 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 931 955 1008 1025 1113 1194 1296 1338 1586
a YES
a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 931 955 1025 1113 1194 1338 1398 1586
a 5 7 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 931 955 1025 1113 1194 1338 1398 1586
a 3 7 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 931 955 1025 1113 1194 1338 1398 1586
a 3 7 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 929 931 955 1025 1113 1194 1338 1398 1586
a 3 7 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 5 7 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 5 7 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 929 931 955 1025 1113 1194 1338 1398 1586
a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 929 931 955 1025 1113 1194 1338 1398 1586
a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 567 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 5 7 22 23 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 567 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 5 7 22 23 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 659 698 699 701 704 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 659 698 699 701 704 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 659 698 699 701 704 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 857 876 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 545 558 559 565 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 857 876 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 545 558 559 565 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 857 876 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 545 558 559 565 581 586 593 609 615 619 651 659 661 699 701 704 751 755 785 817 819 857 876 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 545 558 559 565 581 586 593 609 615 619 651 659 661 699 701 704 751 755 785 817 819 857 876 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 545 558 559 565 581 586 593 609 615 619 651 659 699 701 704 751 755 785 817 819 857 876 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 545 558 559 565 581 586 593 609 615 619 651 659 699 701 704 742 751 755 785 817 819 857 876 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 545 558 559 565 581 586 593 609 615 619 647 651 659 699 701 704 742 751 755 785 817 819 857 876 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 545 558 559 565 581 586 593 609 615 619 647 651 659 698 699 701 704 742 751 755 785 817 857 876 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 647 651 659 698 699 701 704 742 751 755 785 817 857 876 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 647 651 660 698 699 701 704 742 751 755 785 817 857 876 931 955 1025 1113 1194 1296 1338 1586
a 1 5 21 22 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 647 651 660 698 699 701 704 751 755 785 817 857 876 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 647 651 660 698 699 701 704 751 755 785 817 857 876 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 647 651 660 698 699 701 704 722 751 755 785 817 857 876 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 647 651 660 698 699 701 704 722 751 755 785 817 857 901 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 266 267 275 293 297 298 301 302 305 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 647 651 660 698 699 701 704 722 751 755 785 817 855 857 901 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 647 651 660 698 699 701 704 722 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 51 53 55 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 647 651 660 698 699 701 704 722 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 51 53 55 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 261 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 660 698 699 701 704 722 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 51 53 55 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 266 267 275 293 297 298 301 302 305 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 660 698 699 701 704 722 742 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 51 53 55 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 498 500 514 519 522 558 559 565 567 581 586 593 609 615 619 651 660 698 699 701 704 722 742 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 51 53 55 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 490 493 500 502 514 519 522 558 559 565 567 581 586 593 609 615 619 651 660 698 699 701 704 722 742 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 51 53 55 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 489 493 500 502 514 519 522 558 559 565 567 581 586 593 609 615 619 651 660 698 699 701 704 722 742 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 51 53 55 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 489 493 500 502 514 519 522 558 559 565 567 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 489 493 500 502 514 519 522 558 559 565 567 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 489 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 929 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 489 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 431 441 445 447 454 455 463 471 475 477 487 489 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 931 955 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 431 445 447 454 455 463 471 475 477 487 489 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 931 955 1008 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 431 445 447 454 455 463 471 475 477 487 489 493 500 502 514 519 522 558 559 565 567 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 931 955 1008 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 431 445 447 454 455 463 471 475 476 487 489 493 500 502 514 519 522 558 559 565 567 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 931 955 1008 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 105 106 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 431 445 447 454 455 463 471 475 476 487 489 493 500 502 514 519 522 558 559 565 567 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 931 955 1008 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 105 106 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 431 445 447 454 455 463 471 475 476 487 489 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 931 955 1008 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 108 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 431 445 447 454 455 463 471 475 476 487 489 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 931 955 1008 1025 1113 1194 1296 1338 1586
a 1 5 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 364 371 372 374 401 402 405 407 417 420 426 431 445 447 454 455 463 471 475 476 487 489 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 698 699 701 704 742 751 755 785 817 855 857 901 931 955 1008 1025 1113 1194 1296 1338 1586
c Step: 54
#END: [Fri Sep  1 03:33:22 2023]