30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4194304 502 0 0 0 0 0 0 0 20 0 1 0 10030673 4169728 40 4294967295 134512640 134538271 3213381760 3213378940 3086347199 0 0 4096 0 0 0 0 17 1 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 934 0 0 0 0 0 0 0 20 0 1 0 10030673 7032832 449 4294967295 134512640 134538271 3213381760 3213380480 3082688000 0 0 4096 0 0 0 0 17 1 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 978 0 0 0 0 0 0 0 20 0 1 0 10030673 7331840 493 4294967295 134512640 134538271 3213381760 3213380480 3082687889 0 0 4096 0 0 0 0 17 1 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 1 0 0 0 20 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380640 3082686477 0 0 4096 0 0 0 0 17 1 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 1 0 0 0 20 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3084388255 0 0 4096 0 0 0 0 17 1 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 20 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687806 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 20 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380592 3086229842 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 3 0 0 0 20 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380704 3084396517 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 3 0 0 0 20 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380720 3086227040 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 20 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380720 3084401126 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3085441165 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380476 3082677223 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 5 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380748 3084401113 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 5 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380224 3082689218 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3084388253 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380224 3082690051 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3085441234 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3084388171 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380224 3082690555 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687968 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082688090 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380224 3082688860 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380720 3086226874 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380524 3082687744 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380720 3086226835 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687930 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082688041 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3085441219 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380224 3082689283 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380224 3082689265 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380516 3082687748 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3084388194 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687855 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 15 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687829 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 15 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380224 3082688827 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380720 3084401071 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082688093 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3084388255 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 17 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3084388244 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 17 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687776 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082688176 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380400 3084396924 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 19 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3084388121 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 19 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380400 3084400679 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380400 3084400681 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 21 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 21 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380220 3082677223 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687855 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687797 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380516 3082687748 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 23 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 23 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380524 3082676648 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687823 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380388 3082688212 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380400 3084396659 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 25 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3084388181 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 25 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380528 3084388284 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687764 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082688090 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687823 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 27 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380672 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 27 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082687764 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380224 3082688953 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380224 3082689265 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082688023 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 29 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082688065 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 29 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380480 3082688053 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380224 3082688247 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10030673 7331840 511 4294967295 134512640 134538271 3213381760 3213380720 3084401084 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 23 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687908 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 23 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082688274 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 23 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082688053 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082688063 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082688953 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380688 3080085205 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 23 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 23 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084400667 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 23 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380704 3084396517 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084396850 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380672 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 35 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084400667 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 35 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082690088 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687855 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084396719 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 37 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082690104 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 37 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380672 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084399852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380516 3082687748 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 39 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441225 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 39 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441168 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380656 3082687538 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687889 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380784 3086228491 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 41 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082690069 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 41 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084396891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084396787 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687797 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441246 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 43 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082688253 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 43 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687875 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 24 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3084388281 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082688059 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380396 3082688208 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 45 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082688050 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 45 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084396696 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082689976 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082688835 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 47 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084396543 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 47 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3084388219 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084398829 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380832 3086151635 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 49 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687788 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 49 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082688178 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380588 3084388316 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084396992 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 51 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687849 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 51 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441265 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687860 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082690584 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 53 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687942 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 53 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687855 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380752 3086225233 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3084388175 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082689221 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 55 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082691392 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 55 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687855 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084400679 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082688223 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 57 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441243 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 57 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380732 3084895800 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380672 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380508 3082687750 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084398810 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 59 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 59 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3084388194 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441268 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380752 3086225251 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 61 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 61 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687884 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687806 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082688841 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082690455 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 63 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687834 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 63 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3084388191 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380672 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380720 3086227030 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 65 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082688083 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 65 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3084388257 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380396 3082688208 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 67 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3084388255 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 67 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380720 3086226848 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687797 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082690184 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 69 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380640 3082686900 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 69 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084401043 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084399801 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 71 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380716 3084360798 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 71 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082688047 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687797 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082688090 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380720 3086226888 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 73 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084400689 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 73 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380720 3086226883 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084396727 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687823 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 75 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380720 3086227855 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 75 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380516 3082687748 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082689218 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380224 3082690125 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687884 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 77 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 77 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380720 3086226835 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380516 3082688073 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 79 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 79 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380528 3084388219 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380400 3084400676 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380720 3086227646 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10030673 7495680 517 4294967295 134512640 134538271 3213381760 3213380480 3082687990 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 81 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688009 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 81 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388225 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688012 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 83 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 83 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388225 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086227057 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396593 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 85 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380508 3082687750 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 85 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687797 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 87 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226883 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 87 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226902 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388175 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400670 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 89 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388235 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 89 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380520 3082688099 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380524 3082687744 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688931 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688178 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 91 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380780 3086224490 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 91 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687776 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688178 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690542 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 93 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688090 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 93 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687914 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687867 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388255 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 95 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084398839 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 95 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441168 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687867 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687829 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687826 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 97 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687764 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 97 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380660 3082687105 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380592 3086229751 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380524 3082688100 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 99 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086227057 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 99 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687919 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441241 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388262 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 101 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441246 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 101 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690051 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086227060 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441219 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388126 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 103 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082689475 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 103 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687887 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396727 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 105 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687908 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 105 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688014 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086227641 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 107 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396843 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 107 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380516 3082688098 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400732 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688286 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396747 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 109 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388281 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 109 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226894 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690064 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687797 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 111 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690051 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 111 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380216 3084360054 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687867 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687930 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 113 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388040 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 113 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688020 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688090 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687776 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 115 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687875 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 115 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688009 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688228 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690051 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441241 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 117 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 117 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086227046 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441159 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388255 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380752 3086225168 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 119 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690529 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 119 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226850 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687837 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084398855 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 121 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687901 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 121 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380508 3082687750 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688059 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687867 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 123 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 3080085860 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 123 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380512 3082687749 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086227048 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687813 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380476 3082677223 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 125 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441216 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 125 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380384 3082688918 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441246 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687855 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688047 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 127 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687908 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 127 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687776 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 129 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380524 3082676648 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 129 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441256 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380508 3082687750 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388031 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687878 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 131 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687919 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 131 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396546 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380832 3086150613 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688827 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388094 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 133 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 133 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380752 3084943565 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400997 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226835 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388247 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 135 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380388 3082688919 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 135 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441165 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687776 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687797 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 137 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687889 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 137 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388078 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380752 3086225302 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441265 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 139 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 139 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441155 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380748 3084401056 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687764 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441206 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 141 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 141 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388219 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441241 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388160 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 143 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388262 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 143 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380648 3084360060 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687914 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380752 3086225171 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396569 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 145 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226908 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 145 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690025 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388171 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396885 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 147 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441246 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 147 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687834 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380524 3082688075 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396710 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 149 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396705 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 149 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688000 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687855 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086227750 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388097 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 151 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380524 3082687744 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 151 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441246 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396730 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 153 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380516 3082688098 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 153 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380452 3080089521 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380524 3082688100 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380656 3086229333 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 155 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687867 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 155 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396705 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687908 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688063 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380396 3082688208 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 157 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400684 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 157 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687826 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084399788 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388235 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084399816 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 159 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688397 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 159 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086227348 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388250 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388296 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 161 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388255 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 161 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400660 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688034 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380516 3082687748 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 163 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441246 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 163 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396604 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687878 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380640 3082686456 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 165 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396669 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 165 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084398810 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380524 3082676648 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388191 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380476 3082677223 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 167 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400732 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 167 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687919 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380476 3082677226 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688063 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396636 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 169 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690117 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 169 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400676 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380396 3082688208 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441155 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 171 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380512 3082687749 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 171 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690075 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380508 3082687750 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441200 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 173 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3084401089 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 173 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441271 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380796 3079717522 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388235 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688868 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 175 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380748 3084401149 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 175 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687990 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380524 3082687744 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400657 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687815 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 177 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687797 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 177 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690072 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687914 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400713 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 179 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388184 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 179 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380396 3082688921 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226883 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687759 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388255 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 181 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388001 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 181 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687834 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380220 3084360048 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687919 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441246 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 183 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388219 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 183 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400660 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084398857 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396688 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 185 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 185 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400689 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688063 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687829 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688884 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 187 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 187 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400689 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084398810 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388262 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 189 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396738 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 189 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688912 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687863 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380516 3082687748 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380824 3086228451 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 191 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388100 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 191 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687785 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388299 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690083 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 193 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 193 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380688 3080086789 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687860 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400667 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400959 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 195 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441268 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 195 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396724 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688286 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690163 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400706 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 197 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 197 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441265 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380592 3086229823 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226883 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400699 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 199 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380832 3086151507 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 199 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388219 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400728 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380832 3086150085 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690205 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 201 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 201 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690125 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380580 3084388314 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441228 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082689460 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 203 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380516 3080088108 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 203 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380516 3080088204 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380832 3086150350 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688234 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388255 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 205 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 205 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400732 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441209 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396672 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 207 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388219 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 207 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388253 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687912 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084398804 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688868 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 209 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380396 3082676696 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 209 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690455 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690494 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082689785 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 211 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388255 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 211 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687892 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688274 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 213 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688059 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 213 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380752 3086225212 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388255 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086227057 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 215 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687849 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 215 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441271 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380672 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380592 3086229927 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 217 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380384 3082688918 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 217 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687867 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687867 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690790 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 219 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687908 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 219 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082688234 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688093 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687785 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 221 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3084388199 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 221 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380576 3084388313 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380476 3082677223 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380512 3082688097 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396992 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 223 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084396707 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 223 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687870 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082688090 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380528 3085441252 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 225 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380400 3084400670 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 225 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380720 3086227046 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380480 3082687881 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380476 3082677223 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10030673 7495680 523 4294967295 134512640 134538271 3213381760 3213380224 3082690051 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 227 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687919 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 227 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687878 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 229 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 229 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084401015 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396799 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380524 3082687744 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 231 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086227855 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 231 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441155 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380784 3086228480 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687797 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 233 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084400711 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 233 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380712 3084396513 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441265 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380524 3082676648 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 235 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084400965 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 235 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082689159 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082689722 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226841 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082688012 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 237 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082688083 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 237 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082688418 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441256 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687776 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388253 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 239 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 239 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084400676 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082688403 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388281 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 241 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687849 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 241 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687960 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084399804 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687829 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687837 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 243 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 243 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687829 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687884 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687843 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380752 3086225285 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 245 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380656 3082687625 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 245 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388126 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380592 3086229766 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687803 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 247 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 247 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388219 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687884 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441271 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084400660 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 249 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388262 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 249 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687776 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084387988 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082688262 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082690069 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 251 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082688050 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 251 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687914 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380572 3084388310 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3084401062 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380672 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 253 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082688059 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 253 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687867 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380656 3082687588 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687997 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687776 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 255 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380780 3086224490 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 255 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441165 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388040 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380640 3082686488 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 257 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380640 3082686536 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 257 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380216 3084360084 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082688006 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082688302 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380396 3082688208 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 259 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226841 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 259 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084400684 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441203 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380508 3082687750 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 261 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082690117 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 261 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687764 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396541 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082690805 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687794 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 263 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388253 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 263 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082688854 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086227066 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082690085 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 265 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082689159 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 265 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082688827 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441246 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396719 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441246 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 267 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380392 3082688209 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 267 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082688302 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396727 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380672 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396747 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 269 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 269 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086227804 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380476 3082677226 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388048 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687908 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 271 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 271 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086227030 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380516 3082687748 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082688063 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 273 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687892 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 273 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396659 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687849 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396555 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380672 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 275 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388296 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 275 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687858 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086227030 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082688418 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380752 3086225293 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 277 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 277 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388257 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380220 3082677226 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086227040 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086227684 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 279 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380396 3082677223 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 279 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441256 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388184 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082688846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396724 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 281 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380520 3082688074 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 281 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380752 3086225230 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380656 3082687085 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441274 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441225 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 283 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687849 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 283 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226886 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380656 3082687146 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 285 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084400670 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 285 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226850 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396546 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 287 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086227080 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 287 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388307 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396724 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082688178 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084396738 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 289 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380224 3082689218 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 289 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226883 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380524 3082676648 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388219 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687867 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 291 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441216 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 291 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388168 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687852 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687914 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 293 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082688090 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 293 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380752 3086225285 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226891 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380516 3080088184 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687908 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 295 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380512 3082688097 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 295 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226835 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380672 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084400676 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441237 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 297 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388247 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 297 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3084388262 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380672 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380400 3084399830 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 299 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687846 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 299 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226835 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687858 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226848 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380752 3086225265 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 301 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380720 3086226914 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 301 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380528 3085441239 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1009 0 0 0 302 0 0 0 25 0 1 0 10030673 7495680 524 4294967295 134512640 134538271 3213381760 3213380480 3082687908 0 0 4096 0 0 0 0 17 0 0 0 0
30639 (gecode-qwh) R 30638 27426 24421 34816 27426 4202496 1023 0 0 0 302 0 0 0 25 0 1 0 10030673 7499776 538 4294967295 134512640 134538271 3213381760 3213380896 3081823079 0 0 4096 0 0 0 0 17 0 0 0 0
