(* Result output by IMITATOR Version : 2.7-beta2 (build 1074) Model : '/home/mpi/models/flipflop4D.imi' Generated: Sat Apr 25, 2015 15:47:48 Command : /home/mpi/imitator/bin/imitator /home/mpi/models/flipflop4D.imi /home/mpi/models/flipflop4D.v0 -mode cover -distributed static -verbose mute -output-result -output-cart Stats : 6 5 4 1 24024 122.245858908 183 *) (***** Constraint 1*****) 17 > dG3_u + dG4_u & 10 > dG1_u & dG1_u >= 7 & dG2_u >= 5 & dG3_u >= 8 & dG4_u >= 3 (***** Constraint 2*****) 11 > dG1_u & 12 > dG3_u + dG4_u & dG2_u >= 8 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 10 (***** Constraint 3*****) 24 > dG1_u + dG3_u + dG4_u & 12 > dG3_u + dG4_u & dG2_u >= 11 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 11 (***** Constraint 4*****) 24 > dG1_u + dG3_u & 12 > dG3_u + dG4_u & dG2_u + dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG4_u >= 3 & dG1_u + dG3_u + dG4_u >= 24 (***** Constraint 5*****) 17 > dG1_u & 12 > dG3_u + dG4_u & dG2_u + dG3_u >= 24 & dG3_u >= 8 & dG4_u >= 3 & dG1_u + dG3_u >= 24 (***** Constraint 6*****) 24 > dG2_u & 12 > dG3_u + dG4_u & dG2_u >= 17 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 17 (***** Constraint 7*****) 12 > dG3_u + dG4_u & dG2_u >= 24 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 17 (***** Constraint 8*****) dG3_u + dG4_u >= 12 & 24 > 2*dG3_u + dG4_u & 11 > dG1_u & dG2_u + dG3_u + 2*dG4_u >= 24 & dG1_u >= 10 & dG3_u >= 8 & dG4_u >= 3 & dG2_u >= 8 (***** Constraint 9*****) 24 > dG1_u + dG3_u + dG4_u & dG3_u + dG4_u >= 12 & dG2_u >= 11 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 11 (***** Constraint 10*****) dG2_u + dG3_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 12 & 24 > 2*dG3_u + dG4_u & 24 > dG1_u + dG3_u & dG1_u >= 11 & dG1_u + dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG4_u >= 3 (***** Constraint 11*****) dG3_u + dG4_u >= 12 & 24 > 2*dG3_u + dG4_u & 17 > dG1_u & dG2_u + dG3_u >= 24 & dG1_u + dG3_u >= 24 & dG3_u >= 8 & dG4_u >= 3 (***** Constraint 12*****) dG3_u + dG4_u >= 12 & 24 > 2*dG3_u + dG4_u & 24 > dG2_u & dG2_u >= 17 & dG1_u >= 17 & dG3_u >= 8 & dG4_u >= 3 (***** Constraint 13*****) dG3_u + dG4_u >= 12 & 24 > 2*dG3_u + dG4_u & dG2_u >= 24 & dG1_u >= 17 & dG3_u >= 8 & dG4_u >= 3 (***** Constraint 14*****) dG2_u >= 8 & 8 > dG4_u & 17 > dG3_u + dG4_u & 11 > dG1_u & dG2_u + dG3_u + dG4_u >= 24 & dG1_u >= 10 & dG1_u + dG3_u + dG4_u >= 24 & dG4_u >= 3 & 2*dG3_u + dG4_u >= 24 (***** Constraint 15*****) 8 > dG4_u & 17 > dG3_u + dG4_u & 24 > dG1_u + dG3_u & 2*dG3_u + dG4_u >= 24 & dG2_u >= 11 & dG1_u >= 11 & dG4_u >= 3 (***** Constraint 16*****) 2*dG3_u + dG4_u >= 24 & dG2_u >= 11 & 8 > dG4_u & 17 > dG3_u + dG4_u & 17 > dG1_u & dG2_u + dG3_u >= 24 & dG1_u >= 11 & dG1_u + dG3_u >= 24 & dG4_u >= 3 (***** Constraint 17*****) 8 > dG4_u & 17 > dG3_u + dG4_u & 24 > dG2_u & 2*dG3_u + dG4_u >= 24 & dG2_u >= 17 & dG1_u >= 17 & dG4_u >= 3 (***** Constraint 18*****) 8 > dG4_u & 17 > dG3_u + dG4_u & 2*dG3_u + dG4_u >= 24 & dG2_u >= 24 & dG1_u >= 17 & dG4_u >= 3 (***** Constraint 19*****) dG3_u + dG4_u >= 17 & 17 > dG3_u & 24 > dG3_u + dG4_u & 10 > dG1_u & dG1_u >= 7 & dG2_u >= 5 & dG3_u >= 8 & dG4_u >= 3 (***** Constraint 20*****) 11 > dG1_u & 17 > dG1_u + dG4_u & dG3_u + dG4_u >= 17 & dG2_u >= 8 & dG1_u >= 10 & dG4_u >= 3 & 17 > dG3_u (***** Constraint 21*****) dG3_u + dG4_u >= 17 & 17 > dG3_u & dG2_u >= 11 & 17 > dG1_u + dG4_u & dG2_u + dG3_u >= 24 & dG1_u >= 11 & dG1_u + dG3_u >= 24 & dG4_u >= 3 (***** Constraint 22*****) dG2_u + dG3_u >= 24 & dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u + dG4_u >= 17 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & 17 > dG1_u & dG1_u >= 11 & dG1_u + dG4_u >= 17 & dG1_u + dG3_u >= 24 & dG4_u >= 3 (***** Constraint 23*****) 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & 24 > dG2_u & dG3_u + dG4_u >= 17 & dG2_u >= 17 & dG1_u >= 17 & dG4_u >= 3 (***** Constraint 24*****) 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & dG3_u + dG4_u >= 17 & dG2_u >= 24 & dG1_u >= 17 & dG4_u >= 3 (***** Constraint 25*****) 24 > dG3_u + dG4_u & 10 > dG1_u & dG1_u >= 7 & dG2_u >= 5 & dG3_u >= 17 & dG4_u >= 3 (***** Constraint 26*****) 11 > dG1_u & 17 > dG1_u + dG4_u & 24 > dG3_u + dG4_u & dG3_u >= 17 & dG2_u >= 8 & dG4_u >= 3 & dG1_u >= 10 (***** Constraint 27*****) 24 > dG3_u + dG4_u & 17 > dG1_u + dG4_u & dG3_u >= 17 & dG2_u >= 11 & dG1_u >= 11 & dG4_u >= 3 (***** Constraint 28*****) dG3_u >= 17 & dG2_u >= 11 & 24 > dG3_u + dG4_u & 17 > dG1_u & dG2_u + dG4_u >= 17 & dG1_u >= 11 & dG1_u + dG4_u >= 17 & dG4_u >= 3 (***** Constraint 29*****) 24 > dG3_u + dG4_u & 20 > dG2_u & dG3_u >= 17 & dG2_u >= 17 & dG1_u >= 17 & dG4_u >= 3 (***** Constraint 30*****) 24 > dG3_u + dG4_u & 24 > dG2_u & dG3_u >= 17 & dG2_u >= 20 & dG1_u >= 17 & dG4_u >= 3 (***** Constraint 31*****) 24 > dG3_u + dG4_u & dG3_u >= 17 & dG2_u >= 24 & dG1_u >= 17 & dG4_u >= 3 (***** Constraint 32*****) 24 > dG1_u + dG3_u & 17 > dG1_u + dG4_u & dG3_u + dG4_u >= 17 & dG2_u >= 11 & dG1_u >= 11 (***** Constraint 33*****) 8 > dG4_u & dG3_u + dG4_u >= 17 & 24 > dG1_u + dG3_u & dG2_u >= 11 & dG2_u + dG4_u >= 17 & dG1_u >= 11 & dG1_u + dG4_u >= 17 (***** Constraint 34*****) 7 > dG4_u & 24 > dG3_u & 10 > dG1_u & dG1_u >= 7 & dG2_u >= 5 & dG3_u + dG4_u >= 24 & dG4_u >= 3 (***** Constraint 35*****) 11 > dG1_u & 17 > dG1_u + dG4_u & dG3_u + dG4_u >= 24 & dG2_u >= 8 & dG1_u >= 10 & dG4_u >= 3 & 24 > dG3_u (***** Constraint 36*****) dG3_u + dG4_u >= 24 & 7 > dG4_u & 24 > dG3_u & 17 > dG1_u & dG2_u >= 11 & dG2_u + dG4_u >= 17 & dG1_u >= 11 & dG1_u + dG4_u >= 17 & dG4_u >= 3 (***** Constraint 37*****) 24 > dG3_u & 20 > dG2_u & 7 > dG4_u & dG3_u + dG4_u >= 24 & dG2_u + dG4_u >= 24 & dG1_u >= 17 (***** Constraint 38*****) dG3_u + dG4_u >= 24 & 7 > dG4_u & 24 > dG3_u & 24 > dG2_u & dG2_u >= 20 & dG2_u + dG4_u >= 24 & dG1_u >= 17 & dG4_u >= 3 (***** Constraint 39*****) 7 > dG4_u & 24 > dG3_u & dG3_u + dG4_u >= 24 & dG2_u >= 24 & dG1_u >= 17 & dG4_u >= 3 (***** Constraint 40*****) 17 > dG3_u & 24 > dG3_u + dG4_u & 11 > dG1_u & 8 > dG4_u & dG3_u + dG4_u >= 17 & dG2_u + dG4_u >= 17 & dG1_u >= 10 & dG1_u + dG4_u >= 17 (***** Constraint 41*****) 24 > dG3_u & 10 > dG1_u & dG1_u >= 7 & dG2_u >= 5 & dG4_u >= 7 & dG3_u >= 17 (***** Constraint 42*****) 24 > dG3_u & 11 > dG1_u & 8 > dG4_u & dG4_u >= 7 & dG3_u >= 17 & dG2_u + dG4_u >= 17 & dG1_u >= 10 (***** Constraint 43*****) 24 > dG3_u & 24 > dG1_u + dG4_u & dG4_u >= 7 & dG3_u >= 17 & dG2_u >= 11 & dG1_u >= 11 & 8 > dG4_u (***** Constraint 44*****) 24 > dG3_u & 20 > dG2_u & dG4_u >= 7 & dG3_u >= 17 & dG2_u >= 17 & dG1_u >= 17 & 8 > dG4_u (***** Constraint 45*****) 24 > dG3_u & 24 > dG2_u & dG4_u >= 7 & dG3_u >= 17 & dG2_u >= 20 & dG1_u >= 17 & 8 > dG4_u (***** Constraint 46*****) 24 > dG3_u & 8 > dG4_u & dG4_u >= 7 & dG3_u >= 17 & dG2_u >= 24 & dG1_u >= 17 (***** Constraint 47*****) 11 > dG1_u & 17 > dG3_u + dG4_u & dG4_u >= 8 & dG3_u >= 8 & dG2_u >= 8 & dG1_u >= 10 (***** Constraint 48*****) 24 > dG1_u + dG3_u & 17 > dG3_u + dG4_u & dG4_u >= 8 & dG3_u >= 8 & dG2_u >= 11 & dG1_u >= 11 (***** Constraint 49*****) 17 > dG1_u & 17 > dG3_u + dG4_u & dG4_u >= 8 & dG3_u >= 8 & dG2_u + dG3_u >= 24 & dG1_u + dG3_u >= 24 (***** Constraint 50*****) 24 > dG2_u & 17 > dG3_u + dG4_u & dG4_u >= 8 & dG3_u >= 8 & dG2_u >= 17 & dG1_u >= 17 (***** Constraint 51*****) 17 > dG3_u + dG4_u & dG4_u >= 8 & dG3_u >= 8 & dG2_u >= 24 & dG1_u >= 17 (***** Constraint 52*****) dG4_u >= 8 & dG2_u >= 8 & 24 > dG3_u + dG4_u & 11 > dG1_u & dG2_u + dG4_u >= 17 & dG2_u + dG3_u >= 17 & dG3_u >= 8 & dG1_u >= 10 & dG3_u + dG4_u >= 17 (***** Constraint 53*****) dG4_u >= 8 & 24 > dG3_u + dG4_u & 24 > dG1_u + dG3_u & dG3_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u >= 8 & dG1_u >= 11 (***** Constraint 54*****) dG3_u + dG4_u >= 17 & dG4_u >= 8 & dG2_u >= 11 & 24 > dG3_u + dG4_u & 17 > dG1_u & dG2_u + dG3_u >= 24 & dG1_u >= 11 & dG3_u >= 8 & dG1_u + dG3_u >= 24 (***** Constraint 55*****) dG4_u >= 8 & 24 > dG3_u + dG4_u & 24 > dG2_u & dG3_u + dG4_u >= 17 & dG2_u >= 17 & dG3_u >= 8 & dG1_u >= 17 (***** Constraint 56*****) dG4_u >= 8 & 24 > dG3_u + dG4_u & dG3_u + dG4_u >= 17 & dG2_u >= 24 & dG3_u >= 8 & dG1_u >= 17 (***** Constraint 57*****) 17 > dG3_u & 10 > dG1_u & dG1_u >= 7 & dG2_u >= 5 & dG3_u >= 8 & dG3_u + dG4_u >= 24 (***** Constraint 58*****) 17 > dG3_u & 11 > dG1_u & 24 > dG1_u + dG4_u & dG3_u + dG4_u >= 24 & dG2_u >= 8 & dG2_u + dG4_u >= 17 & dG1_u >= 10 & dG4_u >= 8 (***** Constraint 59*****) dG4_u >= 8 & 17 > dG3_u & dG3_u + dG4_u >= 24 & 24 > dG1_u + dG4_u & dG2_u >= 11 & dG2_u + dG3_u >= 24 & dG1_u >= 11 & dG1_u + dG3_u >= 24 (***** Constraint 60*****) dG2_u + dG3_u >= 24 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG4_u >= 8 & 17 > dG3_u & 17 > dG1_u & dG1_u >= 11 & dG1_u + dG4_u >= 24 & dG3_u >= 8 & dG1_u + dG3_u >= 24 (***** Constraint 61*****) dG4_u >= 8 & 17 > dG3_u & 24 > dG2_u & dG3_u + dG4_u >= 24 & dG2_u >= 17 & dG3_u >= 8 & dG1_u >= 17 (***** Constraint 62*****) dG4_u >= 8 & 17 > dG3_u & dG3_u + dG4_u >= 24 & dG2_u >= 24 & dG3_u >= 8 & dG1_u >= 17 (***** Constraint 63*****) 24 > dG3_u & 11 > dG1_u & 24 > dG1_u + dG4_u & dG3_u >= 17 & dG2_u >= 8 & dG2_u + dG4_u >= 17 & dG1_u >= 10 & dG4_u >= 8 (***** Constraint 64*****) 24 > dG3_u & 24 > dG1_u + dG4_u & dG4_u >= 8 & dG3_u >= 17 & dG2_u >= 11 & dG1_u >= 11 (***** Constraint 65*****) dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & 17 > dG1_u & dG2_u >= 11 & dG2_u + dG4_u >= 24 & dG1_u >= 11 & dG1_u + dG4_u >= 24 (***** Constraint 66*****) 24 > dG3_u & 20 > dG2_u & dG4_u >= 8 & dG3_u >= 17 & dG2_u >= 17 & dG1_u >= 17 (***** Constraint 67*****) 24 > dG3_u & 24 > dG2_u & dG4_u >= 8 & dG3_u >= 17 & dG2_u >= 20 & dG1_u >= 17 (***** Constraint 68*****) 24 > dG3_u & dG4_u >= 8 & dG3_u >= 17 & dG2_u >= 24 & dG1_u >= 17 (***** Constraint 69*****) 24 > dG1_u + dG3_u & 24 > dG1_u + dG4_u & dG3_u + dG4_u >= 24 & dG2_u >= 11 & dG1_u >= 11 (***** Constraint 70*****) dG3_u + dG4_u >= 24 & dG2_u >= 11 & 24 > dG1_u + dG3_u & dG2_u + dG4_u >= 24 & dG1_u >= 11 & dG3_u >= 8 & dG1_u + dG4_u >= 24 (***** Constraint 71*****) dG3_u + dG4_u >= 24 & dG2_u + dG4_u >= 24 & 11 > dG1_u & 24 > dG1_u + dG3_u & dG2_u + dG3_u >= 17 & dG1_u >= 10 & dG3_u >= 8 & dG1_u + dG4_u >= 24 & dG2_u >= 8 (***** Constraint 72*****) dG2_u + dG4_u >= 24 & 17 > dG3_u & 11 > dG1_u & dG2_u + dG3_u >= 24 & dG1_u >= 10 & dG1_u + dG4_u >= 24 & dG1_u + dG3_u >= 24 & dG2_u >= 8 (***** Constraint 73*****) 24 > dG3_u & 11 > dG1_u & dG2_u >= 8 & dG2_u + dG4_u >= 24 & dG1_u >= 10 & dG1_u + dG4_u >= 24 & dG3_u >= 17 (***** Constraint 74*****) dG1_u >= 17 & dG2_u >= 24 & dG3_u >= 24 & dG4_u >= 8 (***** Constraint 75*****) dG1_u >= 17 & dG2_u >= 20 & dG3_u >= 24 & dG4_u >= 8 & 24 > dG2_u (***** Constraint 76*****) dG1_u >= 17 & dG2_u >= 17 & dG3_u >= 24 & dG4_u >= 8 & 20 > dG2_u (***** Constraint 77*****) dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 8 & 17 > dG1_u (***** Constraint 78*****) dG1_u >= 10 & dG2_u + dG4_u >= 24 & dG2_u >= 8 & dG3_u >= 24 & dG1_u + dG4_u >= 24 & 11 > dG1_u (***** Constraint 79*****) dG1_u >= 7 & dG2_u >= 5 & dG3_u >= 24 & dG4_u >= 7 & 10 > dG1_u (***** Constraint 80*****) dG2_u + dG4_u >= 24 & dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG1_u >= 10 & 17 > dG2_u + dG3_u (***** Constraint 81*****) dG1_u + dG4_u >= 24 & dG1_u >= 10 & dG2_u + dG4_u >= 24 & dG2_u >= 8 & dG3_u >= 17 & 24 > dG3_u & 11 > dG2_u (***** Constraint 82*****) dG1_u + dG3_u >= 24 & dG1_u + dG4_u >= 24 & dG1_u >= 10 & dG2_u + dG3_u >= 24 & dG2_u + dG4_u >= 24 & dG2_u >= 8 & 17 > dG3_u & 11 > dG2_u (***** Constraint 83*****) dG1_u + dG4_u >= 24 & dG1_u >= 10 & dG2_u + dG3_u >= 17 & dG2_u + dG4_u >= 24 & dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & 11 > dG2_u & 24 > dG2_u + dG3_u (***** Constraint 84*****) dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & 24 > dG2_u + dG3_u (***** Constraint 85*****) dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG1_u >= 11 & 24 > dG2_u + dG4_u & 24 > dG2_u + dG3_u (***** Constraint 86*****) dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG1_u >= 10 & 24 > dG3_u + dG4_u & 17 > dG2_u + dG3_u (***** Constraint 87*****) dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & 17 > dG2_u (***** Constraint 88*****) dG1_u >= 11 & dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & 24 > dG2_u + dG4_u (***** Constraint 89*****) dG1_u >= 10 & dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & 11 > dG2_u & 24 > dG2_u + dG4_u (***** Constraint 90*****) dG2_u >= 8 & dG3_u >= 17 & dG4_u >= 8 & dG1_u >= 10 & 24 > dG3_u & 17 > dG2_u + dG4_u (***** Constraint 91*****) dG1_u + dG3_u >= 24 & dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG4_u >= 8 & 17 > dG3_u & 17 > dG2_u (***** Constraint 92*****) dG1_u + dG3_u >= 24 & dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG4_u >= 8 & 17 > dG3_u & 24 > dG2_u + dG4_u (***** Constraint 93*****) dG1_u >= 10 & dG2_u + dG3_u >= 17 & dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG4_u >= 8 & 17 > dG3_u & 11 > dG2_u & 24 > dG2_u + dG4_u (***** Constraint 94*****) dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG4_u >= 8 & dG1_u >= 10 & 17 > dG3_u & 17 > dG2_u + dG4_u (***** Constraint 95*****) dG2_u >= 7 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG1_u >= 10 & 17 > dG3_u & 8 > dG2_u (***** Constraint 96*****) dG1_u >= 10 & dG2_u >= 5 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & 17 > dG3_u & 7 > dG2_u (***** Constraint 97*****) dG1_u + dG3_u >= 24 & dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & 24 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 98*****) dG1_u >= 11 & dG2_u >= 11 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & 24 > dG3_u + dG4_u & 24 > dG2_u + dG3_u (***** Constraint 99*****) dG1_u >= 10 & dG2_u + dG3_u >= 17 & dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & 24 > dG3_u + dG4_u & 11 > dG2_u (***** Constraint 100*****) dG2_u >= 8 & dG3_u + dG4_u >= 17 & dG4_u >= 8 & dG1_u >= 10 & 24 > dG3_u + dG4_u & 17 > dG2_u + dG4_u (***** Constraint 101*****) dG2_u + dG3_u >= 24 & dG3_u >= 8 & dG4_u >= 8 & dG1_u + dG3_u >= 24 & 17 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 102*****) dG2_u >= 11 & dG3_u >= 8 & dG4_u >= 8 & dG1_u >= 11 & 17 > dG3_u + dG4_u & 24 > dG2_u + dG3_u (***** Constraint 103*****) dG2_u >= 8 & dG3_u >= 8 & dG4_u >= 8 & dG1_u >= 10 & 17 > dG3_u + dG4_u & 11 > dG2_u (***** Constraint 104*****) dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 7 & dG1_u >= 11 & 8 > dG4_u & 24 > dG3_u & 24 > dG2_u + dG4_u (***** Constraint 105*****) dG2_u + dG4_u >= 17 & dG3_u >= 17 & dG4_u >= 7 & dG1_u >= 10 & 8 > dG4_u & 24 > dG3_u & 11 > dG2_u (***** Constraint 106*****) dG2_u >= 8 & dG3_u >= 17 & dG4_u >= 7 & dG1_u >= 10 & 8 > dG4_u & 24 > dG3_u & 17 > dG2_u + dG4_u (***** Constraint 107*****) dG2_u >= 7 & dG3_u >= 17 & dG4_u >= 7 & dG1_u >= 10 & 24 > dG3_u & 8 > dG2_u (***** Constraint 108*****) dG1_u >= 10 & dG2_u >= 5 & dG3_u >= 17 & dG4_u >= 7 & 24 > dG3_u & 7 > dG2_u (***** Constraint 109*****) dG1_u >= 10 & dG2_u + dG4_u >= 17 & dG3_u + dG4_u >= 17 & dG1_u + dG4_u >= 17 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & 11 > dG2_u (***** Constraint 110*****) dG1_u >= 17 & dG2_u >= 17 & dG3_u + dG4_u >= 24 & dG4_u >= 3 & 24 > dG3_u & 20 > dG2_u & 24 > dG2_u + dG4_u (***** Constraint 111*****) dG1_u + dG4_u >= 17 & dG1_u >= 11 & dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG4_u >= 3 & 7 > dG4_u & 24 > dG3_u & 17 > dG2_u (***** Constraint 112*****) dG1_u >= 10 & dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG4_u >= 3 & 7 > dG4_u & 24 > dG3_u & 11 > dG2_u & 17 > dG2_u + dG4_u (***** Constraint 113*****) dG2_u >= 7 & dG3_u + dG4_u >= 24 & dG4_u >= 3 & dG1_u >= 10 & 7 > dG4_u & 24 > dG3_u & 8 > dG2_u (***** Constraint 114*****) dG1_u >= 10 & dG2_u >= 5 & dG3_u + dG4_u >= 24 & dG4_u >= 3 & 7 > dG4_u & 24 > dG3_u & 7 > dG2_u (***** Constraint 115*****) dG1_u + dG4_u >= 17 & dG1_u >= 11 & dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u + dG4_u >= 17 & 8 > dG4_u & 24 > dG2_u + dG3_u (***** Constraint 116*****) dG2_u >= 11 & dG3_u + dG4_u >= 17 & dG1_u >= 11 & 17 > dG2_u + dG4_u & 24 > dG2_u + dG3_u (***** Constraint 117*****) dG1_u >= 10 & dG2_u + dG3_u + 2*dG4_u >= 24 & dG2_u >= 8 & dG3_u + dG4_u >= 12 & dG3_u >= 8 & dG4_u >= 3 & 24 > 2*dG3_u + dG4_u & 11 > dG2_u (***** Constraint 118*****) dG1_u + dG4_u >= 17 & dG1_u >= 11 & dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 3 & 24 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 119*****) dG1_u >= 11 & dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 3 & 24 > dG3_u + dG4_u & 17 > dG2_u + dG4_u (***** Constraint 120*****) dG1_u >= 10 & dG2_u >= 8 & dG3_u >= 17 & dG4_u >= 3 & 24 > dG3_u + dG4_u & 11 > dG2_u & 17 > dG2_u + dG4_u (***** Constraint 121*****) dG2_u >= 7 & dG3_u >= 17 & dG4_u >= 3 & dG1_u >= 10 & 24 > dG3_u + dG4_u & 8 > dG2_u (***** Constraint 122*****) dG1_u >= 10 & dG2_u >= 5 & dG3_u >= 17 & dG4_u >= 3 & 24 > dG3_u + dG4_u & 7 > dG2_u (***** Constraint 123*****) dG1_u + dG3_u >= 24 & dG1_u + dG4_u >= 17 & dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u + dG4_u >= 17 & dG4_u >= 3 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 124*****) dG1_u + dG3_u >= 24 & dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 17 & dG4_u >= 3 & 17 > dG3_u & 17 > dG2_u + dG4_u (***** Constraint 125*****) dG1_u >= 10 & dG2_u >= 8 & dG3_u + dG4_u >= 17 & dG4_u >= 3 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & 11 > dG2_u & 17 > dG2_u + dG4_u (***** Constraint 126*****) dG2_u >= 7 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 10 & 17 > dG3_u & 24 > dG3_u + dG4_u & 8 > dG2_u (***** Constraint 127*****) dG1_u >= 10 & dG2_u >= 5 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 3 & 17 > dG3_u & 24 > dG3_u + dG4_u & 7 > dG2_u (***** Constraint 128*****) dG1_u + dG3_u >= 24 & dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u >= 11 & 2*dG3_u + dG4_u >= 24 & dG4_u >= 3 & 8 > dG4_u & 17 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 129*****) dG1_u >= 11 & dG2_u >= 11 & 2*dG3_u + dG4_u >= 24 & dG4_u >= 3 & 8 > dG4_u & 17 > dG3_u + dG4_u & 24 > dG2_u + dG3_u (***** Constraint 130*****) dG1_u + dG3_u + dG4_u >= 24 & dG1_u >= 10 & dG2_u + dG3_u + dG4_u >= 24 & dG2_u >= 8 & 2*dG3_u + dG4_u >= 24 & dG4_u >= 3 & 8 > dG4_u & 17 > dG3_u + dG4_u & 11 > dG2_u (***** Constraint 131*****) dG1_u + dG3_u >= 24 & dG2_u + dG3_u >= 24 & dG3_u + dG4_u >= 12 & dG3_u >= 8 & dG4_u >= 3 & 24 > 2*dG3_u + dG4_u & 17 > dG2_u (***** Constraint 132*****) dG1_u + dG3_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG3_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 12 & dG3_u >= 8 & dG4_u >= 3 & 24 > 2*dG3_u + dG4_u & 24 > dG2_u + dG3_u (***** Constraint 133*****) dG2_u >= 11 & dG3_u + dG4_u >= 12 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 11 & 24 > dG2_u + dG3_u + dG4_u (***** Constraint 134*****) dG1_u >= 10 & dG2_u + dG3_u + 2*dG4_u >= 24 & dG2_u >= 8 & dG3_u + dG4_u >= 12 & dG3_u >= 8 & dG4_u >= 3 & 11 > dG2_u & 24 > dG2_u + dG3_u + dG4_u (***** Constraint 135*****) dG1_u >= 10 & dG2_u >= 8 & dG3_u >= 8 & dG4_u >= 3 & 24 > dG2_u + dG3_u + 2*dG4_u (***** Constraint 136*****) dG2_u + dG3_u >= 24 & dG3_u >= 8 & dG4_u >= 3 & dG1_u + dG3_u >= 24 & 12 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 137*****) dG2_u + dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG4_u >= 3 & dG1_u + dG3_u + dG4_u >= 24 & 12 > dG3_u + dG4_u & 24 > dG2_u + dG3_u (***** Constraint 138*****) dG2_u >= 11 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 11 & 12 > dG3_u + dG4_u & 24 > dG2_u + dG3_u + dG4_u (***** Constraint 139*****) dG2_u >= 8 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 10 & 12 > dG3_u + dG4_u & 11 > dG2_u (***** Constraint 140*****) dG2_u >= 7 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 10 & 17 > dG3_u + dG4_u & 8 > dG2_u (***** Constraint 141*****) dG1_u >= 10 & dG2_u >= 5 & dG3_u >= 8 & dG4_u >= 3 & 17 > dG3_u + dG4_u & 7 > dG2_u (***** Constraint 142*****) dG1_u + dG4_u >= 24 & dG1_u >= 10 & dG2_u + dG4_u >= 24 & dG2_u >= 8 & dG3_u >= 24 & 11 > dG2_u (***** Constraint 143*****) dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 8 & 17 > dG2_u (***** Constraint 144*****) dG1_u >= 11 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 8 & 24 > dG2_u + dG4_u (***** Constraint 145*****) dG1_u >= 10 & dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u >= 24 & dG4_u >= 8 & 11 > dG2_u & 24 > dG2_u + dG4_u (***** Constraint 146*****) dG2_u >= 8 & dG3_u >= 24 & dG4_u >= 8 & dG1_u >= 10 & 17 > dG2_u + dG4_u (***** Constraint 147*****) dG2_u >= 17 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 17 & 8 > dG4_u & 20 > dG2_u (***** Constraint 148*****) dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 11 & 8 > dG4_u & 24 > dG2_u + dG4_u (***** Constraint 149*****) dG2_u + dG4_u >= 17 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 10 & 8 > dG4_u & 11 > dG2_u (***** Constraint 150*****) dG2_u >= 8 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 10 & 8 > dG4_u & 17 > dG2_u + dG4_u (***** Constraint 151*****) dG2_u >= 7 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 10 & 8 > dG2_u (***** Constraint 152*****) dG1_u >= 10 & dG2_u >= 5 & dG3_u >= 24 & dG4_u >= 7 & 7 > dG2_u (***** Constraint 153*****) dG1_u >= 17 & dG2_u >= 17 & dG3_u >= 24 & dG4_u >= 3 & 20 > dG2_u & 24 > dG2_u + dG4_u (***** Constraint 154*****) dG1_u + dG4_u >= 17 & dG1_u >= 11 & dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 3 & 7 > dG4_u & 17 > dG2_u (***** Constraint 155*****) dG1_u >= 11 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 3 & 17 > dG2_u + dG4_u (***** Constraint 156*****) dG1_u >= 10 & dG2_u >= 8 & dG3_u >= 24 & dG4_u >= 3 & 7 > dG4_u & 11 > dG2_u & 17 > dG2_u + dG4_u (***** Constraint 157*****) dG2_u >= 7 & dG3_u >= 24 & dG4_u >= 3 & dG1_u >= 10 & 7 > dG4_u & 8 > dG2_u (***** Constraint 158*****) dG1_u >= 10 & dG2_u >= 5 & dG3_u >= 24 & dG4_u >= 3 & 7 > dG4_u & 7 > dG2_u (***** Constraint 159*****) dG1_u >= 11 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG4_u >= 3 & 24 > dG3_u & 17 > dG2_u + dG4_u (***** Constraint 160*****) dG2_u >= 24 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 17 & 8 > dG4_u (***** Constraint 161*****) dG2_u >= 20 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 17 & 8 > dG4_u & 24 > dG2_u (***** Constraint 162*****) dG1_u >= 17 & dG2_u + dG4_u >= 24 & dG3_u >= 24 & 7 > dG4_u & 20 > dG2_u (***** Constraint 163*****) dG1_u >= 17 & dG2_u >= 24 & dG3_u >= 24 & dG4_u >= 3 & 7 > dG4_u (***** Constraint 164*****) dG1_u >= 17 & dG2_u + dG4_u >= 24 & dG2_u >= 20 & dG3_u >= 24 & dG4_u >= 3 & 7 > dG4_u & 24 > dG2_u (***** Constraint 165*****) dG2_u >= 20 & dG3_u >= 24 & dG4_u >= 3 & dG1_u >= 17 & 24 > dG2_u + dG4_u (***** Constraint 166*****) dG2_u >= 20 & dG3_u + dG4_u >= 24 & dG4_u >= 3 & dG1_u >= 17 & 24 > dG3_u & 24 > dG2_u + dG4_u (***** Constraint 167*****) dG1_u >= 11 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 8 & 24 > dG1_u + dG4_u (***** Constraint 168*****) dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u >= 24 & dG4_u >= 8 & dG1_u >= 10 & 11 > dG1_u & 24 > dG1_u + dG4_u (***** Constraint 169*****) dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 11 & 8 > dG4_u & 24 > dG1_u + dG4_u (***** Constraint 170*****) dG2_u + dG4_u >= 17 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 10 & 8 > dG4_u & 11 > dG1_u (***** Constraint 171*****) dG1_u + dG4_u >= 17 & dG1_u >= 11 & dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 3 & 7 > dG4_u & 17 > dG1_u (***** Constraint 172*****) dG1_u >= 11 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 3 & 17 > dG1_u + dG4_u (***** Constraint 173*****) dG2_u >= 8 & dG3_u >= 24 & dG4_u >= 3 & dG1_u >= 10 & 11 > dG1_u & 17 > dG1_u + dG4_u (***** Constraint 174*****) dG1_u >= 7 & dG2_u >= 5 & dG3_u >= 24 & dG4_u >= 3 & 7 > dG4_u & 10 > dG1_u (***** Constraint 175*****) dG1_u >= 11 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG4_u >= 3 & 24 > dG3_u & 17 > dG1_u + dG4_u (***** Constraint 176*****) dG1_u >= 10 & dG2_u >= 8 & dG3_u >= 24 & dG4_u >= 3 & 11 > dG2_u & 17 > dG1_u + dG4_u (***** Constraint 177*****) dG1_u >= 10 & dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG4_u >= 3 & 24 > dG3_u & 11 > dG2_u & 17 > dG1_u + dG4_u (***** Constraint 178*****) dG2_u >= 8 & dG3_u >= 17 & dG4_u >= 3 & dG1_u >= 10 & 24 > dG3_u + dG4_u & 17 > dG2_u + dG4_u & 11 > dG1_u (***** Constraint 179*****) dG1_u >= 10 & dG2_u >= 8 & dG3_u >= 17 & dG4_u >= 3 & 24 > dG3_u + dG4_u & 11 > dG2_u & 17 > dG1_u + dG4_u (***** Constraint 180*****) dG1_u >= 10 & dG2_u + dG3_u >= 17 & dG2_u + dG4_u >= 24 & dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG1_u + dG4_u >= 24 & 24 > dG2_u + dG3_u & 11 > dG1_u (***** Constraint 181*****) dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG1_u >= 11 & 24 > dG2_u + dG3_u & 24 > dG1_u + dG4_u (***** Constraint 182*****) dG1_u >= 10 & dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & 11 > dG2_u & 24 > dG1_u + dG4_u (***** Constraint 183*****) dG1_u >= 10 & dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG4_u >= 8 & 17 > dG3_u & 11 > dG2_u & 24 > dG1_u + dG4_u