6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4194304 488 0 0 0 0 0 0 0 21 0 1 0 11990283 249856 27 4294967295 134512640 134538271 3213531312 3213528696 3086778500 0 0 4096 0 0 0 0 17 1 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 968 0 0 0 1 0 0 0 21 0 1 0 11990283 7331840 484 4294967295 134512640 134538271 3213531312 3213530080 3085875189 0 0 4096 0 0 0 0 17 1 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 968 0 0 0 2 0 0 0 21 0 1 0 11990283 7331840 484 4294967295 134512640 134538271 3213531312 3213530272 3086661216 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 974 0 0 0 2 0 0 0 21 0 1 0 11990283 7331840 490 4294967295 134512640 134538271 3213531312 3213530080 3085875422 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 986 0 0 0 3 0 0 0 21 0 1 0 11990283 7331840 502 4294967295 134512640 134538271 3213531312 3213530032 3083122028 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 986 0 0 0 4 0 0 0 21 0 1 0 11990283 7331840 502 4294967295 134512640 134538271 3213531312 3213529776 3083122404 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 5 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530272 3086661059 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 6 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530224 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 6 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530032 3083121952 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 7 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530224 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 8 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530272 3086661059 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 9 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530032 3083121993 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 10 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530032 3083122217 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 10 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213529952 3084834887 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 11 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530224 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 12 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530032 3083122043 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 13 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213529776 3083122441 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 14 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530080 3085875415 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 14 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530080 3084822340 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 15 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530080 3085875415 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 16 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530032 3083122173 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 992 0 0 0 17 0 0 0 23 0 1 0 11990283 7331840 508 4294967295 134512640 134538271 3213531312 3213530080 3084822198 0 0 4096 0 0 0 0 17 0 0 0 0
6555 (gecode-qwh) R 6554 6518 24421 34816 6518 4202496 1006 0 0 0 18 0 0 0 23 0 1 0 11990283 7335936 522 4294967295 134512640 134538271 3213531312 3213530312 3086689296 0 0 4096 0 0 0 0 17 0 0 0 0
