30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4194304 490 0 0 0 0 0 0 0 25 0 1 0 10032309 278528 30 4294967295 134512640 134538271 3219146240 3219143616 3086667385 0 0 4096 0 0 0 0 17 1 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 905 0 0 0 0 0 0 0 25 0 1 0 10032309 7028736 422 4294967295 134512640 134538271 3219146240 3219144660 3080463598 0 0 4096 0 0 0 0 17 1 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 986 0 0 0 0 0 0 0 25 0 1 0 10032309 7294976 503 4294967295 134512640 134538271 3219146240 3219144960 3083060573 0 0 4096 0 0 0 0 17 1 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 986 0 0 0 1 0 0 0 25 0 1 0 10032309 7294976 503 4294967295 134512640 134538271 3219146240 3219145200 3086599627 0 0 4096 0 0 0 0 17 1 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1002 0 0 0 1 0 0 0 25 0 1 0 10032309 7458816 519 4294967295 134512640 134538271 3219146240 3219145200 3086599586 0 0 4096 0 0 0 0 17 1 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1003 0 0 0 2 0 0 0 25 0 1 0 10032309 7458816 520 4294967295 134512640 134538271 3219146240 3219144960 3083060570 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 2 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145200 3086599584 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 2 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145152 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 3 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219144960 3083060591 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 3 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219144704 3083063256 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 4 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145132 3086602075 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 4 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145008 3084760907 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 4 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145152 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 5 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145004 3083060480 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 5 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219144960 3083060530 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 6 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145008 3084760998 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 6 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145216 3085330599 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 6 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219144960 3083060608 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 7 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219144960 3083060582 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 7 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145200 3086599584 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 8 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219144704 3083062805 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 8 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219144880 3084773468 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 8 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145200 3086599571 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 9 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145152 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 9 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145312 3086522694 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 10 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145008 3085813891 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 10 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219144704 3083062853 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 10 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145008 3085813975 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 11 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145008 3085813975 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 11 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219145008 3085813977 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202496 1004 0 0 0 12 0 0 0 25 0 1 0 10032309 7458816 521 4294967295 134512640 134538271 3219146240 3219144704 3083061007 0 0 4096 0 0 0 0 17 0 0 0 0
30691 (gecode-qwh) R 30690 27426 24421 34816 27426 4202500 1019 0 0 0 12 0 0 0 25 0 1 0 10032309 0 0 4294967295 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 0
 0 0 0 0
