31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4194304 509 0 0 0 0 0 0 0 20 0 1 0 10042859 4259840 48 4294967295 134512640 134538271 3218081024 3218078564 3086627076 0 0 4096 0 0 0 0 17 1 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 951 0 0 0 0 0 0 0 20 0 1 0 10042859 7163904 467 4294967295 134512640 134538271 3218081024 3218079792 3085723783 0 0 4096 0 0 0 0 17 1 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 975 0 0 0 1 0 0 0 20 0 1 0 10042859 7327744 491 4294967295 134512640 134538271 3218081024 3218079792 3085723855 0 0 4096 0 0 0 0 17 1 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 20 0 1 0 10042859 7327744 503 4294967295 134512640 134538271 3218081024 3218079936 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 2 0 0 0 20 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218079920 3082969669 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 3 0 0 0 20 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218079792 3084670661 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 3 0 0 0 20 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 4 0 0 0 20 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 4 0 0 0 20 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218079792 3085723779 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 4 0 0 0 23 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218080012 3084683680 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 5 0 0 0 23 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218080016 3086507740 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 5 0 0 0 23 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218079744 3082970592 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218079488 3082970904 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218079744 3082970532 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10042859 7327744 509 4294967295 134512640 134538271 3218081024 3218079740 3082959850 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 7 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079664 3084679323 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 7 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079984 3086510238 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079792 3084670877 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079744 3082970647 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 8 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079744 3082970677 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 9 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079744 3082970671 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 9 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079772 3082970374 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 10 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079488 3082971833 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 10 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079792 3085723870 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 10 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079664 3084683300 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 11 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079792 3085723870 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 11 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079984 3086509515 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 12 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218080096 3086434153 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 12 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079744 3082970487 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 12 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079664 3084679351 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 13 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079964 3080377829 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 13 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079792 3084670859 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 14 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079792 3084670718 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 14 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079744 3082970505 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 14 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079792 3084670750 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 995 0 0 0 15 0 0 0 23 0 1 0 10042859 7327744 511 4294967295 134512640 134538271 3218081024 3218079488 3082972688 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970383 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079984 3086509672 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079984 3084683705 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079912 3084642692 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970470 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 17 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970630 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3084670825 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 18 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970530 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 19 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079488 3082972852 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079664 3084683303 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079488 3082972617 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 20 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079488 3082972834 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 21 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723827 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 21 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218080096 3086434259 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970479 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970638 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 22 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 23 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970674 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 23 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970597 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079664 3084679320 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3084670843 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 24 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079968 3084679141 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970470 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 25 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079480 3084642692 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079920 3082969764 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723865 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 26 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 27 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079488 3082972808 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 27 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079788 3082970368 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 28 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 28 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079856 3086512466 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 28 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723895 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 29 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3084670874 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 29 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079984 3086509704 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 30 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079776 3082970373 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 30 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723865 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 30 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079664 3084679159 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 31 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970467 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 31 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723827 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 32 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 32 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3084670868 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 32 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218080096 3086433815 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 33 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079788 3082959272 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 33 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 34 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079788 3082970724 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 34 0 0 0 23 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079488 3082971451 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 34 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079664 3084679296 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 35 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 35 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079480 3084642681 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 36 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723876 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 36 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723855 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 36 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723855 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 37 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723858 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 37 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970633 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 38 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079984 3086509664 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 38 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723855 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 38 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970437 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 39 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970400 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 39 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3084670843 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 40 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3084670840 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 40 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 40 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970470 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 41 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970409 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 41 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 42 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723870 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 42 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 42 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079664 3084683305 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 43 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079648 3082971542 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 43 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218080088 3086511369 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 44 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3084670859 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 44 0 0 0 24 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970538 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 44 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970473 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 45 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079488 3082972688 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 45 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970470 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 46 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3084670879 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 46 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079660 3082970832 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 46 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970511 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 47 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079984 3086509515 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 47 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 48 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723870 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 48 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970683 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 48 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218080016 3086507836 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 49 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218080016 3085226175 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 49 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970689 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 50 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079788 3082970368 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 50 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079780 3082970372 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 50 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 51 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970491 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 51 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970532 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 52 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970621 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 52 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3084670920 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 52 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079488 3082973153 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 53 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 53 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079488 3082970852 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 54 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218080000 3085240540 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 54 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723861 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 54 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079936 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 55 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079480 3084642706 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 55 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970636 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 56 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970671 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 56 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079664 3084683291 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 56 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079788 3082970724 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 57 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3084670634 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 57 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 58 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079792 3085723867 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1001 0 0 0 58 0 0 0 25 0 1 0 10042859 7491584 517 4294967295 134512640 134538271 3218081024 3218079744 3082970470 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 58 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723870 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 59 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970439 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 59 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079856 3086512450 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 60 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086509515 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 60 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970473 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 60 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084681481 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 61 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723858 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 61 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670840 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 62 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970400 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 62 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670724 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 62 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079648 3082970837 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 63 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079780 3082970372 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 63 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079856 3086512468 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 64 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082973426 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 64 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970536 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 64 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084681475 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 65 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082970858 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 65 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079780 3082970697 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 66 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079784 3082970723 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 66 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970473 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 66 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079776 3082970373 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 67 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086510274 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 67 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970409 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 68 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082970898 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 68 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079936 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 68 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082970874 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 68 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086509515 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 69 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084683335 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 69 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970470 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 70 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084683313 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 70 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670868 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 70 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970505 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 71 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079660 3082970832 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 71 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670879 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 72 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084679551 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 72 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723855 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 72 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970464 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 73 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970427 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 73 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970489 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 74 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079904 3082969485 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 74 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670886 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 74 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723789 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 75 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970505 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 75 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970505 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 76 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084683303 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 76 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723870 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 76 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670881 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 77 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082972802 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 77 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084682440 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 78 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970470 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 78 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082971451 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 78 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723792 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 79 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218080092 3086422352 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 79 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970624 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 80 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084683335 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 80 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079936 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 80 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970532 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 81 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670868 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 81 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 82 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 82 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670840 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 82 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084679474 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 83 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082972076 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 83 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970473 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 84 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082971586 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 84 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670718 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 84 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086509474 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 85 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670918 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 85 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970508 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 86 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670879 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 86 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 86 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970543 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 87 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079716 3080370771 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 87 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970575 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 88 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079920 3082969802 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 88 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970683 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 88 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084679310 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 89 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079904 3082969083 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 89 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723870 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 90 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079936 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 90 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970665 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 90 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670664 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 91 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970388 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 91 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970450 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 92 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970680 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 92 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723861 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 92 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079740 3082959850 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 93 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670879 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 93 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079936 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 94 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970418 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 94 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082970901 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 94 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086509472 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 95 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082973166 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 95 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970677 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 96 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970575 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 96 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670815 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 96 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082970886 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 97 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086509507 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 97 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086509459 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 98 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084679411 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 98 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086509510 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 98 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723884 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 99 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970532 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 99 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082970877 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 100 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086509507 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 100 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723880 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 100 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670881 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 101 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079660 3082959320 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 101 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670879 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 102 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079936 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 102 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086509459 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 102 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970641 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 103 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970487 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 103 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079856 3086512447 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 104 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082972420 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 104 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084681479 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 104 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723892 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 105 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082971816 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 105 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970671 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 106 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670911 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 106 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670865 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 106 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084679170 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 107 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723865 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 107 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723861 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 108 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723889 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 108 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084679356 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 108 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670879 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 109 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970437 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 109 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 110 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670634 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 110 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082970877 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 110 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723867 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 111 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970388 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 111 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670892 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 112 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723863 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 112 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084683356 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 112 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218080016 3086507931 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 113 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970437 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 113 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079968 3084679141 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 114 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723792 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 114 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079664 3084683337 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 114 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082972603 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 115 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3084670805 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 115 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970461 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 116 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079792 3085723852 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 116 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079488 3082973179 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 116 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3084683731 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 117 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079744 3082970400 0 0 4096 0 0 0 0 17 0 0 0 0
31463 (gecode-qwh) R 31462 27426 24421 34816 27426 4202496 1007 0 0 0 117 0 0 0 25 0 1 0 10042859 7491584 523 4294967295 134512640 134538271 3218081024 3218079984 3086509546 0 0 4096 0 0 0 0 17 0 0 0 0
