31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4194304 618 0 0 0 0 0 0 0 20 0 1 0 10040495 6991872 152 4294967295 134512640 134538271 3217151008 3217149444 3086722261 0 0 4096 0 0 0 0 17 1 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 1 0 0 0 20 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867139 0 0 4096 0 0 0 0 17 1 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 2 0 0 0 20 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113862 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 2 0 0 0 20 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867223 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 3 0 0 0 20 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149968 3086653044 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 3 0 0 0 20 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149472 3083114218 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149968 3084827068 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149968 3086652875 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113760 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083114067 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149472 3083115714 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217150000 3086651086 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867230 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113892 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113871 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149968 3086652906 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149724 3083103207 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867221 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113885 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149920 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3084814237 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3084814069 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3084814078 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3084814062 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149644 3083103207 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867223 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113842 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867223 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113833 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867193 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149968 3086652832 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 14 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867223 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 14 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113799 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 14 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083114025 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 15 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3084814239 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 15 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149920 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867252 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149968 3084827046 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083114074 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 17 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149648 3084826641 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 17 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113854 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 18 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867221 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 18 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149836 3084814300 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 18 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3084814110 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 19 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113909 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 19 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149920 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 20 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149968 3086652819 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 20 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149920 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 20 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867143 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 21 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149472 3083116088 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 21 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149772 3083102632 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 22 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149472 3083116439 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 22 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113781 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 22 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113847 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 23 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113890 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 23 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217150000 3085369592 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113862 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149920 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149920 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 25 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149648 3084822708 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 25 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149920 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149968 3086652867 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867187 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149644 3083102680 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 27 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867223 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 27 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113854 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 28 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083114001 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 28 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113830 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 28 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217150016 3086652317 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 29 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113981 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 29 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113801 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 30 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149472 3083115252 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 30 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149472 3083115750 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 30 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113797 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 31 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149648 3084822640 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 31 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113784 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149464 3084786086 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113790 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149648 3084825802 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 33 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149968 3086653041 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 33 0 0 0 23 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113856 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867152 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149648 3084826668 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149648 3084826663 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 35 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113830 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 35 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113885 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3084814200 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113833 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113914 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 37 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149648 3084825800 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 37 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113892 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083114162 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113801 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149472 3083115766 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 39 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3084814155 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 39 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149728 3083113998 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149840 3086655927 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149968 3086652875 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149724 3083103207 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 41 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149920 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 41 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3085867223 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 42 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149472 3083114234 0 0 4096 0 0 0 0 17 0 0 0 0
31334 (gecode-qwh) R 31333 27426 24421 34816 27426 4202496 1000 0 0 0 42 0 0 0 24 0 1 0 10040495 7495680 515 4294967295 134512640 134538271 3217151008 3217149776 3084814283 0 0 4096 0 0 0 0 17 0 0 0 0
