diff --git a/src/Conjure/Process/Streamlining.hs b/src/Conjure/Process/Streamlining.hs index eeeb8ee4c..a4d3b5c3d 100644 --- a/src/Conjure/Process/Streamlining.hs +++ b/src/Conjure/Process/Streamlining.hs @@ -379,7 +379,7 @@ matrixByRowBucket innerStreamliner x = do concatForM [0..9] $ \ (bucketInt :: Integer) -> let bucket = fromInt bucketInt in forM innerConstraints $ \ (innerConstraint, grps) -> attachGroup (("MatrixByRowBucket-" ++ show bucketInt) : grps) [essence| - forAll &pat : int(&lb + &bucket * &bucketSize .. &lb + (&bucket+1) * &bucketSize) . &innerConstraint + forAll &pat : int(&lb + &bucket * &bucketSize .. min([&ub, &lb + (&bucket+1) * &bucketSize])) . &innerConstraint |] _ -> noStreamliner @@ -413,7 +413,7 @@ matrixByColBucket innerStreamliner x = do forM innerConstraints $ \ (innerConstraint, grps) -> attachGroup (("MatrixByColBucket-" ++ show bucketInt) : grps) [essence| forAll &patO : &outerIndex . - forAll &pat : int(&lb + &bucket * &bucketSize .. &lb + (&bucket+1) * &bucketSize) . + forAll &pat : int(&lb + &bucket * &bucketSize .. min([&ub, &lb + (&bucket+1) * &bucketSize])) . &innerConstraint |] _ -> noStreamliner diff --git a/tests/custom/streamlining/covering-array/stdout.expected b/tests/custom/streamlining/covering-array/stdout.expected index 5a88b8784..45318bbea 100644 --- a/tests/custom/streamlining/covering-array/stdout.expected +++ b/tests/custom/streamlining/covering-array/stdout.expected @@ -1,1083 +1,1083 @@ {"1": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "2": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "3": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "4": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "5": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "6": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "7": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "8": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "9": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "10": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "11": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "12": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "13": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "14": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "15": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "16": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "17": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "18": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "19": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "20": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "21": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "22": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "23": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "24": {"onVariable": "CA", "groups": ["MatrixByRowBucket-0", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..1 + (0 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 0 * ((k - 1 + 1) / 10)..min([k, 1 + (0 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "25": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "26": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "27": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "28": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "29": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "30": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "31": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "32": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "33": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "34": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "35": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "36": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "37": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "38": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "39": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "40": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "41": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "42": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "43": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "44": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "45": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "46": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "47": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "48": {"onVariable": "CA", "groups": ["MatrixByRowBucket-1", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..1 + (1 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 1 * ((k - 1 + 1) / 10)..min([k, 1 + (1 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "49": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "50": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "51": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "52": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "53": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "54": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "55": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "56": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "57": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "58": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "59": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "60": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "61": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "62": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "63": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "64": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "65": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "66": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "67": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "68": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "69": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "70": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "71": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "72": {"onVariable": "CA", "groups": ["MatrixByRowBucket-2", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..1 + (2 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 2 * ((k - 1 + 1) / 10)..min([k, 1 + (2 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "73": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "74": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "75": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "76": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "77": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "78": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "79": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "80": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "81": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "82": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "83": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "84": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "85": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "86": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "87": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "88": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "89": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "90": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "91": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "92": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "93": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "94": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "95": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "96": {"onVariable": "CA", "groups": ["MatrixByRowBucket-3", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..1 + (3 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 3 * ((k - 1 + 1) / 10)..min([k, 1 + (3 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "97": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "98": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "99": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "100": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "101": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "102": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "103": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "104": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "105": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "106": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "107": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "108": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "109": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "110": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "111": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "112": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "113": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "114": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "115": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "116": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "117": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "118": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "119": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "120": {"onVariable": "CA", "groups": ["MatrixByRowBucket-4", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..1 + (4 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 4 * ((k - 1 + 1) / 10)..min([k, 1 + (4 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "121": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "122": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "123": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "124": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "125": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "126": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "127": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "128": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "129": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "130": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "131": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "132": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "133": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "134": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "135": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "136": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "137": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "138": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "139": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "140": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "141": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "142": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "143": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "144": {"onVariable": "CA", "groups": ["MatrixByRowBucket-5", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..1 + (5 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 5 * ((k - 1 + 1) / 10)..min([k, 1 + (5 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "145": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "146": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "147": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "148": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "149": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "150": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "151": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "152": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "153": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "154": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "155": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "156": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "157": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "158": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "159": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "160": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "161": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "162": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "163": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "164": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "165": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "166": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "167": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "168": {"onVariable": "CA", "groups": ["MatrixByRowBucket-6", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..1 + (6 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 6 * ((k - 1 + 1) / 10)..min([k, 1 + (6 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "169": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "170": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "171": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "172": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "173": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "174": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "175": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "176": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "177": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "178": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "179": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "180": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "181": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "182": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "183": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "184": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "185": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "186": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "187": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "188": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "189": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "190": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "191": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "192": {"onVariable": "CA", "groups": ["MatrixByRowBucket-7", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..1 + (7 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 7 * ((k - 1 + 1) / 10)..min([k, 1 + (7 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "193": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "194": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "195": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "196": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "197": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "198": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "199": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "200": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "201": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "202": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "203": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "204": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "205": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "206": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "207": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "208": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "209": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "210": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "211": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "212": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "213": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "214": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "215": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "216": {"onVariable": "CA", "groups": ["MatrixByRowBucket-8", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..1 + (8 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 8 * ((k - 1 + 1) / 10)..min([k, 1 + (8 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "217": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 1 | q2 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "218": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] % 2 = 0 | q2 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "219": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] < 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "220": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([and([CA[q1, q2] > 1 + (g - 1) / 2 | q2 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "221": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 1) | q3 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "222": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] % 2 = 0) | q3 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "223": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] < 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "224": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 = sum([toInt(CA[q1, q3] > 1 + (g - 1) / 2) | q3 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "225": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 1) | q4 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "226": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] % 2 = 0) | q4 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "227": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] < 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "228": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([1 >= sum([toInt(CA[q1, q4] > 1 + (g - 1) / 2) | q4 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "229": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 1) | q5 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "230": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] % 2 = 0) | q5 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "231": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] < 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "232": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 + 1 >= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) /\\ |`int(1..b)`| / 2 - 1 <= sum([toInt(CA[q1, q5] > 1 + (g - 1) / 2) | q5 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "233": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 1) | q6 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "234": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] % 2 = 0) | q6 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "235": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] < 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "236": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 <= sum([toInt(CA[q1, q6] > 1 + (g - 1) / 2) | q6 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "237": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 1) | q7 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "238": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntOddEven"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] % 2 = 0) | q7 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "239": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] < 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "240": {"onVariable": "CA", "groups": ["MatrixByRowBucket-9", "MatrixCardinality", "IntLowHigh"], - "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..1 + (9 + 1) * ((k - 1 + 1) / 10))])"}, + "constraint": "and([|`int(1..b)`| / 2 >= sum([toInt(CA[q1, q7] > 1 + (g - 1) / 2) | q7 : int(1..b)]) | q1 : int(1 + 9 * ((k - 1 + 1) / 10)..min([k, 1 + (9 + 1) * ((k - 1 + 1) / 10); int(1..2)]))])"}, "241": {"onVariable": "CA", "groups": ["MatrixByColBucket-0", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 0 * ((b - 1 + 1) / 10)..1 + (0 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 0 * ((b - 1 + 1) / 10)..min([b, 1 + (0 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "242": {"onVariable": "CA", "groups": ["MatrixByColBucket-0", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 0 * ((b - 1 + 1) / 10)..1 + (0 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 0 * ((b - 1 + 1) / 10)..min([b, 1 + (0 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "243": {"onVariable": "CA", "groups": ["MatrixByColBucket-0", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 0 * ((b - 1 + 1) / 10)..1 + (0 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 0 * ((b - 1 + 1) / 10)..min([b, 1 + (0 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "244": {"onVariable": "CA", "groups": ["MatrixByColBucket-0", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 0 * ((b - 1 + 1) / 10)..1 + (0 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 0 * ((b - 1 + 1) / 10)..min([b, 1 + (0 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "245": {"onVariable": "CA", "groups": ["MatrixByColBucket-1", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 1 * ((b - 1 + 1) / 10)..1 + (1 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 1 * ((b - 1 + 1) / 10)..min([b, 1 + (1 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "246": {"onVariable": "CA", "groups": ["MatrixByColBucket-1", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 1 * ((b - 1 + 1) / 10)..1 + (1 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 1 * ((b - 1 + 1) / 10)..min([b, 1 + (1 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "247": {"onVariable": "CA", "groups": ["MatrixByColBucket-1", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 1 * ((b - 1 + 1) / 10)..1 + (1 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 1 * ((b - 1 + 1) / 10)..min([b, 1 + (1 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "248": {"onVariable": "CA", "groups": ["MatrixByColBucket-1", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 1 * ((b - 1 + 1) / 10)..1 + (1 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 1 * ((b - 1 + 1) / 10)..min([b, 1 + (1 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "249": {"onVariable": "CA", "groups": ["MatrixByColBucket-2", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 2 * ((b - 1 + 1) / 10)..1 + (2 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 2 * ((b - 1 + 1) / 10)..min([b, 1 + (2 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "250": {"onVariable": "CA", "groups": ["MatrixByColBucket-2", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 2 * ((b - 1 + 1) / 10)..1 + (2 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 2 * ((b - 1 + 1) / 10)..min([b, 1 + (2 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "251": {"onVariable": "CA", "groups": ["MatrixByColBucket-2", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 2 * ((b - 1 + 1) / 10)..1 + (2 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 2 * ((b - 1 + 1) / 10)..min([b, 1 + (2 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "252": {"onVariable": "CA", "groups": ["MatrixByColBucket-2", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 2 * ((b - 1 + 1) / 10)..1 + (2 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 2 * ((b - 1 + 1) / 10)..min([b, 1 + (2 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "253": {"onVariable": "CA", "groups": ["MatrixByColBucket-3", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 3 * ((b - 1 + 1) / 10)..1 + (3 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 3 * ((b - 1 + 1) / 10)..min([b, 1 + (3 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "254": {"onVariable": "CA", "groups": ["MatrixByColBucket-3", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 3 * ((b - 1 + 1) / 10)..1 + (3 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 3 * ((b - 1 + 1) / 10)..min([b, 1 + (3 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "255": {"onVariable": "CA", "groups": ["MatrixByColBucket-3", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 3 * ((b - 1 + 1) / 10)..1 + (3 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 3 * ((b - 1 + 1) / 10)..min([b, 1 + (3 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "256": {"onVariable": "CA", "groups": ["MatrixByColBucket-3", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 3 * ((b - 1 + 1) / 10)..1 + (3 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 3 * ((b - 1 + 1) / 10)..min([b, 1 + (3 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "257": {"onVariable": "CA", "groups": ["MatrixByColBucket-4", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 4 * ((b - 1 + 1) / 10)..1 + (4 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 4 * ((b - 1 + 1) / 10)..min([b, 1 + (4 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "258": {"onVariable": "CA", "groups": ["MatrixByColBucket-4", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 4 * ((b - 1 + 1) / 10)..1 + (4 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 4 * ((b - 1 + 1) / 10)..min([b, 1 + (4 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "259": {"onVariable": "CA", "groups": ["MatrixByColBucket-4", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 4 * ((b - 1 + 1) / 10)..1 + (4 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 4 * ((b - 1 + 1) / 10)..min([b, 1 + (4 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "260": {"onVariable": "CA", "groups": ["MatrixByColBucket-4", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 4 * ((b - 1 + 1) / 10)..1 + (4 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 4 * ((b - 1 + 1) / 10)..min([b, 1 + (4 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "261": {"onVariable": "CA", "groups": ["MatrixByColBucket-5", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 5 * ((b - 1 + 1) / 10)..1 + (5 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 5 * ((b - 1 + 1) / 10)..min([b, 1 + (5 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "262": {"onVariable": "CA", "groups": ["MatrixByColBucket-5", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 5 * ((b - 1 + 1) / 10)..1 + (5 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 5 * ((b - 1 + 1) / 10)..min([b, 1 + (5 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "263": {"onVariable": "CA", "groups": ["MatrixByColBucket-5", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 5 * ((b - 1 + 1) / 10)..1 + (5 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 5 * ((b - 1 + 1) / 10)..min([b, 1 + (5 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "264": {"onVariable": "CA", "groups": ["MatrixByColBucket-5", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 5 * ((b - 1 + 1) / 10)..1 + (5 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 5 * ((b - 1 + 1) / 10)..min([b, 1 + (5 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "265": {"onVariable": "CA", "groups": ["MatrixByColBucket-6", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 6 * ((b - 1 + 1) / 10)..1 + (6 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 6 * ((b - 1 + 1) / 10)..min([b, 1 + (6 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "266": {"onVariable": "CA", "groups": ["MatrixByColBucket-6", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 6 * ((b - 1 + 1) / 10)..1 + (6 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 6 * ((b - 1 + 1) / 10)..min([b, 1 + (6 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "267": {"onVariable": "CA", "groups": ["MatrixByColBucket-6", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 6 * ((b - 1 + 1) / 10)..1 + (6 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 6 * ((b - 1 + 1) / 10)..min([b, 1 + (6 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "268": {"onVariable": "CA", "groups": ["MatrixByColBucket-6", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 6 * ((b - 1 + 1) / 10)..1 + (6 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 6 * ((b - 1 + 1) / 10)..min([b, 1 + (6 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "269": {"onVariable": "CA", "groups": ["MatrixByColBucket-7", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 7 * ((b - 1 + 1) / 10)..1 + (7 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 7 * ((b - 1 + 1) / 10)..min([b, 1 + (7 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "270": {"onVariable": "CA", "groups": ["MatrixByColBucket-7", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 7 * ((b - 1 + 1) / 10)..1 + (7 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 7 * ((b - 1 + 1) / 10)..min([b, 1 + (7 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "271": {"onVariable": "CA", "groups": ["MatrixByColBucket-7", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 7 * ((b - 1 + 1) / 10)..1 + (7 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 7 * ((b - 1 + 1) / 10)..min([b, 1 + (7 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "272": {"onVariable": "CA", "groups": ["MatrixByColBucket-7", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 7 * ((b - 1 + 1) / 10)..1 + (7 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 7 * ((b - 1 + 1) / 10)..min([b, 1 + (7 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "273": {"onVariable": "CA", "groups": ["MatrixByColBucket-8", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 8 * ((b - 1 + 1) / 10)..1 + (8 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 8 * ((b - 1 + 1) / 10)..min([b, 1 + (8 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "274": {"onVariable": "CA", "groups": ["MatrixByColBucket-8", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 8 * ((b - 1 + 1) / 10)..1 + (8 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 8 * ((b - 1 + 1) / 10)..min([b, 1 + (8 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "275": {"onVariable": "CA", "groups": ["MatrixByColBucket-8", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 8 * ((b - 1 + 1) / 10)..1 + (8 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 8 * ((b - 1 + 1) / 10)..min([b, 1 + (8 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "276": {"onVariable": "CA", "groups": ["MatrixByColBucket-8", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 8 * ((b - 1 + 1) / 10)..1 + (8 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 8 * ((b - 1 + 1) / 10)..min([b, 1 + (8 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "277": {"onVariable": "CA", "groups": ["MatrixByColBucket-9", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 9 * ((b - 1 + 1) / 10)..1 + (9 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 1 | q9 : int(1 + 9 * ((b - 1 + 1) / 10)..min([b, 1 + (9 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "278": {"onVariable": "CA", "groups": ["MatrixByColBucket-9", "IntOddEven"], - "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 9 * ((b - 1 + 1) / 10)..1 + (9 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] % 2 = 0 | q9 : int(1 + 9 * ((b - 1 + 1) / 10)..min([b, 1 + (9 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "279": {"onVariable": "CA", "groups": ["MatrixByColBucket-9", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 9 * ((b - 1 + 1) / 10)..1 + (9 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] < 1 + (g - 1) / 2 | q9 : int(1 + 9 * ((b - 1 + 1) / 10)..min([b, 1 + (9 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "280": {"onVariable": "CA", "groups": ["MatrixByColBucket-9", "IntLowHigh"], - "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 9 * ((b - 1 + 1) / 10)..1 + (9 + 1) * ((b - 1 + 1) / 10))]) | q8 : int(1..k)])"}, + "constraint": "and([and([CA[q8, q9] > 1 + (g - 1) / 2 | q9 : int(1 + 9 * ((b - 1 + 1) / 10)..min([b, 1 + (9 + 1) * ((b - 1 + 1) / 10); int(1..2)]))]) | q8 : int(1..k)])"}, "281": {"onVariable": "CA", "groups": ["MatrixCardinality", "IntOddEven"], "constraint": "and([and([CA[q10, q11] % 2 = 1 | q11 : int(1..b)]) | q10 : int(1..k)])"},