6532 (sh) R 6530 6518 24421 34816 6518 4194304 266 0 0 0 0 0 0 0 20 0 1 0 11990165 3072000 159 4294967295 134512640 135191968 3219625568 3219624032 3084592235 0 0 4096 0 0 0 0 17 1 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 968 0 0 0 0 0 0 0 20 0 1 0 11990165 7331840 484 4294967295 134512640 134538271 3216903136 3216901904 3084756821 0 0 4096 0 0 0 0 17 1 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 968 0 0 0 1 0 0 0 20 0 1 0 11990165 7331840 484 4294967295 134512640 134538271 3216903136 3216901892 3083056738 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 974 0 0 0 2 0 0 0 20 0 1 0 11990165 7331840 490 4294967295 134512640 134538271 3216903136 3216901904 3084756740 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 980 0 0 0 3 0 0 0 20 0 1 0 11990165 7331840 496 4294967295 134512640 134538271 3216903136 3216902096 3086595534 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 986 0 0 0 4 0 0 0 23 0 1 0 11990165 7331840 502 4294967295 134512640 134538271 3216903136 3216901952 3084756953 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 4 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901856 3083056510 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 5 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901856 3083056416 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 6 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901856 3083056527 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 7 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901904 3084756716 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 8 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901904 3085809877 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 8 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901896 3083056385 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 9 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901904 3085809879 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 10 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901592 3084728716 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 11 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901900 3083056384 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 12 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901904 3085809879 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 12 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901856 3083056453 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 13 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901856 3083056492 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 14 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901856 3083056708 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 15 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901856 3083056443 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 16 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901600 3083058757 0 0 4096 0 0 0 0 17 0 0 0 0
6532 (gecode-qwh) R 6530 6518 24421 34816 6518 4202496 992 0 0 0 16 0 0 0 23 0 1 0 11990165 7331840 508 4294967295 134512640 134538271 3216903136 3216901904 3085809900 0 0 4096 0 0 0 0 17 0 0 0 0
