31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 961 0 0 0 0 0 0 0 22 0 1 0 10034778 7168000 478 4294967295 134512640 134538271 3215032864 3215031584 3082974785 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 975 0 0 0 1 0 0 0 22 0 1 0 10034778 7331840 492 4294967295 134512640 134538271 3215032864 3215031584 3082974628 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 975 0 0 0 1 0 0 0 22 0 1 0 10034778 7331840 492 4294967295 134512640 134538271 3215032864 3215031824 3086513568 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 975 0 0 0 2 0 0 0 22 0 1 0 10034778 7331840 492 4294967295 134512640 134538271 3215032864 3215031504 3084687387 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 22 0 1 0 10034778 7331840 498 4294967295 134512640 134538271 3215032864 3215031328 3082976784 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 22 0 1 0 10034778 7331840 504 4294967295 134512640 134538271 3215032864 3215031632 3085727961 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 22 0 1 0 10034778 7331840 504 4294967295 134512640 134538271 3215032864 3215031328 3082976571 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 22 0 1 0 10034778 7331840 504 4294967295 134512640 134538271 3215032864 3215031328 3082974982 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 993 0 0 0 4 0 0 0 22 0 1 0 10034778 7331840 510 4294967295 134512640 134538271 3215032864 3215031632 3085727920 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 993 0 0 0 4 0 0 0 24 0 1 0 10034778 7331840 510 4294967295 134512640 134538271 3215032864 3215031504 3084687380 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031696 3086516942 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 5 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031776 134529192 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 5 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031584 3082974549 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031504 3084683326 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031776 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031504 3084686530 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031856 3086511956 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727959 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031328 3082974994 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031492 3082974932 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 8 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031856 3086511888 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 9 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031628 3082974464 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 9 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031328 3082976180 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727959 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727959 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 10 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031504 3084683406 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 11 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031584 3082974761 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 11 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727885 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031776 134529233 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031776 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 12 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031504 3084685577 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 13 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031504 3084687380 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 13 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727959 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 14 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031756 3084646768 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 14 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031584 3082974484 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 14 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031328 3082975634 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 15 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727885 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 15 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727929 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 16 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031504 3084683695 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 16 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031824 3086513611 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 16 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031492 3082974932 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 17 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031328 3082976808 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 17 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031584 3082974650 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 18 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727957 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 18 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031584 3082974734 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 19 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031824 3086513750 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 19 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031792 3080372124 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 20 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031824 3086513755 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 20 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727959 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 20 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031328 3082975569 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 21 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031504 3084687399 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 21 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031504 3084683507 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 22 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031824 3086513619 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 22 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031504 3084683427 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 22 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3084674939 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 23 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727959 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 23 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727959 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 24 0 0 0 24 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727961 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 24 0 0 0 25 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031584 3082974587 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 24 0 0 0 25 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031584 3082974607 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 25 0 0 0 25 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031324 3084646807 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 25 0 0 0 25 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031840 3085244636 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 26 0 0 0 25 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031776 3080372632 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 26 0 0 0 25 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031504 3084683430 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 26 0 0 0 25 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031328 3082976851 0 0 4096 0 0 0 0 17 1 0 0 0
31043 (gecode-qwh) R 31042 27426 24421 34816 27426 4202496 999 0 0 0 27 0 0 0 25 0 1 0 10034778 7495680 516 4294967295 134512640 134538271 3215032864 3215031632 3085727923 0 0 4096 0 0 0 0 17 1 0 0 0
