(*
  Result output by IMITATOR
  Version  : 2.7-beta2 (build 1074)
  Model    : '/home/mpi/models/sched3-bigV0-3D.imi'
  Generated: Sat Apr 25, 2015 20:45:59
  Command  : /home/mpi/imitator/bin/imitator /home/mpi/models/sched3-bigV0-3D.imi /home/mpi/models/sched3-bigV0-3D.v0 -mode cover -distributed static -verbose mute -output-result -output-cart
  Stats    :  8 13 3 0 4446 180.724484206 371
*)


 (***** Constraint 1*****)
 t2_C > 14
& t3_C > 0
& t3_arr_P = 20


 (***** Constraint 2*****)
 t2_C > 14
& t3_C > 0
& t3_arr_P > 20


 (***** Constraint 3*****)
 t2_C > 12
& t2_C + t3_C > 14
& 14 > t2_C
& t2_C + 24 = t3_arr_P


 (***** Constraint 4*****)
 t3_C + 34 > t3_arr_P
& t3_arr_P > 36
& 40 > t3_arr_P
& t2_C = 12


 (***** Constraint 5*****)
 t3_C > 2
& t2_C = 12
& t3_arr_P = 36


 (***** Constraint 6*****)
 t3_C > 0
& t3_arr_P > 34
& 38 > t3_arr_P
& t2_C = 14


 (***** Constraint 7*****)
 t2_C > 12
& t2_C + 24 > t3_arr_P
& t3_arr_P > 34
& t2_C + t3_C > 14
& 14 > t2_C


 (***** Constraint 8*****)
 t3_arr_P > 34
& t3_C > 2
& 36 > t3_arr_P
& t2_C = 12


 (***** Constraint 9*****)
 t3_C > 0
& t2_C = 14
& t3_arr_P = 34


 (***** Constraint 10*****)
 t2_C > 12
& t2_C + t3_C > 14
& 14 > t2_C
& t3_arr_P = 34


 (***** Constraint 11*****)
 t3_C > 2
& t2_C = 12
& t3_arr_P = 34


 (***** Constraint 12*****)
 t3_arr_P > 32
& t3_C > 0
& 34 > t3_arr_P
& t2_C = 14


 (***** Constraint 13*****)
 t2_C > 12
& t3_arr_P > 32
& t2_C + t3_C > 14
& 34 > t3_arr_P
& 14 > t2_C


 (***** Constraint 14*****)
 t3_arr_P > 32
& t3_C > 2
& 34 > t3_arr_P
& t2_C = 12


 (***** Constraint 15*****)
 t3_C > 0
& t2_C = 14
& t3_arr_P = 32


 (***** Constraint 16*****)
 t2_C > 12
& t2_C + t3_C > 14
& 14 > t2_C
& t3_arr_P = 32


 (***** Constraint 17*****)
 t3_C > 2
& t2_C = 12
& t3_arr_P = 32


 (***** Constraint 18*****)
 t3_C > 0
& t3_arr_P > 26
& 32 > t3_arr_P
& t2_C = 14


 (***** Constraint 19*****)
 t2_C > 12
& t3_arr_P > 26
& t2_C + t3_C > 14
& 32 > t3_arr_P
& 14 > t2_C


 (***** Constraint 20*****)
 t3_C > 2
& t3_arr_P > 26
& 32 > t3_arr_P
& t2_C = 12


 (***** Constraint 21*****)
 t3_C > 0
& t2_C = 14
& t3_arr_P = 26


 (***** Constraint 22*****)
 t2_C > 12
& t2_C + t3_C > 14
& 14 > t2_C
& t3_arr_P = 26


 (***** Constraint 23*****)
 t3_C > 2
& t2_C = 12
& t3_arr_P = 26


 (***** Constraint 24*****)
 t3_arr_P > 24
& t3_C > 0
& 26 > t3_arr_P
& t2_C = 14


 (***** Constraint 25*****)
 t2_C > 12
& t3_arr_P > 24
& t2_C + t3_C > 14
& 26 > t3_arr_P
& 14 > t2_C


 (***** Constraint 26*****)
 t3_arr_P > 24
& t3_C > 2
& 26 > t3_arr_P
& t2_C = 12


 (***** Constraint 27*****)
 t3_C > 0
& t2_C = 14
& t3_arr_P = 24


 (***** Constraint 28*****)
 t2_C > 12
& t2_C + t3_C > 14
& 14 > t2_C
& t3_arr_P = 24


 (***** Constraint 29*****)
 t3_C > 2
& t2_C = 12
& t3_arr_P = 24


 (***** Constraint 30*****)
 t3_C > 0
& t3_arr_P > 20
& 24 > t3_arr_P
& t2_C = 14


 (***** Constraint 31*****)
 t2_C > 12
& t3_arr_P > 20
& t2_C + t3_C > 14
& 24 > t3_arr_P
& 14 > t2_C


 (***** Constraint 32*****)
 t3_C > 2
& t3_arr_P > 20
& 24 > t3_arr_P
& t2_C = 12


 (***** Constraint 33*****)
 t3_C > 0
& t2_C = 14
& t3_arr_P = 20


 (***** Constraint 34*****)
 t2_C > 12
& t2_C + t3_C > 14
& 14 > t2_C
& t3_arr_P = 20


 (***** Constraint 35*****)
 t3_C > 2
& t2_C = 12
& t3_arr_P = 20


 (***** Constraint 36*****)
 t3_C > 2
& t3_arr_P > 50
& 56 > t3_arr_P
& t2_C = 14


 (***** Constraint 37*****)
 t2_C > 12
& t3_arr_P > 50
& 2*t2_C + t3_C > 30
& 56 > t3_arr_P
& 14 > t2_C


 (***** Constraint 38*****)
 t3_C > 6
& t3_arr_P > 50
& 56 > t3_arr_P
& t2_C = 12


 (***** Constraint 39*****)
 t3_C > 2
& t2_C = 14
& t3_arr_P = 50


 (***** Constraint 40*****)
 t2_C > 12
& 2*t2_C + t3_C > 30
& 14 > t2_C
& t3_arr_P = 50


 (***** Constraint 41*****)
 t3_C > 6
& t2_C = 12
& t3_arr_P = 50


 (***** Constraint 42*****)
 t3_arr_P > 48
& t3_C > 2
& 50 > t3_arr_P
& t2_C = 14


 (***** Constraint 43*****)
 t2_C > 12
& t3_arr_P > 48
& 2*t2_C + t3_C > 30
& 50 > t3_arr_P
& 14 > t2_C


 (***** Constraint 44*****)
 t3_arr_P > 48
& t3_C > 6
& 50 > t3_arr_P
& t2_C = 12


 (***** Constraint 45*****)
 t3_C > 2
& t2_C = 14
& t3_arr_P = 48


 (***** Constraint 46*****)
 t2_C > 12
& 2*t2_C + t3_C > 30
& 14 > t2_C
& t3_arr_P = 48


 (***** Constraint 47*****)
 t3_C > 6
& t2_C = 12
& t3_arr_P = 48


 (***** Constraint 48*****)
 t3_C > 2
& t3_arr_P > 42
& 48 > t3_arr_P
& t2_C = 14


 (***** Constraint 49*****)
 t2_C > 12
& t3_arr_P > 42
& 2*t2_C + t3_C > 30
& 48 > t3_arr_P
& 14 > t2_C


 (***** Constraint 50*****)
 t3_C > 6
& t3_arr_P > 42
& 48 > t3_arr_P
& t2_C = 12


 (***** Constraint 51*****)
 t3_C > 2
& t2_C = 14
& t3_arr_P = 42


 (***** Constraint 52*****)
 t2_C > 12
& 2*t2_C + t3_C > 30
& 14 > t2_C
& t3_arr_P = 42


 (***** Constraint 53*****)
 t3_C > 6
& t2_C = 12
& t3_arr_P = 42


 (***** Constraint 54*****)
 t3_arr_P > 40
& t3_C > 2
& 42 > t3_arr_P
& t2_C = 14


 (***** Constraint 55*****)
 t2_C > 12
& t3_arr_P > 40
& 2*t2_C + t3_C > 30
& 42 > t3_arr_P
& 14 > t2_C


 (***** Constraint 56*****)
 t3_arr_P > 40
& t3_C > 6
& 42 > t3_arr_P
& t2_C = 12


 (***** Constraint 57*****)
 t3_C > 2
& t2_C = 14
& t3_arr_P = 40


 (***** Constraint 58*****)
 t2_C > 12
& 2*t2_C + t3_C > 30
& 14 > t2_C
& t3_arr_P = 40


 (***** Constraint 59*****)
 t3_C > 6
& t2_C = 12
& t3_arr_P = 40


 (***** Constraint 60*****)
 t3_arr_P > 38
& t3_C + 38 > t3_arr_P
& 40 > t3_arr_P
& t2_C = 14


 (***** Constraint 61*****)
 t3_C > 0
& t2_C = 14
& t3_arr_P = 38


 (***** Constraint 62*****)
 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 63*****)
 t3_arr_P > 40
& t2_C = 12
& t3_C = 6


 (***** Constraint 64*****)
 t3_C > 2
& t3_arr_P > 40
& 6 > t3_C
& t2_C = 12


 (***** Constraint 65*****)
 t2_C = 12
& t3_C = 6
& t3_arr_P = 40


 (***** Constraint 66*****)
 t3_C > 2
& 6 > t3_C
& t2_C = 12
& t3_arr_P = 40


 (***** Constraint 67*****)
 t3_C > 2
& 6 > t3_C
& t2_C = 12
& t3_C + 34 = t3_arr_P


 (***** 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*****)
 t2_C > 10
& t2_C + t3_C > 14
& 12 > t2_C
& t2_C + 24 = t3_arr_P


 (***** Constraint 70*****)
 t3_C + 30 > t3_arr_P
& t3_arr_P > 34
& 40 > t3_arr_P
& t2_C = 10


 (***** Constraint 71*****)
 2*t2_C + t3_C + 10 > t3_arr_P
& t2_C > 6
& t3_arr_P > 34
& 40 > t3_arr_P
& 10 > t2_C


 (***** Constraint 72*****)
 t3_C + 22 > t3_arr_P
& t3_arr_P > 34
& 40 > t3_arr_P
& t2_C = 6


 (***** Constraint 73*****)
 t2_C > 4
& t3_arr_P > 34
& 2*t2_C + t3_C + 10 > t3_arr_P
& 40 > t3_arr_P
& 6 > t2_C


 (***** Constraint 74*****)
 t3_C + 18 > t3_arr_P
& t3_arr_P > 34
& 40 > t3_arr_P
& t2_C = 4


 (***** Constraint 75*****)
 2*t2_C + t3_C + 10 > t3_arr_P
& t2_C > 0
& t3_arr_P > 34
& 40 > t3_arr_P
& 4 > t2_C


 (***** Constraint 76*****)
 t3_C + 10 > t3_arr_P
& t3_arr_P > 34
& 40 > t3_arr_P
& t2_C = 0


 (***** Constraint 77*****)
 t2_C > 10
& t2_C + t3_C > 14
& 12 > t2_C
& t3_arr_P = 34


 (***** Constraint 78*****)
 t3_C > 4
& t2_C = 10
& t3_arr_P = 34


 (***** Constraint 79*****)
 2*t2_C + t3_C > 24
& t2_C > 6
& 10 > t2_C
& t3_arr_P = 34


 (***** Constraint 80*****)
 t3_C > 12
& t2_C = 6
& t3_arr_P = 34


 (***** Constraint 81*****)
 t2_C > 4
& 2*t2_C + t3_C > 24
& 6 > t2_C
& t3_arr_P = 34


 (***** Constraint 82*****)
 t3_C > 16
& t2_C = 4
& t3_arr_P = 34


 (***** Constraint 83*****)
 2*t2_C + t3_C > 24
& t2_C > 0
& 4 > t2_C
& t3_arr_P = 34


 (***** Constraint 84*****)
 t3_C > 24
& t2_C = 0
& t3_arr_P = 34


 (***** Constraint 85*****)
 t2_C > 10
& t3_arr_P > 32
& t2_C + t3_C > 14
& 34 > t3_arr_P
& 12 > t2_C


 (***** Constraint 86*****)
 t3_arr_P > 32
& t3_C > 4
& 34 > t3_arr_P
& t2_C = 10


 (***** Constraint 87*****)
 t2_C > 6
& t3_arr_P > 32
& 2*t2_C + t3_C > 24
& 34 > t3_arr_P
& 10 > t2_C


 (***** Constraint 88*****)
 t3_arr_P > 32
& t3_C > 12
& 34 > t3_arr_P
& t2_C = 6


 (***** Constraint 89*****)
 t2_C > 4
& t3_arr_P > 32
& 2*t2_C + t3_C > 24
& 34 > t3_arr_P
& 6 > t2_C


 (***** Constraint 90*****)
 t3_arr_P > 32
& t3_C > 16
& 34 > t3_arr_P
& t2_C = 4


 (***** Constraint 91*****)
 t2_C > 0
& t3_arr_P > 32
& 2*t2_C + t3_C > 24
& 34 > t3_arr_P
& 4 > t2_C


 (***** Constraint 92*****)
 t3_arr_P > 32
& t3_C > 24
& 34 > t3_arr_P
& t2_C = 0


 (***** Constraint 93*****)
 t2_C > 10
& t2_C + t3_C > 14
& 12 > t2_C
& t3_arr_P = 32


 (***** Constraint 94*****)
 t3_C > 4
& t2_C = 10
& t3_arr_P = 32


 (***** Constraint 95*****)
 2*t2_C + t3_C > 24
& t2_C > 6
& 10 > t2_C
& t3_arr_P = 32


 (***** Constraint 96*****)
 t3_C > 12
& t2_C = 6
& t3_arr_P = 32


 (***** Constraint 97*****)
 t2_C > 4
& 2*t2_C + t3_C > 24
& 6 > t2_C
& t3_arr_P = 32


 (***** Constraint 98*****)
 t3_C > 16
& t2_C = 4
& t3_arr_P = 32


 (***** Constraint 99*****)
 2*t2_C + t3_C > 24
& t2_C > 0
& 4 > t2_C
& t3_arr_P = 32


 (***** Constraint 100*****)
 t3_C > 24
& t2_C = 0
& t3_arr_P = 32


 (***** Constraint 101*****)
 2*t2_C + t3_C + 8 > t3_arr_P
& t2_C > 6
& 32 > t3_arr_P
& t3_arr_P > 22 + t2_C


 (***** Constraint 102*****)
 t2_C + t3_C > 14
& t2_C > 6
& 10 > t2_C
& t2_C + 22 = t3_arr_P


 (***** Constraint 103*****)
 t3_C + 20 > t3_arr_P
& t3_arr_P > 28
& 32 > t3_arr_P
& t2_C = 6


 (***** Constraint 104*****)
 t3_C > 8
& t2_C = 6
& t3_arr_P = 28


 (***** Constraint 105*****)
 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 106*****)
 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 107*****)
 t3_arr_P > 26
& t3_C > 8
& 28 > t3_arr_P
& t2_C = 6


 (***** Constraint 108*****)
 t2_C > 4
& t2_C + t3_C > 14
& 6 > t2_C
& t2_C + 22 = t3_arr_P


 (***** Constraint 109*****)
 t3_C + 16 > t3_arr_P
& t3_arr_P > 26
& 32 > t3_arr_P
& t2_C = 4


 (***** Constraint 110*****)
 2*t2_C + t3_C + 8 > t3_arr_P
& t2_C > 0
& t3_arr_P > 26
& 32 > t3_arr_P
& 4 > t2_C


 (***** Constraint 111*****)
 t3_C + 8 > t3_arr_P
& t3_arr_P > 26
& 32 > t3_arr_P
& t2_C = 0


 (***** Constraint 112*****)
 t2_C + t3_C > 14
& t2_C > 6
& 12 > t2_C
& t3_arr_P = 26


 (***** Constraint 113*****)
 t3_C > 8
& t2_C = 6
& t3_arr_P = 26


 (***** Constraint 114*****)
 t2_C > 4
& t2_C + t3_C > 14
& 6 > t2_C
& t3_arr_P = 26


 (***** Constraint 115*****)
 t3_C > 10
& t2_C = 4
& t3_arr_P = 26


 (***** Constraint 116*****)
 2*t2_C + t3_C > 18
& t2_C > 0
& 4 > t2_C
& t3_arr_P = 26


 (***** Constraint 117*****)
 t3_C > 18
& t2_C = 0
& t3_arr_P = 26


 (***** Constraint 118*****)
 t2_C > 6
& t3_arr_P > 24
& t2_C + t3_C > 14
& 26 > t3_arr_P
& 12 > t2_C


 (***** Constraint 119*****)
 t3_arr_P > 24
& t3_C > 8
& 26 > t3_arr_P
& t2_C = 6


 (***** Constraint 120*****)
 t2_C > 4
& t3_arr_P > 24
& t2_C + t3_C > 14
& 26 > t3_arr_P
& 6 > t2_C


 (***** Constraint 121*****)
 t3_arr_P > 24
& t3_C > 10
& 26 > t3_arr_P
& t2_C = 4


 (***** Constraint 122*****)
 t2_C > 0
& t3_arr_P > 24
& 2*t2_C + t3_C > 18
& 26 > t3_arr_P
& 4 > t2_C


 (***** Constraint 123*****)
 t3_arr_P > 24
& t3_C > 18
& 26 > t3_arr_P
& t2_C = 0


 (***** Constraint 124*****)
 t2_C + t3_C > 14
& t2_C > 6
& 12 > t2_C
& t3_arr_P = 24


 (***** Constraint 125*****)
 t3_C > 8
& t2_C = 6
& t3_arr_P = 24


 (***** Constraint 126*****)
 t2_C > 4
& t2_C + t3_C > 14
& 6 > t2_C
& t3_arr_P = 24


 (***** Constraint 127*****)
 t3_C > 10
& t2_C = 4
& t3_arr_P = 24


 (***** Constraint 128*****)
 2*t2_C + t3_C > 18
& t2_C > 0
& 4 > t2_C
& t3_arr_P = 24


 (***** Constraint 129*****)
 t3_C > 18
& t2_C = 0
& t3_arr_P = 24


 (***** Constraint 130*****)
 2*t2_C + t3_C + 6 > t3_arr_P
& t2_C > 0
& 24 > t3_arr_P
& t3_arr_P > 20 + t2_C


 (***** Constraint 131*****)
 t2_C + t3_C > 14
& t2_C > 6
& t3_arr_P > 20
& 24 > t3_arr_P
& 12 > t2_C


 (***** Constraint 132*****)
 t3_C > 8
& t3_arr_P > 20
& 24 > t3_arr_P
& t2_C = 6


 (***** Constraint 133*****)
 t2_C + t3_C > 14
& t2_C + 20 > t3_arr_P
& t3_arr_P > 20
& 24 > t3_arr_P
& 6 > t2_C


 (***** Constraint 134*****)
 t2_C + t3_C > 14
& t2_C > 0
& 4 > t2_C
& t2_C + 20 = t3_arr_P


 (***** Constraint 135*****)
 t3_C + 6 > t3_arr_P
& t3_arr_P > 20
& 24 > t3_arr_P
& t2_C = 0


 (***** Constraint 136*****)
 t2_C + t3_C > 14
& t2_C > 6
& 12 > t2_C
& t3_arr_P = 20


 (***** Constraint 137*****)
 t3_C > 8
& t2_C = 6
& t3_arr_P = 20


 (***** Constraint 138*****)
 t2_C + t3_C > 14
& t2_C > 0
& 6 > t2_C
& t3_arr_P = 20


 (***** Constraint 139*****)
 t3_C > 14
& t2_C = 0
& t3_arr_P = 20


 (***** Constraint 140*****)
 t2_C + t3_C > 14
& t2_C > 6
& 10 > t2_C
& t3_arr_P = 26


 (***** Constraint 141*****)
 t3_C > 24
& 40 > t3_arr_P
& t3_arr_P > 10 + t3_C
& t2_C = 0


 (***** Constraint 142*****)
 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 143*****)
 t3_C + 10 > t3_arr_P
& t3_arr_P > 34
& 30 > t3_C
& t2_C = 0


 (***** Constraint 144*****)
 t3_C > 24
& 30 > t3_C
& t2_C = 0
& t3_C + 10 = t3_arr_P


 (***** Constraint 145*****)
 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 146*****)
 t3_arr_P > 32
& t2_C = 0
& t3_C = 24


 (***** Constraint 147*****)
 t3_C > 18
& t3_arr_P > 32
& 24 > t3_C
& t2_C = 0


 (***** Constraint 148*****)
 t2_C = 0
& t3_C = 24
& t3_arr_P = 32


 (***** Constraint 149*****)
 t3_C > 18
& 24 > t3_C
& t2_C = 0
& t3_arr_P = 32


 (***** Constraint 150*****)
 t3_C > 18
& 24 > t3_C
& t2_C = 0
& t3_C + 8 = t3_arr_P


 (***** Constraint 151*****)
 t2_C > 10
& 2*t2_C + t3_C > 30
& 12 > t2_C
& t2_C + 44 = t3_arr_P


 (***** Constraint 152*****)
 t3_arr_P > 54
& t3_C + 44 > t3_arr_P
& 56 > t3_arr_P
& t2_C = 10


 (***** Constraint 153*****)
 t3_C > 10
& t2_C = 10
& t3_arr_P = 54


 (***** Constraint 154*****)
 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 155*****)
 t2_C > 10
& t2_C + 44 > t3_arr_P
& t3_arr_P > 50
& 2*t2_C + t3_C > 30
& 12 > t2_C


 (***** Constraint 156*****)
 t3_C > 10
& t3_arr_P > 50
& 54 > t3_arr_P
& t2_C = 10


 (***** Constraint 157*****)
 2*t2_C + t3_C > 30
& t2_C + 44 > t3_arr_P
& t3_arr_P > 50
& 10 > t2_C


 (***** Constraint 158*****)
 2*t2_C + t3_C > 30
& t2_C > 6
& 10 > t2_C
& t2_C + 44 = t3_arr_P


 (***** Constraint 159*****)
 t3_C + 32 > t3_arr_P
& t3_arr_P > 50
& 56 > t3_arr_P
& t2_C = 6


 (***** Constraint 160*****)
 t2_C > 4
& t3_arr_P > 50
& 3*t2_C + t3_C + 14 > t3_arr_P
& 56 > t3_arr_P
& 6 > t2_C


 (***** Constraint 161*****)
 t3_C + 26 > t3_arr_P
& t3_arr_P > 50
& 56 > t3_arr_P
& t2_C = 4


 (***** Constraint 162*****)
 3*t2_C + t3_C + 14 > t3_arr_P
& t2_C > 0
& t3_arr_P > 50
& 56 > t3_arr_P
& 4 > t2_C


 (***** Constraint 163*****)
 t3_C + 14 > t3_arr_P
& t3_arr_P > 50
& 56 > t3_arr_P
& t2_C = 0


 (***** Constraint 164*****)
 t2_C > 10
& 2*t2_C + t3_C > 30
& 12 > t2_C
& t3_arr_P = 50


 (***** Constraint 165*****)
 t3_C > 10
& t2_C = 10
& t3_arr_P = 50


 (***** Constraint 166*****)
 2*t2_C + t3_C > 30
& t2_C > 6
& 10 > t2_C
& t3_arr_P = 50


 (***** Constraint 167*****)
 t3_C > 18
& t2_C = 6
& t3_arr_P = 50


 (***** Constraint 168*****)
 t2_C > 4
& 3*t2_C + t3_C > 38
& 6 > t2_C
& t3_arr_P = 50


 (***** Constraint 169*****)
 t3_C > 24
& t2_C = 4
& t3_arr_P = 50


 (***** Constraint 170*****)
 3*t2_C + t3_C > 36
& t2_C > 0
& 4 > t2_C
& t3_arr_P = 50


 (***** Constraint 171*****)
 t3_C > 36
& t2_C = 0
& t3_arr_P = 50


 (***** Constraint 172*****)
 t2_C > 10
& t3_arr_P > 48
& 2*t2_C + t3_C > 30
& 50 > t3_arr_P
& 12 > t2_C


 (***** Constraint 173*****)
 t3_arr_P > 48
& t3_C > 10
& 50 > t3_arr_P
& t2_C = 10


 (***** Constraint 174*****)
 t2_C > 6
& t3_arr_P > 48
& 2*t2_C + t3_C > 30
& 50 > t3_arr_P
& 10 > t2_C


 (***** Constraint 175*****)
 t3_arr_P > 48
& t3_C > 18
& 50 > t3_arr_P
& t2_C = 6


 (***** Constraint 176*****)
 t2_C > 4
& t3_arr_P > 48
& 3*t2_C + t3_C > 36
& 50 > t3_arr_P
& 6 > t2_C


 (***** Constraint 177*****)
 t3_arr_P > 48
& t3_C > 24
& 50 > t3_arr_P
& t2_C = 4


 (***** Constraint 178*****)
 t2_C > 0
& t3_arr_P > 48
& 3*t2_C + t3_C > 36
& 50 > t3_arr_P
& 4 > t2_C


 (***** Constraint 179*****)
 t3_arr_P > 48
& t3_C > 36
& 50 > t3_arr_P
& t2_C = 0


 (***** Constraint 180*****)
 t2_C > 10
& 2*t2_C + t3_C > 30
& 12 > t2_C
& t3_arr_P = 48


 (***** Constraint 181*****)
 t3_C > 10
& t2_C = 10
& t3_arr_P = 48


 (***** Constraint 182*****)
 2*t2_C + t3_C > 30
& t2_C > 6
& 10 > t2_C
& t3_arr_P = 48


 (***** Constraint 183*****)
 t3_C > 18
& t2_C = 6
& t3_arr_P = 48


 (***** Constraint 184*****)
 t2_C > 4
& 3*t2_C + t3_C > 36
& 6 > t2_C
& t3_arr_P = 48


 (***** Constraint 185*****)
 t3_C > 24
& t2_C = 4
& t3_arr_P = 48


 (***** Constraint 186*****)
 3*t2_C + t3_C > 36
& t2_C > 0
& 4 > t2_C
& t3_arr_P = 48


 (***** Constraint 187*****)
 t3_C > 36
& t2_C = 0
& t3_arr_P = 48


 (***** Constraint 188*****)
 t2_C > 4
& 2*t2_C + t3_C > 30
& 6 > t2_C
& t2_C + 42 = t3_arr_P


 (***** Constraint 189*****)
 t3_arr_P > 46
& t3_C + 24 > t3_arr_P
& 48 > t3_arr_P
& t2_C = 4


 (***** Constraint 190*****)
 t3_C > 22
& t2_C = 4
& t3_arr_P = 46


 (***** Constraint 191*****)
 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 192*****)
 t2_C > 10
& t3_arr_P > 42
& 2*t2_C + t3_C > 30
& 48 > t3_arr_P
& 12 > t2_C


 (***** Constraint 193*****)
 t3_C > 10
& t3_arr_P > 42
& 48 > t3_arr_P
& t2_C = 10


 (***** Constraint 194*****)
 2*t2_C + t3_C > 30
& t2_C > 6
& t3_arr_P > 42
& 48 > t3_arr_P
& 10 > t2_C


 (***** Constraint 195*****)
 t3_C > 18
& t3_arr_P > 42
& 48 > t3_arr_P
& t2_C = 6


 (***** Constraint 196*****)
 t2_C > 4
& t2_C + 42 > t3_arr_P
& t3_arr_P > 42
& 2*t2_C + t3_C > 30
& 6 > t2_C


 (***** Constraint 197*****)
 t3_C > 22
& t3_arr_P > 42
& 46 > t3_arr_P
& t2_C = 4


 (***** Constraint 198*****)
 2*t2_C + t3_C > 30
& t2_C + 42 > t3_arr_P
& t3_arr_P > 42
& 4 > t2_C


 (***** Constraint 199*****)
 2*t2_C + t3_C > 30
& t2_C > 0
& 4 > t2_C
& t2_C + 42 = t3_arr_P


 (***** Constraint 200*****)
 t3_C + 12 > t3_arr_P
& t3_arr_P > 42
& 48 > t3_arr_P
& t2_C = 0


 (***** Constraint 201*****)
 t2_C > 10
& 2*t2_C + t3_C > 30
& 12 > t2_C
& t3_arr_P = 42


 (***** Constraint 202*****)
 t3_C > 10
& t2_C = 10
& t3_arr_P = 42


 (***** Constraint 203*****)
 2*t2_C + t3_C > 30
& t2_C > 6
& 10 > t2_C
& t3_arr_P = 42


 (***** Constraint 204*****)
 t3_C > 18
& t2_C = 6
& t3_arr_P = 42


 (***** Constraint 205*****)
 t2_C > 4
& 2*t2_C + t3_C > 30
& 6 > t2_C
& t3_arr_P = 42


 (***** Constraint 206*****)
 t3_C > 22
& t2_C = 4
& t3_arr_P = 42


 (***** Constraint 207*****)
 2*t2_C + t3_C > 30
& t2_C > 0
& 4 > t2_C
& t3_arr_P = 42


 (***** Constraint 208*****)
 t3_C > 30
& t2_C = 0
& t3_arr_P = 42


 (***** Constraint 209*****)
 t2_C > 10
& t3_arr_P > 40
& 2*t2_C + t3_C > 30
& 42 > t3_arr_P
& 12 > t2_C


 (***** Constraint 210*****)
 t3_arr_P > 40
& t3_C > 10
& 42 > t3_arr_P
& t2_C = 10


 (***** Constraint 211*****)
 t2_C > 6
& t3_arr_P > 40
& 2*t2_C + t3_C > 30
& 42 > t3_arr_P
& 10 > t2_C


 (***** Constraint 212*****)
 t3_arr_P > 40
& t3_C > 18
& 42 > t3_arr_P
& t2_C = 6


 (***** Constraint 213*****)
 t2_C > 4
& t3_arr_P > 40
& 2*t2_C + t3_C > 30
& 42 > t3_arr_P
& 6 > t2_C


 (***** Constraint 214*****)
 t3_arr_P > 40
& t3_C > 22
& 42 > t3_arr_P
& t2_C = 4


 (***** Constraint 215*****)
 t2_C > 0
& t3_arr_P > 40
& 2*t2_C + t3_C > 30
& 42 > t3_arr_P
& 4 > t2_C


 (***** Constraint 216*****)
 t3_arr_P > 40
& t3_C > 30
& 42 > t3_arr_P
& t2_C = 0


 (***** Constraint 217*****)
 t2_C > 10
& 2*t2_C + t3_C > 30
& 12 > t2_C
& t3_arr_P = 40


 (***** Constraint 218*****)
 t3_C > 10
& t2_C = 10
& t3_arr_P = 40


 (***** Constraint 219*****)
 2*t2_C + t3_C > 30
& t2_C > 6
& 10 > t2_C
& t3_arr_P = 40


 (***** Constraint 220*****)
 t3_C > 18
& t2_C = 6
& t3_arr_P = 40


 (***** Constraint 221*****)
 t2_C > 4
& 2*t2_C + t3_C > 30
& 6 > t2_C
& t3_arr_P = 40


 (***** Constraint 222*****)
 t3_C > 22
& t2_C = 4
& t3_arr_P = 40


 (***** Constraint 223*****)
 2*t2_C + t3_C > 30
& t2_C > 0
& 4 > t2_C
& t3_arr_P = 40


 (***** Constraint 224*****)
 t3_C > 30
& t2_C = 0
& t3_arr_P = 40


 (***** Constraint 225*****)
 t3_C > 36
& 42 > t3_C
& t2_C = 0
& t3_C + 14 = t3_arr_P


 (***** Constraint 226*****)
 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 227*****)
 t3_C > 16
& 40 > t3_arr_P
& t3_arr_P > 18 + t3_C
& t2_C = 4


 (***** Constraint 228*****)
 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 229*****)
 t3_C > 12
& 40 > t3_arr_P
& t3_arr_P > 22 + t3_C
& t2_C = 6


 (***** Constraint 230*****)
 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 231*****)
 t3_C > 4
& 40 > t3_arr_P
& t3_arr_P > 30 + t3_C
& t2_C = 10


 (***** Constraint 232*****)
 t3_C > 16
& 22 > t3_C
& t2_C = 4
& t3_C + 18 = t3_arr_P


 (***** Constraint 233*****)
 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 234*****)
 t3_C > 12
& 18 > t3_C
& t2_C = 6
& t3_C + 22 = t3_arr_P


 (***** Constraint 235*****)
 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 236*****)
 t3_C > 4
& 10 > t3_C
& t2_C = 10
& t3_C + 30 = t3_arr_P


 (***** Constraint 237*****)
 t2_C > 0
& t3_arr_P > 32
& 4 > t2_C
& 2*t2_C + t3_C = 24


 (***** Constraint 238*****)
 t3_arr_P > 32
& t2_C = 4
& t3_C = 16


 (***** Constraint 239*****)
 t3_arr_P > 32
& t2_C > 4
& 6 > t2_C
& 2*t2_C + t3_C = 24


 (***** Constraint 240*****)
 2*t2_C + t3_C > 18
& t2_C > 0
& t3_arr_P > 32
& 4 > t2_C
& 24 > 2*t2_C + t3_C


 (***** Constraint 241*****)
 t3_arr_P > 32
& t2_C = 6
& t3_C = 12


 (***** Constraint 242*****)
 t3_C > 10
& t3_arr_P > 32
& 16 > t3_C
& t2_C = 4


 (***** Constraint 243*****)
 t2_C > 4
& t3_arr_P > 32
& t2_C + t3_C > 14
& 6 > t2_C
& 24 > 2*t2_C + t3_C


 (***** Constraint 244*****)
 t3_C > 8
& t3_arr_P > 32
& 12 > t3_C
& t2_C = 6


 (***** Constraint 245*****)
 t2_C + t3_C > 14
& t2_C > 6
& t3_arr_P > 32
& 24 > 2*t2_C + t3_C


 (***** Constraint 246*****)
 t2_C > 6
& t3_arr_P > 32
& 10 > t2_C
& 2*t2_C + t3_C = 24


 (***** Constraint 247*****)
 t2_C > 0
& 4 > t2_C
& 2*t2_C + t3_C = 24
& t3_arr_P = 32


 (***** Constraint 248*****)
 t2_C = 4
& t3_C = 16
& t3_arr_P = 32


 (***** Constraint 249*****)
 t2_C > 4
& 6 > t2_C
& 2*t2_C + t3_C = 24
& t3_arr_P = 32


 (***** Constraint 250*****)
 2*t2_C + t3_C > 18
& t2_C > 0
& 4 > t2_C
& 24 > 2*t2_C + t3_C
& t3_arr_P = 32


 (***** Constraint 251*****)
 t2_C = 6
& t3_C = 12
& t3_arr_P = 32


 (***** Constraint 252*****)
 t3_C > 10
& 16 > t3_C
& t2_C = 4
& t3_arr_P = 32


 (***** Constraint 253*****)
 t2_C > 4
& t2_C + t3_C > 14
& 6 > t2_C
& 24 > 2*t2_C + t3_C
& t3_arr_P = 32


 (***** Constraint 254*****)
 t3_C > 8
& 12 > t3_C
& t2_C = 6
& t3_arr_P = 32


 (***** Constraint 255*****)
 t2_C + t3_C > 14
& t2_C > 6
& 24 > 2*t2_C + t3_C
& t3_arr_P = 32


 (***** Constraint 256*****)
 t2_C > 6
& 10 > t2_C
& 2*t2_C + t3_C = 24
& t3_arr_P = 32


 (***** Constraint 257*****)
 t2_C > 6
& t2_C + t3_C > 14
& 32 > t3_arr_P
& t3_arr_P > 8 + 2*t2_C + t3_C


 (***** Constraint 258*****)
 t3_C > 8
& 32 > t3_arr_P
& t3_arr_P > 20 + t3_C
& t2_C = 6


 (***** Constraint 259*****)
 t2_C + t3_C > 14
& t2_C > 6
& 24 > 2*t2_C + t3_C
& 2*t2_C + t3_C + 8 = t3_arr_P


 (***** Constraint 260*****)
 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 261*****)
 t3_C > 8
& 12 > t3_C
& t2_C = 6
& t3_C + 20 = t3_arr_P


 (***** Constraint 262*****)
 t3_C > 18
& 32 > t3_arr_P
& t3_arr_P > 8 + t3_C
& t2_C = 0


 (***** Constraint 263*****)
 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 264*****)
 t3_C > 10
& 32 > t3_arr_P
& t3_arr_P > 16 + t3_C
& t2_C = 4


 (***** Constraint 265*****)
 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 266*****)
 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 267*****)
 t3_C > 10
& 16 > t3_C
& t2_C = 4
& t3_C + 16 = t3_arr_P


 (***** Constraint 268*****)
 t3_arr_P > 24
& t2_C = 0
& t3_C = 18


 (***** Constraint 269*****)
 t3_C > 14
& t3_arr_P > 24
& 18 > t3_C
& t2_C = 0


 (***** Constraint 270*****)
 t2_C + t3_C > 14
& t2_C > 0
& t3_arr_P > 24
& 18 > 2*t2_C + t3_C


 (***** Constraint 271*****)
 t2_C > 0
& t3_arr_P > 24
& 4 > t2_C
& 2*t2_C + t3_C = 18


 (***** Constraint 272*****)
 t2_C = 0
& t3_C = 18
& t3_arr_P = 24


 (***** Constraint 273*****)
 t3_C > 14
& 18 > t3_C
& t2_C = 0
& t3_arr_P = 24


 (***** Constraint 274*****)
 t2_C + t3_C > 14
& t2_C > 0
& 18 > 2*t2_C + t3_C
& t3_arr_P = 24


 (***** Constraint 275*****)
 t2_C > 0
& 4 > t2_C
& 2*t2_C + t3_C = 18
& t3_arr_P = 24


 (***** Constraint 276*****)
 t2_C > 0
& t2_C + t3_C > 14
& 24 > t3_arr_P
& t3_arr_P > 6 + 2*t2_C + t3_C


 (***** Constraint 277*****)
 t3_C > 14
& 24 > t3_arr_P
& t3_arr_P > 6 + t3_C
& t2_C = 0


 (***** Constraint 278*****)
 t2_C + t3_C > 14
& t2_C > 0
& 18 > 2*t2_C + t3_C
& 2*t2_C + t3_C + 6 = t3_arr_P


 (***** Constraint 279*****)
 t3_C > 14
& 18 > t3_C
& t2_C = 0
& t3_C + 6 = t3_arr_P


 (***** Constraint 280*****)
 t3_arr_P > 20
& t2_C = 0
& t3_C = 14


 (***** Constraint 281*****)
 t3_arr_P > 20
& t3_C > 12
& 14 > t3_C
& t2_C = 0


 (***** Constraint 282*****)
 t2_C > 0
& t3_arr_P > 20
& 6 > t2_C
& t2_C + t3_C = 14


 (***** Constraint 283*****)
 t3_arr_P > 20
& t2_C = 6
& t3_C = 8


 (***** Constraint 284*****)
 t2_C > 0
& t3_arr_P > 20
& t2_C + t3_C > 12
& 6 > t2_C
& 14 > t2_C + t3_C


 (***** Constraint 285*****)
 t3_arr_P > 20
& t3_C > 6
& 8 > t3_C
& t2_C = 6


 (***** Constraint 286*****)
 t2_C > 6
& t3_arr_P > 20
& 12 > t2_C
& t2_C + t3_C = 14


 (***** Constraint 287*****)
 t2_C > 6
& t3_arr_P > 20
& t2_C + t3_C > 12
& 12 > t2_C
& 14 > t2_C + t3_C


 (***** Constraint 288*****)
 t2_C = 0
& t3_C = 14
& t3_arr_P = 20


 (***** Constraint 289*****)
 t3_C > 12
& 14 > t3_C
& t2_C = 0
& t3_arr_P = 20


 (***** Constraint 290*****)
 t3_arr_P > 16
& t2_C = 0
& t3_C = 12


 (***** Constraint 291*****)
 t2_C > 0
& 6 > t2_C
& t2_C + t3_C = 14
& t3_arr_P = 20


 (***** Constraint 292*****)
 t2_C = 6
& t3_C = 8
& t3_arr_P = 20


 (***** Constraint 293*****)
 t2_C > 0
& t2_C + t3_C > 12
& 6 > t2_C
& 14 > t2_C + t3_C
& t3_arr_P = 20


 (***** Constraint 294*****)
 t3_C > 6
& 8 > t3_C
& t2_C = 6
& t3_arr_P = 20


 (***** Constraint 295*****)
 t2_C > 0
& t3_arr_P > 16
& 6 > t2_C
& t2_C + t3_C = 12


 (***** Constraint 296*****)
 t3_C > 6
& t3_arr_P > 16
& 12 > t3_C
& t2_C = 0


 (***** Constraint 297*****)
 t3_arr_P > 16
& t2_C = 6
& t3_C = 6


 (***** Constraint 298*****)
 t3_arr_P > 8
& t2_C = 0
& t3_C = 6


 (***** Constraint 299*****)
 t2_C > 6
& 12 > t2_C
& t2_C + t3_C = 14
& t3_arr_P = 20


 (***** Constraint 300*****)
 t2_C > 6
& t2_C + t3_C > 12
& 12 > t2_C
& 14 > t2_C + t3_C
& t3_arr_P = 20


 (***** Constraint 301*****)
 t2_C > 6
& t3_arr_P > 16
& 12 > t2_C
& t2_C + t3_C = 12


 (***** Constraint 302*****)
 t3_C > 0
& t3_arr_P > 16
& 6 > t3_C
& t2_C = 6


 (***** Constraint 303*****)
 t2_C + t3_C > 6
& t2_C > 0
& t3_arr_P > 16
& 6 > t2_C
& 12 > t2_C + t3_C


 (***** Constraint 304*****)
 t2_C > 0
& t3_arr_P > 8
& 6 > t2_C
& t2_C + t3_C = 6


 (***** Constraint 305*****)
 t3_C > 0
& t3_arr_P > 8
& 6 > t3_C
& t2_C = 0


 (***** Constraint 306*****)
 t3_C > 10
& 12 > t3_C
& t2_C = 10
& t3_C + 44 = t3_arr_P


 (***** Constraint 307*****)
 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 308*****)
 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 309*****)
 t3_C > 18
& 56 > t3_arr_P
& t3_arr_P > 32 + t3_C
& t2_C = 6


 (***** Constraint 310*****)
 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 311*****)
 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 312*****)
 t3_C + 32 > t3_arr_P
& t3_arr_P > 50
& 24 > t3_C
& t2_C = 6


 (***** Constraint 313*****)
 t3_C > 18
& 24 > t3_C
& t2_C = 6
& t3_C + 32 = t3_arr_P


 (***** Constraint 314*****)
 t2_C > 4
& 3*t2_C + t3_C > 36
& 6 > t2_C
& 42 > 3*t2_C + t3_C
& t3_arr_P = 50


 (***** Constraint 315*****)
 t3_arr_P > 48
& t2_C > 4
& 6 > t2_C
& 3*t2_C + t3_C = 36


 (***** Constraint 316*****)
 t2_C > 4
& 6 > t2_C
& 3*t2_C + t3_C = 36
& t3_arr_P = 48


 (***** Constraint 317*****)
 t3_arr_P > 40
& t2_C = 4
& t3_C = 22


 (***** Constraint 318*****)
 t3_arr_P > 40
& t2_C > 4
& 6 > t2_C
& 2*t2_C + t3_C = 30


 (***** Constraint 319*****)
 2*t2_C + t3_C > 24
& t2_C > 0
& t3_arr_P > 40
& 4 > t2_C
& 30 > 2*t2_C + t3_C


 (***** Constraint 320*****)
 t3_arr_P > 40
& t2_C = 6
& t3_C = 18


 (***** Constraint 321*****)
 t3_C > 16
& t3_arr_P > 40
& 22 > t3_C
& t2_C = 4


 (***** Constraint 322*****)
 t2_C > 4
& t3_arr_P > 40
& 2*t2_C + t3_C > 24
& 6 > t2_C
& 30 > 2*t2_C + t3_C


 (***** Constraint 323*****)
 t3_C > 12
& t3_arr_P > 40
& 18 > t3_C
& t2_C = 6


 (***** Constraint 324*****)
 t2_C > 6
& t3_arr_P > 40
& 10 > t2_C
& 2*t2_C + t3_C = 30


 (***** Constraint 325*****)
 t3_arr_P > 40
& t2_C = 10
& t3_C = 10


 (***** Constraint 326*****)
 t3_arr_P > 40
& t2_C > 10
& 12 > t2_C
& 2*t2_C + t3_C = 30


 (***** Constraint 327*****)
 2*t2_C + t3_C > 24
& t2_C > 6
& t3_arr_P > 40
& 10 > t2_C
& 30 > 2*t2_C + t3_C


 (***** Constraint 328*****)
 t2_C > 10
& t3_arr_P > 40
& t2_C + t3_C > 14
& 12 > t2_C
& 30 > 2*t2_C + t3_C


 (***** Constraint 329*****)
 t3_C > 4
& t3_arr_P > 40
& 10 > t3_C
& t2_C = 10


 (***** Constraint 330*****)
 t2_C = 4
& t3_C = 22
& t3_arr_P = 40


 (***** Constraint 331*****)
 t2_C > 4
& 6 > t2_C
& 2*t2_C + t3_C = 30
& t3_arr_P = 40


 (***** Constraint 332*****)
 2*t2_C + t3_C > 24
& t2_C > 0
& 4 > t2_C
& 30 > 2*t2_C + t3_C
& t3_arr_P = 40


 (***** Constraint 333*****)
 t2_C = 6
& t3_C = 18
& t3_arr_P = 40


 (***** Constraint 334*****)
 t3_C > 16
& 22 > t3_C
& t2_C = 4
& t3_arr_P = 40


 (***** Constraint 335*****)
 t2_C > 4
& 2*t2_C + t3_C > 24
& 6 > t2_C
& 30 > 2*t2_C + t3_C
& t3_arr_P = 40


 (***** Constraint 336*****)
 t3_C > 12
& 18 > t3_C
& t2_C = 6
& t3_arr_P = 40


 (***** Constraint 337*****)
 t2_C > 6
& 10 > t2_C
& 2*t2_C + t3_C = 30
& t3_arr_P = 40


 (***** Constraint 338*****)
 t2_C = 10
& t3_C = 10
& t3_arr_P = 40


 (***** Constraint 339*****)
 t2_C > 10
& 12 > t2_C
& 2*t2_C + t3_C = 30
& t3_arr_P = 40


 (***** Constraint 340*****)
 2*t2_C + t3_C > 24
& t2_C > 6
& 10 > t2_C
& 30 > 2*t2_C + t3_C
& t3_arr_P = 40


 (***** Constraint 341*****)
 t2_C > 10
& t2_C + t3_C > 14
& 12 > t2_C
& 30 > 2*t2_C + t3_C
& t3_arr_P = 40


 (***** Constraint 342*****)
 t3_C > 4
& 10 > t3_C
& t2_C = 10
& t3_arr_P = 40


 (***** Constraint 343*****)
 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 344*****)
 t3_C > 36
& 56 > t3_arr_P
& t3_arr_P > 14 + t3_C
& t2_C = 0


 (***** Constraint 345*****)
 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 346*****)
 t3_C > 24
& 56 > t3_arr_P
& t3_arr_P > 26 + t3_C
& t2_C = 4


 (***** Constraint 347*****)
 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 348*****)
 t3_C > 24
& 30 > t3_C
& t2_C = 4
& t3_C + 26 = t3_arr_P


 (***** Constraint 349*****)
 t3_arr_P > 48
& t2_C = 0
& t3_C = 36


 (***** Constraint 350*****)
 t3_C > 30
& t3_arr_P > 48
& 36 > t3_C
& t2_C = 0


 (***** Constraint 351*****)
 t2_C > 0
& t3_arr_P > 48
& 4 > t2_C
& 3*t2_C + t3_C = 36


 (***** Constraint 352*****)
 2*t2_C + t3_C > 30
& t2_C > 0
& t3_arr_P > 48
& 4 > t2_C
& 36 > 3*t2_C + t3_C


 (***** Constraint 353*****)
 t3_arr_P > 48
& t2_C = 4
& t3_C = 24


 (***** Constraint 354*****)
 t3_arr_P > 48
& t3_C > 22
& 24 > t3_C
& t2_C = 4


 (***** Constraint 355*****)
 t2_C = 0
& t3_C = 36
& t3_arr_P = 48


 (***** Constraint 356*****)
 t3_C > 30
& 36 > t3_C
& t2_C = 0
& t3_arr_P = 48


 (***** Constraint 357*****)
 t2_C > 0
& 4 > t2_C
& 3*t2_C + t3_C = 36
& 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*****)
 t2_C = 4
& t3_C = 24
& t3_arr_P = 48


 (***** Constraint 360*****)
 t3_C > 22
& 24 > t3_C
& t2_C = 4
& t3_arr_P = 48


 (***** Constraint 361*****)
 t3_C > 22
& 24 > t3_C
& t2_C = 4
& t3_C + 24 = t3_arr_P


 (***** Constraint 362*****)
 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 363*****)
 t3_C > 30
& 48 > t3_arr_P
& t3_arr_P > 12 + t3_C
& t2_C = 0


 (***** Constraint 364*****)
 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 365*****)
 t3_C > 30
& 36 > t3_C
& t2_C = 0
& t3_C + 12 = t3_arr_P


 (***** Constraint 366*****)
 t3_arr_P > 40
& t2_C = 0
& t3_C = 30


 (***** Constraint 367*****)
 t3_C > 24
& t3_arr_P > 40
& 30 > t3_C
& t2_C = 0


 (***** Constraint 368*****)
 t2_C > 0
& t3_arr_P > 40
& 4 > t2_C
& 2*t2_C + t3_C = 30


 (***** Constraint 369*****)
 t2_C = 0
& t3_C = 30
& t3_arr_P = 40


 (***** Constraint 370*****)
 t3_C > 24
& 30 > t3_C
& t2_C = 0
& t3_arr_P = 40


 (***** Constraint 371*****)
 t2_C > 0
& 4 > t2_C
& 2*t2_C + t3_C = 30
& t3_arr_P = 40