6542 (sh) R 6540 6518 24421 34816 6518 4194304 84 0 0 0 0 0 0 0 21 0 1 0 11990212 0 0 4294967295 0 0 0 3215413768 3086660624 0 0 4096 0 0 0 0 17 1 0 0 0
 0 17 1 0 0 0
 0 0 17 1 0 0 0


6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 969 0 0 0 1 0 0 0 21 0 1 0 11990212 7331840 484 4294967295 134512640 134538271 3213703376 3213701840 3082411648 0 0 4096 0 0 0 0 17 1 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 969 0 0 0 2 0 0 0 21 0 1 0 11990212 7331840 484 4294967295 134512640 134538271 3213703376 3213702144 3084109744 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 975 0 0 0 2 0 0 0 21 0 1 0 11990212 7331840 490 4294967295 134512640 134538271 3213703376 3213702144 3085162637 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 981 0 0 0 3 0 0 0 21 0 1 0 11990212 7331840 496 4294967295 134512640 134538271 3213703376 3213702016 3084120317 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 987 0 0 0 4 0 0 0 21 0 1 0 11990212 7331840 502 4294967295 134512640 134538271 3213703376 3213702004 3082409684 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 5 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702144 3085162737 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 6 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702096 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 6 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702008 3082410392 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 7 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702448 3085872876 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 8 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702096 3082409380 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 9 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702144 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 10 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702096 3082409309 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 10 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702016 3084121290 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 11 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702092 3082398695 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 12 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702016 3084122204 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 13 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213701840 3082411520 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 14 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702144 3085162713 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 14 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702144 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 15 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702096 3082409347 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 16 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213701840 3082411232 0 0 4096 0 0 0 0 17 0 0 0 0
6542 (gecode-qwh) R 6540 6518 24421 34816 6518 4202496 993 0 0 0 17 0 0 0 23 0 1 0 11990212 7331840 508 4294967295 134512640 134538271 3213703376 3213702288 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
