{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 11140256209730412546658078532854767895273286916056}, {"parameter": "", "name": "singleton", "value": 116805081731088587940522831693775431}, {"parameter": "5", "name": "ilp_2", "value": 89713194873265917550603425140775573}, {"parameter": "6", "name": "ilp_2", "value": 912609807391364251197369657933593180460776}, {"parameter": "8", "name": "ilp_3", "value": 114076515623519420687495684165384286631372234}, {"parameter": "9", "name": "ilp_3", "value": 1401772941689552786458973634018742731722}, {"parameter": "", "name": "anticode", "value": 89713194873265917550603425140775573}, {"parameter": "", "name": "linear_programming_bound", "value": 89713194873265917550603425140775573}, {"parameter": "", "name": "sphere_packing", "value": 46726224061673212613667703493249092263}, {"parameter": "1", "name": "ilp_1", "value": 89713158126737683926413676950472553}, {"parameter": "2", "name": "ilp_1", "value": 89713158126737683926413677045804875}, {"parameter": "3", "name": "ilp_1", "value": 89713158126737683926413677045804875}, {"parameter": "4", "name": "ilp_1", "value": 89713158126741267358130602975938899}, {"parameter": "10", "name": "ilp_4", "value": 1401701170907588953283210417370527587317}, {"parameter": "11", "name": "ilp_4", "value": 1401701169033921818642989019372776827677}, {"parameter": "12", "name": "ilp_4", "value": 1401701169033909147588227449757011263163}, {"parameter": "13", "name": "ilp_4", "value": 1401701169033909147426089849316400448229}, {"parameter": "14", "name": "ilp_4", "value": 1401701169033909147575103841627230058378}, {"parameter": "15", "name": "ilp_4", "value": 56069043593332782392450155219293108362}, {"parameter": "16", "name": "ilp_4", "value": 2242830092310818232195505938736628899}, {"parameter": "", "name": "johnson_1", "value": 89713158126737683926413676950472553}, {"parameter": "", "name": "johnson_2", "value": 2242830092310818232195505938736628899}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 11140256209730412546658078532854767895273286916056}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 114076515623519420687495684165384286631372234}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1401772941689552786458973634018742731722}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1401701170907588953283210417370527587317}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1401701169033921818642989019372776827677}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1401701169033909147588227449757011263163}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1401701169033909147426089849316400448229}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1401701169033909147575103841627230058378}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 56069043593332782392450155219293108362}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 2242830092310818232195505938736628899}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 46726224061673212613667703493249092263}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 46726243199764454010529508174591218626}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 46726338890455818421185232137962347796}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 46726817349791650778638153371539681856}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 46729209793455401454824953911200147884}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 46741175687555660383771714353701660160}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 9359644346380479120578869885965281167}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1884097814939206574729242980451742956}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 389378588249781515498425462912890750}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 89713194873265917550603425140775573}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 89713203690174878026594036006245186}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 89713247774742064662584705096185233}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 89713468198137605673350712473028183}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 89714570329105685233820298900780018}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 89720081333727789171619550464969976}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 89747645104174789395155704654687342}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 89885682989609507869863836369730740}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 90581392322626124503366174106657665}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 94203675530204803495574236620757319}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 116805081731088587940522831693775431}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 11140256209730412546658078532854767895273286916056}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 89713194873265917550603425140775573}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 89713158126741267358130602975938899}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 89713158126737683926413677045804875}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 89713158126737683926413677045804875}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 89713158126737683926413676950472553}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 114076515623519420687495684165384286631372234}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 46726224061673212613667703493249092263}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 46728520896278668591905681732908816991}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 46740487221950934098754115478666499875}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 46800410898933515600387100039277207370}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 47102348909094421670977598277476340334}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 48672426536165820131680852868189758665}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 58406906859355266032686252828239742494}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 1401772941689552786458973634018742731722}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1401790166860665235236873849901546745025}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1401876298184523123824790725904577841938}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1402307091554893930612646381385484452502}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1404464482653812089714958814230888656513}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1415337733591124691115814845388561620481}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1471951121380347303161144204877739892515}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1825218456001772231793929085435472462931}, {"parameter": "", "name": "improved_johnson", "value": 89713158126737683926413676950472541}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 11214178021520818991135212115727120128}], "known_codes": [], "upper_bound": 89713158126737683926413676950472541, "classified": false, "lower_bound": 88817887447688543293166694301204500, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 88817841970012523233890533447265625}, {"parameter": "", "name": "sphere_covering", "value": 7055878773108193958038326333}, {"parameter": "", "name": "graham_sloane", "value": 76555257743865204690605274}, {"parameter": "", "name": "multicomponent", "value": 88817841972922906279563909912109376}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 88817841970043071601081428187923250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 88817887447688543293166694301204500}, {"parameter": "", "name": "two_pivot_block_construction", "value": 88817887444770901848358273727594496}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 227373829105932616124805500749}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 88817841970166185934542546924720125}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 88817841970166185936831365284095125}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 88817841970166185934447210010657625}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 88817841970166185934450994190345125}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 28421709430452866298706096126375}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 28421709430452866298706096126375}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 28421709430452866207153361751375}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 28421709430452866298706096126375}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 9094948239586486008939876375}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 9094948239586394456205501375}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 9094948239586486008939876375}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 9094948239586486008939876375}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 229195605778190784034389095125}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 229195605778190780250209407625}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 229195605778193164405482845125}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 229195605778190875587123470125}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 88817841970166185934447179493079500}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 28421709430452866203338664485750}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 9094948239586390641508235750}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 229195605778190780219691829500}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 88817841970166185934447179493079500}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 28421709430452866203338664485750}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 9094948239586390641508235750}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 229195605778190780219691829500}, {"parameter": "7", "name": "linkage_GLT", "value": 88817841970012523233890533447344376}, {"parameter": "8", "name": "linkage_GLT", "value": 28421709430404007434844970703126}, {"parameter": "9", "name": "linkage_GLT", "value": 9094947017729282379150390626}, {"parameter": "10", "name": "linkage_GLT", "value": 229195575229823589324951171876}, {"parameter": "7", "name": "improved_linkage", "value": 88817841972922908230811514326204500}, {"parameter": "8", "name": "improved_linkage", "value": 28421709430441260356943320718751}, {"parameter": "9", "name": "improved_linkage", "value": 9094947017729759216603787500}, {"parameter": "10", "name": "improved_linkage", "value": 229195575229823589331055081895}, {"parameter": "11", "name": "improved_linkage", "value": 227388367801904678344726641251}, {"parameter": "12", "name": "improved_linkage", "value": 227373816202580928802490234376}, {"parameter": "13", "name": "improved_linkage", "value": 227373792104187107092285156251}, {"parameter": "14", "name": "improved_linkage", "value": 227373827884451631167099609376}, {"parameter": "7,0", "name": "generalized_linkage", "value": 88817841970166185934447179493079500}, {"parameter": "7,1", "name": "generalized_linkage", "value": 88817841970013743311679994814794525}, {"parameter": "7,2", "name": "generalized_linkage", "value": 88817841970012524784089094440506250}, {"parameter": "7,3", "name": "generalized_linkage", "value": 88817841970012560486812631797281251}, {"parameter": "7,4", "name": "generalized_linkage", "value": 88817841972922908230811514326204500}, {"parameter": "8,0", "name": "generalized_linkage", "value": 28421709430452866203338664485750}, {"parameter": "8,1", "name": "generalized_linkage", "value": 28421709430405978202188683778320}, {"parameter": "8,2", "name": "generalized_linkage", "value": 28421709430404007454688782178145}, {"parameter": "8,3", "name": "generalized_linkage", "value": 28421709430404007911682424100000}, {"parameter": "8,4", "name": "generalized_linkage", "value": 28421709430441260356943320718751}, {"parameter": "9,0", "name": "generalized_linkage", "value": 9094948239586390641508235750}, {"parameter": "9,1", "name": "generalized_linkage", "value": 9094947017729407506928109570}, {"parameter": "9,2", "name": "generalized_linkage", "value": 9094947017729282379406410126}, {"parameter": "9,3", "name": "generalized_linkage", "value": 9094947017729282385254300645}, {"parameter": "9,4", "name": "generalized_linkage", "value": 9094947017729759216603787500}, {"parameter": "10,0", "name": "generalized_linkage", "value": 229195605778190780219691829500}, {"parameter": "10,1", "name": "generalized_linkage", "value": 229195575229824214965121078320}, {"parameter": "10,2", "name": "generalized_linkage", "value": 229195575229823589324951188151}, {"parameter": "10,3", "name": "generalized_linkage", "value": 229195575229823589324951250626}, {"parameter": "10,4", "name": "generalized_linkage", "value": 229195575229823589331055081895}, {"parameter": "11,1", "name": "generalized_linkage", "value": 227388367801907806546857406445}, {"parameter": "11,2", "name": "generalized_linkage", "value": 227388367801904678344726643876}, {"parameter": "11,3", "name": "generalized_linkage", "value": 227388367801904678344726562501}, {"parameter": "11,4", "name": "generalized_linkage", "value": 227388367801904678344726641251}, {"parameter": "12,2", "name": "generalized_linkage", "value": 227373816202580928802490641276}, {"parameter": "12,3", "name": "generalized_linkage", "value": 227373816202580928802490234376}, {"parameter": "12,4", "name": "generalized_linkage", "value": 227373816202580928802490234376}, {"parameter": "13,3", "name": "generalized_linkage", "value": 227373792104187107092285156251}, {"parameter": "13,4", "name": "generalized_linkage", "value": 227373792104187107092285156251}, {"parameter": "14,4", "name": "generalized_linkage", "value": 227373827884451631167099609376}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 88817841970166185934447179493079500}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 88817841970013743311679994814794525}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012524784089094440506250}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012560486812631797281251}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 88817841972922908230811514326204500}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 28421709430452866203338664485750}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 28421709430405978202188683778320}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007454688782178145}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007911682424100000}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 28421709430441260356943320718751}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9094948239586390641508235750}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729407506928109570}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282379406410126}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282385254300645}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729759216603787500}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 229195605778190780219691829500}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 229195575229824214965121078320}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 229195575229823589324951188151}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 229195575229823589324951250626}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 229195575229823589331055081895}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 227388367801907806546857406445}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 227388367801904678344726643876}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 227388367801904678344726562501}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227388367801904678344726641251}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373816202580928802490641276}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373816202580928802490234376}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373816202580928802490234376}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373792104187107092285156251}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373792104187107092285156251}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373827884451631167099609376}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 227376738267497285463974609375}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 227376585828228980459394563875}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227376585828228980459394563875}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227376739488978289495166907625}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 227373827921704515078232421875}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373675482436210073652376375}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675482436210073652376375}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373829143185519109424720125}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 227373827921704515078232421875}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373675482436210073652376375}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675482436210073652376375}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373829143185519109424720125}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373675505270932998555698875}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675446733504690351595125}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675446733504690351595125}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373675503721212234395542625}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183783926191438875}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183783926191438875}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373675503721212234395542625}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183783926191438875}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183783926191438875}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676665182263052168001375}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676665182263052168001375}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183326931562532625}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183326931562532625}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183307095136751375}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183307095136751375}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183787746992220125}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183787746992220125}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373827886402859703886751375}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675445198923075669563875}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183307089287220125}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183307095185657625}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675445183783957003548250}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910469157344848674251375}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910469157344848674251375}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910469157344848674251375}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910431904918701213313875}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910431904918701213313875}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2910431904918701213313875}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910431904918701213313875}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910431904918701213313875}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2910431904918701213313875}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910431904461706584407625}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2910431904461706584407625}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910431904441870158626375}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2910431904441870158626375}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910431904441870158626375}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2910431904441870158626375}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2910433859543370418001375}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2910431904441864309095125}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2910431904441864055188875}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2910431904441870207532625}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1259110488084135188875}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1259110488084135188875}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1259110011253080501375}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1259110011253080501375}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1259110011253080501375}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1259110011253080501375}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1259110011247230970125}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1259110011246977063875}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1259110011246977063875}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 30585918593946498470125}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 30585918593940395032625}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 30585918593940395032625}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 304919692485051484375000}, {"parameter": "", "name": "JohnsonLB", "value": 88817660071002310017042038761863148}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 28421724098734558253279039941600}], "request": [5, 17, 6, 7], "liftedmrdsizebound": 88817902232396414965526357065832651, "comments": "", "equal_bound_constraints": []}