31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4194304 541 0 0 0 0 0 0 0 21 0 1 0 10040447 6868992 76 4294967295 134512640 134538271 3213131856 3213129012 3086180484 0 0 4096 0 0 0 0 17 1 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 994 0 0 0 0 0 0 0 21 0 1 0 10040447 7331840 509 4294967295 134512640 134538271 3213131856 3213130620 3082524260 0 0 4096 0 0 0 0 17 1 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 1 0 0 0 21 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130832 3084794146 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 2 0 0 0 21 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130832 3084794038 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 2 0 0 0 21 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130928 3085986394 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 3 0 0 0 21 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277399 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 3 0 0 0 21 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3084224415 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 21 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082524987 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277399 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524228 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524020 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130688 3086066027 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082526153 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277399 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082526224 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084234999 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277406 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130816 3086063080 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130768 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130604 3082523910 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084233010 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130668 3084224134 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082523948 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082526665 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130604 3082523910 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130768 134529229 0 0 4096 0 0 0 0 17 0 0 0 0

31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084232819 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130880 3086064628 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084235990 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084232944 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082523957 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277325 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 14 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130612 3082523908 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 14 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082525120 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 14 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277399 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 15 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082525392 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 15 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524000 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277363 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277397 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084236836 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 17 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277397 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 17 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130848 3086061689 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 18 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3084224413 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 18 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130312 3084196220 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 18 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524006 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 19 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130620 3082524235 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 19 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130768 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 20 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082524422 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 20 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082524434 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 20 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277440 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 21 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084232887 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 21 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277363 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 22 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084236839 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 22 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524122 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 22 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3084224415 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 23 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082524993 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 23 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130548 3079924824 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130768 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277406 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277420 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 25 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3084224388 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 25 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130312 3084196209 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130816 3086063082 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524044 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082523994 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082523936 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 27 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130812 134528960 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 27 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277401 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 28 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130816 3086063043 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 28 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082526227 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 28 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130848 3086061539 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 29 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524061 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 29 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524061 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 30 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082523963 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 30 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130612 3082524233 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 30 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277397 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 31 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524183 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 31 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130816 3086062995 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130816 3086063217 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277397 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130612 3082523908 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 33 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084235005 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 33 0 0 0 23 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3084224456 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130620 3082523904 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130784 3079921564 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084235976 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 35 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130620 3082523904 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 35 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084235942 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084236849 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084236839 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130752 3082523227 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 37 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130320 3082525623 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 37 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130604 3082523910 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3084224417 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130496 3084232821 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130768 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 39 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130548 3079925678 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 39 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130624 3085277315 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524032 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130608 3082524257 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130492 3082513383 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 41 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130576 3082524079 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 41 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130688 3086065983 0 0 4096 0 0 0 0 17 0 0 0 0
31330 (gecode-qwh) R 31329 27426 24421 34816 27426 4202496 1000 0 0 0 42 0 0 0 24 0 1 0 10040447 7495680 515 4294967295 134512640 134538271 3213131856 3213130312 3084196244 0 0 4096 0 0 0 0 17 0 0 0 0
