30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4194304 638 0 0 0 0 0 0 0 25 0 1 0 10034243 6991872 172 4294967295 134512640 134538271 3219240480 3219238916 3085935829 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 25 0 1 0 10034243 7331840 496 4294967295 134512640 134538271 3219240480 3219239200 3082327381 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 25 0 1 0 10034243 7331840 510 4294967295 134512640 134538271 3219240480 3219239248 3084027802 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 25 0 1 0 10034243 7331840 510 4294967295 134512640 134538271 3219240480 3219239440 3085866600 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 25 0 1 0 10034243 7331840 510 4294967295 134512640 134538271 3219240480 3219239200 3082327369 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239440 3085866612 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239248 3085080812 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239200 3082327466 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239376 3082326561 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239200 3082327460 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239248 3085080755 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239240 3082327297 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239392 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239248 3085080717 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239248 3085080791 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239248 3085080791 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239552 3085789898 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239440 3085866609 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239248 3085080795 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239248 3084027771 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034243 7495680 516 4294967295 134512640 134538271 3219240480 3219239200 3082327389 0 0 4096 0 0 0 0 17 1 0 0 0
30922 (gecode-qwh) R 30921 27426 24421 34816 27426 4202496 1015 0 0 0 17 0 0 0 25 0 1 0 10034243 7499776 530 4294967295 134512640 134538271 3219240480 3219239480 3085894672 0 0 4096 0 0 0 0 17 1 0 0 0
