(* Result output by IMITATOR Version : 2.7-beta2 (build 1074) Model : '/home/mpi/models/sched3-bigV0-3D.imi' Generated: Sat Apr 25, 2015 14:13:51 Command : /home/mpi/imitator/bin/imitator /home/mpi/models/sched3-bigV0-3D.imi /home/mpi/models/sched3-bigV0-3D.v0 -mode cover -distributed dynamic -verbose mute -output-result -output-cart Stats : 8 13 3 0 530856 155.283900023 384 *) (***** Constraint 1*****) t2_C > 14 & t3_C > 0 & t3_arr_P = 20 (***** Constraint 2*****) t3_C > 0 & t3_arr_P > 8 & 6 > t3_C & t2_C = 0 (***** Constraint 3*****) t3_C > 14 & t2_C = 0 & t3_arr_P = 20 (***** Constraint 4*****) t2_C > 14 & t3_C > 0 & t3_arr_P > 20 (***** Constraint 5*****) t2_C > 0 & t3_arr_P > 8 & 6 > t2_C & t2_C + t3_C = 6 (***** Constraint 6*****) t2_C + t3_C > 6 & t2_C > 0 & t3_arr_P > 16 & 6 > t2_C & 12 > t2_C + t3_C (***** Constraint 7*****) t2_C + t3_C > 14 & t2_C > 0 & 6 > t2_C & t3_arr_P = 20 (***** Constraint 8*****) t3_C > 0 & t3_arr_P > 16 & 6 > t3_C & t2_C = 6 (***** Constraint 9*****) t3_C > 8 & t2_C = 6 & t3_arr_P = 20 (***** Constraint 10*****) t2_C > 6 & t3_arr_P > 16 & 12 > t2_C & t2_C + t3_C = 12 (***** Constraint 11*****) t2_C + t3_C > 14 & t2_C > 6 & 12 > t2_C & t3_arr_P = 20 (***** Constraint 12*****) t3_C > 18 & t3_arr_P > 32 & 24 > t3_C & t2_C = 0 (***** Constraint 13*****) t2_C > 6 & t2_C + t3_C > 12 & 12 > t2_C & 14 > t2_C + t3_C & t3_arr_P = 20 (***** Constraint 14*****) t3_C > 2 & t2_C = 12 & t3_arr_P = 20 (***** Constraint 15*****) t2_C > 6 & 12 > t2_C & t2_C + t3_C = 14 & t3_arr_P = 20 (***** Constraint 16*****) t2_C > 12 & t2_C + t3_C > 14 & 14 > t2_C & t3_arr_P = 20 (***** Constraint 17*****) t3_C + 10 > t3_arr_P & t3_arr_P > 34 & 40 > t3_arr_P & t2_C = 0 (***** Constraint 18*****) t2_C > 0 & t3_arr_P > 32 & 2*t2_C + t3_C > 24 & 34 > t3_arr_P & 4 > t2_C (***** Constraint 19*****) t3_C > 0 & t2_C = 14 & t3_arr_P = 20 (***** Constraint 20*****) t3_arr_P > 20 & t2_C = 0 & t3_C = 14 (***** Constraint 21*****) t3_C > 2 & t2_C = 12 & t3_arr_P = 36 (***** Constraint 22*****) t3_arr_P > 32 & t3_C > 16 & 34 > t3_arr_P & t2_C = 4 (***** Constraint 23*****) t2_C > 6 & t3_arr_P > 20 & t2_C + t3_C > 12 & 12 > t2_C & 14 > t2_C + t3_C (***** Constraint 24*****) 2*t2_C + t3_C + 10 > t3_arr_P & t2_C > 0 & t3_arr_P > 34 & 40 > t3_arr_P & 4 > t2_C (***** Constraint 25*****) t2_C > 4 & t3_arr_P > 32 & 2*t2_C + t3_C > 24 & 34 > t3_arr_P & 6 > t2_C (***** Constraint 26*****) t3_C + 6 > t3_arr_P & t3_arr_P > 20 & 24 > t3_arr_P & t2_C = 0 (***** Constraint 27*****) t2_C + t3_C > 14 & t2_C > 0 & t3_arr_P > 24 & 18 > 2*t2_C + t3_C (***** Constraint 28*****) t2_C > 6 & t3_arr_P > 20 & 12 > t2_C & t2_C + t3_C = 14 (***** Constraint 29*****) t2_C > 12 & t2_C + 24 > t3_arr_P & t3_arr_P > 34 & t2_C + t3_C > 14 & 14 > t2_C (***** Constraint 30*****) t3_C + 18 > t3_arr_P & t3_arr_P > 34 & 40 > t3_arr_P & t2_C = 4 (***** Constraint 31*****) t2_C + t3_C > 14 & t2_C > 0 & 4 > t2_C & t2_C + 20 = t3_arr_P (***** Constraint 32*****) t3_arr_P > 32 & t3_C > 12 & 34 > t3_arr_P & t2_C = 6 (***** Constraint 33*****) t2_C > 0 & t3_arr_P > 24 & 4 > t2_C & 2*t2_C + t3_C = 18 (***** Constraint 34*****) t3_arr_P > 32 & t3_C > 4 & 34 > t3_arr_P & t2_C = 10 (***** Constraint 35*****) t3_C > 0 & t3_arr_P > 34 & 38 > t3_arr_P & t2_C = 14 (***** Constraint 36*****) t2_C > 4 & t3_arr_P > 34 & 2*t2_C + t3_C + 10 > t3_arr_P & 40 > t3_arr_P & 6 > t2_C (***** Constraint 37*****) t2_C + t3_C > 14 & t2_C + 20 > t3_arr_P & t3_arr_P > 20 & 24 > t3_arr_P & 6 > t2_C (***** Constraint 38*****) t3_arr_P > 8 & t2_C = 0 & t3_C = 6 (***** Constraint 39*****) t2_C > 6 & t3_arr_P > 32 & 2*t2_C + t3_C > 24 & 34 > t3_arr_P & 10 > t2_C (***** Constraint 40*****) 2*t2_C + t3_C > 18 & t2_C > 0 & t3_arr_P > 32 & 4 > t2_C & 24 > 2*t2_C + t3_C (***** Constraint 41*****) t2_C + t3_C > 14 & t2_C > 6 & t2_C + 22 > t3_arr_P & t3_arr_P > 26 & 32 > t3_arr_P & 12 > t2_C (***** Constraint 42*****) t2_C > 10 & t3_arr_P > 32 & t2_C + t3_C > 14 & 34 > t3_arr_P & 12 > t2_C (***** Constraint 43*****) t3_arr_P > 16 & t2_C = 6 & t3_C = 6 (***** Constraint 44*****) t3_C + 22 > t3_arr_P & t3_arr_P > 34 & 40 > t3_arr_P & t2_C = 6 (***** Constraint 45*****) t2_C + t3_C > 14 & t2_C > 6 & 12 > t2_C & t3_arr_P = 24 (***** Constraint 46*****) t3_C > 10 & t3_arr_P > 32 & 16 > t3_C & t2_C = 4 (***** Constraint 47*****) t3_C > 2 & t3_arr_P > 26 & 32 > t3_arr_P & t2_C = 12 (***** Constraint 48*****) t3_arr_P > 32 & t3_C > 2 & 34 > t3_arr_P & t2_C = 12 (***** Constraint 49*****) t3_C > 8 & t3_arr_P > 20 & 24 > t3_arr_P & t2_C = 6 (***** Constraint 50*****) t3_C + 34 > t3_arr_P & t3_arr_P > 36 & 40 > t3_arr_P & t2_C = 12 (***** Constraint 51*****) t3_C > 4 & t3_arr_P > 40 & 10 > t3_C & t2_C = 10 (***** Constraint 52*****) t3_C > 6 & t3_arr_P > 16 & 12 > t3_C & t2_C = 0 (***** Constraint 53*****) 2*t2_C + t3_C + 10 > t3_arr_P & t2_C > 6 & t3_arr_P > 34 & 40 > t3_arr_P & 10 > t2_C (***** Constraint 54*****) t2_C > 12 & t3_arr_P > 26 & t2_C + t3_C > 14 & 32 > t3_arr_P & 14 > t2_C (***** Constraint 55*****) t3_arr_P > 32 & t2_C > 4 & 6 > t2_C & 2*t2_C + t3_C = 24 (***** Constraint 56*****) t3_C > 2 & t2_C = 12 & t3_arr_P = 24 (***** Constraint 57*****) t2_C > 12 & t3_arr_P > 32 & t2_C + t3_C > 14 & 34 > t3_arr_P & 14 > t2_C (***** Constraint 58*****) t2_C + t3_C > 14 & t2_C > 6 & t3_arr_P > 20 & 24 > t3_arr_P & 12 > t2_C (***** Constraint 59*****) t3_C > 4 & 40 > t3_arr_P & t3_arr_P > 30 + t3_C & t2_C = 10 (***** Constraint 60*****) t2_C > 12 & t2_C + t3_C > 14 & 14 > t2_C & t2_C + 24 = t3_arr_P (***** Constraint 61*****) t2_C > 0 & t3_arr_P > 16 & 6 > t2_C & t2_C + t3_C = 12 (***** Constraint 62*****) t2_C > 10 & t3_arr_P > 40 & t2_C + t3_C > 14 & 12 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 63*****) t3_C + 30 > t3_arr_P & t3_arr_P > 34 & 40 > t3_arr_P & t2_C = 10 (***** Constraint 64*****) t2_C > 12 & t2_C + t3_C > 14 & 14 > t2_C & t3_arr_P = 24 (***** Constraint 65*****) t3_C > 0 & t3_arr_P > 26 & 32 > t3_arr_P & t2_C = 14 (***** Constraint 66*****) t3_C > 2 & t3_arr_P > 20 & 24 > t3_arr_P & t2_C = 12 (***** Constraint 67*****) t3_arr_P > 32 & t3_C > 0 & 34 > t3_arr_P & t2_C = 14 (***** Constraint 68*****) t2_C > 10 & 2*t2_C + t3_C + 10 > t3_arr_P & 40 > t3_arr_P & t3_arr_P > 24 + t2_C & 12 > t2_C (***** Constraint 69*****) t3_C > 12 & 18 > t3_C & t2_C = 6 & t3_C + 22 = t3_arr_P (***** Constraint 70*****) t3_C > 6 & 8 > t3_C & t2_C = 6 & t3_arr_P = 20 (***** Constraint 71*****) t2_C > 12 & 2*t2_C + t3_C + 10 > t3_arr_P & 40 > t3_arr_P & t3_arr_P > 24 + t2_C & 14 > t2_C (***** Constraint 72*****) t3_C > 2 & t3_arr_P > 40 & 6 > t3_C & t2_C = 12 (***** Constraint 73*****) t2_C > 12 & t3_arr_P > 20 & t2_C + t3_C > 14 & 24 > t3_arr_P & 14 > t2_C (***** Constraint 74*****) t3_C > 0 & t2_C = 14 & t3_arr_P = 24 (***** Constraint 75*****) t2_C > 0 & t2_C + t3_C > 12 & 6 > t2_C & 14 > t2_C + t3_C & t3_arr_P = 20 (***** Constraint 76*****) 2*t2_C + t3_C + 10 > t3_arr_P & t2_C > 6 & t3_arr_P > 34 & 10 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 77*****) t3_C > 0 & t2_C = 14 & t3_arr_P = 38 (***** Constraint 78*****) t3_C > 0 & t3_arr_P > 20 & 24 > t3_arr_P & t2_C = 14 (***** Constraint 79*****) t2_C > 12 & t3_arr_P > 42 & 2*t2_C + t3_C > 30 & 48 > t3_arr_P & 14 > t2_C (***** Constraint 80*****) t2_C = 6 & t3_C = 8 & t3_arr_P = 20 (***** Constraint 81*****) t3_arr_P > 38 & t3_C + 38 > t3_arr_P & 40 > t3_arr_P & t2_C = 14 (***** Constraint 82*****) t2_C > 6 & t3_arr_P > 32 & 10 > t2_C & 2*t2_C + t3_C = 24 (***** Constraint 83*****) t3_arr_P > 32 & t2_C = 0 & t3_C = 24 (***** Constraint 84*****) t2_C > 0 & 6 > t2_C & t2_C + t3_C = 14 & t3_arr_P = 20 (***** Constraint 85*****) t3_C > 2 & t3_arr_P > 42 & 48 > t3_arr_P & t2_C = 14 (***** Constraint 86*****) 2*t2_C + t3_C + 6 > t3_arr_P & t2_C > 0 & 24 > t3_arr_P & t3_arr_P > 20 + t2_C (***** Constraint 87*****) t3_C > 2 & 6 > t3_C & t2_C = 12 & t3_C + 34 = t3_arr_P (***** Constraint 88*****) t3_C > 4 & 10 > t3_C & t2_C = 10 & t3_C + 30 = t3_arr_P (***** Constraint 89*****) t3_arr_P > 20 & t3_C > 6 & 8 > t3_C & t2_C = 6 (***** Constraint 90*****) t3_arr_P > 32 & t3_C > 24 & 34 > t3_arr_P & t2_C = 0 (***** Constraint 91*****) t3_C > 6 & t2_C = 12 & t3_arr_P = 40 (***** Constraint 92*****) t2_C > 0 & t3_arr_P > 20 & t2_C + t3_C > 12 & 6 > t2_C & 14 > t2_C + t3_C (***** Constraint 93*****) t3_C > 18 & t2_C = 0 & t3_arr_P = 24 (***** Constraint 94*****) t3_C > 14 & t3_arr_P > 24 & 18 > t3_C & t2_C = 0 (***** Constraint 95*****) 2*t2_C + t3_C > 24 & t2_C > 0 & 4 > t2_C & t3_arr_P = 34 (***** Constraint 96*****) t3_C > 30 & t2_C = 0 & t3_arr_P = 40 (***** Constraint 97*****) t2_C > 12 & 2*t2_C + t3_C > 30 & 14 > t2_C & t3_arr_P = 40 (***** Constraint 98*****) t3_arr_P > 16 & t2_C = 0 & t3_C = 12 (***** Constraint 99*****) 2*t2_C + t3_C > 18 & t2_C > 0 & 4 > t2_C & t3_arr_P = 24 (***** Constraint 100*****) t3_arr_P > 20 & t2_C = 6 & t3_C = 8 (***** Constraint 101*****) t3_C > 2 & 6 > t3_C & t2_C = 12 & t3_arr_P = 40 (***** Constraint 102*****) t2_C > 4 & 2*t2_C + t3_C > 24 & 40 > t3_arr_P & 6 > t2_C & t3_arr_P > 10 + 2*t2_C + t3_C (***** Constraint 103*****) t3_C > 18 & t2_C = 4 & t3_arr_P = 34 (***** Constraint 104*****) t2_C > 0 & t3_arr_P > 20 & 6 > t2_C & t2_C + t3_C = 14 (***** Constraint 105*****) 2*t2_C + t3_C > 30 & t2_C > 0 & 4 > t2_C & t3_arr_P = 40 (***** Constraint 106*****) t2_C + t3_C > 14 & t2_C > 6 & t3_arr_P > 32 & 24 > 2*t2_C + t3_C (***** Constraint 107*****) t3_C > 12 & 14 > t3_C & t2_C = 0 & t3_arr_P = 20 (***** Constraint 108*****) t3_C > 10 & t2_C = 4 & t3_arr_P = 24 (***** Constraint 109*****) t3_C > 2 & t2_C = 14 & t3_arr_P = 40 (***** Constraint 110*****) t2_C > 4 & 2*t2_C + t3_C > 26 & 6 > t2_C & t3_arr_P = 34 (***** Constraint 111*****) t3_arr_P > 40 & t2_C = 12 & t3_C = 6 (***** Constraint 112*****) t2_C > 4 & t2_C + t3_C > 14 & 6 > t2_C & t3_arr_P = 24 (***** Constraint 113*****) t3_arr_P > 26 & t3_C > 8 & 28 > t3_arr_P & t2_C = 6 (***** Constraint 114*****) t2_C = 0 & t3_C = 14 & t3_arr_P = 20 (***** Constraint 115*****) 2*t2_C + t3_C > 24 & t2_C > 6 & 40 > t3_arr_P & 10 > t2_C & t3_arr_P > 10 + 2*t2_C + t3_C (***** Constraint 116*****) t3_C > 22 & t2_C = 4 & t3_arr_P = 40 (***** Constraint 117*****) t3_arr_P > 32 & t2_C = 4 & t3_C = 16 (***** Constraint 118*****) t3_C > 12 & t2_C = 6 & t3_arr_P = 34 (***** Constraint 119*****) t2_C > 4 & t2_C + t3_C > 14 & 6 > t2_C & t2_C + 22 = t3_arr_P (***** Constraint 120*****) t3_arr_P > 40 & t3_C > 6 & 42 > t3_arr_P & t2_C = 12 (***** Constraint 121*****) t3_C > 8 & t2_C = 6 & t3_arr_P = 24 (***** Constraint 122*****) t2_C > 4 & 2*t2_C + t3_C > 24 & 6 > t2_C & 30 > 2*t2_C + t3_C & 2*t2_C + t3_C + 10 = t3_arr_P (***** Constraint 123*****) 2*t2_C + t3_C > 24 & t2_C > 6 & 10 > t2_C & t3_arr_P = 34 (***** Constraint 124*****) t2_C > 4 & 2*t2_C + t3_C > 30 & 6 > t2_C & t3_arr_P = 40 (***** Constraint 125*****) t3_C > 10 & 16 > t3_C & t2_C = 4 & t3_C + 16 = t3_arr_P (***** Constraint 126*****) t2_C > 12 & t3_arr_P > 40 & 2*t2_C + t3_C > 30 & 42 > t3_arr_P & 14 > t2_C (***** Constraint 127*****) t2_C = 12 & t3_C = 6 & t3_arr_P = 40 (***** Constraint 128*****) t3_C > 16 & 40 > t3_arr_P & t3_arr_P > 18 + t3_C & t2_C = 4 (***** Constraint 129*****) t3_C > 4 & t2_C = 10 & t3_arr_P = 34 (***** Constraint 130*****) t3_arr_P > 40 & t3_C > 2 & 42 > t3_arr_P & t2_C = 14 (***** Constraint 131*****) t3_C > 8 & t3_arr_P > 32 & 12 > t3_C & t2_C = 6 (***** Constraint 132*****) t3_C > 18 & t2_C = 6 & t3_arr_P = 40 (***** Constraint 133*****) t2_C > 4 & t3_arr_P > 34 & 2*t2_C + t3_C + 10 > t3_arr_P & 6 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 134*****) t2_C > 10 & t2_C + t3_C > 14 & 12 > t2_C & t3_arr_P = 34 (***** Constraint 135*****) 2*t2_C + t3_C > 24 & t2_C > 6 & t3_arr_P > 40 & 10 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 136*****) 2*t2_C + t3_C > 24 & t2_C > 6 & 10 > t2_C & 30 > 2*t2_C + t3_C & 2*t2_C + t3_C + 10 = t3_arr_P (***** Constraint 137*****) t2_C > 4 & t3_arr_P > 32 & t2_C + t3_C > 14 & 6 > t2_C & 24 > 2*t2_C + t3_C (***** Constraint 138*****) t3_C + 16 > t3_arr_P & t3_arr_P > 26 & 32 > t3_arr_P & t2_C = 4 (***** Constraint 139*****) t3_arr_P > 24 & t2_C = 0 & t3_C = 18 (***** Constraint 140*****) t3_C > 6 & t2_C = 12 & t3_arr_P = 42 (***** Constraint 141*****) t3_arr_P > 20 & t3_C > 12 & 14 > t3_C & t2_C = 0 (***** Constraint 142*****) t2_C > 0 & 4 > t2_C & 2*t2_C + t3_C = 18 & t3_arr_P = 24 (***** Constraint 143*****) t3_C > 2 & t2_C = 12 & t3_arr_P = 34 (***** Constraint 144*****) 2*t2_C + t3_C > 30 & t2_C > 6 & 10 > t2_C & t3_arr_P = 40 (***** Constraint 145*****) t3_C > 6 & t3_arr_P > 42 & 48 > t3_arr_P & t2_C = 12 (***** Constraint 146*****) t2_C > 0 & t3_arr_P > 32 & 4 > t2_C & 2*t2_C + t3_C = 24 (***** Constraint 147*****) t2_C + t3_C > 14 & t2_C > 0 & 18 > 2*t2_C + t3_C & 2*t2_C + t3_C + 6 = t3_arr_P (***** Constraint 148*****) t2_C > 12 & t2_C + t3_C > 14 & 14 > t2_C & t3_arr_P = 34 (***** Constraint 149*****) t3_arr_P > 24 & t3_C > 18 & 26 > t3_arr_P & t2_C = 0 (***** Constraint 150*****) t2_C > 12 & 2*t2_C + t3_C > 30 & 14 > t2_C & t3_arr_P = 42 (***** Constraint 151*****) t3_C > 10 & t2_C = 10 & t3_arr_P = 40 (***** Constraint 152*****) t2_C > 0 & t3_arr_P > 24 & 2*t2_C + t3_C > 18 & 26 > t3_arr_P & 4 > t2_C (***** Constraint 153*****) t2_C + t3_C > 14 & t2_C > 0 & 18 > 2*t2_C + t3_C & t3_arr_P = 24 (***** Constraint 154*****) t3_C > 16 & 22 > t3_C & t2_C = 4 & t3_C + 18 = t3_arr_P (***** Constraint 155*****) t3_C > 0 & t2_C = 14 & t3_arr_P = 34 (***** Constraint 156*****) t3_C > 2 & t2_C = 14 & t3_arr_P = 42 (***** Constraint 157*****) 2*t2_C + t3_C > 18 & t2_C > 0 & 4 > t2_C & 24 > 2*t2_C + t3_C & 2*t2_C + t3_C + 8 = t3_arr_P (***** Constraint 158*****) t2_C > 0 & t2_C + t3_C > 14 & 24 > t3_arr_P & t3_arr_P > 6 + 2*t2_C + t3_C (***** Constraint 159*****) t3_arr_P > 24 & t3_C > 10 & 26 > t3_arr_P & t2_C = 4 (***** Constraint 160*****) t2_C > 10 & 2*t2_C + t3_C > 30 & 12 > t2_C & t3_arr_P = 40 (***** Constraint 161*****) 2*t2_C + t3_C > 26 & t2_C > 0 & 4 > t2_C & t3_arr_P = 34 (***** Constraint 162*****) t3_arr_P > 40 & t2_C > 10 & 12 > t2_C & 2*t2_C + t3_C = 30 (***** Constraint 163*****) t3_arr_P > 32 & t2_C = 6 & t3_C = 12 (***** Constraint 164*****) t2_C > 4 & t3_arr_P > 24 & t2_C + t3_C > 14 & 26 > t3_arr_P & 6 > t2_C (***** Constraint 165*****) 2*t2_C + t3_C > 24 & t2_C > 0 & 40 > t3_arr_P & 4 > t2_C & t3_arr_P > 10 + 2*t2_C + t3_C (***** Constraint 166*****) t3_C > 24 & t2_C = 0 & t3_arr_P = 34 (***** Constraint 167*****) t3_C > 14 & 24 > t3_arr_P & t3_arr_P > 6 + t3_C & t2_C = 0 (***** Constraint 168*****) 2*t2_C + t3_C + 8 > t3_arr_P & t2_C > 0 & t3_arr_P > 26 & 32 > t3_arr_P & 4 > t2_C (***** Constraint 169*****) t3_arr_P > 24 & t3_C > 8 & 26 > t3_arr_P & t2_C = 6 (***** Constraint 170*****) t3_C > 14 & 18 > t3_C & t2_C = 0 & t3_arr_P = 24 (***** Constraint 171*****) 2*t2_C + t3_C > 24 & t2_C > 0 & 4 > t2_C & 30 > 2*t2_C + t3_C & 2*t2_C + t3_C + 10 = t3_arr_P (***** Constraint 172*****) t2_C > 6 & t3_arr_P > 24 & t2_C + t3_C > 14 & 26 > t3_arr_P & 12 > t2_C (***** Constraint 173*****) t3_C > 14 & 18 > t3_C & t2_C = 0 & t3_C + 6 = t3_arr_P (***** Constraint 174*****) t2_C = 0 & t3_C = 18 & t3_arr_P = 24 (***** Constraint 175*****) 2*t2_C + t3_C + 10 > t3_arr_P & t2_C > 0 & t3_arr_P > 34 & 4 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 176*****) t3_arr_P > 24 & t3_C > 2 & 26 > t3_arr_P & t2_C = 12 (***** Constraint 177*****) t2_C > 10 & t3_arr_P > 42 & 2*t2_C + t3_C > 30 & 48 > t3_arr_P & 12 > t2_C (***** Constraint 178*****) t2_C > 12 & t3_arr_P > 24 & t2_C + t3_C > 14 & 26 > t3_arr_P & 14 > t2_C (***** Constraint 179*****) t3_arr_P > 24 & t3_C > 0 & 26 > t3_arr_P & t2_C = 14 (***** Constraint 180*****) t3_arr_P > 40 & t2_C = 10 & t3_C = 10 (***** Constraint 181*****) t3_C > 18 & 24 > t3_C & t2_C = 0 & t3_C + 8 = t3_arr_P (***** Constraint 182*****) t3_arr_P > 40 & t3_C > 30 & 42 > t3_arr_P & t2_C = 0 (***** Constraint 183*****) t3_C > 4 & 10 > t3_C & t2_C = 10 & t3_arr_P = 40 (***** Constraint 184*****) t3_C > 12 & 40 > t3_arr_P & t3_arr_P > 22 + t3_C & t2_C = 6 (***** Constraint 185*****) t3_C > 18 & t2_C = 0 & t3_arr_P = 26 (***** Constraint 186*****) t3_C + 8 > t3_arr_P & t3_arr_P > 26 & 32 > t3_arr_P & t2_C = 0 (***** Constraint 187*****) t2_C > 0 & t3_arr_P > 40 & 2*t2_C + t3_C > 30 & 42 > t3_arr_P & 4 > t2_C (***** Constraint 188*****) t2_C > 10 & t2_C + t3_C > 14 & 12 > t2_C & 30 > 2*t2_C + t3_C & t3_arr_P = 40 (***** Constraint 189*****) 2*t2_C + t3_C > 18 & t2_C > 0 & 4 > t2_C & t3_arr_P = 26 (***** Constraint 190*****) t3_C > 10 & t3_arr_P > 42 & 48 > t3_arr_P & t2_C = 10 (***** Constraint 191*****) t3_C > 8 & t2_C = 6 & t3_arr_P = 28 (***** Constraint 192*****) t3_C > 10 & t2_C = 4 & t3_arr_P = 26 (***** Constraint 193*****) t3_arr_P > 40 & t3_C > 22 & 42 > t3_arr_P & t2_C = 4 (***** Constraint 194*****) t2_C > 4 & t2_C + t3_C > 14 & 6 > t2_C & 24 > 2*t2_C + t3_C & 2*t2_C + t3_C + 8 = t3_arr_P (***** Constraint 195*****) t2_C > 4 & t2_C + t3_C > 14 & 6 > t2_C & t3_arr_P = 26 (***** Constraint 196*****) t2_C > 10 & t2_C + t3_C > 14 & 12 > t2_C & t2_C + 24 = t3_arr_P (***** Constraint 197*****) t2_C > 4 & t3_arr_P > 40 & 2*t2_C + t3_C > 30 & 42 > t3_arr_P & 6 > t2_C (***** Constraint 198*****) t3_C > 10 & 32 > t3_arr_P & t3_arr_P > 16 + t3_C & t2_C = 4 (***** Constraint 199*****) 2*t2_C + t3_C > 24 & t2_C > 6 & 10 > t2_C & 30 > 2*t2_C + t3_C & t3_arr_P = 40 (***** Constraint 200*****) t3_C > 8 & t2_C = 6 & t3_arr_P = 26 (***** Constraint 201*****) t2_C > 10 & t2_C + t3_C > 14 & 12 > t2_C & 30 > 2*t2_C + t3_C & 2*t2_C + t3_C + 10 = t3_arr_P (***** Constraint 202*****) t3_arr_P > 34 & t3_C > 2 & 36 > t3_arr_P & t2_C = 12 (***** Constraint 203*****) t2_C > 4 & 2*t2_C + t3_C + 8 > t3_arr_P & 32 > t3_arr_P & t3_arr_P > 22 + t2_C & 6 > t2_C (***** Constraint 204*****) t2_C + t3_C > 14 & t2_C > 6 & 12 > t2_C & t3_arr_P = 26 (***** Constraint 205*****) t3_arr_P > 40 & t3_C > 18 & 42 > t3_arr_P & t2_C = 6 (***** Constraint 206*****) t2_C > 10 & 12 > t2_C & 2*t2_C + t3_C = 30 & t3_arr_P = 40 (***** Constraint 207*****) t3_C > 12 & 18 > t3_C & t2_C = 6 & t3_arr_P = 40 (***** Constraint 208*****) t2_C > 10 & t2_C + t3_C > 14 & 40 > t3_arr_P & 12 > t2_C & t3_arr_P > 10 + 2*t2_C + t3_C (***** Constraint 209*****) 2*t2_C + t3_C > 18 & t2_C > 0 & 32 > t3_arr_P & 4 > t2_C & t3_arr_P > 8 + 2*t2_C + t3_C (***** Constraint 210*****) t2_C > 6 & t3_arr_P > 40 & 10 > t2_C & 2*t2_C + t3_C = 30 (***** Constraint 211*****) t3_C > 2 & t2_C = 12 & t3_arr_P = 26 (***** Constraint 212*****) t2_C > 6 & t3_arr_P > 40 & 2*t2_C + t3_C > 30 & 42 > t3_arr_P & 10 > t2_C (***** Constraint 213*****) t3_C > 18 & 32 > t3_arr_P & t3_arr_P > 8 + t3_C & t2_C = 0 (***** Constraint 214*****) t3_C > 30 & t2_C = 0 & t3_arr_P = 42 (***** Constraint 215*****) t2_C > 12 & t2_C + t3_C > 14 & 14 > t2_C & t3_arr_P = 26 (***** Constraint 216*****) t3_arr_P > 40 & t3_C > 10 & 42 > t3_arr_P & t2_C = 10 (***** Constraint 217*****) t2_C > 6 & 10 > t2_C & 2*t2_C + t3_C = 30 & t3_arr_P = 40 (***** Constraint 218*****) t2_C + t3_C > 14 & t2_C > 6 & 10 > t2_C & t2_C + 22 = t3_arr_P (***** Constraint 219*****) t3_C > 0 & t2_C = 14 & t3_arr_P = 26 (***** Constraint 220*****) t2_C > 10 & t3_arr_P > 40 & 2*t2_C + t3_C > 30 & 42 > t3_arr_P & 12 > t2_C (***** Constraint 221*****) t3_C > 24 & 30 > t3_C & t2_C = 0 & t3_C + 10 = t3_arr_P (***** Constraint 222*****) t2_C = 10 & t3_C = 10 & t3_arr_P = 40 (***** Constraint 223*****) t3_C > 8 & 12 > t3_C & t2_C = 6 & t3_C + 20 = t3_arr_P (***** Constraint 224*****) 2*t2_C + t3_C > 30 & t2_C > 0 & 4 > t2_C & t3_arr_P = 42 (***** Constraint 225*****) 2*t2_C + t3_C > 24 & t2_C > 0 & t3_arr_P > 40 & 4 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 226*****) t2_C > 4 & t2_C + t3_C > 14 & 32 > t3_arr_P & 6 > t2_C & t3_arr_P > 8 + 2*t2_C + t3_C (***** Constraint 227*****) t3_C > 12 & t3_arr_P > 40 & 18 > t3_C & t2_C = 6 (***** Constraint 228*****) t3_C + 10 > t3_arr_P & t3_arr_P > 34 & 30 > t3_C & t2_C = 0 (***** Constraint 229*****) t3_C > 22 & t2_C = 4 & t3_arr_P = 42 (***** Constraint 230*****) t3_C + 20 > t3_arr_P & t3_arr_P > 28 & 32 > t3_arr_P & t2_C = 6 (***** Constraint 231*****) 2*t2_C + t3_C > 30 & t2_C > 6 & t3_arr_P > 42 & 48 > t3_arr_P & 10 > t2_C (***** Constraint 232*****) t3_C > 22 & t2_C = 4 & t3_arr_P = 46 (***** Constraint 233*****) t2_C > 4 & 2*t2_C + t3_C > 30 & 6 > t2_C & t3_arr_P = 42 (***** Constraint 234*****) t2_C + t3_C > 14 & t2_C > 6 & 24 > 2*t2_C + t3_C & 2*t2_C + t3_C + 8 = t3_arr_P (***** Constraint 235*****) t2_C > 4 & t2_C + 42 > t3_arr_P & t3_arr_P > 42 & 2*t2_C + t3_C > 30 & 6 > t2_C (***** Constraint 236*****) t3_arr_P > 48 & t3_C > 36 & 50 > t3_arr_P & t2_C = 0 (***** Constraint 237*****) t2_C > 4 & 2*t2_C + t3_C > 24 & 6 > t2_C & 30 > 2*t2_C + t3_C & t3_arr_P = 40 (***** Constraint 238*****) t3_C > 8 & 32 > t3_arr_P & t3_arr_P > 20 + t3_C & t2_C = 6 (***** Constraint 239*****) t3_C > 18 & t2_C = 6 & t3_arr_P = 42 (***** Constraint 240*****) t3_C > 18 & t3_arr_P > 42 & 48 > t3_arr_P & t2_C = 6 (***** Constraint 241*****) t3_C > 16 & 22 > t3_C & t2_C = 4 & t3_arr_P = 40 (***** Constraint 242*****) 2*t2_C + t3_C + 8 > t3_arr_P & t2_C > 6 & 32 > t3_arr_P & t3_arr_P > 22 + t2_C (***** Constraint 243*****) 2*t2_C + t3_C > 30 & t2_C > 6 & 10 > t2_C & t3_arr_P = 42 (***** Constraint 244*****) t2_C > 4 & t3_arr_P > 40 & 2*t2_C + t3_C > 24 & 6 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 245*****) t2_C > 0 & t3_arr_P > 48 & 3*t2_C + t3_C > 36 & 50 > t3_arr_P & 4 > t2_C (***** Constraint 246*****) t2_C = 6 & t3_C = 18 & t3_arr_P = 40 (***** Constraint 247*****) t3_C > 10 & t2_C = 10 & t3_arr_P = 42 (***** Constraint 248*****) t2_C > 6 & t2_C + t3_C > 14 & 32 > t3_arr_P & t3_arr_P > 8 + 2*t2_C + t3_C (***** Constraint 249*****) t3_C > 24 & 40 > t3_arr_P & t3_arr_P > 10 + t3_C & t2_C = 0 (***** Constraint 250*****) t3_arr_P > 48 & t3_C > 24 & 50 > t3_arr_P & t2_C = 4 (***** Constraint 251*****) 2*t2_C + t3_C > 24 & t2_C > 0 & 4 > t2_C & 30 > 2*t2_C + t3_C & t3_arr_P = 40 (***** Constraint 252*****) t2_C > 10 & 2*t2_C + t3_C > 30 & 12 > t2_C & t3_arr_P = 42 (***** Constraint 253*****) t3_C > 16 & t3_arr_P > 40 & 22 > t3_C & t2_C = 4 (***** Constraint 254*****) t2_C > 4 & 2*t2_C + t3_C > 24 & 6 > t2_C & 30 > 2*t2_C + t3_C & t3_arr_P = 34 (***** Constraint 255*****) t3_C > 4 & t2_C = 10 & t3_arr_P = 32 (***** Constraint 256*****) t2_C > 4 & t3_arr_P > 48 & 3*t2_C + t3_C > 36 & 50 > t3_arr_P & 6 > t2_C (***** Constraint 257*****) t3_C > 16 & 22 > t3_C & t2_C = 4 & t3_arr_P = 34 (***** Constraint 258*****) t2_C > 10 & t2_C + t3_C > 14 & 12 > t2_C & t3_arr_P = 32 (***** Constraint 259*****) t3_C + 12 > t3_arr_P & t3_arr_P > 42 & 48 > t3_arr_P & t2_C = 0 (***** Constraint 260*****) t3_arr_P > 48 & t3_C > 18 & 50 > t3_arr_P & t2_C = 6 (***** Constraint 261*****) t3_C > 2 & t2_C = 12 & t3_arr_P = 32 (***** Constraint 262*****) t2_C > 4 & 6 > t2_C & 2*t2_C + t3_C = 30 & t3_arr_P = 40 (***** Constraint 263*****) 2*t2_C + t3_C > 30 & t2_C > 0 & 4 > t2_C & t2_C + 42 = t3_arr_P (***** Constraint 264*****) t2_C > 12 & t2_C + t3_C > 14 & 14 > t2_C & t3_arr_P = 32 (***** Constraint 265*****) t2_C > 6 & t3_arr_P > 48 & 2*t2_C + t3_C > 30 & 50 > t3_arr_P & 10 > t2_C (***** Constraint 266*****) t3_arr_P > 40 & t2_C = 6 & t3_C = 18 (***** Constraint 267*****) 2*t2_C + t3_C > 30 & t2_C + 42 > t3_arr_P & t3_arr_P > 42 & 4 > t2_C (***** Constraint 268*****) t3_C > 0 & t2_C = 14 & t3_arr_P = 32 (***** Constraint 269*****) t3_arr_P > 48 & t3_C > 10 & 50 > t3_arr_P & t2_C = 10 (***** Constraint 270*****) t3_C > 22 & t3_arr_P > 42 & 46 > t3_arr_P & t2_C = 4 (***** Constraint 271*****) t2_C > 6 & 10 > t2_C & 2*t2_C + t3_C = 24 & t3_arr_P = 32 (***** Constraint 272*****) t2_C = 4 & t3_C = 22 & t3_arr_P = 40 (***** Constraint 273*****) t2_C > 10 & t3_arr_P > 48 & 2*t2_C + t3_C > 30 & 50 > t3_arr_P & 12 > t2_C (***** Constraint 274*****) t2_C + t3_C > 14 & t2_C > 6 & 24 > 2*t2_C + t3_C & t3_arr_P = 32 (***** Constraint 275*****) t2_C > 0 & t3_arr_P > 40 & 4 > t2_C & 2*t2_C + t3_C = 30 (***** Constraint 276*****) 2*t2_C + t3_C > 24 & t2_C > 6 & 10 > t2_C & t3_arr_P = 32 (***** Constraint 277*****) t3_arr_P > 48 & t3_C > 6 & 50 > t3_arr_P & t2_C = 12 (***** Constraint 278*****) t3_C > 24 & t2_C = 0 & t3_arr_P = 32 (***** Constraint 279*****) t3_arr_P > 40 & t2_C > 4 & 6 > t2_C & 2*t2_C + t3_C = 30 (***** Constraint 280*****) t3_C > 8 & 12 > t3_C & t2_C = 6 & t3_arr_P = 32 (***** Constraint 281*****) t2_C > 12 & t3_arr_P > 48 & 2*t2_C + t3_C > 30 & 50 > t3_arr_P & 14 > t2_C (***** Constraint 282*****) 2*t2_C + t3_C > 24 & t2_C > 0 & 4 > t2_C & t3_arr_P = 32 (***** Constraint 283*****) t3_C > 24 & t3_arr_P > 40 & 30 > t3_C & t2_C = 0 (***** Constraint 284*****) t2_C > 4 & t2_C + t3_C > 14 & 6 > t2_C & 24 > 2*t2_C + t3_C & t3_arr_P = 32 (***** Constraint 285*****) t3_C > 16 & t2_C = 4 & t3_arr_P = 32 (***** Constraint 286*****) t3_arr_P > 48 & t3_C > 2 & 50 > t3_arr_P & t2_C = 14 (***** Constraint 287*****) t3_C > 10 & 16 > t3_C & t2_C = 4 & t3_arr_P = 32 (***** Constraint 288*****) 2*t2_C + t3_C > 30 & t2_C > 0 & 4 > t2_C & 36 > 3*t2_C + t3_C & 3*t2_C + t3_C + 12 = t3_arr_P (***** Constraint 289*****) t3_arr_P > 40 & t2_C = 4 & t3_C = 22 (***** Constraint 290*****) t2_C > 4 & 2*t2_C + t3_C > 24 & 6 > t2_C & t3_arr_P = 32 (***** Constraint 291*****) t2_C = 6 & t3_C = 12 & t3_arr_P = 32 (***** Constraint 292*****) 3*t2_C + t3_C + 12 > t3_arr_P & t2_C > 0 & 48 > t3_arr_P & t3_arr_P > 42 + t2_C & 4 > t2_C (***** Constraint 293*****) t3_C > 36 & t2_C = 0 & t3_arr_P = 50 (***** Constraint 294*****) t3_C > 12 & t2_C = 6 & t3_arr_P = 32 (***** Constraint 295*****) t2_C > 4 & 2*t2_C + t3_C > 30 & 6 > t2_C & t2_C + 42 = t3_arr_P (***** Constraint 296*****) 2*t2_C + t3_C > 18 & t2_C > 0 & 4 > t2_C & 24 > 2*t2_C + t3_C & t3_arr_P = 32 (***** Constraint 297*****) t2_C + t3_C + 4 > t3_arr_P & t2_C > 0 & 48 > t3_arr_P & t3_arr_P > 42 + t2_C & 4 > t2_C (***** Constraint 298*****) 2*t2_C + t3_C > 30 & t2_C > 0 & 48 > t3_arr_P & 4 > t2_C & t3_arr_P > 12 + 3*t2_C + t3_C (***** Constraint 299*****) 3*t2_C + t3_C > 36 & t2_C > 0 & 4 > t2_C & t3_arr_P = 50 (***** Constraint 300*****) t2_C > 12 & 2*t2_C + t3_C > 30 & 14 > t2_C & t3_arr_P = 48 (***** Constraint 301*****) t3_C + 14 > t3_arr_P & t3_arr_P > 50 & 56 > t3_arr_P & t2_C = 0 (***** Constraint 302*****) t2_C > 4 & 6 > t2_C & 2*t2_C + t3_C = 24 & t3_arr_P = 32 (***** Constraint 303*****) t3_C > 24 & t2_C = 4 & t3_arr_P = 50 (***** Constraint 304*****) t3_C > 2 & t2_C = 14 & t3_arr_P = 48 (***** Constraint 305*****) t3_arr_P > 40 & t2_C = 0 & t3_C = 30 (***** Constraint 306*****) t2_C > 4 & 3*t2_C + t3_C > 36 & 6 > t2_C & t3_arr_P = 50 (***** Constraint 307*****) t3_C > 6 & t2_C = 12 & t3_arr_P = 48 (***** Constraint 308*****) t3_C > 30 & 48 > t3_arr_P & t3_arr_P > 12 + t3_C & t2_C = 0 (***** Constraint 309*****) t2_C = 4 & t3_C = 16 & t3_arr_P = 32 (***** Constraint 310*****) t3_arr_P > 46 & t3_C + 24 > t3_arr_P & 48 > t3_arr_P & t2_C = 4 (***** Constraint 311*****) 3*t2_C + t3_C + 14 > t3_arr_P & t2_C > 0 & t3_arr_P > 50 & 56 > t3_arr_P & 4 > t2_C (***** Constraint 312*****) t2_C > 10 & 2*t2_C + t3_C > 30 & 12 > t2_C & t3_arr_P = 48 (***** Constraint 313*****) t3_C > 20 & t2_C = 6 & t3_arr_P = 50 (***** Constraint 314*****) t3_C > 30 & 36 > t3_C & t2_C = 0 & t3_C + 12 = t3_arr_P (***** Constraint 315*****) t2_C > 0 & 4 > t2_C & 2*t2_C + t3_C = 24 & t3_arr_P = 32 (***** Constraint 316*****) 2*t2_C + t3_C > 30 & t2_C > 6 & 10 > t2_C & t3_arr_P = 50 (***** Constraint 317*****) t3_C + 26 > t3_arr_P & t3_arr_P > 50 & 56 > t3_arr_P & t2_C = 4 (***** Constraint 318*****) t3_C > 10 & t2_C = 10 & t3_arr_P = 48 (***** Constraint 319*****) t3_C + 12 > t3_arr_P & t3_arr_P > 42 & 36 > t3_C & t2_C = 0 (***** Constraint 320*****) t3_C > 36 & t2_C = 0 & t3_arr_P = 48 (***** Constraint 321*****) t3_C > 18 & 24 > t3_C & t2_C = 0 & t3_arr_P = 32 (***** Constraint 322*****) t2_C > 4 & t3_arr_P > 50 & 3*t2_C + t3_C + 14 > t3_arr_P & 56 > t3_arr_P & 6 > t2_C (***** Constraint 323*****) 2*t2_C + t3_C > 30 & t2_C > 6 & 10 > t2_C & t3_arr_P = 48 (***** Constraint 324*****) t3_C > 10 & t2_C = 10 & t3_arr_P = 50 (***** Constraint 325*****) 3*t2_C + t3_C > 36 & t2_C > 0 & 4 > t2_C & t3_arr_P = 48 (***** Constraint 326*****) t3_arr_P > 48 & t3_C > 22 & 24 > t3_C & t2_C = 4 (***** Constraint 327*****) t2_C > 10 & 2*t2_C + t3_C > 30 & 12 > t2_C & t3_arr_P = 50 (***** Constraint 328*****) t3_C + 32 > t3_arr_P & t3_arr_P > 50 & 56 > t3_arr_P & t2_C = 6 (***** Constraint 329*****) t2_C = 0 & t3_C = 24 & t3_arr_P = 32 (***** Constraint 330*****) t3_C > 18 & t2_C = 6 & t3_arr_P = 48 (***** Constraint 331*****) t3_C > 24 & t2_C = 4 & t3_arr_P = 48 (***** Constraint 332*****) t3_C > 22 & 24 > t3_C & t2_C = 4 & t3_C + 24 = t3_arr_P (***** Constraint 333*****) t2_C > 4 & 3*t2_C + t3_C > 36 & 6 > t2_C & 42 > 3*t2_C + t3_C & 3*t2_C + t3_C + 14 = t3_arr_P (***** Constraint 334*****) 3*t2_C + t3_C + 14 > t3_arr_P & t2_C > 6 & 56 > t3_arr_P & t3_arr_P > 44 + t2_C & 10 > t2_C (***** Constraint 335*****) t3_C > 6 & t2_C = 12 & t3_arr_P = 50 (***** Constraint 336*****) t2_C > 4 & 6 > t2_C & 3*t2_C + t3_C = 36 & t3_arr_P = 48 (***** Constraint 337*****) t2_C > 4 & 3*t2_C + t3_C > 36 & 6 > t2_C & t3_arr_P = 48 (***** Constraint 338*****) t2_C > 12 & 2*t2_C + t3_C > 30 & 14 > t2_C & t3_arr_P = 50 (***** Constraint 339*****) t3_C > 10 & t2_C = 10 & t3_arr_P = 54 (***** Constraint 340*****) t2_C > 10 & t2_C + 44 > t3_arr_P & t3_arr_P > 50 & 2*t2_C + t3_C > 30 & 12 > t2_C (***** Constraint 341*****) t3_C > 2 & t2_C = 14 & t3_arr_P = 50 (***** Constraint 342*****) t2_C > 0 & 4 > t2_C & 2*t2_C + t3_C = 30 & t3_arr_P = 40 (***** Constraint 343*****) 2*t2_C + t3_C > 30 & t2_C > 6 & 10 > t2_C & t2_C + 44 = t3_arr_P (***** Constraint 344*****) t3_C > 6 & t3_arr_P > 50 & 56 > t3_arr_P & t2_C = 12 (***** Constraint 345*****) t3_C > 24 & 30 > t3_C & t2_C = 0 & t3_arr_P = 40 (***** Constraint 346*****) 2*t2_C + t3_C > 30 & t2_C + 44 > t3_arr_P & t3_arr_P > 50 & 10 > t2_C (***** Constraint 347*****) t3_C > 22 & 24 > t3_C & t2_C = 4 & t3_arr_P = 48 (***** Constraint 348*****) t2_C > 12 & t3_arr_P > 50 & 2*t2_C + t3_C > 30 & 56 > t3_arr_P & 14 > t2_C (***** Constraint 349*****) t3_C > 10 & t3_arr_P > 50 & 54 > t3_arr_P & t2_C = 10 (***** Constraint 350*****) t3_C > 2 & t3_arr_P > 50 & 56 > t3_arr_P & t2_C = 14 (***** Constraint 351*****) t2_C = 0 & t3_C = 30 & t3_arr_P = 40 (***** Constraint 352*****) t3_arr_P > 54 & t3_C + 44 > t3_arr_P & 56 > t3_arr_P & t2_C = 10 (***** Constraint 353*****) t2_C > 10 & 2*t2_C + t3_C > 30 & 12 > t2_C & t2_C + 44 = t3_arr_P (***** Constraint 354*****) t3_arr_P > 48 & t2_C > 4 & 6 > t2_C & 3*t2_C + t3_C = 36 (***** Constraint 355*****) t3_arr_P > 48 & t2_C = 4 & t3_C = 24 (***** Constraint 356*****) t2_C > 4 & t3_arr_P > 50 & 3*t2_C + t3_C + 14 > t3_arr_P & 6 > t2_C & 42 > 3*t2_C + t3_C (***** Constraint 357*****) t2_C = 4 & t3_C = 24 & t3_arr_P = 48 (***** Constraint 358*****) 2*t2_C + t3_C > 30 & t2_C > 0 & 4 > t2_C & 36 > 3*t2_C + t3_C & t3_arr_P = 48 (***** Constraint 359*****) 2*t2_C + t3_C > 30 & t2_C > 0 & t3_arr_P > 48 & 4 > t2_C & 36 > 3*t2_C + t3_C (***** Constraint 360*****) t3_C > 24 & 56 > t3_arr_P & t3_arr_P > 26 + t3_C & t2_C = 4 (***** Constraint 361*****) t2_C > 0 & 4 > t2_C & 3*t2_C + t3_C = 36 & t3_arr_P = 48 (***** Constraint 362*****) t3_C > 24 & 30 > t3_C & t2_C = 4 & t3_C + 26 = t3_arr_P (***** Constraint 363*****) t2_C > 0 & t3_arr_P > 48 & 4 > t2_C & 3*t2_C + t3_C = 36 (***** Constraint 364*****) t3_C > 18 & 24 > t3_C & t2_C = 6 & t3_arr_P = 50 (***** Constraint 365*****) t3_C > 30 & 36 > t3_C & t2_C = 0 & t3_arr_P = 48 (***** Constraint 366*****) t2_C > 4 & 3*t2_C + t3_C > 36 & 6 > t2_C & 42 > 3*t2_C + t3_C & t3_arr_P = 50 (***** Constraint 367*****) t3_C + 26 > t3_arr_P & t3_arr_P > 50 & 30 > t3_C & t2_C = 4 (***** Constraint 368*****) t2_C = 0 & t3_C = 36 & t3_arr_P = 48 (***** Constraint 369*****) 3*t2_C + t3_C > 36 & t2_C > 0 & 56 > t3_arr_P & 4 > t2_C & t3_arr_P > 14 + 3*t2_C + t3_C (***** Constraint 370*****) 3*t2_C + t3_C > 36 & t2_C > 0 & 4 > t2_C & 42 > 3*t2_C + t3_C & 3*t2_C + t3_C + 14 = t3_arr_P (***** Constraint 371*****) t3_C > 30 & t3_arr_P > 48 & 36 > t3_C & t2_C = 0 (***** Constraint 372*****) 3*t2_C + t3_C + 14 > t3_arr_P & t2_C > 0 & t3_arr_P > 50 & 4 > t2_C & 42 > 3*t2_C + t3_C (***** Constraint 373*****) t3_C > 18 & 24 > t3_C & t2_C = 6 & t3_C + 32 = t3_arr_P (***** Constraint 374*****) t3_arr_P > 48 & t2_C = 0 & t3_C = 36 (***** Constraint 375*****) t3_C > 36 & 56 > t3_arr_P & t3_arr_P > 14 + t3_C & t2_C = 0 (***** Constraint 376*****) t3_C > 36 & 42 > t3_C & t2_C = 0 & t3_C + 14 = t3_arr_P (***** Constraint 377*****) 2*t2_C + t3_C > 30 & t2_C > 6 & 10 > t2_C & 42 > 3*t2_C + t3_C & 3*t2_C + t3_C + 14 = t3_arr_P (***** Constraint 378*****) t3_C + 14 > t3_arr_P & t3_arr_P > 50 & 42 > t3_C & t2_C = 0 (***** Constraint 379*****) t2_C > 4 & 3*t2_C + t3_C > 36 & 56 > t3_arr_P & 6 > t2_C & t3_arr_P > 14 + 3*t2_C + t3_C (***** Constraint 380*****) t3_C > 18 & 56 > t3_arr_P & t3_arr_P > 32 + t3_C & t2_C = 6 (***** Constraint 381*****) 2*t2_C + t3_C > 30 & t2_C > 6 & 56 > t3_arr_P & 10 > t2_C & t3_arr_P > 14 + 3*t2_C + t3_C (***** Constraint 382*****) t3_C > 24 & 30 > t3_C & t2_C = 4 & t3_arr_P = 50 (***** Constraint 383*****) 3*t2_C + t3_C > 36 & t2_C > 0 & 4 > t2_C & 42 > 3*t2_C + t3_C & t3_arr_P = 50 (***** Constraint 384*****) t3_C > 10 & 12 > t3_C & t2_C = 10 & t3_C + 44 = t3_arr_P