6537 (sh) R 6535 6518 24421 34816 6518 4194304 435 0 0 0 0 0 0 0 18 0 1 0 11990188 3649536 324 4294967295 134512640 135191968 3219631728 3219630656 135100662 0 0 4100 65536 0 0 0 17 1 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 967 0 0 0 0 0 0 0 18 0 1 0 11990188 7327744 484 4294967295 134512640 134538271 3218705824 3218704736 134529275 0 0 4096 0 0 0 0 17 1 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 967 0 0 0 1 0 0 0 23 0 1 0 11990188 7327744 484 4294967295 134512640 134538271 3218705824 3218704784 3086722466 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 973 0 0 0 2 0 0 0 23 0 1 0 11990188 7327744 490 4294967295 134512640 134538271 3218705824 3218704464 3084896348 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 985 0 0 0 3 0 0 0 23 0 1 0 11990188 7327744 502 4294967295 134512640 134538271 3218705824 3218704544 3083183503 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 985 0 0 0 4 0 0 0 23 0 1 0 11990188 7327744 502 4294967295 134512640 134538271 3218705824 3218704592 3085936819 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 4 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704592 3084883832 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 5 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704736 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 6 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704280 3084855702 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 7 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704592 3085936855 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 8 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704288 3083186136 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 8 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704544 3083183380 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 9 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704544 3083183433 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 10 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704592 3085936819 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 11 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704592 3084883848 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 12 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704784 3086722507 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 12 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704544 3083183380 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 13 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704444 3083183830 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 14 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704580 3083183364 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 15 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704592 3085936855 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 16 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704784 3086722464 0 0 4096 0 0 0 0 17 0 0 0 0
6537 (gecode-qwh) R 6535 6518 24421 34816 6518 4202496 991 0 0 0 16 0 0 0 23 0 1 0 11990188 7327744 508 4294967295 134512640 134538271 3218705824 3218704736 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
