30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4194304 530 0 0 0 0 0 0 0 18 0 1 0 10029455 5447680 68 4294967295 134512640 134538271 3215909616 3215906816 3085983876 0 0 4096 0 0 0 0 17 1 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 976 0 0 0 0 0 0 0 22 0 1 0 10029455 7331840 493 4294967295 134512640 134538271 3215909616 3215908384 3084027787 0 0 4096 0 0 0 0 17 1 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 1 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908072 3083999628 0 0 4096 0 0 0 0 17 1 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908576 3085866598 0 0 4096 0 0 0 0 17 1 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908528 134529192 0 0 4096 0 0 0 0 17 1 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327464 0 0 4096 0 0 0 0 17 1 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 3 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908240 3082327765 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 3 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908332 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327392 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327549 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327558 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908080 3082328382 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327645 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908080 3082329730 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3084027807 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 7 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327375 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 7 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327395 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 8 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327488 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 8 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3084027733 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 8 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 9 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 9 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908256 3084039382 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 10 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908380 3082327627 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 10 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327460 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 10 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908684 134529824 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 11 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3085080789 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 11 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908592 3082325237 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 12 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3085080761 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 12 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3084027751 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 12 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 13 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327615 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 13 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908080 3082328483 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 14 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908256 3084036113 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 14 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908080 3082330007 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 14 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3084027630 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 15 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 15 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3084027814 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 16 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908372 3082327650 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 16 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908080 3082329027 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 16 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 17 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 17 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327410 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 18 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908256 3084040228 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 18 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3084027807 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 18 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908380 3082327627 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 19 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908256 3084040219 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 19 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327316 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 20 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327436 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 20 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908372 3082327300 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 20 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327340 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 21 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908252 3082327760 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 21 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327471 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 22 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908572 3084036064 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 22 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 22 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908252 3082327760 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 23 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908256 3084040231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 23 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908080 3082328696 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 24 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327419 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 24 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908256 3084036429 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 24 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3085080755 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 25 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908256 3084039382 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 25 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908496 3082325382 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 26 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327460 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 26 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3085080707 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 26 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3084027836 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 27 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3084027697 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 27 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 28 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327635 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 28 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908336 3082327316 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 28 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908252 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 29 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908256 3084036221 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 29 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 30 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908072 3083999617 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 994 0 0 0 30 0 0 0 22 0 1 0 10029455 7331840 511 4294967295 134512640 134538271 3215909616 3215908080 3082327932 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 30 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327349 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 31 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082329403 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 31 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3084027805 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085867404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080780 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908528 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 33 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 33 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908084 3082329699 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908256 3084040222 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908372 3082327650 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 35 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3084027784 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 35 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327419 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082327949 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327572 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 37 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908448 3085869394 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 37 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908256 3084040284 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085866443 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327311 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327466 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 39 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 39 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908256 3084036238 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908608 3085864839 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 22 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327433 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080789 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 41 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908368 3082327301 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 41 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082327976 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 42 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080755 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 42 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082327799 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 42 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908364 3082327302 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 43 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080793 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 43 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908380 3082316200 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 44 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908256 3084038379 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 44 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327369 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 44 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080789 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 45 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908332 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 45 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082329582 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 46 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080717 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 46 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327389 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 46 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908252 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 47 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908380 3082327296 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 47 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 48 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908256 3084040549 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 48 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3084027697 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 48 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085866647 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 49 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080786 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 49 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082328761 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 50 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085866435 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 50 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 50 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908252 3082316248 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 51 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327599 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 51 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327433 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 52 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327367 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 52 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3084027807 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 52 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085866592 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 53 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082330099 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 53 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327365 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 54 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085866609 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 54 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080774 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 54 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908308 3079728163 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 55 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080777 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 55 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085866435 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 56 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908448 3085869394 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 56 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908528 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 56 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327386 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 57 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3084027807 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 57 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908256 3084036550 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 58 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3084027562 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 58 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 58 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908608 3084583126 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 59 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 59 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908256 3084036402 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 60 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082328689 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 60 0 0 0 23 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908240 3082327765 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 60 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327444 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 61 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908592 3084597430 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 61 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082329603 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 62 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908528 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 62 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 62 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 63 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327386 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 63 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082328507 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 64 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908448 3085869355 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 64 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908332 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 64 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085866435 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 65 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 65 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082329627 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 66 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908332 3082316778 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 66 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908556 3084036070 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 66 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3084027673 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 67 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080717 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 67 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080783 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 68 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 68 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908372 3082327625 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 68 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082329285 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 69 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082328396 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 69 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908252 3082316248 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 70 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908244 3082327764 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 70 0 0 0 24 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908364 3082327302 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 70 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908560 3084036069 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 71 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327460 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 71 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 72 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 72 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908528 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 72 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 73 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082330123 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 73 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082329603 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 74 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327367 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 74 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327575 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 74 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908256 3084039382 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 75 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908080 3082328379 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 75 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327316 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 76 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327642 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 76 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 76 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908608 3085864702 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 77 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080820 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 77 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908256 3084039392 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 78 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908368 3082327301 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 78 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085866618 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 78 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908336 3082327369 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 79 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908256 3084036279 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 79 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908576 3085866448 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 80 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1000 0 0 0 80 0 0 0 25 0 1 0 10029455 7495680 517 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 80 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 80 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908376 3082327299 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 81 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327453 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 81 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080783 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 82 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908636 3084597312 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 82 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908372 3082327300 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 82 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908448 3085869382 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 83 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036248 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 83 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 84 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328483 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 84 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908508 3083999600 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 84 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 85 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327349 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 85 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327460 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 86 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027716 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 86 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327395 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 86 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328430 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 87 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908688 3085790214 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 87 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 88 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328483 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 88 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327569 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 88 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327311 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 89 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 89 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866443 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 90 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027743 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 90 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327365 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 90 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3084040649 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 91 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866443 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 91 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 92 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040280 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 92 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040212 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 92 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329383 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 93 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040219 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 93 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027630 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 94 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908588 3079734789 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 94 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080780 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 94 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327369 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 95 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 95 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908240 3082328470 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 96 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327386 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 96 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084039386 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 96 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908252 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 97 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080804 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 97 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 98 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908072 3083999612 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 98 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027784 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 98 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329616 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 99 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908680 3085868297 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 99 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027723 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 100 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908500 3082326107 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 100 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866639 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 100 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080789 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 101 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040517 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 101 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080707 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 102 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084038379 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 102 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327503 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 102 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 103 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036426 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 103 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036495 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 104 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027807 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 104 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327369 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 104 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866587 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 105 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866598 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 105 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027628 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 106 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027839 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 106 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327436 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 106 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327436 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 107 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908332 3082316778 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 107 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908248 3082328472 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 108 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027771 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 108 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327642 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 108 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027814 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 109 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082327797 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 109 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908368 3082327301 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 110 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866440 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 110 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908332 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 110 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082327949 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 111 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085867407 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 111 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040288 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 112 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327427 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 112 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908512 3082326687 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 112 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084039368 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 113 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327471 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 113 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327542 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 114 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 114 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866598 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 114 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329603 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 115 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327482 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 115 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 116 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027712 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 116 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866435 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 116 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327491 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 117 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040241 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 117 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080817 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 118 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084038373 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 118 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866443 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 118 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327635 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 119 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908380 3082316200 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 119 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 120 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040251 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 120 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327514 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 120 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 121 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 121 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328577 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 122 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036279 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 122 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328406 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 122 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080817 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 123 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327407 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 123 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327527 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 124 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327460 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 124 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 124 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080783 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 125 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328412 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 125 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908592 3084597412 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 126 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 126 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327422 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 126 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908608 3085865079 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 127 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327358 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 127 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040534 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 128 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327410 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 128 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027743 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 128 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027771 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 129 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 129 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027703 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 130 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329600 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 130 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027802 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 130 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908332 3082316778 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 131 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085867206 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 131 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080812 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 132 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 132 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327381 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 132 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036276 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 133 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 133 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327365 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 134 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 134 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327410 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 134 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908604 3084040608 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 135 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908372 3082327625 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 135 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080783 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 136 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036224 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 136 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027621 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 136 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908364 3082327302 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 137 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327422 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 137 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327316 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 138 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329256 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 138 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866443 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 138 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027814 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 139 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036251 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 139 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327642 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 140 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908592 3084597507 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 140 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908368 3082327649 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 140 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085867407 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 141 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027733 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 141 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327381 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 142 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908684 3084544480 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 142 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327439 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 142 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329627 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 143 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 143 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027727 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 144 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027646 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 144 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908248 3082327761 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 144 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 145 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027630 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 145 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 146 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 146 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866443 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 146 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327311 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 147 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084039382 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 147 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327410 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 148 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080755 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 148 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327590 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 148 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908608 3085864800 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 149 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080755 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 149 0 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027751 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 149 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036497 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 150 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 150 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866609 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 150 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040228 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 151 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327453 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 151 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866592 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 152 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 152 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908368 3082327301 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 152 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027666 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 153 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327392 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 153 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327367 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 154 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908608 3084583253 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 154 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327349 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 154 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327632 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 155 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 155 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 156 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 156 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327316 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 156 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082327805 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 157 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327466 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 157 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 158 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036290 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 158 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036514 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 160 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328396 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 160 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328843 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 160 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080793 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 161 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327549 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 161 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 162 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908380 3082327296 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 162 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082330052 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 162 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327311 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 163 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327349 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 163 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327645 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 164 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866656 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 164 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080777 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 164 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 165 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327407 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 165 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908240 3082327765 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 166 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036276 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 166 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080777 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 166 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036336 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 167 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908240 3082327765 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 167 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 168 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327410 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 168 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 168 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329603 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 169 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027649 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 169 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866618 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 170 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080755 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 170 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 170 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908448 3085869514 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 171 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327615 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 171 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908380 3082327296 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 172 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 172 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027733 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 172 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327564 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 173 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908244 3082327764 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 173 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085867404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 174 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080780 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 174 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080707 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 174 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036276 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 175 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036290 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 175 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027807 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 176 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027771 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 176 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327401 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 176 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327536 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 177 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085867302 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 177 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327471 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 178 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027807 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 178 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908380 3082327296 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 178 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040225 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 179 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 179 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908440 3084027521 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 180 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908308 3079728204 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 180 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040212 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 180 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080826 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 181 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908604 3084040608 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 181 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036484 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 182 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080817 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 182 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036279 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 182 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866435 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 183 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027805 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 183 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080789 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 184 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027652 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 184 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866448 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 184 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908656 3079727130 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 185 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080780 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 185 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080755 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 186 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027848 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 186 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027805 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 186 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327316 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 187 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040245 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 187 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866443 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 188 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 188 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327561 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 188 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082330052 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 189 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908448 3085869128 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 189 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908444 3084027520 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 190 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 190 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908608 3085864848 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 190 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036208 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 191 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027678 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 191 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327642 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 192 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 192 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327436 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 192 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080720 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 193 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080761 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 193 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908380 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 194 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908640 3085867626 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 194 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 194 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908076 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 195 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329619 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 195 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 196 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327482 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 196 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866584 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 196 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080707 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 197 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908332 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 197 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328483 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 198 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327401 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 198 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327328 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 198 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908608 3085864837 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 199 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080717 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 199 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328466 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 200 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084038362 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 200 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908308 3079727834 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 200 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084039392 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 201 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327381 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 201 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329683 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 202 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 202 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027768 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 202 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080774 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 203 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328466 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 203 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 204 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3084040633 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 204 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866400 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 204 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080786 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 205 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084038416 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 205 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 206 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080780 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 206 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085867208 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 206 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080711 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 207 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328379 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 207 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327642 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 208 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908332 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 208 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 208 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908332 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 209 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 209 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040212 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 210 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908688 3085790956 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 210 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327473 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 210 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036215 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 211 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082328385 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 211 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036276 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 212 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327417 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 212 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327527 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 212 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027796 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 213 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 213 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866402 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 214 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908608 3085864742 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 214 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866400 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 214 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 215 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329730 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 215 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908608 3084583163 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 216 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080817 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 216 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027793 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 216 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908604 3084040608 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 217 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908076 3083999600 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 217 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 218 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082327976 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 218 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027740 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 218 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 219 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040222 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 219 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084036221 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 220 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908528 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 220 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327460 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 220 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908336 3082327419 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 221 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027583 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 221 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027846 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 222 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866443 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 222 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866400 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 222 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 223 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908256 3084040251 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 223 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908576 3085866435 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 224 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329640 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 224 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3085080780 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 224 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908244 3082327764 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 225 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329603 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 225 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908384 3084027833 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1006 0 0 0 226 1 0 0 25 0 1 0 10029455 7495680 523 4294967295 134512640 134538271 3215909616 3215908080 3082329683 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 226 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327482 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 226 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3084027809 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 227 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327407 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 227 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084038397 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 228 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080720 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 228 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 228 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327410 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 229 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 229 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080717 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 230 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3084027851 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 230 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080780 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 230 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080820 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 231 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084036279 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 231 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328406 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 232 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 232 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084038373 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 232 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080783 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 233 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327482 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 233 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327590 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 234 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908608 3084583244 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 234 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327369 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 234 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908528 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 235 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327410 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 235 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908244 3082328471 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 236 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908500 3082326107 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 236 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908372 3082327300 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 236 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084040517 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 237 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080761 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 237 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327611 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 238 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327471 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 238 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327349 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 238 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327730 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 239 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908380 3082327296 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 239 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084040284 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 240 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082327791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 240 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082329621 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 240 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328483 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 241 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 241 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084036377 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 242 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080789 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 242 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3084027666 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 242 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084040228 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 243 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908380 3082327627 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 243 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327494 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 244 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327367 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 244 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327378 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 244 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084036282 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 245 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908556 3084036070 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 245 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327471 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 246 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 246 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084038373 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 246 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 247 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084040212 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 247 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 248 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328412 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 248 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3084027688 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 248 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327410 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 249 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908676 3085868004 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 249 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328466 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 250 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908368 3082327649 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 250 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082330107 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 250 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328483 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 251 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327466 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 251 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 252 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 252 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908252 3082327760 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 252 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084039370 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 253 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080777 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 253 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328466 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 254 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 254 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908252 3082327760 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 254 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 255 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 255 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908528 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 256 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327349 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 256 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 256 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084036238 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 257 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 257 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908380 3082327296 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 258 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3084027654 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 258 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080817 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 258 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908576 3085866443 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 259 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908576 3085866582 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 259 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084036221 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 260 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080808 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 260 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082329662 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 260 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327340 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 261 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908512 3082326713 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 261 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908528 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 262 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908252 3082316775 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 262 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327316 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 262 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908076 3083999600 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 263 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327586 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 263 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327520 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 264 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084040212 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 264 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 264 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084036238 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 265 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080823 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 265 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080789 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 266 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084036420 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 266 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080755 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 266 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908688 3085789623 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 267 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082329291 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 267 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 268 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 268 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328376 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 268 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908440 3084027867 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 269 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084039390 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 269 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908576 3085866639 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 270 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080755 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 270 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327586 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 270 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084036395 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 271 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327395 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 271 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908576 3085867204 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 272 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327407 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 272 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327608 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 272 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084040280 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 273 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328747 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 273 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080783 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 274 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908240 3082327765 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 274 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084038416 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 274 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908448 3085869375 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 275 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084040284 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 275 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327328 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 276 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327422 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 276 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 276 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3084027836 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 277 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327730 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 277 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 278 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908444 3084027868 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 278 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328409 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 278 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327316 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 279 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328445 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 279 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908512 3082326574 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 280 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080793 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 280 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327436 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 280 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327404 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 281 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080752 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 281 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082329722 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 282 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084040284 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 282 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327642 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 282 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908576 3085866387 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 283 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328373 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 283 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908380 3082327296 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 284 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084038373 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 284 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908372 3082327300 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 284 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080823 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 285 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 285 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080791 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 286 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082327802 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 286 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908528 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 286 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908576 3085867202 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 287 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080817 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 287 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084040258 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 288 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3084027574 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 288 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080752 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 288 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908380 3082316200 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 289 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327322 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 289 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327642 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 290 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908576 3085866400 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 290 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082329673 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 290 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908656 3079727029 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 291 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327407 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 291 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908432 3084027865 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 292 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908528 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 292 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908576 3085867402 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 292 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084038397 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 293 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084039362 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 293 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908364 3082327302 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 294 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908252 3082316248 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 294 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327427 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 294 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082330116 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 295 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327479 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 295 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908528 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 296 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908432 3084027525 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 296 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908560 3084036069 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 296 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327430 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 297 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 297 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3085080798 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 298 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084040258 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 298 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084036282 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 298 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327615 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 299 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908256 3084036251 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 299 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327632 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 300 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908336 3082327398 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 300 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908384 3084027771 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 300 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908528 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30623 (gecode-qwh) R 30622 27426 24421 34816 27426 4202496 1007 0 0 0 301 1 0 0 25 0 1 0 10029455 7495680 524 4294967295 134512640 134538271 3215909616 3215908080 3082328683 0 0 4096 0 0 0 0 17 0 0 0 0
