30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4194304 591 0 0 0 0 0 0 0 25 0 1 0 10032256 6991872 126 4294967295 134512640 134538271 3220840352 3220838664 3086885749 0 0 4096 0 0 0 0 17 1 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 974 0 0 0 0 0 0 0 25 0 1 0 10032256 7299072 490 4294967295 134512640 134538271 3220840352 3220839072 3083277630 0 0 4096 0 0 0 0 17 1 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 988 0 0 0 0 0 0 0 25 0 1 0 10032256 7299072 504 4294967295 134512640 134538271 3220840352 3220839072 3083277647 0 0 4096 0 0 0 0 17 1 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 25 0 1 0 10032256 7299072 504 4294967295 134512640 134538271 3220840352 3220838992 3084986554 0 0 4096 0 0 0 0 17 1 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1004 0 0 0 1 0 0 0 25 0 1 0 10032256 7462912 520 4294967295 134512640 134538271 3220840352 3220839120 3084977984 0 0 4096 0 0 0 0 17 1 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 10032256 7462912 521 4294967295 134512640 134538271 3220840352 3220839120 3086031063 0 0 4096 0 0 0 0 17 1 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839120 3086031063 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220838992 3084986543 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839296 3084986341 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839120 3086030979 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220838816 3083278738 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220838816 3083278224 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839072 3083277650 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220838816 3083278771 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839120 3086031063 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839120 3086031063 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839072 3083277699 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839264 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839312 3086816659 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220838816 3083279875 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839072 3083277907 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220838816 3083278950 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839312 3086817438 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220838816 3083279089 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839120 3086030983 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220838816 3083280002 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220838992 3084986520 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839120 3086031063 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 25 0 1 0 10032256 7462912 522 4294967295 134512640 134538271 3220840352 3220839072 3083277670 0 0 4096 0 0 0 0 17 0 0 0 0
30679 (gecode-qwh) R 30678 27426 24421 34816 27426 4202496 1020 0 0 0 11 0 0 0 25 0 1 0 10032256 7467008 536 4294967295 134512640 134538271 3220840352 3220839352 3086844944 0 0 4096 0 0 0 0 17 0 0 0 0
