31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4194304 485 0 0 0 0 0 0 0 20 0 1 0 10038602 245760 26 4294967295 134512640 134538271 3220719488 3220717240 3086326875 0 0 4096 0 0 0 0 17 1 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 973 0 0 0 0 0 0 0 20 0 1 0 10038602 7327744 490 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 1 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 20 0 1 0 10038602 7327744 501 4294967295 134512640 134538271 3220719488 3220718208 3082724634 0 0 4096 0 0 0 0 17 1 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 984 0 0 0 2 0 0 0 20 0 1 0 10038602 7327744 501 4294967295 134512640 134538271 3220719488 3220718256 3085478086 0 0 4096 0 0 0 0 17 1 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 997 0 0 0 3 0 0 0 20 0 1 0 10038602 7491584 514 4294967295 134512640 134538271 3220719488 3220718400 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 20 0 1 0 10038602 7491584 519 4294967295 134512640 134538271 3220719488 3220718256 3085478095 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1003 0 0 0 4 0 0 0 23 0 1 0 10038602 7491584 520 4294967295 134512640 134538271 3220719488 3220718256 3085478089 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1003 0 0 0 5 0 0 0 23 0 1 0 10038602 7491584 520 4294967295 134512640 134538271 3220719488 3220718560 3086187117 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1003 0 0 0 6 0 0 0 23 0 1 0 10038602 7491584 520 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1003 0 0 0 7 0 0 0 23 0 1 0 10038602 7491584 520 4294967295 134512640 134538271 3220719488 3220718208 3082724681 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 8 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718464 3084994656 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 8 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433407 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 9 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718384 3082723819 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 10 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724734 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 11 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425035 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 12 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433826 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 12 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724690 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 13 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724716 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 14 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529136 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 15 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718252 3082724964 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 16 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724954 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 16 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 17 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 18 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425086 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 19 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724745 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 20 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425126 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 20 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724734 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 21 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 22 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724887 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 23 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718252 3082724939 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 24 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437531 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 24 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718552 3084941800 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 25 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437543 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 26 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084424958 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 27 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724727 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 28 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263894 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 28 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425045 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 29 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724664 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 30 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724722 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 31 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433560 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 32 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478124 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 32 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724704 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 33 0 0 0 23 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718464 3084994771 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 34 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724923 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 35 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726886 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 36 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437548 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 36 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425035 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 37 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433550 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 38 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718428 3084433382 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 39 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726129 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 40 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 40 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 41 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478092 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 42 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 43 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478110 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 44 0 0 0 24 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724884 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 44 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726697 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 45 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724826 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 46 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717944 3084396921 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 47 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084424940 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 48 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084424933 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 48 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263699 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 49 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718464 3084994733 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 50 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478129 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 51 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425119 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 52 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 52 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724698 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 53 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425119 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 54 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437543 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 55 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718396 3080132032 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 56 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718116 3082725076 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 56 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437524 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 57 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724947 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 58 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724947 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 59 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726321 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 60 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478073 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 60 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724854 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 61 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425048 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 62 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433536 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 63 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 64 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718480 3086262399 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 64 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437543 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 65 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718416 3080121986 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 66 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726141 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 67 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718560 3086188239 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 68 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478110 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 68 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 69 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263747 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 70 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724628 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 71 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726339 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 72 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086264505 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 72 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425035 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 73 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 74 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718236 3082724614 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 75 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084424964 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 76 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724864 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 76 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718364 3080132069 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 77 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726715 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 78 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433816 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 79 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724701 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 80 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718416 3080122824 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 80 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437596 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 81 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 82 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718560 3086188050 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 83 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724640 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 84 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433416 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 84 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724947 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 85 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478129 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 86 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724845 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 87 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3084437948 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 88 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725858 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 88 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718460 3084932667 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 89 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433856 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 90 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433536 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 91 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726333 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 92 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437543 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 92 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425080 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 93 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263699 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 94 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263712 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 95 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 96 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718368 3082722646 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 96 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082727337 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 97 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718384 3082724279 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 98 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724667 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 99 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724756 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 100 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 100 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425035 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 101 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529125 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 102 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724652 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 103 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 104 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726931 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 104 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718480 3086262436 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 105 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 106 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726968 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 107 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726989 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 108 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724954 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 108 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718244 3082724962 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 109 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718416 3080122042 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 110 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 111 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 112 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718320 3086266694 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 112 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718560 3086187062 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 113 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724870 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 114 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724661 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 115 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724716 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 116 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 116 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726588 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 117 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724745 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 118 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478101 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 118 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 119 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 120 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724944 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 121 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086264716 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 122 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725288 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 122 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433563 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 123 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718240 3082724961 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 124 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 125 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 126 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433788 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 126 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724716 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 127 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 128 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724927 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 129 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433550 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 130 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724677 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 130 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725721 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 131 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718480 3086262017 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 132 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726954 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 133 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718476 3082724346 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 134 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3084437953 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 134 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263747 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 135 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 136 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724696 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 137 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082725040 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 138 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726894 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 138 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 139 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 140 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437534 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 141 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724713 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 142 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425045 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 142 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086264475 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 143 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425117 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 144 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724677 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 145 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724864 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 146 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724713 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 146 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263921 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 147 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 148 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718384 3082724039 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 149 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726989 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 150 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724640 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 150 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718556 3086261936 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 151 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724667 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 152 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 153 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724667 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 154 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718364 3080132143 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 154 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478105 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 155 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726952 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 156 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433651 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 157 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718204 3082714087 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 158 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 158 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 159 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725098 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 160 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425048 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 161 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718432 3084433381 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 162 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478019 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 162 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724693 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 163 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437596 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 164 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263921 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 165 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724954 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 166 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478120 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 166 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718360 3084396948 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 167 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718248 3082724609 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 168 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724628 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 169 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 170 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 170 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718112 3082725782 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 171 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084435738 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 172 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263699 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 173 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263714 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 174 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725691 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 174 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718204 3082714087 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 175 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724696 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 176 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718252 3082724964 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 177 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 178 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718540 3080124304 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 178 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724704 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 179 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718432 3084433381 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 180 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724864 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 181 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724677 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 182 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724783 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 182 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724661 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 183 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478101 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 184 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433796 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 185 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 186 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437901 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 186 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724861 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 187 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433714 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 188 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725795 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 189 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725442 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 190 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718384 3082723907 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 190 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718244 3082724612 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 191 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082727337 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 192 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425099 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 193 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437563 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 194 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718560 3086187686 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 194 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726931 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 195 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425136 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 196 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725778 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 197 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263760 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 198 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 198 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 199 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 200 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 201 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084424942 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 202 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718252 3082724608 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 202 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724776 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 203 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718240 3082724961 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 204 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084424942 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 205 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724923 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 206 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478129 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 206 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 207 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263714 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 208 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478083 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 209 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 210 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718320 3086266706 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 210 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724783 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 211 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724628 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 212 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726109 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 213 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478101 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 214 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724878 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 214 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084436668 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 215 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425045 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 216 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433591 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 217 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724701 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 218 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725123 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 218 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 219 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718560 3086188873 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 220 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724765 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 221 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437545 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 222 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425055 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 222 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724661 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 223 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 224 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718476 3084437977 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 225 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425119 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 226 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718240 3082724613 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 226 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433788 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 227 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425140 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 228 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086264674 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 229 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718244 3082724612 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 230 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718236 3082724614 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 230 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478101 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 231 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263921 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 232 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 233 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478138 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 234 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478019 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 234 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726936 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 235 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084435674 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 236 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263755 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 237 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726135 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 238 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263705 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 238 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726096 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 239 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718204 3082714087 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 240 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718248 3082724963 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 241 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437540 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 242 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 242 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724794 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 243 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263699 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 244 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433410 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 245 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425119 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 246 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084435668 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 246 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263755 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 247 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478023 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 248 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718444 3084433376 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 249 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724628 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 250 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718304 3084425177 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 250 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724772 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 251 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724667 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 252 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724628 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 253 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718560 3086188673 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 254 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724719 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 254 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437596 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 255 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433651 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 256 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263781 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 257 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718124 3082725072 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 258 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425163 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 258 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725092 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 259 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724845 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 260 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086264523 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 261 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437543 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 262 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724677 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 262 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433536 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 263 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263699 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 264 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425145 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 265 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425037 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 266 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718244 3082724612 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 266 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724742 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 267 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 268 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478129 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 269 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718252 3082724608 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 270 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 270 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724864 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 271 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 272 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725117 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 273 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724628 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 274 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478067 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 274 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724681 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 275 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433550 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 276 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718252 3082724608 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 277 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725126 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 278 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433623 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 278 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718204 3082714087 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 279 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263962 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 280 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263758 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 281 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724719 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 282 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724748 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 282 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724679 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 283 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478124 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 284 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478067 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 285 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724870 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 286 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 286 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724824 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 287 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718240 3082724613 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 288 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724762 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 289 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 290 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724628 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 290 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 291 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718240 3082724613 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 292 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263699 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 293 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084436694 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 294 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437545 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 294 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433816 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 295 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437566 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 296 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263755 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 297 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724687 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 298 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724701 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 298 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425000 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 299 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478098 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 300 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724920 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 301 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725156 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 302 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724701 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 302 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263699 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 303 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263910 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 304 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437596 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 305 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724824 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 306 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724878 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 306 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433826 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 307 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478029 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 308 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724722 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 309 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718204 3082714087 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 310 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718112 3082725782 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 310 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724783 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 311 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 312 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433651 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 313 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724864 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 314 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 314 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718252 3082713512 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 315 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478029 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 316 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724914 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 317 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726819 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 318 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 318 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425083 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 319 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718236 3082724614 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 320 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 321 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478135 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 322 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725141 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 322 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725153 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 323 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478107 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 324 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478067 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 325 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 326 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724698 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 326 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724778 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 327 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724628 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 328 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084436698 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 329 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082727310 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 330 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425119 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 330 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437907 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 331 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718236 3082724614 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 332 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718252 3082713512 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 333 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082728256 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 334 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718112 3082725077 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 334 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724745 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 335 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718384 3082723957 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 336 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478067 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 337 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718244 3082724612 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 338 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718248 3082724963 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 338 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478067 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 339 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718444 3084433376 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 340 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263747 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 341 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724693 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 342 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263910 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 342 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425099 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 343 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478086 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 344 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425108 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 345 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718556 3086176592 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 346 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425063 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 346 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 347 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718480 3086262157 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 348 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724652 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 349 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 350 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725721 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 350 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086264514 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 351 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433523 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 352 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724719 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 353 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718460 3084932609 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 354 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437543 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 354 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724927 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 355 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478110 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 356 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724923 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 357 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 358 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718252 3082724608 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 358 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718244 3082724612 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 359 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 360 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724947 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 361 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478064 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 362 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084433563 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 362 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478083 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 363 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478023 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 364 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478135 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 365 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726995 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 366 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 366 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724628 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 367 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724858 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 368 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718368 3082723764 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 369 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724710 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 370 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263921 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 370 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718384 3082723917 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 371 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425045 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 372 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437531 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 373 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086264719 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 374 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718400 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 374 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726129 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 375 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425126 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 376 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724957 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 377 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725995 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 378 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724864 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 378 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726947 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 379 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718240 3082724613 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 380 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726096 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 381 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263747 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 382 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263755 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 382 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725708 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 383 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724781 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 384 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724745 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 385 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726915 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 386 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082727042 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 386 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 387 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718368 3082723272 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 388 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437524 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 389 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082727034 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 390 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726073 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 390 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724923 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 391 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084437596 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 392 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425009 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 393 0 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478107 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 393 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263755 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 394 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478138 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 395 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084424940 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 396 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724927 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 396 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478064 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 397 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724878 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 398 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082726933 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 399 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084435668 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 400 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718448 3086263755 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 400 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724661 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 401 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718208 3082724812 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 402 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725699 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 403 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3085478103 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 404 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220717952 3082725708 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 404 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425035 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 405 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718256 3084425099 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 406 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718128 3084436674 0 0 4096 0 0 0 0 17 0 0 0 0
31099 (gecode-qwh) R 31098 27426 24421 34816 27426 4202496 1015 0 0 0 407 1 0 0 25 0 1 0 10038602 7491584 532 4294967295 134512640 134538271 3220719488 3220718252 3082724964 0 0 4096 0 0 0 0 17 0 0 0 0
