6547 (sh) R 6545 6518 24421 34816 6518 4194304 102 0 0 0 0 0 0 0 20 0 1 0 11990236 925696 19 4294967295 134512640 135191968 3213904112 3213903028 3085962873 0 0 4096 0 0 0 0 17 1 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 969 0 0 0 0 0 0 0 20 0 1 0 11990236 7327744 484 4294967295 134512640 134538271 3213904128 3213902896 3085109463 0 0 4096 0 0 0 0 17 1 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 969 0 0 0 1 0 0 0 20 0 1 0 11990236 7327744 484 4294967295 134512640 134538271 3213904128 3213902848 3082356304 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 975 0 0 0 2 0 0 0 20 0 1 0 11990236 7327744 490 4294967295 134512640 134538271 3213904128 3213902768 3084068903 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 981 0 0 0 3 0 0 0 20 0 1 0 11990236 7327744 496 4294967295 134512640 134538271 3213904128 3213902848 3082356138 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 987 0 0 0 4 0 0 0 23 0 1 0 11990236 7327744 502 4294967295 134512640 134538271 3213904128 3213902896 3084056405 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 987 0 0 0 4 0 0 0 23 0 1 0 11990236 7327744 502 4294967295 134512640 134538271 3213904128 3213902896 3084056255 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 5 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902768 3084068903 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 6 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902592 3082356621 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 7 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902768 3084067034 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 8 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213903084 3084064736 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 8 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902948 3084056538 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 9 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902896 3085109452 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 10 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902892 3082355968 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 11 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902592 3082357699 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 12 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213903040 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 12 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902768 3084068956 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 13 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902848 3082356099 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 14 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213903100 3084564008 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 15 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213903088 3085895107 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 16 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902768 3084068900 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 16 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213902892 3082356299 0 0 4096 0 0 0 0 17 0 0 0 0
6547 (gecode-qwh) R 6545 6518 24421 34816 6518 4202496 993 0 0 0 17 0 0 0 23 0 1 0 11990236 7327744 508 4294967295 134512640 134538271 3213904128 3213903016 3084028326 0 0 4096 0 0 0 0 17 0 0 0 0
