31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4194304 619 0 0 0 0 0 0 0 18 0 1 0 10040793 6991872 152 4294967295 134512640 134538271 3215440512 3215438948 3086673109 0 0 4096 0 0 0 0 17 1 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 987 0 0 0 0 0 0 0 18 0 1 0 10040793 7331840 501 4294967295 134512640 134538271 3215440512 3215439232 3083064746 0 0 4096 0 0 0 0 17 1 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 22 0 1 0 10040793 7331840 502 4294967295 134512640 134538271 3215440512 3215439584 3086527401 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 993 0 0 0 1 0 0 0 22 0 1 0 10040793 7331840 507 4294967295 134512640 134538271 3215440512 3215439232 3083064759 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 22 0 1 0 10040793 7331840 508 4294967295 134512640 134538271 3215440512 3215438976 3083066883 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 22 0 1 0 10040793 7331840 508 4294967295 134512640 134538271 3215440512 3215439232 3083064664 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 22 0 1 0 10040793 7331840 508 4294967295 134512640 134538271 3215440512 3215439472 3086603715 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 994 0 0 0 3 0 0 0 22 0 1 0 10040793 7331840 508 4294967295 134512640 134538271 3215440512 3215439280 3085818071 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 999 0 0 0 3 0 0 0 22 0 1 0 10040793 7495680 513 4294967295 134512640 134538271 3215440512 3215439280 3084765013 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 22 0 1 0 10040793 7495680 513 4294967295 134512640 134538271 3215440512 3215439232 3083064681 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 22 0 1 0 10040793 7495680 514 4294967295 134512640 134538271 3215440512 3215439340 3084764800 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 22 0 1 0 10040793 7495680 514 4294967295 134512640 134538271 3215440512 3215439580 3086605578 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1007 0 0 0 5 0 0 0 22 0 1 0 10040793 7495680 521 4294967295 134512640 134538271 3215440512 3215439124 3080467694 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1017 0 0 0 5 0 0 0 22 0 1 0 10040793 7495680 531 4294967295 134512640 134538271 3215440512 3215439280 3084764908 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1017 0 0 0 6 0 0 0 22 0 1 0 10040793 7495680 531 4294967295 134512640 134538271 3215440512 3215439232 3083064681 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 6 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215438976 3083066901 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 6 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064687 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 7 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085818069 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 7 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215438976 3083065094 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 8 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085818063 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 8 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439420 134520868 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 8 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064678 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 9 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3084764863 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 9 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439152 3084773682 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 10 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085818084 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 10 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3084765051 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 10 0 0 0 22 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3084765087 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 11 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085818035 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 11 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085818088 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 12 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439264 3083064904 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 12 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215438976 3083065055 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 12 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064675 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 13 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064719 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 13 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439152 3084777560 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 14 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064687 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 14 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439424 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 14 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439472 3086603754 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 15 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064620 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 15 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064629 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 16 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3084764958 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 16 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439152 3084773556 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 16 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439472 3086603872 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 17 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439152 3084773378 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 17 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085818035 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 18 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439152 3084777531 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 18 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085818071 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 18 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064681 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 19 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439424 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 19 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064684 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 20 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3084765087 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 20 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064826 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 20 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439424 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 21 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439152 3084773775 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 21 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064740 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 22 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064596 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 22 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085817987 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 22 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085818071 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 23 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439504 3086602015 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 23 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439504 3085320528 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 24 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439456 3084773349 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 24 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439472 3086603872 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 24 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064608 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 25 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439472 3086604473 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 25 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439472 3086603878 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 26 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439456 3084773349 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 26 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064740 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 26 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439468 3084773344 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 27 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439152 3084773551 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 27 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064687 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 28 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064647 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 28 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064724 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 28 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085818078 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 29 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439472 3084777916 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 29 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439472 3086603673 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 30 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064702 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 30 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064879 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 30 0 0 0 23 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439264 3083064929 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 30 0 0 0 24 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439228 3083054058 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 31 0 0 0 24 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439232 3083064645 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 31 0 0 0 24 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439280 3085818071 0 0 4096 0 0 0 0 17 0 0 0 0
31363 (gecode-qwh) R 31362 27426 24421 34816 27426 4202496 1018 0 0 0 32 0 0 0 24 0 1 0 10040793 7495680 532 4294967295 134512640 134538271 3215440512 3215439460 3084773348 0 0 4096 0 0 0 0 17 0 0 0 0
