31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4194304 606 0 0 0 0 0 0 0 25 0 1 0 10039760 6987776 141 4294967295 134512640 134538271 3216380768 3216379440 3086331151 0 0 4096 0 0 0 0 17 1 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 975 0 0 0 1 0 0 0 25 0 1 0 10039760 7327744 491 4294967295 134512640 134538271 3216380768 3216379536 3085469875 0 0 4096 0 0 0 0 17 1 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 975 0 0 0 2 0 0 0 25 0 1 0 10039760 7327744 491 4294967295 134512640 134538271 3216380768 3216379488 3082716684 0 0 4096 0 0 0 0 17 1 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 975 0 0 0 2 0 0 0 25 0 1 0 10039760 7327744 491 4294967295 134512640 134538271 3216380768 3216379524 3082716745 0 0 4096 0 0 0 0 17 0 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10039760 7327744 503 4294967295 134512640 134538271 3216380768 3216379228 3084388720 0 0 4096 0 0 0 0 17 0 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10039760 7327744 503 4294967295 134512640 134538271 3216380768 3216379488 3082716704 0 0 4096 0 0 0 0 17 0 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10039760 7327744 503 4294967295 134512640 134538271 3216380768 3216379728 3086255507 0 0 4096 0 0 0 0 17 0 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10039760 7327744 503 4294967295 134512640 134538271 3216380768 3216379840 3086179037 0 0 4096 0 0 0 0 17 0 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10039760 7327744 503 4294967295 134512640 134538271 3216380768 3216379536 3084416843 0 0 4096 0 0 0 0 17 0 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 987 0 0 0 7 0 0 0 25 0 1 0 10039760 7327744 503 4294967295 134512640 134538271 3216380768 3216379232 3082718856 0 0 4096 0 0 0 0 17 0 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 987 0 0 0 8 0 0 0 25 0 1 0 10039760 7327744 503 4294967295 134512640 134538271 3216380768 3216379232 3082718135 0 0 4096 0 0 0 0 17 0 0 0 0
31197 (gecode-qwh) R 31196 27426 24421 34816 27426 4202496 987 0 0 0 9 0 0 0 25 0 1 0 10039760 7327744 503 4294967295 134512640 134538271 3216380768 3216379232 3082718135 0 0 4096 0 0 0 0 17 0 0 0 0
