3000
5
2
1
"Air Force"
15
8
"Minimize"
"x11"
"x12"
"x13"
"x14"
"x15"
"x21"
"x22"
"x23"
"x24"
"x25"
"x31"
"x32"
"x33"
"x34"
"x35"
""
""
"938.00"
"1030.00"
"824.00"
"136.00"
"995.00"
"346.00"
"1818.00"
"1416.00"
"806.00"
"296.00"
"905.00"
"1795.00"
"1590.00"
"716.00"
"854.00"
""
""
"1.00"
"1.00"
"1.00"
"1.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"        <="
"8.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"1.00"
"1.00"
"1.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"        <="
"5.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"1.00"
"1.00"
"1.00"
"1.00"
"        <="
"8.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
">="
"3.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
">="
"5.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
">="
"5.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
">="
"5.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
">="
"3.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
""
""
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
"infinity"
""
""
"n"
"n"
"n"
"n"
"n"
"n"
"n"
"n"
"n"
"n"
"n"
"n"
"n"
"n"
"n"
""
""