6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4194304 630 0 0 0 0 0 0 0 19 0 1 0 11990141 6991872 164 4294967295 134512640 134538271 3220940736 3220939172 3086091477 0 0 4096 0 0 0 0 17 1 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 969 0 0 0 0 0 0 0 19 0 1 0 11990141 7331840 484 4294967295 134512640 134538271 3220940736 3220939456 3082482997 0 0 4096 0 0 0 0 17 1 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 969 0 0 0 1 0 0 0 19 0 1 0 11990141 7331840 484 4294967295 134512640 134538271 3220940736 3220939504 3085236355 0 0 4096 0 0 0 0 17 1 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 975 0 0 0 2 0 0 0 19 0 1 0 11990141 7331840 490 4294967295 134512640 134538271 3220940736 3220939456 3082483052 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 975 0 0 0 3 0 0 0 19 0 1 0 11990141 7331840 490 4294967295 134512640 134538271 3220940736 3220939200 3082483434 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 987 0 0 0 4 0 0 0 19 0 1 0 11990141 7331840 502 4294967295 134512640 134538271 3220940736 3220939612 3079890434 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 987 0 0 0 4 0 0 0 22 0 1 0 11990141 7331840 502 4294967295 134512640 134538271 3220940736 3220939456 3082482976 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 5 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939504 3084183455 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 6 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939456 3082483253 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 7 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939504 3084183419 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 8 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939452 3082472423 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 8 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939452 3082472423 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 9 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939504 3085236419 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 10 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939456 3082483200 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 11 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939504 3084183455 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 12 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939500 3082482944 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 12 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939456 3082483052 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 13 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939456 3082483063 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 14 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939648 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 15 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939504 3085236355 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 16 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939456 3082483023 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 16 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939200 3082483445 0 0 4096 0 0 0 0 17 0 0 0 0
6526 (gecode-qwh) R 6524 6518 24421 34816 6518 4202496 993 0 0 0 17 0 0 0 22 0 1 0 11990141 7331840 508 4294967295 134512640 134538271 3220940736 3220939456 3082482988 0 0 4096 0 0 0 0 17 0 0 0 0
