30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4194304 595 0 0 0 0 0 0 0 23 0 1 0 10032221 6987776 129 4294967295 134512640 134538271 3216950256 3216948928 3086184299 0 0 4096 0 0 0 0 17 1 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 974 0 0 0 0 0 0 0 23 0 1 0 10032221 7294976 489 4294967295 134512640 134538271 3216950256 3216948976 3082569022 0 0 4096 0 0 0 0 17 1 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 988 0 0 0 0 0 0 0 23 0 1 0 10032221 7294976 503 4294967295 134512640 134538271 3216950256 3216949076 3084269188 0 0 4096 0 0 0 0 17 1 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 23 0 1 0 10032221 7294976 503 4294967295 134512640 134538271 3216950256 3216949016 3082568961 0 0 4096 0 0 0 0 17 1 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1004 0 0 0 1 0 0 0 23 0 1 0 10032221 7458816 519 4294967295 134512640 134538271 3216950256 3216949168 134529233 0 0 4096 0 0 0 0 17 1 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 23 0 1 0 10032221 7458816 520 4294967295 134512640 134538271 3216950256 3216949168 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 23 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948976 3082569130 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 23 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948720 3082571195 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 23 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948720 3082571751 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 23 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948976 3082569016 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216949024 3084269471 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948976 3082569059 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216949128 3084241312 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216949216 3086108051 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948896 3084281054 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948720 3082570943 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216949136 3082567709 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216949024 3085322462 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948720 3082571252 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216949168 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948720 3082570487 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948896 3084281902 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948888 3082569425 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948896 3084278143 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948712 3084241281 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216949020 3082568960 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216949024 3084269321 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948896 3084281050 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948976 3082569081 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948892 3082558439 0 0 4096 0 0 0 0 17 0 0 0 0
30671 (gecode-qwh) R 30670 27426 24421 34816 27426 4202496 1006 0 0 0 12 0 0 0 25 0 1 0 10032221 7458816 521 4294967295 134512640 134538271 3216950256 3216948976 3082568992 0 0 4096 0 0 0 0 17 0 0 0 0
