min: +20.64 X0001 +102.27 X0007 +189.84 X0019 +180.48 X0025 +171.32 X0031 +0.45 X0037 +0.45 X0043 +0.45 X0049 +0.45 X0055 +0.45 X0061 +0.45 X0067 +0.45 X0073 +0.45 X0079 +0.45 X0085 +0.45 X0091 +0.45 X0097 +0.45 X0103 +0.45 X0109 +0.45 X0115 +0.45 X0121 +0.45 X0127 +0.91 X0151 +0.91 X0157 +0.91 X0163 +0.91 X0169 +1.81 X0175 +1.81 X0181 +1.81 X0187 +1.81 X0193 +4.54 X0229 +4.54 X0235 +4.54 X0241 +4.54 X0247 +2.27 X0253 +4.54 X0259 +4.54 X0265 +0.45 X0271 +4.54 X0277 +56.69 X0283 +25.62 X0289 +56.69 X0295 +4.54 X0301 +200.96 X0308 +74.45 X0314 +184.65 X0320 +118.7 X0326 +35.91 X0332 +17.57 X0002 +87.05 X0008 +177.18 X0020 +168.44 X0026 +160.06 X0032 +0.39 X0038 +0.39 X0044 +0.39 X0050 +0.39 X0056 +0.39 X0062 +0.39 X0068 +0.39 X0074 +0.39 X0080 +0.39 X0086 +0.39 X0092 +0.39 X0098 +0.39 X0104 +0.39 X0110 +0.39 X0116 +0.39 X0122 +0.39 X0128 +0.77 X0152 +0.77 X0158 +0.77 X0164 +0.77 X0170 +1.54 X0176 +1.54 X0182 +1.54 X0188 +1.54 X0194 +3.86 X0230 +3.86 X0236 +3.86 X0242 +3.86 X0248 +1.93 X0254 +3.86 X0260 +3.86 X0266 +0.39 X0272 +3.86 X0278 +48.26 X0284 +21.81 X0290 +48.26 X0296 +3.86 X0302 +146.54 X0309 +54.29 X0315 +136.67 X0321 +87.86 X0327 +26.58 X0333 +15.52 X0003 +76.91 X0009 +173.26 X0021 +164.72 X0027 +156.5 X0033 +0.34 X0039 +0.34 X0045 +0.34 X0051 +0.34 X0057 +0.34 X0063 +0.34 X0069 +0.34 X0075 +0.34 X0081 +0.34 X0087 +0.34 X0093 +0.34 X0099 +0.34 X0105 +0.34 X0111 +0.34 X0117 +0.34 X0123 +0.34 X0129 +0.68 X0153 +0.68 X0159 +0.68 X0165 +0.68 X0171 +1.36 X0177 +1.36 X0183 +1.36 X0189 +1.36 X0195 +3.41 X0231 +3.41 X0237 +3.41 X0243 +3.41 X0249 +1.71 X0255 +3.41 X0261 +3.41 X0267 +0.34 X0273 +3.41 X0279 +42.63 X0285 +19.27 X0291 +42.63 X0297 +3.41 X0303 +101.71 X0310 +37.68 X0316 +96.49 X0322 +62.03 X0328 +18.76 X0334 +14.54 X0004 +72.04 X0010 +185.42 X0022 +176.26 X0028 +167.3 X0034 +0.32 X0040 +0.32 X0046 +0.32 X0052 +0.32 X0058 +0.32 X0064 +0.32 X0070 +0.32 X0076 +0.32 X0082 +0.32 X0088 +0.32 X0094 +0.32 X0100 +0.32 X0106 +0.32 X0112 +0.32 X0118 +0.32 X0124 +0.32 X0130 +0.64 X0154 +0.64 X0160 +0.64 X0166 +0.64 X0172 +1.28 X0178 +1.28 X0184 +1.28 X0190 +1.28 X0196 +3.19 X0232 +3.19 X0238 +3.19 X0244 +3.19 X0250 +1.6 X0256 +3.19 X0262 +3.19 X0268 +0.32 X0274 +3.19 X0280 +39.93 X0286 +18.05 X0292 +39.93 X0298 +3.19 X0304 +63.6 X0311 +23.56 X0317 +61.67 X0323 +39.65 X0329 +11.99 X0335 +10.79 X0005 +53.48 X0011 +159.51 X0023 +151.62 X0029 +143.96 X0035 +0.24 X0041 +0.24 X0047 +0.24 X0053 +0.24 X0059 +0.24 X0065 +0.24 X0071 +0.24 X0077 +0.24 X0083 +0.24 X0089 +0.24 X0095 +0.24 X0101 +0.24 X0107 +0.24 X0113 +0.24 X0119 +0.24 X0125 +0.24 X0131 +0.47 X0155 +0.47 X0161 +0.47 X0167 +0.47 X0173 +0.95 X0179 +0.95 X0185 +0.95 X0191 +0.95 X0197 +2.37 X0233 +2.37 X0239 +2.37 X0245 +2.37 X0251 +1.19 X0257 +2.37 X0263 +2.37 X0269 +0.24 X0275 +2.37 X0281 +29.65 X0287 +13.4 X0293 +29.65 X0299 +2.37 X0305 +29.89 X0312 +11.07 X0318 +29.99 X0324 +19.28 X0330 +5.83 X0336 +2.68 X0006 +13.3 X0012 +45.39 X0024 +43.14 X0030 +40.98 X0036 +0.06 X0042 +0.06 X0048 +0.06 X0054 +0.06 X0060 +0.06 X0066 +0.06 X0072 +0.06 X0078 +0.06 X0084 +0.06 X0090 +0.06 X0096 +0.06 X0102 +0.06 X0108 +0.06 X0114 +0.06 X0120 +0.06 X0126 +0.06 X0132 +0.12 X0156 +0.12 X0162 +0.12 X0168 +0.12 X0174 +0.24 X0180 +0.24 X0186 +0.24 X0192 +0.24 X0198 +0.59 X0234 +0.59 X0240 +0.59 X0246 +0.59 X0252 +0.29 X0258 +0.59 X0264 +0.59 X0270 +0.06 X0276 +0.59 X0282 +7.37 X0288 +3.33 X0294 +7.37 X0300 +0.59 X0306 +7.04 X0313 +2.61 X0319 +7.52 X0325 +4.83 X0331 +1.46 X0337;
C0361: +X0199 > -0;
C0355: +X0253 > 0.13;
C0349: +X0259 > 0.15;
C0343: +X0265 > 0.05;
C0337: +X0271 > 0.04;
C0331: +X0277 > 0.07;
C0325: +X0283 > 0.12;
C0319: +X0289 > 0.4;
C0313: +X0295 > 0.25;
C0307: +X0301 > 0.062;
C0301: -0.88 X0175 -0.88 X0181 -0.88 X0187 +0.12 X0193 = 0;
C0295: +X0187 = 0;
C0289: -0.12 X0175 +0.88 X0181 -0.12 X0187 -0.12 X0193 = 0;
C0283: +X0175 = 0;
C0277: -0.32 X0151 -0.32 X0157 -0.32 X0163 +0.68 X0169 = 0;
C0271: -0.325 X0151 -0.325 X0157 +0.675 X0163 -0.325 X0169 = 0;
C0265: -0.12 X0151 +0.88 X0157 -0.12 X0163 -0.12 X0169 = 0;
C0259: +0.765 X0151 -0.235 X0157 -0.235 X0163 -0.235 X0169 = 0;
C0253: -0.56 X0109 -0.56 X0115 -0.56 X0121 +0.44 X0127 = 0;
C0247: -0.016 X0109 -0.016 X0115 +0.984 X0121 -0.016 X0127 = 0;
C0241: -0.27 X0109 +0.73 X0115 -0.27 X0121 -0.27 X0127 = 0;
C0235: +0.99 X0109 -0.01 X0115 -0.01 X0121 -0.01 X0127 = 0;
C0229: -0.46 X0085 -0.46 X0091 -0.46 X0097 +0.54 X0103 = 0;
C0223: -0.175 X0085 -0.175 X0091 +0.825 X0097 -0.175 X0103 = 0;
C0217: -0.35 X0085 +0.65 X0091 -0.35 X0097 -0.35 X0103 = 0;
C0211: +0.985 X0085 -0.015 X0091 -0.015 X0097 -0.015 X0103 = 0;
C0205: -0.39 X0061 -0.39 X0067 -0.39 X0073 +0.61 X0079 = 0;
C0199: -0.2 X0061 -0.2 X0067 +0.8 X0073 -0.2 X0079 = 0;
C0193: -0.39 X0061 +0.61 X0067 -0.39 X0073 -0.39 X0079 = 0;
C0187: +0.98 X0061 -0.02 X0067 -0.02 X0073 -0.02 X0079 = 0;
C0181: -0.48 X0037 -0.48 X0043 -0.48 X0049 +0.52 X0055 = 0;
C0175: -0.105 X0037 -0.105 X0043 +0.895 X0049 -0.105 X0055 = 0;
C0169: -0.4 X0037 +0.6 X0043 -0.4 X0049 -0.4 X0055 = 0;
C0163: +0.985 X0037 -0.015 X0043 -0.015 X0049 -0.015 X0055 = 0;
C0157: +0.25 X0043 +0.25 X0049 +0.25 X0067 +0.25 X0073 +0.25 X0091 +0.25 X0097 +0.25 X0115 +0.25 X0121 +0.25 X0145 +0.25 X0151 +0.25 X0163 +0.25 X0169 +0.25 X0175 +0.25 X0187 +0.25 X0193 -X0314 < 0.52;
C0151: +0.1 X0037 +0.1 X0061 +0.1 X0085 +0.1 X0109 +0.1 X0157 +0.1 X0181 -X0308 < 0;
C0140: +X0139 -0.85 X0320 < 0.0034;
C0139: +X0133 -0.85 X0326 < 0.068;
C0133: +X0001 +X0007 +X0013 +X0019 +X0025 +X0031 -0.95 X0332 < 1.444;
C0127: -X0247 +X0295 = 0;
C0121: -X0241 +X0289 = 0;
C0115: -X0235 +X0283 = 0;
C0109: -X0229 +X0277 = 0;
C0103: -X0223 +X0247 +X0301 = 0;
C0097: -X0217 +X0229 +X0235 +X0241 = 0;
C0091: -X0211 +X0259 +X0265 = 0;
C0085: -X0205 +X0253 = 0;
C0079: -X0037 -X0061 -X0085 -X0109 -X0157 -X0181 +X0271 = 0;
C0073: -X0055 -X0079 -X0103 -X0127 +X0133 +X0139 +X0145 = 0;
C0067: -0.99 X0145 -0.99 X0151 -0.99 X0175 +X0199 +X0205 +X0211 = 0;
C0061: -0.94 X0139 +X0175 +X0181 +X0187 +X0193 = 0;
C0055: -0.99 X0049 -0.99 X0073 -0.99 X0097 -0.99 X0121 -0.99 X0169 -0.99 X0193 +X0223 = 0;
C0049: -0.99 X0043 -0.99 X0067 -0.99 X0091 -0.99 X0115 -0.99 X0163 -0.99 X0187 +X0217 = 0;
C0043: -0.94 X0133 +X0151 +X0157 +X0163 +X0169 = 0;
C0037: -0.94 X0031 +X0109 +X0115 +X0121 +X0127 = 0;
C0031: -0.94 X0025 +X0085 +X0091 +X0097 +X0103 = 0;
C0025: -0.94 X0019 +X0061 +X0067 +X0073 +X0079 = 0;
C0019: -0.94 X0001 -0.94 X0007 -0.94 X0013 +X0037 +X0043 +X0049 +X0055 = 0;
C0013: +X0013 < 0;
C0007: +X0007 < 0.002;
C0001: +X0001 < 0.0085;
C1134: +X0332 -X2332 = 0;
C1141: +X0326 -X2326 = 0;
C1142: +X0320 -X2320 = 0;
C1152: +X0308 -X2308 = 0;
C1158: +X0314 -X2314 = 0;
C0362: +X0200 > -0;
C0356: +X0254 > 0.12;
C0350: +X0260 > 0.16;
C0344: +X0266 > 0.055;
C0338: +X0272 > 0.04;
C0332: +X0278 > 0.08;
C0326: +X0284 > 0.129;
C0320: +X0290 > 0.42;
C0314: +X0296 > 0.29;
C0308: +X0302 > 0.073;
C0302: -0.88 X0176 -0.88 X0182 -0.88 X0188 +0.12 X0194 = 0;
C0296: +X0188 = 0;
C0290: -0.12 X0176 +0.88 X0182 -0.12 X0188 -0.12 X0194 = 0;
C0284: +X0176 = 0;
C0278: -0.32 X0152 -0.32 X0158 -0.32 X0164 +0.68 X0170 = 0;
C0272: -0.325 X0152 -0.325 X0158 +0.675 X0164 -0.325 X0170 = 0;
C0266: -0.12 X0152 +0.88 X0158 -0.12 X0164 -0.12 X0170 = 0;
C0260: +0.765 X0152 -0.235 X0158 -0.235 X0164 -0.235 X0170 = 0;
C0254: -0.56 X0110 -0.56 X0116 -0.56 X0122 +0.44 X0128 = 0;
C0248: -0.016 X0110 -0.016 X0116 +0.984 X0122 -0.016 X0128 = 0;
C0242: -0.27 X0110 +0.73 X0116 -0.27 X0122 -0.27 X0128 = 0;
C0236: +0.99 X0110 -0.01 X0116 -0.01 X0122 -0.01 X0128 = 0;
C0230: -0.46 X0086 -0.46 X0092 -0.46 X0098 +0.54 X0104 = 0;
C0224: -0.175 X0086 -0.175 X0092 +0.825 X0098 -0.175 X0104 = 0;
C0218: -0.35 X0086 +0.65 X0092 -0.35 X0098 -0.35 X0104 = 0;
C0212: +0.985 X0086 -0.015 X0092 -0.015 X0098 -0.015 X0104 = 0;
C0206: -0.39 X0062 -0.39 X0068 -0.39 X0074 +0.61 X0080 = 0;
C0200: -0.2 X0062 -0.2 X0068 +0.8 X0074 -0.2 X0080 = 0;
C0194: -0.39 X0062 +0.61 X0068 -0.39 X0074 -0.39 X0080 = 0;
C0188: +0.98 X0062 -0.02 X0068 -0.02 X0074 -0.02 X0080 = 0;
C0182: -0.48 X0038 -0.48 X0044 -0.48 X0050 +0.52 X0056 = 0;
C0176: -0.105 X0038 -0.105 X0044 +0.895 X0050 -0.105 X0056 = 0;
C0170: -0.4 X0038 +0.6 X0044 -0.4 X0050 -0.4 X0056 = 0;
C0164: +0.985 X0038 -0.015 X0044 -0.015 X0050 -0.015 X0056 = 0;
C0158: -X0314 +0.25 X0044 +0.25 X0050 +0.25 X0068 +0.25 X0074 +0.25 X0092 +0.25 X0098 +0.25 X0116 +0.25 X0122 +0.25 X0146 +0.25 X0152 +0.25 X0164 +0.25 X0170 +0.25 X0176 +0.25 X0188 +0.25 X0194 -X0315 < 0.47;
C0152: -X0308 +0.1 X0038 +0.1 X0062 +0.1 X0086 +0.1 X0110 +0.1 X0158 +0.1 X0182 -X0309 < 0;
C0142: -0.85 X0320 +X0140 -0.85 X0321 < 0.0034;
C0141: -0.85 X0326 +X0134 -0.85 X0327 < 0.0459;
C0134: -0.95 X0332 +X0002 +X0008 +X0014 +X0020 +X0026 +X0032 -0.95 X0333 < 1.235;
C0128: -X0248 +X0296 = 0;
C0122: -X0242 +X0290 = 0;
C0116: -X0236 +X0284 = 0;
C0110: -X0230 +X0278 = 0;
C0104: -X0224 +X0248 +X0302 = 0;
C0098: -X0218 +X0230 +X0236 +X0242 = 0;
C0092: -X0212 +X0260 +X0266 = 0;
C0086: -X0206 +X0254 = 0;
C0080: -X0038 -X0062 -X0086 -X0110 -X0158 -X0182 +X0272 = 0;
C0074: -X0056 -X0080 -X0104 -X0128 +X0134 +X0140 +X0146 = 0;
C0068: -0.99 X0146 -0.99 X0152 -0.99 X0176 +X0200 +X0206 +X0212 = 0;
C0062: -0.94 X0140 +X0176 +X0182 +X0188 +X0194 = 0;
C0056: -0.99 X0050 -0.99 X0074 -0.99 X0098 -0.99 X0122 -0.99 X0170 -0.99 X0194 +X0224 = 0;
C0050: -0.99 X0044 -0.99 X0068 -0.99 X0092 -0.99 X0116 -0.99 X0164 -0.99 X0188 +X0218 = 0;
C0044: -0.94 X0134 +X0152 +X0158 +X0164 +X0170 = 0;
C0038: -0.94 X0032 +X0110 +X0116 +X0122 +X0128 = 0;
C0032: -0.94 X0026 +X0086 +X0092 +X0098 +X0104 = 0;
C0026: -0.94 X0020 +X0062 +X0068 +X0074 +X0080 = 0;
C0020: -0.94 X0002 -0.94 X0008 -0.94 X0014 +X0038 +X0044 +X0050 +X0056 = 0;
C0014: +X0014 < 0;
C0008: +X0008 < 0.006;
C0002: +X0002 < 0.007;
C1135: +X2332 -X3332 = 0;
C2135: +X0333 -X3333 = 0;
C1143: +X2326 -X3326 = 0;
C2143: +X0327 -X3327 = 0;
C1144: +X2320 -X3320 = 0;
C2144: +X0321 -X3321 = 0;
C1153: +X2308 -X3308 = 0;
C2153: +X0309 -X3309 = 0;
C1159: +X2314 -X3314 = 0;
C2159: +X0315 -X3315 = 0;
C0363: +X0201 > -0;
C0357: +X0255 > 0.05;
C0351: +X0261 > 0.18;
C0345: +X0267 > 0.06;
C0339: +X0273 > 0.05;
C0333: +X0279 > 0.09;
C0327: +X0285 > 0.1468;
C0321: +X0291 > 0.45;
C0315: +X0297 > 0.33;
C0309: +X0303 > 0.087;
C0303: -0.88 X0177 -0.88 X0183 -0.88 X0189 +0.12 X0195 = 0;
C0297: +X0189 = 0;
C0291: -0.12 X0177 +0.88 X0183 -0.12 X0189 -0.12 X0195 = 0;
C0285: +X0177 = 0;
C0279: -0.32 X0153 -0.32 X0159 -0.32 X0165 +0.68 X0171 = 0;
C0273: -0.325 X0153 -0.325 X0159 +0.675 X0165 -0.325 X0171 = 0;
C0267: -0.12 X0153 +0.88 X0159 -0.12 X0165 -0.12 X0171 = 0;
C0261: +0.765 X0153 -0.235 X0159 -0.235 X0165 -0.235 X0171 = 0;
C0255: -0.56 X0111 -0.56 X0117 -0.56 X0123 +0.44 X0129 = 0;
C0249: -0.016 X0111 -0.016 X0117 +0.984 X0123 -0.016 X0129 = 0;
C0243: -0.27 X0111 +0.73 X0117 -0.27 X0123 -0.27 X0129 = 0;
C0237: +0.99 X0111 -0.01 X0117 -0.01 X0123 -0.01 X0129 = 0;
C0231: -0.46 X0087 -0.46 X0093 -0.46 X0099 +0.54 X0105 = 0;
C0225: -0.175 X0087 -0.175 X0093 +0.825 X0099 -0.175 X0105 = 0;
C0219: -0.35 X0087 +0.65 X0093 -0.35 X0099 -0.35 X0105 = 0;
C0213: +0.985 X0087 -0.015 X0093 -0.015 X0099 -0.015 X0105 = 0;
C0207: -0.39 X0063 -0.39 X0069 -0.39 X0075 +0.61 X0081 = 0;
C0201: -0.2 X0063 -0.2 X0069 +0.8 X0075 -0.2 X0081 = 0;
C0195: -0.39 X0063 +0.61 X0069 -0.39 X0075 -0.39 X0081 = 0;
C0189: +0.98 X0063 -0.02 X0069 -0.02 X0075 -0.02 X0081 = 0;
C0183: -0.48 X0039 -0.48 X0045 -0.48 X0051 +0.52 X0057 = 0;
C0177: -0.105 X0039 -0.105 X0045 +0.895 X0051 -0.105 X0057 = 0;
C0171: -0.4 X0039 +0.6 X0045 -0.4 X0051 -0.4 X0057 = 0;
C0165: +0.985 X0039 -0.015 X0045 -0.015 X0051 -0.015 X0057 = 0;
C0159: -X0315 -X2314 +0.25 X0045 +0.25 X0051 +0.25 X0069 +0.25 X0075 +0.25 X0093 +0.25 X0099 +0.25 X0117 +0.25 X0123 +0.25 X0147 +0.25 X0153 +0.25 X0165 +0.25 X0171 +0.25 X0177 +0.25 X0189 +0.25 X0195 -X0316 < 0.39;
C0153: -X0309 -X2308 +0.1 X0039 +0.1 X0063 +0.1 X0087 +0.1 X0111 +0.1 X0159 +0.1 X0183 -X0310 < 0;
C0144: -0.85 X0321 -0.85 X2320 +X0141 -0.85 X0322 < 0.0034;
C0143: -0.85 X0327 -0.85 X2326 +X0135 -0.85 X0328 < 0.0255;
C0135: -0.95 X0333 -0.95 X2332 +X0003 +X0009 +X0015 +X0021 +X0027 +X0033 -0.95 X0334 < 0.854999;
C0129: -X0249 +X0297 = 0;
C0123: -X0243 +X0291 = 0;
C0117: -X0237 +X0285 = 0;
C0111: -X0231 +X0279 = 0;
C0105: -X0225 +X0249 +X0303 = 0;
C0099: -X0219 +X0231 +X0237 +X0243 = 0;
C0093: -X0213 +X0261 +X0267 = 0;
C0087: -X0207 +X0255 = 0;
C0081: -X0039 -X0063 -X0087 -X0111 -X0159 -X0183 +X0273 = 0;
C0075: -X0057 -X0081 -X0105 -X0129 +X0135 +X0141 +X0147 = 0;
C0069: -0.99 X0147 -0.99 X0153 -0.99 X0177 +X0201 +X0207 +X0213 = 0;
C0063: -0.94 X0141 +X0177 +X0183 +X0189 +X0195 = 0;
C0057: -0.99 X0051 -0.99 X0075 -0.99 X0099 -0.99 X0123 -0.99 X0171 -0.99 X0195 +X0225 = 0;
C0051: -0.99 X0045 -0.99 X0069 -0.99 X0093 -0.99 X0117 -0.99 X0165 -0.99 X0189 +X0219 = 0;
C0045: -0.94 X0135 +X0153 +X0159 +X0165 +X0171 = 0;
C0039: -0.94 X0033 +X0111 +X0117 +X0123 +X0129 = 0;
C0033: -0.94 X0027 +X0087 +X0093 +X0099 +X0105 = 0;
C0027: -0.94 X0021 +X0063 +X0069 +X0075 +X0081 = 0;
C0021: -0.94 X0003 -0.94 X0009 -0.94 X0015 +X0039 +X0045 +X0051 +X0057 = 0;
C0015: +X0015 < 0;
C0009: +X0009 < 0.018;
C0003: +X0003 < 0.002;
C1136: +X0334 -X4334 = 0;
C1154: +X3308 -X4308 = 0;
C2154: +X3309 -X4309 = 0;
C3154: +X0310 -X4310 = 0;
C1160: -X4314 = 0;
C2160: +X3314 +X3315 -X4315 = 0;
C3160: +X0316 -X4316 = 0;
C0364: +X0202 > -0;
C0358: +X0256 > 0.04;
C0352: +X0262 > 0.2;
C0346: +X0268 > 0.065;
C0340: +X0274 > 0.05;
C0334: +X0280 > 0.1;
C0328: +X0286 > 0.168;
C0322: +X0292 > 0.5;
C0316: +X0298 > 0.41;
C0310: +X0304 > 0.11;
C0304: -0.88 X0178 -0.88 X0184 -0.88 X0190 +0.12 X0196 = 0;
C0298: +X0190 = 0;
C0292: -0.12 X0178 +0.88 X0184 -0.12 X0190 -0.12 X0196 = 0;
C0286: +X0178 = 0;
C0280: -0.32 X0154 -0.32 X0160 -0.32 X0166 +0.68 X0172 = 0;
C0274: -0.325 X0154 -0.325 X0160 +0.675 X0166 -0.325 X0172 = 0;
C0268: -0.12 X0154 +0.88 X0160 -0.12 X0166 -0.12 X0172 = 0;
C0262: +0.765 X0154 -0.235 X0160 -0.235 X0166 -0.235 X0172 = 0;
C0256: -0.56 X0112 -0.56 X0118 -0.56 X0124 +0.44 X0130 = 0;
C0250: -0.016 X0112 -0.016 X0118 +0.984 X0124 -0.016 X0130 = 0;
C0244: -0.27 X0112 +0.73 X0118 -0.27 X0124 -0.27 X0130 = 0;
C0238: +0.99 X0112 -0.01 X0118 -0.01 X0124 -0.01 X0130 = 0;
C0232: -0.46 X0088 -0.46 X0094 -0.46 X0100 +0.54 X0106 = 0;
C0226: -0.175 X0088 -0.175 X0094 +0.825 X0100 -0.175 X0106 = 0;
C0220: -0.35 X0088 +0.65 X0094 -0.35 X0100 -0.35 X0106 = 0;
C0214: +0.985 X0088 -0.015 X0094 -0.015 X0100 -0.015 X0106 = 0;
C0208: -0.39 X0064 -0.39 X0070 -0.39 X0076 +0.61 X0082 = 0;
C0202: -0.2 X0064 -0.2 X0070 +0.8 X0076 -0.2 X0082 = 0;
C0196: -0.39 X0064 +0.61 X0070 -0.39 X0076 -0.39 X0082 = 0;
C0190: +0.98 X0064 -0.02 X0070 -0.02 X0076 -0.02 X0082 = 0;
C0184: -0.48 X0040 -0.48 X0046 -0.48 X0052 +0.52 X0058 = 0;
C0178: -0.105 X0040 -0.105 X0046 +0.895 X0052 -0.105 X0058 = 0;
C0172: -0.4 X0040 +0.6 X0046 -0.4 X0052 -0.4 X0058 = 0;
C0166: +0.985 X0040 -0.015 X0046 -0.015 X0052 -0.015 X0058 = 0;
C0160: -X0316 -X3314 -X3315 +0.25 X0046 +0.25 X0052 +0.25 X0070 +0.25 X0076 +0.25 X0094 +0.25 X0100 +0.25 X0118 +0.25 X0124 +0.25 X0148 +0.25 X0154 +0.25 X0166 +0.25 X0172 +0.25 X0178 +0.25 X0190 +0.25 X0196 -X0317 < 0.2;
C0154: -X0310 -X3308 -X3309 +0.1 X0040 +0.1 X0064 +0.1 X0088 +0.1 X0112 +0.1 X0160 +0.1 X0184 -X0311 < 0;
C0146: -0.85 X0322 -0.85 X3320 -0.85 X3321 +X0142 -0.85 X0323 < 0.0034;
C0145: -0.85 X0328 -0.85 X3326 -0.85 X3327 +X0136 -0.85 X0329 < 0;
C0136: -0.95 X0334 -0.95 X3332 -0.95 X3333 +X0004 +X0010 +X0016 +X0022 +X0028 +X0034 -0.95 X0335 < 0.095;
C0130: -X0250 +X0298 = 0;
C0124: -X0244 +X0292 = 0;
C0118: -X0238 +X0286 = 0;
C0112: -X0232 +X0280 = 0;
C0106: -X0226 +X0250 +X0304 = 0;
C0100: -X0220 +X0232 +X0238 +X0244 = 0;
C0094: -X0214 +X0262 +X0268 = 0;
C0088: -X0208 +X0256 = 0;
C0082: -X0040 -X0064 -X0088 -X0112 -X0160 -X0184 +X0274 = 0;
C0076: -X0058 -X0082 -X0106 -X0130 +X0136 +X0142 +X0148 = 0;
C0070: -0.99 X0148 -0.99 X0154 -0.99 X0178 +X0202 +X0208 +X0214 = 0;
C0064: -0.94 X0142 +X0178 +X0184 +X0190 +X0196 = 0;
C0058: -0.99 X0052 -0.99 X0076 -0.99 X0100 -0.99 X0124 -0.99 X0172 -0.99 X0196 +X0226 = 0;
C0052: -0.99 X0046 -0.99 X0070 -0.99 X0094 -0.99 X0118 -0.99 X0166 -0.99 X0190 +X0220 = 0;
C0046: -0.94 X0136 +X0154 +X0160 +X0166 +X0172 = 0;
C0040: -0.94 X0034 +X0112 +X0118 +X0124 +X0130 = 0;
C0034: -0.94 X0028 +X0088 +X0094 +X0100 +X0106 = 0;
C0028: -0.94 X0022 +X0064 +X0070 +X0076 +X0082 = 0;
C0022: -0.94 X0004 -0.94 X0010 -0.94 X0016 +X0040 +X0046 +X0052 +X0058 = 0;
C0016: +X0016 < 0;
C0010: +X0010 < 0.03;
C0004: +X0004 < 0;
C0365: +X0203 > -0;
C0359: +X0257 > 0.04;
C0353: +X0263 > 0.2;
C0347: +X0269 > 0.07;
C0341: +X0275 > 0.06;
C0335: +X0281 > 0.11;
C0329: +X0287 > 0.245;
C0323: +X0293 > 0.55;
C0317: +X0299 > 0.5;
C0311: +X0305 > 0.15;
C0305: -0.88 X0179 -0.88 X0185 -0.88 X0191 +0.12 X0197 = 0;
C0299: +X0191 = 0;
C0293: -0.12 X0179 +0.88 X0185 -0.12 X0191 -0.12 X0197 = 0;
C0287: +X0179 = 0;
C0281: -0.32 X0155 -0.32 X0161 -0.32 X0167 +0.68 X0173 = 0;
C0275: -0.325 X0155 -0.325 X0161 +0.675 X0167 -0.325 X0173 = 0;
C0269: -0.12 X0155 +0.88 X0161 -0.12 X0167 -0.12 X0173 = 0;
C0263: +0.765 X0155 -0.235 X0161 -0.235 X0167 -0.235 X0173 = 0;
C0257: -0.56 X0113 -0.56 X0119 -0.56 X0125 +0.44 X0131 = 0;
C0251: -0.016 X0113 -0.016 X0119 +0.984 X0125 -0.016 X0131 = 0;
C0245: -0.27 X0113 +0.73 X0119 -0.27 X0125 -0.27 X0131 = 0;
C0239: +0.99 X0113 -0.01 X0119 -0.01 X0125 -0.01 X0131 = 0;
C0233: -0.46 X0089 -0.46 X0095 -0.46 X0101 +0.54 X0107 = 0;
C0227: -0.175 X0089 -0.175 X0095 +0.825 X0101 -0.175 X0107 = 0;
C0221: -0.35 X0089 +0.65 X0095 -0.35 X0101 -0.35 X0107 = 0;
C0215: +0.985 X0089 -0.015 X0095 -0.015 X0101 -0.015 X0107 = 0;
C0209: -0.39 X0065 -0.39 X0071 -0.39 X0077 +0.61 X0083 = 0;
C0203: -0.2 X0065 -0.2 X0071 +0.8 X0077 -0.2 X0083 = 0;
C0197: -0.39 X0065 +0.61 X0071 -0.39 X0077 -0.39 X0083 = 0;
C0191: +0.98 X0065 -0.02 X0071 -0.02 X0077 -0.02 X0083 = 0;
C0185: -0.48 X0041 -0.48 X0047 -0.48 X0053 +0.52 X0059 = 0;
C0179: -0.105 X0041 -0.105 X0047 +0.895 X0053 -0.105 X0059 = 0;
C0173: -0.4 X0041 +0.6 X0047 -0.4 X0053 -0.4 X0059 = 0;
C0167: +0.985 X0041 -0.015 X0047 -0.015 X0053 -0.015 X0059 = 0;
C0161: -X0317 -X4314 -X4315 -X4316 +0.25 X0047 +0.25 X0053 +0.25 X0071 +0.25 X0077 +0.25 X0095 +0.25 X0101 +0.25 X0119 +0.25 X0125 +0.25 X0149 +0.25 X0155 +0.25 X0167 +0.25 X0173 +0.25 X0179 +0.25 X0191 +0.25 X0197 -X0318 < 0;
C0155: -X0311 -X4308 -X4309 -X4310 +0.1 X0041 +0.1 X0065 +0.1 X0089 +0.1 X0113 +0.1 X0161 +0.1 X0185 -X0312 < 0;
C0148: -0.85 X0323 +X0143 -0.85 X0324 < 0;
C0147: -0.85 X0329 +X0137 -0.85 X0330 < 0;
C0137: -0.95 X0335 -0.95 X4334 +X0005 +X0011 +X0017 +X0023 +X0029 +X0035 -0.95 X0336 < 0;
C0131: -X0251 +X0299 = 0;
C0125: -X0245 +X0293 = 0;
C0119: -X0239 +X0287 = 0;
C0113: -X0233 +X0281 = 0;
C0107: -X0227 +X0251 +X0305 = 0;
C0101: -X0221 +X0233 +X0239 +X0245 = 0;
C0095: -X0215 +X0263 +X0269 = 0;
C0089: -X0209 +X0257 = 0;
C0083: -X0041 -X0065 -X0089 -X0113 -X0161 -X0185 +X0275 = 0;
C0077: -X0059 -X0083 -X0107 -X0131 +X0137 +X0143 +X0149 = 0;
C0071: -0.99 X0149 -0.99 X0155 -0.99 X0179 +X0203 +X0209 +X0215 = 0;
C0065: -0.94 X0143 +X0179 +X0185 +X0191 +X0197 = 0;
C0059: -0.99 X0053 -0.99 X0077 -0.99 X0101 -0.99 X0125 -0.99 X0173 -0.99 X0197 +X0227 = 0;
C0053: -0.99 X0047 -0.99 X0071 -0.99 X0095 -0.99 X0119 -0.99 X0167 -0.99 X0191 +X0221 = 0;
C0047: -0.94 X0137 +X0155 +X0161 +X0167 +X0173 = 0;
C0041: -0.94 X0035 +X0113 +X0119 +X0125 +X0131 = 0;
C0035: -0.94 X0029 +X0089 +X0095 +X0101 +X0107 = 0;
C0029: -0.94 X0023 +X0065 +X0071 +X0077 +X0083 = 0;
C0023: -0.94 X0005 -0.94 X0011 -0.94 X0017 +X0041 +X0047 +X0053 +X0059 = 0;
C0017: +X0017 < 0;
C0011: +X0011 < 0.01;
C0005: +X0005 < 0;
C0366: +X0204 > -0;
C0360: +X0258 > -0;
C0354: +X0264 > 0.2;
C0348: +X0270 > 0.08;
C0342: +X0276 > 0.07;
C0336: +X0282 > 0.12;
C0330: +X0288 > 0.289;
C0324: +X0294 > 0.6;
C0318: +X0300 > 0.68;
C0312: +X0306 > 0.2;
C0306: -0.88 X0180 -0.88 X0186 -0.88 X0192 +0.12 X0198 = 0;
C0300: +X0192 = 0;
C0294: -0.12 X0180 +0.88 X0186 -0.12 X0192 -0.12 X0198 = 0;
C0288: +X0180 = 0;
C0282: -0.32 X0156 -0.32 X0162 -0.32 X0168 +0.68 X0174 = 0;
C0276: -0.325 X0156 -0.325 X0162 +0.675 X0168 -0.325 X0174 = 0;
C0270: -0.12 X0156 +0.88 X0162 -0.12 X0168 -0.12 X0174 = 0;
C0264: +0.765 X0156 -0.235 X0162 -0.235 X0168 -0.235 X0174 = 0;
C0258: -0.56 X0114 -0.56 X0120 -0.56 X0126 +0.44 X0132 = 0;
C0252: -0.016 X0114 -0.016 X0120 +0.984 X0126 -0.016 X0132 = 0;
C0246: -0.27 X0114 +0.73 X0120 -0.27 X0126 -0.27 X0132 = 0;
C0240: +0.99 X0114 -0.01 X0120 -0.01 X0126 -0.01 X0132 = 0;
C0234: -0.46 X0090 -0.46 X0096 -0.46 X0102 +0.54 X0108 = 0;
C0228: -0.175 X0090 -0.175 X0096 +0.825 X0102 -0.175 X0108 = 0;
C0222: -0.35 X0090 +0.65 X0096 -0.35 X0102 -0.35 X0108 = 0;
C0216: +0.985 X0090 -0.015 X0096 -0.015 X0102 -0.015 X0108 = 0;
C0210: -0.39 X0066 -0.39 X0072 -0.39 X0078 +0.61 X0084 = 0;
C0204: -0.2 X0066 -0.2 X0072 +0.8 X0078 -0.2 X0084 = 0;
C0198: -0.39 X0066 +0.61 X0072 -0.39 X0078 -0.39 X0084 = 0;
C0192: +0.98 X0066 -0.02 X0072 -0.02 X0078 -0.02 X0084 = 0;
C0186: -0.48 X0042 -0.48 X0048 -0.48 X0054 +0.52 X0060 = 0;
C0180: -0.105 X0042 -0.105 X0048 +0.895 X0054 -0.105 X0060 = 0;
C0174: -0.4 X0042 +0.6 X0048 -0.4 X0054 -0.4 X0060 = 0;
C0168: +0.985 X0042 -0.015 X0048 -0.015 X0054 -0.015 X0060 = 0;
C0162: -X0318 +0.25 X0048 +0.25 X0054 +0.25 X0072 +0.25 X0078 +0.25 X0096 +0.25 X0102 +0.25 X0120 +0.25 X0126 +0.25 X0150 +0.25 X0156 +0.25 X0168 +0.25 X0174 +0.25 X0180 +0.25 X0192 +0.25 X0198 -X0319 < 0;
C0156: -X0312 +0.1 X0042 +0.1 X0066 +0.1 X0090 +0.1 X0114 +0.1 X0162 +0.1 X0186 -X0313 < 0;
C0150: +X0144 -0.6375 X0325 < 0;
C0149: +X0138 -0.6375 X0331 < 0;
C0138: +X0006 +X0012 +X0018 +X0024 +X0030 +X0036 -0.95 X0337 < 0;
C0132: -X0252 +X0300 = 0;
C0126: -X0246 +X0294 = 0;
C0120: -X0240 +X0288 = 0;
C0114: -X0234 +X0282 = 0;
C0108: -X0228 +X0252 +X0306 = 0;
C0102: -X0222 +X0234 +X0240 +X0246 = 0;
C0096: -X0216 +X0264 +X0270 = 0;
C0090: -X0210 +X0258 = 0;
C0084: -X0042 -X0066 -X0090 -X0114 -X0162 -X0186 +X0276 = 0;
C0078: -X0060 -X0084 -X0108 -X0132 +X0138 +X0144 +X0150 = 0;
C0072: -0.99 X0150 -0.99 X0156 -0.99 X0180 +X0204 +X0210 +X0216 = 0;
C0066: -0.94 X0144 +X0180 +X0186 +X0192 +X0198 = 0;
C0060: -0.99 X0054 -0.99 X0078 -0.99 X0102 -0.99 X0126 -0.99 X0174 -0.99 X0198 +X0228 = 0;
C0054: -0.99 X0048 -0.99 X0072 -0.99 X0096 -0.99 X0120 -0.99 X0168 -0.99 X0192 +X0222 = 0;
C0048: -0.94 X0138 +X0156 +X0162 +X0168 +X0174 = 0;
C0042: -0.94 X0036 +X0114 +X0120 +X0126 +X0132 = 0;
C0036: -0.94 X0030 +X0090 +X0096 +X0102 +X0108 = 0;
C0030: -0.94 X0024 +X0066 +X0072 +X0078 +X0084 = 0;
C0024: -0.94 X0006 -0.94 X0012 -0.94 X0018 +X0042 +X0048 +X0054 +X0060 = 0;
C0018: +X0018 < 0;
C0012: +X0012 < 0;
C0006: +X0006 < 0;