\ tsp8.lp m 298 n 64 zstar -231
maximize
-83x12-86x13-77x14-15x15-93x16-35x17-86x18-92x23-49x24-21x25-62x26-27x27-90x28-59x34-63x35-26x36-40x37-26x38-72x45-36x46-11x47-68x48-67x56-29x57-82x58-30x67-62x68-23x78
subject to
+x12+x13+x14+x15+x16+x17+x18<=2
-x12-x13-x14-x15-x16-x17-x18<=-2
+x12+x23+x24+x25+x26+x27+x28<=2
-x12-x23-x24-x25-x26-x27-x28<=-2
+x13+x23+x34+x35+x36+x37+x38<=2
-x13-x23-x34-x35-x36-x37-x38<=-2
+x14+x24+x34+x45+x46+x47+x48<=2
-x14-x24-x34-x45-x46-x47-x48<=-2
+x15+x25+x35+x45+x56+x57+x58<=2
-x15-x25-x35-x45-x56-x57-x58<=-2
+x16+x26+x36+x46+x56+x67+x68<=2
-x16-x26-x36-x46-x56-x67-x68<=-2
+x17+x27+x37+x47+x57+x67+x78<=2
-x17-x27-x37-x47-x57-x67-x78<=-2
+x18+x28+x38+x48+x58+x68+x78<=2
-x18-x28-x38-x48-x58-x68-x78<=-2
+x12+x13+x14+x15+x16+x17+x23+x24+x25+x26+x27+x34+x35+x36+x37+x45+x46+x47+x56+x57+x67<=6
+x12+x13+x14+x15+x16+x18+x23+x24+x25+x26+x28+x34+x35+x36+x38+x45+x46+x48+x56+x58+x68<=6
+x12+x13+x14+x15+x16+x23+x24+x25+x26+x34+x35+x36+x45+x46+x56<=5
+x12+x13+x14+x15+x17+x18+x23+x24+x25+x27+x28+x34+x35+x37+x38+x45+x47+x48+x57+x58+x78<=6
+x12+x13+x14+x15+x17+x23+x24+x25+x27+x34+x35+x37+x45+x47+x57<=5
+x12+x13+x14+x15+x18+x23+x24+x25+x28+x34+x35+x38+x45+x48+x58<=5
+x12+x13+x14+x15+x23+x24+x25+x34+x35+x45<=4
+x12+x13+x14+x16+x17+x18+x23+x24+x26+x27+x28+x34+x36+x37+x38+x46+x47+x48+x67+x68+x78<=6
+x12+x13+x14+x16+x17+x23+x24+x26+x27+x34+x36+x37+x46+x47+x67<=5
+x12+x13+x14+x16+x18+x23+x24+x26+x28+x34+x36+x38+x46+x48+x68<=5
+x12+x13+x14+x16+x23+x24+x26+x34+x36+x46<=4
+x12+x13+x14+x17+x18+x23+x24+x27+x28+x34+x37+x38+x47+x48+x78<=5
+x12+x13+x14+x17+x23+x24+x27+x34+x37+x47<=4
+x12+x13+x14+x18+x23+x24+x28+x34+x38+x48<=4
+x12+x13+x14+x23+x24+x34<=3
+x12+x13+x15+x16+x17+x18+x23+x25+x26+x27+x28+x35+x36+x37+x38+x56+x57+x58+x67+x68+x78<=6
+x12+x13+x15+x16+x17+x23+x25+x26+x27+x35+x36+x37+x56+x57+x67<=5
+x12+x13+x15+x16+x18+x23+x25+x26+x28+x35+x36+x38+x56+x58+x68<=5
+x12+x13+x15+x16+x23+x25+x26+x35+x36+x56<=4
+x12+x13+x15+x17+x18+x23+x25+x27+x28+x35+x37+x38+x57+x58+x78<=5
+x12+x13+x15+x17+x23+x25+x27+x35+x37+x57<=4
+x12+x13+x15+x18+x23+x25+x28+x35+x38+x58<=4
+x12+x13+x15+x23+x25+x35<=3
+x12+x13+x16+x17+x18+x23+x26+x27+x28+x36+x37+x38+x67+x68+x78<=5
+x12+x13+x16+x17+x23+x26+x27+x36+x37+x67<=4
+x12+x13+x16+x18+x23+x26+x28+x36+x38+x68<=4
+x12+x13+x16+x23+x26+x36<=3
+x12+x13+x17+x18+x23+x27+x28+x37+x38+x78<=4
+x12+x13+x17+x23+x27+x37<=3
+x12+x13+x18+x23+x28+x38<=3
+x12+x13+x23<=2
+x12+x14+x15+x16+x17+x18+x24+x25+x26+x27+x28+x45+x46+x47+x48+x56+x57+x58+x67+x68+x78<=6
+x12+x14+x15+x16+x17+x24+x25+x26+x27+x45+x46+x47+x56+x57+x67<=5
+x12+x14+x15+x16+x18+x24+x25+x26+x28+x45+x46+x48+x56+x58+x68<=5
+x12+x14+x15+x16+x24+x25+x26+x45+x46+x56<=4
+x12+x14+x15+x17+x18+x24+x25+x27+x28+x45+x47+x48+x57+x58+x78<=5
+x12+x14+x15+x17+x24+x25+x27+x45+x47+x57<=4
+x12+x14+x15+x18+x24+x25+x28+x45+x48+x58<=4
+x12+x14+x15+x24+x25+x45<=3
+x12+x14+x16+x17+x18+x24+x26+x27+x28+x46+x47+x48+x67+x68+x78<=5
+x12+x14+x16+x17+x24+x26+x27+x46+x47+x67<=4
+x12+x14+x16+x18+x24+x26+x28+x46+x48+x68<=4
+x12+x14+x16+x24+x26+x46<=3
+x12+x14+x17+x18+x24+x27+x28+x47+x48+x78<=4
+x12+x14+x17+x24+x27+x47<=3
+x12+x14+x18+x24+x28+x48<=3
+x12+x14+x24<=2
+x12+x15+x16+x17+x18+x25+x26+x27+x28+x56+x57+x58+x67+x68+x78<=5
+x12+x15+x16+x17+x25+x26+x27+x56+x57+x67<=4
+x12+x15+x16+x18+x25+x26+x28+x56+x58+x68<=4
+x12+x15+x16+x25+x26+x56<=3
+x12+x15+x17+x18+x25+x27+x28+x57+x58+x78<=4
+x12+x15+x17+x25+x27+x57<=3
+x12+x15+x18+x25+x28+x58<=3
+x12+x15+x25<=2
+x12+x16+x17+x18+x26+x27+x28+x67+x68+x78<=4
+x12+x16+x17+x26+x27+x67<=3
+x12+x16+x18+x26+x28+x68<=3
+x12+x16+x26<=2
+x12+x17+x18+x27+x28+x78<=3
+x12+x17+x27<=2
+x12+x18+x28<=2
+x13+x14+x15+x16+x17+x18+x34+x35+x36+x37+x38+x45+x46+x47+x48+x56+x57+x58+x67+x68+x78<=6
+x13+x14+x15+x16+x17+x34+x35+x36+x37+x45+x46+x47+x56+x57+x67<=5
+x13+x14+x15+x16+x18+x34+x35+x36+x38+x45+x46+x48+x56+x58+x68<=5
+x13+x14+x15+x16+x34+x35+x36+x45+x46+x56<=4
+x13+x14+x15+x17+x18+x34+x35+x37+x38+x45+x47+x48+x57+x58+x78<=5
+x13+x14+x15+x17+x34+x35+x37+x45+x47+x57<=4
+x13+x14+x15+x18+x34+x35+x38+x45+x48+x58<=4
+x13+x14+x15+x34+x35+x45<=3
+x13+x14+x16+x17+x18+x34+x36+x37+x38+x46+x47+x48+x67+x68+x78<=5
+x13+x14+x16+x17+x34+x36+x37+x46+x47+x67<=4
+x13+x14+x16+x18+x34+x36+x38+x46+x48+x68<=4
+x13+x14+x16+x34+x36+x46<=3
+x13+x14+x17+x18+x34+x37+x38+x47+x48+x78<=4
+x13+x14+x17+x34+x37+x47<=3
+x13+x14+x18+x34+x38+x48<=3
+x13+x14+x34<=2
+x13+x15+x16+x17+x18+x35+x36+x37+x38+x56+x57+x58+x67+x68+x78<=5
+x13+x15+x16+x17+x35+x36+x37+x56+x57+x67<=4
+x13+x15+x16+x18+x35+x36+x38+x56+x58+x68<=4
+x13+x15+x16+x35+x36+x56<=3
+x13+x15+x17+x18+x35+x37+x38+x57+x58+x78<=4
+x13+x15+x17+x35+x37+x57<=3
+x13+x15+x18+x35+x38+x58<=3
+x13+x15+x35<=2
+x13+x16+x17+x18+x36+x37+x38+x67+x68+x78<=4
+x13+x16+x17+x36+x37+x67<=3
+x13+x16+x18+x36+x38+x68<=3
+x13+x16+x36<=2
+x13+x17+x18+x37+x38+x78<=3
+x13+x17+x37<=2
+x13+x18+x38<=2
+x14+x15+x16+x17+x18+x45+x46+x47+x48+x56+x57+x58+x67+x68+x78<=5
+x14+x15+x16+x17+x45+x46+x47+x56+x57+x67<=4
+x14+x15+x16+x18+x45+x46+x48+x56+x58+x68<=4
+x14+x15+x16+x45+x46+x56<=3
+x14+x15+x17+x18+x45+x47+x48+x57+x58+x78<=4
+x14+x15+x17+x45+x47+x57<=3
+x14+x15+x18+x45+x48+x58<=3
+x14+x15+x45<=2
+x14+x16+x17+x18+x46+x47+x48+x67+x68+x78<=4
+x14+x16+x17+x46+x47+x67<=3
+x14+x16+x18+x46+x48+x68<=3
+x14+x16+x46<=2
+x14+x17+x18+x47+x48+x78<=3
+x14+x17+x47<=2
+x14+x18+x48<=2
+x15+x16+x17+x18+x56+x57+x58+x67+x68+x78<=4
+x15+x16+x17+x56+x57+x67<=3
+x15+x16+x18+x56+x58+x68<=3
+x15+x16+x56<=2
+x15+x17+x18+x57+x58+x78<=3
+x15+x17+x57<=2
+x15+x18+x58<=2
+x16+x17+x18+x67+x68+x78<=3
+x16+x17+x67<=2
+x16+x18+x68<=2
+x17+x18+x78<=2
+x23+x24+x25+x26+x27+x28+x34+x35+x36+x37+x38+x45+x46+x47+x48+x56+x57+x58+x67+x68+x78<=6
+x23+x24+x25+x26+x27+x34+x35+x36+x37+x45+x46+x47+x56+x57+x67<=5
+x23+x24+x25+x26+x28+x34+x35+x36+x38+x45+x46+x48+x56+x58+x68<=5
+x23+x24+x25+x26+x34+x35+x36+x45+x46+x56<=4
+x23+x24+x25+x27+x28+x34+x35+x37+x38+x45+x47+x48+x57+x58+x78<=5
+x23+x24+x25+x27+x34+x35+x37+x45+x47+x57<=4
+x23+x24+x25+x28+x34+x35+x38+x45+x48+x58<=4
+x23+x24+x25+x34+x35+x45<=3
+x23+x24+x26+x27+x28+x34+x36+x37+x38+x46+x47+x48+x67+x68+x78<=5
+x23+x24+x26+x27+x34+x36+x37+x46+x47+x67<=4
+x23+x24+x26+x28+x34+x36+x38+x46+x48+x68<=4
+x23+x24+x26+x34+x36+x46<=3
+x23+x24+x27+x28+x34+x37+x38+x47+x48+x78<=4
+x23+x24+x27+x34+x37+x47<=3
+x23+x24+x28+x34+x38+x48<=3
+x23+x24+x34<=2
+x23+x25+x26+x27+x28+x35+x36+x37+x38+x56+x57+x58+x67+x68+x78<=5
+x23+x25+x26+x27+x35+x36+x37+x56+x57+x67<=4
+x23+x25+x26+x28+x35+x36+x38+x56+x58+x68<=4
+x23+x25+x26+x35+x36+x56<=3
+x23+x25+x27+x28+x35+x37+x38+x57+x58+x78<=4
+x23+x25+x27+x35+x37+x57<=3
+x23+x25+x28+x35+x38+x58<=3
+x23+x25+x35<=2
+x23+x26+x27+x28+x36+x37+x38+x67+x68+x78<=4
+x23+x26+x27+x36+x37+x67<=3
+x23+x26+x28+x36+x38+x68<=3
+x23+x26+x36<=2
+x23+x27+x28+x37+x38+x78<=3
+x23+x27+x37<=2
+x23+x28+x38<=2
+x24+x25+x26+x27+x28+x45+x46+x47+x48+x56+x57+x58+x67+x68+x78<=5
+x24+x25+x26+x27+x45+x46+x47+x56+x57+x67<=4
+x24+x25+x26+x28+x45+x46+x48+x56+x58+x68<=4
+x24+x25+x26+x45+x46+x56<=3
+x24+x25+x27+x28+x45+x47+x48+x57+x58+x78<=4
+x24+x25+x27+x45+x47+x57<=3
+x24+x25+x28+x45+x48+x58<=3
+x24+x25+x45<=2
+x24+x26+x27+x28+x46+x47+x48+x67+x68+x78<=4
+x24+x26+x27+x46+x47+x67<=3
+x24+x26+x28+x46+x48+x68<=3
+x24+x26+x46<=2
+x24+x27+x28+x47+x48+x78<=3
+x24+x27+x47<=2
+x24+x28+x48<=2
+x25+x26+x27+x28+x56+x57+x58+x67+x68+x78<=4
+x25+x26+x27+x56+x57+x67<=3
+x25+x26+x28+x56+x58+x68<=3
+x25+x26+x56<=2
+x25+x27+x28+x57+x58+x78<=3
+x25+x27+x57<=2
+x25+x28+x58<=2
+x26+x27+x28+x67+x68+x78<=3
+x26+x27+x67<=2
+x26+x28+x68<=2
+x27+x28+x78<=2
+x34+x35+x36+x37+x38+x45+x46+x47+x48+x56+x57+x58+x67+x68+x78<=5
+x34+x35+x36+x37+x45+x46+x47+x56+x57+x67<=4
+x34+x35+x36+x38+x45+x46+x48+x56+x58+x68<=4
+x34+x35+x36+x45+x46+x56<=3
+x34+x35+x37+x38+x45+x47+x48+x57+x58+x78<=4
+x34+x35+x37+x45+x47+x57<=3
+x34+x35+x38+x45+x48+x58<=3
+x34+x35+x45<=2
+x34+x36+x37+x38+x46+x47+x48+x67+x68+x78<=4
+x34+x36+x37+x46+x47+x67<=3
+x34+x36+x38+x46+x48+x68<=3
+x34+x36+x46<=2
+x34+x37+x38+x47+x48+x78<=3
+x34+x37+x47<=2
+x34+x38+x48<=2
+x35+x36+x37+x38+x56+x57+x58+x67+x68+x78<=4
+x35+x36+x37+x56+x57+x67<=3
+x35+x36+x38+x56+x58+x68<=3
+x35+x36+x56<=2
+x35+x37+x38+x57+x58+x78<=3
+x35+x37+x57<=2
+x35+x38+x58<=2
+x36+x37+x38+x67+x68+x78<=3
+x36+x37+x67<=2
+x36+x38+x68<=2
+x37+x38+x78<=2
+x45+x46+x47+x48+x56+x57+x58+x67+x68+x78<=4
+x45+x46+x47+x56+x57+x67<=3
+x45+x46+x48+x56+x58+x68<=3
+x45+x46+x56<=2
+x45+x47+x48+x57+x58+x78<=3
+x45+x47+x57<=2
+x45+x48+x58<=2
+x46+x47+x48+x67+x68+x78<=3
+x46+x47+x67<=2
+x46+x48+x68<=2
+x47+x48+x78<=2
+x56+x57+x58+x67+x68+x78<=3
+x56+x57+x67<=2
+x56+x58+x68<=2
+x57+x58+x78<=2
+x67+x68+x78<=2
x11<=1
x12<=1
x13<=1
x14<=1
x15<=1
x16<=1
x17<=1
x18<=1
x21<=1
x22<=1
x23<=1
x24<=1
x25<=1
x26<=1
x27<=1
x28<=1
x31<=1
x32<=1
x33<=1
x34<=1
x35<=1
x36<=1
x37<=1
x38<=1
x41<=1
x42<=1
x43<=1
x44<=1
x45<=1
x46<=1
x47<=1
x48<=1
x51<=1
x52<=1
x53<=1
x54<=1
x55<=1
x56<=1
x57<=1
x58<=1
x61<=1
x62<=1
x63<=1
x64<=1
x65<=1
x66<=1
x67<=1
x68<=1
x71<=1
x72<=1
x73<=1
x74<=1
x75<=1
x76<=1
x77<=1
x78<=1
x81<=1
x82<=1
x83<=1
x84<=1
x85<=1
x86<=1
x87<=1
x88<=1
end