30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4194304 618 0 0 0 0 0 0 0 24 0 1 0 10032479 6991872 152 4294967295 134512640 134538271 3216739264 3216737700 3085919445 0 0 4096 0 0 0 0 17 1 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 984 0 0 0 0 0 0 0 24 0 1 0 10032479 7331840 499 4294967295 134512640 134538271 3216739264 3216738176 134529143 0 0 4096 0 0 0 0 17 1 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 24 0 1 0 10032479 7331840 499 4294967295 134512640 134538271 3216739264 3216737904 3084021980 0 0 4096 0 0 0 0 17 1 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 984 0 0 0 1 0 0 0 24 0 1 0 10032479 7331840 499 4294967295 134512640 134538271 3216739264 3216738032 3085064399 0 0 4096 0 0 0 0 17 1 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 984 0 0 0 2 0 0 0 24 0 1 0 10032479 7331840 499 4294967295 134512640 134538271 3216739264 3216737984 3082311046 0 0 4096 0 0 0 0 17 1 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 990 0 0 0 2 0 0 0 24 0 1 0 10032479 7331840 505 4294967295 134512640 134538271 3216739264 3216738224 3085850018 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 990 0 0 0 3 0 0 0 24 0 1 0 10032479 7331840 505 4294967295 134512640 134538271 3216739264 3216738032 3085064371 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 990 0 0 0 3 0 0 0 24 0 1 0 10032479 7331840 505 4294967295 134512640 134538271 3216739264 3216738224 3085850051 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737904 3084023896 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738032 3085064436 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 4 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738032 3085064424 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 5 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737904 3084019955 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 5 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737904 3084023847 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737904 3084020116 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737728 3082311476 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 6 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737984 3082311014 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 7 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738032 3085064407 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 7 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737984 3082311014 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737904 3084023825 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738032 3085064407 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 8 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738032 3085064409 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 9 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737728 3082311421 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 9 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737728 3082313715 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738032 3084011421 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738224 3085850059 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 10 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738176 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 11 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738032 3085064424 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 11 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737728 3082312017 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738032 3084011412 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737984 3082311020 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 12 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737984 3082311082 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 13 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737904 3084019978 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 13 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216738032 3085064407 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1002 0 0 0 14 0 0 0 25 0 1 0 10032479 7495680 517 4294967295 134512640 134538271 3216739264 3216737984 3082310971 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738032 3085064336 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 14 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738224 3085850016 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 15 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738224 3085850051 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 15 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216737728 3082312901 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738224 3085850003 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738032 3085064414 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 16 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738032 3085064428 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 17 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216737728 3082311439 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 17 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738336 3085774464 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738032 3085064336 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738144 3082308862 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 18 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738224 3085850067 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 19 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216737984 3082310997 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 19 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216737728 3082311995 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216737984 3082311248 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216737984 3082311141 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 20 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216737984 3082311215 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 21 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216737984 3082311346 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 21 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216737904 3084019895 0 0 4096 0 0 0 0 17 0 0 0 0
30721 (gecode-qwh) R 30720 27426 24421 34816 27426 4202496 1004 0 0 0 22 0 0 0 25 0 1 0 10032479 7495680 519 4294967295 134512640 134538271 3216739264 3216738224 3084024252 0 0 4096 0 0 0 0 17 0 0 0 0
