5000
5
2
1
"Traveling Salesperson, Ex. 9.3-3"
19
13
"Minimize"
"x11"
"x12"
"x13"
"x14"
"x21"
"x22"
"x23"
"x24"
"x31"
"x32"
"x33"
"x34"
"x41"
"x42"
"x43"
"x44"
"u2"
"u3"
"u4"
""
""
"1000.00"
"13.00"
"21.00"
"26.00"
"10.00"
"1000.00"
"29.00"
"20.00"
"30.00"
"20.00"
"1000.00"
"5.00"
"12.00"
"30.00"
"7.00"
"1000.00"
"0.00"
"0.00"
"0.00"
""
""
"0.00"
"0.00"
"0.00"
"0.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"
"0.00"
"="
"1.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"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"="
"1.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"
"1.00"
"1.00"
"1.00"
"1.00"
"0.00"
"0.00"
"0.00"
"="
"1.00"
"1.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"="
"1.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"="
"1.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"1.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"
"1.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"1.00"
"0.00"
"0.00"
"0.00"
"="
"1.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"4.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.00"
"-1.00"
"0.00"
"        <="
"3.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"4.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.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"
"4.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"-1.00"
"1.00"
"0.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"
"4.00"
"0.00"
"0.00"
"0.00"
"0.00"
"0.00"
"1.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"
"4.00"
"0.00"
"0.00"
"-1.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"
"4.00"
"0.00"
"0.00"
"-1.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"
"0.00"
"0.00"
"0.00"
"0.00"
""
""
"infinity"
"infinity"
"infinity"
"infinity"
"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"
"n"
"n"
"n"
"n"
""
""
"y"
"y"
"y"
"y"
"y"
"y"
"y"
"y"
"y"
"y"
"y"
"y"
"y"
"y"
"y"
"y"
"n"
"n"
"n"
""
""