30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4194304 486 0 0 0 0 0 0 0 20 0 1 0 10032168 249856 26 4294967295 134512640 134538271 3219197456 3219196128 3086813600 0 0 4096 0 0 0 0 17 0 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 914 0 0 0 0 0 0 0 20 0 1 0 10032168 7032832 431 4294967295 134512640 134538271 3219197456 3219195668 3080590574 0 0 4096 0 0 0 0 17 0 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 987 0 0 0 0 0 0 0 20 0 1 0 10032168 7299072 504 4294967295 134512640 134538271 3219197456 3219196176 3083187558 0 0 4096 0 0 0 0 17 0 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 20 0 1 0 10032168 7299072 504 4294967295 134512640 134538271 3219197456 3219196224 3084887903 0 0 4096 0 0 0 0 17 0 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1003 0 0 0 1 0 0 0 20 0 1 0 10032168 7462912 520 4294967295 134512640 134538271 3219197456 3219196176 3083187732 0 0 4096 0 0 0 0 17 0 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1004 0 0 0 2 0 0 0 20 0 1 0 10032168 7462912 521 4294967295 134512640 134538271 3219197456 3219196096 3084896381 0 0 4096 0 0 0 0 17 0 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 20 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196176 3083187654 0 0 4096 0 0 0 0 17 0 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 20 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3085940980 0 0 4096 0 0 0 0 17 0 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 3 0 0 0 20 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3085940951 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 20 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3085940940 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3084887967 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3084887969 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 5 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196416 3086726606 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 5 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3084887903 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196384 3080585011 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3085940951 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3084887903 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 7 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196416 3086726744 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 7 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196172 3083176935 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196204 3083187462 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196176 3083187613 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196092 3083188633 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 9 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3085940951 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 9 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3085940951 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196416 3086726752 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196416 3086726626 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3085940951 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 11 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196416 3086726547 0 0 4096 0 0 0 0 17 1 0 0 0
30659 (gecode-qwh) R 30658 27426 24421 34816 27426 4202496 1005 0 0 0 11 0 0 0 23 0 1 0 10032168 7462912 522 4294967295 134512640 134538271 3219197456 3219196224 3084887962 0 0 4096 0 0 0 0 17 1 0 0 0
