31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4194304 511 0 0 0 0 0 0 0 18 0 1 0 10042005 4263936 49 4294967295 134512640 134538271 3217999088 3217996628 3086745732 0 0 4096 0 0 0 0 17 1 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 953 0 0 0 0 0 0 0 18 0 1 0 10042005 7168000 468 4294967295 134512640 134538271 3217999088 3217997856 3085842567 0 0 4096 0 0 0 0 17 1 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 977 0 0 0 0 0 0 0 18 0 1 0 10042005 7331840 492 4294967295 134512640 134538271 3217999088 3217997920 3086631341 0 0 4096 0 0 0 0 17 1 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 989 0 0 0 1 0 0 0 22 0 1 0 10042005 7331840 504 4294967295 134512640 134538271 3217999088 3217997728 3084797963 0 0 4096 0 0 0 0 17 1 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 989 0 0 0 1 0 0 0 22 0 1 0 10042005 7331840 504 4294967295 134512640 134538271 3217999088 3217997808 3083089172 0 0 4096 0 0 0 0 17 1 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 22 0 1 0 10042005 7331840 504 4294967295 134512640 134538271 3217999088 3217997856 3084789640 0 0 4096 0 0 0 0 17 1 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217997856 3085842657 0 0 4096 0 0 0 0 17 1 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217997856 3084789464 0 0 4096 0 0 0 0 17 1 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217997808 3083089223 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217997728 3084802065 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217997808 3083089370 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217997856 3085842679 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217997856 3085842673 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217997728 3084798146 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217997856 3084789704 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217997808 3083089405 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 22 0 1 0 10042005 7331840 510 4294967295 134512640 134538271 3217999088 3217998000 134529159 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 6 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997856 3084789670 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 7 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997728 3084802119 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 7 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217998076 3083077768 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 8 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997728 3084800263 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 8 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217998048 3086628456 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 8 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217998000 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 9 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997856 3085842647 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 9 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217998048 3086628325 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 10 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997728 3084798189 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 10 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997808 3083089254 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 10 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997808 3083089362 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 11 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217998048 3086628454 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 11 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217998000 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 12 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217998048 3086629260 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 12 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997808 3083089184 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 12 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997728 3084802445 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 13 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997728 3084798107 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 13 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997808 3083089292 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 14 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997708 3083090325 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 14 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217997856 3085842617 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 997 0 0 0 14 0 0 0 22 0 1 0 10042005 7331840 512 4294967295 134512640 134538271 3217999088 3217998080 3085345022 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 15 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998044 3084797920 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 15 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997544 3084761471 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084798155 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997984 3083088964 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998048 3086628299 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 17 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842647 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 17 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998080 3086626581 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842647 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997552 3083091390 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089314 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 19 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089584 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 19 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842647 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789665 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084802110 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998060 3085297165 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 21 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842611 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 21 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842682 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 22 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998000 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 22 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997720 3083090328 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 22 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842576 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 23 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997852 3083078056 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 23 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842649 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 24 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998000 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 24 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089181 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 24 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789663 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 25 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089464 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 25 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789594 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 26 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089316 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 26 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089260 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 26 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997724 3083089616 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 27 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998000 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 27 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997552 3083091488 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084798287 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084802140 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089422 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 29 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089257 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 29 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998156 3085306336 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 30 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789599 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 30 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842633 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 30 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998160 3086551815 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 31 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089205 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 31 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997916 3084789376 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998048 3086628465 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089471 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997724 3083078634 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 33 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842429 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 33 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842639 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 34 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997552 3083091512 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 34 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789484 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 34 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089242 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 35 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842664 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 35 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089257 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998080 3086626591 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089275 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842647 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 37 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998048 3086628448 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 37 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089327 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 38 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997852 3083089483 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 38 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089327 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 38 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998080 3086626558 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 39 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084802119 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 39 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997836 3083089158 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089449 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084800229 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 22 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089289 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 41 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089498 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 41 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998048 3086628240 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 42 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842627 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 42 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842647 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 42 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998048 3086629058 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 43 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789599 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 43 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842645 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 44 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089254 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 44 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997724 3083089616 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 44 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998048 3086628299 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 45 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089254 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 45 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789663 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 46 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084802140 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 46 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089368 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 46 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842633 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 47 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789663 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 47 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998048 3086628265 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 48 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084798104 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 48 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089458 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 48 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089275 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 49 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997968 3083087196 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 49 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842647 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 50 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089316 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 50 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997844 3083089156 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 50 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789579 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 51 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089221 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 51 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998032 3084797925 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 52 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842668 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 52 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789663 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 52 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084798264 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 53 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997552 3083090322 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 53 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842627 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 54 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089221 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 54 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998016 3080486580 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 54 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084802121 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 55 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3085842636 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 55 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997728 3084801248 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 56 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997552 3083089636 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 56 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998000 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 56 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217998036 3084797924 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 57 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997856 3084789418 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1003 0 0 0 57 0 0 0 23 0 1 0 10042005 7495680 518 4294967295 134512640 134538271 3217999088 3217997808 3083089455 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 58 0 0 0 23 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083090238 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 58 0 0 0 23 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842649 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 58 0 0 0 23 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998080 3086626691 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 59 0 0 0 23 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789643 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 59 0 0 0 23 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998048 3086629051 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 60 0 0 0 23 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998076 3084802464 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 60 0 0 0 23 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997544 3084761468 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 60 0 0 0 23 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089381 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 61 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842636 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 61 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089322 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 62 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842573 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 62 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998048 3086628299 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 62 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083090339 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 63 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798094 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 63 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789583 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 64 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089254 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 64 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842647 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 64 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083091132 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 65 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084802119 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 65 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083091947 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 66 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997844 3083089156 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 66 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084800218 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 66 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998048 3086628316 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 67 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997984 3083089057 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 67 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083091468 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 68 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998000 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 68 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997852 3083089152 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 68 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789596 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 69 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084802065 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 69 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089338 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 70 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798113 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 70 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998064 3085359315 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 70 0 0 0 24 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842651 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 71 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842654 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 71 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084801238 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 72 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998076 3084802521 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 72 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789673 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 72 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798335 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 73 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089254 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 73 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997852 3083089152 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 74 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089254 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 74 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083089636 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 74 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998048 3086628299 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 75 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089266 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 75 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789484 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 76 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789579 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 76 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998048 3086628465 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 76 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997804 3083078631 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 77 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997712 3083090326 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 77 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798186 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 78 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083091937 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 78 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842563 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 78 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089263 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 79 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083091616 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 79 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089184 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 80 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089254 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 80 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084797938 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 80 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998048 3086628454 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 81 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089221 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 81 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998000 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 82 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083091468 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 82 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083090339 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 82 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089223 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 83 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842611 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 83 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842676 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 84 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998160 3086552290 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 84 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089271 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 84 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842668 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 85 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842645 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 85 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842651 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 86 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089297 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 86 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089286 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 86 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842636 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 87 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997908 3084789380 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 87 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089306 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 88 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998000 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 88 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998048 3086628224 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 88 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089260 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 89 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089320 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 89 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997544 3084761468 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 90 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998080 3086626576 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 90 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842608 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 90 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842647 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 91 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789689 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 91 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798138 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 92 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998064 3085359339 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 92 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997724 3083078631 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 92 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798370 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 93 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998000 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 93 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083091477 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 94 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997544 3084761476 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 94 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997840 3083089505 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 94 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083091854 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 95 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789568 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 95 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089184 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 96 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089184 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 96 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997984 3083088504 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 96 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789698 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 97 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998128 3080488904 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 97 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083089631 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 98 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089254 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 98 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842647 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 98 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998000 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 99 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798135 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 99 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997780 3080490756 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 100 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798135 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 100 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083090322 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 100 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084802068 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 101 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083091525 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 101 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798135 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 102 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089338 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 102 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789704 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 102 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089254 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 103 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789663 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 103 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998060 3085297192 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 104 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089257 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 104 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842400 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 104 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842654 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 105 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084801224 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 105 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998064 3085359315 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 106 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842627 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 106 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089242 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 106 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089491 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 107 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3084789663 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 107 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997552 3083091961 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 108 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089278 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 108 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084802097 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 108 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798082 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 109 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998000 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 109 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997852 3083089152 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 110 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089184 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 110 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842633 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 110 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998080 3086626787 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 111 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084800272 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 111 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997904 3085842705 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 112 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998000 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 112 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998000 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 112 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798104 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 113 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089586 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 113 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997856 3085842664 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 114 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089260 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 114 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084802092 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 114 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998112 3080488980 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 115 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998048 3086628438 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 115 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998048 3086628243 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 116 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997808 3083089225 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 116 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998048 3086628291 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 116 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217997728 3084798071 0 0 4096 0 0 0 0 17 0 0 0 0
31435 (gecode-qwh) R 31434 27426 24421 34816 27426 4202496 1009 0 0 0 117 0 0 0 25 0 1 0 10042005 7495680 524 4294967295 134512640 134538271 3217999088 3217998080 3086626558 0 0 4096 0 0 0 0 17 0 0 0 0
