min: + Sd' + Sc' + Sb' + Sa' + Ssub4' + Ssub4 + Ssub3' + Ssub2' + Ssub1' + Sint13' + Sint13 + SF7 + SF6 + SF5 + SF4 + SF3 + SF2 + SF1 + 180 T_max;
Td' - td' = 0;
TF3 - tF3 - Td' > 0;
TF6 - tF6 - Td' > 0;
TF7 - tF7 - Td' > 0;
Tsub1' - tsub1' - Td' > 0;
Tsub3' - tsub3' - Td' > 0;
Sd' > 1;
Sd' < 3;
td' + 2.58783 Sd' + -0.226304 SF3 + -0.226304 SF6 + -0.226304 SF7 + -0.226304 Ssub1' + -0.226304 Ssub3' > 5.50783;
td' + 1.10907 Sd' + -0.145481 SF3 + -0.145481 SF6 + -0.145481 SF7 + -0.145481 Ssub1' + -0.145481 Ssub3' > 3.85146;
td' + 0.616149 Sd' + -0.107764 SF3 + -0.107764 SF6 + -0.107764 SF7 + -0.107764 Ssub1' + -0.107764 Ssub3' > 3.07849;
Tc' - tc' = 0;
TF3 - tF3 - Tc' > 0;
TF4 - tF4 - Tc' > 0;
TF7 - tF7 - Tc' > 0;
Sc' > 1;
Sc' < 3;
tc' + 1.59016 Sc' + -0.226304 SF3 + -0.226304 SF4 + -0.226304 SF7 > 3.75259;
tc' + 0.681495 Sc' + -0.145481 SF3 + -0.145481 SF4 + -0.145481 SF7 > 2.72309;
tc' + 0.378608 Sc' + -0.107764 SF3 + -0.107764 SF4 + -0.107764 SF7 > 2.24266;
Tb' - tb' = 0;
TF2 - tF2 - Tb' > 0;
TF6 - tF6 - Tb' > 0;
TF7 - tF7 - Tb' > 0;
Tsub2' - tsub2' - Tb' > 0;
Sb' > 1;
Sb' < 3;
tb' + 2.19869 Sb' + -0.226304 SF2 + -0.226304 SF6 + -0.226304 SF7 + -0.226304 Ssub2' > 4.92275;
tb' + 0.942297 Sb' + -0.145481 SF2 + -0.145481 SF6 + -0.145481 SF7 + -0.145481 Ssub2' > 3.47534;
tb' + 0.523499 Sb' + -0.107764 SF2 + -0.107764 SF6 + -0.107764 SF7 + -0.107764 Ssub2' > 2.79988;
Ta' - ta' = 0;
TF1 - tF1 - Ta' > 0;
TF5 - tF5 - Ta' > 0;
Tsub2' - tsub2' - Ta' > 0;
Tsub3' - tsub3' - Ta' > 0;
Sa' > 1;
Sa' < 3;
ta' + 1.97929 Sa' + -0.226304 SF1 + -0.226304 SF5 + -0.226304 Ssub2' + -0.226304 Ssub3' > 4.33767;
ta' + 0.848267 Sa' + -0.145481 SF1 + -0.145481 SF5 + -0.145481 Ssub2' + -0.145481 Ssub3' > 3.09922;
ta' + 0.471259 Sa' + -0.107764 SF1 + -0.107764 SF5 + -0.107764 Ssub2' + -0.107764 Ssub3' > 2.52127;
TF7 - tF7 - Tsub4' > 0;
Ssub4' > 1;
Ssub4' < 3;
tsub4' + 0.811889 Ssub4' + -0.226304 SF7 > 2.58243;
tsub4' + 0.347952 Ssub4' + -0.145481 SF7 > 1.97085;
tsub4' + 0.193307 Ssub4' + -0.107764 SF7 > 1.68544;
Tsub4 - tsub4 = 0;
Tsub4' - tsub4' - Tsub4 > 0;
Ssub4 > 1;
Ssub4 < 3;
tsub4 + 0.811889 Ssub4 + -0.226304 Ssub4' > 2.95243;
tsub4 + 0.347952 Ssub4 + -0.145481 Ssub4' > 2.34085;
tsub4 + 0.193307 Ssub4 + -0.107764 Ssub4' > 2.05544;
TF7 - tF7 - Tsub3' > 0;
Ssub3' > 1;
Ssub3' < 3;
tsub3' + 0.811888 Ssub3' + -0.226304 SF7 > 4.80243;
tsub3' + 0.347952 Ssub3' + -0.145481 SF7 > 4.19085;
tsub3' + 0.193307 Ssub3' + -0.107764 SF7 > 3.90544;
TF3 - tF3 - Tsub2' > 0;
Ssub2' > 1;
Ssub2' < 3;
tsub2' + 0.811889 Ssub2' + -0.226304 SF3 > 3.32243;
tsub2' + 0.347952 Ssub2' + -0.145481 SF3 > 2.71085;
tsub2' + 0.193307 Ssub2' + -0.107764 SF3 > 2.42544;
TF2 - tF2 - Tsub1' > 0;
Ssub1' > 1;
Ssub1' < 3;
tsub1' + 0.811889 Ssub1' + -0.226304 SF2 > 3.69243;
tsub1' + 0.347952 Ssub1' + -0.145481 SF2 > 3.08085;
tsub1' + 0.193307 Ssub1' + -0.107764 SF2 > 2.79544;
TF1 - tF1 - Tint13' > 0;
TF4 - tF4 - Tint13' > 0;
TF5 - tF5 - Tint13' > 0;
TF6 - tF6 - Tint13' > 0;
Sint13' > 1;
Sint13' < 3;
tint13' + 1.97929 Sint13' + -0.226304 SF1 + -0.226304 SF4 + -0.226304 SF5 + -0.226304 SF6 > 4.33767;
tint13' + 0.848267 Sint13' + -0.145481 SF1 + -0.145481 SF4 + -0.145481 SF5 + -0.145481 SF6 > 3.09922;
tint13' + 0.471259 Sint13' + -0.107764 SF1 + -0.107764 SF4 + -0.107764 SF5 + -0.107764 SF6 > 2.52127;
Tint13 - tint13 = 0;
TF1 - tF1 - Tint13 > 0;
TF5 - tF5 - Tint13 > 0;
Tint13' - tint13' - Tint13 > 0;
Tsub1' - tsub1' - Tint13 > 0;
Tsub2' - tsub2' - Tint13 > 0;
Tsub3' - tsub3' - Tint13 > 0;
Sint13 > 1;
Sint13 < 3;
tint13 + 3.19637 Sint13 + -0.226304 SF1 + -0.226304 SF5 + -0.226304 Sint13' + -0.226304 Ssub1' + -0.226304 Ssub2' + -0.226304 Ssub3' > 7.04799;
tint13 + 1.36987 Sint13 + -0.145481 SF1 + -0.145481 SF5 + -0.145481 Sint13' + -0.145481 Ssub1' + -0.145481 Ssub2' + -0.145481 Ssub3' > 4.97371;
tint13 + 0.761039 Sint13 + -0.107764 SF1 + -0.107764 SF5 + -0.107764 Sint13' + -0.107764 Ssub1' + -0.107764 Ssub2' + -0.107764 Ssub3' > 4.00571;
T_max - TF7 > 0;
SF7 > 1;
SF7 < 3;
tF7 + 0.727024 SF7 > 5.02873;
tF7 + 0.311582 SF7 > 4.33633;
tF7 + 0.173101 SF7 > 4.01321;
T_max - TF6 > 0;
SF6 > 1;
SF6 < 3;
tF6 + 0.727025 SF6 > 4.28873;
tF6 + 0.311582 SF6 > 3.59633;
tF6 + 0.173101 SF6 > 3.27321;
T_max - TF5 > 0;
SF5 > 1;
SF5 < 3;
tF5 + 0.727024 SF5 > 3.91873;
tF5 + 0.311582 SF5 > 3.22633;
tF5 + 0.173101 SF5 > 2.90321;
T_max - TF4 > 0;
SF4 > 1;
SF4 < 3;
tF4 + 0.727025 SF4 > 4.28873;
tF4 + 0.311582 SF4 > 3.59633;
tF4 + 0.173101 SF4 > 3.27321;
T_max - TF3 > 0;
SF3 > 1;
SF3 < 3;
tF3 + 0.727024 SF3 > 5.02873;
tF3 + 0.311582 SF3 > 4.33633;
tF3 + 0.173101 SF3 > 4.01321;
T_max - TF2 > 0;
SF2 > 1;
SF2 < 3;
tF2 + 0.727024 SF2 > 5.02873;
tF2 + 0.311582 SF2 > 4.33633;
tF2 + 0.173101 SF2 > 4.01321;
T_max > TF1;
SF1 > 1;
SF1 < 3;
tF1 + 0.727024 SF1 > 4.65873;
tF1 + 0.311582 SF1 > 3.96633;
tF1 + 0.173101 SF1 > 3.64321;
int Sd' Sc';