Minimize

1 p12 + 1 p13 + 1 p14 + 1 p15 + 24 p16 + 24 p17 + 24 p18 + 1 p19 + 40 p110 + 24 p111 + 24 p112 + 24 p113 + 1 p114 + 
1 p23 + 1 p24 + 1 p25 + 24 p26 + 24 p27 + 24 p28 + 1 p29 + 40 p210 + 24 p211 + 24 p212 + 24 p213 + 1 p214 +
1 p34 + 1 p35 + 24 p36 + 24 p37 + 24 p38 + 1 p39 + 40 p310 + 24 p311 + 24 p312 + 24 p313 + 1 p314 +
1 p45 + 104 p46 + 24 p47 + 104 p48 + 1 p49 + 104 p410 + 24 p411 + 24 p412 + 24 p413 + 1 p414 +
104 p56 + 24 p57 + 104 p58 + 1 p59 + 104 p510 + 24 p511 + 24 p512 + 24 p513 + 1 p514 +
64 p67 + 24 p68 + 24 p69 + 24 p610 + 24 p611 + 24 p612 + 24 p613 + 24 p614 +
24 p78 + 24 p79 + 24 p710 + 24 p711 + 24 p712 + 24 p713 + 24 p714 +
24 p89 + 24 p810 + 24 p811 + 24 p812 + 24 p813 + 24 p814 +
24 p910 + 24 p911 + 24 p912 + 24 p913 + 24 p914 +
24 p1011 + 24 p1012 + 24 p1013 + 24 p1014 +
24 p1112 + 24 p1113 + 24 p1114 +
24 p1213 + 104 p1214 +
24 p1314 +
1 n12 + 1 n13 + 1 n14 + 1 n15 + 24 n16 + 24 n17 + 24 n18 + 1 n19 + 40 n110 + 24 n111 + 24 n112 + 24 n113 + 1 n114 + 
1 n23 + 1 n24 + 1 n25 + 24 n26 + 24 n27 + 24 n28 + 1 n29 + 40 n210 + 24 n211 + 24 n212 + 24 n213 + 1 n214 +
1 n34 + 1 n35 + 24 n36 + 24 n37 + 24 n38 + 1 n39 + 40 n310 + 24 n311 + 24 n312 + 24 n313 + 1 n314 +
1 n45 + 104 n46 + 24 n47 + 104 n48 + 1 n49 + 104 n410 + 24 n411 + 24 n412 + 24 n413 + 1 n414 +
104 n56 + 24 n57 + 104 n58 + 1 n59 + 104 n510 + 24 n511 + 24 n512 + 24 n513 + 1 n514 +
64 n67 + 24 n68 + 24 n69 + 24 n610 + 24 n611 + 24 n612 + 24 n613 + 24 n614 +
24 n78 + 24 n79 + 24 n710 + 24 n711 + 24 n712 + 24 n713 + 24 n714 +
24 n89 + 24 n810 + 24 n811 + 24 n812 + 24 n813 + 24 n814 +
24 n910 + 24 n911 + 24 n912 + 24 n913 + 24 n914 +
24 n1011 + 24 n1012 + 24 n1013 + 24 n1014 +
24 n1112 + 24 n1113 + 24 n1114 +
24 n1213 + 104 n1214 +
24 n1314 +
1 a12 + 1 a13 + 1 a14 + 1 a15 + 24 a16 + 24 a17 + 24 a18 + 1 a19 + 40 a110 + 24 a111 + 24 a112 + 24 a113 + 1 a114 + 
1 a23 + 1 a24 + 1 a25 + 24 a26 + 24 a27 + 24 a28 + 1 a29 + 40 a210 + 24 a211 + 24 a212 + 24 a213 + 1 a214 +
1 a34 + 1 a35 + 24 a36 + 24 a37 + 24 a38 + 1 a39 + 40 a310 + 24 a311 + 24 a312 + 24 a313 + 1 a314 +
1 a45 + 104 a46 + 24 a47 + 104 a48 + 1 a49 + 104 a410 + 24 a411 + 24 a412 + 24 a413 + 1 a414 +
104 a56 + 24 a57 + 104 a58 + 1 a59 + 104 a510 + 24 a511 + 24 a512 + 24 a513 + 1 a514 +
64 a67 + 24 a68 + 24 a69 + 24 a610 + 24 a611 + 24 a612 + 24 a613 + 24 a614 +
24 a78 + 24 a79 + 24 a710 + 24 a711 + 24 a712 + 24 a713 + 24 a714 +
24 a89 + 24 a810 + 24 a811 + 24 a812 + 24 a813 + 24 a814 +
24 a910 + 24 a911 + 24 a912 + 24 a913 + 24 a914 +
24 a1011 + 24 a1012 + 24 a1013 + 24 a1014 +
24 a1112 + 24 a1113 + 24 a1114 +
24 a1213 + 104 a1214 +
24 a1314 +
1 b12 + 1 b13 + 1 b14 + 1 b15 + 24 b16 + 24 b17 + 24 b18 + 1 b19 + 40 b110 + 24 b111 + 24 b112 + 24 b113 + 1 b114 + 
1 b23 + 1 b24 + 1 b25 + 24 b26 + 24 b27 + 24 b28 + 1 b29 + 40 b210 + 24 b211 + 24 b212 + 24 b213 + 1 b214 +
1 b34 + 1 b35 + 24 b36 + 24 b37 + 24 b38 + 1 b39 + 40 b310 + 24 b311 + 24 b312 + 24 b313 + 1 b314 +
1 b45 + 104 b46 + 24 b47 + 104 b48 + 1 b49 + 104 b410 + 24 b411 + 24 b412 + 24 b413 + 1 b414 +
104 b56 + 24 b57 + 104 b58 + 1 b59 + 104 b510 + 24 b511 + 24 b512 + 24 b513 + 1 b514 +
64 b67 + 24 b68 + 24 b69 + 24 b610 + 24 b611 + 24 b612 + 24 b613 + 24 b614 +
24 b78 + 24 b79 + 24 b710 + 24 b711 + 24 b712 + 24 b713 + 24 b714 +
24 b89 + 24 b810 + 24 b811 + 24 b812 + 24 b813 + 24 b814 +
24 b910 + 24 b911 + 24 b912 + 24 b913 + 24 b914 +
24 b1011 + 24 b1012 + 24 b1013 + 24 b1014 +
24 b1112 + 24 b1113 + 24 b1114 +
24 b1213 + 104 b1214 +
24 b1314 


Subject to 

x1 - x2 + 900 z12 + 900 q12 >= 1
x1 - x3 + 900 z13 + 900 q13 >= 1
x1 - x4 + 900 z14 + 900 q14 >= 1
x1 - x5 + 900 z15 + 900 q15 >= 1
x1 - x6 + 900 z16 + 900 q16 >= 1
x1 - x7 + 900 z17 + 900 q17 >= 1
x1 - x8 + 900 z18 + 900 q18 >= 1
x1 - x9 + 900 z19 + 900 q19 >= 1
x1 - x10 + 900 z110 + 900 q110 >= 1
x1 - x11 + 900 z111 + 900 q111 >= 1
x1 - x12 + 900 z112 + 900 q112 >= 1
x1 - x13 + 900 z113 + 900 q113 >= 1
x1 - x14 + 900 z114 + 900 q114 >= 1
x2 - x3 + 900 z23 + 900 q23 >= 1
x2 - x4 + 900 z24 + 900 q24 >= 1
x2 - x5 + 900 z25 + 900 q25 >= 1
x2 - x6 + 900 z26 + 900 q26 >= 1
x2 - x7 + 900 z27 + 900 q27 >= 1
x2 - x8 + 900 z28 + 900 q28 >= 1
x2 - x9 + 900 z29 + 900 q29 >= 1
x2 - x10 + 900 z210 + 900 q210 >= 1
x2 - x11 + 900 z211 + 900 q211 >= 1
x2 - x12 + 900 z212 + 900 q212 >= 1
x2 - x13 + 900 z213 + 900 q213 >= 1
x2 - x14 + 900 z214 + 900 q214 >= 1
x3 - x4 + 900 z34 + 900 q34 >= 1
x3 - x5 + 900 z35 + 900 q35 >= 1
x3 - x6 + 900 z36 + 900 q36 >= 1
x3 - x7 + 900 z37 + 900 q37 >= 1
x3 - x8 + 900 z38 + 900 q38 >= 1
x3 - x9 + 900 z39 + 900 q39 >= 1
x3 - x10 + 900 z310 + 900 q310 >= 1
x3 - x11 + 900 z311 + 900 q311 >= 1
x3 - x12 + 900 z312 + 900 q312 >= 1
x3 - x13 + 900 z313 + 900 q313 >= 1
x3 - x14 + 900 z314 + 900 q314 >= 1
x4 - x5 + 900 z45 + 900 q45 >= 1
x4 - x6 + 900 z46 + 900 q46 >= 1
x4 - x7 + 900 z47 + 900 q47 >= 1
x4 - x8 + 900 z48 + 900 q48 >= 1
x4 - x9 + 900 z49 + 900 q49 >= 1
x4 - x10 + 900 z410 + 900 q410 >= 1
x4 - x11 + 900 z411 + 900 q411 >= 1
x4 - x12 + 900 z412 + 900 q412 >= 1
x4 - x13 + 900 z413 + 900 q413 >= 1
x4 - x14 + 900 z414 + 900 q414 >= 1
x5 - x6 + 900 z56 + 900 q56 >= 1
x5 - x7 + 900 z57 + 900 q57 >= 1
x5 - x8 + 900 z58 + 900 q58 >= 1
x5 - x9 + 900 z59 + 900 q59 >= 1
x5 - x10 + 900 z510 + 900 q510 >= 1
x5 - x11 + 900 z511 + 900 q511 >= 1
x5 - x12 + 900 z512 + 900 q512 >= 1
x5 - x13 + 900 z513 + 900 q513 >= 1
x5 - x14 + 900 z514 + 900 q514 >= 1
x6 - x7 + 900 z67 + 900 q67 >= 1
x6 - x8 + 900 z68 + 900 q68 >= 1
x6 - x9 + 900 z69 + 900 q69 >= 1
x6 - x10 + 900 z610 + 900 q610 >= 1
x6 - x11 + 900 z611 + 900 q611 >= 1
x6 - x12 + 900 z612 + 900 q612 >= 1
x6 - x13 + 900 z613 + 900 q613 >= 1
x6 - x14 + 900 z614 + 900 q614 >= 1
x7 - x8 + 900 z78 + 900 q78 >= 1
x7 - x9 + 900 z79 + 900 q79 >= 1
x7 - x10 + 900 z710 + 900 q710 >= 1
x7 - x11 + 900 z711 + 900 q711 >= 1
x7 - x12 + 900 z712 + 900 q712 >= 1
x7 - x13 + 900 z713 + 900 q713 >= 1
x7 - x14 + 900 z714 + 900 q714 >= 1
x8 - x9 + 900 z89 + 900 q89 >= 1
x8 - x10 + 900 z810 + 900 q810 >= 1
x8 - x11 + 900 z811 + 900 q811 >= 1
x8 - x12 + 900 z812 + 900 q812 >= 1
x8 - x13 + 900 z813 + 900 q813 >= 1
x8 - x14 + 900 z814 + 900 q814 >= 1
x9 - x10 + 900 z910 + 900 q910 >= 1
x9 - x11 + 900 z911 + 900 q911 >= 1
x9 - x12 + 900 z912 + 900 q912 >= 1
x9 - x13 + 900 z913 + 900 q913 >= 1
x9 - x14 + 900 z914 + 900 q914 >= 1
x10 - x11 + 900 z1011 + 900 q1011 >= 1
x10 - x12 + 900 z1012 + 900 q1012 >= 1
x10 - x13 + 900 z1013 + 900 q1013 >= 1
x10 - x14 + 900 z1014 + 900 q1014 >= 1
x11 - x12 + 900 z1112 + 900 q1112 >= 1
x11 - x13 + 900 z1113 + 900 q1113 >= 1
x11 - x14 + 900 z1114 + 900 q1114 >= 1
x12 - x13 + 900 z1213 + 900 q1213 >= 1
x12 - x14 + 900 z1214 + 900 q1214 >= 1
x13 - x14 + 900 z1314 + 900 q1314 >= 1


-x1 + x2 + 900 z12 - 900 q12 >= -899
-x1 + x3 + 900 z13 - 900 q13 >= -899
-x1 + x4 + 900 z14 - 900 q14 >= -899
-x1 + x5 + 900 z15 - 900 q15 >= -899
-x1 + x6 + 900 z16 - 900 q16 >= -899
-x1 + x7 + 900 z17 - 900 q17 >= -899
-x1 + x8 + 900 z18 - 900 q18 >= -899
-x1 + x9 + 900 z19 - 900 q19 >= -899
-x1 + x10 + 900 z110 - 900 q110 >= -899
-x1 + x11 + 900 z111 - 900 q111 >= -899
-x1 + x12 + 900 z112 - 900 q112 >= -899
-x1 + x13 + 900 z113 - 900 q113 >= -899
-x1 + x14 + 900 z114 - 900 q114 >= -899
-x2 + x3 + 900 z23 - 900 q23 >= -899
-x2 + x4 + 900 z24 - 900 q24 >= -899
-x2 + x5 + 900 z25 - 900 q25 >= -899
-x2 + x6 + 900 z26 - 900 q26 >= -899
-x2 + x7 + 900 z27 - 900 q27 >= -899
-x2 + x8 + 900 z28 - 900 q28 >= -899
-x2 + x9 + 900 z29 - 900 q29 >= -899
-x2 + x10 + 900 z210 - 900 q210 >= -899
-x2 + x11 + 900 z211 - 900 q211 >= -899
-x2 + x12 + 900 z212 - 900 q212 >= -899
-x2 + x13 + 900 z213 - 900 q213 >= -899
-x2 + x14 + 900 z214 - 900 q214 >= -899
-x3 + x4 + 900 z34 - 900 q34 >= -899
-x3 + x5 + 900 z35 - 900 q35 >= -899
-x3 + x6 + 900 z36 - 900 q36 >= -899
-x3 + x7 + 900 z37 - 900 q37 >= -899
-x3 + x8 + 900 z38 - 900 q38 >= -899
-x3 + x9 + 900 z39 - 900 q39 >= -899
-x3 + x10 + 900 z310 - 900 q310 >= -899
-x3 + x11 + 900 z311 - 900 q311 >= -899
-x3 + x12 + 900 z312 - 900 q312 >= -899
-x3 + x13 + 900 z313 - 900 q313 >= -899
-x3 + x14 + 900 z314 - 900 q314 >= -899
-x4 + x5 + 900 z45 - 900 q45 >= -899
-x4 + x6 + 900 z46 - 900 q46 >= -899
-x4 + x7 + 900 z47 - 900 q47 >= -899
-x4 + x8 + 900 z48 - 900 q48 >= -899
-x4 + x9 + 900 z49 - 900 q49 >= -899
-x4 + x10 + 900 z410 - 900 q410 >= -899
-x4 + x11 + 900 z411 - 900 q411 >= -899
-x4 + x12 + 900 z412 - 900 q412 >= -899
-x4 + x13 + 900 z413 - 900 q413 >= -899
-x4 + x14 + 900 z414 - 900 q414 >= -899
-x5 + x6 + 900 z56 - 900 q56 >= -899
-x5 + x7 + 900 z57 - 900 q57 >= -899
-x5 + x8 + 900 z58 - 900 q58 >= -899
-x5 + x9 + 900 z59 - 900 q59 >= -899
-x5 + x10 + 900 z510 - 900 q510 >= -899
-x5 + x11 + 900 z511 - 900 q511 >= -899
-x5 + x12 + 900 z512 - 900 q512 >= -899
-x5 + x13 + 900 z513 - 900 q513 >= -899
-x5 + x14 + 900 z514 - 900 q514 >= -899
-x6 + x7 + 900 z67 - 900 q67 >= -899
-x6 + x8 + 900 z68 - 900 q68 >= -899
-x6 + x9 + 900 z69 - 900 q69 >= -899
-x6 + x10 + 900 z610 - 900 q610 >= -899
-x6 + x11 + 900 z611 - 900 q611 >= -899
-x6 + x12 + 900 z612 - 900 q612 >= -899
-x6 + x13 + 900 z613 - 900 q613 >= -899
-x6 + x14 + 900 z614 - 900 q614 >= -899
-x7 + x8 + 900 z78 - 900 q78 >= -899
-x7 + x9 + 900 z79 - 900 q79 >= -899
-x7 + x10 + 900 z710 - 900 q710 >= -899
-x7 + x11 + 900 z711 - 900 q711 >= -899
-x7 + x12 + 900 z712 - 900 q712 >= -899
-x7 + x13 + 900 z713 - 900 q713 >= -899
-x7 + x14 + 900 z714 - 900 q714 >= -899
-x8 + x9 + 900 z89 - 900 q89 >= -899
-x8 + x10 + 900 z810 - 900 q810 >= -899
-x8 + x11 + 900 z811 - 900 q811 >= -899
-x8 + x12 + 900 z812 - 900 q812 >= -899
-x8 + x13 + 900 z813 - 900 q813 >= -899
-x8 + x14 + 900 z814 - 900 q814 >= -899
-x9 + x10 + 900 z910 - 900 q910 >= -899
-x9 + x11 + 900 z911 - 900 q911 >= -899
-x9 + x12 + 900 z912 - 900 q912 >= -899
-x9 + x13 + 900 z913 - 900 q913 >= -899
-x9 + x14 + 900 z914 - 900 q914 >= -899
-x10 + x11 + 900 z1011 - 900 q1011 >= -899
-x10 + x12 + 900 z1012 - 900 q1012 >= -899
-x10 + x13 + 900 z1013 - 900 q1013 >= -899
-x10 + x14 + 900 z1014 - 900 q1014 >= -899
-x11 + x12 + 900 z1112 - 900 q1112 >= -899
-x11 + x13 + 900 z1113 - 900 q1113 >= -899
-x11 + x14 + 900 z1114 - 900 q1114 >= -899
-x12 + x13 + 900 z1213 - 900 q1213 >= -899
-x12 + x14 + 900 z1214 - 900 q1214 >= -899
-x13 + x14 + 900 z1314 - 900 q1314 >= -899

y1 - y2 - 900 z12 + 900 q12 >= -899
y1 - y3 - 900 z13 + 900 q13 >= -899
y1 - y4 - 900 z14 + 900 q14 >= -899
y1 - y5 - 900 z15 + 900 q15 >= -899
y1 - y6 - 900 z16 + 900 q16 >= -899
y1 - y7 - 900 z17 + 900 q17 >= -899
y1 - y8 - 900 z18 + 900 q18 >= -899
y1 - y9 - 900 z19 + 900 q19 >= -899
y1 - y10 - 900 z110 + 900 q110 >= -899
y1 - y11 - 900 z111 + 900 q111 >= -899
y1 - y12 - 900 z112 + 900 q112 >= -899
y1 - y13 - 900 z113 + 900 q113 >= -899
y1 - y14 - 900 z114 + 900 q114 >= -899
y2 - y3 - 900 z23 + 900 q23 >= -899
y2 - y4 - 900 z24 + 900 q24 >= -899
y2 - y5 - 900 z25 + 900 q25 >= -899
y2 - y6 - 900 z26 + 900 q26 >= -899
y2 - y7 - 900 z27 + 900 q27 >= -899
y2 - y8 - 900 z28 + 900 q28 >= -899
y2 - y9 - 900 z29 + 900 q29 >= -899
y2 - y10 - 900 z210 + 900 q210 >= -899
y2 - y11 - 900 z211 + 900 q211 >= -899
y2 - y12 - 900 z212 + 900 q212 >= -899
y2 - y13 - 900 z213 + 900 q213 >= -899
y2 - y14 - 900 z214 + 900 q214 >= -899
y3 - y4 - 900 z34 + 900 q34 >= -899
y3 - y5 - 900 z35 + 900 q35 >= -899
y3 - y6 - 900 z36 + 900 q36 >= -899
y3 - y7 - 900 z37 + 900 q37 >= -899
y3 - y8 - 900 z38 + 900 q38 >= -899
y3 - y9 - 900 z39 + 900 q39 >= -899
y3 - y10 - 900 z310 + 900 q310 >= -899
y3 - y11 - 900 z311 + 900 q311 >= -899
y3 - y12 - 900 z312 + 900 q312 >= -899
y3 - y13 - 900 z313 + 900 q313 >= -899
y3 - y14 - 900 z314 + 900 q314 >= -899
y4 - y5 - 900 z45 + 900 q45 >= -899
y4 - y6 - 900 z46 + 900 q46 >= -899
y4 - y7 - 900 z47 + 900 q47 >= -899
y4 - y8 - 900 z48 + 900 q48 >= -899
y4 - y9 - 900 z49 + 900 q49 >= -899
y4 - y10 - 900 z410 + 900 q410 >= -899
y4 - y11 - 900 z411 + 900 q411 >= -899
y4 - y12 - 900 z412 + 900 q412 >= -899
y4 - y13 - 900 z413 + 900 q413 >= -899
y4 - y14 - 900 z414 + 900 q414 >= -899
y5 - y6 - 900 z56 + 900 q56 >= -899
y5 - y7 - 900 z57 + 900 q57 >= -899
y5 - y8 - 900 z58 + 900 q58 >= -899
y5 - y9 - 900 z59 + 900 q59 >= -899
y5 - y10 - 900 z510 + 900 q510 >= -899
y5 - y11 - 900 z511 + 900 q511 >= -899
y5 - y12 - 900 z512 + 900 q512 >= -899
y5 - y13 - 900 z513 + 900 q513 >= -899
y5 - y14 - 900 z514 + 900 q514 >= -899
y6 - y7 - 900 z67 + 900 q67 >= -899
y6 - y8 - 900 z68 + 900 q68 >= -899
y6 - y9 - 900 z69 + 900 q69 >= -899
y6 - y10 - 900 z610 + 900 q610 >= -899
y6 - y11 - 900 z611 + 900 q611 >= -899
y6 - y12 - 900 z612 + 900 q612 >= -899
y6 - y13 - 900 z613 + 900 q613 >= -899
y6 - y14 - 900 z614 + 900 q614 >= -899
y7 - y8 - 900 z78 + 900 q78 >= -899
y7 - y9 - 900 z79 + 900 q79 >= -899
y7 - y10 - 900 z710 + 900 q710 >= -899
y7 - y11 - 900 z711 + 900 q711 >= -899
y7 - y12 - 900 z712 + 900 q712 >= -899
y7 - y13 - 900 z713 + 900 q713 >= -899
y7 - y14 - 900 z714 + 900 q714 >= -899
y8 - y9 - 900 z89 + 900 q89 >= -899
y8 - y10 - 900 z810 + 900 q810 >= -899
y8 - y11 - 900 z811 + 900 q811 >= -899
y8 - y12 - 900 z812 + 900 q812 >= -899
y8 - y13 - 900 z813 + 900 q813 >= -899
y8 - y14 - 900 z814 + 900 q814 >= -899
y9 - y10 - 900 z910 + 900 q910 >= -899
y9 - y11 - 900 z911 + 900 q911 >= -899
y9 - y12 - 900 z912 + 900 q912 >= -899
y9 - y13 - 900 z913 + 900 q913 >= -899
y9 - y14 - 900 z914 + 900 q914 >= -899
y10 - y11 - 900 z1011 + 900 q1011 >= -899
y10 - y12 - 900 z1012 + 900 q1012 >= -899
y10 - y13 - 900 z1013 + 900 q1013 >= -899
y10 - y14 - 900 z1014 + 900 q1014 >= -899
y11 - y12 - 900 z1112 + 900 q1112 >= -899
y11 - y13 - 900 z1113 + 900 q1113 >= -899
y11 - y14 - 900 z1114 + 900 q1114 >= -899
y12 - y13 - 900 z1213 + 900 q1213 >= -899
y12 - y14 - 900 z1214 + 900 q1214 >= -899
y13 - y14 - 900 z1314 + 900 q1314 >= -899

y2 - y1 - 900 z12 - 900 q12 >= -1799
y3 - y1 - 900 z13 - 900 q13 >= -1799
y4 - y1 - 900 z14 - 900 q14 >= -1799
y5 - y1 - 900 z15 - 900 q15 >= -1799
y6 - y1 - 900 z16 - 900 q16 >= -1799
y7 - y1 - 900 z17 - 900 q17 >= -1799
y8 - y1 - 900 z18 - 900 q18 >= -1799
y9 - y1 - 900 z19 - 900 q19 >= -1799
y10 - y1 - 900 z110 - 900 q110 >= -1799
y11 - y1 - 900 z111 - 900 q111 >= -1799
y12 - y1 - 900 z112 - 900 q112 >= -1799
y13 - y1 - 900 z113 - 900 q113 >= -1799
y14 - y1 - 900 z114 - 900 q114 >= -1799
y3 - y2 - 900 z23 - 900 q23 >= -1799
y4 - y2 - 900 z24 - 900 q24 >= -1799
y5 - y2 - 900 z25 - 900 q25 >= -1799
y6 - y2 - 900 z26 - 900 q26 >= -1799
y7 - y2 - 900 z27 - 900 q27 >= -1799
y8 - y2 - 900 z28 - 900 q28 >= -1799
y9 - y2 - 900 z29 - 900 q29 >= -1799
y10 - y2 - 900 z210 - 900 q210 >= -1799
y11 - y2 - 900 z211 - 900 q211 >= -1799
y12 - y2 - 900 z212 - 900 q212 >= -1799
y13 - y2 - 900 z213 - 900 q213 >= -1799
y14 - y2 - 900 z214 - 900 q214 >= -1799
y4 - y3 - 900 z34 - 900 q34 >= -1799
y5 - y3 - 900 z35 - 900 q35 >= -1799
y6 - y3 - 900 z36 - 900 q36 >= -1799
y7 - y3 - 900 z37 - 900 q37 >= -1799
y8 - y3 - 900 z38 - 900 q38 >= -1799
y9 - y3 - 900 z39 - 900 q39 >= -1799
y10 - y3 - 900 z310 - 900 q310 >= -1799
y11 - y3 - 900 z311 - 900 q311 >= -1799
y12 - y3 - 900 z312 - 900 q312 >= -1799
y13 - y3 - 900 z313 - 900 q313 >= -1799
y14 - y3 - 900 z314 - 900 q314 >= -1799
y5 - y4 - 900 z45 - 900 q45 >= -1799
y6 - y4 - 900 z46 - 900 q46 >= -1799
y7 - y4 - 900 z47 - 900 q47 >= -1799
y8 - y4 - 900 z48 - 900 q48 >= -1799
y9 - y4 - 900 z49 - 900 q49 >= -1799
y10 - y4 - 900 z410 - 900 q410 >= -1799
y11 - y4 - 900 z411 - 900 q411 >= -1799
y12 - y4 - 900 z412 - 900 q412 >= -1799
y13 - y4 - 900 z413 - 900 q413 >= -1799
y14 - y4 - 900 z414 - 900 q414 >= -1799
y6 - y5 - 900 z56 - 900 q56 >= -1799
y7 - y5 - 900 z57 - 900 q57 >= -1799
y8 - y5 - 900 z58 - 900 q58 >= -1799
y9 - y5 - 900 z59 - 900 q59 >= -1799
y10 - y5 - 900 z510 - 900 q510 >= -1799
y11 - y5 - 900 z511 - 900 q511 >= -1799
y12 - y5 - 900 z512 - 900 q512 >= -1799
y13 - y5 - 900 z513 - 900 q513 >= -1799
y14 - y5 - 900 z514 - 900 q514 >= -1799
y7 - y6 - 900 z67 - 900 q67 >= -1799
y8 - y6 - 900 z68 - 900 q68 >= -1799
y9 - y6 - 900 z69 - 900 q69 >= -1799
y10 - y6 - 900 z610 - 900 q610 >= -1799
y11 - y6 - 900 z611 - 900 q611 >= -1799
y12 - y6 - 900 z612 - 900 q612 >= -1799
y13 - y6 - 900 z613 - 900 q613 >= -1799
y14 - y6 - 900 z614 - 900 q614 >= -1799
y8 - y7 - 900 z78 - 900 q78 >= -1799
y9 - y7 - 900 z79 - 900 q79 >= -1799
y10 - y7 - 900 z710 - 900 q710 >= -1799
y11 - y7 - 900 z711 - 900 q711 >= -1799
y12 - y7 - 900 z712 - 900 q712 >= -1799
y13 - y7 - 900 z713 - 900 q713 >= -1799
y14 - y7 - 900 z714 - 900 q714 >= -1799
y9 - y8 - 900 z89 - 900 q89 >= -1799
y10 - y8 - 900 z810 - 900 q810 >= -1799
y11 - y8 - 900 z811 - 900 q811 >= -1799
y12 - y8 - 900 z812 - 900 q812 >= -1799
y13 - y8 - 900 z813 - 900 q813 >= -1799
y14 - y8 - 900 z814 - 900 q814 >= -1799
y10 - y9 - 900 z910 - 900 q910 >= -1799
y11 - y9 - 900 z911 - 900 q911 >= -1799
y12 - y9 - 900 z912 - 900 q912 >= -1799
y13 - y9 - 900 z913 - 900 q913 >= -1799
y14 - y9 - 900 z914 - 900 q914 >= -1799
y11 - y10 - 900 z1011 - 900 q1011 >= -1799
y12 - y10 - 900 z1012 - 900 q1012 >= -1799
y13 - y10 - 900 z1013 - 900 q1013 >= -1799
y14 - y10 - 900 z1014 - 900 q1014 >= -1799
y12 - y11 - 900 z1112 - 900 q1112 >= -1799
y13 - y11 - 900 z1113 - 900 q1113 >= -1799
y14 - y11 - 900 z1114 - 900 q1114 >= -1799
y13 - y12 - 900 z1213 - 900 q1213 >= -1799
y14 - y12 - 900 z1214 - 900 q1214 >= -1799
y14 - y13 - 900 z1314 - 900 q1314 >= -1799

p12 - n12 - x1 + x2 = 0
p13 - n13 - x1 + x3 = 0
p14 - n14 - x1 + x4 = 0
p15 - n15 - x1 + x5 = 0
p16 - n16 - x1 + x6 = 0
p17 - n17 - x1 + x7 = 0
p18 - n18 - x1 + x8 = 0
p19 - n19 - x1 + x9 = 0
p110 - n110 - x1 + x10 = 0
p111 - n111 - x1 + x11 = 0
p112 - n112 - x1 + x12 = 0
p113 - n113 - x1 + x13 = 0
p114 - n114 - x1 + x14 = 0
p23 - n23 - x2 + x3 = 0
p24 - n24 - x2 + x4 = 0
p25 - n25 - x2 + x5 = 0
p26 - n26 - x2 + x6 = 0
p27 - n27 - x2 + x7 = 0
p28 - n28 - x2 + x8 = 0
p29 - n29 - x2 + x9 = 0
p210 - n210 - x2 + x10 = 0
p211 - n211 - x2 + x11 = 0
p212 - n212 - x2 + x12 = 0
p213 - n213 - x2 + x13 = 0
p214 - n214 - x2 + x14 = 0
p34 - n34 - x3 + x4 = 0
p35 - n35 - x3 + x5 = 0
p36 - n36 - x3 + x6 = 0
p37 - n37 - x3 + x7 = 0
p38 - n38 - x3 + x8 = 0
p39 - n39 - x3 + x9 = 0
p310 - n310 - x3 + x10 = 0
p311 - n311 - x3 + x11 = 0
p312 - n312 - x3 + x12 = 0
p313 - n313 - x3 + x13 = 0
p314 - n314 - x3 + x14 = 0
p45 - n45 - x4 + x5 = 0
p46 - n46 - x4 + x6 = 0
p47 - n47 - x4 + x7 = 0
p48 - n48 - x4 + x8 = 0
p49 - n49 - x4 + x9 = 0
p410 - n410 - x4 + x10 = 0
p411 - n411 - x4 + x11 = 0
p412 - n412 - x4 + x12 = 0
p413 - n413 - x4 + x13 = 0
p414 - n414 - x4 + x14 = 0
p56 - n56 - x5 + x6 = 0
p57 - n57 - x5 + x7 = 0
p58 - n58 - x5 + x8 = 0
p59 - n59 - x5 + x9 = 0
p510 - n510 - x5 + x10 = 0
p511 - n511 - x5 + x11 = 0
p512 - n512 - x5 + x12 = 0
p513 - n513 - x5 + x13 = 0
p514 - n514 - x5 + x14 = 0
p67 - n67 - x6 + x7 = 0
p68 - n68 - x6 + x8 = 0
p69 - n69 - x6 + x9 = 0
p610 - n610 - x6 + x10 = 0
p611 - n611 - x6 + x11 = 0
p612 - n612 - x6 + x12 = 0
p613 - n613 - x6 + x13 = 0
p614 - n614 - x6 + x14 = 0
p78 - n78 - x7 + x8 = 0
p79 - n79 - x7 + x9 = 0
p710 - n710 - x7 + x10 = 0
p711 - n711 - x7 + x11 = 0
p712 - n712 - x7 + x12 = 0
p713 - n713 - x7 + x13 = 0
p714 - n714 - x7 + x14 = 0
p89 - n89 - x8 + x9 = 0
p810 - n810 - x8 + x10 = 0
p811 - n811 - x8 + x11 = 0
p812 - n812 - x8 + x12 = 0
p813 - n813 - x8 + x13 = 0
p814 - n814 - x8 + x14 = 0
p910 - n910 - x9 + x10 = 0
p911 - n911 - x9 + x11 = 0
p912 - n912 - x9 + x12 = 0
p913 - n913 - x9 + x13 = 0
p914 - n914 - x9 + x14 = 0
p1011 - n1011 - x10 + x11 = 0
p1012 - n1012 - x10 + x12 = 0
p1013 - n1013 - x10 + x13 = 0
p1014 - n1014 - x10 + x14 = 0
p1112 - n1112 - x11 + x12 = 0
p1113 - n1113 - x11 + x13 = 0
p1114 - n1114 - x11 + x14 = 0
p1213 - n1213 - x12 + x13 = 0
p1214 - n1214 - x12 + x14 = 0
p1314 - n1314 - x13 + x14 = 0

a12 - b12 - y1 + y2 = 0
a13 - b13 - y1 + y3 = 0
a14 - b14 - y1 + y4 = 0
a15 - b15 - y1 + y5 = 0
a16 - b16 - y1 + y6 = 0
a17 - b17 - y1 + y7 = 0
a18 - b18 - y1 + y8 = 0
a19 - b19 - y1 + y9 = 0
a110 - b110 - y1 + y10 = 0
a111 - b111 - y1 + y11 = 0
a112 - b112 - y1 + y12 = 0
a113 - b113 - y1 + y13 = 0
a114 - b114 - y1 + y14 = 0
a23 - b23 - y2 + y3 = 0
a24 - b24 - y2 + y4 = 0
a25 - b25 - y2 + y5 = 0
a26 - b26 - y2 + y6 = 0
a27 - b27 - y2 + y7 = 0
a28 - b28 - y2 + y8 = 0
a29 - b29 - y2 + y9 = 0
a210 - b210 - y2 + y10 = 0
a211 - b211 - y2 + y11 = 0
a212 - b212 - y2 + y12 = 0
a213 - b213 - y2 + y13 = 0
a214 - b214 - y2 + y14 = 0
a34 - b34 - y3 + y4 = 0
a35 - b35 - y3 + y5 = 0
a36 - b36 - y3 + y6 = 0
a37 - b37 - y3 + y7 = 0
a38 - b38 - y3 + y8 = 0
a39 - b39 - y3 + y9 = 0
a310 - b310 - y3 + y10 = 0
a311 - b311 - y3 + y11 = 0
a312 - b312 - y3 + y12 = 0
a313 - b313 - y3 + y13 = 0
a314 - b314 - y3 + y14 = 0
a45 - b45 - y4 + y5 = 0
a46 - b46 - y4 + y6 = 0
a47 - b47 - y4 + y7 = 0
a48 - b48 - y4 + y8 = 0
a49 - b49 - y4 + y9 = 0
a410 - b410 - y4 + y10 = 0
a411 - b411 - y4 + y11 = 0
a412 - b412 - y4 + y12 = 0
a413 - b413 - y4 + y13 = 0
a414 - b414 - y4 + y14 = 0
a56 - b56 - y5 + y6 = 0
a57 - b57 - y5 + y7 = 0
a58 - b58 - y5 + y8 = 0
a59 - b59 - y5 + y9 = 0
a510 - b510 - y5 + y10 = 0
a511 - b511 - y5 + y11 = 0
a512 - b512 - y5 + y12 = 0
a513 - b513 - y5 + y13 = 0
a514 - b514 - y5 + y14 = 0
a67 - b67 - y6 + y7 = 0
a68 - b68 - y6 + y8 = 0
a69 - b69 - y6 + y9 = 0
a610 - b610 - y6 + y10 = 0
a611 - b611 - y6 + y11 = 0
a612 - b612 - y6 + y12 = 0
a613 - b613 - y6 + y13 = 0
a614 - b614 - y6 + y14 = 0
a78 - b78 - y7 + y8 = 0
a79 - b79 - y7 + y9 = 0
a710 - b710 - y7 + y10 = 0
a711 - b711 - y7 + y11 = 0
a712 - b712 - y7 + y12 = 0
a713 - b713 - y7 + y13 = 0
a714 - b714 - y7 + y14 = 0
a89 - b89 - y8 + y9 = 0
a810 - b810 - y8 + y10 = 0
a811 - b811 - y8 + y11 = 0
a812 - b812 - y8 + y12 = 0
a813 - b813 - y8 + y13 = 0
a814 - b814 - y8 + y14 = 0
a910 - b910 - y9 + y10 = 0
a911 - b911 - y9 + y11 = 0
a912 - b912 - y9 + y12 = 0
a913 - b913 - y9 + y13 = 0
a914 - b914 - y9 + y14 = 0
a1011 - b1011 - y10 + y11 = 0
a1012 - b1012 - y10 + y12 = 0
a1013 - b1013 - y10 + y13 = 0
a1014 - b1014 - y10 + y14 = 0
a1112 - b1112 - y11 + y12 = 0
a1113 - b1113 - y11 + y13 = 0
a1114 - b1114 - y11 + y14 = 0
a1213 - b1213 - y12 + y13 = 0
a1214 - b1214 - y12 + y14 = 0
a1314 - b1314 - y13 + y14 = 0


x1 <= 1
x2 <= 1 
x3 <= 1
x4 <= 1
x5 <= 1
x6 <= 1
x7 <= 1
x8 <= 1
x9 <= 1 
x10 <= 1
x11 <= 1
x12 <= 1
x13 <= 1
x14 <= 1

x1 >= 0
x2 >= 0 
x3 >= 0
x4 >= 0
x5 >= 0
x6 >= 0
x7 >= 0
x8 >= 0
x9 >= 0 
x10 >= 0
x11 >= 0
x12 >= 0
x13 >= 0
x14 >= 0


y1 <= 6 
y2 <= 6
y3 <= 6
y4 <= 6
y5 <= 6
y6 <= 6
y7 <= 6
y8 <= 6
y9 <= 6
y10 <= 6
y11 <= 6
y12 <= 6
y13 <= 6
y14 <= 6

y1 >= 0
y2 >= 0 
y3 >= 0
y4 >= 0
y5 >= 0
y6 >= 0
y7 >= 0
y8 >= 0
y9 >= 0 
y10 >= 0
y11 >= 0
y12 >= 0
y13 >= 0
y14 >= 0

x6 = 0
y6 = 4
x7 = 0
y7 = 3
x8 = 1
y8 = 4
x14 = 0
y14 = 5

Binary
z12 z13 z14 z15 z16 z17 z18 z19 z110 z111 z112 z113 z114 z23 z24 z25 z26 z27 z28 z29 z210 z211 z212 z213 z214 z34 z35 z36 z37 z38 z39 z310 z311 z312 z313 z314 
z45 z46 z47 z48 z49 z410 z411 z412 z413 z414 z56 z57 z58 z59 z510 z511 z512 z513 z514 z67 z68 z69 z610 z611 z612 z613 z614 z78 z79 z710 z711 z712 z713 z714 z89
z810 z811 z812 z813 z814 z910 z911 z912 z913 z914 z1011 z1012 z1013 z1014 z1112 z1113 z1114 z1213 z1214 z1314

q12 q13 q14 q15 q16 q17 q18 q19 q110 q111 q112 q113 q114 q23 q24 q25 q26 q27 q28 q29 q210 q211 q212 q213 q214 q34 q35 q36 q37 q38 q39 q310 q311 q312 q313 q314 
q45 q46 q47 q48 q49 q410 q411 q412 q413 q414 q56 q57 q58 q59 q510 q511 q512 q513 q514 q67 q68 q69 q610 q611 q612 q613 q614 q78 q79 q710 q711 q712 q713 q714 q89
q810 q811 q812 q813 q814 q910 q911 q912 q913 q914 q1011 q1012 q1013 q1014 q1112 q1113 q1114 q1213 q1214 q1314

End