1 n >= 0 & b >= acc + n & a > 0 & ucs > 0 & acc > ucs & b >= 3*acc 2 b >= acc & n > acc + ucs & ucs > 0 & acc > ucs & a > b + acc & 2*acc >= b b >= 0 & n >= 0 & a > 0 & acc > b & ucs > 0 & acc > ucs a = 1 & b = 1 & acc = 2 & ucs = 1 & n = 0 ucs > 0 & a > 0 & b + 2*acc > ucs & n > 4*acc & acc > 0 & n > b + 2*acc & b > acc & b + acc >= a a = 1 & b = 3 & acc = 2 & ucs = 1 & n = 9 a = 11 & b = 7 & acc = 6 & ucs = 18 & n = 31 a = 3 & b = 20 & acc = 15 & ucs = 25 & n = 61 ucs > 0 & 2*acc >= b & n > 3*acc & a > 0 & b > acc & 3*acc > ucs & b + acc >= a & 4*acc >= n a = 1 & b = 2 & acc = 1 & ucs = 1 & n = 4 a = 5 & b = 4 & acc = 3 & ucs = 8 & n = 10 a = 10 & b = 15 & acc = 9 & ucs = 26 & n = 30 n >= 0 & a > 0 & ucs > 0 & b > ucs & 2*b >= a & b = acc a = 1 & b = 2 & acc = 2 & ucs = 1 & n = 0 a > 0 & n > 2*acc & 3*acc > b & b > 2*acc & 3*acc > ucs & acc + ucs >= n a = 1 & b = 5 & acc = 2 & ucs = 5 & n = 5 a = 10 & b = 20 & acc = 8 & ucs = 23 & n = 17 a = 20 & b = 30 & acc = 12 & ucs = 35 & n = 25 3 a > 0 & n > b & b > ucs & b >= 3*acc & acc + ucs >= n ucs > 0 & a > 0 & b >= 3*acc & n > b & acc > 0 & n > acc + ucs & b + 2*acc >= n & b + acc >= a a = 1 & b = 3 & acc = 1 & ucs = 1 & n = 4 a = 1 & b = 15 & acc = 5 & ucs = 10 & n = 20 a = 5 & b = 40 & acc = 11 & ucs = 20 & n = 45 ucs > 0 & a > 0 & 3*acc > ucs & acc + n > b & b + acc >= a & b >= 3*acc & b >= n a = 1 & b = 3 & acc = 1 & ucs = 1 & n = 3 a = 20 & b = 21 & acc = 7 & ucs = 20 & n = 15 a = 5 & b = 60 & acc = 20 & ucs = 30 & n = 41 4 3*acc >= n & n >= 0 & b > acc & a > 0 & ucs > 0 & acc > ucs & 2*acc >= b & b + acc >= a ucs > 0 & n > acc + ucs & 3*acc > ucs & a > b + acc & b > 2*acc & 3*acc > b a = 8 & b = 5 & acc = 2 & ucs = 1 & n = 4 a = 40 & b = 25 & acc = 10 & ucs = 29 & n = 40 a = 120 & b = 61 & acc = 30 & ucs = 89 & n = 120 b >= acc & 3*acc > b & n >= 0 & a > b + acc & acc > ucs & ucs > 0 & acc + ucs >= n a = 5 & b = 2 & acc = 2 & ucs = 1 & n = 0 3*n > 2*b & ucs > 0 & 3*n > b + 3*ucs & b > ucs & 3*a > 4*b & b > 0 & b = 3*acc a = 5 & b = 3 & acc = 1 & ucs = 1 & n = 3 a = 15 & b = 9 & acc = 3 & ucs = 3 & n = 7 a = 33 & b = 24 & acc = 8 & ucs = 11 & n = 20 a > 0 & b + 2*acc >= n & ucs > 0 & n > 2*acc & b > 2*acc & n > acc + ucs & 3*acc > b & b + acc >= a a = 1 & b = 5 & acc = 2 & ucs = 1 & n = 5 a = 10 & b = 14 & acc = 5 & ucs = 10 & n = 16 a = 11 & b = 32 & acc = 11 & ucs = 11 & n = 23 a > 0 & n >= 0 & 2*acc >= n & ucs > 0 & acc > ucs & 3*acc > b & b > 2*acc & b + acc >= a a = 1 & b = 5 & acc = 2 & ucs = 1 & n = 0 5 n > acc + ucs & ucs > 0 & n > b & b > 3*acc & b > ucs & a > b + acc & acc > 0 ucs > 0 & b >= n & acc + n > b & a > b + acc & b > 3*acc & 3*acc > ucs a = 6 & b = 4 & acc = 1 & ucs = 1 & n = 4 a = 25 & b = 16 & acc = 5 & ucs = 14 & n = 12 a = 55 & b = 40 & acc = 12 & ucs = 20 & n = 35 3*a > 4*b & b >= n & b > ucs & b + 3*ucs >= 3*n & 3*n > 2*b & b = 3*acc a = 10 & b = 6 & acc = 2 & ucs = 3 & n = 5 a = 30 & b = 21 & acc = 7 & ucs = 18 & n = 15 a = 65 & b = 45 & acc = 15 & ucs = 40 & n = 35