{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "", "name": "singleton", "value": 142595264882979563844964491038787206333791056}, {"parameter": "7", "name": "ilp_2", "value": 114076515623519420687495684165384286631372234}, {"parameter": "9", "name": "ilp_3", "value": 570382811746420718362942830655860436280649792}, {"parameter": "", "name": "anticode", "value": 114076515623519420687495684165384286631372234}, {"parameter": "", "name": "linear_programming_bound", "value": 114076515623519420687495684165384286631372234}, {"parameter": "", "name": "sphere_packing", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "1", "name": "ilp_1", "value": 114076281994810639003766237715730214219920544}, {"parameter": "2", "name": "ilp_1", "value": 114076281994810639003766237715730214220418551}, {"parameter": "3", "name": "ilp_1", "value": 114076281994810639003766237715730274772098871}, {"parameter": "4", "name": "ilp_1", "value": 114076281994810639003766267291444658346069626}, {"parameter": "5", "name": "ilp_1", "value": 114076281994810639003766267291444658346069626}, {"parameter": "6", "name": "ilp_1", "value": 114076281994810639003766267291444658346069626}, {"parameter": "10", "name": "ilp_4", "value": 570382811746420718362942830655860436280649792}, {"parameter": "11", "name": "ilp_4", "value": 570382811732066563146068711280938581469898279}, {"parameter": "12", "name": "ilp_4", "value": 570382811732066563146068711280938581469898279}, {"parameter": "13", "name": "ilp_4", "value": 570382811732066563145956907867928872041776880}, {"parameter": "14", "name": "ilp_4", "value": 570382811732066563145956907045261846524260407}, {"parameter": "15", "name": "ilp_4", "value": 570382811732066563145956907045261724280132654}, {"parameter": "16", "name": "ilp_4", "value": 570382811732066563145956907820134404974867029}, {"parameter": "", "name": "johnson_1", "value": 114076281994810639003766237715730214219920544}, {"parameter": "", "name": "johnson_2", "value": 570382811732066563145956907820134404974867029}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 570382811746420718362942830655860436280649792}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 570382811746420718362942830655860436280649792}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 570382811732066563146068711280938581469898279}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 570382811732066563146068711280938581469898279}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 570382811732066563145956907867928872041776880}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 570382811732066563145956907045261846524260407}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 570382811732066563145956907045261724280132654}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 570382811732066563145956907820134404974867029}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 114076515623519420687495684165384286631372234}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 114076562348805670420953519234099115507092018}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 114076795975811074996087392387643797976924953}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 114077964125192177828392152853014103684142117}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 114083805230972474926373977838039202345449255}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 114113019734592446583962339345430212485275931}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 114259316977338330299776692766256710727677739}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 114996466251683640903038171758010004254287439}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 118829640905690943612600522963179189976901113}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 142595264882979563844964491038787206333791056}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 114076515623519420687495684165384286631372234}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 114076281994810639003766267291444658346069626}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 114076281994810639003766267291444658346069626}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 114076281994810639003766267291444658346069626}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 114076281994810639003766237715730274772098871}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 114076281994810639003766237715680622394236991}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 114076281994810639003766237715680622393746784}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 570382811746420718362942830655860436280649792}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 570383979891017260166437344609088537508380413}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 570389820685771544883119206398789272097445941}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 570419026453946283849461791226909923750544112}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 570565100169147777164193235864290337656128321}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 571296592386813421462011508640737795282387956}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 574982369244463766342311488030640254431586255}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 594148407331647567982437204168458291082579857}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 712977784594148279816735342927316866304884806}, {"parameter": "", "name": "improved_johnson", "value": 114076281994810639003766237715730214219920529}], "known_codes": [], "upper_bound": 114076281994810639003766237715680622393746784, "classified": false, "lower_bound": 108643854143170931980916134817270568039891039, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 108420217248550443400745280086994171142578125}, {"parameter": "", "name": "sphere_covering", "value": 1168146988908061669748438592959972920324}, {"parameter": "", "name": "graham_sloane", "value": 1460179250460591912887733380834635929526}, {"parameter": "", "name": "multicomponent", "value": 108420217252103157079569064080715332031250001}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 108429234647921847019804913283826110839843750}, {"parameter": "", "name": "two_pivot_block_construction", "value": 108593967596704018960896147137297664643694592}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1390642011275456217812783932922363281249}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 108420220111780937411287563390946624755859375}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 108420220111780937411288494653916595458984375}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 108420220111780937411292219944215057373046875}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 108420220111780937411287570781922576904296875}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 108420220111780937411287563331361053466796875}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 10405178152185064735162736436126708984375}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 10405178152185064735170186997650146484375}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 10405178152185064739819349290130615234375}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 10405178152185064736094058991668701171875}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 10405178152185064735162796021697998046875}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 108420220111780937411287563331341979980468750}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 10405178152185064735162736417053222656250}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 108420220111780937411287563331341979980468750}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 10405178152185064735162736417053222656250}, {"parameter": "8", "name": "linkage_GLT", "value": 108420217248550443400745280086994171142578126}, {"parameter": "9", "name": "linkage_GLT", "value": 1387778780781445675529539585113525390626}, {"parameter": "8", "name": "improved_linkage", "value": 108420217252110477835922293951534772218561246}, {"parameter": "9", "name": "improved_linkage", "value": 1387778780790559247028683002237242947606}, {"parameter": "10", "name": "improved_linkage", "value": 1445602748617602651984981552084025681326}, {"parameter": "11", "name": "improved_linkage", "value": 1401172518681050860323071607703208820776}, {"parameter": "12", "name": "improved_linkage", "value": 1390756820815851702354848385011238282056}, {"parameter": "13", "name": "improved_linkage", "value": 1390531651620566396606028079986572672526}, {"parameter": "14", "name": "improved_linkage", "value": 1390620651114413013262566678009033203126}, {"parameter": "15", "name": "improved_linkage", "value": 1390638451241021040836172295305906640626}, {"parameter": "8,0", "name": "generalized_linkage", "value": 108420220111780937411287563331341979980468750}, {"parameter": "8,1", "name": "generalized_linkage", "value": 108420217368775095202277313905385585800781250}, {"parameter": "8,2", "name": "generalized_linkage", "value": 108420217253217420797722900236886814123968750}, {"parameter": "8,3", "name": "generalized_linkage", "value": 108420217248735507490738360406635537232904500}, {"parameter": "8,4", "name": "generalized_linkage", "value": 108420217248557788450480274736776860793720070}, {"parameter": "8,5", "name": "generalized_linkage", "value": 108420217248550725921461753532925006386844536}, {"parameter": "8,6", "name": "generalized_linkage", "value": 108420217252110477835922293951534772218561246}, {"parameter": "9,0", "name": "generalized_linkage", "value": 10405178152185064735162736417053222656250}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1387779711502480617855199413906113281250}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1387778788547337183350021686277697093750}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1387778780841586889167764712021483433250}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1387778780781919474774837569617337893320}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1387778780781449314892519940812351989981}, {"parameter": "9,6", "name": "generalized_linkage", "value": 1387778780790559247028683002237242947606}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1446185375193486732456890166811386718750}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1445602748629550100206057666085297093750}, {"parameter": "10,3", "name": "generalized_linkage", "value": 1445602748617622515652924086561203798250}, {"parameter": "10,4", "name": "generalized_linkage", "value": 1445602748617602659252980816972944111670}, {"parameter": "10,5", "name": "generalized_linkage", "value": 1445602748617602628702382800043979651056}, {"parameter": "10,6", "name": "generalized_linkage", "value": 1445602748617602651984981552084025681326}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1401172520174961479712031454515179906250}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1401172518681050866434237493980373373250}, {"parameter": "11,4", "name": "generalized_linkage", "value": 1401172518681050860325032813890526962070}, {"parameter": "11,5", "name": "generalized_linkage", "value": 1401172518681050860323012476913087132611}, {"parameter": "11,6", "name": "generalized_linkage", "value": 1401172518681050860323071607703208820776}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1390756820815851855145186850167494467000}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1390756820815851702354848509031295785320}, {"parameter": "12,5", "name": "generalized_linkage", "value": 1390756820815851702354848384865124917806}, {"parameter": "12,6", "name": "generalized_linkage", "value": 1390756820815851702354848385011238282056}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1390531651620566396606028700858434066570}, {"parameter": "13,5", "name": "generalized_linkage", "value": 1390531651620566396606028079986572363281}, {"parameter": "13,6", "name": "generalized_linkage", "value": 1390531651620566396606028079986572672526}, {"parameter": "14,5", "name": "generalized_linkage", "value": 1390620651114413013262566678009033300781}, {"parameter": "14,6", "name": "generalized_linkage", "value": 1390620651114413013262566678009033203126}, {"parameter": "15,6", "name": "generalized_linkage", "value": 1390638451241021040836172295305906640626}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 108420220111780937411287563331341979980468750}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 108420217368775095202277313905385585800781250}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420217253217420797722900236886814123968750}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217248735507490738360406635537232904500}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217248557788450480274736776860793720070}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217248550725921461753532925006386844536}, {"parameter": "[8, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 108420217252110477835922293951534772218561246}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185064735162736417053222656250}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387779711502480617855199413906113281250}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778788547337183350021686277697093750}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780841586889167764712021483433250}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781919474774837569617337893320}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781449314892519940812351989981}, {"parameter": "[9, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1387778780790559247028683002237242947606}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1446185375193486732456890166811386718750}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1445602748629550100206057666085297093750}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1445602748617622515652924086561203798250}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445602748617602659252980816972944111670}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445602748617602628702382800043979651056}, {"parameter": "[10, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1445602748617602651984981552084025681326}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1401172520174961479712031454515179906250}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1401172518681050866434237493980373373250}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1401172518681050860325032813890526962070}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1401172518681050860323012476913087132611}, {"parameter": "[11, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1401172518681050860323071607703208820776}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1390756820815851855145186850167494467000}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390756820815851702354848509031295785320}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390756820815851702354848384865124917806}, {"parameter": "[12, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390756820815851702354848385011238282056}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390531651620566396606028700858434066570}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390531651620566396606028079986572363281}, {"parameter": "[13, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390531651620566396606028079986572672526}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390620651114413013262566678009033300781}, {"parameter": "[14, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390620651114413013262566678009033203126}, {"parameter": "[15, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390638451241021040836172295305906640626}, {"parameter": "[8, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 1390645563989135018313713288543701171875}, {"parameter": "[8, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1390645563989135018313713288543701171875}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1390642011557399575362391686676025390625}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1390642011557399575362391686676025390625}, {"parameter": "[8, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1390642011284551164830513215301513671875}, {"parameter": "[8, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1390642011284551164830513215301513671875}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1390642018605964771235771394012451171875}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390642018605964771235771394012451171875}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275456939587779259918212890625}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275456939587779259918212890625}, {"parameter": "[8, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1390642011284930119986124253509521484375}, {"parameter": "[8, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390642011284930119986124253509521484375}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390642195943266817773170686004638671875}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390642195943266817773170686004638671875}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275474983914680695770263671875}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275474983914680695770263671875}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275456969661660409210205078125}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275456969661660409210205078125}, {"parameter": "[8, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390642011284638942031212067840576171875}, {"parameter": "[8, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390642011284638942031212067840576171875}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390646633641450099017601227996826171875}, {"parameter": "[8, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390646633641450099017601227996826171875}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275928967407919831512451171875}, {"parameter": "[8, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275928967407919831512451171875}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275475765833591343353271484375}, {"parameter": "[8, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275475765833591343353271484375}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275456946553777907379150390625}, {"parameter": "[8, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275456946553777907379150390625}, {"parameter": "[8, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390642011284570681713682698638916015625}, {"parameter": "[8, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390642011284570681713682698638916015625}, {"parameter": "[8, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390757426953004253946168488739013671875}, {"parameter": "[8, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390642011287289474757119817254638671875}, {"parameter": "[8, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275948665257290537139208984375}, {"parameter": "[8, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275475165030182448141326171875}, {"parameter": "[8, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390642011275456941136639108248410546875}, {"parameter": "[8, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1390642011284569206044844476859160546875}, {"parameter": "[9, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 9017402924126392807151855469940185546875}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117301492292167187927246093750}, {"parameter": "[9, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117297883417190552947998046875}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117770644828857423065185546875}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117297860143424512145996093750}, {"parameter": "[9, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117297884387315751312255859375}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 9017402924176864186924589844940185546875}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117297861344455006072998046875}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117297860143811941345214843750}, {"parameter": "[9, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117297883641900186737060546875}, {"parameter": "[9, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 9017402931572554471060065963494873046875}, {"parameter": "[9, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117298012623922771147998046875}, {"parameter": "[9, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117297861394885244409255859375}, {"parameter": "[9, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117297860143514252185346093750}, {"parameter": "[9, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 9017402924117297883467153773861875390625}, {"parameter": "", "name": "JohnsonLB", "value": 108643854143170931980916134817270568039891039}, {"parameter": "", "name": "JohnsonLB_special", "value": 108643854143170931980916134817270568039891039}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4344115029021540683482530845388038382381875}], "request": [5, 17, 4, 8], "liftedmrdsizebound": 108657397282802217778776286682855307121322626, "comments": "", "equal_bound_constraints": []}