30619 (sh) R 30618 27426 24421 34816 27426 4194304 437 0 0 0 0 0 0 0 25 0 1 0 10029147 3653632 326 4294967295 134512640 135191968 3219846816 3219846176 134977665 0 0 4100 65536 0 0 0 17 1 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 978 0 0 0 0 0 0 0 25 0 1 0 10029147 7331840 493 4294967295 134512640 134538271 3214914048 3214912960 134529208 0 0 4096 0 0 0 0 17 1 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 1 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982962 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 1 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3084683131 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982676 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912960 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912796 3082982662 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 3 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982831 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 3 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912960 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912924 3080390191 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912512 3082983840 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912688 3084695623 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 5 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 5 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982725 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912960 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982906 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3084682997 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214913008 3086521803 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912812 3082982656 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214913008 3086521960 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3084683162 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982775 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982741 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3084683087 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736064 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982968 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982709 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912960 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3084683165 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912800 3082983009 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982813 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912512 3082985093 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3084683103 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 15 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982804 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 15 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912944 3086525177 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736164 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912512 3082984030 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 17 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982779 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 17 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736146 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3084683093 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912800 3082982661 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736183 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 19 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214913032 3084695969 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 19 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912688 3084695961 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214913008 3086522762 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982790 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736121 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 21 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982813 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 21 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912812 3082982656 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3084683014 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214913008 3086521803 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982770 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 23 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 23 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912512 3082985412 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912688 3084691617 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982839 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912960 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 25 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912688 3084695579 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 25 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912516 3082985059 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912764 3082972135 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912676 3082983124 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912944 3082981940 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 27 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 27 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912688 3084691598 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736067 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912512 3082985016 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912764 3082972135 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 29 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912816 3085736164 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 29 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214913084 3086521184 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912688 3084695644 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 25 0 1 0 10029147 7331840 511 4294967295 134512640 134538271 3214914048 3214912512 3082983159 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982755 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082983002 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082983186 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913024 3085252811 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912504 3084655014 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913008 3086521960 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082984981 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913008 3086522596 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 35 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084695611 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 35 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082984163 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982924 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084694728 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912960 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 37 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736183 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 37 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982962 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084691458 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982918 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736153 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 39 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736077 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 39 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912960 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084694742 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 41 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082984963 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 41 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082983174 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736143 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082984928 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982746 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 43 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912880 3086524916 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 43 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982980 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982688 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982725 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 45 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913024 3085252778 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 45 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084691458 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982671 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912960 3080380772 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3084683156 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 47 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736137 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 47 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3084683131 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082983002 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913008 3086522767 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982725 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 49 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912812 3082971560 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 49 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082985454 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982685 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082983764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 51 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084695572 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 51 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913072 3086523380 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913008 3086521969 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913008 3086521958 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912960 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 53 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084691636 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 53 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082985459 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982860 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982995 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 55 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982799 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 55 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084695644 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082984963 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982799 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982676 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 57 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082983002 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 57 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982953 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912800 3082982661 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912800 3082982661 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 59 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912944 3082981928 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 59 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3084683048 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084691622 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3084682988 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 61 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082984928 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 61 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082983146 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736067 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 63 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982770 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 63 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084694728 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913116 3085207152 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 65 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982725 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 65 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913008 3086521747 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982826 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982799 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982700 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 67 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082983508 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 67 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3084683038 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084691598 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 69 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 69 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084691581 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082983761 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912960 134528996 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3084683193 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 71 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982741 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 71 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982770 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084691442 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982854 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084694730 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 73 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 73 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982959 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3084683072 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082983756 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082983186 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 75 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 75 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084691608 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912768 3082982764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912512 3082984948 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913120 3086446248 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 77 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 77 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913008 3086521958 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913040 3086520177 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912992 3084691429 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214913008 3086521760 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 79 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912688 3084695644 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 79 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3084683167 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3084683211 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912684 3082971608 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10029147 7495680 517 4294967295 134512640 134538271 3214914048 3214912816 3085736146 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 81 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985082 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 81 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982782 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982770 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691611 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 83 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912516 3082985046 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 83 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691650 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683165 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683174 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 85 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982676 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 85 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912684 3082971608 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736071 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683033 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084694728 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 87 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 87 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912804 3082982660 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982767 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912808 3082983011 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082983005 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 89 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529233 0 0 4096 0 0 0 0 17 0 0 0 0

30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 89 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521747 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913072 3080382405 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 91 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984902 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 91 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983174 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982995 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 93 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983742 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 93 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982842 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695631 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084682990 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683113 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 95 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3084696019 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 95 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691844 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521795 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982700 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 97 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695623 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 97 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695909 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521808 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982924 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982854 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 99 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 99 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982676 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982725 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695644 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913120 3086445183 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 101 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082983088 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 101 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982995 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695644 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736071 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 103 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683131 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 103 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912812 3082971560 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521803 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982860 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 105 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982842 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 105 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912800 3082982661 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 107 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683167 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 107 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736134 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913004 3084691424 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912992 3084691429 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691642 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 109 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736137 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 109 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912672 3082983125 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695582 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084682900 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 111 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 111 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691860 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982784 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982706 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 113 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982953 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 113 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691584 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912928 3082981395 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 115 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982770 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 115 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913040 3085238486 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084682949 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982752 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912504 3084654972 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 117 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984963 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 117 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912684 3082972135 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521826 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736155 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982962 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 119 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521753 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 119 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982995 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695640 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521996 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521958 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 121 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912808 3082983011 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 121 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913040 3086520106 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736071 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086522767 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 123 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695585 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 123 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691639 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683167 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983146 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982676 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 125 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983826 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 125 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913040 3086520085 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982746 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736168 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983826 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 127 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695572 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 127 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084694742 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984731 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982744 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912684 3082972135 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 129 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736146 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 129 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982688 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912504 3084654988 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529082 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 131 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 131 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984972 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982799 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985454 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 133 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985008 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 133 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982709 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982697 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912812 3082971560 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982790 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 135 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521762 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 135 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984963 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984738 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983198 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 137 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 137 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086522596 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 139 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683083 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 139 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912956 3080012431 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691639 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912808 3082982657 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985096 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 141 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982709 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 141 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683156 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691575 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683076 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 143 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912740 3080383194 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 143 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521803 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912796 3082982662 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982909 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982761 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 145 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982725 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 145 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982676 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683199 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 147 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683165 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 147 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912504 3084654972 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982761 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521978 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 149 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913104 3086522734 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 149 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683012 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084682997 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521798 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 151 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982767 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 151 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983761 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736134 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984963 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 153 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913120 3086445506 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 153 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691650 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913004 3084691424 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521942 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521811 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 155 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912880 3086524874 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 155 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982854 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913120 3086446441 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084682952 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683167 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 157 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 157 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983198 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695588 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982676 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736128 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 159 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985140 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 159 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736183 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984963 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982959 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 161 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912764 3082972135 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 161 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736177 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983321 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521969 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691639 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 163 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082983088 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 163 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984634 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984172 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982729 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695579 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 165 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691575 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 165 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736121 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521826 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985120 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983796 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 167 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 167 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691639 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 169 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 169 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691636 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912812 3082971560 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 171 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985454 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 171 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982668 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912676 3082983124 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982676 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912684 3082971608 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 173 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982738 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 173 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982767 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984200 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521969 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982909 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 175 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984616 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 175 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736143 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691619 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982761 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 177 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982767 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 177 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695625 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691762 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521992 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 179 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982715 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 179 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683123 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086522764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985382 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683131 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 181 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912944 3082982543 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 181 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912928 3082980606 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982735 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683054 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736134 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 183 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695942 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 183 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984987 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521747 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982813 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 185 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 185 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982872 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 187 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912504 3084654980 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 187 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912764 3082972135 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913040 3085238496 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 189 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 189 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984071 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084682988 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982715 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 191 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 191 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912880 3086524719 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521811 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691846 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982700 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 193 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736168 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 193 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984634 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521803 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983769 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 195 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 195 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985375 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683103 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084682988 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912804 3082982660 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 197 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 197 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683063 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695623 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982953 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 199 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 199 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521938 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982831 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982725 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 201 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983897 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 201 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683162 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521795 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983159 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982975 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 203 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912804 3082983010 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 203 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982685 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983824 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736137 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985454 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 205 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912864 3084682885 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 205 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736172 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084693751 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086522526 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982779 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 207 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086522526 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 207 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084682990 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983186 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695618 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3084696003 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 209 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912924 3080390100 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 209 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683131 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736077 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984981 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521753 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 211 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082984200 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 211 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683208 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982826 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985040 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695644 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 213 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 213 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683165 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912684 3082971608 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982909 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691762 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 215 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521803 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 215 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913008 3086521747 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736164 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084691455 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985459 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 217 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736183 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 217 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982767 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082983002 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982842 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082985441 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 219 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084694700 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 219 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214913024 3085252822 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912796 3082982662 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982799 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683174 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 221 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982709 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 221 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983739 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683156 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982709 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695644 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 223 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912512 3082983769 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 223 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912960 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982796 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912688 3084695588 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 225 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912812 3082983012 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 225 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912516 3082985055 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912672 3082983125 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912816 3084683017 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10029147 7495680 523 4294967295 134512640 134538271 3214914048 3214912768 3082982906 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 227 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521747 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 227 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982755 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736164 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982962 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 229 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 229 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082983747 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736180 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982725 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084693776 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 231 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982755 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 231 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084695640 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082984104 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736080 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 233 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982735 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 233 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082983174 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982824 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913020 3085190660 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 235 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 235 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982706 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912812 3082982656 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912960 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521803 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 237 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683083 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 237 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082984177 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913072 3086523403 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084695897 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912812 3082982656 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 239 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084695918 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 239 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082985367 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982924 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084693733 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913120 3086446206 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 241 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912944 3082981912 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 241 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084691915 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084691910 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913036 3082981830 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 243 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912960 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 243 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912764 3082972135 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912796 3082982662 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982779 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912960 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 245 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982676 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 245 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913116 3085199840 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683167 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 247 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084695644 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 247 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082985066 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084695585 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084695877 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 249 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 249 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683012 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084695644 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912796 3082982662 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 251 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912764 3082972135 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 251 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521952 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683211 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912508 3084654999 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082985424 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 253 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084694742 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 253 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683167 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982866 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 255 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 255 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521803 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736172 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521762 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 257 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084691642 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 257 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982995 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082984984 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683096 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683063 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 259 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 259 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082983298 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683167 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982725 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912928 3082981480 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 261 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683156 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 261 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082985140 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683167 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982755 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 263 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982688 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 263 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521803 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912808 3082982986 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982761 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913036 3082980592 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 265 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912504 3084654980 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 265 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521820 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982968 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521992 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082985117 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 267 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982725 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 267 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982709 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084691636 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912804 3082982660 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 269 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 269 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912960 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084682913 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736153 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 271 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912960 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 271 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913040 3086520222 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982688 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086522767 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084691600 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 273 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082984963 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 273 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082985373 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521952 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084691786 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913120 3086445274 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 275 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982770 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 275 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982688 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084695871 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736195 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982874 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 277 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982926 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 277 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086522571 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736158 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912944 3082981960 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912672 3082983125 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 279 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521803 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 279 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736121 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912812 3082982656 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521747 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982752 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 281 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982804 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 281 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082983739 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3084696003 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982887 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082984177 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 283 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912960 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 283 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912996 3084691428 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084691617 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912764 3082972135 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982727 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 285 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521811 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 285 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082984121 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913024 3085252873 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736168 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 287 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084695572 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 287 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982671 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982971 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982826 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082983162 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 289 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 289 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982799 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982676 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683174 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082984928 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 291 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082983090 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 291 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683083 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082984639 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736149 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912960 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 293 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082985040 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 293 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912944 3082981949 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982826 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982842 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912688 3084695582 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 295 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913120 3086445884 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 295 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982831 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912512 3082985082 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912804 3082983010 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736151 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 297 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683131 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 297 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913036 3084695968 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3084695974 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086521769 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3084683128 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 299 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736115 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 299 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913008 3086522764 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982688 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982758 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912768 3082982799 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 301 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214913024 3085252785 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 301 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912960 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30619 (gecode-qwh) R 30618 27426 24421 34816 27426 4202496 1009 0 0 0 302 0 0 0 25 0 1 0 10029147 7495680 524 4294967295 134512640 134538271 3214914048 3214912816 3085736140 0 0 4096 0 0 0 0 17 0 0 0 0
