31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4194304 499 0 0 0 0 0 0 0 20 0 1 0 10041166 421888 38 4294967295 134512640 134538271 3220156160 3220153460 3086348548 0 0 4096 0 0 0 0 17 1 0 0 0

31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 953 0 0 0 0 0 0 0 20 0 1 0 10041166 7163904 469 4294967295 134512640 134538271 3220156160 3220155228 3084916336 0 0 4096 0 0 0 0 17 1 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 971 0 0 0 0 0 0 0 20 0 1 0 10041166 7327744 487 4294967295 134512640 134538271 3220156160 3220154880 3082692102 0 0 4096 0 0 0 0 17 1 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 977 0 0 0 0 0 0 0 20 0 1 0 10041166 7327744 493 4294967295 134512640 134538271 3220156160 3220154800 3084400815 0 0 4096 0 0 0 0 17 1 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 983 0 0 0 1 0 0 0 20 0 1 0 10041166 7327744 499 4294967295 134512640 134538271 3220156160 3220154880 3082691893 0 0 4096 0 0 0 0 17 1 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 983 0 0 0 1 0 0 0 20 0 1 0 10041166 7327744 499 4294967295 134512640 134538271 3220156160 3220154928 3084392267 0 0 4096 0 0 0 0 17 1 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 20 0 1 0 10041166 7327744 505 4294967295 134512640 134538271 3220156160 3220154880 3082692179 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 20 0 1 0 10041166 7327744 505 4294967295 134512640 134538271 3220156160 3220154928 3085445335 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 20 0 1 0 10041166 7327744 505 4294967295 134512640 134538271 3220156160 3220155152 3084947808 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155120 3086231136 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155120 3086230987 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155120 3086231010 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 4 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154924 3082681322 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154800 3084400826 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154880 3082692015 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154880 3082691951 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154880 3082691980 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155120 3086230931 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 7 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154880 3082691948 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 7 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082695522 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154800 3084401026 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155072 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082694213 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 9 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155072 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 9 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082694889 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 10 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155120 3086231128 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 10 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154920 3082691841 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 10 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154928 3085445315 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 11 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082694163 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 11 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082693010 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 12 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154880 3082691985 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 12 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154876 3082681322 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 12 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082692358 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 13 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082692343 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 13 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155072 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 14 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082694078 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 14 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154928 3085445342 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 14 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154880 3082691893 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 15 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154880 3082692004 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 15 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082694126 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 16 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154800 3084400765 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 16 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154928 3084392351 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 16 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155072 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 17 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154912 3082691845 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 17 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082694217 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 18 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154928 3084392334 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 18 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154928 3084392118 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 18 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154928 3085445335 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 19 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154928 3084392343 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 19 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154800 3084400768 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 20 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154912 3082691845 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 20 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155116 3086228586 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 20 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154928 3085445251 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 21 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154928 3085445335 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 21 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082693551 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 22 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154876 3082681319 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 22 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154880 3082692004 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 22 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154624 3082693347 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 23 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220154928 3085445296 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 995 0 0 0 23 0 0 0 23 0 1 0 10041166 7327744 511 4294967295 134512640 134538271 3220156160 3220155072 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 23 0 1 0 10041166 7491584 517 4294967295 134512640 134538271 3220156160 3220155072 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 23 0 1 0 10041166 7491584 517 4294967295 134512640 134538271 3220156160 3220155072 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 23 0 1 0 10041166 7491584 517 4294967295 134512640 134538271 3220156160 3220155120 3086231744 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 23 0 1 0 10041166 7491584 517 4294967295 134512640 134538271 3220156160 3220154880 3082691966 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 23 0 1 0 10041166 7491584 517 4294967295 134512640 134538271 3220156160 3220154928 3084392340 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 23 0 1 0 10041166 7491584 517 4294967295 134512640 134538271 3220156160 3220154624 3082694217 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 23 0 1 0 10041166 7491584 517 4294967295 134512640 134538271 3220156160 3220155072 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 23 0 1 0 10041166 7491584 517 4294967295 134512640 134538271 3220156160 3220154800 3084403912 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1001 0 0 0 27 0 0 0 23 0 1 0 10041166 7491584 517 4294967295 134512640 134538271 3220156160 3220155120 3086230944 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1001 0 0 0 27 0 0 0 23 0 1 0 10041166 7491584 517 4294967295 134512640 134538271 3220156160 3220154880 3082691948 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 28 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3084392392 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 28 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154784 3082692309 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 28 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155120 3086230987 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 29 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082692105 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 29 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155120 3086230987 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 30 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154624 3082692361 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 30 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155152 3084947707 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 30 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691942 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 31 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445299 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 31 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154796 3082693017 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 32 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082692116 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 32 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154924 3082680744 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 32 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3084392340 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 33 0 0 0 23 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154800 3084401112 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 33 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154624 3082694324 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 34 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691951 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 34 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445335 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 34 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154624 3082694274 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 35 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445335 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 35 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691942 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 36 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082692015 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 36 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082692179 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 36 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154924 3082680744 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 37 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445335 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 37 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691893 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 38 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155120 3086231142 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 38 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082692189 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 38 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154624 3082692953 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 39 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155152 3084947638 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 39 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691963 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 40 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154924 3082680744 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 40 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691936 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 40 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691909 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 41 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155120 3086231153 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 41 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154624 3082693094 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 42 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445335 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 42 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445299 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 42 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3084392217 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 43 0 0 0 24 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154988 3084392412 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 43 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154624 3082692358 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 44 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155072 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 44 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155056 3082691505 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 44 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691966 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 45 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154624 3082692370 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 45 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155120 3086230944 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 46 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155120 3084405206 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 46 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154852 3080092344 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 46 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445251 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 47 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154800 3084404824 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 47 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154624 3082694147 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 48 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154796 3082692304 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 48 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082692032 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 48 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445342 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 49 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155088 3080089218 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 49 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154800 3084401036 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 50 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445324 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 50 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155120 3086230931 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 50 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691925 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 51 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445348 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 51 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154624 3082694147 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 52 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691909 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 52 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691985 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 52 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3084392349 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 53 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154876 3082681319 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 53 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445335 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 54 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154800 3084400642 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 54 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691948 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 54 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445333 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 55 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691884 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 55 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082692113 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 56 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445335 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 56 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155072 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 56 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3084392377 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 57 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155116 3084400608 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 57 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154916 3080092283 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 58 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154800 3084400631 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 58 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155120 3086230987 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 58 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082692105 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 59 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3084392241 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 59 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3084392353 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 60 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155120 3086231136 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 60 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691948 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 60 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155072 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 61 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155072 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 61 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154916 3080092256 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 62 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082692159 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 62 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154792 3082693016 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 62 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082692038 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 63 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154800 3084404756 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 63 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691983 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 64 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445364 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 64 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154800 3084400759 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 64 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155116 3084400608 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 65 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3085445305 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 65 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154800 3084400782 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 66 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220155104 3084400613 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 66 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154800 3084400639 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 66 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154852 3080093626 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 67 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154928 3084392287 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 67 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691988 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1007 0 0 0 68 0 0 0 25 0 1 0 10041166 7491584 523 4294967295 134512640 134538271 3220156160 3220154880 3082691866 0 0 4096 0 0 0 0 17 0 0 0 0
31395 (gecode-qwh) R 31394 27426 24421 34816 27426 4202496 1012 0 0 0 68 0 0 0 25 0 1 0 10041166 7491584 528 4294967295 134512640 134538271 3220156160 3220154928 3085445335 0 0 4096 0 0 0 0 17 0 0 0 0
