30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4194304 464 0 0 0 0 0 0 0 18 0 1 0 10031289 237568 3 4294967295 134512640 134538271 3219506784 3219506784 3086723088 0 0 4096 0 0 0 0 17 0 0 0 0

30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 916 0 0 0 0 0 0 0 18 0 1 0 10031289 7028736 431 4294967295 134512640 134538271 3219506784 3219505788 3085358560 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 977 0 0 0 1 0 0 0 18 0 1 0 10031289 7327744 492 4294967295 134512640 134538271 3219506784 3219505504 3083150680 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 1 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505744 3086690703 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505696 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505856 3086612899 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505744 3086690700 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505696 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3084850950 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505248 3083152552 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505744 3086689946 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150778 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150928 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 7 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505424 3084859547 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 7 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505424 3084859635 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505420 3083151056 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150654 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150697 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 9 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 9 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505248 3083152589 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 10 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083151026 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 10 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904051 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 10 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505248 3083152952 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 11 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505808 3086691365 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 11 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505696 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 12 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150938 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 12 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505744 3086690459 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 12 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505744 3086689683 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 13 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904051 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 13 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3084851105 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 14 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 14 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505744 3086689905 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 14 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505744 3086689928 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 15 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904094 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 15 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150756 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 16 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505248 3083151762 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 16 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904089 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 16 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 17 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3084851101 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 17 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083151026 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 18 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505248 3083152899 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 18 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904013 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 18 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505500 3083140074 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 19 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904048 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 19 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505248 3083152608 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 20 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505500 3083140074 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 20 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505696 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 20 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150612 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 21 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150642 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 21 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505744 3086689770 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 22 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505424 3084863576 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 22 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505424 3084863537 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 22 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904094 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 23 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505696 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 23 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150661 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 24 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505248 3083152589 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 24 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150624 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 24 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904094 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 25 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505424 3084863505 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 25 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505724 3080558055 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 26 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505672 3084822950 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 26 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904076 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 26 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505744 3084863983 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 27 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150671 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 27 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904113 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 28 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505552 3085904003 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 28 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150677 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 28 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505504 3083150612 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 995 0 0 0 29 0 0 0 23 0 1 0 10031289 7327744 510 4294967295 134512640 134538271 3219506784 3219505696 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 29 0 0 0 23 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083151694 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 30 0 0 0 23 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083151098 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 30 0 0 0 23 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505692 3086692176 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 30 0 0 0 23 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084859534 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 31 0 0 0 23 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150651 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 31 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150740 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 32 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150694 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 32 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084863529 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 32 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150677 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 33 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505776 3086688144 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 33 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505696 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 34 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084859534 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 34 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505240 3084822908 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 34 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084859586 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 35 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150691 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 35 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150706 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 36 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 36 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150775 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 36 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3084851083 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 37 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083153303 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 37 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505548 3083150948 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 38 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084862678 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 38 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150913 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 38 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505856 3086613213 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 39 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505852 134529824 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 39 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 40 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084863537 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 40 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083153026 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 40 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150928 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 41 0 0 0 24 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084859791 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 41 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084859575 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 42 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 42 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150688 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 42 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3086689747 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 43 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150645 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 43 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3086689935 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 44 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084859558 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 44 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904076 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 44 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 45 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083152902 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 45 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505772 3083140074 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 46 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150661 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 46 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505728 3084859870 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 46 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084859575 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 47 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3086689739 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 47 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083151678 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 48 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150762 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 48 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904067 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 48 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505548 3083150948 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 49 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083153395 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 49 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505616 3086692671 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 50 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3086690462 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 50 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3084851083 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 50 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3084863955 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 51 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505696 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 51 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3084851116 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 52 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083151803 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 52 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3084850849 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 52 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3086689731 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 53 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505712 3080548811 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 53 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505756 3083138856 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 54 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505240 3084822924 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 54 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505616 3086693070 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 54 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3084851132 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 55 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904007 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 55 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3086689731 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 56 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505776 3086688133 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 56 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150694 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 56 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904003 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 57 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904094 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 57 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505616 3086692671 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 58 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505548 3083139496 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 58 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3086689747 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 58 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083152057 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 59 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150645 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 59 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 60 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505548 3083150592 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 60 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084863863 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 60 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3086689683 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 61 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505476 3080551130 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 61 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505696 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 62 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083151248 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 62 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505476 3080551438 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 62 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084863524 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 63 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505532 3083150598 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 63 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505412 3083151060 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 64 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150778 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 64 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 64 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3084851029 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 65 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083152899 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 65 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084859558 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 66 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150735 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 66 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083151107 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 66 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3086690703 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 67 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3084851092 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 67 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505420 3083151056 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 68 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083153024 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 68 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150720 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 68 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084863863 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 69 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904007 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 69 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084859607 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 70 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150778 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 70 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 70 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083152887 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 70 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505816 3080547937 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 71 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505248 3083152864 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 71 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 72 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150691 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 72 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904094 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 72 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505744 3086690462 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 73 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505504 3083150756 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 73 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505424 3084859507 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 74 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505548 3083139496 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 74 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 74 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3084850945 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 75 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 75 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505672 3084822908 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 76 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505548 3083139496 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 76 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505544 3083150593 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1001 0 0 0 76 0 0 0 25 0 1 0 10031289 7491584 516 4294967295 134512640 134538271 3219506784 3219505500 3083140071 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 77 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505696 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 77 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689874 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 78 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859595 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 78 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863537 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 78 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151076 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 79 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084850950 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 79 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150749 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 80 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505612 3084850816 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 80 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 80 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152581 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 81 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689683 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 81 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505696 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 82 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150760 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 82 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505856 3086612906 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 82 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084862664 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 83 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863532 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 83 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150636 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 84 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505544 3083150947 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 84 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689683 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 84 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505776 3085406422 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 85 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150654 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 85 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689932 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 86 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863885 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 86 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904073 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 86 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505532 3083150598 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 87 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851067 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 87 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150663 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 88 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151779 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 88 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150802 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 88 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505664 3083149331 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 89 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152142 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 89 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 90 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859635 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 90 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150726 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 90 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084850924 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 91 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151675 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 91 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150862 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 92 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151122 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 92 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851019 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 92 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904016 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 93 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851129 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 93 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505856 3086613930 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 94 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 94 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859780 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 94 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150767 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 95 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505548 3083139496 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 95 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859768 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 96 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505776 3086687998 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 96 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859635 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 96 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904051 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 97 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505540 3083150596 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 97 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904051 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 98 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505500 3083140071 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 98 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689762 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 98 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 99 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 99 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150688 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 100 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150754 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 100 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 100 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904089 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 101 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150802 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 101 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505856 3086613110 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 102 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150715 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 102 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859558 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 102 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505532 3083150598 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 103 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150688 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 103 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150749 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 104 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904013 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 104 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859484 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 104 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505540 3083150596 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 105 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505500 3083140071 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 105 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152300 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 106 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851029 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 106 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904094 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 106 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150732 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 107 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904051 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 107 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086690434 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 108 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505500 3083140071 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 108 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150938 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 108 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150889 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 109 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150775 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 109 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083153294 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 110 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151716 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 110 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505616 3086692690 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 110 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689739 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 111 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859504 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 111 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859635 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 112 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150612 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 112 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083153353 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 112 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904016 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 113 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505616 3086692671 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 113 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904007 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 114 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689756 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 114 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505776 3086688084 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 114 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505412 3083151060 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 115 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151697 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 115 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505664 3083148567 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 116 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150723 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 116 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904116 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 116 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689683 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 117 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859575 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 117 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851110 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 118 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150715 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 118 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152965 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 118 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505612 3084850816 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 119 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505408 3083151061 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 119 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505776 3086688045 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 120 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851110 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 120 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859564 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 120 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505808 3086691587 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 121 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505548 3083139496 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 121 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150720 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 122 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 122 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505740 3084859360 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 122 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505696 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 123 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505540 3083150921 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 123 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505540 3083150596 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 124 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 124 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904094 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 124 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150767 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 125 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863532 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 125 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505664 3083148630 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 126 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151254 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 126 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083153377 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 126 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904113 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 127 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505540 3083150596 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 127 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150674 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 128 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150938 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 128 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859572 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 128 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086690703 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 129 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505696 134529136 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 129 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904094 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 130 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859578 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 130 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863527 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 130 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152139 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 131 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150663 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 131 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150645 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 132 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083153432 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 132 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689683 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 132 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152311 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 133 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150624 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 133 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150771 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 134 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505756 3085358632 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 134 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863559 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 134 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150732 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 135 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689770 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 135 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150700 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 136 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904057 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 136 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150677 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 136 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 137 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904085 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 137 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505500 3083140071 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 138 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150889 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 138 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 138 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150726 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 139 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851101 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 139 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859586 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 140 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863515 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 140 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863534 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 140 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150633 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 141 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150694 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 141 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863561 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 142 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904079 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 142 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505696 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 142 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863508 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 143 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859788 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 143 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150762 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 144 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904097 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 144 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689896 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 144 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150762 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 145 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863527 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 145 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689739 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 146 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150895 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 146 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505760 3085420744 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 146 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505420 3083139544 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 147 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863508 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 147 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150677 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 148 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859558 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 148 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 148 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084850836 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 149 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084861703 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 149 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904113 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 150 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152920 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 150 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904051 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 150 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151076 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 151 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505408 3083151061 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 151 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859517 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 152 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505776 3086688016 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 152 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150808 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 152 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904003 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 153 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150860 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 153 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863547 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 154 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505808 3080550449 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 154 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863559 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 154 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505500 3083140074 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 155 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152938 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 155 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151810 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 156 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083151026 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 156 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 156 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689908 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 157 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150729 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 157 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863518 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 158 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689739 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 158 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 158 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150740 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 159 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505540 3083150596 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 159 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 160 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505680 3083149848 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 160 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150612 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 160 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904003 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 161 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150661 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 161 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505776 3085406459 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 162 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 162 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505856 3086613583 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 162 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505696 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 163 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150938 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 163 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505756 3085358632 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 164 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150665 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 164 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 164 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505544 3083150593 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 165 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505536 3083150597 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 165 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689894 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 166 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505608 3084850817 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 166 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505768 3084863905 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 166 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863532 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 167 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152923 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 167 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505852 3086691594 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 168 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859607 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 168 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904113 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 168 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505532 3083150598 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 169 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851095 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 169 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151694 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 170 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151150 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 170 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689736 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 170 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150860 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 171 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150767 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 171 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859586 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 172 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084862678 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 172 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863576 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 172 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152969 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 173 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689894 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 173 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505696 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 174 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150941 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 174 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150913 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 174 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150928 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 175 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084850870 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 175 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904000 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 176 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859586 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 176 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505420 3083151769 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 176 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150931 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 177 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851067 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 177 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086690698 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 178 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689731 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 178 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150911 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 178 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150898 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 179 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863584 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 179 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859698 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 180 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505420 3083151056 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 180 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859534 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 180 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505672 3084822902 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 181 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150911 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 181 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863529 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 182 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904089 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 182 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689680 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 182 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 183 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150685 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 183 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505616 3086692801 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 184 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151675 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 184 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150691 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 184 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505476 3080551002 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 185 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505252 3083152985 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 185 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863508 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 186 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904113 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 186 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904016 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 186 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859575 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 187 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851138 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 187 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150729 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 188 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150651 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 188 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863813 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 188 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505776 3086688133 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 189 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904051 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 189 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851080 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 190 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150895 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 190 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 190 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505856 3086612823 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 191 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 191 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150645 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 192 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 192 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150848 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 192 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 193 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084862682 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 193 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859547 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 194 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150723 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 194 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150767 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 194 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150726 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 195 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851129 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 195 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859698 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 196 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859575 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 196 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150865 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 196 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505548 3083150923 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 197 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505844 3086691592 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 197 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505692 3080558016 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 198 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863885 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 198 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150697 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 198 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 199 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863554 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 199 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863508 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 200 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150735 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 200 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851147 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 200 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150749 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 201 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505776 3086688001 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 201 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859575 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 202 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904076 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 202 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904085 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 202 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084850924 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 203 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851116 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 203 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505744 3086689747 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 204 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150829 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 204 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151435 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 204 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863897 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 205 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150694 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 205 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150694 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 206 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505732 3084859364 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 206 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863521 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 206 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851095 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 207 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083152952 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 207 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084850924 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 208 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505548 3083150923 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 208 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904085 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 208 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150697 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 209 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151954 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 209 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859394 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 210 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150636 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 210 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505680 3083149891 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 210 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084863527 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 211 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083153395 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 211 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505548 3083150592 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 212 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505536 3083150597 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 212 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3085904007 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 212 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505424 3084859558 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 213 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150848 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 213 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150732 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 214 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505696 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 214 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505504 3083150663 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 214 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505248 3083151697 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 215 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084851092 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1007 0 0 0 215 0 0 0 25 0 1 0 10031289 7491584 522 4294967295 134512640 134538271 3219506784 3219505552 3084850926 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689739 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505856 3086612924 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083152936 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 217 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689739 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 217 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851092 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150907 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150645 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689683 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 219 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904051 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 219 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505548 3083139496 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083152976 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083151024 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904085 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 221 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083152917 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 221 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084861658 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150726 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863891 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505664 3083149320 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 223 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084850864 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 223 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863508 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859575 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859572 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 225 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083151128 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 225 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859725 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150802 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689935 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863515 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 227 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505808 3086691373 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 227 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 228 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150773 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 228 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859586 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 228 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083152080 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 229 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505616 3086692671 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 229 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150726 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 230 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851039 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 230 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 230 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084862678 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 231 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150612 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 231 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083151101 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 232 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150674 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 232 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904013 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 232 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851110 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 233 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689880 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 233 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863584 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 234 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 234 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904082 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 234 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863518 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 235 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 235 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859698 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 236 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863532 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 236 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150648 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 236 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904082 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 237 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505776 3086688113 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 237 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084862678 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 238 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084862686 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 238 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083153353 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 238 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 239 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689683 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 239 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851105 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 240 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150767 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 240 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150756 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 240 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084850939 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 241 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 241 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150938 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 242 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 242 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863529 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 242 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904116 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 243 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904094 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 243 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689888 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 244 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859698 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 244 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 244 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 245 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 245 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083153426 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 246 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863515 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 246 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150778 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 246 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904089 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 247 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505680 3083150386 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 247 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 248 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150740 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 248 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 248 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505500 3083140074 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 249 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904085 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 249 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863515 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 250 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505756 3085358621 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 250 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904076 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 250 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505408 3083151061 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 251 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 251 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505548 3083150948 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 252 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859575 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 252 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083151672 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 252 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904051 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 253 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 253 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851042 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 254 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150740 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 254 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851132 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 254 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505252 3083152982 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 255 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505852 134520916 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 255 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505412 3083151060 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 256 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863527 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 256 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083152915 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 256 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083151272 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 257 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863532 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 257 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150762 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 258 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505772 3084863961 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 258 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859572 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 258 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505420 3083140071 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 259 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505680 3083149988 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 259 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 260 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150723 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 260 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863580 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 260 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904007 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 261 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505540 3083150596 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 261 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150889 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 262 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150845 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 262 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851138 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 262 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150624 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 263 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863854 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 263 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150767 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 264 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505244 3083140071 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 264 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689683 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 264 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083151101 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 265 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505536 3083150945 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 265 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505616 3086692655 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 266 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851039 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 266 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505420 3083139544 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 266 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 267 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689696 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 267 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904016 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 268 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851124 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 268 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084863833 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 268 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505808 3086691575 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 269 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150778 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 269 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083151026 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 270 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150624 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 270 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150694 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 270 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505500 3083140071 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 271 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505536 3083150945 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 271 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150889 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 272 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859586 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 272 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505548 3083150948 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 272 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904119 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 273 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150711 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 273 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904007 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 274 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904113 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 274 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505776 3086688113 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 274 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083153008 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 275 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904085 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 275 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084850836 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 276 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689908 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 276 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 276 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505424 3084859772 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 277 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150868 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 277 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689888 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 278 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689888 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 278 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 278 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689878 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 279 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150767 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 279 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150904 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 280 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505248 3083153309 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 280 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505776 3086688239 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 280 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505532 3083150598 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 281 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505544 3083150922 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 281 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 282 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505616 3086692671 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 282 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904108 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 282 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083151026 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 283 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150636 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 283 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 284 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 284 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505744 3086689888 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 284 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 285 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150895 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 285 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505696 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 286 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3084851103 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 286 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505552 3085904087 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1008 0 0 0 286 0 0 0 25 0 1 0 10031289 7491584 523 4294967295 134512640 134538271 3219506784 3219505504 3083150729 0 0 4096 0 0 0 0 17 0 0 0 0
30647 (gecode-qwh) R 30646 27426 24421 34816 27426 4202496 1022 0 0 0 287 0 0 0 25 0 1 0 10031289 7495680 537 4294967295 134512640 134538271 3219506784 3219505680 3086717968 0 0 4096 0 0 0 0 17 0 0 0 0
