31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4194304 467 0 0 0 0 0 0 0 20 0 1 0 10041882 237568 7 4294967295 134512640 134538271 3216722864 3216722804 3086199508 0 0 4096 0 0 0 0 17 1 0 0 0

31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 916 0 0 0 0 0 0 0 20 0 1 0 10041882 7028736 432 4294967295 134512640 134538271 3216722864 3216721868 3084834272 0 0 4096 0 0 0 0 17 1 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 976 0 0 0 0 0 0 0 20 0 1 0 10041882 7327744 492 4294967295 134512640 134538271 3216722864 3216721632 3084326815 0 0 4096 0 0 0 0 17 1 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 20 0 1 0 10041882 7327744 504 4294967295 134512640 134538271 3216722864 3216721776 134529152 0 0 4096 0 0 0 0 17 1 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 20 0 1 0 10041882 7327744 504 4294967295 134512640 134538271 3216722864 3216721888 3086167077 0 0 4096 0 0 0 0 17 1 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 988 0 0 0 2 0 0 0 20 0 1 0 10041882 7327744 504 4294967295 134512640 134538271 3216722864 3216721500 3082615256 0 0 4096 0 0 0 0 17 1 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 20 0 1 0 10041882 7327744 510 4294967295 134512640 134538271 3216722864 3216721584 3082626447 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 994 0 0 0 3 0 0 0 20 0 1 0 10041882 7327744 510 4294967295 134512640 134538271 3216722864 3216721824 3086165454 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 994 0 0 0 3 0 0 0 23 0 1 0 10041882 7327744 510 4294967295 134512640 134538271 3216722864 3216721584 3082626373 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 23 0 1 0 10041882 7327744 510 4294967295 134512640 134538271 3216722864 3216721632 3085379816 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 23 0 1 0 10041882 7327744 510 4294967295 134512640 134538271 3216722864 3216721696 3086168373 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 23 0 1 0 10041882 7327744 510 4294967295 134512640 134538271 3216722864 3216721776 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 23 0 1 0 10041882 7327744 510 4294967295 134512640 134538271 3216722864 3216721584 3082626594 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 23 0 1 0 10041882 7327744 510 4294967295 134512640 134538271 3216722864 3216721504 3084338384 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 23 0 1 0 10041882 7327744 510 4294967295 134512640 134538271 3216722864 3216721504 3084339217 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 23 0 1 0 10041882 7327744 510 4294967295 134512640 134538271 3216722864 3216721556 3080026815 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721584 3082626357 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721584 3082626375 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721856 3086163853 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721632 3084326744 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721624 3082626305 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721328 3082628645 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721632 3084326751 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721504 3084339259 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721824 3086166208 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721632 3085379760 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721584 3082626363 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721584 3082626427 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721504 3084339217 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721504 3084339292 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721584 3082626447 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721504 3084335505 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721824 3086165408 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721632 3084326795 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721500 3082615256 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10041882 7327744 512 4294967295 134512640 134538271 3216722864 3216721632 3084326815 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 15 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721776 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 15 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379735 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721824 3086165395 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721824 3086165443 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 17 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626412 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 17 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326731 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721856 3086163856 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626619 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721824 3086165606 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 19 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082628017 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 19 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326828 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082626822 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326822 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 21 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721320 3084298636 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 21 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082628773 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 22 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626373 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 22 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721776 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 22 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721324 3084298608 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 23 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326795 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 23 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326613 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 24 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721824 3086165448 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 24 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721624 3082626659 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 24 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 25 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084339239 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 25 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721856 3086163816 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 26 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626447 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 26 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084337370 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 26 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626375 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 27 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084335287 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 27 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326779 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 28 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626363 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 28 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721624 3082626634 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 28 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721692 3084326876 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 29 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084338398 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 29 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721492 3082626772 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626397 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721824 3086165451 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082628539 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721824 3086165443 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326801 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721580 3082615783 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326867 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 23 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626613 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082626834 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084339233 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084335338 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 35 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626386 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 35 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721776 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379816 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626468 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326804 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 37 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721556 3080027259 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 37 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721776 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721824 3086165443 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721856 3086163902 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082627401 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 39 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626468 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 39 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626418 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721628 3082626304 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379715 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721824 3086165443 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 41 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326792 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 41 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721776 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626619 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626406 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326731 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 43 0 0 0 24 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626452 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 43 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626409 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721776 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721824 3086165617 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 45 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721492 3082626772 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 45 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084339244 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721628 3082626660 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721628 3082626304 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 47 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 47 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626468 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379719 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379803 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084335287 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 49 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721932 3084850800 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 49 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082628035 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626572 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082628017 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626415 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 51 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721584 3082626580 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 51 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3084326771 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082626788 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721824 3086166206 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379834 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 53 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082626822 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 53 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721776 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721328 3082628629 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084337370 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084335347 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 55 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379794 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 55 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084339244 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084339244 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721504 3084335216 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721628 3082626304 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 57 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1002 0 0 0 57 0 0 0 25 0 1 0 10041882 7491584 518 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 58 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 58 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721776 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 58 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721628 3082626660 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 59 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721616 3082626657 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 59 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379766 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 60 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626409 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 60 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721328 3082628544 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 60 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626444 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 61 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165408 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 61 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721500 3082627481 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 62 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379728 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 62 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721328 3082626788 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 62 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626397 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 63 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165454 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 63 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721328 3082626987 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 64 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3084339631 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 64 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084335290 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 64 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721320 3084298623 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 65 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626650 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 65 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084337434 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 66 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626406 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 66 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721840 3084896459 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 66 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721776 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 67 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326822 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 67 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 68 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326813 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 68 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626736 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 68 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 69 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626447 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 69 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721328 3082627808 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 70 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626415 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 70 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326728 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 70 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626468 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 71 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084339239 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 71 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165401 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 72 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626444 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 72 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721328 3082628329 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 72 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326728 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 73 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326779 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 73 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379785 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 74 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626438 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 74 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326751 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 74 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721756 3084298608 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 75 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626438 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 75 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721856 3086164084 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 76 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326759 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 76 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626324 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 76 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721776 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 77 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165451 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 77 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721696 3086168400 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 78 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326771 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 78 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721744 3082625472 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 78 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626427 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 79 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626400 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 79 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626406 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 80 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084339292 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 80 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084335522 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 80 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 81 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379725 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 81 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086166415 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326744 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165592 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626435 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 83 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379763 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 83 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626616 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721856 3086163847 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626406 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 85 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084335095 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 85 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084335552 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626406 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721692 3084326528 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165617 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 87 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626592 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 87 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626569 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379816 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721620 3082626658 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721328 3082628688 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 89 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086166203 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 89 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626438 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626628 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721856 3084882261 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165392 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 91 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086166203 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 91 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379763 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626594 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626375 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721776 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 93 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721776 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 93 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626373 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165395 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379825 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326792 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 95 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626650 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 95 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326815 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626406 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379809 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721612 3082626310 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 97 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721884 3084882096 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 97 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721492 3082627479 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626490 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626479 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379801 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 99 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626418 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 99 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721776 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326813 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721936 3086089642 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626406 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 101 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721328 3082626810 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 101 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626468 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165617 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084335287 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721620 3082626658 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 103 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626412 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 103 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721808 3084335077 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721776 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626319 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165451 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 105 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626403 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 105 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626373 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084335576 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721328 3082627387 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 107 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326759 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 107 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165451 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721328 3082627474 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165617 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626572 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 109 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721696 3086168404 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 109 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326813 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084335287 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326817 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379779 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 111 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626610 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 111 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084339236 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721824 3086165474 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379763 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 113 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721892 3086165087 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 113 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721760 3082625603 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3084326638 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721504 3084339246 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626330 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 115 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626383 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 115 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379719 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379797 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721584 3082626412 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379715 0 0 4096 0 0 0 0 17 0 0 0 0
31431 (gecode-qwh) R 31430 27426 24421 34816 27426 4202496 1008 0 0 0 117 0 0 0 25 0 1 0 10041882 7491584 524 4294967295 134512640 134538271 3216722864 3216721632 3085379799 0 0 4096 0 0 0 0 17 0 0 0 0
