31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4194304 732 0 0 0 0 0 0 0 25 0 1 0 10034555 6991872 267 4294967295 134512640 134538271 3215188544 3215186980 3086476501 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10034555 7331840 496 4294967295 134512640 134538271 3215188544 3215187312 3085621463 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10034555 7331840 496 4294967295 134512640 134538271 3215188544 3215187312 3085621389 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 980 0 0 0 3 0 0 0 25 0 1 0 10034555 7331840 496 4294967295 134512640 134538271 3215188544 3215187292 3082867974 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 988 0 0 0 4 0 0 0 25 0 1 0 10034555 7331840 504 4294967295 134512640 134538271 3215188544 3215187312 3084568468 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 988 0 0 0 4 0 0 0 25 0 1 0 10034555 7331840 504 4294967295 134512640 134538271 3215188544 3215187012 3082870361 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 25 0 1 0 10034555 7331840 510 4294967295 134512640 134538271 3215188544 3215187296 3082868321 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 25 0 1 0 10034555 7331840 510 4294967295 134512640 134538271 3215188544 3215187312 3084568481 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 25 0 1 0 10034555 7495680 515 4294967295 134512640 134538271 3215188544 3215187264 3082868087 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034555 7495680 516 4294967295 134512640 134538271 3215188544 3215187264 3082868076 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034555 7495680 516 4294967295 134512640 134538271 3215188544 3215187264 3082868111 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10034555 7495680 516 4294967295 134512640 134538271 3215188544 3215187312 3085621389 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10034555 7495680 516 4294967295 134512640 134538271 3215188544 3215187008 3082868452 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10034555 7495680 516 4294967295 134512640 134538271 3215188544 3215187008 3082868471 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034555 7495680 516 4294967295 134512640 134538271 3215188544 3215187312 3085621463 0 0 4096 0 0 0 0 17 1 0 0 0
31010 (gecode-qwh) R 31009 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034555 7495680 516 4294967295 134512640 134538271 3215188544 3215187184 3084581233 0 0 4096 0 0 0 0 17 1 0 0 0
