30643 (sh) R 30642 27426 24421 34816 27426 4194304 189 0 0 0 0 0 0 0 20 0 1 0 10030981 2682880 102 4294967295 134512640 135191968 3214485888 3214484144 3085893425 0 0 4096 0 0 0 0 17 1 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4194304 553 0 0 0 0 0 0 0 20 0 1 0 10030981 6983680 87 4294967295 134512640 134538271 3219361344 3219360072 3086676516 0 0 4096 0 0 0 0 17 1 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 964 0 0 0 1 0 0 0 20 0 1 0 10030981 7163904 479 4294967295 134512640 134538271 3219361344 3219359808 3083044626 0 0 4096 0 0 0 0 17 1 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 978 0 0 0 1 0 0 0 20 0 1 0 10030981 7327744 493 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 1 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 20 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359984 3084752887 0 0 4096 0 0 0 0 17 1 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 20 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360092 3083044102 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 3 0 0 0 20 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3084744620 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 3 0 0 0 20 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3084744533 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 20 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3084744605 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044201 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 5 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360256 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 5 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3084744642 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3085797598 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360092 3083044102 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359984 3084753139 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359984 3084757028 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044207 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360212 3080445914 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360256 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044260 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359984 3084753350 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359804 3083033578 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360256 3080442258 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360256 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360304 3086583235 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359984 3084753139 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360412 3086585098 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360336 3085299926 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044167 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044336 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360240 3083043816 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360256 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 15 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044415 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 15 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044253 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360256 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3085797511 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359808 3083046798 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 17 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359808 3083045190 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 17 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360304 3086583378 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360104 3083044097 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359968 3083045270 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 19 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 19 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3084744488 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360336 3085299960 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360304 3086583392 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 21 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 21 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3085797580 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044239 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360304 3086583409 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 23 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359980 3083044560 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 23 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3084744497 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3085797520 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3084744533 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360104 3083044097 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 25 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360256 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 25 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044239 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359808 3083046560 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359984 3084757012 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 27 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359808 3083046875 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 27 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044134 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359984 3084753079 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044146 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360304 3086583187 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 29 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044266 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 29 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3084744571 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219359808 3083045266 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360064 3083044219 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360112 3084744533 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 996 0 0 0 31 0 0 0 23 0 1 0 10030981 7327744 511 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 23 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3084744430 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083045359 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3084744596 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360336 3086581626 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 23 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583392 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 23 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360108 3083044096 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 23 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583187 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044361 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583193 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 35 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083045626 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 35 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044210 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360336 3086581608 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583243 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360092 3083044102 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 37 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583202 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 37 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359968 3083044565 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083045176 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 39 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360256 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 39 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360336 3086581623 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360176 3086586356 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044393 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 41 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797589 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 41 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086584207 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084753079 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044186 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044195 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 43 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044399 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 43 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084757028 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 24 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797517 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583202 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044442 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 45 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084755164 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 45 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044140 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797507 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044189 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360060 3083033578 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 47 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 47 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360256 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084757019 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 49 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360256 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 49 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084753297 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044207 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 51 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084757071 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 51 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359968 3083044565 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797598 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044442 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084757084 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 53 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 53 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797620 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084757028 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083045179 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 55 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3084744533 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 55 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3084744596 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083046451 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083045212 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 57 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583266 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 57 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797555 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360256 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044111 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084755197 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 59 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797555 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 59 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083045266 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583243 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044271 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083044580 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 61 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044402 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 61 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797555 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 63 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583235 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 63 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083046440 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797561 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084757084 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044181 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 65 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3084744571 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 65 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797511 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583243 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3084744402 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044349 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 67 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044279 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 67 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084757084 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084757036 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 69 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360108 3083033000 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 69 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084753024 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360108 3083044096 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044361 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 71 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084753079 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 71 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084753040 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044442 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083046403 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044149 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 73 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083045179 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 73 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359808 3083045362 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360416 3086507845 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084755209 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797555 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 75 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084757084 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 75 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360320 3085314166 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360416 3086508358 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3084744568 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 77 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359984 3084756190 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 77 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359976 3083044561 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044167 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583382 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044266 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 79 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219359800 3084716412 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 79 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044271 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360288 3084752869 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360096 3083044101 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 81 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360304 3086583187 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1002 0 0 0 81 0 0 0 25 0 1 0 10030981 7491584 517 4294967295 134512640 134538271 3219361344 3219360064 3083044195 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744614 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045179 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044415 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 83 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044239 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 83 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046427 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359804 3084716400 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360096 3083044424 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 85 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360416 3086506592 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 85 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044580 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044948 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044442 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044260 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 87 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 87 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797517 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044420 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744428 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 89 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045179 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 89 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046374 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044442 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044236 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360108 3083044452 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 91 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797511 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 91 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744428 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044597 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583187 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 93 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744628 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 93 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044435 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 95 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084756182 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 95 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753024 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3084757441 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744571 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045179 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 97 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744571 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 97 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583187 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044169 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 99 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044224 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 99 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360240 3083043843 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084756182 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044755 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744614 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 101 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 101 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797555 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044201 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 103 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 103 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044224 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360336 3086581617 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583187 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 105 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 105 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359980 3083044560 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797608 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797580 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797617 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 107 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 107 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044260 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797595 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044384 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044155 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 109 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359800 3084716412 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 109 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744639 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583392 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359812 3083046486 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 111 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360108 3083044096 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 111 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044260 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744543 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084756204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 113 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044339 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 113 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084755164 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044236 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044224 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 115 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744577 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 115 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046107 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084752893 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797604 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044282 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 117 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044402 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 117 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046515 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757031 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753076 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 119 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744609 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 119 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583400 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044210 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757401 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086584129 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 121 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 121 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360336 3085300055 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753071 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 123 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044930 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 123 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360172 3084744320 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044258 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360416 3086506614 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360108 3083044096 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 125 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797589 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 125 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757065 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753021 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797598 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744428 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 127 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044122 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 127 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757033 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044599 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359976 3083044561 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044116 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 129 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744577 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 129 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044336 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086584204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 131 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797598 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 131 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359812 3083046489 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583243 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583412 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583412 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 133 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044111 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 133 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753082 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044297 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3084757414 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 135 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084756162 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 135 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360092 3083044102 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583187 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359972 3083044564 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797517 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 137 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359804 3083033578 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 137 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744593 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360108 3083033000 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744533 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044192 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 139 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044116 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 139 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084755170 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757012 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583235 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 141 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044169 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 141 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044528 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044264 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757058 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 143 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046331 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 143 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044327 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359964 3083044566 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744605 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 145 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757031 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 145 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757065 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583251 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044201 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044260 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 147 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044186 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 147 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359812 3083046495 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044749 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044184 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044192 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 149 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044175 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 149 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797617 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044260 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360284 3080451631 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 151 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045827 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 151 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360416 3086506598 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044442 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744624 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044108 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 153 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360336 3086581535 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 153 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757080 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797561 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044364 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360176 3086586188 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 155 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044122 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 155 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360100 3083044450 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744605 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044312 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 157 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583398 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 157 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757334 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044432 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583968 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 159 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 159 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753038 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583392 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583200 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044201 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 161 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797595 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 161 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797555 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583193 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753051 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044195 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 163 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044253 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 163 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045266 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583243 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583418 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 165 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045176 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 165 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757080 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044442 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360252 134521140 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 167 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044361 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 167 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757084 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084756168 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 169 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360100 3083044450 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 169 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744389 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046864 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 171 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 171 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360336 3086581600 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583202 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757063 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 173 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044361 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 173 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744543 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583243 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744609 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 175 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044770 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 175 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044167 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084756153 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360108 3083044452 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 177 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044219 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 177 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044181 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045612 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084756190 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044277 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 179 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046852 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 179 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360092 3083044423 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797583 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044192 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 181 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797571 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 181 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753079 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046403 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044605 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753068 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 183 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797511 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 183 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797517 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744473 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044282 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044617 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 185 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 185 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797620 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757401 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360224 3083042979 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744587 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 187 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797507 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 187 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044116 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797507 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359964 3083044566 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 189 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044361 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 189 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046328 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360096 3083044101 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046203 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086584204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 191 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797589 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 191 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359968 3083045270 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757058 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360172 3085797296 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757080 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 193 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 193 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046427 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044192 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 195 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046864 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 195 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757031 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360412 3085261280 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 197 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360320 3085314215 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 197 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797555 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 199 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044195 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 199 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359800 3084716428 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753038 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744446 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044271 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 201 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797555 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 201 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797623 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044393 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046536 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044186 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 203 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744452 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 203 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044260 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744605 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044169 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 205 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 205 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744533 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360100 3083044100 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360100 3083044450 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044195 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 207 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360336 3086581557 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 207 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757317 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046098 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044372 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 209 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757025 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 209 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360220 3080451671 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044349 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360108 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583938 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 211 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797517 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 211 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046093 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084756182 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044108 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045266 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 213 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797316 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 213 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583243 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360172 3084744320 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583243 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 215 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744614 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 215 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583392 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3084744571 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360240 3083043424 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757329 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 217 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084752898 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 217 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583966 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084757031 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583392 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086583235 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 219 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045307 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 219 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753202 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360240 3083043908 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360304 3086584207 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 221 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359964 3083044566 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 221 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044244 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083045209 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753295 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 223 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083044644 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 223 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044140 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753220 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359800 3084716428 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044294 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 225 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044125 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 225 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359984 3084753059 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797507 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044178 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046560 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 227 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360064 3083044405 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 227 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219360112 3085797595 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1008 0 0 0 228 0 0 0 25 0 1 0 10030981 7491584 523 4294967295 134512640 134538271 3219361344 3219359808 3083046560 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797617 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744430 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 229 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 229 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359968 3083044565 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744430 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359964 3083044566 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797589 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 231 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360060 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 231 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744620 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744546 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360364 3080441440 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744533 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 233 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797586 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 233 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046522 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084756190 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083045187 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797517 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 235 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 235 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797583 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744577 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360168 3084744321 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044134 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 237 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084753028 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 237 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360256 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360336 3086581546 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046473 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 239 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044266 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 239 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083045603 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744648 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084756182 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 241 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084756204 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 241 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084757401 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359972 3083044564 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046469 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083045283 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 243 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083045266 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 243 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084756182 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046427 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044116 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 245 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359800 3084716412 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 245 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360104 3083044426 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046345 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044158 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083044752 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 247 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 247 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083045470 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044111 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360092 3083044102 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360100 3083044450 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 249 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360172 3084744320 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 249 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360096 3083044449 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744648 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360316 3085252081 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083044626 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 251 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044186 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 251 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797561 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083044644 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360108 3083044452 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044189 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 253 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084753304 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 253 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359804 3083033575 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360100 3083044100 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797571 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3086583200 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 255 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 255 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3086583439 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744605 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360316 3085252128 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044411 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 257 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044327 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 257 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084757012 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046093 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046421 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797620 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 259 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3086583200 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 259 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044442 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044222 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083044605 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084753015 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 261 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044186 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 261 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044210 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360256 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083045239 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083045499 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 263 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 263 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083045266 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084756182 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797617 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 265 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3084757487 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 265 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360256 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744571 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744599 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744571 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 267 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797507 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 267 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046913 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044411 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 269 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359800 3084716412 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 269 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744617 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360336 3086581637 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797571 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084757395 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 271 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 271 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744536 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360256 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084753127 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 273 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046899 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 273 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044184 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044116 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797620 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084757038 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 275 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083044605 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 275 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084755209 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744365 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3086583235 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 277 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083045179 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 277 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044198 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360096 3083044449 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 279 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744593 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 279 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044528 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3086583235 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359968 3083044565 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044399 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 281 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084753272 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 281 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044215 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044155 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797517 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797583 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 283 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744596 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 283 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744607 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044169 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044165 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046568 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 285 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084753272 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 285 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359972 3083044564 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044528 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744599 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744617 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 287 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046331 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 287 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044282 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360336 3086581525 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744353 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744639 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 289 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744587 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 289 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084756156 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044167 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797589 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3086583187 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 291 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044167 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 291 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083045635 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3086583243 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 293 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797591 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 293 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044189 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084757054 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084753071 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3086583400 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 295 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046345 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 295 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084757389 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360336 3086581690 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084756170 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3086583246 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 297 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797580 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 297 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359800 3084716431 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084753051 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359984 3084753121 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3084744633 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 299 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360304 3086583187 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 299 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046480 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044271 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083046574 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 301 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360336 3086581635 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 301 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359800 3084716438 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 302 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219359808 3083044580 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 302 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360256 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 302 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360112 3085797617 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1009 0 0 0 303 0 0 0 25 0 1 0 10030981 7491584 524 4294967295 134512640 134538271 3219361344 3219360064 3083044260 0 0 4096 0 0 0 0 17 0 0 0 0
30643 (gecode-qwh) R 30642 27426 24421 34816 27426 4202496 1023 0 0 0 303 0 0 0 25 0 1 0 10030981 7495680 538 4294967295 134512640 134538271 3219361344 3219360128 3082367883 0 0 4096 0 0 0 0 17 0 0 0 0
