-
Notifications
You must be signed in to change notification settings - Fork 10
Expand file tree
/
Copy path2KP100-50.mof.json
More file actions
1 lines (1 loc) · 27.2 KB
/
2KP100-50.mof.json
File metadata and controls
1 lines (1 loc) · 27.2 KB
1
{"name":"MathOptFormat Model","version":{"major":1,"minor":7},"variables":[{"name":"x[1]"},{"name":"x[2]"},{"name":"x[3]"},{"name":"x[4]"},{"name":"x[5]"},{"name":"x[6]"},{"name":"x[7]"},{"name":"x[8]"},{"name":"x[9]"},{"name":"x[10]"},{"name":"x[11]"},{"name":"x[12]"},{"name":"x[13]"},{"name":"x[14]"},{"name":"x[15]"},{"name":"x[16]"},{"name":"x[17]"},{"name":"x[18]"},{"name":"x[19]"},{"name":"x[20]"},{"name":"x[21]"},{"name":"x[22]"},{"name":"x[23]"},{"name":"x[24]"},{"name":"x[25]"},{"name":"x[26]"},{"name":"x[27]"},{"name":"x[28]"},{"name":"x[29]"},{"name":"x[30]"},{"name":"x[31]"},{"name":"x[32]"},{"name":"x[33]"},{"name":"x[34]"},{"name":"x[35]"},{"name":"x[36]"},{"name":"x[37]"},{"name":"x[38]"},{"name":"x[39]"},{"name":"x[40]"},{"name":"x[41]"},{"name":"x[42]"},{"name":"x[43]"},{"name":"x[44]"},{"name":"x[45]"},{"name":"x[46]"},{"name":"x[47]"},{"name":"x[48]"},{"name":"x[49]"},{"name":"x[50]"},{"name":"x[51]"},{"name":"x[52]"},{"name":"x[53]"},{"name":"x[54]"},{"name":"x[55]"},{"name":"x[56]"},{"name":"x[57]"},{"name":"x[58]"},{"name":"x[59]"},{"name":"x[60]"},{"name":"x[61]"},{"name":"x[62]"},{"name":"x[63]"},{"name":"x[64]"},{"name":"x[65]"},{"name":"x[66]"},{"name":"x[67]"},{"name":"x[68]"},{"name":"x[69]"},{"name":"x[70]"},{"name":"x[71]"},{"name":"x[72]"},{"name":"x[73]"},{"name":"x[74]"},{"name":"x[75]"},{"name":"x[76]"},{"name":"x[77]"},{"name":"x[78]"},{"name":"x[79]"},{"name":"x[80]"},{"name":"x[81]"},{"name":"x[82]"},{"name":"x[83]"},{"name":"x[84]"},{"name":"x[85]"},{"name":"x[86]"},{"name":"x[87]"},{"name":"x[88]"},{"name":"x[89]"},{"name":"x[90]"},{"name":"x[91]"},{"name":"x[92]"},{"name":"x[93]"},{"name":"x[94]"},{"name":"x[95]"},{"name":"x[96]"},{"name":"x[97]"},{"name":"x[98]"},{"name":"x[99]"},{"name":"x[100]"}],"objective":{"sense":"max","function":{"type":"VectorAffineFunction","terms":[{"output_index":1,"scalar_term":{"coefficient":5.0,"variable":"x[1]"}},{"output_index":1,"scalar_term":{"coefficient":27.0,"variable":"x[2]"}},{"output_index":1,"scalar_term":{"coefficient":9.0,"variable":"x[3]"}},{"output_index":1,"scalar_term":{"coefficient":6.0,"variable":"x[4]"}},{"output_index":1,"scalar_term":{"coefficient":28.0,"variable":"x[5]"}},{"output_index":1,"scalar_term":{"coefficient":61.0,"variable":"x[6]"}},{"output_index":1,"scalar_term":{"coefficient":30.0,"variable":"x[7]"}},{"output_index":1,"scalar_term":{"coefficient":47.0,"variable":"x[8]"}},{"output_index":1,"scalar_term":{"coefficient":50.0,"variable":"x[9]"}},{"output_index":1,"scalar_term":{"coefficient":57.0,"variable":"x[10]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[11]"}},{"output_index":1,"scalar_term":{"coefficient":39.0,"variable":"x[12]"}},{"output_index":1,"scalar_term":{"coefficient":18.0,"variable":"x[13]"}},{"output_index":1,"scalar_term":{"coefficient":64.0,"variable":"x[14]"}},{"output_index":1,"scalar_term":{"coefficient":23.0,"variable":"x[15]"}},{"output_index":1,"scalar_term":{"coefficient":69.0,"variable":"x[16]"}},{"output_index":1,"scalar_term":{"coefficient":43.0,"variable":"x[17]"}},{"output_index":1,"scalar_term":{"coefficient":31.0,"variable":"x[18]"}},{"output_index":1,"scalar_term":{"coefficient":24.0,"variable":"x[19]"}},{"output_index":1,"scalar_term":{"coefficient":66.0,"variable":"x[20]"}},{"output_index":1,"scalar_term":{"coefficient":8.0,"variable":"x[21]"}},{"output_index":1,"scalar_term":{"coefficient":31.0,"variable":"x[22]"}},{"output_index":1,"scalar_term":{"coefficient":31.0,"variable":"x[23]"}},{"output_index":1,"scalar_term":{"coefficient":30.0,"variable":"x[24]"}},{"output_index":1,"scalar_term":{"coefficient":52.0,"variable":"x[25]"}},{"output_index":1,"scalar_term":{"coefficient":48.0,"variable":"x[26]"}},{"output_index":1,"scalar_term":{"coefficient":50.0,"variable":"x[27]"}},{"output_index":1,"scalar_term":{"coefficient":20.0,"variable":"x[28]"}},{"output_index":1,"scalar_term":{"coefficient":17.0,"variable":"x[29]"}},{"output_index":1,"scalar_term":{"coefficient":24.0,"variable":"x[30]"}},{"output_index":1,"scalar_term":{"coefficient":31.0,"variable":"x[31]"}},{"output_index":1,"scalar_term":{"coefficient":7.0,"variable":"x[32]"}},{"output_index":1,"scalar_term":{"coefficient":11.0,"variable":"x[33]"}},{"output_index":1,"scalar_term":{"coefficient":46.0,"variable":"x[34]"}},{"output_index":1,"scalar_term":{"coefficient":37.0,"variable":"x[35]"}},{"output_index":1,"scalar_term":{"coefficient":64.0,"variable":"x[36]"}},{"output_index":1,"scalar_term":{"coefficient":37.0,"variable":"x[37]"}},{"output_index":1,"scalar_term":{"coefficient":46.0,"variable":"x[38]"}},{"output_index":1,"scalar_term":{"coefficient":59.0,"variable":"x[39]"}},{"output_index":1,"scalar_term":{"coefficient":27.0,"variable":"x[40]"}},{"output_index":1,"scalar_term":{"coefficient":8.0,"variable":"x[41]"}},{"output_index":1,"scalar_term":{"coefficient":20.0,"variable":"x[42]"}},{"output_index":1,"scalar_term":{"coefficient":59.0,"variable":"x[43]"}},{"output_index":1,"scalar_term":{"coefficient":69.0,"variable":"x[44]"}},{"output_index":1,"scalar_term":{"coefficient":11.0,"variable":"x[45]"}},{"output_index":1,"scalar_term":{"coefficient":68.0,"variable":"x[46]"}},{"output_index":1,"scalar_term":{"coefficient":57.0,"variable":"x[47]"}},{"output_index":1,"scalar_term":{"coefficient":54.0,"variable":"x[48]"}},{"output_index":1,"scalar_term":{"coefficient":52.0,"variable":"x[49]"}},{"output_index":1,"scalar_term":{"coefficient":26.0,"variable":"x[50]"}},{"output_index":1,"scalar_term":{"coefficient":23.0,"variable":"x[51]"}},{"output_index":1,"scalar_term":{"coefficient":24.0,"variable":"x[52]"}},{"output_index":1,"scalar_term":{"coefficient":55.0,"variable":"x[53]"}},{"output_index":1,"scalar_term":{"coefficient":56.0,"variable":"x[54]"}},{"output_index":1,"scalar_term":{"coefficient":13.0,"variable":"x[55]"}},{"output_index":1,"scalar_term":{"coefficient":14.0,"variable":"x[56]"}},{"output_index":1,"scalar_term":{"coefficient":64.0,"variable":"x[57]"}},{"output_index":1,"scalar_term":{"coefficient":58.0,"variable":"x[58]"}},{"output_index":1,"scalar_term":{"coefficient":22.0,"variable":"x[59]"}},{"output_index":1,"scalar_term":{"coefficient":14.0,"variable":"x[60]"}},{"output_index":1,"scalar_term":{"coefficient":65.0,"variable":"x[61]"}},{"output_index":1,"scalar_term":{"coefficient":53.0,"variable":"x[62]"}},{"output_index":1,"scalar_term":{"coefficient":26.0,"variable":"x[63]"}},{"output_index":1,"scalar_term":{"coefficient":34.0,"variable":"x[64]"}},{"output_index":1,"scalar_term":{"coefficient":54.0,"variable":"x[65]"}},{"output_index":1,"scalar_term":{"coefficient":52.0,"variable":"x[66]"}},{"output_index":1,"scalar_term":{"coefficient":34.0,"variable":"x[67]"}},{"output_index":1,"scalar_term":{"coefficient":49.0,"variable":"x[68]"}},{"output_index":1,"scalar_term":{"coefficient":30.0,"variable":"x[69]"}},{"output_index":1,"scalar_term":{"coefficient":68.0,"variable":"x[70]"}},{"output_index":1,"scalar_term":{"coefficient":10.0,"variable":"x[71]"}},{"output_index":1,"scalar_term":{"coefficient":63.0,"variable":"x[72]"}},{"output_index":1,"scalar_term":{"coefficient":9.0,"variable":"x[73]"}},{"output_index":1,"scalar_term":{"coefficient":12.0,"variable":"x[74]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[75]"}},{"output_index":1,"scalar_term":{"coefficient":30.0,"variable":"x[76]"}},{"output_index":1,"scalar_term":{"coefficient":58.0,"variable":"x[77]"}},{"output_index":1,"scalar_term":{"coefficient":20.0,"variable":"x[78]"}},{"output_index":1,"scalar_term":{"coefficient":52.0,"variable":"x[79]"}},{"output_index":1,"scalar_term":{"coefficient":41.0,"variable":"x[80]"}},{"output_index":1,"scalar_term":{"coefficient":23.0,"variable":"x[81]"}},{"output_index":1,"scalar_term":{"coefficient":70.0,"variable":"x[82]"}},{"output_index":1,"scalar_term":{"coefficient":11.0,"variable":"x[83]"}},{"output_index":1,"scalar_term":{"coefficient":22.0,"variable":"x[84]"}},{"output_index":1,"scalar_term":{"coefficient":61.0,"variable":"x[85]"}},{"output_index":1,"scalar_term":{"coefficient":8.0,"variable":"x[86]"}},{"output_index":1,"scalar_term":{"coefficient":67.0,"variable":"x[87]"}},{"output_index":1,"scalar_term":{"coefficient":37.0,"variable":"x[88]"}},{"output_index":1,"scalar_term":{"coefficient":25.0,"variable":"x[89]"}},{"output_index":1,"scalar_term":{"coefficient":19.0,"variable":"x[90]"}},{"output_index":1,"scalar_term":{"coefficient":45.0,"variable":"x[91]"}},{"output_index":1,"scalar_term":{"coefficient":22.0,"variable":"x[92]"}},{"output_index":1,"scalar_term":{"coefficient":63.0,"variable":"x[93]"}},{"output_index":1,"scalar_term":{"coefficient":54.0,"variable":"x[94]"}},{"output_index":1,"scalar_term":{"coefficient":59.0,"variable":"x[95]"}},{"output_index":1,"scalar_term":{"coefficient":11.0,"variable":"x[96]"}},{"output_index":1,"scalar_term":{"coefficient":57.0,"variable":"x[97]"}},{"output_index":1,"scalar_term":{"coefficient":16.0,"variable":"x[98]"}},{"output_index":1,"scalar_term":{"coefficient":59.0,"variable":"x[99]"}},{"output_index":1,"scalar_term":{"coefficient":24.0,"variable":"x[100]"}},{"output_index":2,"scalar_term":{"coefficient":45.0,"variable":"x[1]"}},{"output_index":2,"scalar_term":{"coefficient":46.0,"variable":"x[2]"}},{"output_index":2,"scalar_term":{"coefficient":60.0,"variable":"x[3]"}},{"output_index":2,"scalar_term":{"coefficient":14.0,"variable":"x[4]"}},{"output_index":2,"scalar_term":{"coefficient":28.0,"variable":"x[5]"}},{"output_index":2,"scalar_term":{"coefficient":47.0,"variable":"x[6]"}},{"output_index":2,"scalar_term":{"coefficient":10.0,"variable":"x[7]"}},{"output_index":2,"scalar_term":{"coefficient":49.0,"variable":"x[8]"}},{"output_index":2,"scalar_term":{"coefficient":69.0,"variable":"x[9]"}},{"output_index":2,"scalar_term":{"coefficient":30.0,"variable":"x[10]"}},{"output_index":2,"scalar_term":{"coefficient":65.0,"variable":"x[11]"}},{"output_index":2,"scalar_term":{"coefficient":9.0,"variable":"x[12]"}},{"output_index":2,"scalar_term":{"coefficient":6.0,"variable":"x[13]"}},{"output_index":2,"scalar_term":{"coefficient":7.0,"variable":"x[14]"}},{"output_index":2,"scalar_term":{"coefficient":80.0,"variable":"x[15]"}},{"output_index":2,"scalar_term":{"coefficient":43.0,"variable":"x[16]"}},{"output_index":2,"scalar_term":{"coefficient":18.0,"variable":"x[17]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[18]"}},{"output_index":2,"scalar_term":{"coefficient":25.0,"variable":"x[19]"}},{"output_index":2,"scalar_term":{"coefficient":63.0,"variable":"x[20]"}},{"output_index":2,"scalar_term":{"coefficient":20.0,"variable":"x[21]"}},{"output_index":2,"scalar_term":{"coefficient":64.0,"variable":"x[22]"}},{"output_index":2,"scalar_term":{"coefficient":27.0,"variable":"x[23]"}},{"output_index":2,"scalar_term":{"coefficient":71.0,"variable":"x[24]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[25]"}},{"output_index":2,"scalar_term":{"coefficient":49.0,"variable":"x[26]"}},{"output_index":2,"scalar_term":{"coefficient":22.0,"variable":"x[27]"}},{"output_index":2,"scalar_term":{"coefficient":74.0,"variable":"x[28]"}},{"output_index":2,"scalar_term":{"coefficient":38.0,"variable":"x[29]"}},{"output_index":2,"scalar_term":{"coefficient":11.0,"variable":"x[30]"}},{"output_index":2,"scalar_term":{"coefficient":66.0,"variable":"x[31]"}},{"output_index":2,"scalar_term":{"coefficient":49.0,"variable":"x[32]"}},{"output_index":2,"scalar_term":{"coefficient":55.0,"variable":"x[33]"}},{"output_index":2,"scalar_term":{"coefficient":22.0,"variable":"x[34]"}},{"output_index":2,"scalar_term":{"coefficient":39.0,"variable":"x[35]"}},{"output_index":2,"scalar_term":{"coefficient":42.0,"variable":"x[36]"}},{"output_index":2,"scalar_term":{"coefficient":29.0,"variable":"x[37]"}},{"output_index":2,"scalar_term":{"coefficient":61.0,"variable":"x[38]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[39]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[40]"}},{"output_index":2,"scalar_term":{"coefficient":33.0,"variable":"x[41]"}},{"output_index":2,"scalar_term":{"coefficient":56.0,"variable":"x[42]"}},{"output_index":2,"scalar_term":{"coefficient":35.0,"variable":"x[43]"}},{"output_index":2,"scalar_term":{"coefficient":5.0,"variable":"x[44]"}},{"output_index":2,"scalar_term":{"coefficient":13.0,"variable":"x[45]"}},{"output_index":2,"scalar_term":{"coefficient":43.0,"variable":"x[46]"}},{"output_index":2,"scalar_term":{"coefficient":50.0,"variable":"x[47]"}},{"output_index":2,"scalar_term":{"coefficient":47.0,"variable":"x[48]"}},{"output_index":2,"scalar_term":{"coefficient":59.0,"variable":"x[49]"}},{"output_index":2,"scalar_term":{"coefficient":41.0,"variable":"x[50]"}},{"output_index":2,"scalar_term":{"coefficient":40.0,"variable":"x[51]"}},{"output_index":2,"scalar_term":{"coefficient":4.0,"variable":"x[52]"}},{"output_index":2,"scalar_term":{"coefficient":68.0,"variable":"x[53]"}},{"output_index":2,"scalar_term":{"coefficient":36.0,"variable":"x[54]"}},{"output_index":2,"scalar_term":{"coefficient":55.0,"variable":"x[55]"}},{"output_index":2,"scalar_term":{"coefficient":55.0,"variable":"x[56]"}},{"output_index":2,"scalar_term":{"coefficient":46.0,"variable":"x[57]"}},{"output_index":2,"scalar_term":{"coefficient":23.0,"variable":"x[58]"}},{"output_index":2,"scalar_term":{"coefficient":36.0,"variable":"x[59]"}},{"output_index":2,"scalar_term":{"coefficient":4.0,"variable":"x[60]"}},{"output_index":2,"scalar_term":{"coefficient":26.0,"variable":"x[61]"}},{"output_index":2,"scalar_term":{"coefficient":8.0,"variable":"x[62]"}},{"output_index":2,"scalar_term":{"coefficient":73.0,"variable":"x[63]"}},{"output_index":2,"scalar_term":{"coefficient":25.0,"variable":"x[64]"}},{"output_index":2,"scalar_term":{"coefficient":50.0,"variable":"x[65]"}},{"output_index":2,"scalar_term":{"coefficient":16.0,"variable":"x[66]"}},{"output_index":2,"scalar_term":{"coefficient":74.0,"variable":"x[67]"}},{"output_index":2,"scalar_term":{"coefficient":5.0,"variable":"x[68]"}},{"output_index":2,"scalar_term":{"coefficient":43.0,"variable":"x[69]"}},{"output_index":2,"scalar_term":{"coefficient":66.0,"variable":"x[70]"}},{"output_index":2,"scalar_term":{"coefficient":24.0,"variable":"x[71]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[72]"}},{"output_index":2,"scalar_term":{"coefficient":21.0,"variable":"x[73]"}},{"output_index":2,"scalar_term":{"coefficient":32.0,"variable":"x[74]"}},{"output_index":2,"scalar_term":{"coefficient":36.0,"variable":"x[75]"}},{"output_index":2,"scalar_term":{"coefficient":27.0,"variable":"x[76]"}},{"output_index":2,"scalar_term":{"coefficient":15.0,"variable":"x[77]"}},{"output_index":2,"scalar_term":{"coefficient":80.0,"variable":"x[78]"}},{"output_index":2,"scalar_term":{"coefficient":62.0,"variable":"x[79]"}},{"output_index":2,"scalar_term":{"coefficient":64.0,"variable":"x[80]"}},{"output_index":2,"scalar_term":{"coefficient":58.0,"variable":"x[81]"}},{"output_index":2,"scalar_term":{"coefficient":34.0,"variable":"x[82]"}},{"output_index":2,"scalar_term":{"coefficient":7.0,"variable":"x[83]"}},{"output_index":2,"scalar_term":{"coefficient":60.0,"variable":"x[84]"}},{"output_index":2,"scalar_term":{"coefficient":30.0,"variable":"x[85]"}},{"output_index":2,"scalar_term":{"coefficient":77.0,"variable":"x[86]"}},{"output_index":2,"scalar_term":{"coefficient":70.0,"variable":"x[87]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[88]"}},{"output_index":2,"scalar_term":{"coefficient":35.0,"variable":"x[89]"}},{"output_index":2,"scalar_term":{"coefficient":39.0,"variable":"x[90]"}},{"output_index":2,"scalar_term":{"coefficient":63.0,"variable":"x[91]"}},{"output_index":2,"scalar_term":{"coefficient":43.0,"variable":"x[92]"}},{"output_index":2,"scalar_term":{"coefficient":36.0,"variable":"x[93]"}},{"output_index":2,"scalar_term":{"coefficient":12.0,"variable":"x[94]"}},{"output_index":2,"scalar_term":{"coefficient":70.0,"variable":"x[95]"}},{"output_index":2,"scalar_term":{"coefficient":71.0,"variable":"x[96]"}},{"output_index":2,"scalar_term":{"coefficient":33.0,"variable":"x[97]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[98]"}},{"output_index":2,"scalar_term":{"coefficient":70.0,"variable":"x[99]"}},{"output_index":2,"scalar_term":{"coefficient":28.0,"variable":"x[100]"}}],"constants":[0.0,0.0]}},"constraints":[{"name":"c1","function":{"type":"ScalarAffineFunction","terms":[{"coefficient":8.0,"variable":"x[1]"},{"coefficient":25.0,"variable":"x[2]"},{"coefficient":21.0,"variable":"x[3]"},{"coefficient":6.0,"variable":"x[4]"},{"coefficient":27.0,"variable":"x[5]"},{"coefficient":8.0,"variable":"x[6]"},{"coefficient":9.0,"variable":"x[7]"},{"coefficient":27.0,"variable":"x[8]"},{"coefficient":5.0,"variable":"x[9]"},{"coefficient":16.0,"variable":"x[10]"},{"coefficient":21.0,"variable":"x[11]"},{"coefficient":13.0,"variable":"x[12]"},{"coefficient":15.0,"variable":"x[13]"},{"coefficient":20.0,"variable":"x[14]"},{"coefficient":15.0,"variable":"x[15]"},{"coefficient":7.0,"variable":"x[16]"},{"coefficient":23.0,"variable":"x[17]"},{"coefficient":9.0,"variable":"x[18]"},{"coefficient":25.0,"variable":"x[19]"},{"coefficient":7.0,"variable":"x[20]"},{"coefficient":25.0,"variable":"x[21]"},{"coefficient":20.0,"variable":"x[22]"},{"coefficient":10.0,"variable":"x[23]"},{"coefficient":23.0,"variable":"x[24]"},{"coefficient":9.0,"variable":"x[25]"},{"coefficient":24.0,"variable":"x[26]"},{"coefficient":23.0,"variable":"x[27]"},{"coefficient":24.0,"variable":"x[28]"},{"coefficient":7.0,"variable":"x[29]"},{"coefficient":10.0,"variable":"x[30]"},{"coefficient":4.0,"variable":"x[31]"},{"coefficient":20.0,"variable":"x[32]"},{"coefficient":22.0,"variable":"x[33]"},{"coefficient":28.0,"variable":"x[34]"},{"coefficient":15.0,"variable":"x[35]"},{"coefficient":16.0,"variable":"x[36]"},{"coefficient":17.0,"variable":"x[37]"},{"coefficient":26.0,"variable":"x[38]"},{"coefficient":29.0,"variable":"x[39]"},{"coefficient":27.0,"variable":"x[40]"},{"coefficient":16.0,"variable":"x[41]"},{"coefficient":19.0,"variable":"x[42]"},{"coefficient":25.0,"variable":"x[43]"},{"coefficient":16.0,"variable":"x[44]"},{"coefficient":18.0,"variable":"x[45]"},{"coefficient":21.0,"variable":"x[46]"},{"coefficient":11.0,"variable":"x[47]"},{"coefficient":6.0,"variable":"x[48]"},{"coefficient":2.0,"variable":"x[49]"},{"coefficient":7.0,"variable":"x[50]"},{"coefficient":9.0,"variable":"x[51]"},{"coefficient":3.0,"variable":"x[52]"},{"coefficient":5.0,"variable":"x[53]"},{"coefficient":3.0,"variable":"x[54]"},{"coefficient":14.0,"variable":"x[55]"},{"coefficient":4.0,"variable":"x[56]"},{"coefficient":24.0,"variable":"x[57]"},{"coefficient":4.0,"variable":"x[58]"},{"coefficient":30.0,"variable":"x[59]"},{"coefficient":11.0,"variable":"x[60]"},{"coefficient":14.0,"variable":"x[61]"},{"coefficient":29.0,"variable":"x[62]"},{"coefficient":13.0,"variable":"x[63]"},{"coefficient":27.0,"variable":"x[64]"},{"coefficient":7.0,"variable":"x[65]"},{"coefficient":7.0,"variable":"x[66]"},{"coefficient":4.0,"variable":"x[67]"},{"coefficient":14.0,"variable":"x[68]"},{"coefficient":4.0,"variable":"x[69]"},{"coefficient":18.0,"variable":"x[70]"},{"coefficient":2.0,"variable":"x[71]"},{"coefficient":15.0,"variable":"x[72]"},{"coefficient":6.0,"variable":"x[73]"},{"coefficient":11.0,"variable":"x[74]"},{"coefficient":29.0,"variable":"x[75]"},{"coefficient":2.0,"variable":"x[76]"},{"coefficient":23.0,"variable":"x[77]"},{"coefficient":8.0,"variable":"x[78]"},{"coefficient":8.0,"variable":"x[79]"},{"coefficient":3.0,"variable":"x[80]"},{"coefficient":6.0,"variable":"x[81]"},{"coefficient":18.0,"variable":"x[82]"},{"coefficient":23.0,"variable":"x[83]"},{"coefficient":11.0,"variable":"x[84]"},{"coefficient":7.0,"variable":"x[85]"},{"coefficient":20.0,"variable":"x[86]"},{"coefficient":11.0,"variable":"x[87]"},{"coefficient":2.0,"variable":"x[88]"},{"coefficient":10.0,"variable":"x[89]"},{"coefficient":18.0,"variable":"x[90]"},{"coefficient":7.0,"variable":"x[91]"},{"coefficient":18.0,"variable":"x[92]"},{"coefficient":19.0,"variable":"x[93]"},{"coefficient":19.0,"variable":"x[94]"},{"coefficient":22.0,"variable":"x[95]"},{"coefficient":15.0,"variable":"x[96]"},{"coefficient":24.0,"variable":"x[97]"},{"coefficient":21.0,"variable":"x[98]"},{"coefficient":21.0,"variable":"x[99]"},{"coefficient":29.0,"variable":"x[100]"}],"constant":0.0},"set":{"type":"LessThan","upper":750.0}},{"function":{"type":"Variable","name":"x[1]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[2]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[3]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[4]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[5]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[6]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[7]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[8]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[9]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[10]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[11]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[12]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[13]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[14]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[15]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[16]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[17]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[18]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[19]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[20]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[21]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[22]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[23]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[24]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[25]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[26]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[27]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[28]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[29]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[30]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[31]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[32]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[33]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[34]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[35]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[36]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[37]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[38]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[39]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[40]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[41]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[42]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[43]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[44]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[45]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[46]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[47]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[48]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[49]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[50]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[51]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[52]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[53]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[54]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[55]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[56]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[57]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[58]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[59]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[60]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[61]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[62]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[63]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[64]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[65]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[66]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[67]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[68]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[69]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[70]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[71]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[72]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[73]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[74]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[75]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[76]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[77]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[78]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[79]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[80]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[81]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[82]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[83]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[84]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[85]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[86]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[87]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[88]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[89]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[90]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[91]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[92]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[93]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[94]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[95]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[96]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[97]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[98]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[99]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[100]"},"set":{"type":"ZeroOne"}}]}