31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4194304 529 0 0 0 0 0 0 0 20 0 1 0 10042127 5394432 65 4294967295 134512640 134538271 3220059872 3220057108 3086753870 0 0 4096 0 0 0 0 17 1 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 959 0 0 0 0 0 0 0 20 0 1 0 10042127 7168000 474 4294967295 134512640 134538271 3220059872 3220058784 134529143 0 0 4096 0 0 0 0 17 1 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 977 0 0 0 0 0 0 0 20 0 1 0 10042127 7331840 492 4294967295 134512640 134538271 3220059872 3220058592 3083097514 0 0 4096 0 0 0 0 17 1 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 989 0 0 0 1 0 0 0 20 0 1 0 10042127 7331840 504 4294967295 134512640 134538271 3220059872 3220058336 3083099660 0 0 4096 0 0 0 0 17 1 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 989 0 0 0 1 0 0 0 20 0 1 0 10042127 7331840 504 4294967295 134512640 134538271 3220059872 3220058592 3083097647 0 0 4096 0 0 0 0 17 1 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 20 0 1 0 10042127 7331840 504 4294967295 134512640 134538271 3220059872 3220058700 3084797568 0 0 4096 0 0 0 0 17 1 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 20 0 1 0 10042127 7331840 510 4294967295 134512640 134538271 3220059872 3220058640 3084797669 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 20 0 1 0 10042127 7331840 510 4294967295 134512640 134538271 3220059872 3220058832 3086636441 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 20 0 1 0 10042127 7331840 510 4294967295 134512640 134538271 3220059872 3220058784 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 20 0 1 0 10042127 7331840 510 4294967295 134512640 134538271 3220059872 3220058592 3083097452 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 23 0 1 0 10042127 7331840 510 4294967295 134512640 134538271 3220059872 3220058640 3084797835 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 23 0 1 0 10042127 7331840 510 4294967295 134512640 134538271 3220059872 3220058640 3084797857 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 23 0 1 0 10042127 7331840 510 4294967295 134512640 134538271 3220059872 3220058640 3084797745 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 23 0 1 0 10042127 7331840 510 4294967295 134512640 134538271 3220059872 3220058784 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 23 0 1 0 10042127 7331840 510 4294967295 134512640 134538271 3220059872 3220058592 3083097449 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 6 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058328 3084769665 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 6 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058784 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 7 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058336 3083099667 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 7 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058640 3084797862 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 8 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058944 3086559855 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 8 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058784 134529275 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 8 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058592 3083097530 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 9 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058592 3083097443 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 9 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058336 3083098877 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 10 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058512 3084809416 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 10 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058640 3084797771 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 10 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058832 3086636525 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 11 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058784 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 11 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058844 3085305376 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 12 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058592 3083097458 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 12 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058832 3086636483 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 12 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058640 3084797896 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 13 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058640 3084797868 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 13 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058592 3083097776 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 997 0 0 0 14 0 0 0 23 0 1 0 10042127 7331840 512 4294967295 134512640 134538271 3220059872 3220058592 3083097519 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 14 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084806305 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 14 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3086636435 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 15 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058340 3083099734 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 15 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058332 3083086826 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850809 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084810279 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3084810702 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 17 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3084797855 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 17 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3084797791 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058636 3083086823 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097465 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084810328 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 19 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850806 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 19 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097587 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097481 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097484 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3086636483 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 21 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3084797791 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 21 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097415 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 22 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3086636508 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 22 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058940 3085314528 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 22 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097560 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 23 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850846 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 23 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084806310 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 24 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058336 3083099731 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 24 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084806548 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 24 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097356 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 25 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058508 3083086823 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 25 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058336 3083099677 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 26 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3084797855 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 26 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850831 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 26 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3086636491 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 27 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850849 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 27 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058864 3086634966 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3086637455 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097690 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097385 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 29 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3084797853 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 29 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084810643 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 30 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 30 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058564 3080498211 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 30 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097423 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 31 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3084797862 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 31 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3084797678 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058628 3080497723 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084810284 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097370 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 33 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097385 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 33 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058828 3084806112 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 34 0 0 0 23 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850856 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 34 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058332 3083086823 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 34 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058620 3083097696 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 35 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097514 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 35 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058896 3086638120 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3086636646 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058328 3084769684 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058768 3083096699 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 37 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058684 3084797910 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 37 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058336 3083097828 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 38 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097508 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 38 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097443 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 38 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3086636646 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 39 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850765 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 39 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097508 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084809430 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097641 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097446 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 41 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058864 3085353216 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 41 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097475 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 42 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850803 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 42 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084806259 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 42 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097514 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 43 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084809410 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 43 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3086636435 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 44 0 0 0 24 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3084797799 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 44 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058628 3083097348 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 44 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084809416 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 45 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850803 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 45 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3084797653 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 46 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084806286 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 46 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058340 3083099751 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 46 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084806330 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 47 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 47 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097452 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 48 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3086636483 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 48 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097467 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 48 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850803 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 49 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058832 3086636491 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 49 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097478 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 50 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084809430 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 50 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058704 3086639423 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 50 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058336 3083099704 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 51 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058336 3083098514 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 51 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058784 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 52 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084808427 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 52 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850871 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 52 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058592 3083097663 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 53 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850843 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 53 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058640 3085850825 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 54 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058512 3084806572 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 54 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058336 3083098457 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1003 0 0 0 54 0 0 0 25 0 1 0 10042127 7495680 518 4294967295 134512640 134538271 3220059872 3220058944 3086560262 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 55 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058864 3086634765 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 55 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097690 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 56 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850803 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 56 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097514 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 56 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850843 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 57 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797896 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 57 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797862 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 58 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084810332 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 58 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797676 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 58 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 59 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083098449 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 59 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058784 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 60 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797728 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 60 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797853 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 60 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797825 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 61 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850846 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 61 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086636630 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 62 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850765 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 62 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083098571 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 62 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797853 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 63 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097614 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 63 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850846 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 64 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097397 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 64 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084810299 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 64 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083098514 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 65 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097475 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 65 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850841 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 66 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084806198 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 66 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097446 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 66 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797637 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 67 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086636646 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 67 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058848 3085367471 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 68 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097487 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 68 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058784 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 68 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097514 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 69 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797700 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 69 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058944 3086559819 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 70 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097527 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 70 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086636491 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 70 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097778 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 71 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084810328 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 71 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097449 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 72 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097458 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 72 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 72 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3084810684 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 73 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083099394 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 73 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797853 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 74 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097609 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 74 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083098792 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 74 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086637450 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 75 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097690 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 75 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097498 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 76 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797853 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 76 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083099630 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 76 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097364 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 77 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097508 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 77 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083098190 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 78 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797726 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 78 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084806299 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 78 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086636488 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 79 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097397 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 79 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797855 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 80 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084810257 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 80 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097778 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 80 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797631 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 81 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097446 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 81 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083099731 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 82 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084809416 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 82 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097478 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 82 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097653 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 83 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850819 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 83 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083099322 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 84 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097463 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 84 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850865 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 84 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084809430 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 85 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086636491 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 85 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797691 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 86 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083098851 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 86 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097403 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 86 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850837 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 87 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084806310 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 87 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084806592 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 88 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086636450 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 88 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097467 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 88 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850856 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 89 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086636409 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 89 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 90 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097467 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 90 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084806327 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 90 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084806263 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 91 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797610 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 91 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058620 3083097350 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 92 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 92 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797819 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 92 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083099633 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 93 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083099346 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 93 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084810289 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 94 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850803 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 94 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 94 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058784 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 95 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097376 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 95 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058500 3083098519 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 96 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097519 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 96 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084806532 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 96 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058820 3084806116 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 97 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797816 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 97 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086636640 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 98 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 98 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086636435 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 98 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058768 3083096746 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 99 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058704 3086639400 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 99 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097446 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 100 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086636486 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 100 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850803 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 100 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097437 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 101 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058832 3086637284 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 101 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058512 3084806327 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 102 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058784 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 102 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 102 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097600 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 103 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850841 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 103 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097690 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 104 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097620 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 104 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058620 3083097350 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 104 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850865 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 105 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097508 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 105 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058704 3086639423 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 106 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097397 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 106 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083097853 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 106 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 107 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797853 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 107 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097434 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 108 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058620 3083097350 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 108 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058632 3083097345 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 108 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083099372 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 109 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097560 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 109 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083099075 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 110 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058592 3083097376 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 110 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058784 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 110 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3085850839 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 111 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058336 3083099075 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1009 0 0 0 111 0 0 0 25 0 1 0 10042127 7495680 524 4294967295 134512640 134538271 3220059872 3220058640 3084797847 0 0 4096 0 0 0 0 17 0 0 0 0
31439 (gecode-qwh) R 31438 27426 24421 34816 27426 4202496 1023 0 0 0 112 0 0 0 25 0 1 0 10042127 7499776 538 4294967295 134512640 134538271 3220059872 3220058872 3086664720 0 0 4096 0 0 0 0 17 0 0 0 0
