30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4194304 610 0 0 0 0 0 0 0 20 0 1 0 10028986 6991872 145 4294967295 134512640 134538271 3213680848 3213679520 3086023951 0 0 4096 0 0 0 0 17 1 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 974 0 0 0 1 0 0 0 20 0 1 0 10028986 7331840 490 4294967295 134512640 134538271 3213680848 3213679760 134529192 0 0 4096 0 0 0 0 17 1 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 20 0 1 0 10028986 7331840 496 4294967295 134512640 134538271 3213680848 3213679616 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 20 0 1 0 10028986 7331840 496 4294967295 134512640 134538271 3213680848 3213679616 3084109494 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 20 0 1 0 10028986 7331840 496 4294967295 134512640 134538271 3213680848 3213679616 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 986 0 0 0 3 0 0 0 20 0 1 0 10028986 7331840 502 4294967295 134512640 134538271 3213680848 3213679824 3084679329 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 986 0 0 0 3 0 0 0 20 0 1 0 10028986 7331840 502 4294967295 134512640 134538271 3213680848 3213679488 3084122132 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 23 0 1 0 10028986 7331840 502 4294967295 134512640 134538271 3213680848 3213679568 3082409423 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 23 0 1 0 10028986 7331840 502 4294967295 134512640 134538271 3213680848 3213679616 3084109691 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 23 0 1 0 10028986 7331840 502 4294967295 134512640 134538271 3213680848 3213679484 3082398695 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 986 0 0 0 5 0 0 0 23 0 1 0 10028986 7331840 502 4294967295 134512640 134538271 3213680848 3213679568 3082409513 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 5 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679488 3084122139 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 6 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679808 3085948320 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 6 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3084109725 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 6 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679568 3082409342 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 7 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162709 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 7 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679304 3084081532 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 8 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3084109731 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 8 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679808 3085949252 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 8 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679568 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 9 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679488 3084122132 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 9 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679312 3082411942 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 10 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679920 3085872264 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 10 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679808 3085948320 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 10 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679568 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 11 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679488 3084118158 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 11 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679488 3084122200 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 12 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679568 3082409481 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 12 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679608 3082409217 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 12 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 13 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679760 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 13 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 14 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679568 3082409231 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 14 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679568 3082409272 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 14 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679568 3082409408 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 15 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 15 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3084109550 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 16 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679488 3084122204 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 16 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3084109707 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 16 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679312 3082411549 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 17 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679488 3084122200 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 17 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679808 3085948322 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 18 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162715 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 18 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162627 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 18 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679808 3085949071 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 19 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679308 3082398698 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 19 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679568 3082409236 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 20 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 20 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162713 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 20 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3084109643 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 21 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679568 3082409278 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 21 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679808 3085948320 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 22 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162672 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 22 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679680 3085951279 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 22 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679760 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 23 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3084109636 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 23 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3084109762 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 24 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679312 3082411560 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 24 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 24 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679488 3084118128 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 25 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679744 3082408424 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 25 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679312 3082410927 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 26 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679488 3084121302 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 26 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162706 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 26 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 27 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679872 3085949952 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 992 0 0 0 27 0 0 0 23 0 1 0 10028986 7331840 508 4294967295 134512640 134538271 3213680848 3213679616 3084109617 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1002 0 0 0 28 0 0 0 23 0 1 0 10028986 7495680 518 4294967295 134512640 134538271 3213680848 3213679568 3082409236 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1002 0 0 0 28 0 0 0 23 0 1 0 10028986 7495680 518 4294967295 134512640 134538271 3213680848 3213679808 3085948552 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1002 0 0 0 28 0 0 0 23 0 1 0 10028986 7495680 518 4294967295 134512640 134538271 3213680848 3213679312 3082409734 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1002 0 0 0 29 0 0 0 23 0 1 0 10028986 7495680 518 4294967295 134512640 134538271 3213680848 3213679616 3085162724 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1002 0 0 0 29 0 0 0 23 0 1 0 10028986 7495680 518 4294967295 134512640 134538271 3213680848 3213679616 3084109716 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 23 0 1 0 10028986 7495680 518 4294967295 134512640 134538271 3213680848 3213679808 3085948313 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 23 0 1 0 10028986 7495680 518 4294967295 134512640 134538271 3213680848 3213679616 3084109643 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1003 0 0 0 30 0 0 0 23 0 1 0 10028986 7495680 519 4294967295 134512640 134538271 3213680848 3213679568 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1003 0 0 0 31 0 0 0 23 0 1 0 10028986 7495680 519 4294967295 134512640 134538271 3213680848 3213679312 3082411697 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1003 0 0 0 31 0 0 0 23 0 1 0 10028986 7495680 519 4294967295 134512640 134538271 3213680848 3213679568 3082409285 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 23 0 1 0 10028986 7495680 519 4294967295 134512640 134538271 3213680848 3213679312 3082409700 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 23 0 1 0 10028986 7495680 519 4294967295 134512640 134538271 3213680848 3213679760 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 23 0 1 0 10028986 7495680 519 4294967295 134512640 134538271 3213680848 3213679616 3085162709 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 33 0 0 0 23 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679568 3082409519 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 33 0 0 0 23 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679616 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 34 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679808 3085949115 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 34 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679760 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 34 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679568 3082409260 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 35 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679568 3082409432 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 35 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679616 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 36 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679568 3082409342 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 36 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679568 3082409391 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 36 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679808 3085948332 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 37 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679808 3085948355 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 37 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679612 3082409572 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 38 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679568 3082409285 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 38 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679568 3082409555 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 38 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679680 3085951223 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 39 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679616 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 39 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679568 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 40 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679616 3084109663 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 40 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679616 3085162624 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 40 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679488 3084118340 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 41 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679568 3082409402 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202496 1004 0 0 0 41 0 0 0 24 0 1 0 10028986 7495680 520 4294967295 134512640 134538271 3213680848 3213679568 3082409248 0 0 4096 0 0 0 0 17 0 0 0 0
30535 (gecode-qwh) R 30534 27426 24421 34816 27426 4202500 1019 0 0 0 41 0 0 0 24 0 1 0 10028986 0 0 4294967295 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 0
