1*ac -1  = 0 
1*br  + 1  = 0 
-1*a1  + 1 >= 0
-1*a2  + 1 >= 0
-1*a3  + 1 >= 0
-1*r2  + 6 >= 0
-1*r3  + 6 >= 0
1*r3  >= 0
1*r2  >= 0
1*t -1*r2  >= 0
1*t -1*r3  >= 0
1*a3  + 1 >= 0
1*a2  + 1 >= 0
1*a1  + 1 >= 0
1*v3 -1*a3 -1*r2  + 6 >= 0
1*v3 -1*a3 -1*r3  + 6 >= 0
1*v3 -1*a3  + 1 >= 0
1*v2 -1*a2 -1*r2  + 6 >= 0
1*v2 -1*a2 -1*r3  + 6 >= 0
1*v2 -1*a2  + 1 >= 0
1*v1 -1*a1 -1*r2  + 6 >= 0
1*v1 -1*a1 -1*r3  + 6 >= 0
1*v1 -1*a1  + 1 >= 0
1*x3  >= 0
1*x2 -1*x3 +1*v3 -1*a3 -30*r2 +30*r3  + 150 >= 0
1*x2 -1*x3 +1*v3 -1*a3  >= 0
1*x2 -1*x3 +50*v3 -50*a3 -30*r2 +30*r3  + 150 >= 0
1*x2 -1*x3 +50*v3 -50*a3  >= 0
1*x2 -50 >= 0
1*x1 -1*x2 +1*v2 -1*a2  >= 0
1*x1 -1*x2 +1*v2 -1*a2 +30*r2 -30*r3  + 150 >= 0
1*x1 -1*x2 +50*v2 -50*a2  >= 0
1*x1 -1*x2 +50*v2 -50*a2 +30*r2 -30*r3  + 150 >= 0
1*x1 -1*x3 +1*v3 -1*a3 -30*r2 +30*r3  + 150 >= 0
1*x1 -1*x3 +1*v3 -1*a3  >= 0
1*x1 -1*x3 +50*v3 -50*a3 -30*r2 +30*r3  + 150 >= 0
1*x1 -1*x3 +50*v3 -50*a3  >= 0
1*x1 -100 >= 0