{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "", "name": "singleton", "value": 2306881200}, {"parameter": "1", "name": "ilp_2", "value": 1977327086}, {"parameter": "2", "name": "ilp_2", "value": 3909826474374274098}, {"parameter": "3", "name": "ilp_2", "value": 7731070161281729327473300562}, {"parameter": "4", "name": "ilp_2", "value": 15287761388705342430378454086700610892}, {"parameter": "5", "name": "ilp_2", "value": 30241494809247892622204038955983363679711619332}, {"parameter": "6", "name": "ilp_2", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "7", "name": "ilp_2", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "9", "name": "ilp_3", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "10", "name": "ilp_3", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "11", "name": "ilp_3", "value": 1220353431701249690568977749408382344975958668427206050}, {"parameter": "12", "name": "ilp_3", "value": 211602302138705658630184813922517092770266395760}, {"parameter": "13", "name": "ilp_3", "value": 36703732186358102237575721687383112450210}, {"parameter": "14", "name": "ilp_3", "value": 6366814779874665010972367179765717}, {"parameter": "15", "name": "ilp_3", "value": 1104427897662267084672404108}, {"parameter": "", "name": "anticode", "value": 1977327086}, {"parameter": "", "name": "linear_programming_bound", "value": 1977327086}, {"parameter": "", "name": "sphere_packing", "value": 5332947573292240565235746840502151}, {"parameter": "", "name": "DrakeFreeman", "value": 1977326915}, {"parameter": "", "name": "partial_spread_5", "value": 1977327085}, {"parameter": "3", "name": "partial_spread_HKK16_T10", "value": 1977326985}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 1977326908}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 1977326906}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 1977326909}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 1977326912}, {"parameter": "8", "name": "partial_spread_HKK16_T10", "value": 1977326915}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 1977327049}, {"parameter": "", "name": "spread_bound", "value": 1977327086}, {"parameter": "", "name": "XiaFuJohnson1", "value": 1977327086}, {"parameter": "16", "name": "ilp_4", "value": 1104427897662267084672404108}, {"parameter": "17", "name": "ilp_4", "value": 1341068658322679266014}, {"parameter": "18", "name": "ilp_4", "value": 1628413639087598}, {"parameter": "", "name": "johnson_1", "value": 1977327086}, {"parameter": "", "name": "johnson_2", "value": 1628413639087598}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1220353431701249690568977749408382344975958668427206050}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 211602302138705658630184813922517092770266395760}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 36703732186358102237575721687383112450210}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 6366814779874665010972367179765717}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1104427897662267084672404108}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1104427897662267084672404108}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1341068658322679266014}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 1628413639087598}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 125994038568097314959943997826068420660792210195409100508392}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 149867991217930664506524991731234113196816268264199103}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 181449009950865549304230592433403936475804718660}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 220235573302770842795530318856095787434977}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 267408864777773795034517413808513220}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 324705012456057876807644187598}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 324721573106564491189941756281}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2761070221911459906570142}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 23527530161427363469}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 203551850357122}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1977327944}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 436933361640798208376145726014825564358942996652003}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 3638079626611341126949638191699521526630810361}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 30833013101843384605049839905207382605383}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 261967179576587646579695154263908867}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 2226554450140629405148173259182}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 2226572989331032274948476477568}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 132485502759712439537396439}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 7885984352898617118082}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 470553006968101087}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 28568816389229}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1977335470}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 30241494809247892622204038955983363679711619332}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1542303897618148556442591719972241550269923}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 89892910558261589332316377956944409855}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 5332947573292240565235746840502151}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 317173052379181951618638222661}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 317173436369580793987460233642}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 132093816708644871677764093}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 55020165671042307686680}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 22925191818978321989}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 9576030425868889}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 4071311457264}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 1977444393}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 15287761388705342430378454086700610892}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 5457965511042803769904623593027671}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 2226832121725738804703848473556}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 924757455585975695715778110}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 924757615876408198754237557}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 2694967236833425409042006}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 7858049011277152787174}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 22911765766980255806}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 66839347902376615}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 195436214556682}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 581646148275}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 1978150464}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 7731070161281729327473300562}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 19327675412953955841432170}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 55202214869550542639341}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 55202216234011826770714}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 1123302275227310029734}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 22947744107343425086}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 468993043005139139}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 9571773528155226}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 195424075738860}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 3999894643620}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 83326682832}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 1983108376}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 3909826474374274098}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 68593446952928018}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 68593447191495754}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 9603572618891129}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 1395868351097323}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 199328647848306}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 28485720696574}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 4069592674336}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 581612516828}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 83326155926}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 12147278219}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 2018521044}, {"parameter": "7, 1", "name": "Ahlswede_Aydinian", "value": 1977327086}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 1977327086}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 1977327093}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 1977327135}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 1977327435}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 1977329536}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 1977344243}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 1977447192}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 1978168092}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 1983227074}, {"parameter": "7, 11", "name": "Ahlswede_Aydinian", "value": 2019272252}, {"parameter": "7, 12", "name": "Ahlswede_Aydinian", "value": 2306881200}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 30241494809247892622204038955983363679711619332}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 15287761388705342430378454086700610892}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 7731070161281729327473300562}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 3909826474374274098}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1977327086}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 125994038568097314959943997826068420660792210195409100508392}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 436933361640798208376145726014825564358942996652003}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1542303897618148556442591719972241550269923}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5457965511042803769904623593027671}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 19327675412953955841432170}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 68593446952928018}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 69818286181971647}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 79792327029800992}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 149867991217930664506524991731234113196816268264199103}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 3638079626611341126949638191699521526630810361}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 89892910558261589332316377956944409855}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 2226832121725738804703848473556}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 55202214869550542639341}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 55360092060668975885744}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 56489889833265388854713}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 65712728757085074885851}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 1220353431701249690568977749408382344975958668427206050}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 181449009950865549304230592433403936475804718660}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 30833013101843384605049839905207382605383}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 5332947573292240565235746840502151}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 924757455585975695715778110}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 925114203864069369226290371}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 927811329420019111895381096}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 947084375238844450608139446}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1104471546763977623218289362}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 211602302138705658630184813922517092770266395760}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 220235573302770842795530318856095787434977}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 261967179576587646579695154263908867}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 317173052379181951618638222661}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 317128338096307592791856500743}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 317260419726792005516793743632}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 318187694439577673341086559359}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 324813836784122966376827826455}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 1104964329752887580475612769}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 36703732186358102237575721687383112450210}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 267408864777773795034517413808513220}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 2226554450140629405148173259182}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 2226573374438121526949214382924}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 2226705851302822582885989067366}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 2227633583442328805020310852229}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 2234146696771312895768807032705}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 46544264799706045236907095573}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 1108189246322960605903413068}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 6366814779874665010972367179765717}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 324705012456057876807644187598}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 324589488652924220549437484630}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 324592241686221147858015177584}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 324611554605527765750717704840}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 324746801369133694475278017738}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 46544320308064063636684164564}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 6787648450804325897882661555}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 1131271626030000717939391898}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 1104427897662267084672404108}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 1104428089174940427983236911}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 1104429429765281011392895149}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 1104438813977397604153269467}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 1104504507369339063303229108}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 1104964552641806965253351590}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 1108194281893990970506164600}, {"parameter": "7, 11, o", "name": "Ahlswede_Aydinian", "value": 1131273195942480259821347186}, {"parameter": "7, 12, o", "name": "Ahlswede_Aydinian", "value": 1319738336534843578720956303}, {"parameter": "", "name": "improved_johnson", "value": 1977327052}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 11398895750323648}], "known_codes": [], "upper_bound": 1977326906, "classified": false, "lower_bound": 1977326744, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1977326743}, {"parameter": "", "name": "sphere_covering", "value": 2059}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 1977326744}, {"parameter": "", "name": "multicomponent", "value": 1977326744}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (11, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 1977326744}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1977326743}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 1977326744}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 282475250}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 40353608}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 5764802}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 1977326744}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 282475250}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 40353608}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 5764802}, {"parameter": "8", "name": "linkage_GLT", "value": 1977326744}, {"parameter": "9", "name": "linkage_GLT", "value": 282475250}, {"parameter": "10", "name": "linkage_GLT", "value": 40353608}, {"parameter": "11", "name": "linkage_GLT", "value": 5764802}, {"parameter": "8", "name": "improved_linkage", "value": 1977326744}, {"parameter": "9", "name": "improved_linkage", "value": 282475250}, {"parameter": "10", "name": "improved_linkage", "value": 40353608}, {"parameter": "11", "name": "improved_linkage", "value": 5764802}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1977326744}, {"parameter": "9,0", "name": "generalized_linkage", "value": 282475250}, {"parameter": "10,0", "name": "generalized_linkage", "value": 40353608}, {"parameter": "11,0", "name": "generalized_linkage", "value": 5764802}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977326744}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282475250}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40353608}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5764802}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7}], "request": [7, 19, 16, 8], "liftedmrdsizebound": 1977326744, "comments": "", "equal_bound_constraints": []}