30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4194304 541 0 0 0 0 0 0 0 22 0 1 0 10032424 6881280 78 4294967295 134512640 134538271 3220385584 3220382720 3086438532 0 0 4096 0 0 0 0 17 1 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 952 0 0 0 0 0 0 0 22 0 1 0 10032424 7163904 469 4294967295 134512640 134538271 3220385584 3220384352 3085535411 0 0 4096 0 0 0 0 17 1 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 982 0 0 0 0 0 0 0 22 0 1 0 10032424 7327744 499 4294967295 134512640 134538271 3220385584 3220384224 3084494887 0 0 4096 0 0 0 0 17 1 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 982 0 0 0 1 0 0 0 25 0 1 0 10032424 7327744 499 4294967295 134512640 134538271 3220385584 3220384352 3084482392 0 0 4096 0 0 0 0 17 1 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 982 0 0 0 1 0 0 0 25 0 1 0 10032424 7327744 499 4294967295 134512640 134538271 3220385584 3220384224 3084491033 0 0 4096 0 0 0 0 17 1 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 988 0 0 0 2 0 0 0 25 0 1 0 10032424 7327744 505 4294967295 134512640 134538271 3220385584 3220384560 3085052182 0 0 4096 0 0 0 0 17 1 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 988 0 0 0 2 0 0 0 25 0 1 0 10032424 7327744 505 4294967295 134512640 134538271 3220385584 3220384224 3084494940 0 0 4096 0 0 0 0 17 1 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 988 0 0 0 2 0 0 0 25 0 1 0 10032424 7327744 505 4294967295 134512640 134538271 3220385584 3220384304 3082782138 0 0 4096 0 0 0 0 17 1 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 988 0 0 0 3 0 0 0 25 0 1 0 10032424 7327744 505 4294967295 134512640 134538271 3220385584 3220384496 134529275 0 0 4096 0 0 0 0 17 1 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 3 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384304 3082781972 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384544 3086321099 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384224 3084494887 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384304 3082782057 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384048 3082783139 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384336 3082781957 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384352 3085535442 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384544 3086321058 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384304 3082782057 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384304 3082782048 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384352 3085535411 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384304 3082782034 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384304 3082782127 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384224 3084494038 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384352 3084482463 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384496 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384304 3082782276 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384480 3082781172 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384544 3086321288 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384224 3084494042 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384352 3084482443 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384496 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384048 3082783057 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384304 3082782267 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384048 3082783336 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 25 0 1 0 10032424 7491584 517 4294967295 134512640 134538271 3220385584 3220384224 3084495245 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 14 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384544 3084495292 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 14 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384304 3082782189 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 14 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384304 3082782249 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 15 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384048 3082784034 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 15 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384224 3084494868 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384224 3084494936 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384048 3082783062 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384496 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 17 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384304 3082782063 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 17 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384304 3082782075 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384496 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384048 3082783122 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384348 3082770856 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 19 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384352 3085535457 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 19 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384352 3085535468 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384304 3082782086 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384352 3084482379 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384496 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1002 0 0 0 21 0 0 0 25 0 1 0 10032424 7491584 519 4294967295 134512640 134538271 3220385584 3220384224 3084490918 0 0 4096 0 0 0 0 17 0 0 0 0
30713 (gecode-qwh) R 30712 27426 24421 34816 27426 4202496 1016 0 0 0 21 0 0 0 25 0 1 0 10032424 7495680 533 4294967295 134512640 134538271 3220385584 3220384584 3086349328 0 0 4096 0 0 0 0 17 0 0 0 0
