24540 (sh) R 24539 24468 24421 34816 24468 4194304 116 0 0 0 0 0 0 0 18 0 1 0 9153450 933888 31 4294967295 134512640 135191968 3213105216 3213102604 3086078084 0 0 4096 0 0 0 0 17 1 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4194304 658 0 0 0 0 0 0 0 18 0 1 0 9153450 6983680 192 4294967295 134512640 134535387 3213105232 3213103904 3086036816 0 0 4096 0 0 0 0 17 1 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 914 0 0 0 0 0 0 0 18 0 1 0 9153450 7024640 429 4294967295 134512640 134535387 3213105232 3213104208 3083810883 0 0 4096 0 0 0 0 17 1 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 914 0 0 0 1 0 0 0 22 0 1 0 9153450 7024640 429 4294967295 134512640 134535387 3213105232 3213104224 134527331 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 1 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084403338 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 2 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084402203 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 2 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084407152 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 2 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084402317 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 3 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213104208 3083810680 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 3 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103800 3083746065 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 4 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103728 3079821329 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 4 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084405557 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 4 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213104028 3082410983 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 5 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213104064 3084375039 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 5 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213104208 3083810826 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 6 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084406759 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 6 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084402405 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 6 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213104064 3084375343 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 7 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084402494 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 7 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213104016 3082421524 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 8 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213104032 3083917593 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 8 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084407264 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 8 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213104284 3084629491 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 9 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084401552 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 9 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213103808 3084406524 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 916 0 0 0 10 0 0 0 22 0 1 0 9153450 7024640 431 4294967295 134512640 134535387 3213105232 3213104016 3082421630 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 10 0 0 0 22 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104028 3082410408 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 10 0 0 0 22 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084405538 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 11 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084401981 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 11 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103984 3082421600 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 12 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104016 3082421557 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 12 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084401920 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 12 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084400381 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 13 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104144 3085963586 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 13 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103984 3082421563 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 14 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084400657 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 14 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104004 3079823108 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 14 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104080 3082419361 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 15 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104224 134527519 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 15 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104080 3082418960 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 16 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084407287 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 16 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104080 3082418934 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 16 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084402082 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 17 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104080 3082418971 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 17 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084407152 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 18 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084405557 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 18 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084402043 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 18 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104080 3082418322 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 19 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084400560 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 19 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084400579 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 20 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104224 134527489 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 20 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104208 3083810622 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 20 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104208 3083810680 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 21 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103632 3082411952 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 21 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084407510 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 22 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084402130 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 22 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213103808 3084401130 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 22 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104208 3083810837 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 917 0 0 0 23 0 0 0 23 0 1 0 9153450 7024640 432 4294967295 134512640 134535387 3213105232 3213104208 3083810764 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 23 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103676 3079829077 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 24 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406951 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 24 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104224 134527321 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 24 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810851 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 25 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174979 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 25 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407510 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 26 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104376 3085958833 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 26 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406537 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 26 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402289 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 27 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401923 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 27 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463699 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 28 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401104 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 28 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103724 3079819714 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 28 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402494 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 29 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103984 3082421627 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 29 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103796 3082416708 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 30 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403353 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 30 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421813 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 30 0 0 0 23 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411901 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 31 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401902 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 31 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402405 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 32 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960680 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 32 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084404587 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 32 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104072 3083746086 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 33 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375315 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 33 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104188 3079829100 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 34 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421780 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 34 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403498 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 34 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810853 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 35 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084404540 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 35 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084404300 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 36 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406551 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 36 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810680 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 36 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104304 3085959064 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 37 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463867 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 37 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406759 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 38 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810746 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 38 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399976 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 38 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3082421236 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 39 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103984 3082421536 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 39 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406458 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 40 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400149 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 40 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400387 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 40 0 0 0 24 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174935 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 41 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810434 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 41 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407287 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 42 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960817 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 42 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104004 3079822424 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 42 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403131 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 43 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402024 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 43 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399973 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 44 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104004 3079822356 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 44 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104296 3083811041 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 44 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401960 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 45 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406794 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 45 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406551 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 46 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400785 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 46 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402543 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 46 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401397 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 47 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884248 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 47 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463949 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 48 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403954 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 48 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104068 3079821933 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 48 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418995 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 49 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104224 134527480 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 49 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400679 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 50 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407077 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 50 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400567 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 50 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103560 3079451282 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 51 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103984 3082421586 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 51 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810680 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 52 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405570 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 52 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402026 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 52 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406481 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 53 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405573 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 53 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407101 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 54 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375328 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 54 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406470 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 54 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407007 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 55 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084404058 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 55 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104032 3083917628 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 56 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402055 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 56 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104204 3082410983 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 56 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960654 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 57 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401560 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 57 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104192 3082419777 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 58 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405784 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 58 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104300 3082420704 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 58 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810833 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 59 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401813 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 59 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103708 3079828928 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 60 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405544 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 60 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084464019 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 60 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810788 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 61 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463648 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 61 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103984 3082421524 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 62 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401272 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 62 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463873 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 62 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103380 3079821899 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 63 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400293 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 63 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406479 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 64 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400293 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 64 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960601 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 64 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104192 3082420232 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 65 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884075 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 65 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463736 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 66 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411872 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 66 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401166 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 66 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104224 134527519 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 67 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400031 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 67 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174985 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 68 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403871 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 68 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104144 3085963988 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 68 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104240 3079818932 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 69 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375299 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 69 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103984 3082421620 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 70 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407381 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 70 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405584 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 70 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402303 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 71 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401773 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 71 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103984 3082421603 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 72 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406439 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 72 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403880 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 72 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401515 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 73 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104032 3083917605 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 73 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407007 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 74 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402115 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 74 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405570 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 74 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401154 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 75 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104144 3085963713 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 75 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104056 3082421505 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 76 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463819 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 76 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884020 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 76 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104320 3085960282 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 77 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104032 3083917648 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 77 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406955 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 78 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405544 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 78 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407137 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 78 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103564 3079829039 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 79 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407483 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 79 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103676 3079828934 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 80 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400647 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 80 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104144 3085963713 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 80 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375032 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 81 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104032 3083917633 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 81 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405531 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 82 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403893 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 82 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403240 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 82 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403893 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 83 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400641 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 83 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103568 3079819707 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 84 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401981 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 84 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407131 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 84 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400265 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 85 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103492 3079821914 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 85 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400387 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 86 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103564 3079829094 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 86 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407190 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 86 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084374949 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 87 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810572 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 87 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407510 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 88 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406537 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 88 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400265 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 88 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407381 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 89 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403320 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 89 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406560 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 90 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400635 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 90 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810837 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 90 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084404511 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 91 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402005 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 91 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960617 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 92 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104304 3085958857 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 92 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104304 3085958857 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 92 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960792 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 93 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103600 3082411363 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 93 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411719 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 94 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810858 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 94 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104240 3079818911 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 94 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104032 3083917543 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 95 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407184 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 95 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810851 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 96 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104144 3085963560 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 96 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401941 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 96 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174884 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 97 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104304 3085959056 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 97 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403880 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 98 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418197 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 98 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403359 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 98 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401008 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 99 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402292 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 99 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411928 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 100 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375107 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 100 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421647 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 100 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403880 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 101 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401784 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 101 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401739 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 102 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375351 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 102 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418361 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 102 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810626 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 103 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400591 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 103 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082412102 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 104 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402154 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 104 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400401 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 104 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406537 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 105 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421606 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 105 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402336 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 106 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405531 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 106 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103564 3079828994 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 106 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104004 3079821914 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 107 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401502 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 107 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403874 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 108 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418299 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 108 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375354 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 108 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400265 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 109 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401123 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 109 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411913 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 110 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104224 134527424 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 110 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375103 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 110 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407325 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 111 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960610 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 111 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104348 3085960032 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 112 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401083 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 112 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407019 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 112 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403874 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 113 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401739 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 113 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810607 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 114 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399889 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 114 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405557 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 114 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406410 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 115 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400387 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 115 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418358 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 116 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407483 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 116 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400284 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 116 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174999 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 117 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406759 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 117 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3082420811 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 118 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403907 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 118 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405487 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 118 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402306 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 119 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400647 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 119 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406486 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 120 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104032 3083917543 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 120 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411788 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 120 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418968 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 121 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402082 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 121 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399973 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 122 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084404546 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 122 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401272 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 122 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399973 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 123 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174969 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 123 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104144 3085963268 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 124 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400027 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 124 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085961564 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 124 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402405 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 125 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174925 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 125 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400591 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 126 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402669 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 126 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3082420900 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 126 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104304 3085958957 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 127 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401099 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 127 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400444 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 128 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405487 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 128 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400635 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 128 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401555 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 129 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407169 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 129 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3082420950 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 130 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104144 3085963575 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 130 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399983 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 130 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406464 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 131 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421840 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 131 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085885071 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 132 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104204 3082418160 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 132 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402154 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 132 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401160 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 133 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103380 3079821955 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 133 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402112 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 134 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375103 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 134 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104200 3083746065 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 134 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399973 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 135 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400044 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 135 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104224 134527437 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 136 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104204 3082418160 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 136 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406433 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 136 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405547 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 137 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103984 3082421612 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 137 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403886 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 138 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400146 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 138 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103380 3079821940 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 138 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406458 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 139 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103616 3079818905 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 139 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401397 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 140 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402034 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 140 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402164 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 140 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103984 3082421557 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 141 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403243 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 141 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103788 3082410992 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 142 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400024 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 142 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810816 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 142 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402150 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 143 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104304 3085959281 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 143 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810807 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 144 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411856 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 144 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400766 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 144 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375307 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 145 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960668 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 145 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174994 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 146 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406560 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 146 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810619 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 146 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402154 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 147 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405544 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 147 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418928 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 148 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884170 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 148 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411813 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 148 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401981 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 149 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960835 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 149 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407061 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 150 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810746 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 150 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401845 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 150 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406817 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 151 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401102 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 151 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810533 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 152 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810603 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 152 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960792 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 152 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3082420779 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 153 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463682 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 153 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406530 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 154 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401815 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 154 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810778 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 154 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401648 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 155 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103560 3079821856 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 155 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104032 3083917642 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 156 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401278 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 156 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104380 134528096 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 156 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810826 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 157 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418353 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 157 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400378 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 158 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463819 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 158 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401099 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 158 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403886 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 159 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810853 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 159 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884820 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 160 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401283 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 160 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407358 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 160 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174988 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 161 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085883732 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 161 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401289 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 162 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810830 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 162 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403874 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 162 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103600 3082411363 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 163 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375023 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 163 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402037 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 164 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103564 3079829011 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 164 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104240 3079819723 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 164 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375388 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 165 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405784 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 165 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401172 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 166 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400136 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 166 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400254 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 166 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403031 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 167 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463882 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 167 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103800 3084369587 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 168 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375089 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 168 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103712 3082412703 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 168 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403871 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 169 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104304 3085958922 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 169 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085961412 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 170 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463882 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 170 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407119 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 170 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411719 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 171 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400265 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 171 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103712 3082412719 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 172 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406759 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 172 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375120 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 172 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400387 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 173 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402359 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 173 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400573 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 174 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406486 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 174 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405557 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 174 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104380 3085873840 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 175 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104192 3082420367 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 175 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104204 3082418160 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 176 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405547 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 176 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104004 3079822410 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 176 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810883 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 177 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463679 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 177 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406479 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 178 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960792 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 178 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104376 3085961793 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 178 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104004 3079822015 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 179 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399843 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 179 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406537 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 180 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463867 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 180 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960840 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 180 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411952 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 181 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402136 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 181 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103712 3082412680 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 182 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405557 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 182 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810740 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 182 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421652 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 183 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960651 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 183 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406422 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 184 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085883931 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 184 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810851 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 184 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884040 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 185 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400139 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 185 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400686 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 186 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3082420906 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 186 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104072 3083746084 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 186 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405590 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 187 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104332 3085958247 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 187 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399980 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 188 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375325 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 188 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103568 3079819707 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 188 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810740 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 189 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401104 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 189 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399973 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 190 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401496 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 190 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103760 3084386652 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 190 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418343 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 191 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418950 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 191 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402121 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 192 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401272 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 192 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104032 3083917543 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 192 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104300 3082421242 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 193 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104144 3085963861 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 193 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399976 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 194 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407510 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 194 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810626 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 194 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407077 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 195 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411878 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 195 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884326 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 196 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810524 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 196 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810778 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 196 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375129 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 197 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810518 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 197 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401278 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 198 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401546 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 198 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104224 134527519 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 198 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960806 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 199 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402115 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 199 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403877 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 200 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810607 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 200 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401172 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 200 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421630 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 201 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174928 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 201 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104192 3082419585 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 202 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407113 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 202 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810833 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 202 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884147 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 203 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104224 134527447 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 203 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400395 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 204 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884248 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 204 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403345 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 204 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403893 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 205 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411928 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 205 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103728 3079821226 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 206 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400378 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 206 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375311 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 206 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401821 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 207 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810524 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 207 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375347 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 208 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401278 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 208 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402138 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 208 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103760 3082411029 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 209 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810785 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 209 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406792 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 210 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400254 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 210 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407275 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 210 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405544 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 211 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401932 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 211 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406419 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 212 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103712 3082412703 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 212 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810736 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 212 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400047 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 213 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085883856 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 213 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402414 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 214 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399963 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 214 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406955 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 214 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104288 3084691749 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 215 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401941 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 215 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104304 3085958857 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 216 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406458 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 216 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406410 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 216 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421524 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 217 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103712 3082412703 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 217 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104188 3079829020 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 218 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084464027 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 218 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104004 3079822410 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 218 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084403045 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 219 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401773 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 219 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375039 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 220 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402526 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 220 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400243 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 220 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402414 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 221 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810446 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 221 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402138 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 222 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884935 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 222 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104372 3085961983 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 222 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402082 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 223 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407506 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 223 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375196 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 224 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418319 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 224 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402046 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 224 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401923 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 225 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400136 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 225 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103760 3084386615 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 226 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402464 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 226 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104204 3085963105 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 226 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104144 3085963602 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 227 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400040 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 227 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402462 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 228 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405557 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 228 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401091 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 228 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400387 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 229 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405544 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 229 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402082 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 230 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104304 3084464030 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 230 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399983 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 230 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174969 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 231 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407131 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 231 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104224 134527447 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 232 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104352 3079821329 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 232 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085883836 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 232 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401815 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 233 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421554 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 233 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411859 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 234 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104336 3085960286 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 234 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104032 3083917596 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 234 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402112 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 235 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402660 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 235 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405538 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 236 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401739 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 236 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401489 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 236 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402390 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 237 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421936 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 237 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810622 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 238 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406948 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 238 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104192 3082420216 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 238 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104192 3082420219 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 239 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103600 3082411415 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 239 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411713 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 240 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084405811 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 240 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402354 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 240 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810603 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 241 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103792 3082416718 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 241 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400401 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 242 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400644 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 242 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084464015 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 242 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402154 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 243 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400573 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 243 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375009 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 244 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884540 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 244 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104144 3085963627 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 244 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103712 3082412719 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 245 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400421 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 245 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084463879 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 246 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401278 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 246 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402281 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 246 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401154 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 247 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401920 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 247 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401555 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 248 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406530 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 248 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407247 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 248 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407349 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 249 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104032 3083917568 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 249 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400657 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 250 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407169 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 250 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402405 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 250 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407101 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 251 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400073 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 251 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400390 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 252 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104300 3084629472 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 252 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406524 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 252 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084404389 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 253 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103492 3079821914 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 253 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103568 3079819720 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 254 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104304 3084677440 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 254 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400265 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 254 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406458 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 255 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402055 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 255 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3083810613 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 256 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407300 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 256 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103680 3079821220 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 256 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407483 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 257 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401518 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 257 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406439 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 258 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104204 3082418160 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 258 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406419 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 258 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104052 3082421508 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 259 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104060 3082410408 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 259 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104064 3084375296 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 260 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103564 3079828994 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 260 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401865 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 260 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406439 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 260 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400139 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 261 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407178 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 261 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406762 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 262 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104284 3084629491 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 262 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407506 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 262 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103792 3082416716 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 263 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406543 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 263 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401565 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 264 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104052 3082421508 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 264 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407027 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 264 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402014 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 265 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402396 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 265 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402141 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 266 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082412102 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 266 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407349 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 266 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174999 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 267 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3082420930 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 267 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401154 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 268 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104240 3079819039 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 268 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401104 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 268 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402405 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 269 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960858 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 269 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402672 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 270 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401885 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 270 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104076 3083746064 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 270 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400393 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 271 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400647 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 271 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400146 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 272 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103728 3079821285 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 272 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103492 3079821914 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 272 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104084 3082418433 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 273 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082418790 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 273 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411816 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 274 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103756 3079821200 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 274 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084407516 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 274 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406473 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 275 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401914 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 275 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104016 3082421630 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 276 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402278 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 276 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084399978 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 276 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082412004 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 277 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400387 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 277 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085175001 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 278 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104384 3085884416 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 278 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084400567 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 278 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104336 3079818853 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 279 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401767 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 279 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3082419106 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 280 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402082 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 280 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104080 3085174985 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 280 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104272 3085960800 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 281 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104208 3082420829 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 281 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401777 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 282 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103632 3082411979 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 282 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084406084 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 282 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084401142 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 283 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104224 134527480 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 283 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103808 3084402345 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 284 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103712 3082412764 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 284 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104200 3083746081 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 284 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213103712 3082412781 0 0 4096 0 0 0 0 17 0 0 0 0
24540 (gecode-mseq) R 24539 24468 24421 34816 24468 4202496 918 0 0 0 285 0 0 0 25 0 1 0 9153450 7024640 433 4294967295 134512640 134535387 3213105232 3213104192 3082420237 0 0 4096 0 0 0 0 17 0 0 0 0
