6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4194304 587 0 0 0 0 0 0 0 18 0 1 0 11990261 6987776 122 4294967295 134512640 134538271 3218031856 3218030168 3086848885 0 0 4096 0 0 0 0 17 1 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 967 0 0 0 0 0 0 0 18 0 1 0 11990261 7327744 483 4294967295 134512640 134538271 3218031856 3218030496 3084953630 0 0 4096 0 0 0 0 17 1 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 967 0 0 0 1 0 0 0 22 0 1 0 11990261 7327744 483 4294967295 134512640 134538271 3218031856 3218030496 3084951815 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 973 0 0 0 2 0 0 0 22 0 1 0 11990261 7327744 489 4294967295 134512640 134538271 3218031856 3218030608 3083241057 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 985 0 0 0 3 0 0 0 22 0 1 0 11990261 7327744 501 4294967295 134512640 134538271 3218031856 3218030548 3080642310 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 985 0 0 0 4 0 0 0 22 0 1 0 11990261 7327744 501 4294967295 134512640 134538271 3218031856 3218030576 3083240777 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 4 0 0 0 22 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030816 3086779851 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 5 0 0 0 22 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030320 3083243029 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 6 0 0 0 22 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030624 3085994199 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 7 0 0 0 22 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030816 3086780817 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 8 0 0 0 22 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030816 3086780000 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 8 0 0 0 22 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030624 3084941013 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 9 0 0 0 22 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030768 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 10 0 0 0 22 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030576 3083240841 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 11 0 0 0 23 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030928 3086703176 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 12 0 0 0 23 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030496 3084949892 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 12 0 0 0 23 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030816 3086779795 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 13 0 0 0 23 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030624 3085994199 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 14 0 0 0 23 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030768 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 15 0 0 0 23 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030320 3083242128 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 16 0 0 0 23 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030576 3083240861 0 0 4096 0 0 0 0 17 0 0 0 0
6551 (gecode-qwh) R 6550 6518 24421 34816 6518 4202496 991 0 0 0 16 0 0 0 23 0 1 0 11990261 7327744 507 4294967295 134512640 134538271 3218031856 3218030828 3085448736 0 0 4096 0 0 0 0 17 0 0 0 0
