out.lp

Maximize
  epsilon
Subject To
 probconstr0: - 0.92 kappa14 + 0.41 kappa17 + 0.5 kappa18 >= -0.38
 probconstr1: 0.64 kappa17 >= 0.55
 probconstr2: epsilon + 0.2 kappa4 <= 0.067
 a00: a40 + a50 + a190 >= 1
 a01: a110 + a150 - a180 >= 0
 a02: - a50 + a80 + a160 >= 0
 a03: a00 - a50 + a110 >= 0
 a04: - a90 + a160 + a180 >= 0
 a05: a10 - a80 + a100 >= 0
 a06: a10 + a100 - a150 >= 0
 a07: - a80 + a100 - a110 >= -1
 a08: - a40 + a60 + a170 >= 0
 a09: a30 - 2 a80 >= -1
 a10: a41 + a51 + a191 >= 1
 a11: a111 + a151 - a181 >= 0
 a12: - a51 + a81 + a161 >= 0
 a13: a01 - a51 + a111 >= 0
 a14: - a91 + a161 + a181 >= 0
 a15: a11 - a81 + a101 >= 0
 a16: a11 + a101 - a151 >= 0
 a17: - a81 + a101 - a111 >= -1
 a18: - a41 + a61 + a171 >= 0
 a19: a31 - 2 a81 >= -1
 a20: a42 + a52 + a192 >= 1
 a21: a112 + a152 - a182 >= 0
 a22: - a52 + a82 + a162 >= 0
 a23: a02 - a52 + a112 >= 0
 a24: - a92 + a162 + a182 >= 0
 a25: a12 - a82 + a102 >= 0
 a26: a12 + a102 - a152 >= 0
 a27: - a82 + a102 - a112 >= -1
 a28: - a42 + a62 + a172 >= 0
 a29: a32 - 2 a82 >= -1
 a30: a43 + a53 + a193 >= 1
 a31: a113 + a153 - a183 >= 0
 a32: - a53 + a83 + a163 >= 0
 a33: a03 - a53 + a113 >= 0
 a34: - a93 + a163 + a183 >= 0
 a35: a13 - a83 + a103 >= 0
 a36: a13 + a103 - a153 >= 0
 a37: - a83 + a103 - a113 >= -1
 a38: - a43 + a63 + a173 >= 0
 a39: a33 - 2 a83 >= -1
 a40: a44 + a54 + a194 >= 1
 a41: a114 + a154 - a184 >= 0
 a42: - a54 + a84 + a164 >= 0
 a43: a04 - a54 + a114 >= 0
 a44: - a94 + a164 + a184 >= 0
 a45: a14 - a84 + a104 >= 0
 a46: a14 + a104 - a154 >= 0
 a47: - a84 + a104 - a114 >= -1
 a48: - a44 + a64 + a174 >= 0
 a49: a34 - 2 a84 >= -1
 a50: a45 + a55 + a195 >= 1
 a51: a115 + a155 - a185 >= 0
 a52: - a55 + a85 + a165 >= 0
 a53: a05 - a55 + a115 >= 0
 a54: - a95 + a165 + a185 >= 0
 a55: a15 - a85 + a105 >= 0
 a56: a15 + a105 - a155 >= 0
 a57: - a85 + a105 - a115 >= -1
 a58: - a45 + a65 + a175 >= 0
 a59: a35 - 2 a85 >= -1
 a60: a46 + a56 + a196 >= 1
 a61: a116 + a156 - a186 >= 0
 a62: - a56 + a86 + a166 >= 0
 a63: a06 - a56 + a116 >= 0
 a64: - a96 + a166 + a186 >= 0
 a65: a16 - a86 + a106 >= 0
 a66: a16 + a106 - a156 >= 0
 a67: - a86 + a106 - a116 >= -1
 a68: - a46 + a66 + a176 >= 0
 a69: a36 - 2 a86 >= -1
 a70: a47 + a57 + a197 >= 1
 a71: a117 + a157 - a187 >= 0
 a72: - a57 + a87 + a167 >= 0
 a73: a07 - a57 + a117 >= 0
 a74: - a97 + a167 + a187 >= 0
 a75: a17 - a87 + a107 >= 0
 a76: a17 + a107 - a157 >= 0
 a77: - a87 + a107 - a117 >= -1
 a78: - a47 + a67 + a177 >= 0
 a79: a37 - 2 a87 >= -1
 a80: a48 + a58 + a198 >= 1
 a81: a118 + a158 - a188 >= 0
 a82: - a58 + a88 + a168 >= 0
 a83: a08 - a58 + a118 >= 0
 a84: - a98 + a168 + a188 >= 0
 a85: a18 - a88 + a108 >= 0
 a86: a18 + a108 - a158 >= 0
 a87: - a88 + a108 - a118 >= -1
 a88: - a48 + a68 + a178 >= 0
 a89: a38 - 2 a88 >= -1
 a90: a49 + a59 + a199 >= 1
 a91: a119 + a159 - a189 >= 0
 a92: - a59 + a89 + a169 >= 0
 a93: a09 - a59 + a119 >= 0
 a94: - a99 + a169 + a189 >= 0
 a95: a19 - a89 + a109 >= 0
 a96: a19 + a109 - a159 >= 0
 a97: - a89 + a109 - a119 >= -1
 a98: - a49 + a69 + a179 >= 0
 a99: a39 - 2 a89 >= -1
 a100: a410 + a510 + a1910 >= 1
 a101: a1110 + a1510 - a1810 >= 0
 a102: - a510 + a810 + a1610 >= 0
 a103: a010 - a510 + a1110 >= 0
 a104: - a910 + a1610 + a1810 >= 0
 a105: a110 - a810 + a1010 >= 0
 a106: a110 + a1010 - a1510 >= 0
 a107: - a810 + a1010 - a1110 >= -1
 a108: - a410 + a610 + a1710 >= 0
 a109: a310 - 2 a810 >= -1
 a110: a411 + a511 + a1911 >= 1
 a111: a1111 + a1511 - a1811 >= 0
 a112: - a511 + a811 + a1611 >= 0
 a113: a011 - a511 + a1111 >= 0
 a114: - a911 + a1611 + a1811 >= 0
 a115: a111 - a811 + a1011 >= 0
 a116: a111 + a1011 - a1511 >= 0
 a117: - a811 + a1011 - a1111 >= -1
 a118: - a411 + a611 + a1711 >= 0
 a119: a311 - 2 a811 >= -1
 a120: a412 + a512 + a1912 >= 1
 a121: a1112 + a1512 - a1812 >= 0
 a122: - a512 + a812 + a1612 >= 0
 a123: a012 - a512 + a1112 >= 0
 a124: - a912 + a1612 + a1812 >= 0
 a125: a112 - a812 + a1012 >= 0
 a126: a112 + a1012 - a1512 >= 0
 a127: - a812 + a1012 - a1112 >= -1
 a128: - a412 + a612 + a1712 >= 0
 a129: a312 - 2 a812 >= -1
 a130: a413 + a513 + a1913 >= 1
 a131: a1113 + a1513 - a1813 >= 0
 a132: - a513 + a813 + a1613 >= 0
 a133: a013 - a513 + a1113 >= 0
 a134: - a913 + a1613 + a1813 >= 0
 a135: a113 - a813 + a1013 >= 0
 a136: a113 + a1013 - a1513 >= 0
 a137: - a813 + a1013 - a1113 >= -1
 a138: - a413 + a613 + a1713 >= 0
 a139: a313 - 2 a813 >= -1
 a140: a414 + a514 + a1914 >= 1
 a141: a1114 + a1514 - a1814 >= 0
 a142: - a514 + a814 + a1614 >= 0
 a143: a014 - a514 + a1114 >= 0
 a144: - a914 + a1614 + a1814 >= 0
 a145: a114 - a814 + a1014 >= 0
 a146: a114 + a1014 - a1514 >= 0
 a147: - a814 + a1014 - a1114 >= -1
 a148: - a414 + a614 + a1714 >= 0
 a149: a314 - 2 a814 >= -1
 a150: a415 + a515 + a1915 >= 1
 a151: a1115 + a1515 - a1815 >= 0
 a152: - a515 + a815 + a1615 >= 0
 a153: a015 - a515 + a1115 >= 0
 a154: - a915 + a1615 + a1815 >= 0
 a155: a115 - a815 + a1015 >= 0
 a156: a115 + a1015 - a1515 >= 0
 a157: - a815 + a1015 - a1115 >= -1
 a158: - a415 + a615 + a1715 >= 0
 a159: a315 - 2 a815 >= -1
 a160: a416 + a516 + a1916 >= 1
 a161: a1116 + a1516 - a1816 >= 0
 a162: - a516 + a816 + a1616 >= 0
 a163: a016 - a516 + a1116 >= 0
 a164: - a916 + a1616 + a1816 >= 0
 a165: a116 - a816 + a1016 >= 0
 a166: a116 + a1016 - a1516 >= 0
 a167: - a816 + a1016 - a1116 >= -1
 a168: - a416 + a616 + a1716 >= 0
 a169: a316 - 2 a816 >= -1
 a170: a417 + a517 + a1917 >= 1
 a171: a1117 + a1517 - a1817 >= 0
 a172: - a517 + a817 + a1617 >= 0
 a173: a017 - a517 + a1117 >= 0
 a174: - a917 + a1617 + a1817 >= 0
 a175: a117 - a817 + a1017 >= 0
 a176: a117 + a1017 - a1517 >= 0
 a177: - a817 + a1017 - a1117 >= -1
 a178: - a417 + a617 + a1717 >= 0
 a179: a317 - 2 a817 >= -1
 a180: a418 + a518 + a1918 >= 1
 a181: a1118 + a1518 - a1818 >= 0
 a182: - a518 + a818 + a1618 >= 0
 a183: a018 - a518 + a1118 >= 0
 a184: - a918 + a1618 + a1818 >= 0
 a185: a118 - a818 + a1018 >= 0
 a186: a118 + a1018 - a1518 >= 0
 a187: - a818 + a1018 - a1118 >= -1
 a188: - a418 + a618 + a1718 >= 0
 a189: a318 - 2 a818 >= -1
 a190: a419 + a519 + a1919 >= 1
 a191: a1119 + a1519 - a1819 >= 0
 a192: - a519 + a819 + a1619 >= 0
 a193: a019 - a519 + a1119 >= 0
 a194: - a919 + a1619 + a1819 >= 0
 a195: a119 - a819 + a1019 >= 0
 a196: a119 + a1019 - a1519 >= 0
 a197: - a819 + a1019 - a1119 >= -1
 a198: - a419 + a619 + a1719 >= 0
 a199: a319 - 2 a819 >= -1
 a200: a420 + a520 + a1920 >= 1
 a201: a1120 + a1520 - a1820 >= 0
 a202: - a520 + a820 + a1620 >= 0
 a203: a020 - a520 + a1120 >= 0
 a204: - a920 + a1620 + a1820 >= 0
 a205: a120 - a820 + a1020 >= 0
 a206: a120 + a1020 - a1520 >= 0
 a207: - a820 + a1020 - a1120 >= -1
 a208: - a420 + a620 + a1720 >= 0
 a209: a320 - 2 a820 >= -1
 b-100: b000 >= 0
 b-200: - a00 + b000 <= 0
 b-300: - a00 + b000 - p0 >= -1
 b-400: b000 - p0 <= 0
 b-110: b001 >= 0
 b-210: - a01 + b001 <= 0
 b-310: - a01 + b001 - p1 >= -1
 b-410: b001 - p1 <= 0
 b-120: b002 >= 0
 b-220: - a02 + b002 <= 0
 b-320: - a02 + b002 - p2 >= -1
 b-420: b002 - p2 <= 0
 b-130: b003 >= 0
 b-230: - a03 + b003 <= 0
 b-330: - a03 + b003 - p3 >= -1
 b-430: b003 - p3 <= 0
 b-140: b004 >= 0
 b-240: - a04 + b004 <= 0
 b-340: - a04 + b004 - p4 >= -1
 b-440: b004 - p4 <= 0
 b-150: b005 >= 0
 b-250: - a05 + b005 <= 0
 b-350: - a05 + b005 - p5 >= -1
 b-450: b005 - p5 <= 0
 b-160: b006 >= 0
 b-260: - a06 + b006 <= 0
 b-360: - a06 + b006 - p6 >= -1
 b-460: b006 - p6 <= 0
 b-170: b007 >= 0
 b-270: - a07 + b007 <= 0
 b-370: - a07 + b007 - p7 >= -1
 b-470: b007 - p7 <= 0
 b-180: b008 >= 0
 b-280: - a08 + b008 <= 0
 b-380: - a08 + b008 - p8 >= -1
 b-480: b008 - p8 <= 0
 b-190: b009 >= 0
 b-290: - a09 + b009 <= 0
 b-390: - a09 + b009 - p9 >= -1
 b-490: b009 - p9 <= 0
 b-1100: b0010 >= 0
 b-2100: - a010 + b0010 <= 0
 b-3100: - a010 + b0010 - p10 >= -1
 b-4100: b0010 - p10 <= 0
 b-1110: b0011 >= 0
 b-2110: - a011 + b0011 <= 0
 b-3110: - a011 + b0011 - p11 >= -1
 b-4110: b0011 - p11 <= 0
 b-1120: b0012 >= 0
 b-2120: - a012 + b0012 <= 0
 b-3120: - a012 + b0012 - p12 >= -1
 b-4120: b0012 - p12 <= 0
 b-1130: b0013 >= 0
 b-2130: - a013 + b0013 <= 0
 b-3130: - a013 + b0013 - p13 >= -1
 b-4130: b0013 - p13 <= 0
 b-1140: b0014 >= 0
 b-2140: - a014 + b0014 <= 0
 b-3140: - a014 + b0014 - p14 >= -1
 b-4140: b0014 - p14 <= 0
 b-1150: b0015 >= 0
 b-2150: - a015 + b0015 <= 0
 b-3150: - a015 + b0015 - p15 >= -1
 b-4150: b0015 - p15 <= 0
 b-1160: b0016 >= 0
 b-2160: - a016 + b0016 <= 0
 b-3160: - a016 + b0016 - p16 >= -1
 b-4160: b0016 - p16 <= 0
 b-1170: b0017 >= 0
 b-2170: - a017 + b0017 <= 0
 b-3170: - a017 + b0017 - p17 >= -1
 b-4170: b0017 - p17 <= 0
 b-1180: b0018 >= 0
 b-2180: - a018 + b0018 <= 0
 b-3180: - a018 + b0018 - p18 >= -1
 b-4180: b0018 - p18 <= 0
 b-1190: b0019 >= 0
 b-2190: - a019 + b0019 <= 0
 b-3190: - a019 + b0019 - p19 >= -1
 b-4190: b0019 - p19 <= 0
 b-1200: b0020 >= 0
 b-2200: - a020 + b0020 <= 0
 b-3200: - a020 + b0020 - p20 >= -1
 b-4200: b0020 - p20 <= 0
 kappa0: b000 + b001 + b002 + b003 + b004 + b005 + b006 + b007 + b008
   + b009 + b0010 + b0011 + b0012 + b0013 + b0014 + b0015 + b0016 + b0017
   + b0018 + b0019 + b0020 - kappa0 = 0
 b-101: b110 >= 0
 b-201: - a10 + b110 <= 0
 b-301: - a10 + b110 - p0 >= -1
 b-401: b110 - p0 <= 0
 b-111: b111 >= 0
 b-211: - a11 + b111 <= 0
 b-311: - a11 + b111 - p1 >= -1
 b-411: b111 - p1 <= 0
 b-121: b112 >= 0
 b-221: - a12 + b112 <= 0
 b-321: - a12 + b112 - p2 >= -1
 b-421: b112 - p2 <= 0
 b-131: b113 >= 0
 b-231: - a13 + b113 <= 0
 b-331: - a13 + b113 - p3 >= -1
 b-431: b113 - p3 <= 0
 b-141: b114 >= 0
 b-241: - a14 + b114 <= 0
 b-341: - a14 + b114 - p4 >= -1
 b-441: b114 - p4 <= 0
 b-151: b115 >= 0
 b-251: - a15 + b115 <= 0
 b-351: - a15 + b115 - p5 >= -1
 b-451: b115 - p5 <= 0
 b-161: b116 >= 0
 b-261: - a16 + b116 <= 0
 b-361: - a16 + b116 - p6 >= -1
 b-461: b116 - p6 <= 0
 b-171: b117 >= 0
 b-271: - a17 + b117 <= 0
 b-371: - a17 + b117 - p7 >= -1
 b-471: b117 - p7 <= 0
 b-181: b118 >= 0
 b-281: - a18 + b118 <= 0
 b-381: - a18 + b118 - p8 >= -1
 b-481: b118 - p8 <= 0
 b-191: b119 >= 0
 b-291: - a19 + b119 <= 0
 b-391: - a19 + b119 - p9 >= -1
 b-491: b119 - p9 <= 0
 b-1101: b1110 >= 0
 b-2101: - a110 + b1110 <= 0
 b-3101: - a110 + b1110 - p10 >= -1
 b-4101: b1110 - p10 <= 0
 b-1111: b1111 >= 0
 b-2111: - a111 + b1111 <= 0
 b-3111: - a111 + b1111 - p11 >= -1
 b-4111: b1111 - p11 <= 0
 b-1121: b1112 >= 0
 b-2121: - a112 + b1112 <= 0
 b-3121: - a112 + b1112 - p12 >= -1
 b-4121: b1112 - p12 <= 0
 b-1131: b1113 >= 0
 b-2131: - a113 + b1113 <= 0
 b-3131: - a113 + b1113 - p13 >= -1
 b-4131: b1113 - p13 <= 0
 b-1141: b1114 >= 0
 b-2141: - a114 + b1114 <= 0
 b-3141: - a114 + b1114 - p14 >= -1
 b-4141: b1114 - p14 <= 0
 b-1151: b1115 >= 0
 b-2151: - a115 + b1115 <= 0
 b-3151: - a115 + b1115 - p15 >= -1
 b-4151: b1115 - p15 <= 0
 b-1161: b1116 >= 0
 b-2161: - a116 + b1116 <= 0
 b-3161: - a116 + b1116 - p16 >= -1
 b-4161: b1116 - p16 <= 0
 b-1171: b1117 >= 0
 b-2171: - a117 + b1117 <= 0
 b-3171: - a117 + b1117 - p17 >= -1
 b-4171: b1117 - p17 <= 0
 b-1181: b1118 >= 0
 b-2181: - a118 + b1118 <= 0
 b-3181: - a118 + b1118 - p18 >= -1
 b-4181: b1118 - p18 <= 0
 b-1191: b1119 >= 0
 b-2191: - a119 + b1119 <= 0
 b-3191: - a119 + b1119 - p19 >= -1
 b-4191: b1119 - p19 <= 0
 b-1201: b1120 >= 0
 b-2201: - a120 + b1120 <= 0
 b-3201: - a120 + b1120 - p20 >= -1
 b-4201: b1120 - p20 <= 0
 kappa1: b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118
   + b119 + b1110 + b1111 + b1112 + b1113 + b1114 + b1115 + b1116 + b1117
   + b1118 + b1119 + b1120 - kappa1 = 0
 b-102: b220 >= 0
 b-202: - a20 + b220 <= 0
 b-302: - a20 + b220 - p0 >= -1
 b-402: b220 - p0 <= 0
 b-112: b221 >= 0
 b-212: - a21 + b221 <= 0
 b-312: - a21 + b221 - p1 >= -1
 b-412: b221 - p1 <= 0
 b-122: b222 >= 0
 b-222: - a22 + b222 <= 0
 b-322: - a22 + b222 - p2 >= -1
 b-422: b222 - p2 <= 0
 b-132: b223 >= 0
 b-232: - a23 + b223 <= 0
 b-332: - a23 + b223 - p3 >= -1
 b-432: b223 - p3 <= 0
 b-142: b224 >= 0
 b-242: - a24 + b224 <= 0
 b-342: - a24 + b224 - p4 >= -1
 b-442: b224 - p4 <= 0
 b-152: b225 >= 0
 b-252: - a25 + b225 <= 0
 b-352: - a25 + b225 - p5 >= -1
 b-452: b225 - p5 <= 0
 b-162: b226 >= 0
 b-262: - a26 + b226 <= 0
 b-362: - a26 + b226 - p6 >= -1
 b-462: b226 - p6 <= 0
 b-172: b227 >= 0
 b-272: - a27 + b227 <= 0
 b-372: - a27 + b227 - p7 >= -1
 b-472: b227 - p7 <= 0
 b-182: b228 >= 0
 b-282: - a28 + b228 <= 0
 b-382: - a28 + b228 - p8 >= -1
 b-482: b228 - p8 <= 0
 b-192: b229 >= 0
 b-292: - a29 + b229 <= 0
 b-392: - a29 + b229 - p9 >= -1
 b-492: b229 - p9 <= 0
 b-1102: b2210 >= 0
 b-2102: - a210 + b2210 <= 0
 b-3102: - a210 + b2210 - p10 >= -1
 b-4102: b2210 - p10 <= 0
 b-1112: b2211 >= 0
 b-2112: - a211 + b2211 <= 0
 b-3112: - a211 + b2211 - p11 >= -1
 b-4112: b2211 - p11 <= 0
 b-1122: b2212 >= 0
 b-2122: - a212 + b2212 <= 0
 b-3122: - a212 + b2212 - p12 >= -1
 b-4122: b2212 - p12 <= 0
 b-1132: b2213 >= 0
 b-2132: - a213 + b2213 <= 0
 b-3132: - a213 + b2213 - p13 >= -1
 b-4132: b2213 - p13 <= 0
 b-1142: b2214 >= 0
 b-2142: - a214 + b2214 <= 0
 b-3142: - a214 + b2214 - p14 >= -1
 b-4142: b2214 - p14 <= 0
 b-1152: b2215 >= 0
 b-2152: - a215 + b2215 <= 0
 b-3152: - a215 + b2215 - p15 >= -1
 b-4152: b2215 - p15 <= 0
 b-1162: b2216 >= 0
 b-2162: - a216 + b2216 <= 0
 b-3162: - a216 + b2216 - p16 >= -1
 b-4162: b2216 - p16 <= 0
 b-1172: b2217 >= 0
 b-2172: - a217 + b2217 <= 0
 b-3172: - a217 + b2217 - p17 >= -1
 b-4172: b2217 - p17 <= 0
 b-1182: b2218 >= 0
 b-2182: - a218 + b2218 <= 0
 b-3182: - a218 + b2218 - p18 >= -1
 b-4182: b2218 - p18 <= 0
 b-1192: b2219 >= 0
 b-2192: - a219 + b2219 <= 0
 b-3192: - a219 + b2219 - p19 >= -1
 b-4192: b2219 - p19 <= 0
 b-1202: b2220 >= 0
 b-2202: - a220 + b2220 <= 0
 b-3202: - a220 + b2220 - p20 >= -1
 b-4202: b2220 - p20 <= 0
 kappa2: b220 + b221 + b222 + b223 + b224 + b225 + b226 + b227 + b228
   + b229 + b2210 + b2211 + b2212 + b2213 + b2214 + b2215 + b2216 + b2217
   + b2218 + b2219 + b2220 - kappa2 = 0
 b-103: b330 >= 0
 b-203: - a30 + b330 <= 0
 b-303: - a30 + b330 - p0 >= -1
 b-403: b330 - p0 <= 0
 b-113: b331 >= 0
 b-213: - a31 + b331 <= 0
 b-313: - a31 + b331 - p1 >= -1
 b-413: b331 - p1 <= 0
 b-123: b332 >= 0
 b-223: - a32 + b332 <= 0
 b-323: - a32 + b332 - p2 >= -1
 b-423: b332 - p2 <= 0
 b-133: b333 >= 0
 b-233: - a33 + b333 <= 0
 b-333: - a33 + b333 - p3 >= -1
 b-433: b333 - p3 <= 0
 b-143: b334 >= 0
 b-243: - a34 + b334 <= 0
 b-343: - a34 + b334 - p4 >= -1
 b-443: b334 - p4 <= 0
 b-153: b335 >= 0
 b-253: - a35 + b335 <= 0
 b-353: - a35 + b335 - p5 >= -1
 b-453: b335 - p5 <= 0
 b-163: b336 >= 0
 b-263: - a36 + b336 <= 0
 b-363: - a36 + b336 - p6 >= -1
 b-463: b336 - p6 <= 0
 b-173: b337 >= 0
 b-273: - a37 + b337 <= 0
 b-373: - a37 + b337 - p7 >= -1
 b-473: b337 - p7 <= 0
 b-183: b338 >= 0
 b-283: - a38 + b338 <= 0
 b-383: - a38 + b338 - p8 >= -1
 b-483: b338 - p8 <= 0
 b-193: b339 >= 0
 b-293: - a39 + b339 <= 0
 b-393: - a39 + b339 - p9 >= -1
 b-493: b339 - p9 <= 0
 b-1103: b3310 >= 0
 b-2103: - a310 + b3310 <= 0
 b-3103: - a310 + b3310 - p10 >= -1
 b-4103: b3310 - p10 <= 0
 b-1113: b3311 >= 0
 b-2113: - a311 + b3311 <= 0
 b-3113: - a311 + b3311 - p11 >= -1
 b-4113: b3311 - p11 <= 0
 b-1123: b3312 >= 0
 b-2123: - a312 + b3312 <= 0
 b-3123: - a312 + b3312 - p12 >= -1
 b-4123: b3312 - p12 <= 0
 b-1133: b3313 >= 0
 b-2133: - a313 + b3313 <= 0
 b-3133: - a313 + b3313 - p13 >= -1
 b-4133: b3313 - p13 <= 0
 b-1143: b3314 >= 0
 b-2143: - a314 + b3314 <= 0
 b-3143: - a314 + b3314 - p14 >= -1
 b-4143: b3314 - p14 <= 0
 b-1153: b3315 >= 0
 b-2153: - a315 + b3315 <= 0
 b-3153: - a315 + b3315 - p15 >= -1
 b-4153: b3315 - p15 <= 0
 b-1163: b3316 >= 0
 b-2163: - a316 + b3316 <= 0
 b-3163: - a316 + b3316 - p16 >= -1
 b-4163: b3316 - p16 <= 0
 b-1173: b3317 >= 0
 b-2173: - a317 + b3317 <= 0
 b-3173: - a317 + b3317 - p17 >= -1
 b-4173: b3317 - p17 <= 0
 b-1183: b3318 >= 0
 b-2183: - a318 + b3318 <= 0
 b-3183: - a318 + b3318 - p18 >= -1
 b-4183: b3318 - p18 <= 0
 b-1193: b3319 >= 0
 b-2193: - a319 + b3319 <= 0
 b-3193: - a319 + b3319 - p19 >= -1
 b-4193: b3319 - p19 <= 0
 b-1203: b3320 >= 0
 b-2203: - a320 + b3320 <= 0
 b-3203: - a320 + b3320 - p20 >= -1
 b-4203: b3320 - p20 <= 0
 kappa3: b330 + b331 + b332 + b333 + b334 + b335 + b336 + b337 + b338
   + b339 + b3310 + b3311 + b3312 + b3313 + b3314 + b3315 + b3316 + b3317
   + b3318 + b3319 + b3320 - kappa3 = 0
 b-104: b440 >= 0
 b-204: - a40 + b440 <= 0
 b-304: - a40 + b440 - p0 >= -1
 b-404: b440 - p0 <= 0
 b-114: b441 >= 0
 b-214: - a41 + b441 <= 0
 b-314: - a41 + b441 - p1 >= -1
 b-414: b441 - p1 <= 0
 b-124: b442 >= 0
 b-224: - a42 + b442 <= 0
 b-324: - a42 + b442 - p2 >= -1
 b-424: b442 - p2 <= 0
 b-134: b443 >= 0
 b-234: - a43 + b443 <= 0
 b-334: - a43 + b443 - p3 >= -1
 b-434: b443 - p3 <= 0
 b-144: b444 >= 0
 b-244: - a44 + b444 <= 0
 b-344: - a44 + b444 - p4 >= -1
 b-444: b444 - p4 <= 0
 b-154: b445 >= 0
 b-254: - a45 + b445 <= 0
 b-354: - a45 + b445 - p5 >= -1
 b-454: b445 - p5 <= 0
 b-164: b446 >= 0
 b-264: - a46 + b446 <= 0
 b-364: - a46 + b446 - p6 >= -1
 b-464: b446 - p6 <= 0
 b-174: b447 >= 0
 b-274: - a47 + b447 <= 0
 b-374: - a47 + b447 - p7 >= -1
 b-474: b447 - p7 <= 0
 b-184: b448 >= 0
 b-284: - a48 + b448 <= 0
 b-384: - a48 + b448 - p8 >= -1
 b-484: b448 - p8 <= 0
 b-194: b449 >= 0
 b-294: - a49 + b449 <= 0
 b-394: - a49 + b449 - p9 >= -1
 b-494: b449 - p9 <= 0
 b-1104: b4410 >= 0
 b-2104: - a410 + b4410 <= 0
 b-3104: - a410 + b4410 - p10 >= -1
 b-4104: b4410 - p10 <= 0
 b-1114: b4411 >= 0
 b-2114: - a411 + b4411 <= 0
 b-3114: - a411 + b4411 - p11 >= -1
 b-4114: b4411 - p11 <= 0
 b-1124: b4412 >= 0
 b-2124: - a412 + b4412 <= 0
 b-3124: - a412 + b4412 - p12 >= -1
 b-4124: b4412 - p12 <= 0
 b-1134: b4413 >= 0
 b-2134: - a413 + b4413 <= 0
 b-3134: - a413 + b4413 - p13 >= -1
 b-4134: b4413 - p13 <= 0
 b-1144: b4414 >= 0
 b-2144: - a414 + b4414 <= 0
 b-3144: - a414 + b4414 - p14 >= -1
 b-4144: b4414 - p14 <= 0
 b-1154: b4415 >= 0
 b-2154: - a415 + b4415 <= 0
 b-3154: - a415 + b4415 - p15 >= -1
 b-4154: b4415 - p15 <= 0
 b-1164: b4416 >= 0
 b-2164: - a416 + b4416 <= 0
 b-3164: - a416 + b4416 - p16 >= -1
 b-4164: b4416 - p16 <= 0
 b-1174: b4417 >= 0
 b-2174: - a417 + b4417 <= 0
 b-3174: - a417 + b4417 - p17 >= -1
 b-4174: b4417 - p17 <= 0
 b-1184: b4418 >= 0
 b-2184: - a418 + b4418 <= 0
 b-3184: - a418 + b4418 - p18 >= -1
 b-4184: b4418 - p18 <= 0
 b-1194: b4419 >= 0
 b-2194: - a419 + b4419 <= 0
 b-3194: - a419 + b4419 - p19 >= -1
 b-4194: b4419 - p19 <= 0
 b-1204: b4420 >= 0
 b-2204: - a420 + b4420 <= 0
 b-3204: - a420 + b4420 - p20 >= -1
 b-4204: b4420 - p20 <= 0
 kappa4: b440 + b441 + b442 + b443 + b444 + b445 + b446 + b447 + b448
   + b449 + b4410 + b4411 + b4412 + b4413 + b4414 + b4415 + b4416 + b4417
   + b4418 + b4419 + b4420 - kappa4 = 0
 b-105: b550 >= 0
 b-205: - a50 + b550 <= 0
 b-305: - a50 + b550 - p0 >= -1
 b-405: b550 - p0 <= 0
 b-115: b551 >= 0
 b-215: - a51 + b551 <= 0
 b-315: - a51 + b551 - p1 >= -1
 b-415: b551 - p1 <= 0
 b-125: b552 >= 0
 b-225: - a52 + b552 <= 0
 b-325: - a52 + b552 - p2 >= -1
 b-425: b552 - p2 <= 0
 b-135: b553 >= 0
 b-235: - a53 + b553 <= 0
 b-335: - a53 + b553 - p3 >= -1
 b-435: b553 - p3 <= 0
 b-145: b554 >= 0
 b-245: - a54 + b554 <= 0
 b-345: - a54 + b554 - p4 >= -1
 b-445: b554 - p4 <= 0
 b-155: b555 >= 0
 b-255: - a55 + b555 <= 0
 b-355: - a55 + b555 - p5 >= -1
 b-455: b555 - p5 <= 0
 b-165: b556 >= 0
 b-265: - a56 + b556 <= 0
 b-365: - a56 + b556 - p6 >= -1
 b-465: b556 - p6 <= 0
 b-175: b557 >= 0
 b-275: - a57 + b557 <= 0
 b-375: - a57 + b557 - p7 >= -1
 b-475: b557 - p7 <= 0
 b-185: b558 >= 0
 b-285: - a58 + b558 <= 0
 b-385: - a58 + b558 - p8 >= -1
 b-485: b558 - p8 <= 0
 b-195: b559 >= 0
 b-295: - a59 + b559 <= 0
 b-395: - a59 + b559 - p9 >= -1
 b-495: b559 - p9 <= 0
 b-1105: b5510 >= 0
 b-2105: - a510 + b5510 <= 0
 b-3105: - a510 + b5510 - p10 >= -1
 b-4105: b5510 - p10 <= 0
 b-1115: b5511 >= 0
 b-2115: - a511 + b5511 <= 0
 b-3115: - a511 + b5511 - p11 >= -1
 b-4115: b5511 - p11 <= 0
 b-1125: b5512 >= 0
 b-2125: - a512 + b5512 <= 0
 b-3125: - a512 + b5512 - p12 >= -1
 b-4125: b5512 - p12 <= 0
 b-1135: b5513 >= 0
 b-2135: - a513 + b5513 <= 0
 b-3135: - a513 + b5513 - p13 >= -1
 b-4135: b5513 - p13 <= 0
 b-1145: b5514 >= 0
 b-2145: - a514 + b5514 <= 0
 b-3145: - a514 + b5514 - p14 >= -1
 b-4145: b5514 - p14 <= 0
 b-1155: b5515 >= 0
 b-2155: - a515 + b5515 <= 0
 b-3155: - a515 + b5515 - p15 >= -1
 b-4155: b5515 - p15 <= 0
 b-1165: b5516 >= 0
 b-2165: - a516 + b5516 <= 0
 b-3165: - a516 + b5516 - p16 >= -1
 b-4165: b5516 - p16 <= 0
 b-1175: b5517 >= 0
 b-2175: - a517 + b5517 <= 0
 b-3175: - a517 + b5517 - p17 >= -1
 b-4175: b5517 - p17 <= 0
 b-1185: b5518 >= 0
 b-2185: - a518 + b5518 <= 0
 b-3185: - a518 + b5518 - p18 >= -1
 b-4185: b5518 - p18 <= 0
 b-1195: b5519 >= 0
 b-2195: - a519 + b5519 <= 0
 b-3195: - a519 + b5519 - p19 >= -1
 b-4195: b5519 - p19 <= 0
 b-1205: b5520 >= 0
 b-2205: - a520 + b5520 <= 0
 b-3205: - a520 + b5520 - p20 >= -1
 b-4205: b5520 - p20 <= 0
 kappa5: b550 + b551 + b552 + b553 + b554 + b555 + b556 + b557 + b558
   + b559 + b5510 + b5511 + b5512 + b5513 + b5514 + b5515 + b5516 + b5517
   + b5518 + b5519 + b5520 - kappa5 = 0
 b-106: b660 >= 0
 b-206: - a60 + b660 <= 0
 b-306: - a60 + b660 - p0 >= -1
 b-406: b660 - p0 <= 0
 b-116: b661 >= 0
 b-216: - a61 + b661 <= 0
 b-316: - a61 + b661 - p1 >= -1
 b-416: b661 - p1 <= 0
 b-126: b662 >= 0
 b-226: - a62 + b662 <= 0
 b-326: - a62 + b662 - p2 >= -1
 b-426: b662 - p2 <= 0
 b-136: b663 >= 0
 b-236: - a63 + b663 <= 0
 b-336: - a63 + b663 - p3 >= -1
 b-436: b663 - p3 <= 0
 b-146: b664 >= 0
 b-246: - a64 + b664 <= 0
 b-346: - a64 + b664 - p4 >= -1
 b-446: b664 - p4 <= 0
 b-156: b665 >= 0
 b-256: - a65 + b665 <= 0
 b-356: - a65 + b665 - p5 >= -1
 b-456: b665 - p5 <= 0
 b-166: b666 >= 0
 b-266: - a66 + b666 <= 0
 b-366: - a66 + b666 - p6 >= -1
 b-466: b666 - p6 <= 0
 b-176: b667 >= 0
 b-276: - a67 + b667 <= 0
 b-376: - a67 + b667 - p7 >= -1
 b-476: b667 - p7 <= 0
 b-186: b668 >= 0
 b-286: - a68 + b668 <= 0
 b-386: - a68 + b668 - p8 >= -1
 b-486: b668 - p8 <= 0
 b-196: b669 >= 0
 b-296: - a69 + b669 <= 0
 b-396: - a69 + b669 - p9 >= -1
 b-496: b669 - p9 <= 0
 b-1106: b6610 >= 0
 b-2106: - a610 + b6610 <= 0
 b-3106: - a610 + b6610 - p10 >= -1
 b-4106: b6610 - p10 <= 0
 b-1116: b6611 >= 0
 b-2116: - a611 + b6611 <= 0
 b-3116: - a611 + b6611 - p11 >= -1
 b-4116: b6611 - p11 <= 0
 b-1126: b6612 >= 0
 b-2126: - a612 + b6612 <= 0
 b-3126: - a612 + b6612 - p12 >= -1
 b-4126: b6612 - p12 <= 0
 b-1136: b6613 >= 0
 b-2136: - a613 + b6613 <= 0
 b-3136: - a613 + b6613 - p13 >= -1
 b-4136: b6613 - p13 <= 0
 b-1146: b6614 >= 0
 b-2146: - a614 + b6614 <= 0
 b-3146: - a614 + b6614 - p14 >= -1
 b-4146: b6614 - p14 <= 0
 b-1156: b6615 >= 0
 b-2156: - a615 + b6615 <= 0
 b-3156: - a615 + b6615 - p15 >= -1
 b-4156: b6615 - p15 <= 0
 b-1166: b6616 >= 0
 b-2166: - a616 + b6616 <= 0
 b-3166: - a616 + b6616 - p16 >= -1
 b-4166: b6616 - p16 <= 0
 b-1176: b6617 >= 0
 b-2176: - a617 + b6617 <= 0
 b-3176: - a617 + b6617 - p17 >= -1
 b-4176: b6617 - p17 <= 0
 b-1186: b6618 >= 0
 b-2186: - a618 + b6618 <= 0
 b-3186: - a618 + b6618 - p18 >= -1
 b-4186: b6618 - p18 <= 0
 b-1196: b6619 >= 0
 b-2196: - a619 + b6619 <= 0
 b-3196: - a619 + b6619 - p19 >= -1
 b-4196: b6619 - p19 <= 0
 b-1206: b6620 >= 0
 b-2206: - a620 + b6620 <= 0
 b-3206: - a620 + b6620 - p20 >= -1
 b-4206: b6620 - p20 <= 0
 kappa6: b660 + b661 + b662 + b663 + b664 + b665 + b666 + b667 + b668
   + b669 + b6610 + b6611 + b6612 + b6613 + b6614 + b6615 + b6616 + b6617
   + b6618 + b6619 + b6620 - kappa6 = 0
 b-107: b770 >= 0
 b-207: - a70 + b770 <= 0
 b-307: - a70 + b770 - p0 >= -1
 b-407: b770 - p0 <= 0
 b-117: b771 >= 0
 b-217: - a71 + b771 <= 0
 b-317: - a71 + b771 - p1 >= -1
 b-417: b771 - p1 <= 0
 b-127: b772 >= 0
 b-227: - a72 + b772 <= 0
 b-327: - a72 + b772 - p2 >= -1
 b-427: b772 - p2 <= 0
 b-137: b773 >= 0
 b-237: - a73 + b773 <= 0
 b-337: - a73 + b773 - p3 >= -1
 b-437: b773 - p3 <= 0
 b-147: b774 >= 0
 b-247: - a74 + b774 <= 0
 b-347: - a74 + b774 - p4 >= -1
 b-447: b774 - p4 <= 0
 b-157: b775 >= 0
 b-257: - a75 + b775 <= 0
 b-357: - a75 + b775 - p5 >= -1
 b-457: b775 - p5 <= 0
 b-167: b776 >= 0
 b-267: - a76 + b776 <= 0
 b-367: - a76 + b776 - p6 >= -1
 b-467: b776 - p6 <= 0
 b-177: b777 >= 0
 b-277: - a77 + b777 <= 0
 b-377: - a77 + b777 - p7 >= -1
 b-477: b777 - p7 <= 0
 b-187: b778 >= 0
 b-287: - a78 + b778 <= 0
 b-387: - a78 + b778 - p8 >= -1
 b-487: b778 - p8 <= 0
 b-197: b779 >= 0
 b-297: - a79 + b779 <= 0
 b-397: - a79 + b779 - p9 >= -1
 b-497: b779 - p9 <= 0
 b-1107: b7710 >= 0
 b-2107: - a710 + b7710 <= 0
 b-3107: - a710 + b7710 - p10 >= -1
 b-4107: b7710 - p10 <= 0
 b-1117: b7711 >= 0
 b-2117: - a711 + b7711 <= 0
 b-3117: - a711 + b7711 - p11 >= -1
 b-4117: b7711 - p11 <= 0
 b-1127: b7712 >= 0
 b-2127: - a712 + b7712 <= 0
 b-3127: - a712 + b7712 - p12 >= -1
 b-4127: b7712 - p12 <= 0
 b-1137: b7713 >= 0
 b-2137: - a713 + b7713 <= 0
 b-3137: - a713 + b7713 - p13 >= -1
 b-4137: b7713 - p13 <= 0
 b-1147: b7714 >= 0
 b-2147: - a714 + b7714 <= 0
 b-3147: - a714 + b7714 - p14 >= -1
 b-4147: b7714 - p14 <= 0
 b-1157: b7715 >= 0
 b-2157: - a715 + b7715 <= 0
 b-3157: - a715 + b7715 - p15 >= -1
 b-4157: b7715 - p15 <= 0
 b-1167: b7716 >= 0
 b-2167: - a716 + b7716 <= 0
 b-3167: - a716 + b7716 - p16 >= -1
 b-4167: b7716 - p16 <= 0
 b-1177: b7717 >= 0
 b-2177: - a717 + b7717 <= 0
 b-3177: - a717 + b7717 - p17 >= -1
 b-4177: b7717 - p17 <= 0
 b-1187: b7718 >= 0
 b-2187: - a718 + b7718 <= 0
 b-3187: - a718 + b7718 - p18 >= -1
 b-4187: b7718 - p18 <= 0
 b-1197: b7719 >= 0
 b-2197: - a719 + b7719 <= 0
 b-3197: - a719 + b7719 - p19 >= -1
 b-4197: b7719 - p19 <= 0
 b-1207: b7720 >= 0
 b-2207: - a720 + b7720 <= 0
 b-3207: - a720 + b7720 - p20 >= -1
 b-4207: b7720 - p20 <= 0
 kappa7: b770 + b771 + b772 + b773 + b774 + b775 + b776 + b777 + b778
   + b779 + b7710 + b7711 + b7712 + b7713 + b7714 + b7715 + b7716 + b7717
   + b7718 + b7719 + b7720 - kappa7 = 0
 b-108: b880 >= 0
 b-208: - a80 + b880 <= 0
 b-308: - a80 + b880 - p0 >= -1
 b-408: b880 - p0 <= 0
 b-118: b881 >= 0
 b-218: - a81 + b881 <= 0
 b-318: - a81 + b881 - p1 >= -1
 b-418: b881 - p1 <= 0
 b-128: b882 >= 0
 b-228: - a82 + b882 <= 0
 b-328: - a82 + b882 - p2 >= -1
 b-428: b882 - p2 <= 0
 b-138: b883 >= 0
 b-238: - a83 + b883 <= 0
 b-338: - a83 + b883 - p3 >= -1
 b-438: b883 - p3 <= 0
 b-148: b884 >= 0
 b-248: - a84 + b884 <= 0
 b-348: - a84 + b884 - p4 >= -1
 b-448: b884 - p4 <= 0
 b-158: b885 >= 0
 b-258: - a85 + b885 <= 0
 b-358: - a85 + b885 - p5 >= -1
 b-458: b885 - p5 <= 0
 b-168: b886 >= 0
 b-268: - a86 + b886 <= 0
 b-368: - a86 + b886 - p6 >= -1
 b-468: b886 - p6 <= 0
 b-178: b887 >= 0
 b-278: - a87 + b887 <= 0
 b-378: - a87 + b887 - p7 >= -1
 b-478: b887 - p7 <= 0
 b-188: b888 >= 0
 b-288: - a88 + b888 <= 0
 b-388: - a88 + b888 - p8 >= -1
 b-488: b888 - p8 <= 0
 b-198: b889 >= 0
 b-298: - a89 + b889 <= 0
 b-398: - a89 + b889 - p9 >= -1
 b-498: b889 - p9 <= 0
 b-1108: b8810 >= 0
 b-2108: - a810 + b8810 <= 0
 b-3108: - a810 + b8810 - p10 >= -1
 b-4108: b8810 - p10 <= 0
 b-1118: b8811 >= 0
 b-2118: - a811 + b8811 <= 0
 b-3118: - a811 + b8811 - p11 >= -1
 b-4118: b8811 - p11 <= 0
 b-1128: b8812 >= 0
 b-2128: - a812 + b8812 <= 0
 b-3128: - a812 + b8812 - p12 >= -1
 b-4128: b8812 - p12 <= 0
 b-1138: b8813 >= 0
 b-2138: - a813 + b8813 <= 0
 b-3138: - a813 + b8813 - p13 >= -1
 b-4138: b8813 - p13 <= 0
 b-1148: b8814 >= 0
 b-2148: - a814 + b8814 <= 0
 b-3148: - a814 + b8814 - p14 >= -1
 b-4148: b8814 - p14 <= 0
 b-1158: b8815 >= 0
 b-2158: - a815 + b8815 <= 0
 b-3158: - a815 + b8815 - p15 >= -1
 b-4158: b8815 - p15 <= 0
 b-1168: b8816 >= 0
 b-2168: - a816 + b8816 <= 0
 b-3168: - a816 + b8816 - p16 >= -1
 b-4168: b8816 - p16 <= 0
 b-1178: b8817 >= 0
 b-2178: - a817 + b8817 <= 0
 b-3178: - a817 + b8817 - p17 >= -1
 b-4178: b8817 - p17 <= 0
 b-1188: b8818 >= 0
 b-2188: - a818 + b8818 <= 0
 b-3188: - a818 + b8818 - p18 >= -1
 b-4188: b8818 - p18 <= 0
 b-1198: b8819 >= 0
 b-2198: - a819 + b8819 <= 0
 b-3198: - a819 + b8819 - p19 >= -1
 b-4198: b8819 - p19 <= 0
 b-1208: b8820 >= 0
 b-2208: - a820 + b8820 <= 0
 b-3208: - a820 + b8820 - p20 >= -1
 b-4208: b8820 - p20 <= 0
 kappa8: b880 + b881 + b882 + b883 + b884 + b885 + b886 + b887 + b888
   + b889 + b8810 + b8811 + b8812 + b8813 + b8814 + b8815 + b8816 + b8817
   + b8818 + b8819 + b8820 - kappa8 = 0
 b-109: b990 >= 0
 b-209: - a90 + b990 <= 0
 b-309: - a90 + b990 - p0 >= -1
 b-409: b990 - p0 <= 0
 b-119: b991 >= 0
 b-219: - a91 + b991 <= 0
 b-319: - a91 + b991 - p1 >= -1
 b-419: b991 - p1 <= 0
 b-129: b992 >= 0
 b-229: - a92 + b992 <= 0
 b-329: - a92 + b992 - p2 >= -1
 b-429: b992 - p2 <= 0
 b-139: b993 >= 0
 b-239: - a93 + b993 <= 0
 b-339: - a93 + b993 - p3 >= -1
 b-439: b993 - p3 <= 0
 b-149: b994 >= 0
 b-249: - a94 + b994 <= 0
 b-349: - a94 + b994 - p4 >= -1
 b-449: b994 - p4 <= 0
 b-159: b995 >= 0
 b-259: - a95 + b995 <= 0
 b-359: - a95 + b995 - p5 >= -1
 b-459: b995 - p5 <= 0
 b-169: b996 >= 0
 b-269: - a96 + b996 <= 0
 b-369: - a96 + b996 - p6 >= -1
 b-469: b996 - p6 <= 0
 b-179: b997 >= 0
 b-279: - a97 + b997 <= 0
 b-379: - a97 + b997 - p7 >= -1
 b-479: b997 - p7 <= 0
 b-189: b998 >= 0
 b-289: - a98 + b998 <= 0
 b-389: - a98 + b998 - p8 >= -1
 b-489: b998 - p8 <= 0
 b-199: b999 >= 0
 b-299: - a99 + b999 <= 0
 b-399: - a99 + b999 - p9 >= -1
 b-499: b999 - p9 <= 0
 b-1109: b9910 >= 0
 b-2109: - a910 + b9910 <= 0
 b-3109: - a910 + b9910 - p10 >= -1
 b-4109: b9910 - p10 <= 0
 b-1119: b9911 >= 0
 b-2119: - a911 + b9911 <= 0
 b-3119: - a911 + b9911 - p11 >= -1
 b-4119: b9911 - p11 <= 0
 b-1129: b9912 >= 0
 b-2129: - a912 + b9912 <= 0
 b-3129: - a912 + b9912 - p12 >= -1
 b-4129: b9912 - p12 <= 0
 b-1139: b9913 >= 0
 b-2139: - a913 + b9913 <= 0
 b-3139: - a913 + b9913 - p13 >= -1
 b-4139: b9913 - p13 <= 0
 b-1149: b9914 >= 0
 b-2149: - a914 + b9914 <= 0
 b-3149: - a914 + b9914 - p14 >= -1
 b-4149: b9914 - p14 <= 0
 b-1159: b9915 >= 0
 b-2159: - a915 + b9915 <= 0
 b-3159: - a915 + b9915 - p15 >= -1
 b-4159: b9915 - p15 <= 0
 b-1169: b9916 >= 0
 b-2169: - a916 + b9916 <= 0
 b-3169: - a916 + b9916 - p16 >= -1
 b-4169: b9916 - p16 <= 0
 b-1179: b9917 >= 0
 b-2179: - a917 + b9917 <= 0
 b-3179: - a917 + b9917 - p17 >= -1
 b-4179: b9917 - p17 <= 0
 b-1189: b9918 >= 0
 b-2189: - a918 + b9918 <= 0
 b-3189: - a918 + b9918 - p18 >= -1
 b-4189: b9918 - p18 <= 0
 b-1199: b9919 >= 0
 b-2199: - a919 + b9919 <= 0
 b-3199: - a919 + b9919 - p19 >= -1
 b-4199: b9919 - p19 <= 0
 b-1209: b9920 >= 0
 b-2209: - a920 + b9920 <= 0
 b-3209: - a920 + b9920 - p20 >= -1
 b-4209: b9920 - p20 <= 0
 kappa9: b990 + b991 + b992 + b993 + b994 + b995 + b996 + b997 + b998
   + b999 + b9910 + b9911 + b9912 + b9913 + b9914 + b9915 + b9916 + b9917
   + b9918 + b9919 + b9920 - kappa9 = 0
 b-1010: b10100 >= 0
 b-2010: - a100 + b10100 <= 0
 b-3010: - a100 + b10100 - p0 >= -1
 b-4010: b10100 - p0 <= 0
 b-1110: b10101 >= 0
 b-2110: - a101 + b10101 <= 0
 b-3110: - a101 + b10101 - p1 >= -1
 b-4110: b10101 - p1 <= 0
 b-1210: b10102 >= 0
 b-2210: - a102 + b10102 <= 0
 b-3210: - a102 + b10102 - p2 >= -1
 b-4210: b10102 - p2 <= 0
 b-1310: b10103 >= 0
 b-2310: - a103 + b10103 <= 0
 b-3310: - a103 + b10103 - p3 >= -1
 b-4310: b10103 - p3 <= 0
 b-1410: b10104 >= 0
 b-2410: - a104 + b10104 <= 0
 b-3410: - a104 + b10104 - p4 >= -1
 b-4410: b10104 - p4 <= 0
 b-1510: b10105 >= 0
 b-2510: - a105 + b10105 <= 0
 b-3510: - a105 + b10105 - p5 >= -1
 b-4510: b10105 - p5 <= 0
 b-1610: b10106 >= 0
 b-2610: - a106 + b10106 <= 0
 b-3610: - a106 + b10106 - p6 >= -1
 b-4610: b10106 - p6 <= 0
 b-1710: b10107 >= 0
 b-2710: - a107 + b10107 <= 0
 b-3710: - a107 + b10107 - p7 >= -1
 b-4710: b10107 - p7 <= 0
 b-1810: b10108 >= 0
 b-2810: - a108 + b10108 <= 0
 b-3810: - a108 + b10108 - p8 >= -1
 b-4810: b10108 - p8 <= 0
 b-1910: b10109 >= 0
 b-2910: - a109 + b10109 <= 0
 b-3910: - a109 + b10109 - p9 >= -1
 b-4910: b10109 - p9 <= 0
 b-11010: b101010 >= 0
 b-21010: - a1010 + b101010 <= 0
 b-31010: - a1010 + b101010 - p10 >= -1
 b-41010: b101010 - p10 <= 0
 b-11110: b101011 >= 0
 b-21110: - a1011 + b101011 <= 0
 b-31110: - a1011 + b101011 - p11 >= -1
 b-41110: b101011 - p11 <= 0
 b-11210: b101012 >= 0
 b-21210: - a1012 + b101012 <= 0
 b-31210: - a1012 + b101012 - p12 >= -1
 b-41210: b101012 - p12 <= 0
 b-11310: b101013 >= 0
 b-21310: - a1013 + b101013 <= 0
 b-31310: - a1013 + b101013 - p13 >= -1
 b-41310: b101013 - p13 <= 0
 b-11410: b101014 >= 0
 b-21410: - a1014 + b101014 <= 0
 b-31410: - a1014 + b101014 - p14 >= -1
 b-41410: b101014 - p14 <= 0
 b-11510: b101015 >= 0
 b-21510: - a1015 + b101015 <= 0
 b-31510: - a1015 + b101015 - p15 >= -1
 b-41510: b101015 - p15 <= 0
 b-11610: b101016 >= 0
 b-21610: - a1016 + b101016 <= 0
 b-31610: - a1016 + b101016 - p16 >= -1
 b-41610: b101016 - p16 <= 0
 b-11710: b101017 >= 0
 b-21710: - a1017 + b101017 <= 0
 b-31710: - a1017 + b101017 - p17 >= -1
 b-41710: b101017 - p17 <= 0
 b-11810: b101018 >= 0
 b-21810: - a1018 + b101018 <= 0
 b-31810: - a1018 + b101018 - p18 >= -1
 b-41810: b101018 - p18 <= 0
 b-11910: b101019 >= 0
 b-21910: - a1019 + b101019 <= 0
 b-31910: - a1019 + b101019 - p19 >= -1
 b-41910: b101019 - p19 <= 0
 b-12010: b101020 >= 0
 b-22010: - a1020 + b101020 <= 0
 b-32010: - a1020 + b101020 - p20 >= -1
 b-42010: b101020 - p20 <= 0
 kappa10: b10100 + b10101 + b10102 + b10103 + b10104 + b10105 + b10106
   + b10107 + b10108 + b10109 + b101010 + b101011 + b101012 + b101013
   + b101014 + b101015 + b101016 + b101017 + b101018 + b101019 + b101020
   - kappa10 = 0
 b-1011: b11110 >= 0
 b-2011: - a110 + b11110 <= 0
 b-3011: - a110 + b11110 - p0 >= -1
 b-4011: b11110 - p0 <= 0
 b-1111: b11111 >= 0
 b-2111: - a111 + b11111 <= 0
 b-3111: - a111 + b11111 - p1 >= -1
 b-4111: b11111 - p1 <= 0
 b-1211: b11112 >= 0
 b-2211: - a112 + b11112 <= 0
 b-3211: - a112 + b11112 - p2 >= -1
 b-4211: b11112 - p2 <= 0
 b-1311: b11113 >= 0
 b-2311: - a113 + b11113 <= 0
 b-3311: - a113 + b11113 - p3 >= -1
 b-4311: b11113 - p3 <= 0
 b-1411: b11114 >= 0
 b-2411: - a114 + b11114 <= 0
 b-3411: - a114 + b11114 - p4 >= -1
 b-4411: b11114 - p4 <= 0
 b-1511: b11115 >= 0
 b-2511: - a115 + b11115 <= 0
 b-3511: - a115 + b11115 - p5 >= -1
 b-4511: b11115 - p5 <= 0
 b-1611: b11116 >= 0
 b-2611: - a116 + b11116 <= 0
 b-3611: - a116 + b11116 - p6 >= -1
 b-4611: b11116 - p6 <= 0
 b-1711: b11117 >= 0
 b-2711: - a117 + b11117 <= 0
 b-3711: - a117 + b11117 - p7 >= -1
 b-4711: b11117 - p7 <= 0
 b-1811: b11118 >= 0
 b-2811: - a118 + b11118 <= 0
 b-3811: - a118 + b11118 - p8 >= -1
 b-4811: b11118 - p8 <= 0
 b-1911: b11119 >= 0
 b-2911: - a119 + b11119 <= 0
 b-3911: - a119 + b11119 - p9 >= -1
 b-4911: b11119 - p9 <= 0
 b-11011: b111110 >= 0
 b-21011: - a1110 + b111110 <= 0
 b-31011: - a1110 + b111110 - p10 >= -1
 b-41011: b111110 - p10 <= 0
 b-11111: b111111 >= 0
 b-21111: - a1111 + b111111 <= 0
 b-31111: - a1111 + b111111 - p11 >= -1
 b-41111: b111111 - p11 <= 0
 b-11211: b111112 >= 0
 b-21211: - a1112 + b111112 <= 0
 b-31211: - a1112 + b111112 - p12 >= -1
 b-41211: b111112 - p12 <= 0
 b-11311: b111113 >= 0
 b-21311: - a1113 + b111113 <= 0
 b-31311: - a1113 + b111113 - p13 >= -1
 b-41311: b111113 - p13 <= 0
 b-11411: b111114 >= 0
 b-21411: - a1114 + b111114 <= 0
 b-31411: - a1114 + b111114 - p14 >= -1
 b-41411: b111114 - p14 <= 0
 b-11511: b111115 >= 0
 b-21511: - a1115 + b111115 <= 0
 b-31511: - a1115 + b111115 - p15 >= -1
 b-41511: b111115 - p15 <= 0
 b-11611: b111116 >= 0
 b-21611: - a1116 + b111116 <= 0
 b-31611: - a1116 + b111116 - p16 >= -1
 b-41611: b111116 - p16 <= 0
 b-11711: b111117 >= 0
 b-21711: - a1117 + b111117 <= 0
 b-31711: - a1117 + b111117 - p17 >= -1
 b-41711: b111117 - p17 <= 0
 b-11811: b111118 >= 0
 b-21811: - a1118 + b111118 <= 0
 b-31811: - a1118 + b111118 - p18 >= -1
 b-41811: b111118 - p18 <= 0
 b-11911: b111119 >= 0
 b-21911: - a1119 + b111119 <= 0
 b-31911: - a1119 + b111119 - p19 >= -1
 b-41911: b111119 - p19 <= 0
 b-12011: b111120 >= 0
 b-22011: - a1120 + b111120 <= 0
 b-32011: - a1120 + b111120 - p20 >= -1
 b-42011: b111120 - p20 <= 0
 kappa11: b11110 + b11111 + b11112 + b11113 + b11114 + b11115 + b11116
   + b11117 + b11118 + b11119 + b111110 + b111111 + b111112 + b111113
   + b111114 + b111115 + b111116 + b111117 + b111118 + b111119 + b111120
   - kappa11 = 0
 b-1012: b12120 >= 0
 b-2012: - a120 + b12120 <= 0
 b-3012: - a120 + b12120 - p0 >= -1
 b-4012: b12120 - p0 <= 0
 b-1112: b12121 >= 0
 b-2112: - a121 + b12121 <= 0
 b-3112: - a121 + b12121 - p1 >= -1
 b-4112: b12121 - p1 <= 0
 b-1212: b12122 >= 0
 b-2212: - a122 + b12122 <= 0
 b-3212: - a122 + b12122 - p2 >= -1
 b-4212: b12122 - p2 <= 0
 b-1312: b12123 >= 0
 b-2312: - a123 + b12123 <= 0
 b-3312: - a123 + b12123 - p3 >= -1
 b-4312: b12123 - p3 <= 0
 b-1412: b12124 >= 0
 b-2412: - a124 + b12124 <= 0
 b-3412: - a124 + b12124 - p4 >= -1
 b-4412: b12124 - p4 <= 0
 b-1512: b12125 >= 0
 b-2512: - a125 + b12125 <= 0
 b-3512: - a125 + b12125 - p5 >= -1
 b-4512: b12125 - p5 <= 0
 b-1612: b12126 >= 0
 b-2612: - a126 + b12126 <= 0
 b-3612: - a126 + b12126 - p6 >= -1
 b-4612: b12126 - p6 <= 0
 b-1712: b12127 >= 0
 b-2712: - a127 + b12127 <= 0
 b-3712: - a127 + b12127 - p7 >= -1
 b-4712: b12127 - p7 <= 0
 b-1812: b12128 >= 0
 b-2812: - a128 + b12128 <= 0
 b-3812: - a128 + b12128 - p8 >= -1
 b-4812: b12128 - p8 <= 0
 b-1912: b12129 >= 0
 b-2912: - a129 + b12129 <= 0
 b-3912: - a129 + b12129 - p9 >= -1
 b-4912: b12129 - p9 <= 0
 b-11012: b121210 >= 0
 b-21012: - a1210 + b121210 <= 0
 b-31012: - a1210 + b121210 - p10 >= -1
 b-41012: b121210 - p10 <= 0
 b-11112: b121211 >= 0
 b-21112: - a1211 + b121211 <= 0
 b-31112: - a1211 + b121211 - p11 >= -1
 b-41112: b121211 - p11 <= 0
 b-11212: b121212 >= 0
 b-21212: - a1212 + b121212 <= 0
 b-31212: - a1212 + b121212 - p12 >= -1
 b-41212: b121212 - p12 <= 0
 b-11312: b121213 >= 0
 b-21312: - a1213 + b121213 <= 0
 b-31312: - a1213 + b121213 - p13 >= -1
 b-41312: b121213 - p13 <= 0
 b-11412: b121214 >= 0
 b-21412: - a1214 + b121214 <= 0
 b-31412: - a1214 + b121214 - p14 >= -1
 b-41412: b121214 - p14 <= 0
 b-11512: b121215 >= 0
 b-21512: - a1215 + b121215 <= 0
 b-31512: - a1215 + b121215 - p15 >= -1
 b-41512: b121215 - p15 <= 0
 b-11612: b121216 >= 0
 b-21612: - a1216 + b121216 <= 0
 b-31612: - a1216 + b121216 - p16 >= -1
 b-41612: b121216 - p16 <= 0
 b-11712: b121217 >= 0
 b-21712: - a1217 + b121217 <= 0
 b-31712: - a1217 + b121217 - p17 >= -1
 b-41712: b121217 - p17 <= 0
 b-11812: b121218 >= 0
 b-21812: - a1218 + b121218 <= 0
 b-31812: - a1218 + b121218 - p18 >= -1
 b-41812: b121218 - p18 <= 0
 b-11912: b121219 >= 0
 b-21912: - a1219 + b121219 <= 0
 b-31912: - a1219 + b121219 - p19 >= -1
 b-41912: b121219 - p19 <= 0
 b-12012: b121220 >= 0
 b-22012: - a1220 + b121220 <= 0
 b-32012: - a1220 + b121220 - p20 >= -1
 b-42012: b121220 - p20 <= 0
 kappa12: b12120 + b12121 + b12122 + b12123 + b12124 + b12125 + b12126
   + b12127 + b12128 + b12129 + b121210 + b121211 + b121212 + b121213
   + b121214 + b121215 + b121216 + b121217 + b121218 + b121219 + b121220
   - kappa12 = 0
 b-1013: b13130 >= 0
 b-2013: - a130 + b13130 <= 0
 b-3013: - a130 + b13130 - p0 >= -1
 b-4013: b13130 - p0 <= 0
 b-1113: b13131 >= 0
 b-2113: - a131 + b13131 <= 0
 b-3113: - a131 + b13131 - p1 >= -1
 b-4113: b13131 - p1 <= 0
 b-1213: b13132 >= 0
 b-2213: - a132 + b13132 <= 0
 b-3213: - a132 + b13132 - p2 >= -1
 b-4213: b13132 - p2 <= 0
 b-1313: b13133 >= 0
 b-2313: - a133 + b13133 <= 0
 b-3313: - a133 + b13133 - p3 >= -1
 b-4313: b13133 - p3 <= 0
 b-1413: b13134 >= 0
 b-2413: - a134 + b13134 <= 0
 b-3413: - a134 + b13134 - p4 >= -1
 b-4413: b13134 - p4 <= 0
 b-1513: b13135 >= 0
 b-2513: - a135 + b13135 <= 0
 b-3513: - a135 + b13135 - p5 >= -1
 b-4513: b13135 - p5 <= 0
 b-1613: b13136 >= 0
 b-2613: - a136 + b13136 <= 0
 b-3613: - a136 + b13136 - p6 >= -1
 b-4613: b13136 - p6 <= 0
 b-1713: b13137 >= 0
 b-2713: - a137 + b13137 <= 0
 b-3713: - a137 + b13137 - p7 >= -1
 b-4713: b13137 - p7 <= 0
 b-1813: b13138 >= 0
 b-2813: - a138 + b13138 <= 0
 b-3813: - a138 + b13138 - p8 >= -1
 b-4813: b13138 - p8 <= 0
 b-1913: b13139 >= 0
 b-2913: - a139 + b13139 <= 0
 b-3913: - a139 + b13139 - p9 >= -1
 b-4913: b13139 - p9 <= 0
 b-11013: b131310 >= 0
 b-21013: - a1310 + b131310 <= 0
 b-31013: - a1310 + b131310 - p10 >= -1
 b-41013: b131310 - p10 <= 0
 b-11113: b131311 >= 0
 b-21113: - a1311 + b131311 <= 0
 b-31113: - a1311 + b131311 - p11 >= -1
 b-41113: b131311 - p11 <= 0
 b-11213: b131312 >= 0
 b-21213: - a1312 + b131312 <= 0
 b-31213: - a1312 + b131312 - p12 >= -1
 b-41213: b131312 - p12 <= 0
 b-11313: b131313 >= 0
 b-21313: - a1313 + b131313 <= 0
 b-31313: - a1313 + b131313 - p13 >= -1
 b-41313: b131313 - p13 <= 0
 b-11413: b131314 >= 0
 b-21413: - a1314 + b131314 <= 0
 b-31413: - a1314 + b131314 - p14 >= -1
 b-41413: b131314 - p14 <= 0
 b-11513: b131315 >= 0
 b-21513: - a1315 + b131315 <= 0
 b-31513: - a1315 + b131315 - p15 >= -1
 b-41513: b131315 - p15 <= 0
 b-11613: b131316 >= 0
 b-21613: - a1316 + b131316 <= 0
 b-31613: - a1316 + b131316 - p16 >= -1
 b-41613: b131316 - p16 <= 0
 b-11713: b131317 >= 0
 b-21713: - a1317 + b131317 <= 0
 b-31713: - a1317 + b131317 - p17 >= -1
 b-41713: b131317 - p17 <= 0
 b-11813: b131318 >= 0
 b-21813: - a1318 + b131318 <= 0
 b-31813: - a1318 + b131318 - p18 >= -1
 b-41813: b131318 - p18 <= 0
 b-11913: b131319 >= 0
 b-21913: - a1319 + b131319 <= 0
 b-31913: - a1319 + b131319 - p19 >= -1
 b-41913: b131319 - p19 <= 0
 b-12013: b131320 >= 0
 b-22013: - a1320 + b131320 <= 0
 b-32013: - a1320 + b131320 - p20 >= -1
 b-42013: b131320 - p20 <= 0
 kappa13: b13130 + b13131 + b13132 + b13133 + b13134 + b13135 + b13136
   + b13137 + b13138 + b13139 + b131310 + b131311 + b131312 + b131313
   + b131314 + b131315 + b131316 + b131317 + b131318 + b131319 + b131320
   - kappa13 = 0
 b-1014: b14140 >= 0
 b-2014: - a140 + b14140 <= 0
 b-3014: - a140 + b14140 - p0 >= -1
 b-4014: b14140 - p0 <= 0
 b-1114: b14141 >= 0
 b-2114: - a141 + b14141 <= 0
 b-3114: - a141 + b14141 - p1 >= -1
 b-4114: b14141 - p1 <= 0
 b-1214: b14142 >= 0
 b-2214: - a142 + b14142 <= 0
 b-3214: - a142 + b14142 - p2 >= -1
 b-4214: b14142 - p2 <= 0
 b-1314: b14143 >= 0
 b-2314: - a143 + b14143 <= 0
 b-3314: - a143 + b14143 - p3 >= -1
 b-4314: b14143 - p3 <= 0
 b-1414: b14144 >= 0
 b-2414: - a144 + b14144 <= 0
 b-3414: - a144 + b14144 - p4 >= -1
 b-4414: b14144 - p4 <= 0
 b-1514: b14145 >= 0
 b-2514: - a145 + b14145 <= 0
 b-3514: - a145 + b14145 - p5 >= -1
 b-4514: b14145 - p5 <= 0
 b-1614: b14146 >= 0
 b-2614: - a146 + b14146 <= 0
 b-3614: - a146 + b14146 - p6 >= -1
 b-4614: b14146 - p6 <= 0
 b-1714: b14147 >= 0
 b-2714: - a147 + b14147 <= 0
 b-3714: - a147 + b14147 - p7 >= -1
 b-4714: b14147 - p7 <= 0
 b-1814: b14148 >= 0
 b-2814: - a148 + b14148 <= 0
 b-3814: - a148 + b14148 - p8 >= -1
 b-4814: b14148 - p8 <= 0
 b-1914: b14149 >= 0
 b-2914: - a149 + b14149 <= 0
 b-3914: - a149 + b14149 - p9 >= -1
 b-4914: b14149 - p9 <= 0
 b-11014: b141410 >= 0
 b-21014: - a1410 + b141410 <= 0
 b-31014: - a1410 + b141410 - p10 >= -1
 b-41014: b141410 - p10 <= 0
 b-11114: b141411 >= 0
 b-21114: - a1411 + b141411 <= 0
 b-31114: - a1411 + b141411 - p11 >= -1
 b-41114: b141411 - p11 <= 0
 b-11214: b141412 >= 0
 b-21214: - a1412 + b141412 <= 0
 b-31214: - a1412 + b141412 - p12 >= -1
 b-41214: b141412 - p12 <= 0
 b-11314: b141413 >= 0
 b-21314: - a1413 + b141413 <= 0
 b-31314: - a1413 + b141413 - p13 >= -1
 b-41314: b141413 - p13 <= 0
 b-11414: b141414 >= 0
 b-21414: - a1414 + b141414 <= 0
 b-31414: - a1414 + b141414 - p14 >= -1
 b-41414: b141414 - p14 <= 0
 b-11514: b141415 >= 0
 b-21514: - a1415 + b141415 <= 0
 b-31514: - a1415 + b141415 - p15 >= -1
 b-41514: b141415 - p15 <= 0
 b-11614: b141416 >= 0
 b-21614: - a1416 + b141416 <= 0
 b-31614: - a1416 + b141416 - p16 >= -1
 b-41614: b141416 - p16 <= 0
 b-11714: b141417 >= 0
 b-21714: - a1417 + b141417 <= 0
 b-31714: - a1417 + b141417 - p17 >= -1
 b-41714: b141417 - p17 <= 0
 b-11814: b141418 >= 0
 b-21814: - a1418 + b141418 <= 0
 b-31814: - a1418 + b141418 - p18 >= -1
 b-41814: b141418 - p18 <= 0
 b-11914: b141419 >= 0
 b-21914: - a1419 + b141419 <= 0
 b-31914: - a1419 + b141419 - p19 >= -1
 b-41914: b141419 - p19 <= 0
 b-12014: b141420 >= 0
 b-22014: - a1420 + b141420 <= 0
 b-32014: - a1420 + b141420 - p20 >= -1
 b-42014: b141420 - p20 <= 0
 kappa14: b14140 + b14141 + b14142 + b14143 + b14144 + b14145 + b14146
   + b14147 + b14148 + b14149 + b141410 + b141411 + b141412 + b141413
   + b141414 + b141415 + b141416 + b141417 + b141418 + b141419 + b141420
   - kappa14 = 0
 b-1015: b15150 >= 0
 b-2015: - a150 + b15150 <= 0
 b-3015: - a150 + b15150 - p0 >= -1
 b-4015: b15150 - p0 <= 0
 b-1115: b15151 >= 0
 b-2115: - a151 + b15151 <= 0
 b-3115: - a151 + b15151 - p1 >= -1
 b-4115: b15151 - p1 <= 0
 b-1215: b15152 >= 0
 b-2215: - a152 + b15152 <= 0
 b-3215: - a152 + b15152 - p2 >= -1
 b-4215: b15152 - p2 <= 0
 b-1315: b15153 >= 0
 b-2315: - a153 + b15153 <= 0
 b-3315: - a153 + b15153 - p3 >= -1
 b-4315: b15153 - p3 <= 0
 b-1415: b15154 >= 0
 b-2415: - a154 + b15154 <= 0
 b-3415: - a154 + b15154 - p4 >= -1
 b-4415: b15154 - p4 <= 0
 b-1515: b15155 >= 0
 b-2515: - a155 + b15155 <= 0
 b-3515: - a155 + b15155 - p5 >= -1
 b-4515: b15155 - p5 <= 0
 b-1615: b15156 >= 0
 b-2615: - a156 + b15156 <= 0
 b-3615: - a156 + b15156 - p6 >= -1
 b-4615: b15156 - p6 <= 0
 b-1715: b15157 >= 0
 b-2715: - a157 + b15157 <= 0
 b-3715: - a157 + b15157 - p7 >= -1
 b-4715: b15157 - p7 <= 0
 b-1815: b15158 >= 0
 b-2815: - a158 + b15158 <= 0
 b-3815: - a158 + b15158 - p8 >= -1
 b-4815: b15158 - p8 <= 0
 b-1915: b15159 >= 0
 b-2915: - a159 + b15159 <= 0
 b-3915: - a159 + b15159 - p9 >= -1
 b-4915: b15159 - p9 <= 0
 b-11015: b151510 >= 0
 b-21015: - a1510 + b151510 <= 0
 b-31015: - a1510 + b151510 - p10 >= -1
 b-41015: b151510 - p10 <= 0
 b-11115: b151511 >= 0
 b-21115: - a1511 + b151511 <= 0
 b-31115: - a1511 + b151511 - p11 >= -1
 b-41115: b151511 - p11 <= 0
 b-11215: b151512 >= 0
 b-21215: - a1512 + b151512 <= 0
 b-31215: - a1512 + b151512 - p12 >= -1
 b-41215: b151512 - p12 <= 0
 b-11315: b151513 >= 0
 b-21315: - a1513 + b151513 <= 0
 b-31315: - a1513 + b151513 - p13 >= -1
 b-41315: b151513 - p13 <= 0
 b-11415: b151514 >= 0
 b-21415: - a1514 + b151514 <= 0
 b-31415: - a1514 + b151514 - p14 >= -1
 b-41415: b151514 - p14 <= 0
 b-11515: b151515 >= 0
 b-21515: - a1515 + b151515 <= 0
 b-31515: - a1515 + b151515 - p15 >= -1
 b-41515: b151515 - p15 <= 0
 b-11615: b151516 >= 0
 b-21615: - a1516 + b151516 <= 0
 b-31615: - a1516 + b151516 - p16 >= -1
 b-41615: b151516 - p16 <= 0
 b-11715: b151517 >= 0
 b-21715: - a1517 + b151517 <= 0
 b-31715: - a1517 + b151517 - p17 >= -1
 b-41715: b151517 - p17 <= 0
 b-11815: b151518 >= 0
 b-21815: - a1518 + b151518 <= 0
 b-31815: - a1518 + b151518 - p18 >= -1
 b-41815: b151518 - p18 <= 0
 b-11915: b151519 >= 0
 b-21915: - a1519 + b151519 <= 0
 b-31915: - a1519 + b151519 - p19 >= -1
 b-41915: b151519 - p19 <= 0
 b-12015: b151520 >= 0
 b-22015: - a1520 + b151520 <= 0
 b-32015: - a1520 + b151520 - p20 >= -1
 b-42015: b151520 - p20 <= 0
 kappa15: b15150 + b15151 + b15152 + b15153 + b15154 + b15155 + b15156
   + b15157 + b15158 + b15159 + b151510 + b151511 + b151512 + b151513
   + b151514 + b151515 + b151516 + b151517 + b151518 + b151519 + b151520
   - kappa15 = 0
 b-1016: b16160 >= 0
 b-2016: - a160 + b16160 <= 0
 b-3016: - a160 + b16160 - p0 >= -1
 b-4016: b16160 - p0 <= 0
 b-1116: b16161 >= 0
 b-2116: - a161 + b16161 <= 0
 b-3116: - a161 + b16161 - p1 >= -1
 b-4116: b16161 - p1 <= 0
 b-1216: b16162 >= 0
 b-2216: - a162 + b16162 <= 0
 b-3216: - a162 + b16162 - p2 >= -1
 b-4216: b16162 - p2 <= 0
 b-1316: b16163 >= 0
 b-2316: - a163 + b16163 <= 0
 b-3316: - a163 + b16163 - p3 >= -1
 b-4316: b16163 - p3 <= 0
 b-1416: b16164 >= 0
 b-2416: - a164 + b16164 <= 0
 b-3416: - a164 + b16164 - p4 >= -1
 b-4416: b16164 - p4 <= 0
 b-1516: b16165 >= 0
 b-2516: - a165 + b16165 <= 0
 b-3516: - a165 + b16165 - p5 >= -1
 b-4516: b16165 - p5 <= 0
 b-1616: b16166 >= 0
 b-2616: - a166 + b16166 <= 0
 b-3616: - a166 + b16166 - p6 >= -1
 b-4616: b16166 - p6 <= 0
 b-1716: b16167 >= 0
 b-2716: - a167 + b16167 <= 0
 b-3716: - a167 + b16167 - p7 >= -1
 b-4716: b16167 - p7 <= 0
 b-1816: b16168 >= 0
 b-2816: - a168 + b16168 <= 0
 b-3816: - a168 + b16168 - p8 >= -1
 b-4816: b16168 - p8 <= 0
 b-1916: b16169 >= 0
 b-2916: - a169 + b16169 <= 0
 b-3916: - a169 + b16169 - p9 >= -1
 b-4916: b16169 - p9 <= 0
 b-11016: b161610 >= 0
 b-21016: - a1610 + b161610 <= 0
 b-31016: - a1610 + b161610 - p10 >= -1
 b-41016: b161610 - p10 <= 0
 b-11116: b161611 >= 0
 b-21116: - a1611 + b161611 <= 0
 b-31116: - a1611 + b161611 - p11 >= -1
 b-41116: b161611 - p11 <= 0
 b-11216: b161612 >= 0
 b-21216: - a1612 + b161612 <= 0
 b-31216: - a1612 + b161612 - p12 >= -1
 b-41216: b161612 - p12 <= 0
 b-11316: b161613 >= 0
 b-21316: - a1613 + b161613 <= 0
 b-31316: - a1613 + b161613 - p13 >= -1
 b-41316: b161613 - p13 <= 0
 b-11416: b161614 >= 0
 b-21416: - a1614 + b161614 <= 0
 b-31416: - a1614 + b161614 - p14 >= -1
 b-41416: b161614 - p14 <= 0
 b-11516: b161615 >= 0
 b-21516: - a1615 + b161615 <= 0
 b-31516: - a1615 + b161615 - p15 >= -1
 b-41516: b161615 - p15 <= 0
 b-11616: b161616 >= 0
 b-21616: - a1616 + b161616 <= 0
 b-31616: - a1616 + b161616 - p16 >= -1
 b-41616: b161616 - p16 <= 0
 b-11716: b161617 >= 0
 b-21716: - a1617 + b161617 <= 0
 b-31716: - a1617 + b161617 - p17 >= -1
 b-41716: b161617 - p17 <= 0
 b-11816: b161618 >= 0
 b-21816: - a1618 + b161618 <= 0
 b-31816: - a1618 + b161618 - p18 >= -1
 b-41816: b161618 - p18 <= 0
 b-11916: b161619 >= 0
 b-21916: - a1619 + b161619 <= 0
 b-31916: - a1619 + b161619 - p19 >= -1
 b-41916: b161619 - p19 <= 0
 b-12016: b161620 >= 0
 b-22016: - a1620 + b161620 <= 0
 b-32016: - a1620 + b161620 - p20 >= -1
 b-42016: b161620 - p20 <= 0
 kappa16: b16160 + b16161 + b16162 + b16163 + b16164 + b16165 + b16166
   + b16167 + b16168 + b16169 + b161610 + b161611 + b161612 + b161613
   + b161614 + b161615 + b161616 + b161617 + b161618 + b161619 + b161620
   - kappa16 = 0
 b-1017: b17170 >= 0
 b-2017: - a170 + b17170 <= 0
 b-3017: - a170 + b17170 - p0 >= -1
 b-4017: b17170 - p0 <= 0
 b-1117: b17171 >= 0
 b-2117: - a171 + b17171 <= 0
 b-3117: - a171 + b17171 - p1 >= -1
 b-4117: b17171 - p1 <= 0
 b-1217: b17172 >= 0
 b-2217: - a172 + b17172 <= 0
 b-3217: - a172 + b17172 - p2 >= -1
 b-4217: b17172 - p2 <= 0
 b-1317: b17173 >= 0
 b-2317: - a173 + b17173 <= 0
 b-3317: - a173 + b17173 - p3 >= -1
 b-4317: b17173 - p3 <= 0
 b-1417: b17174 >= 0
 b-2417: - a174 + b17174 <= 0
 b-3417: - a174 + b17174 - p4 >= -1
 b-4417: b17174 - p4 <= 0
 b-1517: b17175 >= 0
 b-2517: - a175 + b17175 <= 0
 b-3517: - a175 + b17175 - p5 >= -1
 b-4517: b17175 - p5 <= 0
 b-1617: b17176 >= 0
 b-2617: - a176 + b17176 <= 0
 b-3617: - a176 + b17176 - p6 >= -1
 b-4617: b17176 - p6 <= 0
 b-1717: b17177 >= 0
 b-2717: - a177 + b17177 <= 0
 b-3717: - a177 + b17177 - p7 >= -1
 b-4717: b17177 - p7 <= 0
 b-1817: b17178 >= 0
 b-2817: - a178 + b17178 <= 0
 b-3817: - a178 + b17178 - p8 >= -1
 b-4817: b17178 - p8 <= 0
 b-1917: b17179 >= 0
 b-2917: - a179 + b17179 <= 0
 b-3917: - a179 + b17179 - p9 >= -1
 b-4917: b17179 - p9 <= 0
 b-11017: b171710 >= 0
 b-21017: - a1710 + b171710 <= 0
 b-31017: - a1710 + b171710 - p10 >= -1
 b-41017: b171710 - p10 <= 0
 b-11117: b171711 >= 0
 b-21117: - a1711 + b171711 <= 0
 b-31117: - a1711 + b171711 - p11 >= -1
 b-41117: b171711 - p11 <= 0
 b-11217: b171712 >= 0
 b-21217: - a1712 + b171712 <= 0
 b-31217: - a1712 + b171712 - p12 >= -1
 b-41217: b171712 - p12 <= 0
 b-11317: b171713 >= 0
 b-21317: - a1713 + b171713 <= 0
 b-31317: - a1713 + b171713 - p13 >= -1
 b-41317: b171713 - p13 <= 0
 b-11417: b171714 >= 0
 b-21417: - a1714 + b171714 <= 0
 b-31417: - a1714 + b171714 - p14 >= -1
 b-41417: b171714 - p14 <= 0
 b-11517: b171715 >= 0
 b-21517: - a1715 + b171715 <= 0
 b-31517: - a1715 + b171715 - p15 >= -1
 b-41517: b171715 - p15 <= 0
 b-11617: b171716 >= 0
 b-21617: - a1716 + b171716 <= 0
 b-31617: - a1716 + b171716 - p16 >= -1
 b-41617: b171716 - p16 <= 0
 b-11717: b171717 >= 0
 b-21717: - a1717 + b171717 <= 0
 b-31717: - a1717 + b171717 - p17 >= -1
 b-41717: b171717 - p17 <= 0
 b-11817: b171718 >= 0
 b-21817: - a1718 + b171718 <= 0
 b-31817: - a1718 + b171718 - p18 >= -1
 b-41817: b171718 - p18 <= 0
 b-11917: b171719 >= 0
 b-21917: - a1719 + b171719 <= 0
 b-31917: - a1719 + b171719 - p19 >= -1
 b-41917: b171719 - p19 <= 0
 b-12017: b171720 >= 0
 b-22017: - a1720 + b171720 <= 0
 b-32017: - a1720 + b171720 - p20 >= -1
 b-42017: b171720 - p20 <= 0
 kappa17: b17170 + b17171 + b17172 + b17173 + b17174 + b17175 + b17176
   + b17177 + b17178 + b17179 + b171710 + b171711 + b171712 + b171713
   + b171714 + b171715 + b171716 + b171717 + b171718 + b171719 + b171720
   - kappa17 = 0
 b-1018: b18180 >= 0
 b-2018: - a180 + b18180 <= 0
 b-3018: - a180 + b18180 - p0 >= -1
 b-4018: b18180 - p0 <= 0
 b-1118: b18181 >= 0
 b-2118: - a181 + b18181 <= 0
 b-3118: - a181 + b18181 - p1 >= -1
 b-4118: b18181 - p1 <= 0
 b-1218: b18182 >= 0
 b-2218: - a182 + b18182 <= 0
 b-3218: - a182 + b18182 - p2 >= -1
 b-4218: b18182 - p2 <= 0
 b-1318: b18183 >= 0
 b-2318: - a183 + b18183 <= 0
 b-3318: - a183 + b18183 - p3 >= -1
 b-4318: b18183 - p3 <= 0
 b-1418: b18184 >= 0
 b-2418: - a184 + b18184 <= 0
 b-3418: - a184 + b18184 - p4 >= -1
 b-4418: b18184 - p4 <= 0
 b-1518: b18185 >= 0
 b-2518: - a185 + b18185 <= 0
 b-3518: - a185 + b18185 - p5 >= -1
 b-4518: b18185 - p5 <= 0
 b-1618: b18186 >= 0
 b-2618: - a186 + b18186 <= 0
 b-3618: - a186 + b18186 - p6 >= -1
 b-4618: b18186 - p6 <= 0
 b-1718: b18187 >= 0
 b-2718: - a187 + b18187 <= 0
 b-3718: - a187 + b18187 - p7 >= -1
 b-4718: b18187 - p7 <= 0
 b-1818: b18188 >= 0
 b-2818: - a188 + b18188 <= 0
 b-3818: - a188 + b18188 - p8 >= -1
 b-4818: b18188 - p8 <= 0
 b-1918: b18189 >= 0
 b-2918: - a189 + b18189 <= 0
 b-3918: - a189 + b18189 - p9 >= -1
 b-4918: b18189 - p9 <= 0
 b-11018: b181810 >= 0
 b-21018: - a1810 + b181810 <= 0
 b-31018: - a1810 + b181810 - p10 >= -1
 b-41018: b181810 - p10 <= 0
 b-11118: b181811 >= 0
 b-21118: - a1811 + b181811 <= 0
 b-31118: - a1811 + b181811 - p11 >= -1
 b-41118: b181811 - p11 <= 0
 b-11218: b181812 >= 0
 b-21218: - a1812 + b181812 <= 0
 b-31218: - a1812 + b181812 - p12 >= -1
 b-41218: b181812 - p12 <= 0
 b-11318: b181813 >= 0
 b-21318: - a1813 + b181813 <= 0
 b-31318: - a1813 + b181813 - p13 >= -1
 b-41318: b181813 - p13 <= 0
 b-11418: b181814 >= 0
 b-21418: - a1814 + b181814 <= 0
 b-31418: - a1814 + b181814 - p14 >= -1
 b-41418: b181814 - p14 <= 0
 b-11518: b181815 >= 0
 b-21518: - a1815 + b181815 <= 0
 b-31518: - a1815 + b181815 - p15 >= -1
 b-41518: b181815 - p15 <= 0
 b-11618: b181816 >= 0
 b-21618: - a1816 + b181816 <= 0
 b-31618: - a1816 + b181816 - p16 >= -1
 b-41618: b181816 - p16 <= 0
 b-11718: b181817 >= 0
 b-21718: - a1817 + b181817 <= 0
 b-31718: - a1817 + b181817 - p17 >= -1
 b-41718: b181817 - p17 <= 0
 b-11818: b181818 >= 0
 b-21818: - a1818 + b181818 <= 0
 b-31818: - a1818 + b181818 - p18 >= -1
 b-41818: b181818 - p18 <= 0
 b-11918: b181819 >= 0
 b-21918: - a1819 + b181819 <= 0
 b-31918: - a1819 + b181819 - p19 >= -1
 b-41918: b181819 - p19 <= 0
 b-12018: b181820 >= 0
 b-22018: - a1820 + b181820 <= 0
 b-32018: - a1820 + b181820 - p20 >= -1
 b-42018: b181820 - p20 <= 0
 kappa18: b18180 + b18181 + b18182 + b18183 + b18184 + b18185 + b18186
   + b18187 + b18188 + b18189 + b181810 + b181811 + b181812 + b181813
   + b181814 + b181815 + b181816 + b181817 + b181818 + b181819 + b181820
   - kappa18 = 0
 b-1019: b19190 >= 0
 b-2019: - a190 + b19190 <= 0
 b-3019: - a190 + b19190 - p0 >= -1
 b-4019: b19190 - p0 <= 0
 b-1119: b19191 >= 0
 b-2119: - a191 + b19191 <= 0
 b-3119: - a191 + b19191 - p1 >= -1
 b-4119: b19191 - p1 <= 0
 b-1219: b19192 >= 0
 b-2219: - a192 + b19192 <= 0
 b-3219: - a192 + b19192 - p2 >= -1
 b-4219: b19192 - p2 <= 0
 b-1319: b19193 >= 0
 b-2319: - a193 + b19193 <= 0
 b-3319: - a193 + b19193 - p3 >= -1
 b-4319: b19193 - p3 <= 0
 b-1419: b19194 >= 0
 b-2419: - a194 + b19194 <= 0
 b-3419: - a194 + b19194 - p4 >= -1
 b-4419: b19194 - p4 <= 0
 b-1519: b19195 >= 0
 b-2519: - a195 + b19195 <= 0
 b-3519: - a195 + b19195 - p5 >= -1
 b-4519: b19195 - p5 <= 0
 b-1619: b19196 >= 0
 b-2619: - a196 + b19196 <= 0
 b-3619: - a196 + b19196 - p6 >= -1
 b-4619: b19196 - p6 <= 0
 b-1719: b19197 >= 0
 b-2719: - a197 + b19197 <= 0
 b-3719: - a197 + b19197 - p7 >= -1
 b-4719: b19197 - p7 <= 0
 b-1819: b19198 >= 0
 b-2819: - a198 + b19198 <= 0
 b-3819: - a198 + b19198 - p8 >= -1
 b-4819: b19198 - p8 <= 0
 b-1919: b19199 >= 0
 b-2919: - a199 + b19199 <= 0
 b-3919: - a199 + b19199 - p9 >= -1
 b-4919: b19199 - p9 <= 0
 b-11019: b191910 >= 0
 b-21019: - a1910 + b191910 <= 0
 b-31019: - a1910 + b191910 - p10 >= -1
 b-41019: b191910 - p10 <= 0
 b-11119: b191911 >= 0
 b-21119: - a1911 + b191911 <= 0
 b-31119: - a1911 + b191911 - p11 >= -1
 b-41119: b191911 - p11 <= 0
 b-11219: b191912 >= 0
 b-21219: - a1912 + b191912 <= 0
 b-31219: - a1912 + b191912 - p12 >= -1
 b-41219: b191912 - p12 <= 0
 b-11319: b191913 >= 0
 b-21319: - a1913 + b191913 <= 0
 b-31319: - a1913 + b191913 - p13 >= -1
 b-41319: b191913 - p13 <= 0
 b-11419: b191914 >= 0
 b-21419: - a1914 + b191914 <= 0
 b-31419: - a1914 + b191914 - p14 >= -1
 b-41419: b191914 - p14 <= 0
 b-11519: b191915 >= 0
 b-21519: - a1915 + b191915 <= 0
 b-31519: - a1915 + b191915 - p15 >= -1
 b-41519: b191915 - p15 <= 0
 b-11619: b191916 >= 0
 b-21619: - a1916 + b191916 <= 0
 b-31619: - a1916 + b191916 - p16 >= -1
 b-41619: b191916 - p16 <= 0
 b-11719: b191917 >= 0
 b-21719: - a1917 + b191917 <= 0
 b-31719: - a1917 + b191917 - p17 >= -1
 b-41719: b191917 - p17 <= 0
 b-11819: b191918 >= 0
 b-21819: - a1918 + b191918 <= 0
 b-31819: - a1918 + b191918 - p18 >= -1
 b-41819: b191918 - p18 <= 0
 b-11919: b191919 >= 0
 b-21919: - a1919 + b191919 <= 0
 b-31919: - a1919 + b191919 - p19 >= -1
 b-41919: b191919 - p19 <= 0
 b-12019: b191920 >= 0
 b-22019: - a1920 + b191920 <= 0
 b-32019: - a1920 + b191920 - p20 >= -1
 b-42019: b191920 - p20 <= 0
 kappa19: b19190 + b19191 + b19192 + b19193 + b19194 + b19195 + b19196
   + b19197 + b19198 + b19199 + b191910 + b191911 + b191912 + b191913
   + b191914 + b191915 + b191916 + b191917 + b191918 + b191919 + b191920
   - kappa19 = 0
 prob: p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12
   + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 = 1
 sumsone: p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12
   + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + epsilon = 1
Bounds
 b000 <= 1
 b001 <= 1
 b002 <= 1
 b003 <= 1
 b004 <= 1
 b005 <= 1
 b006 <= 1
 b007 <= 1
 b008 <= 1
 b009 <= 1
 b0010 <= 1
 b0011 <= 1
 b0012 <= 1
 b0013 <= 1
 b0014 <= 1
 b0015 <= 1
 b0016 <= 1
 b0017 <= 1
 b0018 <= 1
 b0019 <= 1
 b0020 <= 1
 b110 <= 1
 b111 <= 1
 b112 <= 1
 b113 <= 1
 b114 <= 1
 b115 <= 1
 b116 <= 1
 b117 <= 1
 b118 <= 1
 b119 <= 1
 b1110 <= 1
 b1111 <= 1
 b1112 <= 1
 b1113 <= 1
 b1114 <= 1
 b1115 <= 1
 b1116 <= 1
 b1117 <= 1
 b1118 <= 1
 b1119 <= 1
 b1120 <= 1
 b220 <= 1
 b221 <= 1
 b222 <= 1
 b223 <= 1
 b224 <= 1
 b225 <= 1
 b226 <= 1
 b227 <= 1
 b228 <= 1
 b229 <= 1
 b2210 <= 1
 b2211 <= 1
 b2212 <= 1
 b2213 <= 1
 b2214 <= 1
 b2215 <= 1
 b2216 <= 1
 b2217 <= 1
 b2218 <= 1
 b2219 <= 1
 b2220 <= 1
 b330 <= 1
 b331 <= 1
 b332 <= 1
 b333 <= 1
 b334 <= 1
 b335 <= 1
 b336 <= 1
 b337 <= 1
 b338 <= 1
 b339 <= 1
 b3310 <= 1
 b3311 <= 1
 b3312 <= 1
 b3313 <= 1
 b3314 <= 1
 b3315 <= 1
 b3316 <= 1
 b3317 <= 1
 b3318 <= 1
 b3319 <= 1
 b3320 <= 1
 b440 <= 1
 b441 <= 1
 b442 <= 1
 b443 <= 1
 b444 <= 1
 b445 <= 1
 b446 <= 1
 b447 <= 1
 b448 <= 1
 b449 <= 1
 b4410 <= 1
 b4411 <= 1
 b4412 <= 1
 b4413 <= 1
 b4414 <= 1
 b4415 <= 1
 b4416 <= 1
 b4417 <= 1
 b4418 <= 1
 b4419 <= 1
 b4420 <= 1
 b550 <= 1
 b551 <= 1
 b552 <= 1
 b553 <= 1
 b554 <= 1
 b555 <= 1
 b556 <= 1
 b557 <= 1
 b558 <= 1
 b559 <= 1
 b5510 <= 1
 b5511 <= 1
 b5512 <= 1
 b5513 <= 1
 b5514 <= 1
 b5515 <= 1
 b5516 <= 1
 b5517 <= 1
 b5518 <= 1
 b5519 <= 1
 b5520 <= 1
 b660 <= 1
 b661 <= 1
 b662 <= 1
 b663 <= 1
 b664 <= 1
 b665 <= 1
 b666 <= 1
 b667 <= 1
 b668 <= 1
 b669 <= 1
 b6610 <= 1
 b6611 <= 1
 b6612 <= 1
 b6613 <= 1
 b6614 <= 1
 b6615 <= 1
 b6616 <= 1
 b6617 <= 1
 b6618 <= 1
 b6619 <= 1
 b6620 <= 1
 b770 <= 1
 b771 <= 1
 b772 <= 1
 b773 <= 1
 b774 <= 1
 b775 <= 1
 b776 <= 1
 b777 <= 1
 b778 <= 1
 b779 <= 1
 b7710 <= 1
 b7711 <= 1
 b7712 <= 1
 b7713 <= 1
 b7714 <= 1
 b7715 <= 1
 b7716 <= 1
 b7717 <= 1
 b7718 <= 1
 b7719 <= 1
 b7720 <= 1
 b880 <= 1
 b881 <= 1
 b882 <= 1
 b883 <= 1
 b884 <= 1
 b885 <= 1
 b886 <= 1
 b887 <= 1
 b888 <= 1
 b889 <= 1
 b8810 <= 1
 b8811 <= 1
 b8812 <= 1
 b8813 <= 1
 b8814 <= 1
 b8815 <= 1
 b8816 <= 1
 b8817 <= 1
 b8818 <= 1
 b8819 <= 1
 b8820 <= 1
 b990 <= 1
 b991 <= 1
 b992 <= 1
 b993 <= 1
 b994 <= 1
 b995 <= 1
 b996 <= 1
 b997 <= 1
 b998 <= 1
 b999 <= 1
 b9910 <= 1
 b9911 <= 1
 b9912 <= 1
 b9913 <= 1
 b9914 <= 1
 b9915 <= 1
 b9916 <= 1
 b9917 <= 1
 b9918 <= 1
 b9919 <= 1
 b9920 <= 1
 b10100 <= 1
 b10101 <= 1
 b10102 <= 1
 b10103 <= 1
 b10104 <= 1
 b10105 <= 1
 b10106 <= 1
 b10107 <= 1
 b10108 <= 1
 b10109 <= 1
 b101010 <= 1
 b101011 <= 1
 b101012 <= 1
 b101013 <= 1
 b101014 <= 1
 b101015 <= 1
 b101016 <= 1
 b101017 <= 1
 b101018 <= 1
 b101019 <= 1
 b101020 <= 1
 b11110 <= 1
 b11111 <= 1
 b11112 <= 1
 b11113 <= 1
 b11114 <= 1
 b11115 <= 1
 b11116 <= 1
 b11117 <= 1
 b11118 <= 1
 b11119 <= 1
 b111110 <= 1
 b111111 <= 1
 b111112 <= 1
 b111113 <= 1
 b111114 <= 1
 b111115 <= 1
 b111116 <= 1
 b111117 <= 1
 b111118 <= 1
 b111119 <= 1
 b111120 <= 1
 b12120 <= 1
 b12121 <= 1
 b12122 <= 1
 b12123 <= 1
 b12124 <= 1
 b12125 <= 1
 b12126 <= 1
 b12127 <= 1
 b12128 <= 1
 b12129 <= 1
 b121210 <= 1
 b121211 <= 1
 b121212 <= 1
 b121213 <= 1
 b121214 <= 1
 b121215 <= 1
 b121216 <= 1
 b121217 <= 1
 b121218 <= 1
 b121219 <= 1
 b121220 <= 1
 b13130 <= 1
 b13131 <= 1
 b13132 <= 1
 b13133 <= 1
 b13134 <= 1
 b13135 <= 1
 b13136 <= 1
 b13137 <= 1
 b13138 <= 1
 b13139 <= 1
 b131310 <= 1
 b131311 <= 1
 b131312 <= 1
 b131313 <= 1
 b131314 <= 1
 b131315 <= 1
 b131316 <= 1
 b131317 <= 1
 b131318 <= 1
 b131319 <= 1
 b131320 <= 1
 b14140 <= 1
 b14141 <= 1
 b14142 <= 1
 b14143 <= 1
 b14144 <= 1
 b14145 <= 1
 b14146 <= 1
 b14147 <= 1
 b14148 <= 1
 b14149 <= 1
 b141410 <= 1
 b141411 <= 1
 b141412 <= 1
 b141413 <= 1
 b141414 <= 1
 b141415 <= 1
 b141416 <= 1
 b141417 <= 1
 b141418 <= 1
 b141419 <= 1
 b141420 <= 1
 b15150 <= 1
 b15151 <= 1
 b15152 <= 1
 b15153 <= 1
 b15154 <= 1
 b15155 <= 1
 b15156 <= 1
 b15157 <= 1
 b15158 <= 1
 b15159 <= 1
 b151510 <= 1
 b151511 <= 1
 b151512 <= 1
 b151513 <= 1
 b151514 <= 1
 b151515 <= 1
 b151516 <= 1
 b151517 <= 1
 b151518 <= 1
 b151519 <= 1
 b151520 <= 1
 b16160 <= 1
 b16161 <= 1
 b16162 <= 1
 b16163 <= 1
 b16164 <= 1
 b16165 <= 1
 b16166 <= 1
 b16167 <= 1
 b16168 <= 1
 b16169 <= 1
 b161610 <= 1
 b161611 <= 1
 b161612 <= 1
 b161613 <= 1
 b161614 <= 1
 b161615 <= 1
 b161616 <= 1
 b161617 <= 1
 b161618 <= 1
 b161619 <= 1
 b161620 <= 1
 b17170 <= 1
 b17171 <= 1
 b17172 <= 1
 b17173 <= 1
 b17174 <= 1
 b17175 <= 1
 b17176 <= 1
 b17177 <= 1
 b17178 <= 1
 b17179 <= 1
 b171710 <= 1
 b171711 <= 1
 b171712 <= 1
 b171713 <= 1
 b171714 <= 1
 b171715 <= 1
 b171716 <= 1
 b171717 <= 1
 b171718 <= 1
 b171719 <= 1
 b171720 <= 1
 b18180 <= 1
 b18181 <= 1
 b18182 <= 1
 b18183 <= 1
 b18184 <= 1
 b18185 <= 1
 b18186 <= 1
 b18187 <= 1
 b18188 <= 1
 b18189 <= 1
 b181810 <= 1
 b181811 <= 1
 b181812 <= 1
 b181813 <= 1
 b181814 <= 1
 b181815 <= 1
 b181816 <= 1
 b181817 <= 1
 b181818 <= 1
 b181819 <= 1
 b181820 <= 1
 b19190 <= 1
 b19191 <= 1
 b19192 <= 1
 b19193 <= 1
 b19194 <= 1
 b19195 <= 1
 b19196 <= 1
 b19197 <= 1
 b19198 <= 1
 b19199 <= 1
 b191910 <= 1
 b191911 <= 1
 b191912 <= 1
 b191913 <= 1
 b191914 <= 1
 b191915 <= 1
 b191916 <= 1
 b191917 <= 1
 b191918 <= 1
 b191919 <= 1
 b191920 <= 1
 p0 <= 1
 p1 <= 1
 p2 <= 1
 p3 <= 1
 p4 <= 1
 p5 <= 1
 p6 <= 1
 p7 <= 1
 p8 <= 1
 p9 <= 1
 p10 <= 1
 p11 <= 1
 p12 <= 1
 p13 <= 1
 p14 <= 1
 p15 <= 1
 p16 <= 1
 p17 <= 1
 p18 <= 1
 p19 <= 1
 p20 <= 1
 kappa0 <= 1
 kappa1 <= 1
 kappa2 <= 1
 kappa3 <= 1
 kappa4 <= 1
 kappa5 <= 1
 kappa6 <= 1
 kappa7 <= 1
 kappa8 <= 1
 kappa9 <= 1
 kappa10 <= 1
 kappa11 <= 1
 kappa12 <= 1
 kappa13 <= 1
 kappa14 <= 1
 kappa15 <= 1
 kappa16 <= 1
 kappa17 <= 1
 kappa18 <= 1
 kappa19 <= 1
Binaries
 a00 a01 a02 a03 a04 a05 a06 a07 a08 a09 a010 a011 a012 a013 a014 a015 a016
 a017 a018 a019 a020 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a110 a111 a112
 a113 a114 a115 a116 a117 a118 a119 a120 a20 a21 a22 a23 a24 a25 a26 a27
 a28 a29 a210 a211 a212 a213 a214 a215 a216 a217 a218 a219 a220 a30 a31 a32
 a33 a34 a35 a36 a37 a38 a39 a310 a311 a312 a313 a314 a315 a316 a317 a318
 a319 a320 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a410 a411 a412 a413 a414
 a415 a416 a417 a418 a419 a420 a50 a51 a52 a53 a54 a55 a56 a57 a58 a59 a510
 a511 a512 a513 a514 a515 a516 a517 a518 a519 a520 a60 a61 a62 a63 a64 a65
 a66 a67 a68 a69 a610 a611 a612 a613 a614 a615 a616 a617 a618 a619 a620 a70
 a71 a72 a73 a74 a75 a76 a77 a78 a79 a710 a711 a712 a713 a714 a715 a716
 a717 a718 a719 a720 a80 a81 a82 a83 a84 a85 a86 a87 a88 a89 a810 a811 a812
 a813 a814 a815 a816 a817 a818 a819 a820 a90 a91 a92 a93 a94 a95 a96 a97
 a98 a99 a910 a911 a912 a913 a914 a915 a916 a917 a918 a919 a920 a100 a101
 a102 a103 a104 a105 a106 a107 a108 a109 a1010 a1011 a1012 a1013 a1014
 a1015 a1016 a1017 a1018 a1019 a1020 a110 a111 a112 a113 a114 a115 a116
 a117 a118 a119 a1110 a1111 a1112 a1113 a1114 a1115 a1116 a1117 a1118 a1119
 a1120 a120 a121 a122 a123 a124 a125 a126 a127 a128 a129 a1210 a1211 a1212
 a1213 a1214 a1215 a1216 a1217 a1218 a1219 a1220 a130 a131 a132 a133 a134
 a135 a136 a137 a138 a139 a1310 a1311 a1312 a1313 a1314 a1315 a1316 a1317
 a1318 a1319 a1320 a140 a141 a142 a143 a144 a145 a146 a147 a148 a149 a1410
 a1411 a1412 a1413 a1414 a1415 a1416 a1417 a1418 a1419 a1420 a150 a151 a152
 a153 a154 a155 a156 a157 a158 a159 a1510 a1511 a1512 a1513 a1514 a1515
 a1516 a1517 a1518 a1519 a1520 a160 a161 a162 a163 a164 a165 a166 a167 a168
 a169 a1610 a1611 a1612 a1613 a1614 a1615 a1616 a1617 a1618 a1619 a1620
 a170 a171 a172 a173 a174 a175 a176 a177 a178 a179 a1710 a1711 a1712 a1713
 a1714 a1715 a1716 a1717 a1718 a1719 a1720 a180 a181 a182 a183 a184 a185
 a186 a187 a188 a189 a1810 a1811 a1812 a1813 a1814 a1815 a1816 a1817 a1818
 a1819 a1820 a190 a191 a192 a193 a194 a195 a196 a197 a198 a199 a1910 a1911
 a1912 a1913 a1914 a1915 a1916 a1917 a1918 a1919 a1920
End