31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4194304 624 0 0 0 0 0 0 0 20 0 1 0 10040981 6987776 158 4294967295 134512640 134538271 3213656256 3213654692 3086914773 0 0 4096 0 0 0 0 17 1 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 985 0 0 0 0 0 0 0 20 0 1 0 10040981 7327744 500 4294967295 134512640 134538271 3213656256 3213654972 3083295719 0 0 4096 0 0 0 0 17 1 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 986 0 0 0 0 0 0 0 20 0 1 0 10040981 7327744 501 4294967295 134512640 134538271 3213656256 3213654976 3083306348 0 0 4096 0 0 0 0 17 1 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 992 0 0 0 1 0 0 0 20 0 1 0 10040981 7327744 507 4294967295 134512640 134538271 3213656256 3213654896 3085019215 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 992 0 0 0 2 0 0 0 20 0 1 0 10040981 7327744 507 4294967295 134512640 134538271 3213656256 3213655004 3083306246 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 992 0 0 0 2 0 0 0 20 0 1 0 10040981 7327744 507 4294967295 134512640 134538271 3213656256 3213654896 3085019461 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 992 0 0 0 2 0 0 0 20 0 1 0 10040981 7327744 507 4294967295 134512640 134538271 3213656256 3213654896 3085015192 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 997 0 0 0 3 0 0 0 23 0 1 0 10040981 7491584 512 4294967295 134512640 134538271 3213656256 3213655024 3086059733 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 997 0 0 0 3 0 0 0 23 0 1 0 10040981 7491584 512 4294967295 134512640 134538271 3213656256 3213654716 3083295719 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 23 0 1 0 10040981 7491584 513 4294967295 134512640 134538271 3213656256 3213655024 3085006671 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 23 0 1 0 10040981 7491584 513 4294967295 134512640 134538271 3213656256 3213654976 3083306336 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1009 0 0 0 4 0 0 0 23 0 1 0 10040981 7491584 524 4294967295 134512640 134538271 3213656256 3213654896 3085019156 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1015 0 0 0 5 0 0 0 23 0 1 0 10040981 7491584 530 4294967295 134512640 134538271 3213656256 3213655216 3086845522 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1015 0 0 0 5 0 0 0 23 0 1 0 10040981 7491584 530 4294967295 134512640 134538271 3213656256 3213654896 3085015456 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 6 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654720 3083306758 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 6 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654896 3085018326 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 6 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654720 3083308526 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 7 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654896 3085019163 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 7 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306336 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 8 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306415 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 8 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655168 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 8 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306366 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 9 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059735 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 9 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654892 3083306704 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 10 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059761 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 10 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655168 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 10 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655016 3083306595 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 11 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655228 3085514219 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 11 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655216 3086845331 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 12 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655248 3086843770 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 12 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654972 3083295722 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 12 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654896 3085019467 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 13 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059712 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 13 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655168 134529136 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 14 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306415 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 14 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059735 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 14 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655248 3086843764 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 15 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654720 3083309025 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 15 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059767 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 16 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306325 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 16 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059737 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 16 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059735 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 17 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059651 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 17 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059735 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 18 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654896 3085015182 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 18 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306456 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 18 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059735 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 19 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655020 3083295144 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 19 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655216 3086845344 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 20 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059742 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 20 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059655 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 20 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654720 3083307410 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 21 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655216 3086845344 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 21 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654720 3083308704 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 22 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306404 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 22 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3085006671 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 22 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655232 3085576365 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 23 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655136 3083305074 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 23 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655136 3083304270 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 24 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654896 3085019175 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 24 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654720 3083309043 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 24 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3085006687 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 25 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3085006758 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 25 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059651 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 26 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654896 3085017347 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 26 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059756 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 26 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654720 3083307436 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 27 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306354 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 27 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306368 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 28 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655088 3086848423 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 28 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306281 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 28 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655024 3086059761 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 29 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213655248 3085562117 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 29 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654896 3085019473 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 30 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654720 3083309289 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 30 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654720 3083308371 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 30 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306674 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 31 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654976 3083306342 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 31 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654896 3085017347 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 32 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654896 3085019461 0 0 4096 0 0 0 0 17 0 0 0 0
31383 (gecode-qwh) R 31382 27426 24421 34816 27426 4202496 1016 0 0 0 32 0 0 0 23 0 1 0 10040981 7491584 531 4294967295 134512640 134538271 3213656256 3213654896 3085019169 0 0 4096 0 0 0 0 17 0 0 0 0
