30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4194304 489 0 0 0 0 0 0 0 20 0 1 0 10028843 249856 27 4294967295 134512640 134538271 3218732448 3218729832 3086712964 0 0 4096 0 0 0 0 17 1 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 975 0 0 0 0 0 0 0 20 0 1 0 10028843 7331840 490 4294967295 134512640 134538271 3218732448 3218731276 3084756608 0 0 4096 0 0 0 0 17 1 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 20 0 1 0 10028843 7331840 496 4294967295 134512640 134538271 3218732448 3218731408 3086595542 0 0 4096 0 0 0 0 17 1 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 20 0 1 0 10028843 7331840 496 4294967295 134512640 134538271 3218732448 3218731216 3084756887 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 20 0 1 0 10028843 7331840 502 4294967295 134512640 134538271 3218732448 3218731216 3085809914 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 23 0 1 0 10028843 7331840 502 4294967295 134512640 134538271 3218732448 3218731088 3084767495 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 4 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731088 3084765367 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 5 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731216 3085809900 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731408 3086595531 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 7 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731216 3084756828 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 8 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218730912 3083057464 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 8 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731436 3084769789 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 9 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731088 3084769316 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 10 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731408 3086595720 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 11 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731088 3084765312 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 12 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731168 3083056554 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 12 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731168 3083056570 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 13 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731216 3085809805 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 14 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731076 3083056852 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 15 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731168 3083056492 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 16 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731168 3083056416 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 16 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731276 3084756608 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 17 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731088 3084765364 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 18 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731216 3084756677 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 19 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731360 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 20 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731360 134529171 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 20 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731168 3083056512 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 21 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218730912 3083056926 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 22 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731168 3083056437 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 23 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731216 3084756859 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 24 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731216 3085809886 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 24 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731216 3085809808 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 25 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218730916 3083058787 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 993 0 0 0 26 0 0 0 23 0 1 0 10028843 7331840 508 4294967295 134512640 134538271 3218732448 3218731280 3086598536 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1003 0 0 0 27 0 0 0 23 0 1 0 10028843 7495680 518 4294967295 134512640 134538271 3218732448 3218731212 3083056384 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 23 0 1 0 10028843 7495680 518 4294967295 134512640 134538271 3218732448 3218731168 3083056816 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 23 0 1 0 10028843 7495680 518 4294967295 134512640 134538271 3218732448 3218731088 3084768474 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1003 0 0 0 29 0 0 0 23 0 1 0 10028843 7495680 518 4294967295 134512640 134538271 3218732448 3218731408 3086595686 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1004 0 0 0 30 0 0 0 23 0 1 0 10028843 7495680 519 4294967295 134512640 134538271 3218732448 3218731408 3086595706 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1004 0 0 0 31 0 0 0 23 0 1 0 10028843 7495680 519 4294967295 134512640 134538271 3218732448 3218730912 3083058715 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1004 0 0 0 32 0 0 0 23 0 1 0 10028843 7495680 519 4294967295 134512640 134538271 3218732448 3218731168 3083056690 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 32 0 0 0 23 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731088 3084765592 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 33 0 0 0 23 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731216 3085809914 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 34 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731168 3083056527 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 34 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731168 3083056699 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 35 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731360 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 36 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731216 3085809843 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 36 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731408 3086595720 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 36 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731080 3083057560 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 37 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731360 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 38 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731376 3080455426 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 38 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731168 3083056816 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 38 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218730912 3083056874 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 39 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218730912 3083057554 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 40 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731440 3086593914 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1005 0 0 0 40 0 0 0 24 0 1 0 10028843 7495680 520 4294967295 134512640 134538271 3218732448 3218731168 3083056477 0 0 4096 0 0 0 0 17 0 0 0 0
30523 (gecode-qwh) R 30522 27426 24421 34816 27426 4202496 1019 0 0 0 40 0 0 0 24 0 1 0 10028843 7036928 467 4294967295 134512640 134538271 3218732448 3218731440 3086623760 0 0 4096 0 0 0 0 17 0 0 0 0
