Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-120-1_network-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-1.net.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 1880539 o 362589 o 362227 o 362053 o 361900 o 361726 o 361508 o 361334 o 361042 o 360868 o 360766 o 360548 o 360374 o 360082 o 359908 o 359739 o 359665 o 359447 o 359273 o 358981 o 358807 o 358638 o 358495 o 358474 o 358182 o 358008 o 357906 o 357857 o 357688 o 357514 o 357222 o 357048 o 356879 o 356805 o 356756 o 356587 o 356413 o 356121 o 355947 o 355778 o 355635 o 355601 o 355587 o 355556 o 355413 o 355245 o 355240 o 355071 o 354997 o 354948 o 354779 o 354605 o 354313 o 354139 o 353970 o 353827 o 353758 o 353466 o 353292 o 353123 o 352949 o 352780 o 352637 o 352516 o 352367 o 352224 o 352193 o 352050 o 352016 o 352002 o 351971 o 351828 o 351660 o 351655 o 351486 o 351412 o 351363 o 351194 o 351020 o 350728 o 350554 o 350385 o 350242 o 350206 o 350063 o 350032 o 349889 o 349820 o 349528 o 349354 o 349185 o 349011 o 348842 o 348699 o 348578 o 348429 o 348286 o 348255 o 348112 o 348078 o 348064 o 348033 o 347890 o 347722 o 347717 o 347548 o 347474 o 347425 o 347256 o 347082 o 346790 o 346616 o 346447 o 346304 o 346153 o 346010 o 345861 o 345718 o 345687 o 345544 o 345435 o 345292 o 345143 o 345000 o 344969 o 344826 o 344705 o 344556 o 344413 o 344382 o 344239 o 344205 o 344191 o 344160 o 344017 o 343849 o 343844 o 343675 o 343601 o 343552 o 343383 o 343209 o 342917 o 342743 o 342574 o 342431 o 342383 o 342352 o 342209 o 342088 o 341939 o 341796 o 341765 o 341622 o 341480 o 341449 o 341306 o 341232 o 341227 o 341058 o 340984 o 340935 o 340766 o 340592 o 340300 o 340126 o 339957 o 339814 o 339648 o 339505 o 339356 o 339213 o 339182 o 339039 o 338991 o 338960 o 338817 o 338696 o 338547 o 338404 o 338373 o 338230 o 338088 o 338057 o 337914 o 337840 o 337835 o 337666 o 337592 o 337543 o 337374 o 337200 o 336908 o 336734 o 336565 o 336422 o 336380 o 336245 o 336203 o 336121 o 336047 o 335998 o 335829 o 335655 o 335363 o 335189 o 335020 o 334877 o 334835 o 334742 o 334621 o 334472 o 334329 o 334298 o 334155 o 334013 o 333982 o 333839 o 333765 o 333760 o 333591 o 333517 o 333468 o 333299 o 333125 o 332833 o 332659 o 332490 o 332347 o 332305 o 332248 o 332206 o 332105 o 332063 o 331956 o 331914 o 331813 o 331771 o 331740 o 331639 o 331597 o 331556 o 331514 o 331413 o 331371 o 331340 o 331239 o 331197 o 331017 o 330843 o 330674 o 330500 o 330331 o 330228 o 330186 o 330085 o 330043 o 329946 o 329904 o 329797 o 329755 o 329750 o 329623 o 329581 o 329480 o 329438 o 329377 o 329335 o 329254 o 329212 o 329181 o 329080 o 329038 o 328977 o 328935 o 328920 o 328878 o 328698 o 328524 o 328355 o 328181 o 328012 o 327869 o 327766 o 327627 o 327478 o 327473 o 327304 o 327161 o 327058 o 326935 o 326904 o 326761 o 326658 o 326616 o 326615 o 326554 o 326512 o 326447 o 326405 o 326374 o 326273 o 326231 o 326170 o 326128 o 326047 o 326005 o 325974 o 325873 o 325831 o 325770 o 325728 o 325713 o 325614 o 325440 o 325148 o 324974 o 324805 o 324702 o 324662 o 324559 o 324420 o 324271 o 324266 o 324097 o 323954 o 323851 o 323728 o 323697 o 323554 o 323451 o 323409 o 323408 o 323347 o 323305 o 323267 o 323225 o 323194 o 323093 o 323051 o 322990 o 322948 o 322867 o 322825 o 322794 o 322693 o 322651 o 322590 o 322548 o 322533 o 322434 o 322260 o 321968 o 321794 o 321625 o 321522 o 321482 o 321379 o 321240 o 321091 o 321086 o 320917 o 320774 o 320671 o 320548 o 320517 o 320374 o 320271 o 320229 o 320228 o 320167 o 320125 o 320099 o 320038 o 319996 o 319915 o 319873 o 319842 o 319741 o 319699 o 319638 o 319596 o 319581 o 319482 o 319308 o 319016 o 318842 o 318673 o 318570 o 318530 o 318427 o 318288 o 318139 o 318134 o 317965 o 317822 o 317719 o 317596 o 317565 o 317422 o 317319 o 317277 o 317276 o 317215 o 317173 o 317135 o 317093 o 317054 o 316992 o 316950 o 316919 o 316880 o 316818 o 316776 o 316715 o 316673 o 316654 o 316592 o 316550 o 316522 o 316480 o 316418 o 316376 o 316315 o 316273 o 316247 o 316186 o 316144 o 316063 o 316021 o 315990 o 315889 o 315847 o 315786 o 315744 o 315729 o 315630 o 315456 o 315164 o 314990 o 314821 o 314718 o 314678 o 314575 o 314436 o 314287 o 314282 o 314113 o 313970 o 313867 o 313744 o 313713 o 313570 o 313467 o 313425 o 313424 o 313363 o 313321 o 313280 o 313238 o 313126 o 313084 o 312983 o 312941 o 312880 o 312838 o 312776 o 312734 o 312696 o 312654 o 312615 o 312553 o 312511 o 312480 o 312441 o 312379 o 312337 o 312276 o 312234 o 312215 o 312153 o 312111 o 312083 o 312041 o 311979 o 311937 o 311876 o 311834 o 311747 o 311624 o 311593 o 311450 o 311347 o 311290 o 311191 o 311017 o 310894 o 310725 o 310551 o 310382 o 310279 o 310239 o 310136 o 309997 o 309848 o 309843 o 309674 o 309531 o 309428 o 309305 o 309274 o 309131 o 309028 o 309027 o 308924 o 308882 o 308881 o 308820 o 308778 o 308740 o 308698 o 308636 o 308594 o 308566 o 308524 o 308462 o 308420 o 308397 o 308355 o 308293 o 308251 o 308171 o 308129 o 308124 o 307997 o 307955 o 307893 o 307851 o 307790 o 307748 o 307708 o 307647 o 307605 o 307576 o 307515 o 307473 o 307411 o 307369 o 307356 o 307253 o 307211 o 307069 o 306895 o 306726 o 306669 o 306500 o 306495 o 306326 o 306223 o 306181 o 306080 o 306038 o 305976 o 305934 o 305792 o 305618 o 305449 o 305392 o 305223 o 305218 o 305049 o 304946 o 304904 o 304803 o 304761 o 304699 o 304657 o 304628 o 304566 o 304524 o 304463 o 304421 o 304408 o 304377 o 304276 o 304234 o 304173 o 304131 o 304069 o 304027 o 303885 o 303711 o 303542 o 303485 o 303316 o 303311 o 303142 o 303039 o 302997 o 302896 o 302854 o 302792 o 302750 o 302721 o 302659 o 302617 o 302556 o 302514 o 302510 o 302502 o 302460 o 302359 o 302317 o 302255 o 302213 o 302152 o 302110 o 302081 o 302019 o 301977 o 301916 o 301874 o 301820 o 301778 o 301717 o 301675 o 301613 o 301571 o 301514 o 301472 o 301389 o 301286 o 301244 o 301169 o 301164 o 300995 o 300928 o 300759 o 300595 o 300528 o 300359 o 300256 o 300214 o 300113 o 300071 o 300009 o 299967 o 299914 o 299872 o 299811 o 299769 o 299678 o 299636 o 299575 o 299533 o 299471 o 299429 o 299375 o 299333 o 299272 o 299230 o 299229 o 299168 o 299126 o 299077 o 299035 o 298944 o 298902 o 298841 o 298799 o 298719 o 298677 o 298550 o 298508 o 298493 o 298451 o 298319 o 298277 o 298150 o 298108 o 298088 o 298046 o 298041 o 297914 o 297872 o 297811 o 297769 o 297729 o 297668 o 297626 o 297625 o 297564 o 297522 o 297518 o 297510 o 297468 o 297367 o 297325 o 297263 o 297221 o 297160 o 297118 o 297089 o 297027 o 296985 o 296924 o 296882 o 296828 o 296786 o 296725 o 296683 o 296682 o 296621 o 296579 o 296522 o 296480 o 296397 o 296355 o 296294 o 296252 o 296172 o 296130 o 296003 o 295961 o 295946 o 295904 o 295772 o 295730 o 295603 o 295561 o 295541 o 295499 o 295494 o 295367 o 295325 o 295264 o 295222 o 295182 o 295121 o 295079 o 295078 o 295017 o 294975 o 294960 o 294918 o 294857 o 294815 o 294753 o 294711 o 294662 o 294620 o 294529 o 294426 o 294384 o 294309 o 294304 o 294135 o 294068 o 293899 o 293735 o 293668 o 293499 o 293396 o 293354 o 293253 o 293211 o 293149 o 293107 o 293103 o 293095 o 293053 o 292952 o 292910 o 292848 o 292806 o 292745 o 292703 o 292674 o 292612 o 292570 o 292509 o 292467 o 292413 o 292371 o 292310 o 292268 o 292267 o 292206 o 292164 o 292107 o 292065 o 291982 o 291940 o 291879 o 291837 o 291757 o 291715 o 291588 o 291546 o 291531 o 291489 o 291357 o 291315 o 291188 o 291146 o 291126 o 291084 o 291079 o 290952 o 290910 o 290849 o 290807 o 290767 o 290706 o 290664 o 290663 o 290602 o 290560 o 290523 o 290481 o 290466 o 290424 o 290363 o 290321 o 290259 o 290217 o 290168 o 290126 o 290035 o 289932 o 289890 o 289815 o 289810 o 289641 o 289574 o 289405 o 289241 o 289174 o 289005 o 288902 o 288860 o 288759 o 288717 o 288655 o 288613 o 288596 o 288590 o 288559 o 288458 o 288416 o 288354 o 288312 o 288251 o 288209 o 288180 o 288118 o 288076 o 288015 o 287973 o 287919 o 287877 o 287816 o 287774 o 287773 o 287712 o 287670 o 287613 o 287571 o 287488 o 287446 o 287385 o 287343 o 287263 o 287221 o 287094 o 287052 o 287037 o 286995 o 286863 o 286821 o 286694 o 286652 o 286632 o 286590 o 286585 o 286458 o 286416 o 286355 o 286313 o 286273 o 286212 o 286170 o 286169 o 286108 o 286066 o 286008 o 285938 o 285834 o 285767 o 285702 o 285598 o 285538 o 285434 o 285302 o 285198 o 285095 o 285053 o 284952 o 284910 o 284872 o 284830 o 284768 o 284726 o 284665 o 284623 o 284604 o 284573 o 284472 o 284430 o 284368 o 284326 o 284265 o 284223 o 284194 o 284132 o 284090 o 284029 o 283987 o 283933 o 283891 o 283830 o 283788 o 283726 o 283684 o 283627 o 283585 o 283502 o 283399 o 283357 o 283282 o 283277 o 283108 o 283041 o 282872 o 282708 o 282641 o 282472 o 282369 o 282327 o 282226 o 282184 o 282122 o 282080 o 282079 o 281952 o 281910 o 281885 o 281843 o 281716 o 281674 o 281573 o 281531 o 281510 o 281490 o 281448 o 281443 o 281316 o 281274 o 281173 o 281131 o 281070 o 281028 o 280966 o 280924 o 280912 o 280870 o 280809 o 280767 o 280705 o 280663 o 280661 o 280600 o 280558 o 280496 o 280454 o 280416 o 280374 o 280313 o 280271 o 280190 o 280148 o 280117 o 280016 o 279974 o 279913 o 279871 o 279780 o 279738 o 279677 o 279635 o 279573 o 279531 o 279530 o 279468 o 279426 o 279403 o 279361 o 279299 o 279257 o 279242 o 279200 o 279172 o 279130 o 279068 o 279026 o 279003 o 278961 o 278899 o 278857 o 278767 o 278725 o 278663 o 278621 o 278560 o 278518 o 278478 o 278417 o 278375 o 278321 o 278279 o 278218 o 278176 o 278114 o 278072 o 278015 o 277973 o 277890 o 277787 o 277745 o 277670 o 277665 o 277496 o 277429 o 277260 o 277096 o 277029 o 276860 o 276757 o 276715 o 276614 o 276572 o 276510 o 276468 o 276456 o 276414 o 276352 o 276310 o 276249 o 276207 o 276206 o 276164 o 276107 o 276065 o 276063 o 276001 o 275959 o 275898 o 275856 o 275818 o 275776 o 275714 o 275672 o 275611 o 275569 o 275550 o 275519 o 275418 o 275376 o 275314 o 275272 o 275211 o 275169 o 275149 o 275078 o 274975 o 274933 o 274879 o 274837 o 274776 o 274734 o 274733 o 274672 o 274630 o 274573 o 274531 o 274490 o 274429 o 274387 o 274296 o 274254 o 274193 o 274151 o 274054 o 274012 o 273997 o 273955 o 273823 o 273781 o 273654 o 273612 o 273587 o 273545 o 273418 o 273376 o 273275 o 273233 o 273172 o 273130 o 273129 o 273068 o 273026 o 272995 o 272933 o 272891 o 272856 o 272755 o 272713 o 272672 o 272630 o 272625 o 272498 o 272456 o 272355 o 272313 o 272262 o 272220 o 272119 o 272077 o 272016 o 271974 o 271912 o 271870 o 271845 o 271816 o 271754 o 271712 o 271651 o 271609 o 271608 o 271566 o 271531 o 271491 o 271443 o 271401 o 271400 o 271358 o 271340 o 271298 o 271297 o 271255 o 271236 o 271194 o 271193 o 271151 o 271058 o 271016 o 271015 o 270973 o 270933 o 270832 o 270790 o 270759 o 270658 o 270616 o 270615 o 270573 o 270554 o 270523 o 270422 o 270380 o 270379 o 270337 o 270319 o 270277 o 270276 o 270234 o 270215 o 270173 o 270172 o 270130 o 270105 o 270058 o 270016 o 270015 o 269973 o 269954 o 269912 o 269911 o 269869 o 269865 o 269864 o 269822 o 269803 o 269761 o 269760 o 269718 o 269636 o 269594 o 269533 o 269491 o 269400 o 269297 o 269255 o 269215 o 269124 o 269021 o 268979 o 268882 o 268840 o 268739 o 268697 o 268656 o 268614 o 268609 o 268482 o 268440 o 268339 o 268297 o 268246 o 268204 o 268103 o 268061 o 268000 o 267958 o 267896 o 267854 o 267853 o 267811 o 267780 o 267741 o 267699 o 267653 o 267611 o 267587 o 267484 o 267442 o 267402 o 267341 o 267299 o 267248 o 267206 o 267105 o 267063 o 267062 o 267020 o 267018 o 266976 o 266945 o 266905 o 266844 o 266802 o 266801 o 266759 o 266740 o 266698 o 266697 o 266655 o 266638 o 266620 o 266578 o 266577 o 266535 o 266487 o 266445 o 266444 o 266402 o 266384 o 266342 o 266341 o 266299 o 266280 o 266238 o 266237 o 266195 o 266159 o 266098 o 266056 o 265994 o 265952 o 265917 o 265816 o 265774 o 265677 o 265635 o 265559 o 265517 o 265416 o 265374 o 265323 o 265281 o 265180 o 265138 o 265077 o 265035 o 264973 o 264931 o 264930 o 264888 o 264877 o 264834 o 264792 o 264774 o 264732 o 264731 o 264689 o 264670 o 264627 o 264585 o 264571 o 264529 o 264528 o 264486 o 264470 o 264452 o 264410 o 264409 o 264367 o 264294 o 264191 o 264149 o 264148 o 264106 o 264085 o 264082 o 264040 o 263913 o 263871 o 263770 o 263728 o 263727 o 263685 o 263666 o 263635 o 263534 o 263492 o 263491 o 263449 o 263447 o 263405 o 263374 o 263273 o 263231 o 263230 o 263188 o 263170 o 263128 o 263127 o 263085 o 263066 o 263024 o 263023 o 262981 o 262940 o 262939 o 262897 o 262879 o 262837 o 262836 o 262794 o 262775 o 262756 o 262714 o 262713 o 262671 o 262640 o 262601 o 262582 o 262540 o 262539 o 262497 o 262479 o 262437 o 262436 o 262394 o 262365 o 262346 o 262304 o 262303 o 262261 o 262243 o 262201 o 262200 o 262158 o 262143 o 262101 o 262100 o 262058 o 262040 o 261998 o 261997 o 261955 o 261907 o 261865 o 261864 o 261822 o 261804 o 261762 o 261761 o 261719 o 261683 o 261658 o 261639 o 261638 o 261596 o 261507 o 261465 o 261464 o 261422 o 261404 o 261362 o 261361 o 261319 o 261300 o 261258 o 261257 o 261215 o 261190 o 261132 o 261090 o 261089 o 261047 o 261028 o 260986 o 260985 o 260943 o 260925 o 260883 o 260882 o 260840 o 260811 o 260792 o 260750 o 260749 o 260707 o 260689 o 260647 o 260646 o 260604 o 260593 o 260551 o 260550 o 260508 o 260490 o 260448 o 260447 o 260405 o 260404 o 260386 o 260344 o 260343 o 260301 o 260287 o 260245 o 260244 o 260202 o 260186 o 260168 o 260126 o 260125 o 260083 o 260058 o 260010 o 259968 o 259967 o 259925 o 259907 o 259865 o 259864 o 259822 o 259801 o 259798 o 259756 o 259629 o 259587 o 259486 o 259444 o 259443 o 259401 o 259393 o 259351 o 259350 o 259308 o 259250 o 259208 o 259207 o 259165 o 259132 o 259090 o 259089 o 259047 o 258989 o 258947 o 258946 o 258904 o 258886 o 258844 o 258843 o 258801 o 258800 o 258782 o 258740 o 258739 o 258697 o 258666 o 258640 o 258567 o 258525 o 258524 o 258482 o 258464 o 258422 o 258421 o 258379 o 258366 o 258324 o 258323 o 258281 o 258227 o 258185 o 258184 o 258142 o 258109 o 258067 o 257966 o 257924 o 257923 o 257881 o 257862 o 257833 o 257791 o 257730 o 257688 o 257687 o 257645 o 257626 o 257584 o 257583 o 257541 o 257501 o 257500 o 257458 o 257422 o 257420 o 257378 o 257377 o 257335 o 257246 o 257204 o 257203 o 257161 o 257143 o 257101 o 257100 o 257058 o 257010 o 256968 o 256967 o 256925 o 256907 o 256865 o 256864 o 256822 o 256803 o 256761 o 256760 o 256718 o 256705 o 256666 o 256647 o 256605 o 256604 o 256562 o 256544 o 256502 o 256501 o 256459 o 256444 o 256402 o 256401 o 256359 o 256341 o 256299 o 256298 o 256256 o 256208 o 256166 o 256165 o 256123 o 256105 o 256063 o 256062 o 256020 o 255984 o 255959 o 255940 o 255939 o 255897 o 255808 o 255766 o 255765 o 255723 o 255705 o 255663 o 255662 o 255620 o 255601 o 255559 o 255558 o 255516 o 255490 o 255442 o 255400 o 255399 o 255357 o 255339 o 255297 o 255296 o 255254 o 255235 o 255193 o 255192 o 255150 o 255119 o 255112 o 255011 o 254969 o 254968 o 254926 o 254907 o 254865 o 254864 o 254822 o 254804 o 254762 o 254761 o 254719 o 254690 o 254671 o 254629 o 254628 o 254586 o 254568 o 254526 o 254525 o 254483 o 254470 o 254428 o 254427 o 254385 o 254378 o 254377 o 254335 o 254316 o 254274 o 254273 o 254231 o 254192 o 254173 o 254131 o 254130 o 254088 o 254070 o 254028 o 254027 o 253985 o 253956 o 253937 o 253895 o 253894 o 253852 o 253834 o 253792 o 253791 o 253749 o 253738 o 253696 o 253695 o 253653 o 253635 o 253593 o 253592 o 253550 o 253531 o 253489 o 253488 o 253446 o 253432 o 253390 o 253389 o 253347 o 253331 o 253313 o 253271 o 253270 o 253228 o 253155 o 253052 o 253010 o 253009 o 252967 o 252966 o 252924 o 252923 o 252881 o 252843 o 252774 o 252732 o 252631 o 252589 o 252588 o 252546 o 252528 o 252486 o 252485 o 252443 o 252424 o 252395 o 252353 o 252292 o 252250 o 252249 o 252207 o 252205 o 252163 o 252134 o 252031 o 251989 o 251988 o 251946 o 251927 o 251885 o 251884 o 251842 o 251801 o 251800 o 251758 o 251740 o 251698 o 251697 o 251655 o 251636 o 251617 o 251575 o 251574 o 251532 o 251501 o 251462 o 251443 o 251401 o 251400 o 251358 o 251340 o 251298 o 251297 o 251255 o 251226 o 251207 o 251165 o 251164 o 251122 o 251104 o 251062 o 251061 o 251019 o 250982 o 250963 o 250921 o 250920 o 250878 o 250872 o 250830 o 250829 o 250787 o 250769 o 250727 o 250726 o 250684 o 250675 o 250674 o 250632 o 250613 o 250571 o 250570 o 250528 o 250510 o 250468 o 250467 o 250425 o 250410 o 250368 o 250367 o 250325 o 250306 o 250264 o 250263 o 250221 o 250174 o 250132 o 250131 o 250089 o 250070 o 250028 o 250027 o 249985 o 249967 o 249925 o 249924 o 249882 o 249864 o 249863 o 249821 o 249803 o 249761 o 249760 o 249718 o 249689 o 249670 o 249628 o 249627 o 249585 o 249567 o 249525 o 249524 o 249482 o 249456 o 249408 o 249366 o 249365 o 249323 o 249305 o 249263 o 249262 o 249220 o 249201 o 249159 o 249158 o 249116 o 249109 o 249047 o 249005 o 248974 o 248935 o 248873 o 248831 o 248770 o 248728 o 248699 o 248637 o 248595 o 248534 o 248492 o 248436 o 248394 o 248386 o 248344 o 248282 o 248240 o 248201 o 248139 o 248097 o 248036 o 247994 o 247965 o 247903 o 247861 o 247800 o 247758 o 247757 o 247715 o 247704 o 247661 o 247619 o 247601 o 247559 o 247558 o 247516 o 247497 o 247454 o 247412 o 247398 o 247356 o 247355 o 247313 o 247297 o 247279 o 247237 o 247236 o 247194 o 247121 o 247018 o 246976 o 246975 o 246933 o 246932 o 246890 o 246889 o 246847 o 246809 o 246736 o 246694 o 246693 o 246651 o 246633 o 246591 o 246590 o 246548 o 246494 o 246452 o 246451 o 246409 o 246402 o 246360 o 246336 o 246233 o 246191 o 246190 o 246148 o 246129 o 246100 o 246058 o 245997 o 245955 o 245954 o 245912 o 245893 o 245851 o 245850 o 245808 o 245767 o 245766 o 245724 o 245706 o 245664 o 245663 o 245621 o 245602 o 245513 o 245471 o 245470 o 245428 o 245409 o 245367 o 245366 o 245324 o 245306 o 245264 o 245263 o 245221 o 245192 o 245173 o 245131 o 245130 o 245088 o 245070 o 245028 o 245027 o 244985 o 244968 o 244948 o 244886 o 244844 o 244783 o 244741 o 244712 o 244650 o 244608 o 244547 o 244505 o 244464 o 244403 o 244361 o 244332 o 244270 o 244228 o 244167 o 244125 o 244115 o 244087 o 244045 o 243983 o 243941 o 243880 o 243838 o 243782 o 243740 o 243716 o 243654 o 243612 o 243551 o 243509 o 243485 o 243443 o 243382 o 243340 o 243315 o 243273 o 243249 o 243207 o 243146 o 243104 o 243103 o 243061 o 243019 o 242977 o 242959 o 242916 o 242874 o 242855 o 242766 o 242724 o 242723 o 242681 o 242662 o 242620 o 242619 o 242577 o 242559 o 242517 o 242516 o 242474 o 242445 o 242426 o 242384 o 242383 o 242341 o 242323 o 242281 o 242280 o 242238 o 242197 o 242155 o 242154 o 242112 o 242094 o 242052 o 242051 o 242009 o 241990 o 241948 o 241947 o 241905 o 241865 o 241864 o 241822 o 241786 o 241784 o 241742 o 241741 o 241699 o 241610 o 241568 o 241567 o 241525 o 241507 o 241465 o 241464 o 241422 o 241374 o 241332 o 241331 o 241289 o 241271 o 241229 o 241228 o 241186 o 241167 o 241125 o 241124 o 241082 o 241068 o 241026 o 241025 o 240983 o 240952 o 240913 o 240894 o 240852 o 240851 o 240809 o 240801 o 240759 o 240758 o 240716 o 240677 o 240658 o 240616 o 240615 o 240573 o 240555 o 240513 o 240512 o 240470 o 240452 o 240451 o 240409 o 240391 o 240349 o 240348 o 240306 o 240277 o 240258 o 240216 o 240215 o 240173 o 240155 o 240113 o 240112 o 240070 o 240050 o 240012 o 239970 o 239908 o 239866 o 239856 o 239814 o 239682 o 239640 o 239539 o 239497 o 239421 o 239379 o 239278 o 239236 o 239174 o 239132 o 239071 o 239029 o 239028 o 238986 o 238945 o 238944 o 238902 o 238884 o 238842 o 238841 o 238799 o 238780 o 238691 o 238649 o 238648 o 238606 o 238587 o 238545 o 238544 o 238502 o 238484 o 238442 o 238441 o 238399 o 238370 o 238351 o 238309 o 238308 o 238266 o 238248 o 238206 o 238205 o 238163 o 238146 o 238126 o 238064 o 238022 o 237961 o 237919 o 237890 o 237828 o 237786 o 237725 o 237683 o 237642 o 237581 o 237539 o 237510 o 237448 o 237406 o 237345 o 237303 o 237293 o 237265 o 237223 o 237161 o 237119 o 237058 o 237016 o 236960 o 236918 o 236894 o 236832 o 236790 o 236729 o 236687 o 236663 o 236621 o 236560 o 236518 o 236493 o 236451 o 236427 o 236385 o 236324 o 236282 o 236281 o 236239 o 236197 o 236155 o 236137 o 236094 o 236052 o 236033 o 235944 o 235902 o 235901 o 235859 o 235840 o 235798 o 235797 o 235755 o 235737 o 235695 o 235694 o 235652 o 235623 o 235604 o 235562 o 235561 o 235519 o 235501 o 235459 o 235458 o 235416 o 235375 o 235333 o 235332 o 235290 o 235272 o 235230 o 235229 o 235187 o 235168 o 235126 o 235125 o 235083 o 235043 o 235042 o 235000 o 234964 o 234962 o 234920 o 234919 o 234877 o 234788 o 234746 o 234745 o 234703 o 234685 o 234643 o 234642 o 234600 o 234552 o 234510 o 234509 o 234467 o 234449 o 234407 o 234406 o 234364 o 234345 o 234303 o 234302 o 234260 o 234242 o 234241 o 234199 o 234170 o 234151 o 234109 o 234108 o 234066 o 234048 o 234006 o 234005 o 233963 o 233961 o 233919 o 233890 o 233787 o 233745 o 233744 o 233702 o 233682 o 233621 o 233579 o 233488 o 233446 o 233385 o 233343 o 233342 o 233281 o 233239 o 233199 o 233108 o 233066 o 233005 o 232963 o 232962 o 232901 o 232859 o 232821 o 232779 o 232717 o 232675 o 232614 o 232572 o 232563 o 232521 o 232492 o 232450 o 232389 o 232347 o 232323 o 232281 o 232220 o 232178 o 232153 o 232111 o 232087 o 232045 o 231984 o 231942 o 231941 o 231880 o 231838 o 231837 o 231795 o 231754 o 231711 o 231669 o 231651 o 231609 o 231608 o 231566 o 231547 o 231504 o 231462 o 231458 o 231416 o 231415 o 231373 o 231364 o 231324 o 231263 o 231221 o 231190 o 231150 o 231089 o 231047 o 231046 o 231004 o 231002 o 230960 o 230929 o 230889 o 230828 o 230786 o 230785 o 230743 o 230724 o 230682 o 230681 o 230639 o 230612 o 230611 o 230569 o 230550 o 230508 o 230507 o 230465 o 230447 o 230405 o 230404 o 230362 o 230274 o 230232 o 230231 o 230189 o 230171 o 230129 o 230128 o 230086 o 230038 o 229996 o 229995 o 229953 o 229935 o 229893 o 229892 o 229850 o 229831 o 229789 o 229788 o 229746 o 229724 o 229723 o 229681 o 229674 o 229573 o 229531 o 229530 o 229488 o 229469 o 229427 o 229426 o 229384 o 229366 o 229324 o 229323 o 229281 o 229252 o 229233 o 229191 o 229190 o 229148 o 229130 o 229088 o 229087 o 229045 o 229004 o 228943 o 228901 o 228820 o 228778 o 228747 o 228708 o 228646 o 228604 o 228543 o 228501 o 228410 o 228368 o 228307 o 228265 o 228264 o 228222 o 228204 o 228203 o 228161 o 228132 o 228113 o 228071 o 228070 o 228028 o 228010 o 227968 o 227967 o 227925 o 227923 o 227881 o 227852 o 227749 o 227707 o 227706 o 227664 o 227644 o 227583 o 227541 o 227450 o 227408 o 227347 o 227305 o 227304 o 227243 o 227201 o 227179 o 227137 o 227129 o 227087 o 226986 o 226944 o 226882 o 226840 o 226779 o 226737 o 226708 o 226646 o 226604 o 226543 o 226501 o 226459 o 226417 o 226386 o 226285 o 226243 o 226182 o 226140 o 226049 o 226007 o 225946 o 225904 o 225903 o 225842 o 225800 o 225799 o 225757 o 225745 o 225727 o 225685 o 225684 o 225642 o 225594 o 225551 o 225509 o 225491 o 225449 o 225448 o 225406 o 225387 o 225344 o 225302 o 225280 o 225279 o 225237 o 225230 o 225129 o 225087 o 225086 o 225044 o 225025 o 224983 o 224982 o 224940 o 224922 o 224880 o 224879 o 224837 o 224808 o 224789 o 224747 o 224746 o 224704 o 224686 o 224644 o 224643 o 224601 o 224574 o 224573 o 224531 o 224512 o 224470 o 224469 o 224427 o 224409 o 224367 o 224366 o 224324 o 224304 o 224303 o 224261 o 224213 o 224171 o 224170 o 224128 o 224110 o 224068 o 224067 o 224025 o 223984 o 223936 o 223894 o 223893 o 223851 o 223833 o 223791 o 223790 o 223748 o 223747 o 223729 o 223687 o 223686 o 223644 o 223611 o 223584 o 223583 o 223541 o 223522 o 223480 o 223479 o 223437 o 223419 o 223377 o 223376 o 223334 o 223305 o 223286 o 223244 o 223243 o 223201 o 223183 o 223141 o 223140 o 223098 o 223057 o 223028 o 223009 o 222967 o 222966 o 222924 o 222906 o 222864 o 222863 o 222821 o 222733 o 222691 o 222690 o 222648 o 222630 o 222588 o 222587 o 222545 o 222497 o 222455 o 222454 o 222412 o 222394 o 222352 o 222351 o 222309 o 222290 o 222248 o 222247 o 222205 o 222183 o 222182 o 222140 o 222133 o 222032 o 221990 o 221989 o 221947 o 221928 o 221886 o 221885 o 221843 o 221825 o 221783 o 221782 o 221740 o 221711 o 221692 o 221650 o 221649 o 221607 o 221589 o 221547 o 221546 o 221504 o 221463 o 221402 o 221360 o 221279 o 221237 o 221206 o 221167 o 221105 o 221063 o 221002 o 220960 o 220869 o 220827 o 220766 o 220724 o 220723 o 220681 o 220676 o 220675 o 220633 o 220615 o 220573 o 220572 o 220530 o 220494 o 220492 o 220450 o 220449 o 220407 o 220318 o 220276 o 220275 o 220233 o 220215 o 220173 o 220172 o 220130 o 220082 o 220040 o 220039 o 219997 o 219979 o 219937 o 219936 o 219894 o 219875 o 219833 o 219832 o 219790 o 219749 o 219688 o 219646 o 219627 o 219565 o 219523 o 219492 o 219453 o 219391 o 219349 o 219288 o 219246 o 219217 o 219155 o 219113 o 219052 o 219010 o 219009 o 218967 o 218956 o 218913 o 218871 o 218853 o 218811 o 218810 o 218768 o 218749 o 218706 o 218664 o 218650 o 218608 o 218607 o 218565 o 218550 o 218508 o 218507 o 218465 o 218447 o 218405 o 218404 o 218362 o 218314 o 218272 o 218271 o 218229 o 218211 o 218169 o 218168 o 218126 o 218124 o 218082 o 218053 o 217950 o 217908 o 217907 o 217865 o 217849 o 217807 o 217806 o 217764 o 217746 o 217704 o 217703 o 217661 o 217613 o 217571 o 217570 o 217528 o 217510 o 217468 o 217467 o 217425 o 217423 o 217381 o 217352 o 217249 o 217207 o 217206 o 217164 o 217145 o 217103 o 217102 o 217060 o 217019 o 216990 o 216971 o 216929 o 216928 o 216886 o 216868 o 216826 o 216825 o 216783 o 216742 o 216723 o 216681 o 216680 o 216638 o 216605 o 216578 o 216577 o 216535 o 216516 o 216474 o 216473 o 216431 o 216413 o 216371 o 216370 o 216328 o 216280 o 216238 o 216237 o 216195 o 216177 o 216135 o 216134 o 216092 o 216074 o 216032 o 216003 o 215900 o 215858 o 215857 o 215815 o 215782 o 215781 o 215739 o 215721 o 215679 o 215678 o 215636 o 215588 o 215546 o 215545 o 215503 o 215485 o 215443 o 215442 o 215400 o 215399 o 215381 o 215339 o 215338 o 215296 o 215255 o 215208 o 215166 o 215165 o 215123 o 215104 o 215062 o 215061 o 215019 o 214999 o 214998 o 214956 o 214908 o 214866 o 214865 o 214823 o 214805 o 214763 o 214762 o 214720 o 214679 o 214631 o 214589 o 214588 o 214546 o 214528 o 214486 o 214485 o 214443 o 214424 o 214382 o 214381 o 214339 o 214306 o 214279 o 214278 o 214236 o 214217 o 214175 o 214174 o 214132 o 214114 o 214072 o 214071 o 214029 o 214000 o 213981 o 213939 o 213938 o 213896 o 213878 o 213836 o 213835 o 213793 o 213752 o 213723 o 213704 o 213662 o 213661 o 213619 o 213601 o 213559 o 213558 o 213516 o 213428 o 213386 o 213385 o 213343 o 213325 o 213283 o 213282 o 213240 o 213192 o 213150 o 213149 o 213107 o 213089 o 213047 o 213046 o 213004 o 212985 o 212943 o 212942 o 212900 o 212860 o 212859 o 212817 o 212781 o 212779 o 212737 o 212736 o 212694 o 212605 o 212563 o 212562 o 212520 o 212502 o 212460 o 212459 o 212417 o 212369 o 212327 o 212326 o 212284 o 212266 o 212224 o 212223 o 212181 o 212162 o 212120 o 212119 o 212077 o 212055 o 212054 o 212012 o 212005 o 212004 o 211962 o 211943 o 211901 o 211900 o 211858 o 211819 o 211800 o 211758 o 211757 o 211715 o 211697 o 211655 o 211654 o 211612 o 211583 o 211564 o 211522 o 211521 o 211479 o 211461 o 211419 o 211418 o 211376 o 211371 o 211309 o 211267 o 211206 o 211164 o 211145 o 211114 o 211013 o 210971 o 210909 o 210867 o 210806 o 210764 o 210735 o 210673 o 210631 o 210570 o 210528 o 210527 o 210485 o 210465 o 210404 o 210362 o 210271 o 210229 o 210168 o 210126 o 210064 o 210022 o 210000 o 209958 o 209950 o 209908 o 209807 o 209765 o 209703 o 209661 o 209600 o 209558 o 209529 o 209467 o 209425 o 209364 o 209322 o 209280 o 209238 o 209207 o 209106 o 209064 o 209003 o 208961 o 208870 o 208828 o 208767 o 208725 o 208663 o 208621 o 208620 o 208578 o 208537 o 208476 o 208434 o 208415 o 208384 o 208283 o 208241 o 208179 o 208137 o 208076 o 208034 o 208005 o 207943 o 207901 o 207840 o 207798 o 207797 o 207755 o 207714 o 207666 o 207624 o 207563 o 207521 o 207520 o 207478 o 207447 o 207446 o 207404 o 207315 o 207273 o 207272 o 207230 o 207212 o 207170 o 207169 o 207127 o 207079 o 207037 o 207036 o 206994 o 206976 o 206934 o 206933 o 206891 o 206872 o 206830 o 206829 o 206787 o 206746 o 206699 o 206657 o 206656 o 206614 o 206595 o 206553 o 206552 o 206510 o 206487 o 206486 o 206444 o 206415 o 206396 o 206354 o 206353 o 206311 o 206293 o 206251 o 206250 o 206208 o 206167 o 206138 o 206119 o 206077 o 206076 o 206034 o 206016 o 205974 o 205973 o 205931 o 205902 o 205860 o 205859 o 205817 o 205799 o 205757 o 205756 o 205714 o 205673 o 205625 o 205583 o 205582 o 205540 o 205522 o 205480 o 205479 o 205437 o 205418 o 205376 o 205375 o 205333 o 205325 o 205296 o 205277 o 205235 o 205234 o 205192 o 205174 o 205132 o 205131 o 205089 o 205046 o 205004 o 204975 o 204872 o 204830 o 204829 o 204787 o 204769 o 204727 o 204698 o 204595 o 204553 o 204552 o 204510 o 204501 o 204483 o 204441 o 204440 o 204398 o 204371 o 204310 o 204268 o 204267 o 204225 o 204206 o 204164 o 204163 o 204121 o 204098 o 204097 o 204055 o 204007 o 203965 o 203964 o 203922 o 203904 o 203862 o 203861 o 203819 o 203801 o 203759 o 203730 o 203688 o 203627 o 203585 o 203584 o 203542 o 203524 o 203523 o 203481 o 203463 o 203421 o 203420 o 203378 o 203330 o 203288 o 203287 o 203245 o 203227 o 203185 o 203184 o 203142 o 203123 o 203081 o 203080 o 203038 o 203005 o 202978 o 202977 o 202935 o 202916 o 202874 o 202873 o 202831 o 202813 o 202771 o 202770 o 202728 o 202680 o 202638 o 202637 o 202595 o 202577 o 202535 o 202534 o 202492 o 202474 o 202432 o 202403 o 202361 o 202300 o 202258 o 202257 o 202215 o 202205 o 202162 o 202120 o 202102 o 202060 o 202059 o 202017 o 201998 o 201955 o 201913 o 201886 o 201824 o 201782 o 201721 o 201679 o 201678 o 201636 o 201564 o 201522 o 201521 o 201479 o 201461 o 201419 o 201418 o 201376 o 201328 o 201286 o 201285 o 201243 o 201225 o 201183 o 201182 o 201140 o 201121 o 201079 o 201078 o 201036 o 201003 o 200976 o 200975 o 200933 o 200914 o 200872 o 200871 o 200829 o 200811 o 200769 o 200768 o 200726 o 200678 o 200636 o 200635 o 200593 o 200575 o 200533 o 200532 o 200490 o 200472 o 200430 o 200401 o 200359 o 200298 o 200256 o 200255 o 200213 o 200203 o 200160 o 200118 o 200100 o 200058 o 200057 o 200015 o 199996 o 199953 o 199911 o 199884 o 199822 o 199780 o 199719 o 199677 o 199676 o 199634 o 199623 o 199622 o 199580 o 199562 o 199520 o 199519 o 199477 o 199436 o 199407 o 199388 o 199346 o 199345 o 199303 o 199285 o 199243 o 199242 o 199200 o 199161 o 199143 o 199101 o 199100 o 199058 o 199010 o 198968 o 198967 o 198925 o 198907 o 198865 o 198864 o 198822 o 198803 o 198761 o 198760 o 198718 o 198710 o 198681 o 198662 o 198620 o 198619 o 198577 o 198559 o 198517 o 198516 o 198474 o 198431 o 198389 o 198360 o 198257 o 198215 o 198214 o 198172 o 198154 o 198112 o 198083 o 197980 o 197938 o 197937 o 197895 o 197884 o 197883 o 197841 o 197823 o 197781 o 197780 o 197738 o 197697 o 197668 o 197649 o 197607 o 197606 o 197564 o 197546 o 197504 o 197503 o 197461 o 197447 o 197405 o 197404 o 197362 o 197343 o 197301 o 197300 o 197258 o 197250 o 197221 o 197202 o 197160 o 197159 o 197117 o 197099 o 197057 o 197056 o 197014 o 196971 o 196929 o 196900 o 196797 o 196755 o 196754 o 196712 o 196694 o 196652 o 196623 o 196520 o 196478 o 196477 o 196435 o 196397 o 196355 o 196264 o 196161 o 196119 o 196090 o 196048 o 195987 o 195945 o 195944 o 195902 o 195883 o 195841 o 195840 o 195798 o 195696 o 195625 o 195522 o 195480 o 195389 o 195347 o 195286 o 195244 o 195243 o 195201 o 195182 o 195140 o 195139 o 195097 o 195009 o 194967 o 194966 o 194924 o 194905 o 194863 o 194862 o 194820 o 194747 o 194705 o 194644 o 194602 o 194601 o 194559 o 194516 o 194474 o 194445 o 194342 o 194300 o 194299 o 194257 o 194239 o 194197 o 194168 o 194065 o 194023 o 194022 o 193980 o 193962 o 193920 o 193919 o 193877 o 193858 o 193816 o 193815 o 193773 o 193755 o 193713 o 193712 o 193670 o 193641 o 193622 o 193580 o 193579 o 193537 o 193519 o 193477 o 193476 o 193434 o 193393 o 193364 o 193345 o 193303 o 193302 o 193260 o 193242 o 193200 o 193199 o 193157 o 193145 o 193144 o 193102 o 193073 o 193054 o 193012 o 193011 o 192969 o 192951 o 192909 o 192908 o 192866 o 192847 o 192758 o 192716 o 192715 o 192673 o 192654 o 192612 o 192611 o 192569 o 192551 o 192509 o 192508 o 192466 o 192439 o 192438 o 192396 o 192377 o 192335 o 192334 o 192292 o 192274 o 192232 o 192231 o 192189 o 192186 o 192179 o 192078 o 192036 o 192035 o 191993 o 191974 o 191932 o 191931 o 191889 o 191871 o 191829 o 191828 o 191786 o 191757 o 191738 o 191696 o 191695 o 191653 o 191635 o 191593 o 191592 o 191550 o 191509 o 191480 o 191461 o 191419 o 191418 o 191376 o 191358 o 191316 o 191315 o 191273 o 191255 o 191213 o 191212 o 191170 o 191151 o 191109 o 191108 o 191066 o 191048 o 191006 o 191005 o 190963 o 190934 o 190915 o 190873 o 190872 o 190830 o 190812 o 190770 o 190769 o 190727 o 190686 o Killed 1819.712u 0.010s 47:16.34 64.1% 0+0k 0+0io 0pf+0w