#BEGIN: [Tue Aug 29 21:36:59 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap08a.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap08a_02.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/2022benchmark/benchmark/color04/wap08a.col /benchmark/2022benchmark/benchmark/color04/wap08a_02.dat c /benchmark/2022benchmark/benchmark/color04/wap08a.col c /benchmark/2022benchmark/benchmark/color04/wap08a_02.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 414 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 843 900 1044 1132 1251 1521 1712 1811 1812 1820 1822 1824 1825 1826 1828 1829 1832 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 t 5 24 25 30 33 39 41 42 44 48 62 66 73 79 84 89 91 102 112 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 199 215 221 223 225 230 234 252 253 255 259 261 262 269 273 291 293 297 300 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 537 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 a YES a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 414 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 843 900 1044 1132 1251 1521 1712 1811 1812 1820 1822 1824 1825 1826 1828 1829 1832 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 414 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 843 900 1044 1092 1132 1251 1521 1712 1811 1812 1822 1824 1825 1826 1828 1829 1832 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 414 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 843 900 1044 1092 1132 1251 1313 1521 1712 1811 1812 1822 1824 1825 1826 1828 1829 1832 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 414 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 843 900 1044 1132 1251 1313 1521 1712 1811 1812 1820 1822 1824 1825 1826 1828 1829 1832 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 414 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 843 900 1044 1132 1251 1521 1712 1811 1812 1820 1822 1824 1825 1826 1828 1829 1832 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 414 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 843 900 1044 1070 1132 1251 1521 1712 1811 1812 1820 1822 1824 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 363 364 366 368 376 382 398 407 414 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 843 900 1044 1070 1132 1251 1521 1712 1811 1812 1820 1822 1824 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 363 364 366 368 376 382 398 407 414 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 843 900 1044 1070 1092 1132 1251 1521 1712 1811 1812 1822 1824 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 414 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 843 900 1044 1070 1092 1132 1251 1521 1712 1811 1812 1822 1824 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 900 1044 1070 1092 1132 1251 1521 1712 1811 1812 1822 1824 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 1044 1070 1075 1092 1132 1251 1521 1712 1811 1812 1822 1824 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 33 41 44 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 1067 1070 1075 1092 1132 1251 1521 1712 1811 1812 1822 1824 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 2 33 41 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 1067 1070 1075 1092 1132 1251 1521 1712 1811 1812 1822 1824 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 2 33 41 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 1067 1070 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 2 33 41 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 353 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 1067 1070 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 2 33 41 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 154 157 163 165 167 184 185 189 190 197 200 201 215 217 221 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 353 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 1065 1070 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 2 33 41 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 353 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 1065 1070 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 2 33 41 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 1065 1070 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1836 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 2 33 41 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 1065 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1868 1870 a 2 33 41 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 785 811 821 843 1065 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1862 1865 1867 1870 a 2 33 41 66 68 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 1065 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1865 1867 1870 a 2 33 41 62 66 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 251 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 1065 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1865 1867 1870 a 2 33 41 62 66 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 252 253 255 259 261 262 267 270 273 291 293 299 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 1065 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1865 1867 1870 a 2 33 41 62 66 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 229 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 1065 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1865 1867 1870 a 2 33 41 62 66 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1065 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1865 1867 1870 a 2 33 41 62 66 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 415 417 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1044 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1865 1867 1870 a 2 33 41 62 66 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1044 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1856 1857 1865 1867 1870 a 2 33 41 62 66 83 84 90 91 109 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1044 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1849 1856 1857 1865 1870 a 2 33 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 462 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1044 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1849 1856 1857 1865 1870 a 2 33 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1044 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1849 1856 1857 1865 1870 a 2 33 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 355 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1044 1075 1092 1132 1251 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1849 1850 1856 1857 1865 a 2 33 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 516 518 528 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1044 1075 1092 1132 1251 1313 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1846 1848 1849 1850 1856 1857 1865 a 2 33 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 516 518 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1044 1075 1092 1132 1251 1313 1521 1712 1811 1812 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1848 1849 1850 1856 1857 1865 a 2 33 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 516 518 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1044 1075 1132 1251 1313 1521 1712 1811 1812 1820 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1843 1844 1845 1848 1849 1850 1856 1857 1865 a 2 33 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 516 518 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 693 731 785 811 821 843 860 1044 1075 1132 1251 1313 1521 1712 1811 1812 1820 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1856 1857 1865 a 2 33 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 148 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 516 518 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 731 785 811 821 843 860 1044 1075 1132 1251 1313 1521 1712 1811 1812 1820 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 516 518 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 731 785 811 821 843 860 1044 1075 1132 1251 1313 1521 1712 1811 1812 1820 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 515 518 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 731 785 811 821 843 860 1044 1075 1132 1251 1313 1521 1712 1811 1812 1820 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 83 84 90 91 102 112 127 129 131 133 134 139 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 515 517 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 731 785 811 821 843 860 1044 1075 1132 1251 1313 1521 1712 1811 1812 1820 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 83 84 90 91 102 112 127 129 131 133 134 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 515 517 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 692 731 785 811 821 843 860 1044 1075 1132 1251 1313 1521 1712 1811 1812 1820 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 467 468 472 482 486 488 496 504 512 515 517 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 692 731 785 811 821 843 860 1044 1075 1132 1251 1313 1521 1712 1811 1812 1820 1822 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 270 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 468 472 482 486 488 496 504 512 515 517 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 692 731 785 811 821 843 860 1044 1075 1132 1251 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 468 472 482 486 488 496 504 512 515 517 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 692 731 785 811 821 843 860 1044 1075 1132 1251 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 468 472 482 486 488 496 504 512 515 517 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 692 731 785 811 821 843 860 900 1044 1132 1251 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 407 410 415 443 444 447 449 459 461 468 472 482 486 496 504 512 515 517 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 692 731 785 811 821 843 860 900 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 407 410 415 443 444 447 449 459 461 468 472 482 486 496 504 512 515 517 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 692 731 785 811 843 860 900 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 33 39 41 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 305 307 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 407 410 415 443 444 447 449 459 461 468 482 486 496 504 512 515 517 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 692 731 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 24 33 39 41 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 305 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 407 410 415 443 444 447 449 459 461 468 482 486 496 504 512 515 517 528 530 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 692 731 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1828 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 24 33 39 41 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 305 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 407 410 415 443 444 447 449 459 461 468 482 486 496 504 512 515 517 528 530 534 541 543 555 560 572 586 599 600 606 610 621 626 632 647 653 657 684 692 731 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 24 33 39 41 48 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 305 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 407 410 415 443 444 447 449 459 461 468 482 486 496 504 512 515 517 528 530 534 541 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1854 1856 1857 1865 a 2 24 33 39 41 48 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 217 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 305 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 410 415 443 444 447 449 459 461 468 482 486 496 504 512 515 517 528 530 534 541 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1865 a 2 24 33 39 41 48 62 66 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 305 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 541 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1865 a 2 24 33 39 41 48 62 66 79 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 541 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1865 a 2 24 33 39 41 48 62 66 79 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 197 200 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1865 a 2 24 33 39 41 48 62 66 79 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1865 a 2 24 33 39 41 48 62 66 79 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1832 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 a 2 24 33 39 41 42 48 62 66 79 84 90 91 102 112 127 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 a 2 5 24 33 39 41 42 48 62 66 79 84 90 91 102 112 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 382 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 a 2 5 24 25 33 39 41 42 48 62 66 79 84 90 91 102 112 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 a 2 5 24 25 33 39 41 42 48 62 66 79 84 89 91 102 112 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 310 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 a 2 5 24 25 30 33 39 41 42 48 62 66 79 84 89 91 102 112 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 a 5 24 25 30 33 39 41 42 44 48 62 66 79 84 89 91 102 112 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 201 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 a 5 24 25 30 33 39 41 42 44 48 62 66 79 84 89 91 102 112 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 199 215 221 223 225 230 234 247 252 253 255 259 261 262 267 269 273 291 293 297 300 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 a 5 24 25 30 33 39 41 42 44 48 62 66 79 84 89 91 102 112 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 199 215 221 223 225 230 234 247 252 253 255 259 261 262 269 273 291 293 297 300 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 537 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 a 5 24 25 30 33 39 41 42 44 48 62 66 73 79 84 89 91 102 112 129 131 133 134 137 143 145 149 153 154 163 165 167 184 185 189 190 193 197 199 215 221 223 225 230 234 252 253 255 259 261 262 269 273 291 293 297 300 311 318 336 340 341 344 345 350 352 354 360 364 366 368 376 398 404 410 415 443 444 447 449 455 459 461 468 482 486 496 504 512 515 517 528 530 534 537 543 555 560 572 586 599 600 606 610 621 626 632 647 657 684 692 731 773 785 811 843 860 900 971 1044 1132 1251 1282 1313 1521 1712 1811 1812 1820 1822 1823 1825 1826 1829 1835 1836 1837 1838 1841 1844 1845 1848 1849 1850 1851 1854 1856 1857 1864 c Step: 64 Command being timed: "python3 run_3.py --existent --na /benchmark/2022benchmark/benchmark/color04/wap08a.col /benchmark/2022benchmark/benchmark/color04/wap08a_02.dat" User time (seconds): 424.81 System time (seconds): 13.79 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 7:18.63 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): 48856484 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 17290373 Voluntary context switches: 31 Involuntary context switches: 2844 Swaps: 0 File system inputs: 0 File system outputs: 4104 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Aug 29 21:44:19 2023]