31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4194304 609 0 0 0 0 0 0 0 24 0 1 0 10039839 6987776 145 4294967295 134512640 134538271 3215290960 3215289396 3086193877 0 0 4096 0 0 0 0 17 1 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 974 0 0 0 1 0 0 0 24 0 1 0 10039839 7327744 491 4294967295 134512640 134538271 3215290960 3215289728 3084285714 0 0 4096 0 0 0 0 17 1 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 974 0 0 0 2 0 0 0 25 0 1 0 10039839 7327744 491 4294967295 134512640 134538271 3215290960 3215290032 3086048337 0 0 4096 0 0 0 0 17 0 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 974 0 0 0 2 0 0 0 25 0 1 0 10039839 7327744 491 4294967295 134512640 134538271 3215290960 3215289728 3085338803 0 0 4096 0 0 0 0 17 0 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 986 0 0 0 3 0 0 0 25 0 1 0 10039839 7327744 503 4294967295 134512640 134538271 3215290960 3215289676 3082574823 0 0 4096 0 0 0 0 17 0 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 25 0 1 0 10039839 7327744 503 4294967295 134512640 134538271 3215290960 3215289920 3086124657 0 0 4096 0 0 0 0 17 0 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 986 0 0 0 5 0 0 0 25 0 1 0 10039839 7327744 503 4294967295 134512640 134538271 3215290960 3215289680 3082585413 0 0 4096 0 0 0 0 17 0 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 986 0 0 0 6 0 0 0 25 0 1 0 10039839 7327744 503 4294967295 134512640 134538271 3215290960 3215289712 3082585349 0 0 4096 0 0 0 0 17 0 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 986 0 0 0 6 0 0 0 25 0 1 0 10039839 7327744 503 4294967295 134512640 134538271 3215290960 3215289716 3082585673 0 0 4096 0 0 0 0 17 0 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 986 0 0 0 7 0 0 0 25 0 1 0 10039839 7327744 503 4294967295 134512640 134538271 3215290960 3215289600 3084294562 0 0 4096 0 0 0 0 17 0 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 986 0 0 0 8 0 0 0 25 0 1 0 10039839 7327744 503 4294967295 134512640 134538271 3215290960 3215289600 3084297416 0 0 4096 0 0 0 0 17 0 0 0 0
31217 (gecode-qwh) R 31216 27426 24421 34816 27426 4202496 986 0 0 0 9 0 0 0 25 0 1 0 10039839 7327744 503 4294967295 134512640 134538271 3215290960 3215289680 3082585481 0 0 4096 0 0 0 0 17 0 0 0 0
