5416 (sh) R 5414 5193 3367 34816 5193 4194304 385 0 0 0 0 0 0 0 21 0 1 0 1316902 3637248 274 4294967295 134512640 135191968 3216126816 3216125368 3085448999 0 0 4100 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 912 0 0 0 0 0 0 0 21 0 1 0 1316902 7028736 428 4294967295 134512640 134535391 3221057584 3221056160 3085257640 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 1 0 0 0 21 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056160 3085256357 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 1 0 0 0 21 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056432 3083275173 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 2 0 0 0 21 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056336 3083277887 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 2 0 0 0 21 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056384 3084773451 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 2 0 0 0 21 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056736 3086740821 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 3 0 0 0 21 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056568 3080684993 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 3 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056160 3085258487 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 4 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056636 3085319699 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 4 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056160 3085256454 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 4 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056656 3086814986 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 5 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056432 3083274443 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 5 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056688 3086818284 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 6 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056160 3085261848 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 6 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221055984 3083267777 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 6 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056160 3085260117 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 7 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056572 3080307346 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202496 913 0 0 0 7 0 0 0 23 0 1 0 1316902 7028736 429 4294967295 134512640 134535391 3221057584 3221056032 3080677428 0 0 4096 0 0 0 0 17 0 0 0 0
5416 (gecode-mseq) R 5414 5193 3367 34816 5193 4202500 941 0 0 0 7 0 0 0 23 0 1 0 1316902 0 0 4294967295 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 0
 0 0 0 0
