30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4194304 518 0 0 0 0 0 0 0 25 0 1 0 10032274 5238784 57 4294967295 134512640 134538271 3218728352 3218725864 3086409860 0 0 4096 0 0 0 0 17 1 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 951 0 0 0 0 0 0 0 25 0 1 0 10032274 7135232 468 4294967295 134512640 134538271 3218728352 3218727072 3082753342 0 0 4096 0 0 0 0 17 1 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 987 0 0 0 0 0 0 0 25 0 1 0 10032274 7299072 504 4294967295 134512640 134538271 3218728352 3218726816 3082755611 0 0 4096 0 0 0 0 17 1 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032274 7299072 504 4294967295 134512640 134538271 3218728352 3218727344 3085009173 0 0 4096 0 0 0 0 17 1 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1003 0 0 0 1 0 0 0 25 0 1 0 10032274 7462912 520 4294967295 134512640 134538271 3218728352 3218727264 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1004 0 0 0 2 0 0 0 25 0 1 0 10032274 7462912 521 4294967295 134512640 134538271 3218728352 3218727168 3084453849 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727120 3085506739 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727120 3085506695 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 3 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727120 3084453812 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 3 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727120 3084453758 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727120 3084453720 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727264 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218726816 3082754448 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 5 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727264 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 5 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727312 3086292419 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727120 3085506807 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727264 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727072 3082753309 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 7 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727072 3082753300 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 7 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218726816 3082755624 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727116 3082753280 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727112 3082753281 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218726816 3082754385 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 9 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727120 3085506775 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 9 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218726992 3084466212 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218726992 3084462266 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218726816 3082755318 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218727112 3082753281 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1005 0 0 0 11 0 0 0 25 0 1 0 10032274 7462912 522 4294967295 134512640 134538271 3218728352 3218726992 3084462082 0 0 4096 0 0 0 0 17 0 0 0 0
30683 (gecode-qwh) R 30682 27426 24421 34816 27426 4202496 1018 0 0 0 11 0 0 0 25 0 1 0 10032274 7467008 535 4294967295 134512640 134538271 3218728352 3218727020 3080137727 0 0 4096 0 0 0 0 17 0 0 0 0
