31367 (sh) R 31366 27426 24421 34816 27426 4194304 435 0 0 0 0 0 0 0 20 0 1 0 10040831 3649536 324 4294967295 134512640 135191968 3218062576 3218061812 3085171438 0 0 4100 65536 0 0 0 17 1 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 20 0 1 0 10040831 7331840 496 4294967295 134512640 134538271 3216501632 3216500096 3083114833 0 0 4096 0 0 0 0 17 1 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 986 0 0 0 1 0 0 0 20 0 1 0 10040831 7331840 502 4294967295 134512640 134538271 3216501632 3216500400 3084814168 0 0 4096 0 0 0 0 17 1 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 986 0 0 0 2 0 0 0 20 0 1 0 10040831 7331840 502 4294967295 134512640 134538271 3216501632 3216500096 3083114898 0 0 4096 0 0 0 0 17 1 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 992 0 0 0 2 0 0 0 20 0 1 0 10040831 7331840 508 4294967295 134512640 134538271 3216501632 3216500272 3084826999 0 0 4096 0 0 0 0 17 1 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 992 0 0 0 3 0 0 0 20 0 1 0 10040831 7331840 508 4294967295 134512640 134538271 3216501632 3216500352 3083113914 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 992 0 0 0 3 0 0 0 20 0 1 0 10040831 7331840 508 4294967295 134512640 134538271 3216501632 3216500352 3083113830 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 992 0 0 0 4 0 0 0 20 0 1 0 10040831 7331840 508 4294967295 134512640 134538271 3216501632 3216500096 3083115974 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 997 0 0 0 4 0 0 0 20 0 1 0 10040831 7495680 513 4294967295 134512640 134538271 3216501632 3216500452 3084814298 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 20 0 1 0 10040831 7495680 514 4294967295 134512640 134538271 3216501632 3216500512 3083111786 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 998 0 0 0 5 0 0 0 23 0 1 0 10040831 7495680 514 4294967295 134512640 134538271 3216501632 3216500592 3086652819 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 998 0 0 0 5 0 0 0 23 0 1 0 10040831 7495680 514 4294967295 134512640 134538271 3216501632 3216500400 3085867236 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1015 0 0 0 6 0 0 0 23 0 1 0 10040831 7495680 531 4294967295 134512640 134538271 3216501632 3216500352 3083113833 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1015 0 0 0 6 0 0 0 23 0 1 0 10040831 7495680 531 4294967295 134512640 134538271 3216501632 3216500584 134528961 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 6 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867143 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 7 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113824 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 7 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500512 3083111809 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 8 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113938 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 8 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113830 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 8 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500388 3083114082 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 9 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500592 3086652867 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 9 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500096 3083114896 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 10 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500624 3086651269 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 10 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113781 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 10 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867223 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 11 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867249 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 11 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867203 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 12 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083114160 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 12 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3084814175 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 12 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867187 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 13 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867143 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 13 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113810 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 14 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113830 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 14 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500592 3086652819 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 14 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500604 3085321787 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 15 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3084814243 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 15 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867249 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 16 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500272 3084822714 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 16 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500096 3083116032 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 16 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500512 3083111783 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 17 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500272 3084825800 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 17 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500384 3083114081 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 18 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113868 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 18 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500544 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 18 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500544 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 19 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113760 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 19 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500624 3086651149 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 20 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500592 3086653014 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 20 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083114047 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 20 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867209 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 21 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113978 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 21 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500096 3083116445 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 22 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500272 3084824823 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 22 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500592 3086652825 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 22 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113914 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 23 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113854 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 23 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500272 3084822694 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 24 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867212 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 24 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083114043 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 24 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500592 3086653024 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 25 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500528 3083113124 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 25 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113993 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 26 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500096 3083114825 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 26 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500592 3086653632 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 26 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500608 3085383855 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 27 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113748 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 27 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113871 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 28 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500576 134528965 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 28 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3084814203 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 28 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113996 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 29 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500096 3083116531 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 29 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3084814239 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 30 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500272 3084826716 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 30 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113862 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 30 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867223 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 31 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083113836 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 31 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3085867215 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 32 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500400 3084814175 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 32 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500352 3083114074 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202496 1016 0 0 0 32 0 0 0 23 0 1 0 10040831 7495680 532 4294967295 134512640 134538271 3216501632 3216500396 3083114084 0 0 4096 0 0 0 0 17 0 0 0 0
31367 (gecode-qwh) R 31366 27426 24421 34816 27426 4202500 1031 0 0 0 32 0 0 0 23 0 1 0 10040831 0 0 4294967295 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 0
