24522 (sh) R 24520 24468 24421 34816 24468 4194304 403 0 0 0 0 0 0 0 20 0 1 0 9152279 3637248 293 4294967295 134512640 135191968 3221106656 3221105208 3084662567 0 0 4100 0 0 0 0 17 1 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 912 0 0 0 1 0 0 0 20 0 1 0 9152279 7028736 429 4294967295 134512640 134535387 3221188624 3221187200 3085047491 0 0 4096 0 0 0 0 17 1 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 912 0 0 0 1 0 0 0 20 0 1 0 9152279 7028736 429 4294967295 134512640 134535387 3221188624 3221187472 3083062492 0 0 4096 0 0 0 0 17 1 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 20 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187472 3083062037 0 0 4096 0 0 0 0 17 1 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 2 0 0 0 20 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187676 3085107025 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 3 0 0 0 20 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187664 3086603715 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 3 0 0 0 20 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187024 3083055057 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187200 3085044202 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187200 3085050445 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 4 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187616 134527489 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 5 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187200 3085045952 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 5 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187712 3086603275 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187616 134527427 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187200 3085045053 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 6 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187472 3083061458 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 7 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187200 3085043035 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 7 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187772 3086601904 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187472 3083061456 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187200 3085043323 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 8 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187772 3086603584 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 9 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187200 3085047796 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 9 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187600 3084453749 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 10 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187200 3085050197 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 914 0 0 0 10 0 0 0 23 0 1 0 9152279 7028736 431 4294967295 134512640 134535387 3221188624 3221187696 3085320397 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 10 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085049602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 11 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187600 3084453554 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 11 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085043649 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085043729 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187408 3083064716 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 12 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187600 3084453918 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 13 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187376 3083064915 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 13 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187676 3085106880 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085043719 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085047035 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 14 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187600 3084453925 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 15 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187104 3083055797 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 15 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221186772 3080464971 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187680 3083063781 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187456 3085018368 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 16 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085045216 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 17 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187536 3086606516 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 17 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085043735 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187688 3083063777 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085047429 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 18 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187456 3085018423 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 19 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187680 3085334748 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 19 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187408 3083064596 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187616 134527508 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085049472 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 20 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085044590 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 21 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085045615 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 21 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187024 3083055123 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085048619 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187004 3080094351 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 22 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085043676 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 915 0 0 0 23 0 0 0 23 0 1 0 9152279 7028736 432 4294967295 134512640 134535387 3221188624 3221187200 3085044992 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 23 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085017929 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106643 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045536 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 24 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086604473 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 25 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086527182 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 25 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018421 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187424 3084560608 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043373 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 26 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187104 3080461925 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 27 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187132 3083055723 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 27 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045386 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453955 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043326 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 28 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453943 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 29 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046965 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 29 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045216 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045439 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018173 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044350 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 30 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083055128 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 31 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187616 134527521 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 31 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048938 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044600 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453912 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 32 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085818071 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 33 0 0 0 23 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043440 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 33 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045534 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061456 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453581 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 34 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048885 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 35 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453749 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 35 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045405 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086602048 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083055012 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 36 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050319 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 37 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044839 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 37 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044232 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043742 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187536 3086606821 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 38 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086528771 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 39 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046280 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 39 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083055192 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086528768 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046965 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 40 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049511 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 41 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064635 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 41 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018175 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085817796 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050091 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 42 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018419 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 43 0 0 0 24 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045226 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 43 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045154 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061884 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083062043 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 44 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043201 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 45 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018397 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 45 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453583 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453596 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045213 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 46 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187152 3083054098 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 47 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045361 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 47 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043218 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050588 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187632 3080462090 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 48 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050099 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 49 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044685 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 49 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044624 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046578 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603731 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 50 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085817984 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 51 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050085 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 51 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049505 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086602350 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049542 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 52 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603904 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 53 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049555 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 53 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086602139 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603673 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043211 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 54 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043045 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 55 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044992 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 55 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083062415 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050453 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045378 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 56 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187724 3086601322 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 57 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050209 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 57 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453905 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018328 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061383 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 58 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085047437 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 59 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106887 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 59 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221186956 3080472111 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187068 3080472111 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045210 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 60 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083063904 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 61 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106757 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 61 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187536 3086606728 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187008 3080461983 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 62 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187008 3080462738 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 63 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050143 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 63 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083054880 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083062146 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 64 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050173 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 65 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018371 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 65 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603712 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044226 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044344 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 66 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044963 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 67 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083054905 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 67 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045639 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085818069 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187536 3086606719 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 68 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018012 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 69 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187196 3085029664 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 69 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049623 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187720 3086601319 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045389 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 70 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083062035 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 71 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086528701 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 71 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603930 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453615 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049528 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 72 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061454 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 73 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106836 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 73 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187728 3086605300 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045572 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043742 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 74 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046203 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 75 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018400 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 75 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187180 3083054064 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187584 3083063229 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187744 134528155 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 76 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086527197 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 77 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044974 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 77 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044906 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044171 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045193 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 78 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064699 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 79 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187008 3080461971 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 79 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018387 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086602353 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045459 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 80 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048853 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 81 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221186960 3080462779 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 81 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046979 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043459 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603740 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 82 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045199 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 83 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064647 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 83 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044808 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085817850 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045040 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 84 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045096 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 85 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043719 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 85 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061454 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043742 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187152 3083054109 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 86 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187396 3080465443 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 87 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043323 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 87 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050319 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043119 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045032 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 88 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453822 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 89 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050143 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 89 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187616 134527480 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050091 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086526959 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 90 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046965 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 91 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603883 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 91 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050108 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043511 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045704 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 92 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603723 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 93 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187424 3084560656 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 93 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085042961 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083063820 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 94 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049491 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 95 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086604687 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 95 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046979 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083064478 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043109 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 96 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044917 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 97 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048616 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 97 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086528336 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221186988 3083052840 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083055024 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 98 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187008 3080462758 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 99 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187536 3086606674 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 99 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187536 3086606775 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043722 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050017 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 100 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048629 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 101 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187120 3080464348 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 101 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086527524 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043352 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603746 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 102 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043343 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 103 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044174 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 103 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083063875 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187680 3085334666 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043649 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 104 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064710 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 105 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045471 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 105 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064922 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043742 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 106 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064591 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 107 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046431 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 107 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453918 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043776 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045049 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 108 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083055003 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 109 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048642 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 109 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050299 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187680 3083063747 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061264 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 110 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 111 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187768 3086601905 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 111 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085047449 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043356 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044254 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 112 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050091 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 113 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603726 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 113 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046398 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048885 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045704 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 114 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187152 3083054128 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 115 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045420 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 115 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046336 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187712 3086603272 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050403 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 116 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046946 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 117 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043716 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 117 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453679 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018403 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050582 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 118 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049530 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 119 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046203 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 119 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044171 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044469 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044491 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 120 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043453 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 121 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187536 3086607021 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 121 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043326 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061371 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050027 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 122 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045727 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 123 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044893 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 123 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064891 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187104 3083055839 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 124 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086527861 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 125 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061572 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 125 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050372 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048622 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044887 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 126 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453554 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 127 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085047044 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 127 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187068 3080472141 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083062000 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018387 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 128 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086604618 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 129 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045534 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 129 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050336 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187712 3086603285 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187396 3080465425 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 130 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187180 3083054064 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 131 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086527442 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 131 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187396 3080466175 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064832 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083054871 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 132 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061489 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 133 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043084 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 133 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050378 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045408 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187724 3085320368 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 134 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043735 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 135 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187396 3080466032 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 135 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187712 3086603145 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085047793 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 136 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085818041 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 137 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187596 3083053080 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 137 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018440 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049488 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083062045 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 138 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187728 3080464404 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 139 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187772 3085281760 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 139 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045210 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085818115 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453675 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 140 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018348 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 141 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064684 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 141 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187104 3083055755 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045510 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045059 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 142 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453888 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 143 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044600 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 143 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043467 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043410 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043651 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 144 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045213 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 145 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044244 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 145 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050582 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043365 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044208 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 146 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043742 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 147 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043788 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 147 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187616 134527480 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048856 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043651 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 148 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187396 3080465087 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 149 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453535 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 149 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064699 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085047661 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045230 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 150 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064713 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 151 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106887 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 151 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085047618 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043332 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046159 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 152 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049427 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 153 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086601923 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 153 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043221 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046952 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044632 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 154 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043211 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 155 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043719 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 155 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187396 3080465339 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086528616 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187616 134527517 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 156 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043114 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 157 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064690 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 157 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187008 3080462744 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044080 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 158 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187576 3084389153 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 159 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187584 3083062662 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 159 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064678 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043045 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045226 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 160 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044715 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 161 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045133 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 161 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044637 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083062167 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043493 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 162 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045062 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 163 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187120 3080464404 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 163 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187016 3083054537 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085107093 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187720 3086601319 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 164 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043713 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 165 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045070 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 165 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044986 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086601997 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083055057 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 166 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046103 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 167 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085818000 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 167 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049609 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018175 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085818015 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 168 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045059 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 169 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050397 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 169 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049558 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086601994 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603712 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 170 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046444 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 171 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086526793 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 171 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085818057 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050319 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085107073 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 172 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044963 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 173 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3085320414 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 173 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050456 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085817796 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086601994 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 174 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043323 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 175 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045342 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 175 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048883 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043231 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083054973 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 176 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044974 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 177 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043651 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 177 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018460 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187592 3085012684 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044648 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 178 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043365 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 179 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106893 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 179 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043729 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043742 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043099 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 180 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043450 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 181 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046144 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 181 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187424 3084560391 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045891 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045735 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 182 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046946 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 183 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043753 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 183 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603898 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086601929 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 184 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086602083 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 185 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048921 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 185 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048610 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453888 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050209 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 186 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043651 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 187 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050372 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 187 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083055044 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045202 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045147 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 188 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046952 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 189 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187596 3086606171 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 189 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453943 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064699 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049996 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 190 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603718 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 191 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045032 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 191 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050179 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086602139 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603686 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 192 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046949 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 193 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043337 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 193 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603746 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048622 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043323 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 194 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045456 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 195 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453898 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 195 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043716 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043716 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049505 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 196 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106899 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 197 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050397 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 197 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187616 134527521 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064645 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048603 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 198 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043729 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 199 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045531 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 199 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187396 3080464945 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044361 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050250 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 200 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044580 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 201 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3085107102 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 201 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048648 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187152 3085029687 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061269 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 202 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064800 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 203 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086527601 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 203 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045426 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187584 3083062532 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086601994 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 204 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043462 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 205 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453918 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 205 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3084454128 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049482 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043742 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 206 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086604621 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 207 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453682 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 207 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3085320535 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049555 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044466 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 208 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187008 3080461935 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 209 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045053 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 209 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045160 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046112 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187632 3080462016 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 210 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044226 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 211 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086527150 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 211 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050336 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043382 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 212 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106757 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 213 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018423 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 213 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3085817987 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083062032 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048648 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 214 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064710 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 215 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064710 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 215 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043753 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187652 134527563 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043857 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 216 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221186960 3080462769 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 217 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083061351 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 217 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064724 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221186944 3080464932 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086528015 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 218 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086527042 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 219 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049846 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 219 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045028 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083064002 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3085320499 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 220 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044917 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 221 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083054973 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 221 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044963 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046949 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049494 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 222 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603858 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 223 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221186992 3083054529 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 223 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044244 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044811 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064724 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 224 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045610 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 225 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187688 3085042881 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 225 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083064385 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043729 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187192 3083059829 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 226 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044718 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 227 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187616 3080461977 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 227 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050403 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064699 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187396 3080465087 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 228 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187068 3080472178 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 229 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086602103 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 229 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221186956 3080094354 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187452 3083064576 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083054885 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 230 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018164 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 231 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603740 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 231 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018419 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045336 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187616 134527508 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 232 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044364 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 233 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043099 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 233 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043332 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187584 3083063320 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045199 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 234 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044893 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 235 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187616 3080462727 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 235 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044590 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050027 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045032 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 236 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086601966 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 237 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046205 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 237 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187008 3080462779 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048629 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043751 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 238 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049889 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 239 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187132 3083055723 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 239 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045230 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106757 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048885 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 240 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187684 3085043553 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 241 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187632 3080462803 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 241 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187692 3083063776 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187536 3086607139 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187584 3083062568 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 242 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043729 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 243 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064922 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 243 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083054923 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046976 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044699 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 244 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187396 3080466180 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 245 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045456 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 245 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045180 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064614 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064661 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 246 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049615 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 247 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043657 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 247 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187772 3086601904 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086527190 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044845 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 248 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064724 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 249 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043211 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 249 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221186884 3080465005 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044284 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085107093 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 250 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043103 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 251 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048642 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 251 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050496 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045154 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044174 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 252 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187728 3080464404 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 253 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043968 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 253 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045732 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083064296 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187448 3083064579 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 254 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043465 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 255 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3085320469 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 255 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048840 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043267 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187532 3084560368 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 256 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083054785 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 257 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083063967 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 257 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064681 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187536 3086606639 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083062421 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 258 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045210 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 259 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085047571 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 259 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187120 3080464404 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187148 3083053336 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043109 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 260 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045075 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 261 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049609 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 261 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187776 3086528398 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064922 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046385 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 262 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187408 3083064608 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 263 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085042961 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 263 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3086602204 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083055131 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045342 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 264 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044208 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 265 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048622 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 265 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187632 3080462061 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049530 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043099 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 266 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044712 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 267 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043713 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 267 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106893 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083063869 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043312 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 268 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187616 134527440 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 269 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221186992 3083054504 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 269 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018173 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187536 3086606794 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045408 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 270 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085050372 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 271 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603930 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 271 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187424 3084560720 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044580 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187696 3085320403 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 272 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083054970 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 273 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043413 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 273 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187616 134527437 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187424 3084560385 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044184 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 274 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085045106 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 275 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048648 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 275 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085046943 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187676 3085106948 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221186772 3080464945 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 276 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043716 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 277 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187024 3083055128 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 277 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043035 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043343 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048972 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 278 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085043651 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 279 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603740 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 279 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453888 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083063851 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044361 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 280 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085049545 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 281 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044555 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 281 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085044637 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187472 3083062415 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453644 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 282 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187456 3085018335 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 283 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187376 3083064635 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 283 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453602 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3083063854 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187436 3083064582 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 284 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187664 3086603904 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 285 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187600 3084453918 0 0 4096 0 0 0 0 17 0 0 0 0
24522 (gecode-mseq) R 24520 24468 24421 34816 24468 4202496 916 0 0 0 285 0 0 0 25 0 1 0 9152279 7028736 433 4294967295 134512640 134535387 3221188624 3221187200 3085048932 0 0 4096 0 0 0 0 17 0 0 0 0
