31326 (sh) R 31325 27426 24421 34816 27426 4194304 183 0 0 0 0 0 0 0 18 0 1 0 10040398 2682880 95 4294967295 134512640 135191968 3217343552 3217341792 3086436192 0 0 4096 0 0 0 0 17 1 0 0 0

31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 982 0 0 0 0 0 0 0 18 0 1 0 10040398 7327744 497 4294967295 134512640 134538271 3218042096 3218041008 134529143 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 1 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544507 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 2 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040556 3082533866 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 2 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297862 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 3 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040560 3082547086 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544486 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3084244628 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3084244875 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544404 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297883 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041056 3086083680 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544437 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041008 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3084244893 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040736 3084253309 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040736 3084257319 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040736 3084253299 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 14 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297874 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 14 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297877 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 15 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040560 3082546691 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297797 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 17 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544457 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 18 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041056 3086083523 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 18 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3084244628 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 19 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3084244899 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 20 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040560 3082544868 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 21 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544477 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 22 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040972 3079951886 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 22 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040736 3084257300 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 23 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041168 3086006859 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544703 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 24 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297849 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 25 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040564 3082546783 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041056 3086083697 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 26 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041008 134529195 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 27 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041056 3086083531 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 27 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297859 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 28 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544477 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 28 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544453 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 29 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040560 3082544887 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 30 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297911 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 30 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041008 134529159 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 31 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297879 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 31 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040560 3082546715 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544492 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 32 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297879 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 33 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544404 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 33 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544483 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544483 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 34 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040848 3082544389 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 35 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544477 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 35 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041056 3086083554 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297843 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 36 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297886 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 37 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3085297879 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 37 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041056 3086083562 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041056 3086083531 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 38 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040812 3082533863 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 39 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040736 3084253370 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 39 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041056 3086083686 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 22 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040860 3082544740 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 40 0 0 0 23 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544554 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 41 0 0 0 23 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040816 3082544816 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 41 0 0 0 23 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040736 3084257307 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 42 0 0 0 23 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040736 3084253339 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 42 0 0 0 23 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3084244734 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 42 0 0 0 23 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041056 3086083490 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 43 0 0 0 23 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218041120 3086085379 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 43 0 0 0 23 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3084244641 0 0 4096 0 0 0 0 17 1 0 0 0
31326 (gecode-qwh) R 31325 27426 24421 34816 27426 4202496 1000 0 0 0 44 0 0 0 23 0 1 0 10040398 7491584 515 4294967295 134512640 134538271 3218042096 3218040864 3084244875 0 0 4096 0 0 0 0 17 1 0 0 0
