31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4194304 612 0 0 0 0 0 0 0 20 0 1 0 10040869 6987776 146 4294967295 134512640 134538271 3213967632 3213966068 3086808277 0 0 4096 0 0 0 0 17 1 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 985 0 0 0 0 0 0 0 20 0 1 0 10040869 7327744 500 4294967295 134512640 134538271 3213967632 3213966572 3080607205 0 0 4096 0 0 0 0 17 1 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 986 0 0 0 1 0 0 0 20 0 1 0 10040869 7327744 501 4294967295 134512640 134538271 3213967632 3213966592 3086738886 0 0 4096 0 0 0 0 17 1 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 992 0 0 0 2 0 0 0 20 0 1 0 10040869 7327744 507 4294967295 134512640 134538271 3213967632 3213966352 3083199840 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 992 0 0 0 2 0 0 0 20 0 1 0 10040869 7327744 507 4294967295 134512640 134538271 3213967632 3213966096 3083200865 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 992 0 0 0 2 0 0 0 20 0 1 0 10040869 7327744 507 4294967295 134512640 134538271 3213967632 3213966592 3086739046 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 992 0 0 0 3 0 0 0 20 0 1 0 10040869 7327744 507 4294967295 134512640 134538271 3213967632 3213966608 3085469873 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 997 0 0 0 3 0 0 0 23 0 1 0 10040869 7491584 512 4294967295 134512640 134538271 3213967632 3213966400 3085953239 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 23 0 1 0 10040869 7491584 513 4294967295 134512640 134538271 3213967632 3213966544 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 23 0 1 0 10040869 7491584 513 4294967295 134512640 134538271 3213967632 3213966592 3086739060 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1003 0 0 0 4 0 0 0 23 0 1 0 10040869 7491584 518 4294967295 134512640 134538271 3213967632 3213966448 3084899973 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1015 0 0 0 5 0 0 0 23 0 1 0 10040869 7491584 530 4294967295 134512640 134538271 3213967632 3213966096 3083200937 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1015 0 0 0 5 0 0 0 23 0 1 0 10040869 7491584 530 4294967295 134512640 134538271 3213967632 3213966352 3083200090 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 6 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966544 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 6 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199849 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 6 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966592 3086738914 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 7 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953228 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 7 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966272 3084912667 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 8 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953239 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 8 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966096 3083200383 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 8 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083200093 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 9 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966096 3083200934 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 9 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953249 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 10 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966544 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 10 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953239 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 10 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966272 3084908686 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 11 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966348 3083189223 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 11 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953209 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 12 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966348 3083189226 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 12 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199846 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 12 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199846 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 13 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966592 3086738841 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 13 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199878 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 14 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966272 3084912667 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 14 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199901 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 14 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966648 3085455537 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 15 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083200023 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 15 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3084900259 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 16 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953203 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 16 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966272 3084908924 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 16 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966592 3086739650 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 17 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953234 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 17 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199829 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 18 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199815 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 18 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966272 3084912728 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 18 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966088 3084872060 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 19 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966624 3086737214 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 19 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966576 3084908517 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 20 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966592 3086738841 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 20 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199914 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 20 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966592 3086738914 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 21 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199901 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 21 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966272 3084910812 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 22 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966544 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 22 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966460 3084899968 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 22 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966272 3084909001 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 23 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966272 3084908850 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 23 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966096 3083200914 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 24 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966272 3084911818 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 24 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3084900255 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 24 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966096 3083201209 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 25 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953155 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 25 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953203 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 26 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199788 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 26 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966464 3086741884 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 26 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966096 3083201769 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 27 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966544 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 27 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199884 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 28 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966096 3083202016 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 28 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199930 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 28 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953239 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 29 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953237 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 29 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966544 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 30 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966352 3083199840 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 30 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966624 3086737116 0 0 4096 0 0 0 0 17 0 0 0 0
31371 (gecode-qwh) R 31370 27426 24421 34816 27426 4202496 1016 0 0 0 30 0 0 0 23 0 1 0 10040869 7491584 531 4294967295 134512640 134538271 3213967632 3213966400 3085953203 0 0 4096 0 0 0 0 17 0 0 0 0
