diff --git a/.gitignore b/.gitignore
index ba39cc5..e8d8b85 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 Manifest.toml
+vOptLib
diff --git a/Project.toml b/Project.toml
index d7a7fbd..95437f5 100644
--- a/Project.toml
+++ b/Project.toml
@@ -11,6 +11,7 @@ MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
 Combinatorics = "1"
 HiGHS = "1"
 Ipopt = "1"
+JSON = "0.21"
 MathOptInterface = "1.19"
 Test = "<0.0.1, 1.6"
 julia = "1.6"
@@ -18,7 +19,8 @@ julia = "1.6"
 [extras]
 HiGHS = "87dc4568-4c63-4d18-b0c0-bb2238e4078b"
 Ipopt = "b6b21f68-93f8-5de0-b562-5493be1d77c9"
+JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [targets]
-test = ["HiGHS", "Ipopt", "Test"]
+test = ["HiGHS", "Ipopt", "JSON", "Test"]
diff --git a/instances/models/2KP100-50.mof.json b/instances/models/2KP100-50.mof.json
new file mode 100644
index 0000000..d330ddc
--- /dev/null
+++ b/instances/models/2KP100-50.mof.json
@@ -0,0 +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"}}]}
\ No newline at end of file
diff --git a/instances/models/2KP50-11.mof.json b/instances/models/2KP50-11.mof.json
new file mode 100644
index 0000000..76a7e54
--- /dev/null
+++ b/instances/models/2KP50-11.mof.json
@@ -0,0 +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]"}],"objective":{"sense":"max","function":{"type":"VectorAffineFunction","terms":[{"output_index":1,"scalar_term":{"coefficient":80.0,"variable":"x[1]"}},{"output_index":1,"scalar_term":{"coefficient":59.0,"variable":"x[2]"}},{"output_index":1,"scalar_term":{"coefficient":52.0,"variable":"x[3]"}},{"output_index":1,"scalar_term":{"coefficient":38.0,"variable":"x[4]"}},{"output_index":1,"scalar_term":{"coefficient":86.0,"variable":"x[5]"}},{"output_index":1,"scalar_term":{"coefficient":58.0,"variable":"x[6]"}},{"output_index":1,"scalar_term":{"coefficient":94.0,"variable":"x[7]"}},{"output_index":1,"scalar_term":{"coefficient":44.0,"variable":"x[8]"}},{"output_index":1,"scalar_term":{"coefficient":66.0,"variable":"x[9]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[10]"}},{"output_index":1,"scalar_term":{"coefficient":81.0,"variable":"x[11]"}},{"output_index":1,"scalar_term":{"coefficient":72.0,"variable":"x[12]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[13]"}},{"output_index":1,"scalar_term":{"coefficient":37.0,"variable":"x[14]"}},{"output_index":1,"scalar_term":{"coefficient":72.0,"variable":"x[15]"}},{"output_index":1,"scalar_term":{"coefficient":98.0,"variable":"x[16]"}},{"output_index":1,"scalar_term":{"coefficient":34.0,"variable":"x[17]"}},{"output_index":1,"scalar_term":{"coefficient":34.0,"variable":"x[18]"}},{"output_index":1,"scalar_term":{"coefficient":32.0,"variable":"x[19]"}},{"output_index":1,"scalar_term":{"coefficient":100.0,"variable":"x[20]"}},{"output_index":1,"scalar_term":{"coefficient":83.0,"variable":"x[21]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[22]"}},{"output_index":1,"scalar_term":{"coefficient":43.0,"variable":"x[23]"}},{"output_index":1,"scalar_term":{"coefficient":38.0,"variable":"x[24]"}},{"output_index":1,"scalar_term":{"coefficient":56.0,"variable":"x[25]"}},{"output_index":1,"scalar_term":{"coefficient":88.0,"variable":"x[26]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[27]"}},{"output_index":1,"scalar_term":{"coefficient":92.0,"variable":"x[28]"}},{"output_index":1,"scalar_term":{"coefficient":100.0,"variable":"x[29]"}},{"output_index":1,"scalar_term":{"coefficient":98.0,"variable":"x[30]"}},{"output_index":1,"scalar_term":{"coefficient":79.0,"variable":"x[31]"}},{"output_index":1,"scalar_term":{"coefficient":96.0,"variable":"x[32]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[33]"}},{"output_index":1,"scalar_term":{"coefficient":62.0,"variable":"x[34]"}},{"output_index":1,"scalar_term":{"coefficient":90.0,"variable":"x[35]"}},{"output_index":1,"scalar_term":{"coefficient":76.0,"variable":"x[36]"}},{"output_index":1,"scalar_term":{"coefficient":94.0,"variable":"x[37]"}},{"output_index":1,"scalar_term":{"coefficient":53.0,"variable":"x[38]"}},{"output_index":1,"scalar_term":{"coefficient":50.0,"variable":"x[39]"}},{"output_index":1,"scalar_term":{"coefficient":49.0,"variable":"x[40]"}},{"output_index":1,"scalar_term":{"coefficient":57.0,"variable":"x[41]"}},{"output_index":1,"scalar_term":{"coefficient":56.0,"variable":"x[42]"}},{"output_index":1,"scalar_term":{"coefficient":66.0,"variable":"x[43]"}},{"output_index":1,"scalar_term":{"coefficient":91.0,"variable":"x[44]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[45]"}},{"output_index":1,"scalar_term":{"coefficient":78.0,"variable":"x[46]"}},{"output_index":1,"scalar_term":{"coefficient":76.0,"variable":"x[47]"}},{"output_index":1,"scalar_term":{"coefficient":31.0,"variable":"x[48]"}},{"output_index":1,"scalar_term":{"coefficient":36.0,"variable":"x[49]"}},{"output_index":1,"scalar_term":{"coefficient":82.0,"variable":"x[50]"}},{"output_index":2,"scalar_term":{"coefficient":62.0,"variable":"x[1]"}},{"output_index":2,"scalar_term":{"coefficient":80.0,"variable":"x[2]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[3]"}},{"output_index":2,"scalar_term":{"coefficient":92.0,"variable":"x[4]"}},{"output_index":2,"scalar_term":{"coefficient":35.0,"variable":"x[5]"}},{"output_index":2,"scalar_term":{"coefficient":41.0,"variable":"x[6]"}},{"output_index":2,"scalar_term":{"coefficient":95.0,"variable":"x[7]"}},{"output_index":2,"scalar_term":{"coefficient":89.0,"variable":"x[8]"}},{"output_index":2,"scalar_term":{"coefficient":53.0,"variable":"x[9]"}},{"output_index":2,"scalar_term":{"coefficient":52.0,"variable":"x[10]"}},{"output_index":2,"scalar_term":{"coefficient":63.0,"variable":"x[11]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[12]"}},{"output_index":2,"scalar_term":{"coefficient":89.0,"variable":"x[13]"}},{"output_index":2,"scalar_term":{"coefficient":42.0,"variable":"x[14]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[15]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[16]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[17]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[18]"}},{"output_index":2,"scalar_term":{"coefficient":82.0,"variable":"x[19]"}},{"output_index":2,"scalar_term":{"coefficient":87.0,"variable":"x[20]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[21]"}},{"output_index":2,"scalar_term":{"coefficient":58.0,"variable":"x[22]"}},{"output_index":2,"scalar_term":{"coefficient":51.0,"variable":"x[23]"}},{"output_index":2,"scalar_term":{"coefficient":65.0,"variable":"x[24]"}},{"output_index":2,"scalar_term":{"coefficient":80.0,"variable":"x[25]"}},{"output_index":2,"scalar_term":{"coefficient":36.0,"variable":"x[26]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[27]"}},{"output_index":2,"scalar_term":{"coefficient":47.0,"variable":"x[28]"}},{"output_index":2,"scalar_term":{"coefficient":58.0,"variable":"x[29]"}},{"output_index":2,"scalar_term":{"coefficient":49.0,"variable":"x[30]"}},{"output_index":2,"scalar_term":{"coefficient":53.0,"variable":"x[31]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[32]"}},{"output_index":2,"scalar_term":{"coefficient":94.0,"variable":"x[33]"}},{"output_index":2,"scalar_term":{"coefficient":51.0,"variable":"x[34]"}},{"output_index":2,"scalar_term":{"coefficient":48.0,"variable":"x[35]"}},{"output_index":2,"scalar_term":{"coefficient":90.0,"variable":"x[36]"}},{"output_index":2,"scalar_term":{"coefficient":35.0,"variable":"x[37]"}},{"output_index":2,"scalar_term":{"coefficient":43.0,"variable":"x[38]"}},{"output_index":2,"scalar_term":{"coefficient":61.0,"variable":"x[39]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[40]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[41]"}},{"output_index":2,"scalar_term":{"coefficient":76.0,"variable":"x[42]"}},{"output_index":2,"scalar_term":{"coefficient":92.0,"variable":"x[43]"}},{"output_index":2,"scalar_term":{"coefficient":45.0,"variable":"x[44]"}},{"output_index":2,"scalar_term":{"coefficient":39.0,"variable":"x[45]"}},{"output_index":2,"scalar_term":{"coefficient":33.0,"variable":"x[46]"}},{"output_index":2,"scalar_term":{"coefficient":50.0,"variable":"x[47]"}},{"output_index":2,"scalar_term":{"coefficient":56.0,"variable":"x[48]"}},{"output_index":2,"scalar_term":{"coefficient":68.0,"variable":"x[49]"}},{"output_index":2,"scalar_term":{"coefficient":47.0,"variable":"x[50]"}}],"constants":[0.0,0.0]}},"constraints":[{"name":"c1","function":{"type":"ScalarAffineFunction","terms":[{"coefficient":25.0,"variable":"x[1]"},{"coefficient":26.0,"variable":"x[2]"},{"coefficient":28.0,"variable":"x[3]"},{"coefficient":25.0,"variable":"x[4]"},{"coefficient":20.0,"variable":"x[5]"},{"coefficient":38.0,"variable":"x[6]"},{"coefficient":38.0,"variable":"x[7]"},{"coefficient":49.0,"variable":"x[8]"},{"coefficient":28.0,"variable":"x[9]"},{"coefficient":22.0,"variable":"x[10]"},{"coefficient":34.0,"variable":"x[11]"},{"coefficient":39.0,"variable":"x[12]"},{"coefficient":26.0,"variable":"x[13]"},{"coefficient":21.0,"variable":"x[14]"},{"coefficient":36.0,"variable":"x[15]"},{"coefficient":47.0,"variable":"x[16]"},{"coefficient":38.0,"variable":"x[17]"},{"coefficient":50.0,"variable":"x[18]"},{"coefficient":39.0,"variable":"x[19]"},{"coefficient":50.0,"variable":"x[20]"},{"coefficient":45.0,"variable":"x[21]"},{"coefficient":27.0,"variable":"x[22]"},{"coefficient":49.0,"variable":"x[23]"},{"coefficient":24.0,"variable":"x[24]"},{"coefficient":48.0,"variable":"x[25]"},{"coefficient":32.0,"variable":"x[26]"},{"coefficient":47.0,"variable":"x[27]"},{"coefficient":24.0,"variable":"x[28]"},{"coefficient":43.0,"variable":"x[29]"},{"coefficient":27.0,"variable":"x[30]"},{"coefficient":32.0,"variable":"x[31]"},{"coefficient":48.0,"variable":"x[32]"},{"coefficient":35.0,"variable":"x[33]"},{"coefficient":22.0,"variable":"x[34]"},{"coefficient":34.0,"variable":"x[35]"},{"coefficient":31.0,"variable":"x[36]"},{"coefficient":31.0,"variable":"x[37]"},{"coefficient":36.0,"variable":"x[38]"},{"coefficient":50.0,"variable":"x[39]"},{"coefficient":23.0,"variable":"x[40]"},{"coefficient":33.0,"variable":"x[41]"},{"coefficient":24.0,"variable":"x[42]"},{"coefficient":28.0,"variable":"x[43]"},{"coefficient":35.0,"variable":"x[44]"},{"coefficient":22.0,"variable":"x[45]"},{"coefficient":26.0,"variable":"x[46]"},{"coefficient":32.0,"variable":"x[47]"},{"coefficient":21.0,"variable":"x[48]"},{"coefficient":20.0,"variable":"x[49]"},{"coefficient":29.0,"variable":"x[50]"}],"constant":0.0},"set":{"type":"LessThan","upper":187.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"}}]}
\ No newline at end of file
diff --git a/instances/models/2KP50-50.mof.json b/instances/models/2KP50-50.mof.json
new file mode 100644
index 0000000..c0f76ea
--- /dev/null
+++ b/instances/models/2KP50-50.mof.json
@@ -0,0 +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]"}],"objective":{"sense":"max","function":{"type":"VectorAffineFunction","terms":[{"output_index":1,"scalar_term":{"coefficient":80.0,"variable":"x[1]"}},{"output_index":1,"scalar_term":{"coefficient":59.0,"variable":"x[2]"}},{"output_index":1,"scalar_term":{"coefficient":52.0,"variable":"x[3]"}},{"output_index":1,"scalar_term":{"coefficient":38.0,"variable":"x[4]"}},{"output_index":1,"scalar_term":{"coefficient":86.0,"variable":"x[5]"}},{"output_index":1,"scalar_term":{"coefficient":58.0,"variable":"x[6]"}},{"output_index":1,"scalar_term":{"coefficient":94.0,"variable":"x[7]"}},{"output_index":1,"scalar_term":{"coefficient":44.0,"variable":"x[8]"}},{"output_index":1,"scalar_term":{"coefficient":66.0,"variable":"x[9]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[10]"}},{"output_index":1,"scalar_term":{"coefficient":81.0,"variable":"x[11]"}},{"output_index":1,"scalar_term":{"coefficient":72.0,"variable":"x[12]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[13]"}},{"output_index":1,"scalar_term":{"coefficient":37.0,"variable":"x[14]"}},{"output_index":1,"scalar_term":{"coefficient":72.0,"variable":"x[15]"}},{"output_index":1,"scalar_term":{"coefficient":98.0,"variable":"x[16]"}},{"output_index":1,"scalar_term":{"coefficient":34.0,"variable":"x[17]"}},{"output_index":1,"scalar_term":{"coefficient":34.0,"variable":"x[18]"}},{"output_index":1,"scalar_term":{"coefficient":32.0,"variable":"x[19]"}},{"output_index":1,"scalar_term":{"coefficient":100.0,"variable":"x[20]"}},{"output_index":1,"scalar_term":{"coefficient":83.0,"variable":"x[21]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[22]"}},{"output_index":1,"scalar_term":{"coefficient":43.0,"variable":"x[23]"}},{"output_index":1,"scalar_term":{"coefficient":38.0,"variable":"x[24]"}},{"output_index":1,"scalar_term":{"coefficient":56.0,"variable":"x[25]"}},{"output_index":1,"scalar_term":{"coefficient":88.0,"variable":"x[26]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[27]"}},{"output_index":1,"scalar_term":{"coefficient":92.0,"variable":"x[28]"}},{"output_index":1,"scalar_term":{"coefficient":100.0,"variable":"x[29]"}},{"output_index":1,"scalar_term":{"coefficient":98.0,"variable":"x[30]"}},{"output_index":1,"scalar_term":{"coefficient":79.0,"variable":"x[31]"}},{"output_index":1,"scalar_term":{"coefficient":96.0,"variable":"x[32]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[33]"}},{"output_index":1,"scalar_term":{"coefficient":62.0,"variable":"x[34]"}},{"output_index":1,"scalar_term":{"coefficient":90.0,"variable":"x[35]"}},{"output_index":1,"scalar_term":{"coefficient":76.0,"variable":"x[36]"}},{"output_index":1,"scalar_term":{"coefficient":94.0,"variable":"x[37]"}},{"output_index":1,"scalar_term":{"coefficient":53.0,"variable":"x[38]"}},{"output_index":1,"scalar_term":{"coefficient":50.0,"variable":"x[39]"}},{"output_index":1,"scalar_term":{"coefficient":49.0,"variable":"x[40]"}},{"output_index":1,"scalar_term":{"coefficient":57.0,"variable":"x[41]"}},{"output_index":1,"scalar_term":{"coefficient":56.0,"variable":"x[42]"}},{"output_index":1,"scalar_term":{"coefficient":66.0,"variable":"x[43]"}},{"output_index":1,"scalar_term":{"coefficient":91.0,"variable":"x[44]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[45]"}},{"output_index":1,"scalar_term":{"coefficient":78.0,"variable":"x[46]"}},{"output_index":1,"scalar_term":{"coefficient":76.0,"variable":"x[47]"}},{"output_index":1,"scalar_term":{"coefficient":31.0,"variable":"x[48]"}},{"output_index":1,"scalar_term":{"coefficient":36.0,"variable":"x[49]"}},{"output_index":1,"scalar_term":{"coefficient":82.0,"variable":"x[50]"}},{"output_index":2,"scalar_term":{"coefficient":62.0,"variable":"x[1]"}},{"output_index":2,"scalar_term":{"coefficient":80.0,"variable":"x[2]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[3]"}},{"output_index":2,"scalar_term":{"coefficient":92.0,"variable":"x[4]"}},{"output_index":2,"scalar_term":{"coefficient":35.0,"variable":"x[5]"}},{"output_index":2,"scalar_term":{"coefficient":41.0,"variable":"x[6]"}},{"output_index":2,"scalar_term":{"coefficient":95.0,"variable":"x[7]"}},{"output_index":2,"scalar_term":{"coefficient":89.0,"variable":"x[8]"}},{"output_index":2,"scalar_term":{"coefficient":53.0,"variable":"x[9]"}},{"output_index":2,"scalar_term":{"coefficient":52.0,"variable":"x[10]"}},{"output_index":2,"scalar_term":{"coefficient":63.0,"variable":"x[11]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[12]"}},{"output_index":2,"scalar_term":{"coefficient":89.0,"variable":"x[13]"}},{"output_index":2,"scalar_term":{"coefficient":42.0,"variable":"x[14]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[15]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[16]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[17]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[18]"}},{"output_index":2,"scalar_term":{"coefficient":82.0,"variable":"x[19]"}},{"output_index":2,"scalar_term":{"coefficient":87.0,"variable":"x[20]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[21]"}},{"output_index":2,"scalar_term":{"coefficient":58.0,"variable":"x[22]"}},{"output_index":2,"scalar_term":{"coefficient":51.0,"variable":"x[23]"}},{"output_index":2,"scalar_term":{"coefficient":65.0,"variable":"x[24]"}},{"output_index":2,"scalar_term":{"coefficient":80.0,"variable":"x[25]"}},{"output_index":2,"scalar_term":{"coefficient":36.0,"variable":"x[26]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[27]"}},{"output_index":2,"scalar_term":{"coefficient":47.0,"variable":"x[28]"}},{"output_index":2,"scalar_term":{"coefficient":58.0,"variable":"x[29]"}},{"output_index":2,"scalar_term":{"coefficient":49.0,"variable":"x[30]"}},{"output_index":2,"scalar_term":{"coefficient":53.0,"variable":"x[31]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[32]"}},{"output_index":2,"scalar_term":{"coefficient":94.0,"variable":"x[33]"}},{"output_index":2,"scalar_term":{"coefficient":51.0,"variable":"x[34]"}},{"output_index":2,"scalar_term":{"coefficient":48.0,"variable":"x[35]"}},{"output_index":2,"scalar_term":{"coefficient":90.0,"variable":"x[36]"}},{"output_index":2,"scalar_term":{"coefficient":35.0,"variable":"x[37]"}},{"output_index":2,"scalar_term":{"coefficient":43.0,"variable":"x[38]"}},{"output_index":2,"scalar_term":{"coefficient":61.0,"variable":"x[39]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[40]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[41]"}},{"output_index":2,"scalar_term":{"coefficient":76.0,"variable":"x[42]"}},{"output_index":2,"scalar_term":{"coefficient":92.0,"variable":"x[43]"}},{"output_index":2,"scalar_term":{"coefficient":45.0,"variable":"x[44]"}},{"output_index":2,"scalar_term":{"coefficient":39.0,"variable":"x[45]"}},{"output_index":2,"scalar_term":{"coefficient":33.0,"variable":"x[46]"}},{"output_index":2,"scalar_term":{"coefficient":50.0,"variable":"x[47]"}},{"output_index":2,"scalar_term":{"coefficient":56.0,"variable":"x[48]"}},{"output_index":2,"scalar_term":{"coefficient":68.0,"variable":"x[49]"}},{"output_index":2,"scalar_term":{"coefficient":47.0,"variable":"x[50]"}}],"constants":[0.0,0.0]}},"constraints":[{"name":"c1","function":{"type":"ScalarAffineFunction","terms":[{"coefficient":25.0,"variable":"x[1]"},{"coefficient":26.0,"variable":"x[2]"},{"coefficient":28.0,"variable":"x[3]"},{"coefficient":25.0,"variable":"x[4]"},{"coefficient":20.0,"variable":"x[5]"},{"coefficient":38.0,"variable":"x[6]"},{"coefficient":38.0,"variable":"x[7]"},{"coefficient":49.0,"variable":"x[8]"},{"coefficient":28.0,"variable":"x[9]"},{"coefficient":22.0,"variable":"x[10]"},{"coefficient":34.0,"variable":"x[11]"},{"coefficient":39.0,"variable":"x[12]"},{"coefficient":26.0,"variable":"x[13]"},{"coefficient":21.0,"variable":"x[14]"},{"coefficient":36.0,"variable":"x[15]"},{"coefficient":47.0,"variable":"x[16]"},{"coefficient":38.0,"variable":"x[17]"},{"coefficient":50.0,"variable":"x[18]"},{"coefficient":39.0,"variable":"x[19]"},{"coefficient":50.0,"variable":"x[20]"},{"coefficient":45.0,"variable":"x[21]"},{"coefficient":27.0,"variable":"x[22]"},{"coefficient":49.0,"variable":"x[23]"},{"coefficient":24.0,"variable":"x[24]"},{"coefficient":48.0,"variable":"x[25]"},{"coefficient":32.0,"variable":"x[26]"},{"coefficient":47.0,"variable":"x[27]"},{"coefficient":24.0,"variable":"x[28]"},{"coefficient":43.0,"variable":"x[29]"},{"coefficient":27.0,"variable":"x[30]"},{"coefficient":32.0,"variable":"x[31]"},{"coefficient":48.0,"variable":"x[32]"},{"coefficient":35.0,"variable":"x[33]"},{"coefficient":22.0,"variable":"x[34]"},{"coefficient":34.0,"variable":"x[35]"},{"coefficient":31.0,"variable":"x[36]"},{"coefficient":31.0,"variable":"x[37]"},{"coefficient":36.0,"variable":"x[38]"},{"coefficient":50.0,"variable":"x[39]"},{"coefficient":23.0,"variable":"x[40]"},{"coefficient":33.0,"variable":"x[41]"},{"coefficient":24.0,"variable":"x[42]"},{"coefficient":28.0,"variable":"x[43]"},{"coefficient":35.0,"variable":"x[44]"},{"coefficient":22.0,"variable":"x[45]"},{"coefficient":26.0,"variable":"x[46]"},{"coefficient":32.0,"variable":"x[47]"},{"coefficient":21.0,"variable":"x[48]"},{"coefficient":20.0,"variable":"x[49]"},{"coefficient":29.0,"variable":"x[50]"}],"constant":0.0},"set":{"type":"LessThan","upper":828.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"}}]}
\ No newline at end of file
diff --git a/instances/models/2KP50-92.mof.json b/instances/models/2KP50-92.mof.json
new file mode 100644
index 0000000..035bb2e
--- /dev/null
+++ b/instances/models/2KP50-92.mof.json
@@ -0,0 +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]"}],"objective":{"sense":"max","function":{"type":"VectorAffineFunction","terms":[{"output_index":1,"scalar_term":{"coefficient":80.0,"variable":"x[1]"}},{"output_index":1,"scalar_term":{"coefficient":59.0,"variable":"x[2]"}},{"output_index":1,"scalar_term":{"coefficient":52.0,"variable":"x[3]"}},{"output_index":1,"scalar_term":{"coefficient":38.0,"variable":"x[4]"}},{"output_index":1,"scalar_term":{"coefficient":86.0,"variable":"x[5]"}},{"output_index":1,"scalar_term":{"coefficient":58.0,"variable":"x[6]"}},{"output_index":1,"scalar_term":{"coefficient":94.0,"variable":"x[7]"}},{"output_index":1,"scalar_term":{"coefficient":44.0,"variable":"x[8]"}},{"output_index":1,"scalar_term":{"coefficient":66.0,"variable":"x[9]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[10]"}},{"output_index":1,"scalar_term":{"coefficient":81.0,"variable":"x[11]"}},{"output_index":1,"scalar_term":{"coefficient":72.0,"variable":"x[12]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[13]"}},{"output_index":1,"scalar_term":{"coefficient":37.0,"variable":"x[14]"}},{"output_index":1,"scalar_term":{"coefficient":72.0,"variable":"x[15]"}},{"output_index":1,"scalar_term":{"coefficient":98.0,"variable":"x[16]"}},{"output_index":1,"scalar_term":{"coefficient":34.0,"variable":"x[17]"}},{"output_index":1,"scalar_term":{"coefficient":34.0,"variable":"x[18]"}},{"output_index":1,"scalar_term":{"coefficient":32.0,"variable":"x[19]"}},{"output_index":1,"scalar_term":{"coefficient":100.0,"variable":"x[20]"}},{"output_index":1,"scalar_term":{"coefficient":83.0,"variable":"x[21]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[22]"}},{"output_index":1,"scalar_term":{"coefficient":43.0,"variable":"x[23]"}},{"output_index":1,"scalar_term":{"coefficient":38.0,"variable":"x[24]"}},{"output_index":1,"scalar_term":{"coefficient":56.0,"variable":"x[25]"}},{"output_index":1,"scalar_term":{"coefficient":88.0,"variable":"x[26]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[27]"}},{"output_index":1,"scalar_term":{"coefficient":92.0,"variable":"x[28]"}},{"output_index":1,"scalar_term":{"coefficient":100.0,"variable":"x[29]"}},{"output_index":1,"scalar_term":{"coefficient":98.0,"variable":"x[30]"}},{"output_index":1,"scalar_term":{"coefficient":79.0,"variable":"x[31]"}},{"output_index":1,"scalar_term":{"coefficient":96.0,"variable":"x[32]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[33]"}},{"output_index":1,"scalar_term":{"coefficient":62.0,"variable":"x[34]"}},{"output_index":1,"scalar_term":{"coefficient":90.0,"variable":"x[35]"}},{"output_index":1,"scalar_term":{"coefficient":76.0,"variable":"x[36]"}},{"output_index":1,"scalar_term":{"coefficient":94.0,"variable":"x[37]"}},{"output_index":1,"scalar_term":{"coefficient":53.0,"variable":"x[38]"}},{"output_index":1,"scalar_term":{"coefficient":50.0,"variable":"x[39]"}},{"output_index":1,"scalar_term":{"coefficient":49.0,"variable":"x[40]"}},{"output_index":1,"scalar_term":{"coefficient":57.0,"variable":"x[41]"}},{"output_index":1,"scalar_term":{"coefficient":56.0,"variable":"x[42]"}},{"output_index":1,"scalar_term":{"coefficient":66.0,"variable":"x[43]"}},{"output_index":1,"scalar_term":{"coefficient":91.0,"variable":"x[44]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[45]"}},{"output_index":1,"scalar_term":{"coefficient":78.0,"variable":"x[46]"}},{"output_index":1,"scalar_term":{"coefficient":76.0,"variable":"x[47]"}},{"output_index":1,"scalar_term":{"coefficient":31.0,"variable":"x[48]"}},{"output_index":1,"scalar_term":{"coefficient":36.0,"variable":"x[49]"}},{"output_index":1,"scalar_term":{"coefficient":82.0,"variable":"x[50]"}},{"output_index":2,"scalar_term":{"coefficient":62.0,"variable":"x[1]"}},{"output_index":2,"scalar_term":{"coefficient":80.0,"variable":"x[2]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[3]"}},{"output_index":2,"scalar_term":{"coefficient":92.0,"variable":"x[4]"}},{"output_index":2,"scalar_term":{"coefficient":35.0,"variable":"x[5]"}},{"output_index":2,"scalar_term":{"coefficient":41.0,"variable":"x[6]"}},{"output_index":2,"scalar_term":{"coefficient":95.0,"variable":"x[7]"}},{"output_index":2,"scalar_term":{"coefficient":89.0,"variable":"x[8]"}},{"output_index":2,"scalar_term":{"coefficient":53.0,"variable":"x[9]"}},{"output_index":2,"scalar_term":{"coefficient":52.0,"variable":"x[10]"}},{"output_index":2,"scalar_term":{"coefficient":63.0,"variable":"x[11]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[12]"}},{"output_index":2,"scalar_term":{"coefficient":89.0,"variable":"x[13]"}},{"output_index":2,"scalar_term":{"coefficient":42.0,"variable":"x[14]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[15]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[16]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[17]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[18]"}},{"output_index":2,"scalar_term":{"coefficient":82.0,"variable":"x[19]"}},{"output_index":2,"scalar_term":{"coefficient":87.0,"variable":"x[20]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[21]"}},{"output_index":2,"scalar_term":{"coefficient":58.0,"variable":"x[22]"}},{"output_index":2,"scalar_term":{"coefficient":51.0,"variable":"x[23]"}},{"output_index":2,"scalar_term":{"coefficient":65.0,"variable":"x[24]"}},{"output_index":2,"scalar_term":{"coefficient":80.0,"variable":"x[25]"}},{"output_index":2,"scalar_term":{"coefficient":36.0,"variable":"x[26]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[27]"}},{"output_index":2,"scalar_term":{"coefficient":47.0,"variable":"x[28]"}},{"output_index":2,"scalar_term":{"coefficient":58.0,"variable":"x[29]"}},{"output_index":2,"scalar_term":{"coefficient":49.0,"variable":"x[30]"}},{"output_index":2,"scalar_term":{"coefficient":53.0,"variable":"x[31]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[32]"}},{"output_index":2,"scalar_term":{"coefficient":94.0,"variable":"x[33]"}},{"output_index":2,"scalar_term":{"coefficient":51.0,"variable":"x[34]"}},{"output_index":2,"scalar_term":{"coefficient":48.0,"variable":"x[35]"}},{"output_index":2,"scalar_term":{"coefficient":90.0,"variable":"x[36]"}},{"output_index":2,"scalar_term":{"coefficient":35.0,"variable":"x[37]"}},{"output_index":2,"scalar_term":{"coefficient":43.0,"variable":"x[38]"}},{"output_index":2,"scalar_term":{"coefficient":61.0,"variable":"x[39]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[40]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[41]"}},{"output_index":2,"scalar_term":{"coefficient":76.0,"variable":"x[42]"}},{"output_index":2,"scalar_term":{"coefficient":92.0,"variable":"x[43]"}},{"output_index":2,"scalar_term":{"coefficient":45.0,"variable":"x[44]"}},{"output_index":2,"scalar_term":{"coefficient":39.0,"variable":"x[45]"}},{"output_index":2,"scalar_term":{"coefficient":33.0,"variable":"x[46]"}},{"output_index":2,"scalar_term":{"coefficient":50.0,"variable":"x[47]"}},{"output_index":2,"scalar_term":{"coefficient":56.0,"variable":"x[48]"}},{"output_index":2,"scalar_term":{"coefficient":68.0,"variable":"x[49]"}},{"output_index":2,"scalar_term":{"coefficient":47.0,"variable":"x[50]"}}],"constants":[0.0,0.0]}},"constraints":[{"name":"c1","function":{"type":"ScalarAffineFunction","terms":[{"coefficient":25.0,"variable":"x[1]"},{"coefficient":26.0,"variable":"x[2]"},{"coefficient":28.0,"variable":"x[3]"},{"coefficient":25.0,"variable":"x[4]"},{"coefficient":20.0,"variable":"x[5]"},{"coefficient":38.0,"variable":"x[6]"},{"coefficient":38.0,"variable":"x[7]"},{"coefficient":49.0,"variable":"x[8]"},{"coefficient":28.0,"variable":"x[9]"},{"coefficient":22.0,"variable":"x[10]"},{"coefficient":34.0,"variable":"x[11]"},{"coefficient":39.0,"variable":"x[12]"},{"coefficient":26.0,"variable":"x[13]"},{"coefficient":21.0,"variable":"x[14]"},{"coefficient":36.0,"variable":"x[15]"},{"coefficient":47.0,"variable":"x[16]"},{"coefficient":38.0,"variable":"x[17]"},{"coefficient":50.0,"variable":"x[18]"},{"coefficient":39.0,"variable":"x[19]"},{"coefficient":50.0,"variable":"x[20]"},{"coefficient":45.0,"variable":"x[21]"},{"coefficient":27.0,"variable":"x[22]"},{"coefficient":49.0,"variable":"x[23]"},{"coefficient":24.0,"variable":"x[24]"},{"coefficient":48.0,"variable":"x[25]"},{"coefficient":32.0,"variable":"x[26]"},{"coefficient":47.0,"variable":"x[27]"},{"coefficient":24.0,"variable":"x[28]"},{"coefficient":43.0,"variable":"x[29]"},{"coefficient":27.0,"variable":"x[30]"},{"coefficient":32.0,"variable":"x[31]"},{"coefficient":48.0,"variable":"x[32]"},{"coefficient":35.0,"variable":"x[33]"},{"coefficient":22.0,"variable":"x[34]"},{"coefficient":34.0,"variable":"x[35]"},{"coefficient":31.0,"variable":"x[36]"},{"coefficient":31.0,"variable":"x[37]"},{"coefficient":36.0,"variable":"x[38]"},{"coefficient":50.0,"variable":"x[39]"},{"coefficient":23.0,"variable":"x[40]"},{"coefficient":33.0,"variable":"x[41]"},{"coefficient":24.0,"variable":"x[42]"},{"coefficient":28.0,"variable":"x[43]"},{"coefficient":35.0,"variable":"x[44]"},{"coefficient":22.0,"variable":"x[45]"},{"coefficient":26.0,"variable":"x[46]"},{"coefficient":32.0,"variable":"x[47]"},{"coefficient":21.0,"variable":"x[48]"},{"coefficient":20.0,"variable":"x[49]"},{"coefficient":29.0,"variable":"x[50]"}],"constant":0.0},"set":{"type":"LessThan","upper":1524.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"}}]}
\ No newline at end of file
diff --git a/instances/solutions/2KP100-50.json b/instances/solutions/2KP100-50.json
new file mode 100644
index 0000000..7fab9d8
--- /dev/null
+++ b/instances/solutions/2KP100-50.json
@@ -0,0 +1 @@
+[{"Y":[2277.0,3344.0],"X":[1,0,1,0,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,0,1,1,1,1,0,1,0,0,0,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,0,0,1,1,1,1,1,1,1,1,1,0,0,1,1,0,1,1,0]},{"Y":[2305.0,3343.0],"X":[1,0,1,1,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,1,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,0,1,1,1,1,0,1,0,0,0,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,0,1,1,0]},{"Y":[2328.0,3339.0],"X":[1,0,1,0,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,0,1,1,1,1,0,1,0,0,0,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,0,0,1,1,0,1,1,0]},{"Y":[2368.0,3336.0],"X":[1,0,1,1,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,1,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,0,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,1,1,0]},{"Y":[2375.0,3334.0],"X":[1,0,1,1,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,1,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,0,0,1,1,0,1,1,0]},{"Y":[2392.0,3330.0],"X":[1,0,1,1,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,0,1,1,1,1,0,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,0,0,1,1,0,1,1,0]},{"Y":[2416.0,3327.0],"X":[1,0,1,1,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,1,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,1,1,0]},{"Y":[2423.0,3325.0],"X":[1,0,1,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,0,0,0,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,1,1,0]},{"Y":[2431.0,3321.0],"X":[1,0,1,1,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,1,1,0]},{"Y":[2443.0,3317.0],"X":[1,0,1,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,0,0,0,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,1,1,0]},{"Y":[2468.0,3315.0],"X":[1,0,1,1,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,1,1,0]},{"Y":[2484.0,3312.0],"X":[1,0,1,1,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,1,1,0]},{"Y":[2491.0,3306.0],"X":[1,0,1,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,1,0,0,1,1,0,1,0,0,0,1,0,0,0,1,1,1,1,1,1,0,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,1,1,0]},{"Y":[2504.0,3304.0],"X":[1,0,1,0,0,1,0,0,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,1,1,0]},{"Y":[2510.0,3301.0],"X":[1,0,1,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,0,0,1,1,0,0,1,0]},{"Y":[2514.0,3300.0],"X":[1,0,1,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2519.0,3299.0],"X":[1,0,1,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,1,1,0]},{"Y":[2523.0,3296.0],"X":[1,0,1,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,1,1,0]},{"Y":[2529.0,3293.0],"X":[1,0,1,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,1,1,0]},{"Y":[2545.0,3290.0],"X":[1,0,1,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,1,1,1,1,0,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,1,1,0]},{"Y":[2551.0,3286.0],"X":[1,0,1,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,1,1,0]},{"Y":[2556.0,3285.0],"X":[1,0,1,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,1,1,0,1,1,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2563.0,3279.0],"X":[1,0,0,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,1,1,0,1,1,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,1,1,0]},{"Y":[2564.0,3277.0],"X":[1,0,0,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2564.0,3277.0],"X":[1,0,1,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,1,1,0]},{"Y":[2565.0,3274.0],"X":[1,0,1,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2569.0,3272.0],"X":[1,0,1,1,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2581.0,3271.0],"X":[1,0,1,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2583.0,3267.0],"X":[1,0,0,1,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,1,1,1,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2591.0,3266.0],"X":[1,0,1,1,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2596.0,3264.0],"X":[1,0,0,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2598.0,3260.0],"X":[1,0,0,1,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,1,1,0]},{"Y":[2603.0,3259.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,1,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2611.0,3250.0],"X":[1,0,0,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,1,1,1,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2615.0,3247.0],"X":[1,0,0,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,1,1,1,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2617.0,3243.0],"X":[1,0,1,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,1,1,0,0,0,1,1,0,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2623.0,3242.0],"X":[1,0,1,1,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2625.0,3240.0],"X":[1,0,0,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2627.0,3239.0],"X":[1,0,1,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2630.0,3236.0],"X":[1,0,0,1,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,1,1,0]},{"Y":[2635.0,3235.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2637.0,3230.0],"X":[1,0,0,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2643.0,3226.0],"X":[1,0,0,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2645.0,3224.0],"X":[1,0,0,1,0,1,0,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2647.0,3223.0],"X":[1,0,0,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2654.0,3222.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,1,1,0,0,0,1,1,0,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2655.0,3217.0],"X":[1,0,0,0,0,1,1,1,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2662.0,3216.0],"X":[1,0,0,1,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2669.0,3209.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,0,0,1,0]},{"Y":[2670.0,3206.0],"X":[1,0,0,1,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2679.0,3201.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,1,1,0,0,0,1,1,0,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2680.0,3196.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,0,1,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2684.0,3195.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,1,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2690.0,3191.0],"X":[1,0,0,1,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2696.0,3182.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2704.0,3176.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2705.0,3170.0],"X":[1,0,0,0,0,1,0,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2708.0,3169.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,1,1,0,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2710.0,3168.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,0,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2711.0,3162.0],"X":[1,0,0,0,0,1,0,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,0,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2716.0,3160.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,0,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2723.0,3156.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2726.0,3148.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,0,0,0,1,1,1,0,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2727.0,3145.0],"X":[1,0,0,1,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,0,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2729.0,3144.0],"X":[1,0,0,1,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2735.0,3143.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2737.0,3137.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,1,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2741.0,3135.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2742.0,3129.0],"X":[1,0,0,0,0,1,0,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2748.0,3128.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2749.0,3121.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0,0,1,1,1,1,0,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2751.0,3120.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2755.0,3117.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,0,0,1,0]},{"Y":[2757.0,3112.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2760.0,3110.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2762.0,3109.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2763.0,3107.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,0,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2766.0,3102.0],"X":[1,0,0,1,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2769.0,3099.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,0,0,1,0]},{"Y":[2770.0,3098.0],"X":[1,0,0,1,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2771.0,3096.0],"X":[1,0,0,1,0,1,1,0,1,1,1,0,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2773.0,3095.0],"X":[1,0,0,1,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2776.0,3093.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2777.0,3092.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2779.0,3086.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2782.0,3084.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,0,0,1,0]},{"Y":[2783.0,3080.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,0,1,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2785.0,3077.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,1,1,0,0,0,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2790.0,3075.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2791.0,3073.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2791.0,3073.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2792.0,3070.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2793.0,3068.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,0,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2796.0,3067.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2797.0,3065.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2799.0,3059.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,1,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2800.0,3057.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2800.0,3057.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,1,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2804.0,3053.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,1,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2806.0,3051.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2810.0,3049.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,0,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,1,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,0,0,1,0]},{"Y":[2811.0,3047.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,0,0,1,0]},{"Y":[2812.0,3042.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,0,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,0,0,1,0]},{"Y":[2818.0,3039.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2819.0,3037.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,0,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2822.0,3032.0],"X":[1,0,0,1,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2825.0,3029.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,0,0,1,0]},{"Y":[2827.0,3023.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2831.0,3021.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2833.0,3018.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,0,0,1,0]},{"Y":[2834.0,3013.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2837.0,3008.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,0,0,1,0]},{"Y":[2838.0,3006.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,1,0,0,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2841.0,3005.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,0,0,1,0]},{"Y":[2842.0,3002.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2845.0,3001.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2846.0,2992.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,1,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2846.0,2992.0],"X":[1,0,0,1,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2850.0,2989.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0,0,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2853.0,2985.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2854.0,2977.0],"X":[1,0,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2857.0,2975.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2864.0,2970.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2872.0,2954.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,1,0,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2876.0,2940.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,1,1,0,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2877.0,2937.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2878.0,2933.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,0,0,0,1,0,1,0,0,0,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2881.0,2929.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0]},{"Y":[2883.0,2928.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,0,1,0,1,1,0,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2885.0,2920.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,0,0,1,0]},{"Y":[2892.0,2916.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2894.0,2904.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,0,0,0,1,1,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2900.0,2898.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,1,1,1,0,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2902.0,2882.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,0,0,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2902.0,2882.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,1,1,1,0,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2904.0,2877.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,0,1,0,1,1,0,0,1,0,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2904.0,2877.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,0,0,1,0]},{"Y":[2906.0,2874.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,0,1,0,1,1,0,0,1,1,1,0,0,0,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0]},{"Y":[2907.0,2871.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2909.0,2864.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,0,0,0,1,1,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2913.0,2861.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,0,0,0,1,0,1,0,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2914.0,2853.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1,1,1,0,0,1,1,1,0,0,0,1,1,1,0,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2915.0,2849.0],"X":[1,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2918.0,2839.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,1,1,0,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2919.0,2836.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2923.0,2831.0],"X":[1,0,0,1,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,0,1,0,1,1,0,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2925.0,2827.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,0,1,0,1,1,0,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2926.0,2822.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,1,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,0,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2934.0,2815.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2936.0,2788.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,1,1,0,1,0,1,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2938.0,2783.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,0,1,0,1,1,1,0,1,0,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2940.0,2780.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,1,0,1,0,0,1,0,1,1,1,0,1,1,1,0,0,0,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2945.0,2728.0],"X":[0,0,0,1,0,1,1,0,1,1,1,1,0,1,0,1,0,1,0,1,0,0,1,0,1,1,1,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2946.0,2698.0],"X":[0,0,0,0,0,1,1,1,1,1,0,1,0,1,0,1,0,1,0,1,0,0,1,0,1,1,1,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]},{"Y":[2951.0,2651.0],"X":[0,0,0,0,0,1,1,0,1,1,1,1,0,1,0,1,1,1,0,1,0,0,1,0,1,1,1,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0,1,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,1,1,0,0,1,0,1,1,1,0,1,0,1,1,1,0,1,0,1,0]}]
\ No newline at end of file
diff --git a/instances/solutions/2KP50-11.json b/instances/solutions/2KP50-11.json
new file mode 100644
index 0000000..81bee1e
--- /dev/null
+++ b/instances/solutions/2KP50-11.json
@@ -0,0 +1 @@
+[{"Y":[389.0,592.0],"X":[0,1,0,1,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,1,0]},{"Y":[398.0,589.0],"X":[0,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,1,0]},{"Y":[415.0,581.0],"X":[1,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,1,0,0,0,0,0,0,0]},{"Y":[419.0,571.0],"X":[1,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,1,0]},{"Y":[433.0,568.0],"X":[0,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1,1,0,0,0,0,0,0,0]},{"Y":[442.0,564.0],"X":[0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,1,0]},{"Y":[445.0,562.0],"X":[0,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,1,0,1,0,0,0,0,0]},{"Y":[457.0,559.0],"X":[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,1,0,0,0,0,0,1,1,0,0,0,0,0,1,0]},{"Y":[461.0,555.0],"X":[0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,1,0]},{"Y":[465.0,552.0],"X":[1,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0]},{"Y":[469.0,548.0],"X":[1,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0]},{"Y":[484.0,543.0],"X":[1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0]},{"Y":[485.0,535.0],"X":[1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,1,0,1,0,0,0,0,0]},{"Y":[496.0,533.0],"X":[0,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1,0,1,0,0,0,1,0]},{"Y":[499.0,529.0],"X":[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,1,0,0,0,0,0,1,1,0,0,0,0,0,1,0]},{"Y":[507.0,526.0],"X":[0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,1,0,0,0,0,0,1,1,0,0,0,0,0,0,0]},{"Y":[511.0,522.0],"X":[0,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0]},{"Y":[517.0,515.0],"X":[1,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1,0,1,0,0,0,1,0]},{"Y":[519.0,512.0],"X":[1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1,0,1,0,0,0,1,0]},{"Y":[521.0,508.0],"X":[1,0,0,1,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,1,0]},{"Y":[529.0,506.0],"X":[0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,1,1,0,1,0,0,0,0,0]},{"Y":[532.0,504.0],"X":[0,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0,0,0,1,0]},{"Y":[532.0,504.0],"X":[1,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0]},{"Y":[538.0,503.0],"X":[1,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1,0,1,0,0,0,1,0]},{"Y":[540.0,499.0],"X":[1,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,1,0]},{"Y":[549.0,496.0],"X":[1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,1,0,0,0,0,0,1,1,0,0,0,0,0,0,0]},{"Y":[553.0,492.0],"X":[1,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0]},{"Y":[555.0,483.0],"X":[1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0,0,0,1,0]},{"Y":[565.0,477.0],"X":[0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0]},{"Y":[568.0,475.0],"X":[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,1,0,0,0,0,0,1,1,0,1,0,0,0,0,0]},{"Y":[574.0,474.0],"X":[1,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0,0,0,1,0]},{"Y":[579.0,468.0],"X":[1,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,1,0]},{"Y":[581.0,463.0],"X":[1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,1,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0]},{"Y":[586.0,459.0],"X":[1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0]},{"Y":[589.0,457.0],"X":[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,0,0,1,1,0,1,0,0,0,1,0]},{"Y":[604.0,446.0],"X":[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,1,0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0]},{"Y":[606.0,431.0],"X":[1,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0]},{"Y":[609.0,419.0],"X":[1,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0]},{"Y":[619.0,417.0],"X":[1,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0]},{"Y":[622.0,391.0],"X":[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,1,0,0,0,1,0,0,0,0,0,1,0,1,0,0,0,0,0]},{"Y":[623.0,389.0],"X":[1,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0]},{"Y":[625.0,384.0],"X":[1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,1,0,0,1,0]},{"Y":[632.0,374.0],"X":[1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,1,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0]},{"Y":[637.0,362.0],"X":[1,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0]}]
\ No newline at end of file
diff --git a/instances/solutions/2KP50-50.json b/instances/solutions/2KP50-50.json
new file mode 100644
index 0000000..177253a
--- /dev/null
+++ b/instances/solutions/2KP50-50.json
@@ -0,0 +1 @@
+[{"Y":[1815.0,1940.0],"X":[1,1,1,1,1,0,1,1,1,1,1,0,1,1,0,0,0,0,1,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,1,0,0,1,1,0]},{"Y":[1825.0,1937.0],"X":[1,1,1,1,1,0,1,1,0,1,1,0,1,1,0,0,0,0,1,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,1,0,1,1,1,0]},{"Y":[1826.0,1935.0],"X":[1,1,1,1,1,0,1,1,1,1,1,0,1,1,0,0,0,0,1,1,0,1,0,1,0,0,0,1,0,1,0,0,1,1,1,1,0,0,0,1,1,1,1,0,1,0,0,1,1,0]},{"Y":[1831.0,1934.0],"X":[1,1,1,1,1,0,1,1,0,1,1,0,1,1,0,0,0,0,1,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,1,0,0,1,1,1]},{"Y":[1834.0,1933.0],"X":[1,1,1,1,1,0,1,1,1,1,1,0,1,1,0,0,0,0,1,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,0,0,0,1,0,1,1,0,1,0,1,1,1,0]},{"Y":[1848.0,1931.0],"X":[1,1,1,1,1,0,1,1,1,1,1,0,1,1,0,0,0,0,1,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,1,1,0,0,0,1,0,1,1,0,1,0,0,1,1,0]},{"Y":[1857.0,1929.0],"X":[1,1,1,1,1,0,1,1,1,1,1,0,1,1,0,0,0,0,1,1,0,0,0,1,0,0,0,1,0,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,1,0,0,1,1,1]},{"Y":[1894.0,1926.0],"X":[1,1,1,1,1,0,1,1,1,1,1,0,1,1,0,0,0,0,1,0,0,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,0,0,0,1,0,1,1,0,1,1,1,1,1,1]},{"Y":[1899.0,1923.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,0,0,0,0,0,1,1,1,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,1,0,0,1,1,1]},{"Y":[1926.0,1918.0],"X":[1,1,1,1,1,0,1,0,1,1,0,0,1,1,0,0,0,0,1,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,0,0,0,1,1,1,1,0,1,1,1,1,1,1]},{"Y":[1968.0,1909.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,0,0,1,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,1,0,0,1,0,1,1,0,1,1,0,1,1,1]},{"Y":[1991.0,1901.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,0,0,0,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,1,0,0,1,1,1,1,0,1,0,1,1,1,1]},{"Y":[2008.0,1890.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,0,0,0,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,1,1,0,0,0,1,0,1,1,0,1,1,1,1,1,1]},{"Y":[2009.0,1887.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,0,0,0,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,0,0,0,1,0,1,1,1,1,1,1,1,1,1]},{"Y":[2023.0,1885.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,0,0,0,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,1,1,0,0,0,1,0,1,1,1,1,1,0,1,1,1]},{"Y":[2029.0,1876.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,0,0,0,1,0,0,0,1,0,0,0,1,0,1,1,0,1,1,0,1,1,0,0,1,1,1,1,0,1,1,1,1,1,1]},{"Y":[2030.0,1873.0],"X":[1,1,1,1,1,0,1,0,0,1,1,0,1,1,0,0,0,0,0,1,0,1,0,1,0,1,0,1,0,1,1,0,1,1,1,1,0,0,0,1,0,1,1,0,1,1,1,1,1,1]},{"Y":[2036.0,1872.0],"X":[1,1,1,1,1,0,1,0,0,1,1,0,1,1,0,0,0,0,0,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,1,1,1,0,0,1,0,1,1,0,1,1,1,1,1,1]},{"Y":[2037.0,1869.0],"X":[1,1,1,1,1,0,1,0,0,1,1,0,1,1,0,0,0,0,0,1,0,1,0,1,0,0,0,1,0,1,1,0,1,1,0,1,1,0,0,1,0,1,1,1,1,1,1,1,1,1]},{"Y":[2062.0,1867.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,0,0,0,1,0,0,0,1,0,0,0,1,0,1,1,0,1,1,1,1,1,0,0,1,0,1,1,0,1,1,1,1,1,1]},{"Y":[2065.0,1854.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,0,0,0,0,0,0,0,0,1,0,1,0,0,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,0,1,1,1,1,1,1]},{"Y":[2074.0,1853.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,0,0,0,1,0,0,0,1,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,1,0,1,1,0,1,1,0,1,1,1]},{"Y":[2077.0,1840.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,0,1,1,0,1,1,1]},{"Y":[2078.0,1837.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,1,1,1,0,1,1,0,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1]},{"Y":[2079.0,1833.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,1,1,1,1,0,1,1,1,0,1,1]},{"Y":[2085.0,1831.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0,0,1,0,0,0,1,0,0,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,0,1,1,1,1,1,1]},{"Y":[2087.0,1830.0],"X":[1,1,1,1,1,0,1,0,0,1,1,0,1,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,1,1,1]},{"Y":[2095.0,1820.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,0,0,1,1,1,1,1,1,1,1,1]},{"Y":[2104.0,1819.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,1,1,1]},{"Y":[2106.0,1812.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,1,1,1]},{"Y":[2110.0,1805.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,1,1]},{"Y":[2113.0,1802.0],"X":[1,1,0,1,1,0,1,0,1,1,1,0,1,1,0,0,0,0,0,0,0,0,0,1,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,0,1,1,1]},{"Y":[2126.0,1789.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,1,1,1]},{"Y":[2132.0,1775.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,1,1,0,0,0,0,0,1,0,0,0,0,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,1,1]},{"Y":[2133.0,1769.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,1,1]},{"Y":[2135.0,1762.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,1,1]},{"Y":[2137.0,1753.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,1,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,0,1]},{"Y":[2140.0,1746.0],"X":[1,1,0,1,1,0,1,0,1,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,1,1,1,1,1,1,1,0,1,1]},{"Y":[2146.0,1734.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,0,0,1,1,1,1,1,1,0,1,1]},{"Y":[2149.0,1714.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,1,1,1,1,1,1,1,0,1,1]},{"Y":[2152.0,1703.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,0,1]},{"Y":[2155.0,1702.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,1,1]},{"Y":[2157.0,1699.0],"X":[1,1,1,0,1,0,1,0,1,0,1,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,1,1]},{"Y":[2157.0,1699.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,0,1]},{"Y":[2159.0,1686.0],"X":[1,1,1,1,1,0,1,0,1,1,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,0,1]},{"Y":[2161.0,1683.0],"X":[1,1,1,0,1,0,1,0,1,1,1,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,0,1]},{"Y":[2162.0,1652.0],"X":[1,1,0,0,1,0,1,0,1,1,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,1,1,1,1,1,1,1,0,1,1]},{"Y":[2166.0,1648.0],"X":[1,1,1,0,1,0,1,0,1,1,1,0,0,1,1,0,0,0,0,0,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,1,1]},{"Y":[2168.0,1631.0],"X":[1,1,1,1,1,0,1,0,1,0,1,0,0,0,0,1,0,0,0,1,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,0,0,1,1,1,1,1,1,0,0,1]},{"Y":[2174.0,1616.0],"X":[1,1,0,0,1,0,1,0,1,0,1,0,0,1,1,0,0,0,0,1,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,1,1]},{"Y":[2177.0,1599.0],"X":[1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,0,1]},{"Y":[2179.0,1596.0],"X":[1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,1,0,0,0,1,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,1,1,1,0,0,1]}]
\ No newline at end of file
diff --git a/instances/solutions/2KP50-92.json b/instances/solutions/2KP50-92.json
new file mode 100644
index 0000000..26ef326
--- /dev/null
+++ b/instances/solutions/2KP50-92.json
@@ -0,0 +1 @@
+[{"Y":[3245.0,2847.0],"X":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},{"Y":[3247.0,2796.0],"X":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]}]
\ No newline at end of file
diff --git a/test/algorithms/EpsilonConstraint.jl b/test/algorithms/EpsilonConstraint.jl
index 0755659..8994265 100644
--- a/test/algorithms/EpsilonConstraint.jl
+++ b/test/algorithms/EpsilonConstraint.jl
@@ -12,6 +12,8 @@ import Ipopt
 import MultiObjectiveAlgorithms as MOA
 import MultiObjectiveAlgorithms: MOI
 
+include(joinpath(dirname(@__DIR__), "vOptLib.jl"))
+
 function run_tests()
     for name in names(@__MODULE__; all = true)
         if startswith("$name", "test_")
@@ -23,6 +25,14 @@ function run_tests()
     return
 end
 
+function test_AAA_vOptLib()
+    model = MOA.Optimizer(HiGHS.Optimizer)
+    MOI.set(model, MOA.Algorithm(), MOA.EpsilonConstraint())
+    MOI.set(model, MOI.Silent(), true)
+    vOptLib.run_tests(model)
+    return
+end
+
 function test_biobjective_knapsack()
     p1 = [77, 94, 71, 63, 96, 82, 85, 75, 72, 91, 99, 63, 84, 87, 79, 94, 90]
     p2 = [65, 90, 90, 77, 95, 84, 70, 94, 66, 92, 74, 97, 60, 60, 65, 97, 93]
diff --git a/test/vOptLib.jl b/test/vOptLib.jl
new file mode 100644
index 0000000..8bd9755
--- /dev/null
+++ b/test/vOptLib.jl
@@ -0,0 +1,59 @@
+#  Copyright 2019, Oscar Dowson and contributors
+#  This Source Code Form is subject to the terms of the Mozilla Public License,
+#  v.2.0. If a copy of the MPL was not distributed with this file, You can
+#  obtain one at http://mozilla.org/MPL/2.0/.
+
+module vOptLib
+
+using Test
+import JSON
+import MathOptInterface as MOI
+
+function run_tests(model::MOI.ModelLike)
+    for name in names(@__MODULE__; all = true)
+        if startswith("$name", "test_")
+            @testset "$name" begin
+                MOI.empty!(model)
+                getfield(@__MODULE__, name)(model)
+            end
+        end
+    end
+    return
+end
+
+function _test_vOptLib_instance(model, instance)
+    root = joinpath(dirname(@__DIR__), "instances")
+    src = MOI.FileFormats.MOF.Model()
+    MOI.read_from_file(src, joinpath(root, "models", instance * ".mof.json"))
+    MOI.copy_to(model, src)
+    MOI.optimize!(model)
+    x = MOI.get(model, MOI.ListOfVariableIndices())
+    sol_list = JSON.parsefile(joinpath(root, "solutions", instance * ".json"))
+    # solutions[Y] => [X...]
+    solutions = Dict{Vector{Int},Vector{Vector{Int}}}()
+    for sol in sol_list
+        Y = convert(Vector{Int}, sol["Y"])
+        if !haskey(solutions, Y)
+            solutions[Y] = Vector{Int}[]
+        end
+        push!(solutions[Y], convert(Vector{Int}, sol["X"]))
+    end
+    @test MOI.get(model, MOI.ResultCount()) == length(solutions)
+    for (i, sol) in enumerate(solutions)
+        Y = round.(Int, MOI.get(model, MOI.ObjectiveValue(i)))
+        @test haskey(solutions, Y)
+        X = round.(Int, MOI.get(model, MOI.VariablePrimal(i), x))
+        @test X in solutions[Y]
+    end
+    return
+end
+
+test_vOptLib_2KP50_11(model) = _test_vOptLib_instance(model, "2KP50-11")
+
+test_vOptLib_2KP50_50(model) = _test_vOptLib_instance(model, "2KP50-50")
+
+test_vOptLib_2KP50_92(model) = _test_vOptLib_instance(model, "2KP50-92")
+
+test_vOptLib_2KP100_50(model) = _test_vOptLib_instance(model, "2KP100-50")
+
+end  # module vOptLib