6520 (sh) D 6519 6518 24421 34816 6518 4194304 462 0 0 0 0 0 0 0 17 0 1 0 11990102 3653632 351 4294967295 134512640 135191968 3215993584 3215992468 3086509072 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (sh) D 6519 6518 24421 34816 6518 4194304 462 0 0 0 0 0 0 0 17 0 1 0 11990102 3653632 351 4294967295 134512640 135191968 3215993584 3215992468 3086509072 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (sh) D 6519 6518 24421 34816 6518 4194304 462 0 0 0 0 0 0 0 17 0 1 0 11990102 3653632 351 4294967295 134512640 135191968 3215993584 3215992468 3086509072 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (sh) D 6519 6518 24421 34816 6518 4194304 462 0 0 0 0 0 0 0 17 0 1 0 11990102 3653632 351 4294967295 134512640 135191968 3215993584 3215992468 3086509072 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4194304 488 0 1 0 0 0 0 0 19 0 1 0 11990102 249856 27 4294967295 134512640 134538271 3216588864 3216586248 3086049412 0 0 4096 0 3222652410 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4194304 488 0 1 0 0 0 0 0 19 0 1 0 11990102 249856 27 4294967295 134512640 134538271 3216588864 3216586248 3086049540 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4194304 488 0 1 0 0 0 0 0 19 0 1 0 11990102 249856 27 4294967295 134512640 134538271 3216588864 3216586248 3086049540 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4194304 494 0 3 0 0 0 0 0 19 0 1 0 11990102 364544 35 4294967295 134512640 134538271 3216588864 3216586188 3086049540 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4194304 497 0 4 0 0 0 0 0 19 0 1 0 11990102 425984 39 4294967295 134512640 134538271 3216588864 3216586164 3086049540 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4194304 497 0 4 0 0 0 0 0 19 0 1 0 11990102 425984 39 4294967295 134512640 134538271 3216588864 3216586164 3086049540 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4194304 497 0 4 0 0 0 0 0 19 0 1 0 11990102 4169728 39 4294967295 134512640 134538271 3216588864 3216586044 3086052287 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4194304 498 0 5 0 0 0 0 0 19 0 1 0 11990102 4169728 41 4294967295 134512640 134538271 3216588864 3216586488 3086051172 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4202496 806 0 11 0 0 1 0 0 19 0 1 0 11990102 6897664 332 4294967295 134512640 134538271 3216588864 3216588716 3085324304 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4202496 807 0 12 0 0 1 0 0 19 0 1 0 11990102 6897664 334 4294967295 134512640 134538271 3216588864 3216588700 3084570928 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4202496 811 0 15 0 0 1 0 0 19 0 1 0 11990102 6897664 341 4294967295 134512640 134538271 3216588864 3216588700 3084129072 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4202496 814 0 18 0 0 1 0 0 18 0 1 0 11990102 6897664 347 4294967295 134512640 134538271 3216588864 3216588700 3083702144 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4202496 815 0 20 0 0 1 0 0 18 0 1 0 11990102 6897664 350 4294967295 134512640 134538271 3216588864 3216588700 3083337824 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4202496 816 0 22 0 0 1 0 0 18 0 1 0 11990102 6897664 353 4294967295 134512640 134538271 3216588864 3216588700 3082790928 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) D 6519 6518 24421 34816 6518 4202496 884 0 26 0 0 1 0 0 18 0 1 0 11990102 7032832 425 4294967295 134512640 134538271 3216588864 3216587692 3085256784 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 940 0 29 0 0 1 0 0 18 0 1 0 11990102 7331840 484 4294967295 134512640 134538271 3216588864 3216587824 3085931979 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 940 0 29 0 1 1 0 0 18 0 1 0 11990102 7331840 484 4294967295 134512640 134538271 3216588864 3216587632 3084093279 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 946 0 29 0 2 1 0 0 18 0 1 0 11990102 7331840 490 4294967295 134512640 134538271 3216588864 3216587584 3082392891 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 952 0 29 0 2 1 0 0 18 0 1 0 11990102 7331840 496 4294967295 134512640 134538271 3216588864 3216587824 3084106195 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 958 0 29 0 3 1 0 0 18 0 1 0 11990102 7331840 502 4294967295 134512640 134538271 3216588864 3216587824 3085931971 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 958 0 29 0 4 1 0 0 18 0 1 0 11990102 7331840 502 4294967295 134512640 134538271 3216588864 3216587584 3082392946 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 5 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587504 3084103933 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 6 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587776 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 6 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587620 3082392836 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 7 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587632 3085146327 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 8 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587584 3082392934 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 9 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587504 3084101760 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 10 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587624 3082392833 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 10 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587632 3085146334 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 11 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587632 3085146334 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 12 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587612 3082392838 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 13 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587824 3085932128 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 14 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587632 3084093341 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 14 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587504 3084101623 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 15 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587696 3085934930 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 16 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587632 3085146327 0 0 4096 0 0 0 0 17 0 0 0 0
6520 (gecode-qwh) R 6519 6518 24421 34816 6518 4202496 964 0 29 0 17 1 0 0 18 0 1 0 11990102 7331840 508 4294967295 134512640 134538271 3216588864 3216587584 3082392943 0 0 4096 0 0 0 0 17 0 0 0 0
