1 n >= 0 & b >= acc + n & a > 0 & ucs > 0 & acc > ucs & b >= 3*acc a = 1 & b = 6 & acc = 2 & ucs = 1 & n = 0 a = 5 & b = 20 & acc = 5 & ucs = 4 & n = 7 a = 10 & b = 36 & acc = 12 & ucs = 11 & n = 20 ucs > 0 & n > b & a > 0 & n > acc + ucs & n > 3*acc & acc > 0 & b + acc >= a & b + 2*acc >= n a = 1 & b = 2 & acc = 1 & ucs = 1 & n = 4 a = 10 & b = 9 & acc = 2 & ucs = 10 & n = 13 a = 20 & b = 14 & acc = 7 & ucs = 20 & n = 28 2 b >= acc & n > acc + ucs & ucs > 0 & acc > ucs & a > b + acc & 2*acc >= b a = 5 & b = 2 & acc = 2 & ucs = 1 & n = 4 a > 0 & ucs > 0 & 3*acc > ucs & acc + n > b & b > 3*acc & b >= n a = 1 & b = 4 & acc = 1 & ucs = 1 & n = 4 a = 10 & b = 7 & acc = 2 & ucs = 5 & n = 6 a = 20 & b = 21 & acc = 7 & ucs = 20 & n = 15 n > 2*acc & ucs > 0 & 3*acc > ucs & a > b + acc & n > acc + ucs & b > 2*acc & 3*acc >= b a = 5 & b = 3 & acc = 1 & ucs = 1 & n = 3 a = 11 & b = 7 & acc = 3 & ucs = 8 & n = 12 a = 33 & b = 24 & acc = 8 & ucs = 15 & n = 24 b >= 0 & n >= 0 & acc > b & a > b + acc & ucs > 0 & acc > ucs a = 4 & b = 1 & acc = 2 & ucs = 1 & n = 0 acc > 0 & a > 0 & ucs > 0 & b > acc & b + 2*acc > ucs & n > b + 2*acc & n > 4*acc & b + acc >= a a = 1 & b = 2 & acc = 1 & ucs = 1 & n = 5 a = 5 & b = 6 & acc = 1 & ucs = 7 & n = 9 a = 15 & b = 15 & acc = 3 & ucs = 15 & n = 22 3 a > 0 & n > b & b > ucs & b >= 3*acc & acc + ucs >= n a = 1 & b = 6 & acc = 2 & ucs = 5 & n = 7 a = 10 & b = 20 & acc = 5 & ucs = 19 & n = 21 a = 50 & b = 35 & acc = 10 & ucs = 30 & n = 40 3*acc > b & a > 0 & b + 2*acc >= n & n > 3*acc & 3*acc > ucs & acc + ucs >= n & b + acc >= a a = 1 & b = 3 & acc = 2 & ucs = 5 & n = 7 a = 10 & b = 13 & acc = 6 & ucs = 17 & n = 19 a = 50 & b = 53 & acc = 18 & ucs = 53 & n = 55 a > 0 & ucs > 0 & b > ucs & b > 2*acc & n > 2*acc & b + acc >= a & 3*acc >= b & 3*acc >= n a = 1 & b = 3 & acc = 1 & ucs = 1 & n = 3 a = 12 & b = 20 & acc = 7 & ucs = 19 & n = 15 a = 30 & b = 30 & acc = 14 & ucs = 15 & n = 40 4 3*acc >= n & n >= 0 & b > acc & a > 0 & ucs > 0 & acc > ucs & 2*acc >= b & b + acc >= a a = 1 & b = 3 & acc = 2 & ucs = 1 & n = 0 a > 0 & n >= 0 & acc > ucs & 3*acc > b & b > 2*acc & ucs > 0 & 2*acc >= n a = 1 & b = 5 & acc = 2 & ucs = 1 & n = 0 a > 0 & b >= 0 & ucs > 0 & acc > ucs & n > 3*acc & acc >= b & b + acc >= a a = 1 & b = 1 & acc = 2 & ucs = 1 & n = 7 3*acc >= n & a > 0 & b >= 0 & n >= 0 & ucs > 0 & acc > ucs & acc > b & b + acc >= a a = 1 & b = 1 & acc = 2 & ucs = 1 & n = 0 a > 0 & n > 2*acc & b > 2*acc & 3*acc > ucs & 3*acc >= n & ucs >= b a = 1 & b = 5 & acc = 2 & ucs = 5 & n = 5 a = 15 & b = 23 & acc = 8 & ucs = 23 & n = 17 a = 27 & b = 50 & acc = 20 & ucs = 55 & n = 45 5 n > acc + ucs & ucs > 0 & n > b & b > 3*acc & b > ucs & a > b + acc & acc > 0 a = 6 & b = 4 & acc = 1 & ucs = 1 & n = 5 a = 27 & b = 20 & acc = 6 & ucs = 10 & n = 21 a = 50 & b = 40 & acc = 13 & ucs = 39 & n = 50 b > 2*acc & 3*acc > ucs & n > 3*acc & 3*acc > b & a > b + acc & acc + ucs >= n a = 8 & b = 5 & acc = 2 & ucs = 5 & n = 7 a = 17 & b = 11 & acc = 5 & ucs = 14 & n = 16 a = 60 & b = 40 & acc = 15 & ucs = 40 & n = 50 3*acc >= b & b > 2*acc & n > 2*acc & b > ucs & 3*acc >= n & acc + ucs >= n & a > b + acc a = 8 & b = 5 & acc = 2 & ucs = 3 & n = 5 a = 30 & b = 20 & acc = 7 & ucs = 10 & n = 15 a = 80 & b = 50 & acc = 21 & ucs = 35 & n = 43 b > acc & n >= 0 & a > b + acc & acc > ucs & 2*acc >= b & ucs > 0 & acc + ucs >= n a = 6 & b = 3 & acc = 2 & ucs = 1 & n = 0 a > 0 & 3*b >= n & b > ucs & n > b + ucs & ucs > 0 & 2*b >= a & b = acc a = 1 & b = 2 & acc = 2 & ucs = 1 & n = 4 a = 4 & b = 5 & acc = 5 & ucs = 4 & n = 10 a = 12 & b = 10 & acc = 10 & ucs = 7 & n = 18 a > 0 & n >= 0 & b > ucs & ucs > 0 & b + ucs >= n & b = acc a = 1 & b = 2 & acc = 2 & ucs = 1 & n = 0 a = 22 & b = 6 & acc = 6 & ucs = 5 & n = 9 a = 23 & b = 20 & acc = 20 & ucs = 15 & n = 0 b > acc & 4*acc >= n & 3*acc > ucs & ucs > 0 & a > 0 & n > b + 2*acc & b + acc >= a a = 1 & b = 3 & acc = 2 & ucs = 1 & n = 8 a = 10 & b = 15 & acc = 9 & ucs = 25 & n = 35 a = 25 & b = 25 & acc = 22 & ucs = 60 & n = 70