30635 (sh) R 30634 27426 24421 34816 27426 4194304 454 0 0 0 0 0 0 0 18 0 1 0 10030379 3649536 343 4294967295 134512640 135191968 3215733424 3215732556 134664128 0 0 4100 65536 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 905 0 0 0 0 0 0 0 18 0 1 0 10030379 7028736 423 4294967295 134512640 134538271 3214524832 3214523412 3079890158 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 975 0 0 0 1 0 0 0 23 0 1 0 10030379 7327744 492 4294967295 134512640 134538271 3214524832 3214523792 3086026179 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 1 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3084187410 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 2 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 2 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3085240561 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 2 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487215 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 3 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523472 3084199980 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 3 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487204 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 4 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082489384 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 4 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082487558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 4 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523792 3086026179 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 5 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 5 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487204 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3084187349 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082489365 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 7 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082489090 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 7 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523792 3086026179 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 8 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487215 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 8 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082488140 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 8 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 9 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523580 3082487046 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 9 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487151 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 10 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523472 3084198162 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 10 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523824 3086024648 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 10 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3085240542 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 11 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523792 3086026342 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 11 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523588 3082487394 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 12 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487379 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 12 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523472 3084196043 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 12 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523472 3084200028 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 13 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 13 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082487546 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 14 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3085240527 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 14 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523472 3084195959 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 14 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487109 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 15 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082489373 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 15 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082489474 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 16 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487219 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 16 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487215 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 16 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523792 3086026322 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 17 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3084187515 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 17 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523824 3086024532 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 18 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487166 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 18 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3084187515 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 18 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523900 3085939408 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 19 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523792 3086026144 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 19 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3084187512 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 20 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082488129 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 20 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523904 3085950378 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 20 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3084187467 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 21 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 21 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523792 3086026328 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 22 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523472 3084199972 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 22 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3084187531 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 22 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3085240451 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 23 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523472 3084198141 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 23 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523472 3084195909 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 24 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487177 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 24 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523596 3082487371 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 24 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3084187543 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 25 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082489421 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 25 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523296 3082489312 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 26 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3084187551 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 26 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487111 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 26 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 27 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523740 3086028624 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 27 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523472 3084200028 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 28 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 28 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 28 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523660 3084187264 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 993 0 0 0 29 0 0 0 23 0 1 0 10030379 7327744 510 4294967295 134512640 134538271 3214524832 3214523552 3082487055 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 29 0 0 0 23 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082487558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 30 0 0 0 23 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487166 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 30 0 0 0 23 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523792 3084200385 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 30 0 0 0 23 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487302 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 31 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082488131 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 31 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487290 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 32 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187551 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 32 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487204 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 33 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487111 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 33 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187592 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 34 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523288 3084159361 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 34 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487215 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 34 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082487558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 35 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240567 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 35 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523792 3086026144 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 36 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084199980 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 36 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082489365 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 36 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487223 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 37 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523584 3082487393 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 37 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 38 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523464 3082487505 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 38 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082487543 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 38 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523792 3086026137 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 39 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084196043 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 39 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082488534 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 40 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082489509 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 40 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 40 0 0 0 24 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084196003 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 41 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523792 3086026187 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 41 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084200333 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 42 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240542 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 42 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487337 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 42 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 43 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187487 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 43 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 44 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487208 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 44 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187551 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 44 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487221 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 45 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487130 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 45 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523792 3086026187 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 46 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487099 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 46 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082487880 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 46 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523904 3085949926 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 47 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084198117 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 47 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 48 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523588 3082487044 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 48 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523596 3082476519 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 48 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082487576 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 49 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523792 3084200380 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 49 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 50 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487166 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 50 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084196083 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 50 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082488131 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 51 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 51 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 52 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082487546 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 52 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 52 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240451 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 53 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523744 134529195 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 53 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084198117 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 54 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523824 3086024603 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 54 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523548 3082476519 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 54 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084200028 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 55 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084199126 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 55 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487142 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 56 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523784 3084196320 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 56 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084200009 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 56 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523664 3086028825 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 57 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 57 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523824 3086024479 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 58 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240564 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 58 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487136 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 58 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187561 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 59 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523464 3082488216 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 59 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082489312 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 60 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487119 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 60 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487386 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 60 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487166 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 61 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082488123 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 61 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082488137 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 62 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523792 3086026137 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 62 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 62 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084196080 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 63 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187540 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 63 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187515 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 64 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487125 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 64 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187521 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 64 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 65 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523792 3086026187 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 65 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 66 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487136 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 66 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523596 3082487396 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 66 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082487546 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 67 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082489835 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 67 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523772 3079894575 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 68 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 68 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523660 3084187612 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 68 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487156 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 69 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082489386 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 69 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082488123 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 70 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487072 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 70 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084196058 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 70 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487293 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 71 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082488450 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 71 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187477 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 72 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187493 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 72 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523792 3086026344 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 72 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487060 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 73 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487142 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 73 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084196034 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 74 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084200007 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 74 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240461 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 74 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082489874 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 75 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523792 3086026353 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 75 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3084187549 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 76 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523472 3084199977 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 76 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487142 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 76 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523296 3082487555 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 77 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523824 3086024449 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 77 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487156 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 78 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523600 3085240521 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 999 0 0 0 78 0 0 0 25 0 1 0 10030379 7491584 516 4294967295 134512640 134538271 3214524832 3214523552 3082487072 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 78 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487232 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 79 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084200028 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 79 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199130 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 80 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187592 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 80 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187521 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 80 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 81 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523728 3082486925 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 81 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199975 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 82 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529229 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 82 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084195839 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 82 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487264 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 83 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187551 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 83 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487361 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 84 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026144 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 84 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523588 3082487044 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 84 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523664 3086029163 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 85 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084196058 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 85 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084198114 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 86 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240542 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 86 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487183 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 86 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529195 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 87 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487474 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 87 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487359 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 88 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523460 3082487508 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 88 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488587 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 88 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240542 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 89 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 89 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082487723 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 90 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187577 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 90 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523580 3082487367 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 90 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199112 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 91 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523728 3082486339 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 91 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487258 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 92 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 92 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 92 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489410 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 93 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523664 3086029132 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 93 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 94 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487139 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 94 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199963 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 94 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487247 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 95 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523596 3082487371 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 95 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 96 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487337 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 96 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523808 3084757162 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 96 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082487570 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 97 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082487555 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 97 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489474 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 98 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487210 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 98 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 98 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487310 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 99 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 99 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523824 3086024603 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 100 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082487688 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 100 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082487558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 100 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240464 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 101 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 101 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026980 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 102 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 102 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488123 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 102 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523548 3082476519 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 103 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 103 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487156 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 104 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488126 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 104 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487180 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 104 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199982 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 105 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 105 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523292 3084159344 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 106 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026397 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 106 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187549 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 106 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 107 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240530 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 107 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 108 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187471 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 108 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487188 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 108 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489159 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 109 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084195965 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 109 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487060 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 110 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084196020 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 110 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 110 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488145 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 111 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487166 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 111 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487111 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 112 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 112 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026204 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 112 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488587 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 113 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523596 3082487040 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 113 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487072 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 114 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026394 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 114 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523596 3082487040 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 114 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187456 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 115 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187365 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 115 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 116 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199090 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 116 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487109 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 116 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187467 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 117 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488505 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 117 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 118 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487346 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 118 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187531 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 118 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084195965 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 119 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084195995 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 119 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 120 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489272 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 120 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523776 134528965 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 120 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 121 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523824 3086024508 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 121 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240505 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 122 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 122 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487139 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 122 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187515 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 123 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523588 3082487044 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 123 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487177 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 124 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086027151 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 124 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187450 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 124 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523452 3082487510 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 125 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3084200403 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 125 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529220 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 126 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026128 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 126 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487474 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 126 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187512 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 127 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084196023 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 127 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240451 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 128 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187592 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 128 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529149 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 128 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 129 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082487720 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 129 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489480 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 130 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187477 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 130 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487310 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 130 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026342 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 131 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199975 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 131 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487308 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 132 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026344 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 132 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487166 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 132 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082487880 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 133 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523580 3082487046 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 133 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187592 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 134 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523784 3084196320 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 134 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489857 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 134 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026131 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 135 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 135 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487210 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 136 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240461 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 136 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489360 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 136 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523596 3082487040 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 137 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187531 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 137 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523596 3082487396 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 138 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187551 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 138 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026336 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 138 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487151 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 139 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488561 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 139 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 140 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026187 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 140 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187487 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 140 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487204 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 141 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199126 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 141 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026187 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 142 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 142 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487277 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 142 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 143 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 143 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 144 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523824 3086024501 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 144 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 144 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199126 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 145 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487133 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 145 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489365 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 146 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199956 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 146 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187553 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 146 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523292 3084159344 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 147 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489280 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 147 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489368 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 148 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 148 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187341 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 148 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529149 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 149 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523288 3084159380 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 149 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488227 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 150 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026137 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 150 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240542 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 150 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523452 3082487510 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 151 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523824 3086024592 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 151 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487133 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 152 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 152 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529152 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 152 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240567 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 153 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084195862 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 153 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187512 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 154 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 154 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084196083 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 154 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487310 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 155 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 155 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523548 3082476522 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 156 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187592 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 156 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523468 3082475992 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 156 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 157 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240530 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 157 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240451 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 158 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086027151 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 158 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187490 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 158 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523468 3082487504 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 159 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 159 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487204 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 160 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489384 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 160 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187555 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 160 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084195982 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 161 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487166 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 161 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240461 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 162 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082487530 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 162 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084195982 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 162 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 163 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199126 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 163 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489472 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 164 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187467 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 164 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3084200385 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 164 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487215 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 165 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523456 3082488214 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 165 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523712 3082485730 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 166 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523288 3084159375 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 166 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026353 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 166 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187390 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 167 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084195982 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 167 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199100 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 168 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 168 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523824 3086024592 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 168 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084196034 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 169 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489466 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 169 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488208 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 170 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523596 3082487040 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 170 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487364 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 170 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240461 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 171 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240533 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 171 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187515 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 172 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523596 3082475944 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 172 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487219 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 172 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 173 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489472 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 173 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187551 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 174 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487215 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 174 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487204 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 174 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199995 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 175 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187372 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 175 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199969 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 176 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026128 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 176 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187521 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 176 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 177 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487113 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 177 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084195965 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 178 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084200028 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 178 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529233 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 178 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084196026 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 179 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529233 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 179 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084196065 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 180 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 180 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523704 3084159350 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 180 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026218 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 181 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487194 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 181 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 182 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487060 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 182 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 182 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026187 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 183 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487310 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 183 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523292 3084159344 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 184 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026144 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 184 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084200028 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 184 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187555 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 185 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523580 3082487046 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 185 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187487 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 186 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487188 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 186 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 186 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026187 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 187 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082489020 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 187 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187586 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 188 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187515 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 188 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487060 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 188 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187601 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 189 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082487582 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 189 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084200028 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 190 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026131 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 190 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488505 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 190 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187551 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 191 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 191 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240539 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 192 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487111 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 192 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487166 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 192 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529220 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 193 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187580 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 193 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487161 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 194 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488210 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 194 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084200255 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 194 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240542 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 195 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187521 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 195 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187549 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 196 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187546 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 196 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487133 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 196 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487177 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 197 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084196001 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 197 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487250 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 198 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240539 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 198 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199112 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 198 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487183 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 199 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026356 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 199 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240505 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 200 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026336 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 200 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026342 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 200 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523592 3082487041 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 201 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488224 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 201 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199966 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 202 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487226 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 202 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487355 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 202 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487247 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 203 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523596 3082487040 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 203 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523288 3084159378 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 204 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187515 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 204 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026353 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 204 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523548 3082476519 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 205 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487148 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 205 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487180 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 206 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084196006 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 206 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523780 3084160092 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 206 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026190 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 207 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026322 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 207 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488753 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 208 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488281 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 208 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082488123 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 208 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199112 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 209 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523468 3082487504 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 209 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523596 3082487040 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 210 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523664 3086029138 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 210 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523296 3082487558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 210 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026210 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 211 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 211 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 212 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487125 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 212 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026179 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 212 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523824 3086024532 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 213 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084195857 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 213 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523472 3084199112 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 214 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523792 3086026144 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 214 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523580 3082487046 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 214 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487386 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 215 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187551 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 215 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 216 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523744 134529143 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 216 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523600 3084187441 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1005 0 0 0 216 0 0 0 25 0 1 0 10030379 7491584 522 4294967295 134512640 134538271 3214524832 3214523552 3082487055 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 217 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240570 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 217 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084199953 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 218 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082487546 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 218 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487136 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 218 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026131 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 219 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523808 3084757165 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 219 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240461 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 220 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487215 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 220 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240537 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 220 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240533 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 221 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523824 3086024449 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 221 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487060 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 222 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489801 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 222 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523716 3082485838 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 222 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240552 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 223 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489147 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 223 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523288 3084159345 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 224 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187549 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 224 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084199977 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 224 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487474 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 225 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084200305 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 225 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523760 3079885259 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 226 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487093 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 226 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523744 134529152 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 226 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082487558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 227 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240561 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 227 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026179 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 228 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487174 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 228 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026190 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 228 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489384 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 229 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523460 3082487508 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 229 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026187 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 230 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084199148 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 230 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187487 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 230 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187515 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 231 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 231 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487136 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 232 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082488505 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 232 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487204 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 232 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523852 3086023783 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 233 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 233 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523724 3084159344 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 234 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489018 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 234 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026353 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 234 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026144 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 235 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523452 3082488213 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 235 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240527 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 236 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489365 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 236 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523712 3082485776 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 236 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 237 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240533 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 237 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523664 3086029122 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 238 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487142 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 238 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240524 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 238 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026144 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 239 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084195957 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 239 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 240 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489360 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 240 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240512 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 240 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187551 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 241 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523856 3086027785 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 241 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187487 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 242 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523456 3082488214 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 242 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487219 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 242 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523584 3082487045 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 243 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523824 3086024387 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 243 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187583 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 244 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487113 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 244 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082488153 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 244 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523780 3084195812 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 245 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082488227 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 245 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487310 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 246 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487142 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 246 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 246 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523824 3086024817 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 247 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084200293 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 247 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187471 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 248 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487472 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 248 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487204 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 248 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523744 134529208 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 249 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026353 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 249 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026131 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 250 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523592 3082487370 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 250 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487355 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 250 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487277 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 251 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487139 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 251 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082487546 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 252 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523744 134529233 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 252 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487072 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 252 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489796 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 253 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240453 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 253 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523728 3082486421 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 254 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487188 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 254 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026344 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 254 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240539 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 255 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487202 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 255 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084199126 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 256 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240502 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 256 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240561 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 256 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187352 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 257 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487296 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 257 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487072 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 258 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489474 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 258 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523596 3082476519 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 258 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240548 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 259 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026980 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 259 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487060 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 260 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523596 3082487040 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 260 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026128 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 260 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082487546 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 261 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240464 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 261 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487337 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 262 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487269 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 262 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489796 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 262 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082488528 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 263 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082487877 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 263 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523824 3084742907 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 264 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026218 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 264 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084199963 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 264 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489081 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 265 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187528 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 265 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082488156 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 266 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489474 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 266 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487183 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 266 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082488210 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 267 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084200339 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 267 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084200305 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 268 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487055 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 268 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523588 3082487044 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 268 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487359 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 269 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240533 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 269 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187515 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 270 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240499 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 270 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487168 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 270 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084196023 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 271 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240561 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 271 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187487 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 272 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082487558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 272 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084199972 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 272 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026353 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 273 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026144 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 273 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187540 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 274 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084196001 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 274 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523840 3086025626 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 274 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487171 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 275 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187487 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 275 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240451 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 276 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084199126 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 276 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487215 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 276 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 277 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487204 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 277 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084198100 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 278 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487183 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 278 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487145 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 278 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 279 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487343 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 279 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084195865 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 280 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523824 3086024592 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 280 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523804 3084695099 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 280 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487168 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 281 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3085240535 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 281 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523596 3082487040 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 282 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026336 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 282 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523792 3086026131 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 282 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187515 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 283 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487328 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 283 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 284 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523744 134529275 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 284 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487136 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 284 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187558 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 285 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487139 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 285 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084200009 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 286 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523296 3082489347 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 286 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084200028 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 286 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523600 3084187487 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 287 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523292 3084159344 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 287 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523552 3082487060 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 288 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523712 3082485755 0 0 4096 0 0 0 0 17 1 0 0 0
30635 (gecode-qwh) R 30634 27426 24421 34816 27426 4202496 1006 0 0 0 288 0 0 0 25 0 1 0 10030379 7491584 523 4294967295 134512640 134538271 3214524832 3214523472 3084199985 0 0 4096 0 0 0 0 17 1 0 0 0
