31346 (sh) R 31345 27426 24421 34816 27426 4194304 345 0 0 0 0 0 0 0 20 0 1 0 10040642 3112960 234 4294967295 134512640 135191968 3219668592 3219667792 3084251264 0 0 4100 0 0 0 0 17 1 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 978 0 0 0 0 0 0 0 20 0 1 0 10040642 7327744 495 4294967295 134512640 134538271 3219668608 3219667328 3082323316 0 0 4096 0 0 0 0 17 1 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 985 0 0 0 1 0 0 0 20 0 1 0 10040642 7327744 502 4294967295 134512640 134538271 3219668608 3219667324 3082312679 0 0 4096 0 0 0 0 17 1 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 985 0 0 0 1 0 0 0 20 0 1 0 10040642 7327744 502 4294967295 134512640 134538271 3219668608 3219667328 3082323220 0 0 4096 0 0 0 0 17 1 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 990 0 0 0 2 0 0 0 20 0 1 0 10040642 7327744 507 4294967295 134512640 134538271 3219668608 3219667520 134529195 0 0 4096 0 0 0 0 17 1 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 991 0 0 0 2 0 0 0 20 0 1 0 10040642 7327744 508 4294967295 134512640 134538271 3219668608 3219667376 3085076695 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 991 0 0 0 3 0 0 0 20 0 1 0 10040642 7327744 508 4294967295 134512640 134538271 3219668608 3219667328 3082323308 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 991 0 0 0 3 0 0 0 20 0 1 0 10040642 7327744 508 4294967295 134512640 134538271 3219668608 3219667568 3085863140 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 23 0 1 0 10040642 7491584 513 4294967295 134512640 134538271 3219668608 3219667072 3082325197 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 997 0 0 0 4 0 0 0 23 0 1 0 10040642 7491584 514 4294967295 134512640 134538271 3219668608 3219667376 3084023700 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 997 0 0 0 4 0 0 0 23 0 1 0 10040642 7491584 514 4294967295 134512640 134538271 3219668608 3219667328 3082323473 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 997 0 0 0 5 0 0 0 23 0 1 0 10040642 7491584 514 4294967295 134512640 134538271 3219668608 3219667376 3085076681 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1009 0 0 0 5 0 0 0 23 0 1 0 10040642 7491584 526 4294967295 134512640 134538271 3219668608 3219667376 3084023532 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1014 0 0 0 6 0 0 0 23 0 1 0 10040642 7491584 531 4294967295 134512640 134538271 3219668608 3219667372 3082312104 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1014 0 0 0 6 0 0 0 23 0 1 0 10040642 7491584 531 4294967295 134512640 134538271 3219668608 3219667328 3082323269 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 6 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323364 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 7 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667072 3082324587 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 7 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323331 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 8 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667072 3082324454 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 8 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076721 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 8 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667440 3085865298 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 9 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667436 3084023424 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 9 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667520 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 10 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323302 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 10 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076693 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 10 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323634 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 11 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667372 3082323556 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 11 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667248 3084032183 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 12 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667248 3084032142 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 12 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667568 3085862352 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 12 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323326 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 13 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667064 3083995510 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 13 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667368 3082323201 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 14 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3084023711 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 14 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076621 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 14 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323269 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 15 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667564 3084031968 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 15 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323383 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 16 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076659 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 16 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667520 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 16 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323302 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 17 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667248 3084032069 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 17 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3084023547 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 18 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076724 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 18 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076695 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 18 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667072 3082324727 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 19 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667364 3082323554 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 19 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667248 3084032243 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 20 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3084023711 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 20 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076611 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 20 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323232 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 21 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076621 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 21 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667248 3084036132 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 22 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667568 3085862378 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 22 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667568 3085862502 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 22 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323269 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 23 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3084023675 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 23 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667372 3082323200 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 24 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323539 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 24 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667568 3085862339 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 24 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076665 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 25 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667424 3084023769 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 25 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076721 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 26 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076695 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 26 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667504 3082322491 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 26 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076702 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 27 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323319 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 27 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667300 3079724977 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 28 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323269 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 28 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667248 3084034277 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 28 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3084023532 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 29 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667064 3083995521 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 29 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667360 3082323205 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 30 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667568 3085862339 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 30 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076621 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 30 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3085076687 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 31 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667328 3082323229 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 31 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3084023681 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 32 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667520 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 32 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667376 3084023534 0 0 4096 0 0 0 0 17 0 0 0 0
31346 (gecode-qwh) R 31345 27426 24421 34816 27426 4202496 1015 0 0 0 32 0 0 0 23 0 1 0 10040642 7491584 532 4294967295 134512640 134538271 3219668608 3219667520 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
