30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4194304 615 0 0 0 0 0 0 0 25 0 1 0 10032533 6987776 149 4294967295 134512640 134538271 3216509632 3216508068 3086456021 0 0 4096 0 0 0 0 17 1 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 978 0 0 0 0 0 0 0 25 0 1 0 10032533 7327744 493 4294967295 134512640 134538271 3216509632 3216508352 3082847550 0 0 4096 0 0 0 0 17 1 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 984 0 0 0 0 0 0 0 25 0 1 0 10032533 7327744 499 4294967295 134512640 134538271 3216509632 3216508272 3084556350 0 0 4096 0 0 0 0 17 1 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 25 0 1 0 10032533 7327744 499 4294967295 134512640 134538271 3216509632 3216508352 3082847604 0 0 4096 0 0 0 0 17 1 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 25 0 1 0 10032533 7327744 499 4294967295 134512640 134538271 3216509632 3216508544 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 990 0 0 0 2 0 0 0 25 0 1 0 10032533 7327744 505 4294967295 134512640 134538271 3216509632 3216508592 3086386635 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 990 0 0 0 2 0 0 0 25 0 1 0 10032533 7327744 505 4294967295 134512640 134538271 3216509632 3216508352 3082847590 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 990 0 0 0 2 0 0 0 25 0 1 0 10032533 7327744 505 4294967295 134512640 134538271 3216509632 3216508352 3082847674 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 990 0 0 0 3 0 0 0 25 0 1 0 10032533 7327744 505 4294967295 134512640 134538271 3216509632 3216508096 3082849516 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 3 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508096 3082848015 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508352 3082847602 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508348 3082836967 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508272 3084556416 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 5 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508352 3082847680 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 5 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508352 3082847800 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508624 3086385040 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508400 3084547963 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508352 3082847557 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 7 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508400 3085600983 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 7 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508400 3084547979 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508592 3086386790 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508400 3085600981 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508352 3082847520 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 9 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508400 3085600981 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 9 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508544 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508400 3085601018 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508400 3085600985 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508400 3085600978 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 11 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508400 3084548012 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 11 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508400 3085600912 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508464 3086389135 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508352 3082847532 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508352 3082847834 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 13 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508352 3082847652 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1002 0 0 0 13 0 0 0 25 0 1 0 10032533 7491584 517 4294967295 134512640 134538271 3216509632 3216508352 3082847593 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508352 3082847584 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508272 3084556443 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508400 3084547999 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 15 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508400 3085600983 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 15 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508352 3082847674 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508352 3082847785 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508352 3082847652 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508272 3084556365 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 17 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508352 3082847807 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 17 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508544 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508704 3086309699 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508092 3082836967 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508352 3082847803 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 19 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508272 3084560476 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 19 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508400 3085600899 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508272 3084560476 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508272 3084560423 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508352 3082847725 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 21 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508096 3082849861 0 0 4096 0 0 0 0 17 0 0 0 0
30729 (gecode-qwh) R 30728 27426 24421 34816 27426 4202496 1004 0 0 0 21 0 0 0 25 0 1 0 10032533 7491584 519 4294967295 134512640 134538271 3216509632 3216508096 3082848717 0 0 4096 0 0 0 0 17 0 0 0 0
