(*
  Result output by IMITATOR
  Version  : 2.7-beta2 (build 1074)
  Model    : '/home/mpi/models/flipflop4D.imi'
  Generated: Sat Apr 25, 2015 17:24:18
  Command  : /home/mpi/imitator/bin/imitator /home/mpi/models/flipflop4D.imi /home/mpi/models/flipflop4D.v0 -mode cover -distributed sequential -verbose mute -output-result -output-cart
  Stats    :  6 5 4 1 386400 1498.52788091 189
*)


 (***** Constraint 1*****)
 dG2_u >= 5
& dG3_u >= 8
& dG4_u >= 3
& dG1_u >= 7
& 17 > dG3_u + dG4_u
& 10 > dG1_u


 (***** Constraint 2*****)
 dG2_u >= 5
& dG3_u >= 8
& dG4_u >= 3
& dG1_u >= 10
& 17 > dG3_u + dG4_u
& 7 > dG2_u


 (***** Constraint 3*****)
 dG3_u >= 8
& dG4_u >= 3
& dG2_u >= 7
& dG1_u >= 10
& 17 > dG3_u + dG4_u
& 8 > dG2_u


 (***** Constraint 4*****)
 dG4_u >= 3
& dG3_u >= 8
& dG2_u >= 8
& dG1_u >= 10
& 24 > dG2_u + dG3_u + 2*dG4_u


 (***** Constraint 5*****)
 dG4_u >= 3
& dG3_u >= 8
& 12 > dG3_u + dG4_u
& dG2_u >= 8
& 11 > dG1_u
& dG1_u >= 10


 (***** Constraint 6*****)
 dG4_u >= 3
& dG3_u >= 8
& 12 > dG3_u + dG4_u
& dG2_u >= 8
& dG1_u >= 10
& 11 > dG2_u


 (***** Constraint 7*****)
 dG4_u >= 3
& dG3_u >= 8
& dG2_u >= 11
& 12 > dG3_u + dG4_u
& dG1_u >= 11
& 24 > dG1_u + dG3_u + dG4_u


 (***** Constraint 8*****)
 12 > dG3_u + dG4_u
& dG4_u >= 3
& dG3_u >= 8
& dG2_u >= 11
& dG1_u >= 11
& 24 > dG2_u + dG3_u + dG4_u


 (***** Constraint 9*****)
 dG4_u >= 3
& dG3_u >= 8
& 12 > dG3_u + dG4_u
& dG2_u + dG3_u + dG4_u >= 24
& dG1_u + dG3_u + dG4_u >= 24
& 24 > dG2_u + dG3_u


 (***** Constraint 10*****)
 dG4_u >= 3
& dG3_u >= 8
& 12 > dG3_u + dG4_u
& dG2_u + dG3_u + dG4_u >= 24
& dG1_u + dG3_u + dG4_u >= 24
& 24 > dG1_u + dG3_u


 (***** Constraint 11*****)
 dG4_u >= 3
& dG3_u >= 8
& dG2_u + dG3_u >= 24
& 12 > dG3_u + dG4_u
& dG1_u + dG3_u >= 24
& 17 > dG1_u


 (***** Constraint 12*****)
 dG4_u >= 3
& dG3_u >= 8
& dG2_u + dG3_u >= 24
& 12 > dG3_u + dG4_u
& dG1_u + dG3_u >= 24
& 17 > dG2_u


 (***** Constraint 13*****)
 dG4_u >= 3
& dG3_u >= 8
& dG2_u >= 17
& 12 > dG3_u + dG4_u
& dG1_u >= 17
& 24 > dG2_u


 (***** Constraint 14*****)
 dG4_u >= 3
& dG3_u >= 8
& dG2_u >= 24
& 12 > dG3_u + dG4_u
& dG1_u >= 17


 (***** Constraint 15*****)
 dG3_u >= 8
& dG4_u >= 3
& dG3_u + dG4_u >= 12
& dG2_u >= 8
& dG2_u + dG3_u + 2*dG4_u >= 24
& 24 > 2*dG3_u + dG4_u
& dG1_u >= 10
& 11 > dG2_u


 (***** Constraint 16*****)
 dG4_u >= 3
& dG3_u >= 8
& dG3_u + dG4_u >= 12
& dG2_u >= 8
& dG2_u + dG3_u + 2*dG4_u >= 24
& 11 > dG2_u
& dG1_u >= 10
& 24 > dG2_u + dG3_u + dG4_u


 (***** Constraint 17*****)
 dG3_u >= 8
& dG4_u >= 3
& dG3_u + dG4_u >= 12
& dG2_u >= 8
& dG2_u + dG3_u + 2*dG4_u >= 24
& 24 > dG2_u + dG3_u + dG4_u
& dG1_u >= 10
& 11 > dG1_u
& 17 > dG1_u + dG4_u


 (***** Constraint 18*****)
 dG4_u >= 3
& dG3_u >= 8
& dG3_u + dG4_u >= 12
& dG2_u >= 11
& dG1_u >= 11
& 24 > dG1_u + dG3_u + dG4_u


 (***** Constraint 19*****)
 dG4_u >= 3
& dG3_u >= 8
& dG3_u + dG4_u >= 12
& dG2_u >= 11
& dG1_u >= 11
& 24 > dG2_u + dG3_u + dG4_u


 (***** Constraint 20*****)
 dG3_u >= 8
& dG4_u >= 3
& dG3_u + dG4_u >= 12
& dG2_u >= 8
& dG2_u + dG3_u + 2*dG4_u >= 24
& dG1_u >= 10
& 24 > 2*dG3_u + dG4_u
& 11 > dG1_u


 (***** Constraint 21*****)
 dG3_u + dG4_u >= 12
& dG3_u >= 8
& dG4_u >= 3
& dG2_u >= 11
& dG2_u + dG3_u + dG4_u >= 24
& dG1_u >= 11
& 24 > 2*dG3_u + dG4_u
& dG1_u + dG3_u + dG4_u >= 24
& 24 > dG2_u + dG3_u


 (***** Constraint 22*****)
 dG3_u + dG4_u >= 12
& dG3_u >= 8
& dG4_u >= 3
& dG2_u >= 11
& dG2_u + dG3_u + dG4_u >= 24
& dG1_u >= 11
& 24 > 2*dG3_u + dG4_u
& dG1_u + dG3_u + dG4_u >= 24
& 24 > dG1_u + dG3_u


 (***** Constraint 23*****)
 dG3_u >= 8
& dG4_u >= 3
& dG3_u + dG4_u >= 12
& dG2_u + dG3_u >= 24
& dG1_u + dG3_u >= 24
& 24 > 2*dG3_u + dG4_u
& 17 > dG2_u


 (***** Constraint 24*****)
 dG4_u >= 3
& dG3_u >= 8
& dG3_u + dG4_u >= 12
& dG2_u >= 8
& dG2_u + dG3_u + 2*dG4_u >= 24
& dG1_u >= 10
& 11 > dG1_u
& 24 > dG1_u + dG3_u + dG4_u


 (***** Constraint 25*****)
 dG3_u >= 8
& dG4_u >= 3
& dG3_u + dG4_u >= 12
& dG2_u + dG3_u >= 24
& dG1_u + dG3_u >= 24
& 24 > 2*dG3_u + dG4_u
& 17 > dG1_u


 (***** Constraint 26*****)
 dG3_u >= 8
& dG4_u >= 3
& dG3_u + dG4_u >= 12
& dG2_u >= 17
& dG1_u >= 17
& 24 > 2*dG3_u + dG4_u
& 24 > dG2_u


 (***** Constraint 27*****)
 dG3_u >= 8
& dG4_u >= 3
& dG3_u + dG4_u >= 12
& dG2_u >= 24
& dG1_u >= 17
& 24 > 2*dG3_u + dG4_u


 (***** Constraint 28*****)
 2*dG3_u + dG4_u >= 24
& dG2_u + dG3_u + dG4_u >= 24
& dG1_u >= 10
& dG4_u >= 3
& dG2_u >= 8
& 8 > dG4_u
& dG1_u + dG3_u + dG4_u >= 24
& 17 > dG3_u + dG4_u
& 11 > dG1_u


 (***** Constraint 29*****)
 2*dG3_u + dG4_u >= 24
& dG2_u >= 8
& dG2_u + dG3_u + dG4_u >= 24
& dG4_u >= 3
& 8 > dG4_u
& dG1_u >= 10
& 17 > dG3_u + dG4_u
& dG1_u + dG3_u + dG4_u >= 24
& 11 > dG2_u


 (***** Constraint 30*****)
 dG2_u >= 8
& 2*dG3_u + dG4_u >= 24
& dG2_u + dG3_u + dG4_u >= 24
& dG1_u >= 10
& dG4_u >= 3
& 8 > dG4_u
& dG1_u + dG3_u + dG4_u >= 24
& 17 > dG3_u + dG4_u
& 11 > dG2_u
& 17 > dG2_u + dG4_u
& 17 > dG1_u


 (***** Constraint 31*****)
 2*dG3_u + dG4_u >= 24
& dG4_u >= 3
& 8 > dG4_u
& dG2_u >= 11
& 17 > dG3_u + dG4_u
& dG1_u >= 11
& 24 > dG1_u + dG3_u


 (***** Constraint 32*****)
 2*dG3_u + dG4_u >= 24
& dG4_u >= 3
& 8 > dG4_u
& dG2_u >= 11
& 17 > dG3_u + dG4_u
& dG1_u >= 11
& 24 > dG2_u + dG3_u


 (***** Constraint 33*****)
 dG4_u >= 3
& 2*dG3_u + dG4_u >= 24
& dG2_u >= 11
& 17 > dG3_u + dG4_u
& dG1_u >= 11
& 17 > dG2_u + dG4_u
& 24 > dG2_u + dG3_u


 (***** Constraint 34*****)
 dG2_u >= 11
& 2*dG3_u + dG4_u >= 24
& dG2_u + dG3_u >= 24
& dG1_u >= 11
& dG4_u >= 3
& 8 > dG4_u
& dG1_u + dG3_u >= 24
& 17 > dG3_u + dG4_u
& 17 > dG2_u


 (***** Constraint 35*****)
 dG2_u >= 11
& 2*dG3_u + dG4_u >= 24
& dG2_u + dG3_u >= 24
& dG1_u >= 11
& dG4_u >= 3
& 8 > dG4_u
& dG1_u + dG3_u >= 24
& 17 > dG3_u + dG4_u
& 17 > dG1_u


 (***** Constraint 36*****)
 2*dG3_u + dG4_u >= 24
& dG2_u >= 17
& dG4_u >= 3
& 8 > dG4_u
& dG1_u >= 17
& 17 > dG3_u + dG4_u
& 24 > dG2_u


 (***** Constraint 37*****)
 2*dG3_u + dG4_u >= 24
& dG2_u >= 24
& dG4_u >= 3
& 8 > dG4_u
& dG1_u >= 17
& 17 > dG3_u + dG4_u


 (***** Constraint 38*****)
 dG1_u >= 7
& dG2_u >= 5
& dG3_u + dG4_u >= 17
& dG3_u >= 8
& dG4_u >= 3
& 17 > dG3_u
& 24 > dG3_u + dG4_u
& 10 > dG1_u


 (***** Constraint 39*****)
 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 40*****)
 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 41*****)
 dG3_u + dG4_u >= 17
& dG2_u >= 8
& dG4_u >= 3
& 8 > dG4_u
& 17 > dG3_u
& 24 > dG3_u + dG4_u
& dG1_u >= 10
& 11 > dG2_u
& 17 > dG2_u + dG4_u


 (***** Constraint 42*****)
 dG3_u + dG4_u >= 17
& dG4_u >= 3
& 17 > dG3_u
& dG2_u >= 8
& dG1_u >= 10
& 11 > dG2_u
& 17 > dG1_u + dG4_u


 (***** Constraint 43*****)
 dG2_u >= 8
& dG4_u >= 3
& dG3_u + dG4_u >= 17
& 8 > dG4_u
& 17 > dG3_u
& 24 > dG3_u + dG4_u
& dG1_u >= 10
& 17 > dG2_u + dG4_u
& 11 > dG1_u


 (***** Constraint 44*****)
 dG2_u >= 11
& dG3_u + dG4_u >= 17
& dG2_u + dG3_u >= 24
& dG4_u >= 3
& 17 > dG3_u
& dG1_u >= 11
& dG1_u + dG3_u >= 24
& 17 > dG1_u + dG4_u


 (***** Constraint 45*****)
 dG3_u + dG4_u >= 17
& dG2_u >= 11
& dG4_u >= 3
& dG2_u + dG3_u >= 24
& 17 > dG3_u
& dG1_u >= 11
& dG1_u + dG3_u >= 24
& 17 > dG2_u + dG4_u


 (***** Constraint 46*****)
 dG4_u >= 3
& dG3_u + dG4_u >= 17
& 17 > dG3_u
& dG2_u >= 8
& dG1_u >= 10
& 11 > dG1_u
& 17 > dG1_u + dG4_u


 (***** Constraint 47*****)
 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
& dG1_u + dG3_u >= 24
& dG4_u >= 3
& 8 > dG4_u
& 17 > dG3_u
& 24 > dG3_u + dG4_u
& 17 > dG1_u


 (***** Constraint 48*****)
 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
& dG1_u + dG3_u >= 24
& dG4_u >= 3
& 8 > dG4_u
& 17 > dG3_u
& 24 > dG3_u + dG4_u
& 17 > dG2_u


 (***** Constraint 49*****)
 dG2_u >= 17
& dG3_u + dG4_u >= 17
& dG1_u >= 17
& dG4_u >= 3
& 8 > dG4_u
& 17 > dG3_u
& 24 > dG3_u + dG4_u
& 24 > dG2_u


 (***** Constraint 50*****)
 dG2_u >= 24
& dG3_u + dG4_u >= 17
& dG1_u >= 17
& dG4_u >= 3
& 8 > dG4_u
& 17 > dG3_u
& 24 > dG3_u + dG4_u


 (***** Constraint 51*****)
 dG2_u >= 5
& dG3_u >= 17
& dG4_u >= 3
& dG1_u >= 7
& 24 > dG3_u + dG4_u
& 10 > dG1_u


 (***** Constraint 52*****)
 dG3_u >= 17
& dG4_u >= 3
& dG2_u >= 5
& 24 > dG3_u + dG4_u
& dG1_u >= 10
& 7 > dG2_u


 (***** Constraint 53*****)
 dG4_u >= 3
& dG3_u >= 17
& dG2_u >= 7
& 24 > dG3_u + dG4_u
& dG1_u >= 10
& 8 > dG2_u


 (***** Constraint 54*****)
 dG4_u >= 3
& dG3_u >= 17
& dG2_u >= 8
& 24 > dG3_u + dG4_u
& dG1_u >= 10
& 11 > dG2_u
& 17 > dG2_u + dG4_u


 (***** Constraint 55*****)
 dG4_u >= 3
& dG3_u >= 17
& dG2_u >= 8
& 24 > dG3_u + dG4_u
& dG1_u >= 10
& 11 > dG1_u
& 17 > dG1_u + dG4_u


 (***** Constraint 56*****)
 dG3_u >= 17
& dG4_u >= 3
& dG2_u >= 11
& 24 > dG3_u + dG4_u
& dG1_u >= 11
& 17 > dG1_u + dG4_u


 (***** Constraint 57*****)
 dG4_u >= 3
& dG3_u >= 17
& dG2_u >= 11
& 24 > dG3_u + dG4_u
& dG1_u >= 11
& 17 > dG2_u + dG4_u


 (***** Constraint 58*****)
 dG2_u + dG4_u >= 17
& dG2_u >= 11
& dG3_u >= 17
& dG4_u >= 3
& dG1_u >= 11
& dG1_u + dG4_u >= 17
& 24 > dG3_u + dG4_u
& 17 > dG1_u


 (***** Constraint 59*****)
 dG2_u + dG4_u >= 17
& dG2_u >= 11
& dG3_u >= 17
& dG4_u >= 3
& dG1_u >= 11
& dG1_u + dG4_u >= 17
& 24 > dG3_u + dG4_u
& 17 > dG2_u


 (***** Constraint 60*****)
 dG4_u >= 3
& dG3_u >= 17
& dG2_u >= 17
& 24 > dG3_u + dG4_u
& dG1_u >= 17
& 20 > dG2_u


 (***** Constraint 61*****)
 dG3_u >= 17
& dG4_u >= 3
& dG2_u >= 20
& dG1_u >= 17
& 24 > dG3_u + dG4_u
& 24 > dG2_u


 (***** Constraint 62*****)
 dG3_u >= 17
& dG4_u >= 3
& dG2_u >= 24
& dG1_u >= 17
& 24 > dG3_u + dG4_u


 (***** Constraint 63*****)
 dG2_u >= 5
& dG3_u + dG4_u >= 24
& dG1_u >= 7
& dG4_u >= 3
& 7 > dG4_u
& 24 > dG3_u
& 10 > dG1_u


 (***** Constraint 64*****)
 dG3_u + dG4_u >= 24
& dG2_u >= 5
& dG4_u >= 3
& 7 > dG4_u
& 24 > dG3_u
& dG1_u >= 10
& 7 > dG2_u


 (***** Constraint 65*****)
 dG2_u >= 7
& dG4_u >= 3
& dG3_u + dG4_u >= 24
& 7 > dG4_u
& 24 > dG3_u
& dG1_u >= 10
& 8 > dG2_u


 (***** Constraint 66*****)
 dG3_u + dG4_u >= 24
& dG4_u >= 3
& dG2_u >= 8
& 7 > dG4_u
& 24 > dG3_u
& dG1_u >= 10
& 11 > dG2_u
& 17 > dG2_u + dG4_u


 (***** Constraint 67*****)
 dG2_u >= 8
& dG4_u >= 3
& dG3_u + dG4_u >= 24
& 24 > dG3_u
& dG1_u >= 10
& 11 > dG2_u
& 17 > dG1_u + dG4_u


 (***** Constraint 68*****)
 dG4_u >= 3
& dG3_u + dG4_u >= 24
& dG2_u >= 8
& 7 > dG4_u
& 24 > dG3_u
& dG1_u >= 10
& 17 > dG2_u + dG4_u
& 11 > dG1_u


 (***** Constraint 69*****)
 dG4_u >= 3
& dG2_u >= 8
& dG3_u + dG4_u >= 24
& 24 > dG3_u
& dG1_u >= 10
& 11 > dG1_u
& 17 > dG1_u + dG4_u


 (***** Constraint 70*****)
 dG3_u + dG4_u >= 24
& dG4_u >= 3
& dG2_u >= 11
& 24 > dG3_u
& dG1_u >= 11
& 17 > dG1_u + dG4_u


 (***** Constraint 71*****)
 dG4_u >= 3
& dG3_u + dG4_u >= 24
& dG2_u >= 11
& 24 > dG3_u
& dG1_u >= 11
& 17 > dG2_u + dG4_u


 (***** Constraint 72*****)
 dG2_u >= 11
& dG3_u + dG4_u >= 24
& dG2_u + dG4_u >= 17
& dG4_u >= 3
& dG1_u >= 11
& 7 > dG4_u
& 24 > dG3_u
& 17 > dG1_u
& dG1_u + dG4_u >= 17


 (***** Constraint 73*****)
 dG2_u >= 11
& dG3_u + dG4_u >= 24
& dG2_u + dG4_u >= 17
& dG4_u >= 3
& dG1_u >= 11
& 7 > dG4_u
& 24 > dG3_u
& 17 > dG2_u
& dG1_u + dG4_u >= 17


 (***** Constraint 74*****)
 dG4_u >= 3
& dG2_u >= 17
& dG3_u + dG4_u >= 24
& 24 > dG3_u
& dG1_u >= 17
& 20 > dG2_u
& 24 > dG2_u + dG4_u


 (***** Constraint 75*****)
 dG4_u >= 3
& dG3_u + dG4_u >= 24
& dG2_u >= 20
& 24 > dG3_u
& dG1_u >= 17
& 24 > dG2_u + dG4_u


 (***** Constraint 76*****)
 dG2_u >= 20
& dG3_u + dG4_u >= 24
& dG2_u + dG4_u >= 24
& dG4_u >= 3
& dG1_u >= 17
& 7 > dG4_u
& 24 > dG3_u
& 24 > dG2_u


 (***** Constraint 77*****)
 dG2_u >= 24
& dG3_u + dG4_u >= 24
& dG1_u >= 17
& dG4_u >= 3
& 7 > dG4_u
& 24 > dG3_u


 (***** Constraint 78*****)
 dG1_u >= 7
& dG2_u >= 5
& dG3_u >= 24
& dG4_u >= 3
& 7 > dG4_u
& 10 > dG1_u


 (***** Constraint 79*****)
 dG2_u >= 5
& dG3_u >= 24
& dG4_u >= 3
& 7 > dG4_u
& dG1_u >= 10
& 7 > dG2_u


 (***** Constraint 80*****)
 dG3_u >= 24
& dG4_u >= 3
& dG2_u >= 7
& 7 > dG4_u
& dG1_u >= 10
& 8 > dG2_u


 (***** Constraint 81*****)
 dG3_u >= 24
& dG4_u >= 3
& dG2_u >= 8
& 7 > dG4_u
& dG1_u >= 10
& 11 > dG2_u
& 17 > dG2_u + dG4_u


 (***** Constraint 82*****)
 dG4_u >= 3
& dG3_u >= 24
& dG2_u >= 8
& 7 > dG4_u
& dG1_u >= 10
& 17 > dG2_u + dG4_u
& 11 > dG1_u


 (***** Constraint 83*****)
 dG3_u >= 24
& dG4_u >= 3
& dG2_u >= 11
& dG1_u >= 11
& 17 > dG1_u + dG4_u


 (***** Constraint 84*****)
 dG4_u >= 3
& dG3_u >= 24
& dG2_u >= 11
& dG1_u >= 11
& 17 > dG2_u + dG4_u


 (***** Constraint 85*****)
 dG4_u >= 3
& dG3_u >= 24
& dG2_u >= 8
& dG1_u >= 10
& 11 > dG1_u
& 17 > dG1_u + dG4_u


 (***** Constraint 86*****)
 dG2_u + dG4_u >= 17
& dG2_u >= 11
& dG3_u >= 24
& dG4_u >= 3
& dG1_u >= 11
& 7 > dG4_u
& 17 > dG2_u
& dG1_u + dG4_u >= 17


 (***** Constraint 87*****)
 dG2_u + dG4_u >= 17
& dG2_u >= 11
& dG3_u >= 24
& dG4_u >= 3
& dG1_u >= 11
& 7 > dG4_u
& 17 > dG1_u
& dG1_u + dG4_u >= 17


 (***** Constraint 88*****)
 dG4_u >= 3
& dG3_u >= 24
& dG2_u >= 17
& dG1_u >= 17
& 20 > dG2_u
& 24 > dG2_u + dG4_u


 (***** Constraint 89*****)
 dG4_u >= 3
& dG3_u >= 24
& dG2_u >= 20
& dG1_u >= 17
& 24 > dG2_u + dG4_u


 (***** Constraint 90*****)
 dG2_u + dG4_u >= 24
& dG2_u >= 20
& dG3_u >= 24
& dG4_u >= 3
& dG1_u >= 17
& 7 > dG4_u
& 24 > dG2_u


 (***** Constraint 91*****)
 dG1_u >= 17
& dG2_u >= 24
& dG3_u >= 24
& dG4_u >= 3
& 7 > dG4_u


 (***** Constraint 92*****)
 dG3_u + dG4_u >= 17
& dG2_u >= 11
& dG1_u >= 11
& 17 > dG2_u + dG4_u
& 24 > dG2_u + dG3_u


 (***** Constraint 93*****)
 dG3_u + dG4_u >= 17
& dG2_u >= 11
& dG1_u >= 11
& 17 > dG1_u + dG4_u
& 24 > dG1_u + dG3_u


 (***** Constraint 94*****)
 dG3_u + dG4_u >= 24
& dG2_u + dG4_u >= 24
& 7 > dG4_u
& 24 > dG3_u
& dG1_u >= 17
& 20 > dG2_u


 (***** Constraint 95*****)
 dG3_u >= 24
& dG2_u + dG4_u >= 24
& 7 > dG4_u
& dG1_u >= 17
& 20 > dG2_u


 (***** Constraint 96*****)
 dG3_u + dG4_u >= 17
& dG2_u >= 11
& 8 > dG4_u
& dG2_u + dG4_u >= 17
& dG1_u >= 11
& dG1_u + dG4_u >= 17
& 24 > dG1_u + dG3_u


 (***** Constraint 97*****)
 dG3_u + dG4_u >= 17
& dG2_u >= 11
& 8 > dG4_u
& dG2_u + dG4_u >= 17
& dG1_u >= 11
& dG1_u + dG4_u >= 17
& 24 > dG2_u + dG3_u


 (***** Constraint 98*****)
 dG3_u + dG4_u >= 17
& dG2_u + dG4_u >= 17
& dG1_u >= 10
& 8 > dG4_u
& 17 > dG3_u
& 24 > dG3_u + dG4_u
& dG1_u + dG4_u >= 17
& 11 > dG2_u


 (***** Constraint 99*****)
 dG3_u + dG4_u >= 17
& dG2_u + dG4_u >= 17
& dG1_u >= 10
& 8 > dG4_u
& 17 > dG3_u
& 24 > dG3_u + dG4_u
& dG1_u + dG4_u >= 17
& 11 > dG1_u


 (***** Constraint 100*****)
 dG1_u >= 7
& dG2_u >= 5
& dG3_u >= 17
& dG4_u >= 7
& 24 > dG3_u
& 10 > dG1_u


 (***** Constraint 101*****)
 dG2_u >= 5
& dG3_u >= 17
& dG4_u >= 7
& 24 > dG3_u
& dG1_u >= 10
& 7 > dG2_u


 (***** Constraint 102*****)
 dG3_u >= 17
& dG4_u >= 7
& dG2_u >= 7
& 24 > dG3_u
& dG1_u >= 10
& 8 > dG2_u


 (***** Constraint 103*****)
 dG4_u >= 7
& dG3_u >= 17
& 8 > dG4_u
& 24 > dG3_u
& dG2_u >= 8
& dG1_u >= 10
& 17 > dG2_u + dG4_u


 (***** Constraint 104*****)
 dG3_u >= 17
& dG4_u >= 7
& dG2_u + dG4_u >= 17
& 8 > dG4_u
& 24 > dG3_u
& dG1_u >= 10
& 11 > dG2_u


 (***** Constraint 105*****)
 dG3_u >= 17
& dG4_u >= 7
& dG2_u + dG4_u >= 17
& 8 > dG4_u
& 24 > dG3_u
& dG1_u >= 10
& 11 > dG1_u


 (***** Constraint 106*****)
 dG3_u >= 17
& dG4_u >= 7
& dG2_u >= 11
& 8 > dG4_u
& 24 > dG3_u
& dG1_u >= 11
& 24 > dG2_u + dG4_u


 (***** Constraint 107*****)
 dG3_u >= 17
& dG4_u >= 7
& dG2_u >= 11
& 8 > dG4_u
& 24 > dG3_u
& dG1_u >= 11
& 24 > dG1_u + dG4_u


 (***** Constraint 108*****)
 dG3_u >= 17
& dG4_u >= 7
& dG2_u >= 17
& 8 > dG4_u
& 24 > dG3_u
& dG1_u >= 17
& 20 > dG2_u


 (***** Constraint 109*****)
 dG2_u >= 20
& dG3_u >= 17
& dG4_u >= 7
& dG1_u >= 17
& 8 > dG4_u
& 24 > dG3_u
& 24 > dG2_u


 (***** Constraint 110*****)
 dG2_u >= 24
& dG3_u >= 17
& dG4_u >= 7
& dG1_u >= 17
& 8 > dG4_u
& 24 > dG3_u


 (***** Constraint 111*****)
 dG1_u >= 7
& dG2_u >= 5
& dG3_u >= 24
& dG4_u >= 7
& 10 > dG1_u


 (***** Constraint 112*****)
 dG2_u >= 5
& dG3_u >= 24
& dG4_u >= 7
& dG1_u >= 10
& 7 > dG2_u


 (***** Constraint 113*****)
 dG3_u >= 24
& dG4_u >= 7
& dG2_u >= 7
& dG1_u >= 10
& 8 > dG2_u


 (***** Constraint 114*****)
 dG4_u >= 7
& dG3_u >= 24
& 8 > dG4_u
& dG2_u >= 8
& dG1_u >= 10
& 17 > dG2_u + dG4_u


 (***** Constraint 115*****)
 dG3_u >= 24
& dG4_u >= 7
& dG2_u + dG4_u >= 17
& 8 > dG4_u
& dG1_u >= 10
& 11 > dG1_u


 (***** Constraint 116*****)
 dG3_u >= 24
& dG4_u >= 7
& dG2_u + dG4_u >= 17
& 8 > dG4_u
& dG1_u >= 10
& 11 > dG2_u


 (***** Constraint 117*****)
 dG3_u >= 24
& dG4_u >= 7
& dG2_u >= 11
& 8 > dG4_u
& dG1_u >= 11
& 24 > dG1_u + dG4_u


 (***** Constraint 118*****)
 dG3_u >= 24
& dG4_u >= 7
& dG2_u >= 11
& 8 > dG4_u
& dG1_u >= 11
& 24 > dG2_u + dG4_u


 (***** Constraint 119*****)
 dG3_u >= 24
& dG4_u >= 7
& dG2_u >= 17
& 8 > dG4_u
& dG1_u >= 17
& 20 > dG2_u


 (***** Constraint 120*****)
 dG2_u >= 20
& dG3_u >= 24
& dG4_u >= 7
& dG1_u >= 17
& 8 > dG4_u
& 24 > dG2_u


 (***** Constraint 121*****)
 dG2_u >= 24
& dG3_u >= 24
& dG4_u >= 7
& dG1_u >= 17
& 8 > dG4_u


 (***** Constraint 122*****)
 dG3_u >= 8
& dG4_u >= 8
& dG2_u >= 8
& dG1_u >= 10
& 17 > dG3_u + dG4_u
& 11 > dG2_u


 (***** Constraint 123*****)
 dG4_u >= 8
& dG3_u >= 8
& dG2_u >= 8
& 17 > dG3_u + dG4_u
& dG1_u >= 10
& 11 > dG1_u


 (***** Constraint 124*****)
 dG4_u >= 8
& dG3_u >= 8
& dG2_u >= 11
& 17 > dG3_u + dG4_u
& dG1_u >= 11
& 24 > dG2_u + dG3_u


 (***** Constraint 125*****)
 dG4_u >= 8
& dG3_u >= 8
& dG2_u >= 11
& 17 > dG3_u + dG4_u
& dG1_u >= 11
& 24 > dG1_u + dG3_u


 (***** Constraint 126*****)
 dG3_u >= 8
& dG4_u >= 8
& dG2_u + dG3_u >= 24
& dG1_u + dG3_u >= 24
& 17 > dG3_u + dG4_u
& 17 > dG2_u


 (***** Constraint 127*****)
 dG3_u >= 8
& dG4_u >= 8
& dG2_u + dG3_u >= 24
& dG1_u + dG3_u >= 24
& 17 > dG3_u + dG4_u
& 17 > dG1_u


 (***** Constraint 128*****)
 dG3_u >= 8
& dG4_u >= 8
& dG2_u >= 17
& dG1_u >= 17
& 17 > dG3_u + dG4_u
& 24 > dG2_u


 (***** Constraint 129*****)
 dG3_u >= 8
& dG4_u >= 8
& dG2_u >= 24
& dG1_u >= 17
& 17 > dG3_u + dG4_u


 (***** Constraint 130*****)
 dG4_u >= 8
& dG3_u + dG4_u >= 17
& 24 > dG3_u + dG4_u
& dG2_u >= 8
& dG1_u >= 10
& 17 > dG2_u + dG4_u


 (***** Constraint 131*****)
 dG2_u + dG4_u >= 17
& dG2_u >= 8
& dG3_u + dG4_u >= 17
& dG3_u >= 8
& dG4_u >= 8
& dG2_u + dG3_u >= 17
& 24 > dG3_u + dG4_u
& dG1_u >= 10
& 11 > dG2_u


 (***** Constraint 132*****)
 dG2_u >= 8
& dG3_u + dG4_u >= 17
& dG3_u >= 8
& dG4_u >= 8
& dG2_u + dG4_u >= 17
& dG2_u + dG3_u >= 17
& 24 > dG3_u + dG4_u
& dG1_u >= 10
& 11 > dG1_u


 (***** Constraint 133*****)
 dG3_u + dG4_u >= 17
& dG3_u >= 8
& dG4_u >= 8
& dG2_u >= 11
& 24 > dG3_u + dG4_u
& dG1_u >= 11
& 24 > dG1_u + dG3_u


 (***** Constraint 134*****)
 dG3_u + dG4_u >= 17
& dG3_u >= 8
& dG4_u >= 8
& dG2_u >= 11
& 24 > dG3_u + dG4_u
& dG1_u >= 11
& 24 > dG2_u + dG3_u


 (***** Constraint 135*****)
 dG1_u >= 11
& dG2_u + dG3_u >= 24
& dG2_u >= 11
& dG3_u + dG4_u >= 17
& dG3_u >= 8
& dG4_u >= 8
& dG1_u + dG3_u >= 24
& 24 > dG3_u + dG4_u
& 17 > dG2_u


 (***** Constraint 136*****)
 dG1_u >= 11
& dG2_u + dG3_u >= 24
& dG2_u >= 11
& dG3_u + dG4_u >= 17
& dG3_u >= 8
& dG4_u >= 8
& dG1_u + dG3_u >= 24
& 24 > dG3_u + dG4_u
& 17 > dG1_u


 (***** Constraint 137*****)
 dG2_u >= 17
& dG3_u + dG4_u >= 17
& dG3_u >= 8
& dG4_u >= 8
& dG1_u >= 17
& 24 > dG3_u + dG4_u
& 24 > dG2_u


 (***** Constraint 138*****)
 dG2_u >= 24
& dG3_u + dG4_u >= 17
& dG3_u >= 8
& dG4_u >= 8
& dG1_u >= 17
& 24 > dG3_u + dG4_u


 (***** Constraint 139*****)
 dG2_u >= 5
& dG3_u + dG4_u >= 24
& dG3_u >= 8
& dG1_u >= 7
& 17 > dG3_u
& 10 > dG1_u


 (***** Constraint 140*****)
 dG2_u >= 5
& dG3_u + dG4_u >= 24
& dG3_u >= 8
& dG1_u >= 10
& 17 > dG3_u
& 7 > dG2_u


 (***** Constraint 141*****)
 dG3_u + dG4_u >= 24
& dG3_u >= 8
& dG2_u >= 7
& dG1_u >= 10
& 17 > dG3_u
& 8 > dG2_u


 (***** Constraint 142*****)
 dG4_u >= 8
& dG3_u + dG4_u >= 24
& 17 > dG3_u
& dG2_u >= 8
& dG1_u >= 10
& 17 > dG2_u + dG4_u


 (***** Constraint 143*****)
 dG2_u + dG4_u >= 17
& dG2_u >= 8
& dG3_u + dG4_u >= 24
& dG2_u + dG3_u >= 17
& dG4_u >= 8
& 17 > dG3_u
& dG1_u >= 10
& 11 > dG2_u
& 24 > dG2_u + dG4_u


 (***** Constraint 144*****)
 dG2_u >= 8
& dG3_u + dG4_u >= 24
& dG2_u + dG4_u >= 17
& dG4_u >= 8
& 17 > dG3_u
& dG1_u >= 10
& 11 > dG2_u
& 24 > dG1_u + dG4_u


 (***** Constraint 145*****)
 dG3_u + dG4_u >= 24
& dG2_u + dG4_u >= 17
& dG4_u >= 8
& dG2_u >= 8
& 17 > dG3_u
& dG1_u >= 10
& 11 > dG1_u
& 24 > dG1_u + dG4_u


 (***** Constraint 146*****)
 dG2_u + dG3_u >= 24
& dG2_u >= 11
& dG3_u + dG4_u >= 24
& dG1_u >= 11
& dG4_u >= 8
& 17 > dG3_u
& dG1_u + dG3_u >= 24
& 24 > dG2_u + dG4_u


 (***** Constraint 147*****)
 dG2_u + dG3_u >= 24
& dG2_u >= 11
& dG3_u + dG4_u >= 24
& dG1_u >= 11
& dG4_u >= 8
& 17 > dG3_u
& dG1_u + dG3_u >= 24
& 24 > dG1_u + dG4_u


 (***** Constraint 148*****)
 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 > dG1_u


 (***** Constraint 149*****)
 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 150*****)
 dG1_u >= 17
& dG2_u >= 17
& dG3_u + dG4_u >= 24
& dG3_u >= 8
& dG4_u >= 8
& 17 > dG3_u
& 24 > dG2_u


 (***** Constraint 151*****)
 dG1_u >= 17
& dG2_u >= 24
& dG3_u + dG4_u >= 24
& dG3_u >= 8
& dG4_u >= 8
& 17 > dG3_u


 (***** Constraint 152*****)
 dG4_u >= 8
& dG3_u >= 17
& 24 > dG3_u
& dG2_u >= 8
& dG1_u >= 10
& 17 > dG2_u + dG4_u


 (***** Constraint 153*****)
 dG2_u >= 8
& dG3_u >= 17
& dG4_u >= 8
& dG2_u + dG4_u >= 17
& 24 > dG3_u
& dG1_u >= 10
& 11 > dG1_u
& 24 > dG1_u + dG4_u


 (***** Constraint 154*****)
 dG2_u + dG4_u >= 17
& dG2_u >= 8
& dG3_u >= 17
& dG4_u >= 8
& 24 > dG3_u
& dG1_u >= 10
& 11 > dG2_u
& 24 > dG2_u + dG4_u


 (***** Constraint 155*****)
 dG2_u + dG4_u >= 17
& dG2_u >= 8
& dG3_u >= 17
& dG4_u >= 8
& 24 > dG3_u
& dG1_u >= 10
& 11 > dG2_u
& 24 > dG1_u + dG4_u


 (***** Constraint 156*****)
 dG2_u >= 11
& dG3_u >= 17
& dG4_u >= 8
& 24 > dG3_u
& dG1_u >= 11
& 24 > dG2_u + dG4_u


 (***** Constraint 157*****)
 dG2_u >= 11
& dG3_u >= 17
& dG4_u >= 8
& 24 > dG3_u
& dG1_u >= 11
& 24 > dG1_u + dG4_u


 (***** Constraint 158*****)
 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 159*****)
 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 > dG1_u


 (***** Constraint 160*****)
 dG2_u >= 17
& dG3_u >= 17
& dG4_u >= 8
& 24 > dG3_u
& dG1_u >= 17
& 20 > dG2_u


 (***** Constraint 161*****)
 dG1_u >= 17
& dG2_u >= 20
& dG3_u >= 17
& dG4_u >= 8
& 24 > dG3_u
& 24 > dG2_u


 (***** Constraint 162*****)
 dG1_u >= 17
& dG2_u >= 24
& dG3_u >= 17
& dG4_u >= 8
& 24 > dG3_u


 (***** Constraint 163*****)
 dG4_u >= 8
& dG3_u >= 24
& dG2_u >= 8
& dG1_u >= 10
& 17 > dG2_u + dG4_u


 (***** Constraint 164*****)
 dG2_u + dG4_u >= 17
& dG2_u >= 8
& dG3_u >= 24
& dG4_u >= 8
& dG1_u >= 10
& 11 > dG2_u
& 24 > dG2_u + dG4_u


 (***** Constraint 165*****)
 dG2_u >= 8
& dG3_u >= 24
& dG4_u >= 8
& dG2_u + dG4_u >= 17
& dG1_u >= 10
& 24 > dG2_u + dG4_u
& 11 > dG1_u


 (***** Constraint 166*****)
 dG2_u >= 11
& dG3_u >= 24
& dG4_u >= 8
& dG1_u >= 11
& 24 > dG2_u + dG4_u


 (***** Constraint 167*****)
 dG2_u >= 11
& dG3_u >= 24
& dG4_u >= 8
& dG1_u >= 11
& 24 > dG1_u + dG4_u


 (***** Constraint 168*****)
 dG2_u >= 8
& dG3_u >= 24
& dG4_u >= 8
& dG2_u + dG4_u >= 17
& dG1_u >= 10
& 11 > dG1_u
& 24 > dG1_u + dG4_u


 (***** Constraint 169*****)
 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 170*****)
 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 171*****)
 dG2_u >= 17
& dG3_u >= 24
& dG4_u >= 8
& dG1_u >= 17
& 20 > dG2_u


 (***** Constraint 172*****)
 dG1_u >= 17
& dG2_u >= 20
& dG3_u >= 24
& dG4_u >= 8
& 24 > dG2_u


 (***** Constraint 173*****)
 dG1_u >= 17
& dG2_u >= 24
& dG3_u >= 24
& dG4_u >= 8


 (***** Constraint 174*****)
 dG3_u >= 8
& dG3_u + dG4_u >= 17
& dG2_u >= 8
& 24 > dG3_u + dG4_u
& dG2_u + dG4_u >= 17
& dG1_u >= 10
& 17 > dG2_u + dG3_u


 (***** Constraint 175*****)
 dG3_u + dG4_u >= 24
& dG2_u >= 11
& dG1_u >= 11
& 24 > dG2_u + dG4_u
& 24 > dG2_u + dG3_u


 (***** Constraint 176*****)
 dG3_u + dG4_u >= 24
& dG2_u >= 11
& dG1_u >= 11
& 24 > dG2_u + dG3_u
& 24 > dG1_u + dG4_u


 (***** Constraint 177*****)
 dG3_u + dG4_u >= 24
& dG2_u >= 11
& dG1_u >= 11
& 24 > dG1_u + dG4_u
& 24 > dG1_u + dG3_u


 (***** Constraint 178*****)
 dG2_u >= 11
& dG3_u + dG4_u >= 24
& dG3_u >= 8
& dG2_u + dG4_u >= 24
& dG1_u >= 11
& dG1_u + dG4_u >= 24
& 24 > dG1_u + dG3_u


 (***** Constraint 179*****)
 dG2_u >= 11
& dG3_u + dG4_u >= 24
& dG3_u >= 8
& dG2_u + dG4_u >= 24
& dG1_u >= 11
& dG1_u + dG4_u >= 24
& 24 > dG2_u + dG3_u


 (***** Constraint 180*****)
 dG2_u + dG4_u >= 24
& dG2_u >= 8
& dG3_u + dG4_u >= 24
& dG3_u >= 8
& dG2_u + dG3_u >= 17
& dG1_u >= 10
& dG1_u + dG4_u >= 24
& 11 > dG2_u
& 24 > dG2_u + dG3_u


 (***** Constraint 181*****)
 dG2_u >= 8
& dG3_u + dG4_u >= 24
& dG3_u >= 8
& dG2_u + dG3_u >= 17
& dG2_u + dG4_u >= 24
& dG1_u >= 10
& dG1_u + dG4_u >= 24
& 11 > dG1_u
& 24 > dG1_u + dG3_u


 (***** Constraint 182*****)
 dG2_u >= 8
& dG3_u + dG4_u >= 24
& dG3_u >= 8
& dG2_u + dG3_u >= 17
& dG2_u + dG4_u >= 24
& dG1_u >= 10
& dG1_u + dG4_u >= 24
& 24 > dG2_u + dG3_u
& 11 > dG1_u


 (***** Constraint 183*****)
 dG2_u + dG4_u >= 24
& dG2_u >= 8
& dG2_u + dG3_u >= 24
& dG1_u >= 10
& dG1_u + dG4_u >= 24
& 17 > dG3_u
& dG1_u + dG3_u >= 24
& 11 > dG2_u


 (***** Constraint 184*****)
 dG2_u >= 8
& dG2_u + dG3_u >= 24
& dG1_u >= 10
& dG1_u + dG4_u >= 24
& dG2_u + dG4_u >= 24
& 17 > dG3_u
& dG1_u + dG3_u >= 24
& 11 > dG1_u


 (***** Constraint 185*****)
 dG2_u + dG4_u >= 24
& dG2_u >= 8
& dG3_u >= 17
& dG1_u >= 10
& 24 > dG3_u
& dG1_u + dG4_u >= 24
& 11 > dG2_u


 (***** Constraint 186*****)
 dG2_u >= 8
& dG3_u >= 17
& dG1_u >= 10
& dG2_u + dG4_u >= 24
& 24 > dG3_u
& dG1_u + dG4_u >= 24
& 11 > dG1_u


 (***** Constraint 187*****)
 dG2_u >= 8
& dG3_u >= 24
& dG1_u >= 10
& dG2_u + dG4_u >= 24
& dG1_u + dG4_u >= 24
& 11 > dG1_u


 (***** Constraint 188*****)
 dG2_u + dG4_u >= 24
& dG2_u >= 8
& dG3_u >= 24
& dG1_u >= 10
& dG1_u + dG4_u >= 24
& 11 > dG2_u


 (***** Constraint 189*****)
 dG3_u >= 8
& dG3_u + dG4_u >= 24
& dG2_u >= 8
& dG2_u + dG4_u >= 24
& dG1_u >= 10
& 17 > dG2_u + dG3_u