30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4194304 590 0 0 0 0 0 0 0 23 0 1 0 10032344 6991872 126 4294967295 134512640 134538271 3220078320 3220076956 3086631828 0 0 4096 0 0 0 0 17 1 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 970 0 0 0 0 0 0 0 23 0 1 0 10032344 7331840 487 4294967295 134512640 134538271 3220078320 3220077232 134529143 0 0 4096 0 0 0 0 17 1 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 982 0 0 0 0 0 0 0 23 0 1 0 10032344 7331840 499 4294967295 134512640 134538271 3220078320 3220076960 3084683406 0 0 4096 0 0 0 0 17 1 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 982 0 0 0 0 0 0 0 25 0 1 0 10032344 7331840 499 4294967295 134512640 134538271 3220078320 3220077040 3082974537 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 982 0 0 0 1 0 0 0 25 0 1 0 10032344 7331840 499 4294967295 134512640 134538271 3220078320 3220077280 3086513818 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 25 0 1 0 10032344 7331840 505 4294967295 134512640 134538271 3220078320 3220077088 3084674975 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 988 0 0 0 2 0 0 0 25 0 1 0 10032344 7331840 505 4294967295 134512640 134538271 3220078320 3220076960 3084683444 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 988 0 0 0 2 0 0 0 25 0 1 0 10032344 7331840 505 4294967295 134512640 134538271 3220078320 3220077040 3082974810 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 988 0 0 0 2 0 0 0 25 0 1 0 10032344 7331840 505 4294967295 134512640 134538271 3220078320 3220077280 3086513777 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 3 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077088 3085727885 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 3 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077068 3082974470 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220076776 3084646774 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077392 3086438729 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220076960 3084685575 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077088 3085727895 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077192 3084646788 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077088 3085727957 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077264 3084683742 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220076784 3082976011 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077280 3086513603 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220076784 3082976003 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220076780 3082963943 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077292 3085182499 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077088 3085727959 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077232 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077088 3085727959 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077360 3080374195 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220076960 3084687452 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077072 3082974469 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077268 3084683236 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077088 3085727957 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220076784 3082974973 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077088 3084674982 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077088 3085727959 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 25 0 1 0 10032344 7495680 517 4294967295 134512640 134538271 3220078320 3220077088 3085727966 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 13 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220076960 3084687452 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 14 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220076784 3082977522 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 14 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220076784 3082976837 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 14 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077088 3085727959 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 15 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077040 3082974639 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 15 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077040 3082974575 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077088 3085727923 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077088 3085727959 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220076784 3082978149 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 17 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077088 3085727966 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 17 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077040 3082974583 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077040 3082974779 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220076960 3084683647 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220076960 3084687448 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 19 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077040 3082974637 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 19 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220076784 3082976925 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077088 3084675007 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220076960 3084687452 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 25 0 1 0 10032344 7495680 519 4294967295 134512640 134538271 3220078320 3220077088 3084674700 0 0 4096 0 0 0 0 17 0 0 0 0
30699 (gecode-qwh) R 30698 27426 24421 34816 27426 4202496 1015 0 0 0 20 1 0 0 25 0 1 0 10032344 7499776 532 4294967295 134512640 134538271 3220078320 3220076988 3080358911 0 0 4096 0 0 0 0 17 0 0 0 0
