31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4194304 491 0 0 0 0 0 0 0 20 0 1 0 10041315 278528 30 4294967295 134512640 134538271 3215368816 3215366192 3086733390 0 0 4096 0 0 0 0 17 1 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 944 0 0 0 0 0 0 0 20 0 1 0 10041315 7163904 460 4294967295 134512640 134538271 3215368816 3215367536 3083076926 0 0 4096 0 0 0 0 17 1 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 970 0 0 0 0 0 0 0 20 0 1 0 10041315 7327744 486 4294967295 134512640 134538271 3215368816 3215367584 3085830359 0 0 4096 0 0 0 0 17 1 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 976 0 0 0 0 0 0 0 20 0 1 0 10041315 7327744 492 4294967295 134512640 134538271 3215368816 3215367788 3085284901 0 0 4096 0 0 0 0 17 1 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 982 0 0 0 1 0 0 0 20 0 1 0 10041315 7327744 498 4294967295 134512640 134538271 3215368816 3215367456 3084789780 0 0 4096 0 0 0 0 17 1 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 982 0 0 0 1 0 0 0 20 0 1 0 10041315 7327744 498 4294967295 134512640 134538271 3215368816 3215367584 3085830366 0 0 4096 0 0 0 0 17 1 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 988 0 0 0 2 0 0 0 20 0 1 0 10041315 7327744 504 4294967295 134512640 134538271 3215368816 3215367584 3085830361 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 988 0 0 0 2 0 0 0 20 0 1 0 10041315 7327744 504 4294967295 134512640 134538271 3215368816 3215367280 3083079342 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 988 0 0 0 3 0 0 0 20 0 1 0 10041315 7327744 504 4294967295 134512640 134538271 3215368816 3215367536 3083077028 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 3 0 0 0 20 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367568 3080106642 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 20 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3085830359 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367728 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367728 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367536 3083076879 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367776 3086616011 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367856 3080476647 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3084777375 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3084777375 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 7 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3085830348 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 7 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3084777375 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 8 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3084777114 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 8 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367456 3084788930 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 8 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3084777375 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 9 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367776 3086616160 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 9 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367776 3086616736 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 10 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367536 3083077050 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 10 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367776 3086616177 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 10 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367648 3086619124 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 11 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367572 3083076868 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 11 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367280 3083077382 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 12 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367280 3083077977 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 12 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367284 3083079267 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 12 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367436 3083077334 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 13 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367280 3083079171 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 13 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367776 3086616924 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 14 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367280 3083078338 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 14 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367776 3086616011 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 14 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367776 3086616011 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 15 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367272 3084749174 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 15 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367456 3084786052 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 16 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367776 3086616166 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 16 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367536 3083076983 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 16 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367536 3083077188 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 17 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367536 3083076990 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 17 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367536 3083077210 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 18 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3084777379 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 18 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367456 3084789804 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 18 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367448 3083077329 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 19 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367728 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 19 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3085830359 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 20 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3085830275 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 20 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367580 3083077220 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 20 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367576 3083076865 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 21 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367456 3084789796 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 21 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3084777291 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 22 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367536 3083077210 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 22 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3085830359 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 22 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367280 3083078238 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 23 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367456 3084786082 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 994 0 0 0 23 0 0 0 23 0 1 0 10041315 7327744 510 4294967295 134512640 134538271 3215368816 3215367584 3084777416 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 23 0 1 0 10041315 7491584 516 4294967295 134512640 134538271 3215368816 3215367584 3084777301 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 23 0 1 0 10041315 7491584 516 4294967295 134512640 134538271 3215368816 3215367536 3083077129 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 23 0 1 0 10041315 7491584 516 4294967295 134512640 134538271 3215368816 3215367584 3084777173 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1000 0 0 0 25 0 0 0 23 0 1 0 10041315 7491584 516 4294967295 134512640 134538271 3215368816 3215367728 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1000 0 0 0 25 0 0 0 23 0 1 0 10041315 7491584 516 4294967295 134512640 134538271 3215368816 3215367532 3083066343 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 23 0 1 0 10041315 7491584 516 4294967295 134512640 134538271 3215368816 3215367536 3083077028 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 23 0 1 0 10041315 7491584 516 4294967295 134512640 134538271 3215368816 3215367728 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 23 0 1 0 10041315 7491584 516 4294967295 134512640 134538271 3215368816 3215367776 3086616721 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1000 0 0 0 27 0 0 0 23 0 1 0 10041315 7491584 516 4294967295 134512640 134538271 3215368816 3215367808 3086614422 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1000 0 0 0 27 0 0 0 23 0 1 0 10041315 7491584 516 4294967295 134512640 134538271 3215368816 3215367536 3083077034 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 28 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083078034 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 28 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3084777379 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 28 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830359 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 29 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077088 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 29 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367776 3086616011 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 30 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076923 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 30 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367580 3083077220 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 30 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076966 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 31 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083079192 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 31 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083077367 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 32 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083078060 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 32 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367776 3086615970 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 32 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083077367 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 33 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077080 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 33 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830359 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 34 0 0 0 23 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367760 3084785637 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 34 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083077367 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 34 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367276 3083066343 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 35 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367644 3085830064 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 35 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077009 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 36 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367888 3086539075 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 36 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076966 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 36 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083077370 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 37 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367728 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 37 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077298 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 38 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077129 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 38 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076923 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 38 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3084777339 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 39 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083078371 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 39 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084785779 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 40 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084788950 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 40 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367580 3083065768 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 40 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076954 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 41 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076966 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 41 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367776 3086615968 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 42 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076978 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 42 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083079625 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 42 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076966 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 43 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367808 3085332755 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 43 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367776 3086616011 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 44 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076935 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 44 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083078861 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 44 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367776 3086616972 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 45 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077296 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 45 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076969 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 46 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830366 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 46 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367840 3086617594 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 46 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077114 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 47 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367808 3086614416 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 47 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084787959 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 48 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367444 3083077332 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 48 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084790126 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 48 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076975 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 49 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084785819 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 49 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083077406 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 50 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830376 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 50 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830359 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 50 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084788958 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 51 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830376 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 51 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830359 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 52 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077161 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 52 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076923 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 52 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830357 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 53 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076949 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 53 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083079099 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 54 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367576 3083077219 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 54 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077296 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 54 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830288 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 55 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367728 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 55 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084789780 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 56 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083079174 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 56 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830376 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 56 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084789809 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 57 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077167 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 57 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830275 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 58 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3085830359 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 58 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367644 3084777088 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 58 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076975 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 59 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367776 3086615970 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 59 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367776 3086616200 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 60 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367792 3085346998 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 60 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083079189 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 60 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077034 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 61 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367580 3083076864 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 61 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367764 3084785636 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 62 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367584 3084777416 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 62 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083077517 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 62 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076980 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 63 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077080 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 63 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367572 3083076868 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 64 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084789801 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 64 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083078414 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 64 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084789852 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 65 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367280 3083077354 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 65 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076990 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 66 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367728 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 66 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076966 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 66 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083077176 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 67 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076966 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 67 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367456 3084789790 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 68 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367696 3083074847 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1006 0 0 0 68 0 0 0 25 0 1 0 10041315 7491584 522 4294967295 134512640 134538271 3215368816 3215367536 3083076963 0 0 4096 0 0 0 0 17 0 0 0 0
31403 (gecode-qwh) R 31402 27426 24421 34816 27426 4202496 1011 0 0 0 68 0 0 0 25 0 1 0 10041315 7491584 527 4294967295 134512640 134538271 3215368816 3215367456 3084785847 0 0 4096 0 0 0 0 17 0 0 0 0
