30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4194304 499 0 0 0 0 0 0 0 22 0 1 0 10032506 425984 38 4294967295 134512640 134538271 3214475664 3214472984 3086278265 0 0 4096 0 0 0 0 17 1 0 0 0

30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 899 0 0 0 0 0 0 0 22 0 1 0 10032506 7032832 415 4294967295 134512640 134538271 3214475664 3214474324 3080073498 0 0 4096 0 0 0 0 17 1 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 983 0 0 0 0 0 0 0 22 0 1 0 10032506 7331840 499 4294967295 134512640 134538271 3214475664 3214474304 3084384318 0 0 4096 0 0 0 0 17 1 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 983 0 0 0 1 0 0 0 25 0 1 0 10032506 7331840 499 4294967295 134512640 134538271 3214475664 3214474432 3085424853 0 0 4096 0 0 0 0 17 1 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 983 0 0 0 1 0 0 0 25 0 1 0 10032506 7331840 499 4294967295 134512640 134538271 3214475664 3214474432 3084371841 0 0 4096 0 0 0 0 17 1 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 25 0 1 0 10032506 7331840 505 4294967295 134512640 134538271 3214475664 3214474432 3085424855 0 0 4096 0 0 0 0 17 1 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 25 0 1 0 10032506 7331840 505 4294967295 134512640 134538271 3214475664 3214474128 3082672811 0 0 4096 0 0 0 0 17 1 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 25 0 1 0 10032506 7331840 505 4294967295 134512640 134538271 3214475664 3214474432 3085424887 0 0 4096 0 0 0 0 17 1 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 25 0 1 0 10032506 7331840 505 4294967295 134512640 134538271 3214475664 3214474624 3086211471 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 3 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474552 3084343670 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474432 3085424887 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474432 3084371878 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474576 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474384 3082671433 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474384 3082671483 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474432 3085424853 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474608 3084380133 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474384 3082671462 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474432 3085424844 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474576 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474432 3084371915 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474432 3085424862 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474416 3082671365 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474128 3082673447 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474128 3082671878 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474624 3086211414 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474384 3082671669 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474624 3086210451 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474384 3082671494 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474432 3084371610 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474384 3082671392 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474496 3086213436 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474304 3084384283 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10032506 7495680 517 4294967295 134512640 134538271 3214475664 3214474120 3084343689 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 13 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474384 3082671650 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 14 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474384 3082671413 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 14 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474432 3084371869 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 14 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474432 3084371787 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 15 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474304 3084380285 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 15 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474576 134529136 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474384 3082671494 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474624 3086210656 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474384 3082671431 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 17 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474736 3086134264 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 17 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474384 3082671380 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474384 3082671524 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474304 3084382490 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474384 3082671488 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 19 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474432 3084371871 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 19 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474380 3082660839 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474432 3084371860 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474624 3086210448 0 0 4096 0 0 0 0 17 0 0 0 0
30725 (gecode-qwh) R 30724 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 25 0 1 0 10032506 7495680 519 4294967295 134512640 134538271 3214475664 3214474540 3080078819 0 0 4096 0 0 0 0 17 0 0 0 0
