30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4194304 486 0 0 0 0 0 0 0 24 0 1 0 10034220 245760 26 4294967295 134512640 134538271 3221118944 3221116328 3086758020 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 978 0 0 0 0 0 0 0 24 0 1 0 10034220 7327744 495 4294967295 134512640 134538271 3221118944 3221117708 3083101796 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 992 0 0 0 1 0 0 0 25 0 1 0 10034220 7327744 509 4294967295 134512640 134538271 3221118944 3221117712 3084801880 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 992 0 0 0 2 0 0 0 25 0 1 0 10034220 7327744 509 4294967295 134512640 134538271 3221118944 3221117408 3083103906 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 992 0 0 0 3 0 0 0 25 0 1 0 10034220 7327744 509 4294967295 134512640 134538271 3221118944 3221117664 3083101588 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117712 3085854935 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117664 3083101874 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 5 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117856 134529192 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 6 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117708 3083090919 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 7 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117904 3086641551 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 8 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117904 3084814787 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 8 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221118012 134529824 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 9 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117584 3084814739 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 10 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117584 3084810395 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 11 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117984 3080501300 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 12 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117904 3086640587 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 12 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117664 3083101608 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 13 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117664 3083101472 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 14 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117584 3084810248 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 15 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117712 3085854942 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 16 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117708 3083090344 0 0 4096 0 0 0 0 17 1 0 0 0
30918 (gecode-qwh) R 30917 27426 24421 34816 27426 4202496 998 0 0 0 16 0 0 0 25 0 1 0 10034220 7491584 515 4294967295 134512640 134538271 3221118944 3221117408 3083102814 0 0 4096 0 0 0 0 17 1 0 0 0
