[Cbc] CBC doesn't reach the optimal solution
Juliette Medina
juliette.medina at mines-nantes.fr
Thu Jan 29 05:53:03 EST 2015
Hi,
I would like to report a bug on the optimal found by CBC.
When testing my model on various solvers, I discovered that CBC doesn't
reach the optimal solution.
CBC finds 1664.1149999999998 whereas the optimal solution is
1552.7400000000002 (with Cplex).
Do you mind giving me a feedback about why it doesn't work properly?
Here the LP model below :
Thanks,
----------------------------------------------------------------------------------------------
Juliette MEDINA
Ph.D Student in Operations Research and Logistics
Ecole des Mines de Nantes
----------------------------------------------------------------------------------------------
\ Generated by MPModelProtoExporter
\ Name : sim
\ Format : Free
\ Constraints : 650
\ Variables : 458
\ Binary : 320
\ Integer : 0
\ Continuous : 138
Minimize
Obj: +151.8 b_0 +151.8 b_1 +260.7 b_2 +260.7 b_3 +424.5 b_4 +424.5 b_5
+125 x_0_24 +125 x_0_25 +45 x_1_23 +45 x_1_25 +1.035 l_0_0 +0.42 l_0_1
+1.035 l_0_3 +0.42 l_0_4 +2.07 l_1_0 +0.84 l_1_1 +2.07 l_1_3 +0.84 l_1_4
+1.035 l_2_0 +0.42 l_2_1 +1.035 l_2_3 +0.42 l_2_4 +79.35000000000001
l_3_0 +32.2 l_3_1 +79.35000000000001 l_3_3 +32.2 l_3_4
+80.38500000000001 l_4_0 +32.62 l_4_1 +80.38500000000001 l_4_3 +32.62
l_4_4 +80.38500000000001 l_5_0 +32.62 l_5_1 +80.38500000000001 l_5_3
+32.62 l_5_4 +81.42 l_6_0 +33.04 l_6_1 +81.42 l_6_3 +33.04 l_6_4 +1.035
l_7_0 +0.42 l_7_1 +1.035 l_7_3 +0.42 l_7_4 +79.35000000000001 l_8_0
+32.2 l_8_1 +79.35000000000001 l_8_3 +32.2 l_8_4 +80.38500000000001
l_9_0 +32.62 l_9_1 +80.38500000000001 l_9_3 +32.62 l_9_4
+79.35000000000001 l_10_0 +32.2 l_10_1 +79.35000000000001 l_10_3 +32.2
l_10_4 +81.765 l_11_0 +33.18 l_11_1 +81.765 l_11_3 +33.18 l_11_4
+88.7685 l_12_0 +36.022 l_12_1 +88.7685 l_12_3 +36.022 l_12_4 +88.7685
l_13_0 +36.022 l_13_1 +88.7685 l_13_3 +36.022 l_13_4 +77.625 l_14_0
+31.5 l_14_1 +77.625 l_14_3 +31.5 l_14_4 +84.6285 l_15_0 +34.342 l_15_1
+84.6285 l_15_3 +34.342 l_15_4 +84.6285 l_16_0 +34.342 l_16_1 +84.6285
l_16_3 +34.342 l_16_4 +81.765 l_17_0 +33.18 l_17_1 +81.765 l_17_3 +33.18
l_17_4 +88.7685 l_18_0 +36.022 l_18_1 +88.7685 l_18_3 +36.022 l_18_4
+77.625 l_19_0 +31.5 l_19_1 +77.625 l_19_3 +31.5 l_19_4 +84.6285 l_20_0
+34.342 l_20_1 +84.6285 l_20_3 +34.342 l_20_4 +81.765 l_21_0 +33.18
l_21_1 +81.765 l_21_3 +33.18 l_21_4 +77.625 l_22_0 +31.5 l_22_1 +77.625
l_22_3 +31.5 l_22_4 +3.03 ksi_0_1 +15.015 ksi_0_2 -19.14 ksi_0_3
+4.230000000000006 ksi_0_4 +29.85 ksi_0_5 +6.060000000000001 ksi_1_1
+30.03 ksi_1_2 -38.28 ksi_1_3 +8.460000000000012 ksi_1_4 +59.7 ksi_1_5
+3.03 ksi_2_1 +15.015 ksi_2_2 -19.14 ksi_2_3 +4.230000000000006 ksi_2_4
+29.85 ksi_2_5 +232.3 ksi_3_1 +1151.15 ksi_3_2 -1467.4 ksi_3_3
+324.2999999999997 ksi_3_4 +2288.5 ksi_3_5 +235.33 ksi_4_1 +1166.165
ksi_4_2 -1486.54 ksi_4_3 +328.5299999999998 ksi_4_4 +2318.35 ksi_4_5
+235.33 ksi_5_1 +1166.165 ksi_5_2 -1486.54 ksi_5_3 +328.5299999999998
ksi_5_4 +2318.35 ksi_5_5 +238.36 ksi_6_1 +1181.18 ksi_6_2 -1505.68
ksi_6_3 +332.7599999999998 ksi_6_4 +2348.2 ksi_6_5 +3.03 ksi_7_1 +15.015
ksi_7_2 -19.14 ksi_7_3 +4.230000000000006 ksi_7_4 +29.85 ksi_7_5 +232.3
ksi_8_1 +1151.15 ksi_8_2 -1467.4 ksi_8_3 +324.2999999999997 ksi_8_4
+2288.5 ksi_8_5 +235.33 ksi_9_1 +1166.165 ksi_9_2 -1486.54 ksi_9_3
+328.5299999999998 ksi_9_4 +2318.35 ksi_9_5 +232.3 ksi_10_1 +1151.15
ksi_10_2 -1467.4 ksi_10_3 +324.2999999999997 ksi_10_4 +2288.5 ksi_10_5
+239.37 ksi_11_1 +1186.185 ksi_11_2 -1512.06 ksi_11_3 +334.1700000000003
ksi_11_4 +2358.150000000001 ksi_11_5 +259.873 ksi_12_1 +1287.7865
ksi_12_2 -1641.574 ksi_12_3 +362.7929999999997 ksi_12_4 +2560.135
ksi_12_5 +259.873 ksi_13_1 +1287.7865 ksi_13_2 -1641.574 ksi_13_3
+362.7929999999997 ksi_13_4 +2560.135 ksi_13_5 +227.25 ksi_14_1
+1126.125 ksi_14_2 -1435.5 ksi_14_3 +317.2499999999998 ksi_14_4 +2238.75
ksi_14_5 +247.753 ksi_15_1 +1227.7265 ksi_15_2 -1565.014 ksi_15_3
+345.8730000000003 ksi_15_4 +2440.735000000001 ksi_15_5 +247.753
ksi_16_1 +1227.7265 ksi_16_2 -1565.014 ksi_16_3 +345.8730000000003
ksi_16_4 +2440.735000000001 ksi_16_5 +239.37 ksi_17_1 +1186.185 ksi_17_2
-1512.06 ksi_17_3 +334.1700000000003 ksi_17_4 +2358.150000000001
ksi_17_5 +259.873 ksi_18_1 +1287.7865 ksi_18_2 -1641.574 ksi_18_3
+362.7929999999997 ksi_18_4 +2560.135 ksi_18_5 +227.25 ksi_19_1
+1126.125 ksi_19_2 -1435.5 ksi_19_3 +317.2499999999998 ksi_19_4 +2238.75
ksi_19_5 +247.753 ksi_20_1 +1227.7265 ksi_20_2 -1565.014 ksi_20_3
+345.8730000000003 ksi_20_4 +2440.735000000001 ksi_20_5 +239.37 ksi_21_1
+1186.185 ksi_21_2 -1512.06 ksi_21_3 +334.1700000000003 ksi_21_4
+2358.150000000001 ksi_21_5 +227.25 ksi_22_1 +1126.125 ksi_22_2 -1435.5
ksi_22_3 +317.2499999999998 ksi_22_4 +2238.75 ksi_22_5 +50 u_0_0 +50
u_0_1 +18 u_1_0 +18 u_1_1
Subject to
auto_c_000000000: +1 z_1_0_1 +1 z_1_0_6 +1 z_2_0_1 +1 z_2_0_2 +1
z_2_0_5 +1 z_2_0_6 +1 z_2_0_7 +1 z_2_0_9 +1 z_2_0_13 +1 z_2_0_16 +1
z_2_0_18 +1 z_2_0_20 +1 z_3_0_5 +1 z_3_0_9 +1 z_3_0_10 +1 z_4_0_13 +1
z_4_0_18 +1 z_4_0_21 +1 z_5_0_16 +1 z_5_0_20 +1 z_5_0_22 = 1
auto_c_000000001: +1 z_1_1_1 +1 z_1_1_6 +1 z_2_1_1 +1 z_2_1_2 +1
z_2_1_5 +1 z_2_1_6 +1 z_2_1_7 +1 z_2_1_9 +1 z_2_1_13 +1 z_2_1_16 +1
z_2_1_18 +1 z_2_1_20 +1 z_3_1_5 +1 z_3_1_9 +1 z_3_1_10 +1 z_4_1_13 +1
z_4_1_18 +1 z_4_1_21 +1 z_5_1_16 +1 z_5_1_20 +1 z_5_1_22 = 1
auto_c_000000002_rhs: +1 z_5_0_22 <= 1
auto_c_000000002_lhs: +1 z_5_0_22 >= 0
auto_c_000000003_rhs: +1 z_4_1_21 <= 1
auto_c_000000003_lhs: +1 z_4_1_21 >= 0
auto_c_000000004: -1 z_4_0_11 = 0
auto_c_000000005: -1 z_4_0_12 = 0
auto_c_000000006: -1 z_4_0_13 = 0
auto_c_000000007: -1 z_4_0_17 = 0
auto_c_000000008: -1 z_4_0_18 = 0
auto_c_000000009: -1 z_4_0_21 = 0
auto_c_000000010: -1 z_5_1_14 = 0
auto_c_000000011: -1 z_5_1_15 = 0
auto_c_000000012: -1 z_5_1_16 = 0
auto_c_000000013: -1 z_5_1_19 = 0
auto_c_000000014: -1 z_5_1_20 = 0
auto_c_000000015: -1 z_5_1_22 = 0
auto_c_000000016: +1 z_3_0_3 -1 ap_3_0_3 +1 am_3_0_3 = 0
auto_c_000000017: +1 z_3_0_4 -1 ap_3_0_4 +1 am_3_0_4 = 0
auto_c_000000018: +1 z_3_0_5 -1 ap_3_0_5 +1 am_3_0_5 = 0
auto_c_000000019: +1 z_3_0_6 -1 ap_3_0_6 +1 am_3_0_6 = 0
auto_c_000000020: +1 z_3_0_8 -1 ap_3_0_8 +1 am_3_0_8 = 0
auto_c_000000021: +1 z_3_0_9 -1 ap_3_0_9 +1 am_3_0_9 = 0
auto_c_000000022: +1 z_3_0_10 -1 ap_3_0_10 +1 am_3_0_10 = 0
auto_c_000000023: -1 z_1_0_0 = 0
auto_c_000000024: -1 z_2_0_1 = 0
auto_c_000000025: -1 z_2_0_2 = 0
auto_c_000000026: -1 z_3_0_3 = 0
auto_c_000000027: -1 z_1_0_4 = 0
auto_c_000000028: -1 z_2_0_5 = 0
auto_c_000000029: -1 z_2_0_6 = 0
auto_c_000000030: -1 z_4_0_11 = 0
auto_c_000000031: -1 z_1_0_12 = 0
auto_c_000000032: -1 z_2_0_13 = 0
auto_c_000000033: -1 z_5_0_14 = 0
auto_c_000000034: -1 z_1_0_15 = 0
auto_c_000000035: -1 z_2_0_16 = 0
auto_c_000000036: +1 z_1_0_0 -1 ap_1_0_0 +1 am_1_0_0 = 0
auto_c_000000037: +1 z_1_0_1 -1 ap_1_0_1 +1 am_1_0_1 = 0
auto_c_000000038: +1 z_1_0_4 -1 z_3_0_4 -1 ap_1_0_4 +1 am_1_0_4 = 0
auto_c_000000039: +1 z_1_0_6 -1 z_3_0_6 -1 ap_1_0_6 +1 am_1_0_6 = 0
auto_c_000000040: -1 z_2_0_7 = 0
auto_c_000000041: -1 z_3_0_8 = 0
auto_c_000000042: -1 z_2_0_9 = 0
auto_c_000000043: +1 z_1_0_12 -1 z_4_0_12 -1 ap_1_0_12 +1 am_1_0_12 = 0
auto_c_000000044: +1 z_1_0_15 -1 z_5_0_15 -1 ap_1_0_15 +1 am_1_0_15 = 0
auto_c_000000045: -1 z_4_0_17 = 0
auto_c_000000046: -1 z_2_0_18 = 0
auto_c_000000047: -1 z_5_0_19 = 0
auto_c_000000048: -1 z_2_0_20 = 0
auto_c_000000049: +1 z_3_1_3 -1 ap_3_1_3 +1 am_3_1_3 = 0
auto_c_000000050: +1 z_3_1_4 -1 ap_3_1_4 +1 am_3_1_4 = 0
auto_c_000000051: +1 z_3_1_5 -1 ap_3_1_5 +1 am_3_1_5 = 0
auto_c_000000052: +1 z_3_1_6 -1 ap_3_1_6 +1 am_3_1_6 = 0
auto_c_000000053: +1 z_3_1_8 -1 ap_3_1_8 +1 am_3_1_8 = 0
auto_c_000000054: +1 z_3_1_9 -1 ap_3_1_9 +1 am_3_1_9 = 0
auto_c_000000055: +1 z_3_1_10 -1 ap_3_1_10 +1 am_3_1_10 = 0
auto_c_000000056: -1 z_1_1_0 = 0
auto_c_000000057: -1 z_2_1_1 = 0
auto_c_000000058: -1 z_2_1_2 = 0
auto_c_000000059: -1 z_3_1_3 = 0
auto_c_000000060: -1 z_1_1_4 = 0
auto_c_000000061: -1 z_2_1_5 = 0
auto_c_000000062: -1 z_2_1_6 = 0
auto_c_000000063: -1 z_4_1_11 = 0
auto_c_000000064: -1 z_1_1_12 = 0
auto_c_000000065: -1 z_2_1_13 = 0
auto_c_000000066: -1 z_5_1_14 = 0
auto_c_000000067: -1 z_1_1_15 = 0
auto_c_000000068: -1 z_2_1_16 = 0
auto_c_000000069: +1 z_1_1_0 -1 ap_1_1_0 +1 am_1_1_0 = 0
auto_c_000000070: +1 z_1_1_1 -1 ap_1_1_1 +1 am_1_1_1 = 0
auto_c_000000071: +1 z_1_1_4 -1 z_3_1_4 -1 ap_1_1_4 +1 am_1_1_4 = 0
auto_c_000000072: +1 z_1_1_6 -1 z_3_1_6 -1 ap_1_1_6 +1 am_1_1_6 = 0
auto_c_000000073: -1 z_2_1_7 = 0
auto_c_000000074: -1 z_3_1_8 = 0
auto_c_000000075: -1 z_2_1_9 = 0
auto_c_000000076: +1 z_1_1_12 -1 z_4_1_12 -1 ap_1_1_12 +1 am_1_1_12 = 0
auto_c_000000077: +1 z_1_1_15 -1 z_5_1_15 -1 ap_1_1_15 +1 am_1_1_15 = 0
auto_c_000000078: -1 z_4_1_17 = 0
auto_c_000000079: -1 z_2_1_18 = 0
auto_c_000000080: -1 z_5_1_19 = 0
auto_c_000000081: -1 z_2_1_20 = 0
auto_c_000000082: +1 z_3_0_3 -1 ap_3_0_3 <= 0
auto_c_000000083: +1 z_3_0_4 -1 ap_3_0_4 <= 0
auto_c_000000084: +1 z_3_0_5 -1 ap_3_0_5 <= 0
auto_c_000000085: +1 z_3_0_6 -1 ap_3_0_6 <= 0
auto_c_000000086: +1 z_3_0_8 -1 ap_3_0_8 <= 0
auto_c_000000087: +1 z_3_0_9 -1 ap_3_0_9 <= 0
auto_c_000000088: +1 z_3_0_10 -1 ap_3_0_10 <= 0
auto_c_000000089: -1 z_1_0_0 <= 0
auto_c_000000090: -1 z_2_0_1 <= 0
auto_c_000000091: -1 z_2_0_2 <= 0
auto_c_000000092: -1 z_3_0_3 <= 0
auto_c_000000093: -1 z_1_0_4 <= 0
auto_c_000000094: -1 z_2_0_5 <= 0
auto_c_000000095: -1 z_2_0_6 <= 0
auto_c_000000096: -1 z_4_0_11 <= 0
auto_c_000000097: -1 z_1_0_12 <= 0
auto_c_000000098: -1 z_2_0_13 <= 0
auto_c_000000099: -1 z_5_0_14 <= 0
auto_c_000000100: -1 z_1_0_15 <= 0
auto_c_000000101: -1 z_2_0_16 <= 0
auto_c_000000102: +1 z_1_0_0 -1 ap_1_0_0 <= 0
auto_c_000000103: +1 z_1_0_1 -1 ap_1_0_1 <= 0
auto_c_000000104: +1 z_1_0_4 -1 z_3_0_4 -1 ap_1_0_4 <= 0
auto_c_000000105: +1 z_1_0_6 -1 z_3_0_6 -1 ap_1_0_6 <= 0
auto_c_000000106: -1 z_2_0_7 <= 0
auto_c_000000107: -1 z_3_0_8 <= 0
auto_c_000000108: -1 z_2_0_9 <= 0
auto_c_000000109: +1 z_1_0_12 -1 z_4_0_12 -1 ap_1_0_12 <= 0
auto_c_000000110: +1 z_1_0_15 -1 z_5_0_15 -1 ap_1_0_15 <= 0
auto_c_000000111: -1 z_4_0_17 <= 0
auto_c_000000112: -1 z_2_0_18 <= 0
auto_c_000000113: -1 z_5_0_19 <= 0
auto_c_000000114: -1 z_2_0_20 <= 0
auto_c_000000115: +1 z_3_1_3 -1 ap_3_1_3 <= 0
auto_c_000000116: +1 z_3_1_4 -1 ap_3_1_4 <= 0
auto_c_000000117: +1 z_3_1_5 -1 ap_3_1_5 <= 0
auto_c_000000118: +1 z_3_1_6 -1 ap_3_1_6 <= 0
auto_c_000000119: +1 z_3_1_8 -1 ap_3_1_8 <= 0
auto_c_000000120: +1 z_3_1_9 -1 ap_3_1_9 <= 0
auto_c_000000121: +1 z_3_1_10 -1 ap_3_1_10 <= 0
auto_c_000000122: -1 z_1_1_0 <= 0
auto_c_000000123: -1 z_2_1_1 <= 0
auto_c_000000124: -1 z_2_1_2 <= 0
auto_c_000000125: -1 z_3_1_3 <= 0
auto_c_000000126: -1 z_1_1_4 <= 0
auto_c_000000127: -1 z_2_1_5 <= 0
auto_c_000000128: -1 z_2_1_6 <= 0
auto_c_000000129: -1 z_4_1_11 <= 0
auto_c_000000130: -1 z_1_1_12 <= 0
auto_c_000000131: -1 z_2_1_13 <= 0
auto_c_000000132: -1 z_5_1_14 <= 0
auto_c_000000133: -1 z_1_1_15 <= 0
auto_c_000000134: -1 z_2_1_16 <= 0
auto_c_000000135: +1 z_1_1_0 -1 ap_1_1_0 <= 0
auto_c_000000136: +1 z_1_1_1 -1 ap_1_1_1 <= 0
auto_c_000000137: +1 z_1_1_4 -1 z_3_1_4 -1 ap_1_1_4 <= 0
auto_c_000000138: +1 z_1_1_6 -1 z_3_1_6 -1 ap_1_1_6 <= 0
auto_c_000000139: -1 z_2_1_7 <= 0
auto_c_000000140: -1 z_3_1_8 <= 0
auto_c_000000141: -1 z_2_1_9 <= 0
auto_c_000000142: +1 z_1_1_12 -1 z_4_1_12 -1 ap_1_1_12 <= 0
auto_c_000000143: +1 z_1_1_15 -1 z_5_1_15 -1 ap_1_1_15 <= 0
auto_c_000000144: -1 z_4_1_17 <= 0
auto_c_000000145: -1 z_2_1_18 <= 0
auto_c_000000146: -1 z_5_1_19 <= 0
auto_c_000000147: -1 z_2_1_20 <= 0
auto_c_000000148: +1 z_3_0_3 +1 am_3_0_3 >= 0
auto_c_000000149: +1 z_3_0_4 +1 am_3_0_4 >= 0
auto_c_000000150: +1 z_3_0_5 +1 am_3_0_5 >= 0
auto_c_000000151: +1 z_3_0_6 +1 am_3_0_6 >= 0
auto_c_000000152: +1 z_3_0_8 +1 am_3_0_8 >= 0
auto_c_000000153: +1 z_3_0_9 +1 am_3_0_9 >= 0
auto_c_000000154: +1 z_3_0_10 +1 am_3_0_10 >= 0
auto_c_000000155: -1 z_1_0_0 >= 0
auto_c_000000156: -1 z_2_0_1 >= 0
auto_c_000000157: -1 z_2_0_2 >= 0
auto_c_000000158: -1 z_3_0_3 >= 0
auto_c_000000159: -1 z_1_0_4 >= 0
auto_c_000000160: -1 z_2_0_5 >= 0
auto_c_000000161: -1 z_2_0_6 >= 0
auto_c_000000162: -1 z_4_0_11 >= 0
auto_c_000000163: -1 z_1_0_12 >= 0
auto_c_000000164: -1 z_2_0_13 >= 0
auto_c_000000165: -1 z_5_0_14 >= 0
auto_c_000000166: -1 z_1_0_15 >= 0
auto_c_000000167: -1 z_2_0_16 >= 0
auto_c_000000168: +1 z_1_0_0 +1 am_1_0_0 >= 0
auto_c_000000169: +1 z_1_0_1 +1 am_1_0_1 >= 0
auto_c_000000170: +1 z_1_0_4 -1 z_3_0_4 +1 am_1_0_4 >= 0
auto_c_000000171: +1 z_1_0_6 -1 z_3_0_6 +1 am_1_0_6 >= 0
auto_c_000000172: -1 z_2_0_7 >= 0
auto_c_000000173: -1 z_3_0_8 >= 0
auto_c_000000174: -1 z_2_0_9 >= 0
auto_c_000000175: +1 z_1_0_12 -1 z_4_0_12 +1 am_1_0_12 >= 0
auto_c_000000176: +1 z_1_0_15 -1 z_5_0_15 +1 am_1_0_15 >= 0
auto_c_000000177: -1 z_4_0_17 >= 0
auto_c_000000178: -1 z_2_0_18 >= 0
auto_c_000000179: -1 z_5_0_19 >= 0
auto_c_000000180: -1 z_2_0_20 >= 0
auto_c_000000181: +1 z_3_1_3 +1 am_3_1_3 >= 0
auto_c_000000182: +1 z_3_1_4 +1 am_3_1_4 >= 0
auto_c_000000183: +1 z_3_1_5 +1 am_3_1_5 >= 0
auto_c_000000184: +1 z_3_1_6 +1 am_3_1_6 >= 0
auto_c_000000185: +1 z_3_1_8 +1 am_3_1_8 >= 0
auto_c_000000186: +1 z_3_1_9 +1 am_3_1_9 >= 0
auto_c_000000187: +1 z_3_1_10 +1 am_3_1_10 >= 0
auto_c_000000188: -1 z_1_1_0 >= 0
auto_c_000000189: -1 z_2_1_1 >= 0
auto_c_000000190: -1 z_2_1_2 >= 0
auto_c_000000191: -1 z_3_1_3 >= 0
auto_c_000000192: -1 z_1_1_4 >= 0
auto_c_000000193: -1 z_2_1_5 >= 0
auto_c_000000194: -1 z_2_1_6 >= 0
auto_c_000000195: -1 z_4_1_11 >= 0
auto_c_000000196: -1 z_1_1_12 >= 0
auto_c_000000197: -1 z_2_1_13 >= 0
auto_c_000000198: -1 z_5_1_14 >= 0
auto_c_000000199: -1 z_1_1_15 >= 0
auto_c_000000200: -1 z_2_1_16 >= 0
auto_c_000000201: +1 z_1_1_0 +1 am_1_1_0 >= 0
auto_c_000000202: +1 z_1_1_1 +1 am_1_1_1 >= 0
auto_c_000000203: +1 z_1_1_4 -1 z_3_1_4 +1 am_1_1_4 >= 0
auto_c_000000204: +1 z_1_1_6 -1 z_3_1_6 +1 am_1_1_6 >= 0
auto_c_000000205: -1 z_2_1_7 >= 0
auto_c_000000206: -1 z_3_1_8 >= 0
auto_c_000000207: -1 z_2_1_9 >= 0
auto_c_000000208: +1 z_1_1_12 -1 z_4_1_12 +1 am_1_1_12 >= 0
auto_c_000000209: +1 z_1_1_15 -1 z_5_1_15 +1 am_1_1_15 >= 0
auto_c_000000210: -1 z_4_1_17 >= 0
auto_c_000000211: -1 z_2_1_18 >= 0
auto_c_000000212: -1 z_5_1_19 >= 0
auto_c_000000213: -1 z_2_1_20 >= 0
auto_c_000000214: +1 ap_3_0_3 +1 am_3_0_3 <= 1
auto_c_000000215: +1 ap_3_0_4 +1 am_3_0_4 <= 1
auto_c_000000216: +1 ap_3_0_5 +1 am_3_0_5 <= 1
auto_c_000000217: +1 ap_3_0_6 +1 am_3_0_6 <= 1
auto_c_000000218: +1 ap_3_0_8 +1 am_3_0_8 <= 1
auto_c_000000219: +1 ap_3_0_9 +1 am_3_0_9 <= 1
auto_c_000000220: +1 ap_3_0_10 +1 am_3_0_10 <= 1
auto_c_000000221: <= 1
auto_c_000000222: <= 1
auto_c_000000223: <= 1
auto_c_000000224: <= 1
auto_c_000000225: <= 1
auto_c_000000226: <= 1
auto_c_000000227: <= 1
auto_c_000000228: <= 1
auto_c_000000229: <= 1
auto_c_000000230: <= 1
auto_c_000000231: <= 1
auto_c_000000232: <= 1
auto_c_000000233: <= 1
auto_c_000000234: +1 ap_1_0_0 +1 am_1_0_0 <= 1
auto_c_000000235: +1 ap_1_0_1 +1 am_1_0_1 <= 1
auto_c_000000236: +1 ap_1_0_4 +1 am_1_0_4 <= 1
auto_c_000000237: +1 ap_1_0_6 +1 am_1_0_6 <= 1
auto_c_000000238: <= 1
auto_c_000000239: <= 1
auto_c_000000240: <= 1
auto_c_000000241: +1 ap_1_0_12 +1 am_1_0_12 <= 1
auto_c_000000242: +1 ap_1_0_15 +1 am_1_0_15 <= 1
auto_c_000000243: <= 1
auto_c_000000244: <= 1
auto_c_000000245: <= 1
auto_c_000000246: <= 1
auto_c_000000247: +1 ap_3_1_3 +1 am_3_1_3 <= 1
auto_c_000000248: +1 ap_3_1_4 +1 am_3_1_4 <= 1
auto_c_000000249: +1 ap_3_1_5 +1 am_3_1_5 <= 1
auto_c_000000250: +1 ap_3_1_6 +1 am_3_1_6 <= 1
auto_c_000000251: +1 ap_3_1_8 +1 am_3_1_8 <= 1
auto_c_000000252: +1 ap_3_1_9 +1 am_3_1_9 <= 1
auto_c_000000253: +1 ap_3_1_10 +1 am_3_1_10 <= 1
auto_c_000000254: <= 1
auto_c_000000255: <= 1
auto_c_000000256: <= 1
auto_c_000000257: <= 1
auto_c_000000258: <= 1
auto_c_000000259: <= 1
auto_c_000000260: <= 1
auto_c_000000261: <= 1
auto_c_000000262: <= 1
auto_c_000000263: <= 1
auto_c_000000264: <= 1
auto_c_000000265: <= 1
auto_c_000000266: <= 1
auto_c_000000267: +1 ap_1_1_0 +1 am_1_1_0 <= 1
auto_c_000000268: +1 ap_1_1_1 +1 am_1_1_1 <= 1
auto_c_000000269: +1 ap_1_1_4 +1 am_1_1_4 <= 1
auto_c_000000270: +1 ap_1_1_6 +1 am_1_1_6 <= 1
auto_c_000000271: <= 1
auto_c_000000272: <= 1
auto_c_000000273: <= 1
auto_c_000000274: +1 ap_1_1_12 +1 am_1_1_12 <= 1
auto_c_000000275: +1 ap_1_1_15 +1 am_1_1_15 <= 1
auto_c_000000276: <= 1
auto_c_000000277: <= 1
auto_c_000000278: <= 1
auto_c_000000279: <= 1
auto_c_000000280: -2 u_0_0 = 0
auto_c_000000281: +1 ap_1_0_0 +1 ap_1_0_1 +1 ap_1_0_4 +1 ap_1_0_6 +1
ap_1_0_12 +1 ap_1_0_15 +1 am_1_0_0 +1 am_1_0_1 +1 am_1_0_4 +1 am_1_0_6
+1 am_1_0_12 +1 am_1_0_15 -2 u_0_1 = 0
auto_c_000000282: -2 u_1_0 = 0
auto_c_000000283: +1 ap_1_1_0 +1 ap_1_1_1 +1 ap_1_1_4 +1 ap_1_1_6 +1
ap_1_1_12 +1 ap_1_1_15 +1 am_1_1_0 +1 am_1_1_1 +1 am_1_1_4 +1 am_1_1_6
+1 am_1_1_12 +1 am_1_1_15 -2 u_1_1 = 0
auto_c_000000284_rhs: +1 x_0_24 +1 x_0_25 <= 1
auto_c_000000284_lhs: +1 x_0_24 +1 x_0_25 >= 0
auto_c_000000285_rhs: +1 x_1_23 +1 x_1_25 <= 1
auto_c_000000285_lhs: +1 x_1_23 +1 x_1_25 >= 0
auto_c_000000286: -1 x_0_24 -1 x_0_25 +1 z_3_0_3 +1 z_3_0_4 +1 z_3_0_5
+1 z_3_0_6 +1 z_3_0_8 +1 z_3_0_9 +1 z_3_0_10 = 0
auto_c_000000287: -1 x_1_23 -1 x_1_25 +1 z_3_1_3 +1 z_3_1_4 +1 z_3_1_5
+1 z_3_1_6 +1 z_3_1_8 +1 z_3_1_9 +1 z_3_1_10 = 0
auto_c_000000288: +1 x_0_24 +1 x_0_25 +1 z_5_0_22 = 1
auto_c_000000289: +1 x_1_23 +1 x_1_25 +1 z_4_1_21 = 1
auto_c_000000290: -25 z_0_0_0 -9 z_0_1_0 +1 l_0_0 +1 l_0_1 +1 l_0_2 +1
l_0_3 +1 l_0_4 +1 l_0_5 >= 0
auto_c_000000291: -25 z_1_0_0 -9 z_1_1_0 +1 l_0_0 +1 l_0_1 +1 l_0_2 +1
l_0_3 +1 l_0_4 +1 l_0_5 >= 0
auto_c_000000292: -25 z_0_0_1 -9 z_0_1_1 +1 l_1_0 +1 l_1_1 +1 l_1_2 +1
l_1_3 +1 l_1_4 +1 l_1_5 >= 0
auto_c_000000293: -25 z_2_0_1 -9 z_2_1_1 +1 l_1_0 +1 l_1_1 +1 l_1_2 +1
l_1_3 +1 l_1_4 +1 l_1_5 >= 0
auto_c_000000294: -25 z_1_0_1 -9 z_1_1_1 +1 l_1_0 +1 l_1_1 +1 l_1_2 +1
l_1_3 +1 l_1_4 +1 l_1_5 >= 0
auto_c_000000295: -25 z_0_0_2 -9 z_0_1_2 +1 l_2_0 +1 l_2_1 +1 l_2_2 +1
l_2_3 +1 l_2_4 +1 l_2_5 >= 0
auto_c_000000296: -25 z_2_0_2 -9 z_2_1_2 +1 l_2_0 +1 l_2_1 +1 l_2_2 +1
l_2_3 +1 l_2_4 +1 l_2_5 >= 0
auto_c_000000297: -25 z_0_0_3 -9 z_0_1_3 +1 l_3_0 +1 l_3_1 +1 l_3_2 +1
l_3_3 +1 l_3_4 +1 l_3_5 >= 0
auto_c_000000298: -25 z_3_0_3 -9 z_3_1_3 +1 l_3_0 +1 l_3_1 +1 l_3_2 +1
l_3_3 +1 l_3_4 +1 l_3_5 >= 0
auto_c_000000299: -25 z_0_0_4 -9 z_0_1_4 +1 l_4_0 +1 l_4_1 +1 l_4_2 +1
l_4_3 +1 l_4_4 +1 l_4_5 >= 0
auto_c_000000300: -25 z_1_0_4 -9 z_1_1_4 +1 l_4_0 +1 l_4_1 +1 l_4_2 +1
l_4_3 +1 l_4_4 +1 l_4_5 >= 0
auto_c_000000301: -25 z_3_0_4 -9 z_3_1_4 +1 l_4_0 +1 l_4_1 +1 l_4_2 +1
l_4_3 +1 l_4_4 +1 l_4_5 >= 0
auto_c_000000302: -25 z_0_0_5 -9 z_0_1_5 +1 l_5_0 +1 l_5_1 +1 l_5_2 +1
l_5_3 +1 l_5_4 +1 l_5_5 >= 0
auto_c_000000303: -25 z_2_0_5 -9 z_2_1_5 +1 l_5_0 +1 l_5_1 +1 l_5_2 +1
l_5_3 +1 l_5_4 +1 l_5_5 >= 0
auto_c_000000304: -25 z_3_0_5 -9 z_3_1_5 +1 l_5_0 +1 l_5_1 +1 l_5_2 +1
l_5_3 +1 l_5_4 +1 l_5_5 >= 0
auto_c_000000305: -25 z_0_0_6 -9 z_0_1_6 +1 l_6_0 +1 l_6_1 +1 l_6_2 +1
l_6_3 +1 l_6_4 +1 l_6_5 >= 0
auto_c_000000306: -25 z_2_0_6 -9 z_2_1_6 +1 l_6_0 +1 l_6_1 +1 l_6_2 +1
l_6_3 +1 l_6_4 +1 l_6_5 >= 0
auto_c_000000307: -25 z_1_0_6 -9 z_1_1_6 +1 l_6_0 +1 l_6_1 +1 l_6_2 +1
l_6_3 +1 l_6_4 +1 l_6_5 >= 0
auto_c_000000308: -25 z_3_0_6 -9 z_3_1_6 +1 l_6_0 +1 l_6_1 +1 l_6_2 +1
l_6_3 +1 l_6_4 +1 l_6_5 >= 0
auto_c_000000309: -25 z_1_0_7 -9 z_1_1_7 +1 l_7_0 +1 l_7_1 +1 l_7_2 +1
l_7_3 +1 l_7_4 +1 l_7_5 >= 0
auto_c_000000310: -25 z_2_0_7 -9 z_2_1_7 +1 l_7_0 +1 l_7_1 +1 l_7_2 +1
l_7_3 +1 l_7_4 +1 l_7_5 >= 0
auto_c_000000311: -25 z_1_0_8 -9 z_1_1_8 +1 l_8_0 +1 l_8_1 +1 l_8_2 +1
l_8_3 +1 l_8_4 +1 l_8_5 >= 0
auto_c_000000312: -25 z_3_0_8 -9 z_3_1_8 +1 l_8_0 +1 l_8_1 +1 l_8_2 +1
l_8_3 +1 l_8_4 +1 l_8_5 >= 0
auto_c_000000313: -25 z_1_0_9 -9 z_1_1_9 +1 l_9_0 +1 l_9_1 +1 l_9_2 +1
l_9_3 +1 l_9_4 +1 l_9_5 >= 0
auto_c_000000314: -25 z_2_0_9 -9 z_2_1_9 +1 l_9_0 +1 l_9_1 +1 l_9_2 +1
l_9_3 +1 l_9_4 +1 l_9_5 >= 0
auto_c_000000315: -25 z_3_0_9 -9 z_3_1_9 +1 l_9_0 +1 l_9_1 +1 l_9_2 +1
l_9_3 +1 l_9_4 +1 l_9_5 >= 0
auto_c_000000316: -25 z_2_0_10 -9 z_2_1_10 +1 l_10_0 +1 l_10_1 +1
l_10_2 +1 l_10_3 +1 l_10_4 +1 l_10_5 >= 0
auto_c_000000317: -25 z_3_0_10 -9 z_3_1_10 +1 l_10_0 +1 l_10_1 +1
l_10_2 +1 l_10_3 +1 l_10_4 +1 l_10_5 >= 0
auto_c_000000318: -25 z_0_0_11 -9 z_0_1_11 +1 l_11_0 +1 l_11_1 +1
l_11_2 +1 l_11_3 +1 l_11_4 +1 l_11_5 >= 0
auto_c_000000319: -25 z_4_0_11 -9 z_4_1_11 +1 l_11_0 +1 l_11_1 +1
l_11_2 +1 l_11_3 +1 l_11_4 +1 l_11_5 >= 0
auto_c_000000320: -25 z_0_0_12 -9 z_0_1_12 +1 l_12_0 +1 l_12_1 +1
l_12_2 +1 l_12_3 +1 l_12_4 +1 l_12_5 >= 0
auto_c_000000321: -25 z_1_0_12 -9 z_1_1_12 +1 l_12_0 +1 l_12_1 +1
l_12_2 +1 l_12_3 +1 l_12_4 +1 l_12_5 >= 0
auto_c_000000322: -25 z_4_0_12 -9 z_4_1_12 +1 l_12_0 +1 l_12_1 +1
l_12_2 +1 l_12_3 +1 l_12_4 +1 l_12_5 >= 0
auto_c_000000323: -25 z_0_0_13 -9 z_0_1_13 +1 l_13_0 +1 l_13_1 +1
l_13_2 +1 l_13_3 +1 l_13_4 +1 l_13_5 >= 0
auto_c_000000324: -25 z_2_0_13 -9 z_2_1_13 +1 l_13_0 +1 l_13_1 +1
l_13_2 +1 l_13_3 +1 l_13_4 +1 l_13_5 >= 0
auto_c_000000325: -25 z_4_0_13 -9 z_4_1_13 +1 l_13_0 +1 l_13_1 +1
l_13_2 +1 l_13_3 +1 l_13_4 +1 l_13_5 >= 0
auto_c_000000326: -25 z_0_0_14 -9 z_0_1_14 +1 l_14_0 +1 l_14_1 +1
l_14_2 +1 l_14_3 +1 l_14_4 +1 l_14_5 >= 0
auto_c_000000327: -25 z_5_0_14 -9 z_5_1_14 +1 l_14_0 +1 l_14_1 +1
l_14_2 +1 l_14_3 +1 l_14_4 +1 l_14_5 >= 0
auto_c_000000328: -25 z_0_0_15 -9 z_0_1_15 +1 l_15_0 +1 l_15_1 +1
l_15_2 +1 l_15_3 +1 l_15_4 +1 l_15_5 >= 0
auto_c_000000329: -25 z_1_0_15 -9 z_1_1_15 +1 l_15_0 +1 l_15_1 +1
l_15_2 +1 l_15_3 +1 l_15_4 +1 l_15_5 >= 0
auto_c_000000330: -25 z_5_0_15 -9 z_5_1_15 +1 l_15_0 +1 l_15_1 +1
l_15_2 +1 l_15_3 +1 l_15_4 +1 l_15_5 >= 0
auto_c_000000331: -25 z_0_0_16 -9 z_0_1_16 +1 l_16_0 +1 l_16_1 +1
l_16_2 +1 l_16_3 +1 l_16_4 +1 l_16_5 >= 0
auto_c_000000332: -25 z_2_0_16 -9 z_2_1_16 +1 l_16_0 +1 l_16_1 +1
l_16_2 +1 l_16_3 +1 l_16_4 +1 l_16_5 >= 0
auto_c_000000333: -25 z_5_0_16 -9 z_5_1_16 +1 l_16_0 +1 l_16_1 +1
l_16_2 +1 l_16_3 +1 l_16_4 +1 l_16_5 >= 0
auto_c_000000334: -25 z_1_0_17 -9 z_1_1_17 +1 l_17_0 +1 l_17_1 +1
l_17_2 +1 l_17_3 +1 l_17_4 +1 l_17_5 >= 0
auto_c_000000335: -25 z_4_0_17 -9 z_4_1_17 +1 l_17_0 +1 l_17_1 +1
l_17_2 +1 l_17_3 +1 l_17_4 +1 l_17_5 >= 0
auto_c_000000336: -25 z_1_0_18 -9 z_1_1_18 +1 l_18_0 +1 l_18_1 +1
l_18_2 +1 l_18_3 +1 l_18_4 +1 l_18_5 >= 0
auto_c_000000337: -25 z_2_0_18 -9 z_2_1_18 +1 l_18_0 +1 l_18_1 +1
l_18_2 +1 l_18_3 +1 l_18_4 +1 l_18_5 >= 0
auto_c_000000338: -25 z_4_0_18 -9 z_4_1_18 +1 l_18_0 +1 l_18_1 +1
l_18_2 +1 l_18_3 +1 l_18_4 +1 l_18_5 >= 0
auto_c_000000339: -25 z_1_0_19 -9 z_1_1_19 +1 l_19_0 +1 l_19_1 +1
l_19_2 +1 l_19_3 +1 l_19_4 +1 l_19_5 >= 0
auto_c_000000340: -25 z_5_0_19 -9 z_5_1_19 +1 l_19_0 +1 l_19_1 +1
l_19_2 +1 l_19_3 +1 l_19_4 +1 l_19_5 >= 0
auto_c_000000341: -25 z_1_0_20 -9 z_1_1_20 +1 l_20_0 +1 l_20_1 +1
l_20_2 +1 l_20_3 +1 l_20_4 +1 l_20_5 >= 0
auto_c_000000342: -25 z_2_0_20 -9 z_2_1_20 +1 l_20_0 +1 l_20_1 +1
l_20_2 +1 l_20_3 +1 l_20_4 +1 l_20_5 >= 0
auto_c_000000343: -25 z_5_0_20 -9 z_5_1_20 +1 l_20_0 +1 l_20_1 +1
l_20_2 +1 l_20_3 +1 l_20_4 +1 l_20_5 >= 0
auto_c_000000344: -25 z_2_0_21 -9 z_2_1_21 +1 l_21_0 +1 l_21_1 +1
l_21_2 +1 l_21_3 +1 l_21_4 +1 l_21_5 >= 0
auto_c_000000345: -25 z_4_0_21 -9 z_4_1_21 +1 l_21_0 +1 l_21_1 +1
l_21_2 +1 l_21_3 +1 l_21_4 +1 l_21_5 >= 0
auto_c_000000346: -25 z_2_0_22 -9 z_2_1_22 +1 l_22_0 +1 l_22_1 +1
l_22_2 +1 l_22_3 +1 l_22_4 +1 l_22_5 >= 0
auto_c_000000347: -25 z_5_0_22 -9 z_5_1_22 +1 l_22_0 +1 l_22_1 +1
l_22_2 +1 l_22_3 +1 l_22_4 +1 l_22_5 >= 0
auto_c_000000348: -33 b_0 -33 b_1 +9 x_1_23 <= 0
auto_c_000000349: -33 b_2 -33 b_3 +25 x_0_24 <= 0
auto_c_000000350: -33 b_4 -33 b_5 +25 x_0_25 +9 x_1_25 <= 0
auto_c_000000351: <= 0
auto_c_000000352: +1 l_0_0 -5 ksi_0_0 <= 0
auto_c_000000353: -1 l_0_1 +5 ksi_0_1 <= 0
auto_c_000000354: +1 l_0_1 -28 ksi_0_1 <= 0
auto_c_000000355: -1 l_0_2 +28 ksi_0_2 <= 0
auto_c_000000356: +1 l_0_2 -33 ksi_0_2 <= 0
auto_c_000000357: -1 l_0_3 +33 ksi_0_3 <= 0
auto_c_000000358: +1 l_0_3 -38 ksi_0_3 <= 0
auto_c_000000359: -1 l_0_4 +38 ksi_0_4 <= 0
auto_c_000000360: +1 l_0_4 -61 ksi_0_4 <= 0
auto_c_000000361: -1 l_0_5 +61 ksi_0_5 <= 0
auto_c_000000362: +1 l_0_5 -66 ksi_0_5 <= 0
auto_c_000000363: +1 ksi_0_0 +1 ksi_0_1 +1 ksi_0_2 +1 ksi_0_3 +1
ksi_0_4 +1 ksi_0_5 <= 1
auto_c_000000364: <= 0
auto_c_000000365: +1 l_1_0 -5 ksi_1_0 <= 0
auto_c_000000366: -1 l_1_1 +5 ksi_1_1 <= 0
auto_c_000000367: +1 l_1_1 -28 ksi_1_1 <= 0
auto_c_000000368: -1 l_1_2 +28 ksi_1_2 <= 0
auto_c_000000369: +1 l_1_2 -33 ksi_1_2 <= 0
auto_c_000000370: -1 l_1_3 +33 ksi_1_3 <= 0
auto_c_000000371: +1 l_1_3 -38 ksi_1_3 <= 0
auto_c_000000372: -1 l_1_4 +38 ksi_1_4 <= 0
auto_c_000000373: +1 l_1_4 -61 ksi_1_4 <= 0
auto_c_000000374: -1 l_1_5 +61 ksi_1_5 <= 0
auto_c_000000375: +1 l_1_5 -66 ksi_1_5 <= 0
auto_c_000000376: +1 ksi_1_0 +1 ksi_1_1 +1 ksi_1_2 +1 ksi_1_3 +1
ksi_1_4 +1 ksi_1_5 <= 1
auto_c_000000377: <= 0
auto_c_000000378: +1 l_2_0 -5 ksi_2_0 <= 0
auto_c_000000379: -1 l_2_1 +5 ksi_2_1 <= 0
auto_c_000000380: +1 l_2_1 -28 ksi_2_1 <= 0
auto_c_000000381: -1 l_2_2 +28 ksi_2_2 <= 0
auto_c_000000382: +1 l_2_2 -33 ksi_2_2 <= 0
auto_c_000000383: -1 l_2_3 +33 ksi_2_3 <= 0
auto_c_000000384: +1 l_2_3 -38 ksi_2_3 <= 0
auto_c_000000385: -1 l_2_4 +38 ksi_2_4 <= 0
auto_c_000000386: +1 l_2_4 -61 ksi_2_4 <= 0
auto_c_000000387: -1 l_2_5 +61 ksi_2_5 <= 0
auto_c_000000388: +1 l_2_5 -66 ksi_2_5 <= 0
auto_c_000000389: +1 ksi_2_0 +1 ksi_2_1 +1 ksi_2_2 +1 ksi_2_3 +1
ksi_2_4 +1 ksi_2_5 <= 1
auto_c_000000390: <= 0
auto_c_000000391: +1 l_3_0 -5 ksi_3_0 <= 0
auto_c_000000392: -1 l_3_1 +5 ksi_3_1 <= 0
auto_c_000000393: +1 l_3_1 -28 ksi_3_1 <= 0
auto_c_000000394: -1 l_3_2 +28 ksi_3_2 <= 0
auto_c_000000395: +1 l_3_2 -33 ksi_3_2 <= 0
auto_c_000000396: -1 l_3_3 +33 ksi_3_3 <= 0
auto_c_000000397: +1 l_3_3 -38 ksi_3_3 <= 0
auto_c_000000398: -1 l_3_4 +38 ksi_3_4 <= 0
auto_c_000000399: +1 l_3_4 -61 ksi_3_4 <= 0
auto_c_000000400: -1 l_3_5 +61 ksi_3_5 <= 0
auto_c_000000401: +1 l_3_5 -66 ksi_3_5 <= 0
auto_c_000000402: +1 ksi_3_0 +1 ksi_3_1 +1 ksi_3_2 +1 ksi_3_3 +1
ksi_3_4 +1 ksi_3_5 <= 1
auto_c_000000403: <= 0
auto_c_000000404: +1 l_4_0 -5 ksi_4_0 <= 0
auto_c_000000405: -1 l_4_1 +5 ksi_4_1 <= 0
auto_c_000000406: +1 l_4_1 -28 ksi_4_1 <= 0
auto_c_000000407: -1 l_4_2 +28 ksi_4_2 <= 0
auto_c_000000408: +1 l_4_2 -33 ksi_4_2 <= 0
auto_c_000000409: -1 l_4_3 +33 ksi_4_3 <= 0
auto_c_000000410: +1 l_4_3 -38 ksi_4_3 <= 0
auto_c_000000411: -1 l_4_4 +38 ksi_4_4 <= 0
auto_c_000000412: +1 l_4_4 -61 ksi_4_4 <= 0
auto_c_000000413: -1 l_4_5 +61 ksi_4_5 <= 0
auto_c_000000414: +1 l_4_5 -66 ksi_4_5 <= 0
auto_c_000000415: +1 ksi_4_0 +1 ksi_4_1 +1 ksi_4_2 +1 ksi_4_3 +1
ksi_4_4 +1 ksi_4_5 <= 1
auto_c_000000416: <= 0
auto_c_000000417: +1 l_5_0 -5 ksi_5_0 <= 0
auto_c_000000418: -1 l_5_1 +5 ksi_5_1 <= 0
auto_c_000000419: +1 l_5_1 -28 ksi_5_1 <= 0
auto_c_000000420: -1 l_5_2 +28 ksi_5_2 <= 0
auto_c_000000421: +1 l_5_2 -33 ksi_5_2 <= 0
auto_c_000000422: -1 l_5_3 +33 ksi_5_3 <= 0
auto_c_000000423: +1 l_5_3 -38 ksi_5_3 <= 0
auto_c_000000424: -1 l_5_4 +38 ksi_5_4 <= 0
auto_c_000000425: +1 l_5_4 -61 ksi_5_4 <= 0
auto_c_000000426: -1 l_5_5 +61 ksi_5_5 <= 0
auto_c_000000427: +1 l_5_5 -66 ksi_5_5 <= 0
auto_c_000000428: +1 ksi_5_0 +1 ksi_5_1 +1 ksi_5_2 +1 ksi_5_3 +1
ksi_5_4 +1 ksi_5_5 <= 1
auto_c_000000429: <= 0
auto_c_000000430: +1 l_6_0 -5 ksi_6_0 <= 0
auto_c_000000431: -1 l_6_1 +5 ksi_6_1 <= 0
auto_c_000000432: +1 l_6_1 -28 ksi_6_1 <= 0
auto_c_000000433: -1 l_6_2 +28 ksi_6_2 <= 0
auto_c_000000434: +1 l_6_2 -33 ksi_6_2 <= 0
auto_c_000000435: -1 l_6_3 +33 ksi_6_3 <= 0
auto_c_000000436: +1 l_6_3 -38 ksi_6_3 <= 0
auto_c_000000437: -1 l_6_4 +38 ksi_6_4 <= 0
auto_c_000000438: +1 l_6_4 -61 ksi_6_4 <= 0
auto_c_000000439: -1 l_6_5 +61 ksi_6_5 <= 0
auto_c_000000440: +1 l_6_5 -66 ksi_6_5 <= 0
auto_c_000000441: +1 ksi_6_0 +1 ksi_6_1 +1 ksi_6_2 +1 ksi_6_3 +1
ksi_6_4 +1 ksi_6_5 <= 1
auto_c_000000442: <= 0
auto_c_000000443: +1 l_7_0 -5 ksi_7_0 <= 0
auto_c_000000444: -1 l_7_1 +5 ksi_7_1 <= 0
auto_c_000000445: +1 l_7_1 -28 ksi_7_1 <= 0
auto_c_000000446: -1 l_7_2 +28 ksi_7_2 <= 0
auto_c_000000447: +1 l_7_2 -33 ksi_7_2 <= 0
auto_c_000000448: -1 l_7_3 +33 ksi_7_3 <= 0
auto_c_000000449: +1 l_7_3 -38 ksi_7_3 <= 0
auto_c_000000450: -1 l_7_4 +38 ksi_7_4 <= 0
auto_c_000000451: +1 l_7_4 -61 ksi_7_4 <= 0
auto_c_000000452: -1 l_7_5 +61 ksi_7_5 <= 0
auto_c_000000453: +1 l_7_5 -66 ksi_7_5 <= 0
auto_c_000000454: +1 ksi_7_0 +1 ksi_7_1 +1 ksi_7_2 +1 ksi_7_3 +1
ksi_7_4 +1 ksi_7_5 <= 1
auto_c_000000455: <= 0
auto_c_000000456: +1 l_8_0 -5 ksi_8_0 <= 0
auto_c_000000457: -1 l_8_1 +5 ksi_8_1 <= 0
auto_c_000000458: +1 l_8_1 -28 ksi_8_1 <= 0
auto_c_000000459: -1 l_8_2 +28 ksi_8_2 <= 0
auto_c_000000460: +1 l_8_2 -33 ksi_8_2 <= 0
auto_c_000000461: -1 l_8_3 +33 ksi_8_3 <= 0
auto_c_000000462: +1 l_8_3 -38 ksi_8_3 <= 0
auto_c_000000463: -1 l_8_4 +38 ksi_8_4 <= 0
auto_c_000000464: +1 l_8_4 -61 ksi_8_4 <= 0
auto_c_000000465: -1 l_8_5 +61 ksi_8_5 <= 0
auto_c_000000466: +1 l_8_5 -66 ksi_8_5 <= 0
auto_c_000000467: +1 ksi_8_0 +1 ksi_8_1 +1 ksi_8_2 +1 ksi_8_3 +1
ksi_8_4 +1 ksi_8_5 <= 1
auto_c_000000468: <= 0
auto_c_000000469: +1 l_9_0 -5 ksi_9_0 <= 0
auto_c_000000470: -1 l_9_1 +5 ksi_9_1 <= 0
auto_c_000000471: +1 l_9_1 -28 ksi_9_1 <= 0
auto_c_000000472: -1 l_9_2 +28 ksi_9_2 <= 0
auto_c_000000473: +1 l_9_2 -33 ksi_9_2 <= 0
auto_c_000000474: -1 l_9_3 +33 ksi_9_3 <= 0
auto_c_000000475: +1 l_9_3 -38 ksi_9_3 <= 0
auto_c_000000476: -1 l_9_4 +38 ksi_9_4 <= 0
auto_c_000000477: +1 l_9_4 -61 ksi_9_4 <= 0
auto_c_000000478: -1 l_9_5 +61 ksi_9_5 <= 0
auto_c_000000479: +1 l_9_5 -66 ksi_9_5 <= 0
auto_c_000000480: +1 ksi_9_0 +1 ksi_9_1 +1 ksi_9_2 +1 ksi_9_3 +1
ksi_9_4 +1 ksi_9_5 <= 1
auto_c_000000481: <= 0
auto_c_000000482: +1 l_10_0 -5 ksi_10_0 <= 0
auto_c_000000483: -1 l_10_1 +5 ksi_10_1 <= 0
auto_c_000000484: +1 l_10_1 -28 ksi_10_1 <= 0
auto_c_000000485: -1 l_10_2 +28 ksi_10_2 <= 0
auto_c_000000486: +1 l_10_2 -33 ksi_10_2 <= 0
auto_c_000000487: -1 l_10_3 +33 ksi_10_3 <= 0
auto_c_000000488: +1 l_10_3 -38 ksi_10_3 <= 0
auto_c_000000489: -1 l_10_4 +38 ksi_10_4 <= 0
auto_c_000000490: +1 l_10_4 -61 ksi_10_4 <= 0
auto_c_000000491: -1 l_10_5 +61 ksi_10_5 <= 0
auto_c_000000492: +1 l_10_5 -66 ksi_10_5 <= 0
auto_c_000000493: +1 ksi_10_0 +1 ksi_10_1 +1 ksi_10_2 +1 ksi_10_3 +1
ksi_10_4 +1 ksi_10_5 <= 1
auto_c_000000494: <= 0
auto_c_000000495: +1 l_11_0 -5 ksi_11_0 <= 0
auto_c_000000496: -1 l_11_1 +5 ksi_11_1 <= 0
auto_c_000000497: +1 l_11_1 -28 ksi_11_1 <= 0
auto_c_000000498: -1 l_11_2 +28 ksi_11_2 <= 0
auto_c_000000499: +1 l_11_2 -33 ksi_11_2 <= 0
auto_c_000000500: -1 l_11_3 +33 ksi_11_3 <= 0
auto_c_000000501: +1 l_11_3 -38 ksi_11_3 <= 0
auto_c_000000502: -1 l_11_4 +38 ksi_11_4 <= 0
auto_c_000000503: +1 l_11_4 -61 ksi_11_4 <= 0
auto_c_000000504: -1 l_11_5 +61 ksi_11_5 <= 0
auto_c_000000505: +1 l_11_5 -66 ksi_11_5 <= 0
auto_c_000000506: +1 ksi_11_0 +1 ksi_11_1 +1 ksi_11_2 +1 ksi_11_3 +1
ksi_11_4 +1 ksi_11_5 <= 1
auto_c_000000507: <= 0
auto_c_000000508: +1 l_12_0 -5 ksi_12_0 <= 0
auto_c_000000509: -1 l_12_1 +5 ksi_12_1 <= 0
auto_c_000000510: +1 l_12_1 -28 ksi_12_1 <= 0
auto_c_000000511: -1 l_12_2 +28 ksi_12_2 <= 0
auto_c_000000512: +1 l_12_2 -33 ksi_12_2 <= 0
auto_c_000000513: -1 l_12_3 +33 ksi_12_3 <= 0
auto_c_000000514: +1 l_12_3 -38 ksi_12_3 <= 0
auto_c_000000515: -1 l_12_4 +38 ksi_12_4 <= 0
auto_c_000000516: +1 l_12_4 -61 ksi_12_4 <= 0
auto_c_000000517: -1 l_12_5 +61 ksi_12_5 <= 0
auto_c_000000518: +1 l_12_5 -66 ksi_12_5 <= 0
auto_c_000000519: +1 ksi_12_0 +1 ksi_12_1 +1 ksi_12_2 +1 ksi_12_3 +1
ksi_12_4 +1 ksi_12_5 <= 1
auto_c_000000520: <= 0
auto_c_000000521: +1 l_13_0 -5 ksi_13_0 <= 0
auto_c_000000522: -1 l_13_1 +5 ksi_13_1 <= 0
auto_c_000000523: +1 l_13_1 -28 ksi_13_1 <= 0
auto_c_000000524: -1 l_13_2 +28 ksi_13_2 <= 0
auto_c_000000525: +1 l_13_2 -33 ksi_13_2 <= 0
auto_c_000000526: -1 l_13_3 +33 ksi_13_3 <= 0
auto_c_000000527: +1 l_13_3 -38 ksi_13_3 <= 0
auto_c_000000528: -1 l_13_4 +38 ksi_13_4 <= 0
auto_c_000000529: +1 l_13_4 -61 ksi_13_4 <= 0
auto_c_000000530: -1 l_13_5 +61 ksi_13_5 <= 0
auto_c_000000531: +1 l_13_5 -66 ksi_13_5 <= 0
auto_c_000000532: +1 ksi_13_0 +1 ksi_13_1 +1 ksi_13_2 +1 ksi_13_3 +1
ksi_13_4 +1 ksi_13_5 <= 1
auto_c_000000533: <= 0
auto_c_000000534: +1 l_14_0 -5 ksi_14_0 <= 0
auto_c_000000535: -1 l_14_1 +5 ksi_14_1 <= 0
auto_c_000000536: +1 l_14_1 -28 ksi_14_1 <= 0
auto_c_000000537: -1 l_14_2 +28 ksi_14_2 <= 0
auto_c_000000538: +1 l_14_2 -33 ksi_14_2 <= 0
auto_c_000000539: -1 l_14_3 +33 ksi_14_3 <= 0
auto_c_000000540: +1 l_14_3 -38 ksi_14_3 <= 0
auto_c_000000541: -1 l_14_4 +38 ksi_14_4 <= 0
auto_c_000000542: +1 l_14_4 -61 ksi_14_4 <= 0
auto_c_000000543: -1 l_14_5 +61 ksi_14_5 <= 0
auto_c_000000544: +1 l_14_5 -66 ksi_14_5 <= 0
auto_c_000000545: +1 ksi_14_0 +1 ksi_14_1 +1 ksi_14_2 +1 ksi_14_3 +1
ksi_14_4 +1 ksi_14_5 <= 1
auto_c_000000546: <= 0
auto_c_000000547: +1 l_15_0 -5 ksi_15_0 <= 0
auto_c_000000548: -1 l_15_1 +5 ksi_15_1 <= 0
auto_c_000000549: +1 l_15_1 -28 ksi_15_1 <= 0
auto_c_000000550: -1 l_15_2 +28 ksi_15_2 <= 0
auto_c_000000551: +1 l_15_2 -33 ksi_15_2 <= 0
auto_c_000000552: -1 l_15_3 +33 ksi_15_3 <= 0
auto_c_000000553: +1 l_15_3 -38 ksi_15_3 <= 0
auto_c_000000554: -1 l_15_4 +38 ksi_15_4 <= 0
auto_c_000000555: +1 l_15_4 -61 ksi_15_4 <= 0
auto_c_000000556: -1 l_15_5 +61 ksi_15_5 <= 0
auto_c_000000557: +1 l_15_5 -66 ksi_15_5 <= 0
auto_c_000000558: +1 ksi_15_0 +1 ksi_15_1 +1 ksi_15_2 +1 ksi_15_3 +1
ksi_15_4 +1 ksi_15_5 <= 1
auto_c_000000559: <= 0
auto_c_000000560: +1 l_16_0 -5 ksi_16_0 <= 0
auto_c_000000561: -1 l_16_1 +5 ksi_16_1 <= 0
auto_c_000000562: +1 l_16_1 -28 ksi_16_1 <= 0
auto_c_000000563: -1 l_16_2 +28 ksi_16_2 <= 0
auto_c_000000564: +1 l_16_2 -33 ksi_16_2 <= 0
auto_c_000000565: -1 l_16_3 +33 ksi_16_3 <= 0
auto_c_000000566: +1 l_16_3 -38 ksi_16_3 <= 0
auto_c_000000567: -1 l_16_4 +38 ksi_16_4 <= 0
auto_c_000000568: +1 l_16_4 -61 ksi_16_4 <= 0
auto_c_000000569: -1 l_16_5 +61 ksi_16_5 <= 0
auto_c_000000570: +1 l_16_5 -66 ksi_16_5 <= 0
auto_c_000000571: +1 ksi_16_0 +1 ksi_16_1 +1 ksi_16_2 +1 ksi_16_3 +1
ksi_16_4 +1 ksi_16_5 <= 1
auto_c_000000572: <= 0
auto_c_000000573: +1 l_17_0 -5 ksi_17_0 <= 0
auto_c_000000574: -1 l_17_1 +5 ksi_17_1 <= 0
auto_c_000000575: +1 l_17_1 -28 ksi_17_1 <= 0
auto_c_000000576: -1 l_17_2 +28 ksi_17_2 <= 0
auto_c_000000577: +1 l_17_2 -33 ksi_17_2 <= 0
auto_c_000000578: -1 l_17_3 +33 ksi_17_3 <= 0
auto_c_000000579: +1 l_17_3 -38 ksi_17_3 <= 0
auto_c_000000580: -1 l_17_4 +38 ksi_17_4 <= 0
auto_c_000000581: +1 l_17_4 -61 ksi_17_4 <= 0
auto_c_000000582: -1 l_17_5 +61 ksi_17_5 <= 0
auto_c_000000583: +1 l_17_5 -66 ksi_17_5 <= 0
auto_c_000000584: +1 ksi_17_0 +1 ksi_17_1 +1 ksi_17_2 +1 ksi_17_3 +1
ksi_17_4 +1 ksi_17_5 <= 1
auto_c_000000585: <= 0
auto_c_000000586: +1 l_18_0 -5 ksi_18_0 <= 0
auto_c_000000587: -1 l_18_1 +5 ksi_18_1 <= 0
auto_c_000000588: +1 l_18_1 -28 ksi_18_1 <= 0
auto_c_000000589: -1 l_18_2 +28 ksi_18_2 <= 0
auto_c_000000590: +1 l_18_2 -33 ksi_18_2 <= 0
auto_c_000000591: -1 l_18_3 +33 ksi_18_3 <= 0
auto_c_000000592: +1 l_18_3 -38 ksi_18_3 <= 0
auto_c_000000593: -1 l_18_4 +38 ksi_18_4 <= 0
auto_c_000000594: +1 l_18_4 -61 ksi_18_4 <= 0
auto_c_000000595: -1 l_18_5 +61 ksi_18_5 <= 0
auto_c_000000596: +1 l_18_5 -66 ksi_18_5 <= 0
auto_c_000000597: +1 ksi_18_0 +1 ksi_18_1 +1 ksi_18_2 +1 ksi_18_3 +1
ksi_18_4 +1 ksi_18_5 <= 1
auto_c_000000598: <= 0
auto_c_000000599: +1 l_19_0 -5 ksi_19_0 <= 0
auto_c_000000600: -1 l_19_1 +5 ksi_19_1 <= 0
auto_c_000000601: +1 l_19_1 -28 ksi_19_1 <= 0
auto_c_000000602: -1 l_19_2 +28 ksi_19_2 <= 0
auto_c_000000603: +1 l_19_2 -33 ksi_19_2 <= 0
auto_c_000000604: -1 l_19_3 +33 ksi_19_3 <= 0
auto_c_000000605: +1 l_19_3 -38 ksi_19_3 <= 0
auto_c_000000606: -1 l_19_4 +38 ksi_19_4 <= 0
auto_c_000000607: +1 l_19_4 -61 ksi_19_4 <= 0
auto_c_000000608: -1 l_19_5 +61 ksi_19_5 <= 0
auto_c_000000609: +1 l_19_5 -66 ksi_19_5 <= 0
auto_c_000000610: +1 ksi_19_0 +1 ksi_19_1 +1 ksi_19_2 +1 ksi_19_3 +1
ksi_19_4 +1 ksi_19_5 <= 1
auto_c_000000611: <= 0
auto_c_000000612: +1 l_20_0 -5 ksi_20_0 <= 0
auto_c_000000613: -1 l_20_1 +5 ksi_20_1 <= 0
auto_c_000000614: +1 l_20_1 -28 ksi_20_1 <= 0
auto_c_000000615: -1 l_20_2 +28 ksi_20_2 <= 0
auto_c_000000616: +1 l_20_2 -33 ksi_20_2 <= 0
auto_c_000000617: -1 l_20_3 +33 ksi_20_3 <= 0
auto_c_000000618: +1 l_20_3 -38 ksi_20_3 <= 0
auto_c_000000619: -1 l_20_4 +38 ksi_20_4 <= 0
auto_c_000000620: +1 l_20_4 -61 ksi_20_4 <= 0
auto_c_000000621: -1 l_20_5 +61 ksi_20_5 <= 0
auto_c_000000622: +1 l_20_5 -66 ksi_20_5 <= 0
auto_c_000000623: +1 ksi_20_0 +1 ksi_20_1 +1 ksi_20_2 +1 ksi_20_3 +1
ksi_20_4 +1 ksi_20_5 <= 1
auto_c_000000624: <= 0
auto_c_000000625: +1 l_21_0 -5 ksi_21_0 <= 0
auto_c_000000626: -1 l_21_1 +5 ksi_21_1 <= 0
auto_c_000000627: +1 l_21_1 -28 ksi_21_1 <= 0
auto_c_000000628: -1 l_21_2 +28 ksi_21_2 <= 0
auto_c_000000629: +1 l_21_2 -33 ksi_21_2 <= 0
auto_c_000000630: -1 l_21_3 +33 ksi_21_3 <= 0
auto_c_000000631: +1 l_21_3 -38 ksi_21_3 <= 0
auto_c_000000632: -1 l_21_4 +38 ksi_21_4 <= 0
auto_c_000000633: +1 l_21_4 -61 ksi_21_4 <= 0
auto_c_000000634: -1 l_21_5 +61 ksi_21_5 <= 0
auto_c_000000635: +1 l_21_5 -66 ksi_21_5 <= 0
auto_c_000000636: +1 ksi_21_0 +1 ksi_21_1 +1 ksi_21_2 +1 ksi_21_3 +1
ksi_21_4 +1 ksi_21_5 <= 1
auto_c_000000637: <= 0
auto_c_000000638: +1 l_22_0 -5 ksi_22_0 <= 0
auto_c_000000639: -1 l_22_1 +5 ksi_22_1 <= 0
auto_c_000000640: +1 l_22_1 -28 ksi_22_1 <= 0
auto_c_000000641: -1 l_22_2 +28 ksi_22_2 <= 0
auto_c_000000642: +1 l_22_2 -33 ksi_22_2 <= 0
auto_c_000000643: -1 l_22_3 +33 ksi_22_3 <= 0
auto_c_000000644: +1 l_22_3 -38 ksi_22_3 <= 0
auto_c_000000645: -1 l_22_4 +38 ksi_22_4 <= 0
auto_c_000000646: +1 l_22_4 -61 ksi_22_4 <= 0
auto_c_000000647: -1 l_22_5 +61 ksi_22_5 <= 0
auto_c_000000648: +1 l_22_5 -66 ksi_22_5 <= 0
auto_c_000000649: +1 ksi_22_0 +1 ksi_22_1 +1 ksi_22_2 +1 ksi_22_3 +1
ksi_22_4 +1 ksi_22_5 <= 1
Bounds
0 <= b_0 <= 1
0 <= b_1 <= 1
0 <= b_2 <= 1
0 <= b_3 <= 1
0 <= b_4 <= 1
0 <= b_5 <= 1
0 <= x_0_24 <= 1
0 <= x_0_25 <= 1
0 <= x_1_23 <= 1
0 <= x_1_25 <= 1
0 <= z_0_0_0 <= 1
0 <= z_0_0_1 <= 1
0 <= z_0_0_2 <= 1
0 <= z_0_0_3 <= 1
0 <= z_0_0_4 <= 1
0 <= z_0_0_5 <= 1
0 <= z_0_0_6 <= 1
0 <= z_0_0_11 <= 1
0 <= z_0_0_12 <= 1
0 <= z_0_0_13 <= 1
0 <= z_0_0_14 <= 1
0 <= z_0_0_15 <= 1
0 <= z_0_0_16 <= 1
0 <= z_1_0_0 <= 1
0 <= z_1_0_1 <= 1
0 <= z_1_0_4 <= 1
0 <= z_1_0_6 <= 1
0 <= z_1_0_7 <= 1
0 <= z_1_0_8 <= 1
0 <= z_1_0_9 <= 1
0 <= z_1_0_12 <= 1
0 <= z_1_0_15 <= 1
0 <= z_1_0_17 <= 1
0 <= z_1_0_18 <= 1
0 <= z_1_0_19 <= 1
0 <= z_1_0_20 <= 1
0 <= z_2_0_1 <= 1
0 <= z_2_0_2 <= 1
0 <= z_2_0_5 <= 1
0 <= z_2_0_6 <= 1
0 <= z_2_0_7 <= 1
0 <= z_2_0_9 <= 1
0 <= z_2_0_10 <= 1
0 <= z_2_0_13 <= 1
0 <= z_2_0_16 <= 1
0 <= z_2_0_18 <= 1
0 <= z_2_0_20 <= 1
0 <= z_2_0_21 <= 1
0 <= z_2_0_22 <= 1
0 <= z_3_0_3 <= 1
0 <= z_3_0_4 <= 1
0 <= z_3_0_5 <= 1
0 <= z_3_0_6 <= 1
0 <= z_3_0_8 <= 1
0 <= z_3_0_9 <= 1
0 <= z_3_0_10 <= 1
0 <= z_4_0_11 <= 1
0 <= z_4_0_12 <= 1
0 <= z_4_0_13 <= 1
0 <= z_4_0_17 <= 1
0 <= z_4_0_18 <= 1
0 <= z_4_0_21 <= 1
0 <= z_5_0_14 <= 1
0 <= z_5_0_15 <= 1
0 <= z_5_0_16 <= 1
0 <= z_5_0_19 <= 1
0 <= z_5_0_20 <= 1
0 <= z_5_0_22 <= 1
0 <= z_0_1_0 <= 1
0 <= z_0_1_1 <= 1
0 <= z_0_1_2 <= 1
0 <= z_0_1_3 <= 1
0 <= z_0_1_4 <= 1
0 <= z_0_1_5 <= 1
0 <= z_0_1_6 <= 1
0 <= z_0_1_11 <= 1
0 <= z_0_1_12 <= 1
0 <= z_0_1_13 <= 1
0 <= z_0_1_14 <= 1
0 <= z_0_1_15 <= 1
0 <= z_0_1_16 <= 1
0 <= z_1_1_0 <= 1
0 <= z_1_1_1 <= 1
0 <= z_1_1_4 <= 1
0 <= z_1_1_6 <= 1
0 <= z_1_1_7 <= 1
0 <= z_1_1_8 <= 1
0 <= z_1_1_9 <= 1
0 <= z_1_1_12 <= 1
0 <= z_1_1_15 <= 1
0 <= z_1_1_17 <= 1
0 <= z_1_1_18 <= 1
0 <= z_1_1_19 <= 1
0 <= z_1_1_20 <= 1
0 <= z_2_1_1 <= 1
0 <= z_2_1_2 <= 1
0 <= z_2_1_5 <= 1
0 <= z_2_1_6 <= 1
0 <= z_2_1_7 <= 1
0 <= z_2_1_9 <= 1
0 <= z_2_1_10 <= 1
0 <= z_2_1_13 <= 1
0 <= z_2_1_16 <= 1
0 <= z_2_1_18 <= 1
0 <= z_2_1_20 <= 1
0 <= z_2_1_21 <= 1
0 <= z_2_1_22 <= 1
0 <= z_3_1_3 <= 1
0 <= z_3_1_4 <= 1
0 <= z_3_1_5 <= 1
0 <= z_3_1_6 <= 1
0 <= z_3_1_8 <= 1
0 <= z_3_1_9 <= 1
0 <= z_3_1_10 <= 1
0 <= z_4_1_11 <= 1
0 <= z_4_1_12 <= 1
0 <= z_4_1_13 <= 1
0 <= z_4_1_17 <= 1
0 <= z_4_1_18 <= 1
0 <= z_4_1_21 <= 1
0 <= z_5_1_14 <= 1
0 <= z_5_1_15 <= 1
0 <= z_5_1_16 <= 1
0 <= z_5_1_19 <= 1
0 <= z_5_1_20 <= 1
0 <= z_5_1_22 <= 1
0 <= ap_3_0_3 <= 1
0 <= ap_3_0_4 <= 1
0 <= ap_3_0_5 <= 1
0 <= ap_3_0_6 <= 1
0 <= ap_3_0_8 <= 1
0 <= ap_3_0_9 <= 1
0 <= ap_3_0_10 <= 1
0 <= ap_1_0_0 <= 1
0 <= ap_1_0_1 <= 1
0 <= ap_1_0_4 <= 1
0 <= ap_1_0_6 <= 1
0 <= ap_1_0_12 <= 1
0 <= ap_1_0_15 <= 1
0 <= ap_3_1_3 <= 1
0 <= ap_3_1_4 <= 1
0 <= ap_3_1_5 <= 1
0 <= ap_3_1_6 <= 1
0 <= ap_3_1_8 <= 1
0 <= ap_3_1_9 <= 1
0 <= ap_3_1_10 <= 1
0 <= ap_1_1_0 <= 1
0 <= ap_1_1_1 <= 1
0 <= ap_1_1_4 <= 1
0 <= ap_1_1_6 <= 1
0 <= ap_1_1_12 <= 1
0 <= ap_1_1_15 <= 1
0 <= am_3_0_3 <= 1
0 <= am_3_0_4 <= 1
0 <= am_3_0_5 <= 1
0 <= am_3_0_6 <= 1
0 <= am_3_0_8 <= 1
0 <= am_3_0_9 <= 1
0 <= am_3_0_10 <= 1
0 <= am_1_0_0 <= 1
0 <= am_1_0_1 <= 1
0 <= am_1_0_4 <= 1
0 <= am_1_0_6 <= 1
0 <= am_1_0_12 <= 1
0 <= am_1_0_15 <= 1
0 <= am_3_1_3 <= 1
0 <= am_3_1_4 <= 1
0 <= am_3_1_5 <= 1
0 <= am_3_1_6 <= 1
0 <= am_3_1_8 <= 1
0 <= am_3_1_9 <= 1
0 <= am_3_1_10 <= 1
0 <= am_1_1_0 <= 1
0 <= am_1_1_1 <= 1
0 <= am_1_1_4 <= 1
0 <= am_1_1_6 <= 1
0 <= am_1_1_12 <= 1
0 <= am_1_1_15 <= 1
0 <= l_0_0 <= 100000
0 <= l_0_1 <= 100000
0 <= l_0_2 <= 100000
0 <= l_0_3 <= 100000
0 <= l_0_4 <= 100000
0 <= l_0_5 <= 100000
0 <= l_1_0 <= 100000
0 <= l_1_1 <= 100000
0 <= l_1_2 <= 100000
0 <= l_1_3 <= 100000
0 <= l_1_4 <= 100000
0 <= l_1_5 <= 100000
0 <= l_2_0 <= 100000
0 <= l_2_1 <= 100000
0 <= l_2_2 <= 100000
0 <= l_2_3 <= 100000
0 <= l_2_4 <= 100000
0 <= l_2_5 <= 100000
0 <= l_3_0 <= 100000
0 <= l_3_1 <= 100000
0 <= l_3_2 <= 100000
0 <= l_3_3 <= 100000
0 <= l_3_4 <= 100000
0 <= l_3_5 <= 100000
0 <= l_4_0 <= 100000
0 <= l_4_1 <= 100000
0 <= l_4_2 <= 100000
0 <= l_4_3 <= 100000
0 <= l_4_4 <= 100000
0 <= l_4_5 <= 100000
0 <= l_5_0 <= 100000
0 <= l_5_1 <= 100000
0 <= l_5_2 <= 100000
0 <= l_5_3 <= 100000
0 <= l_5_4 <= 100000
0 <= l_5_5 <= 100000
0 <= l_6_0 <= 100000
0 <= l_6_1 <= 100000
0 <= l_6_2 <= 100000
0 <= l_6_3 <= 100000
0 <= l_6_4 <= 100000
0 <= l_6_5 <= 100000
0 <= l_7_0 <= 100000
0 <= l_7_1 <= 100000
0 <= l_7_2 <= 100000
0 <= l_7_3 <= 100000
0 <= l_7_4 <= 100000
0 <= l_7_5 <= 100000
0 <= l_8_0 <= 100000
0 <= l_8_1 <= 100000
0 <= l_8_2 <= 100000
0 <= l_8_3 <= 100000
0 <= l_8_4 <= 100000
0 <= l_8_5 <= 100000
0 <= l_9_0 <= 100000
0 <= l_9_1 <= 100000
0 <= l_9_2 <= 100000
0 <= l_9_3 <= 100000
0 <= l_9_4 <= 100000
0 <= l_9_5 <= 100000
0 <= l_10_0 <= 100000
0 <= l_10_1 <= 100000
0 <= l_10_2 <= 100000
0 <= l_10_3 <= 100000
0 <= l_10_4 <= 100000
0 <= l_10_5 <= 100000
0 <= l_11_0 <= 100000
0 <= l_11_1 <= 100000
0 <= l_11_2 <= 100000
0 <= l_11_3 <= 100000
0 <= l_11_4 <= 100000
0 <= l_11_5 <= 100000
0 <= l_12_0 <= 100000
0 <= l_12_1 <= 100000
0 <= l_12_2 <= 100000
0 <= l_12_3 <= 100000
0 <= l_12_4 <= 100000
0 <= l_12_5 <= 100000
0 <= l_13_0 <= 100000
0 <= l_13_1 <= 100000
0 <= l_13_2 <= 100000
0 <= l_13_3 <= 100000
0 <= l_13_4 <= 100000
0 <= l_13_5 <= 100000
0 <= l_14_0 <= 100000
0 <= l_14_1 <= 100000
0 <= l_14_2 <= 100000
0 <= l_14_3 <= 100000
0 <= l_14_4 <= 100000
0 <= l_14_5 <= 100000
0 <= l_15_0 <= 100000
0 <= l_15_1 <= 100000
0 <= l_15_2 <= 100000
0 <= l_15_3 <= 100000
0 <= l_15_4 <= 100000
0 <= l_15_5 <= 100000
0 <= l_16_0 <= 100000
0 <= l_16_1 <= 100000
0 <= l_16_2 <= 100000
0 <= l_16_3 <= 100000
0 <= l_16_4 <= 100000
0 <= l_16_5 <= 100000
0 <= l_17_0 <= 100000
0 <= l_17_1 <= 100000
0 <= l_17_2 <= 100000
0 <= l_17_3 <= 100000
0 <= l_17_4 <= 100000
0 <= l_17_5 <= 100000
0 <= l_18_0 <= 100000
0 <= l_18_1 <= 100000
0 <= l_18_2 <= 100000
0 <= l_18_3 <= 100000
0 <= l_18_4 <= 100000
0 <= l_18_5 <= 100000
0 <= l_19_0 <= 100000
0 <= l_19_1 <= 100000
0 <= l_19_2 <= 100000
0 <= l_19_3 <= 100000
0 <= l_19_4 <= 100000
0 <= l_19_5 <= 100000
0 <= l_20_0 <= 100000
0 <= l_20_1 <= 100000
0 <= l_20_2 <= 100000
0 <= l_20_3 <= 100000
0 <= l_20_4 <= 100000
0 <= l_20_5 <= 100000
0 <= l_21_0 <= 100000
0 <= l_21_1 <= 100000
0 <= l_21_2 <= 100000
0 <= l_21_3 <= 100000
0 <= l_21_4 <= 100000
0 <= l_21_5 <= 100000
0 <= l_22_0 <= 100000
0 <= l_22_1 <= 100000
0 <= l_22_2 <= 100000
0 <= l_22_3 <= 100000
0 <= l_22_4 <= 100000
0 <= l_22_5 <= 100000
0 <= ksi_0_0 <= 1
0 <= ksi_0_1 <= 1
0 <= ksi_0_2 <= 1
0 <= ksi_0_3 <= 1
0 <= ksi_0_4 <= 1
0 <= ksi_0_5 <= 1
0 <= ksi_1_0 <= 1
0 <= ksi_1_1 <= 1
0 <= ksi_1_2 <= 1
0 <= ksi_1_3 <= 1
0 <= ksi_1_4 <= 1
0 <= ksi_1_5 <= 1
0 <= ksi_2_0 <= 1
0 <= ksi_2_1 <= 1
0 <= ksi_2_2 <= 1
0 <= ksi_2_3 <= 1
0 <= ksi_2_4 <= 1
0 <= ksi_2_5 <= 1
0 <= ksi_3_0 <= 1
0 <= ksi_3_1 <= 1
0 <= ksi_3_2 <= 1
0 <= ksi_3_3 <= 1
0 <= ksi_3_4 <= 1
0 <= ksi_3_5 <= 1
0 <= ksi_4_0 <= 1
0 <= ksi_4_1 <= 1
0 <= ksi_4_2 <= 1
0 <= ksi_4_3 <= 1
0 <= ksi_4_4 <= 1
0 <= ksi_4_5 <= 1
0 <= ksi_5_0 <= 1
0 <= ksi_5_1 <= 1
0 <= ksi_5_2 <= 1
0 <= ksi_5_3 <= 1
0 <= ksi_5_4 <= 1
0 <= ksi_5_5 <= 1
0 <= ksi_6_0 <= 1
0 <= ksi_6_1 <= 1
0 <= ksi_6_2 <= 1
0 <= ksi_6_3 <= 1
0 <= ksi_6_4 <= 1
0 <= ksi_6_5 <= 1
0 <= ksi_7_0 <= 1
0 <= ksi_7_1 <= 1
0 <= ksi_7_2 <= 1
0 <= ksi_7_3 <= 1
0 <= ksi_7_4 <= 1
0 <= ksi_7_5 <= 1
0 <= ksi_8_0 <= 1
0 <= ksi_8_1 <= 1
0 <= ksi_8_2 <= 1
0 <= ksi_8_3 <= 1
0 <= ksi_8_4 <= 1
0 <= ksi_8_5 <= 1
0 <= ksi_9_0 <= 1
0 <= ksi_9_1 <= 1
0 <= ksi_9_2 <= 1
0 <= ksi_9_3 <= 1
0 <= ksi_9_4 <= 1
0 <= ksi_9_5 <= 1
0 <= ksi_10_0 <= 1
0 <= ksi_10_1 <= 1
0 <= ksi_10_2 <= 1
0 <= ksi_10_3 <= 1
0 <= ksi_10_4 <= 1
0 <= ksi_10_5 <= 1
0 <= ksi_11_0 <= 1
0 <= ksi_11_1 <= 1
0 <= ksi_11_2 <= 1
0 <= ksi_11_3 <= 1
0 <= ksi_11_4 <= 1
0 <= ksi_11_5 <= 1
0 <= ksi_12_0 <= 1
0 <= ksi_12_1 <= 1
0 <= ksi_12_2 <= 1
0 <= ksi_12_3 <= 1
0 <= ksi_12_4 <= 1
0 <= ksi_12_5 <= 1
0 <= ksi_13_0 <= 1
0 <= ksi_13_1 <= 1
0 <= ksi_13_2 <= 1
0 <= ksi_13_3 <= 1
0 <= ksi_13_4 <= 1
0 <= ksi_13_5 <= 1
0 <= ksi_14_0 <= 1
0 <= ksi_14_1 <= 1
0 <= ksi_14_2 <= 1
0 <= ksi_14_3 <= 1
0 <= ksi_14_4 <= 1
0 <= ksi_14_5 <= 1
0 <= ksi_15_0 <= 1
0 <= ksi_15_1 <= 1
0 <= ksi_15_2 <= 1
0 <= ksi_15_3 <= 1
0 <= ksi_15_4 <= 1
0 <= ksi_15_5 <= 1
0 <= ksi_16_0 <= 1
0 <= ksi_16_1 <= 1
0 <= ksi_16_2 <= 1
0 <= ksi_16_3 <= 1
0 <= ksi_16_4 <= 1
0 <= ksi_16_5 <= 1
0 <= ksi_17_0 <= 1
0 <= ksi_17_1 <= 1
0 <= ksi_17_2 <= 1
0 <= ksi_17_3 <= 1
0 <= ksi_17_4 <= 1
0 <= ksi_17_5 <= 1
0 <= ksi_18_0 <= 1
0 <= ksi_18_1 <= 1
0 <= ksi_18_2 <= 1
0 <= ksi_18_3 <= 1
0 <= ksi_18_4 <= 1
0 <= ksi_18_5 <= 1
0 <= ksi_19_0 <= 1
0 <= ksi_19_1 <= 1
0 <= ksi_19_2 <= 1
0 <= ksi_19_3 <= 1
0 <= ksi_19_4 <= 1
0 <= ksi_19_5 <= 1
0 <= ksi_20_0 <= 1
0 <= ksi_20_1 <= 1
0 <= ksi_20_2 <= 1
0 <= ksi_20_3 <= 1
0 <= ksi_20_4 <= 1
0 <= ksi_20_5 <= 1
0 <= ksi_21_0 <= 1
0 <= ksi_21_1 <= 1
0 <= ksi_21_2 <= 1
0 <= ksi_21_3 <= 1
0 <= ksi_21_4 <= 1
0 <= ksi_21_5 <= 1
0 <= ksi_22_0 <= 1
0 <= ksi_22_1 <= 1
0 <= ksi_22_2 <= 1
0 <= ksi_22_3 <= 1
0 <= ksi_22_4 <= 1
0 <= ksi_22_5 <= 1
0 <= u_0_0 <= 1
0 <= u_0_1 <= 1
0 <= u_1_0 <= 1
0 <= u_1_1 <= 1
Binaries
b_0
b_1
b_2
b_3
b_4
b_5
x_0_24
x_0_25
x_1_23
x_1_25
z_0_0_0
z_0_0_1
z_0_0_2
z_0_0_3
z_0_0_4
z_0_0_5
z_0_0_6
z_0_0_11
z_0_0_12
z_0_0_13
z_0_0_14
z_0_0_15
z_0_0_16
z_1_0_0
z_1_0_1
z_1_0_4
z_1_0_6
z_1_0_7
z_1_0_8
z_1_0_9
z_1_0_12
z_1_0_15
z_1_0_17
z_1_0_18
z_1_0_19
z_1_0_20
z_2_0_1
z_2_0_2
z_2_0_5
z_2_0_6
z_2_0_7
z_2_0_9
z_2_0_10
z_2_0_13
z_2_0_16
z_2_0_18
z_2_0_20
z_2_0_21
z_2_0_22
z_3_0_3
z_3_0_4
z_3_0_5
z_3_0_6
z_3_0_8
z_3_0_9
z_3_0_10
z_4_0_11
z_4_0_12
z_4_0_13
z_4_0_17
z_4_0_18
z_4_0_21
z_5_0_14
z_5_0_15
z_5_0_16
z_5_0_19
z_5_0_20
z_5_0_22
z_0_1_0
z_0_1_1
z_0_1_2
z_0_1_3
z_0_1_4
z_0_1_5
z_0_1_6
z_0_1_11
z_0_1_12
z_0_1_13
z_0_1_14
z_0_1_15
z_0_1_16
z_1_1_0
z_1_1_1
z_1_1_4
z_1_1_6
z_1_1_7
z_1_1_8
z_1_1_9
z_1_1_12
z_1_1_15
z_1_1_17
z_1_1_18
z_1_1_19
z_1_1_20
z_2_1_1
z_2_1_2
z_2_1_5
z_2_1_6
z_2_1_7
z_2_1_9
z_2_1_10
z_2_1_13
z_2_1_16
z_2_1_18
z_2_1_20
z_2_1_21
z_2_1_22
z_3_1_3
z_3_1_4
z_3_1_5
z_3_1_6
z_3_1_8
z_3_1_9
z_3_1_10
z_4_1_11
z_4_1_12
z_4_1_13
z_4_1_17
z_4_1_18
z_4_1_21
z_5_1_14
z_5_1_15
z_5_1_16
z_5_1_19
z_5_1_20
z_5_1_22
ap_3_0_3
ap_3_0_4
ap_3_0_5
ap_3_0_6
ap_3_0_8
ap_3_0_9
ap_3_0_10
ap_1_0_0
ap_1_0_1
ap_1_0_4
ap_1_0_6
ap_1_0_12
ap_1_0_15
ap_3_1_3
ap_3_1_4
ap_3_1_5
ap_3_1_6
ap_3_1_8
ap_3_1_9
ap_3_1_10
ap_1_1_0
ap_1_1_1
ap_1_1_4
ap_1_1_6
ap_1_1_12
ap_1_1_15
am_3_0_3
am_3_0_4
am_3_0_5
am_3_0_6
am_3_0_8
am_3_0_9
am_3_0_10
am_1_0_0
am_1_0_1
am_1_0_4
am_1_0_6
am_1_0_12
am_1_0_15
am_3_1_3
am_3_1_4
am_3_1_5
am_3_1_6
am_3_1_8
am_3_1_9
am_3_1_10
am_1_1_0
am_1_1_1
am_1_1_4
am_1_1_6
am_1_1_12
am_1_1_15
ksi_0_0
ksi_0_1
ksi_0_2
ksi_0_3
ksi_0_4
ksi_0_5
ksi_1_0
ksi_1_1
ksi_1_2
ksi_1_3
ksi_1_4
ksi_1_5
ksi_2_0
ksi_2_1
ksi_2_2
ksi_2_3
ksi_2_4
ksi_2_5
ksi_3_0
ksi_3_1
ksi_3_2
ksi_3_3
ksi_3_4
ksi_3_5
ksi_4_0
ksi_4_1
ksi_4_2
ksi_4_3
ksi_4_4
ksi_4_5
ksi_5_0
ksi_5_1
ksi_5_2
ksi_5_3
ksi_5_4
ksi_5_5
ksi_6_0
ksi_6_1
ksi_6_2
ksi_6_3
ksi_6_4
ksi_6_5
ksi_7_0
ksi_7_1
ksi_7_2
ksi_7_3
ksi_7_4
ksi_7_5
ksi_8_0
ksi_8_1
ksi_8_2
ksi_8_3
ksi_8_4
ksi_8_5
ksi_9_0
ksi_9_1
ksi_9_2
ksi_9_3
ksi_9_4
ksi_9_5
ksi_10_0
ksi_10_1
ksi_10_2
ksi_10_3
ksi_10_4
ksi_10_5
ksi_11_0
ksi_11_1
ksi_11_2
ksi_11_3
ksi_11_4
ksi_11_5
ksi_12_0
ksi_12_1
ksi_12_2
ksi_12_3
ksi_12_4
ksi_12_5
ksi_13_0
ksi_13_1
ksi_13_2
ksi_13_3
ksi_13_4
ksi_13_5
ksi_14_0
ksi_14_1
ksi_14_2
ksi_14_3
ksi_14_4
ksi_14_5
ksi_15_0
ksi_15_1
ksi_15_2
ksi_15_3
ksi_15_4
ksi_15_5
ksi_16_0
ksi_16_1
ksi_16_2
ksi_16_3
ksi_16_4
ksi_16_5
ksi_17_0
ksi_17_1
ksi_17_2
ksi_17_3
ksi_17_4
ksi_17_5
ksi_18_0
ksi_18_1
ksi_18_2
ksi_18_3
ksi_18_4
ksi_18_5
ksi_19_0
ksi_19_1
ksi_19_2
ksi_19_3
ksi_19_4
ksi_19_5
ksi_20_0
ksi_20_1
ksi_20_2
ksi_20_3
ksi_20_4
ksi_20_5
ksi_21_0
ksi_21_1
ksi_21_2
ksi_21_3
ksi_21_4
ksi_21_5
ksi_22_0
ksi_22_1
ksi_22_2
ksi_22_3
ksi_22_4
ksi_22_5
u_0_0
u_0_1
u_1_0
u_1_1
End
More information about the Cbc
mailing list