{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4467854961017673003571751798888920}, {"parameter": "", "name": "singleton", "value": 1279025522911365763892449}, {"parameter": "5", "name": "ilp_2", "value": 759335071557420905605801}, {"parameter": "6", "name": "ilp_2", "value": 50442628803559470759393402040}, {"parameter": "8", "name": "ilp_3", "value": 1362150902749290549869436524051}, {"parameter": "9", "name": "ilp_3", "value": 553663612539087714610074798}, {"parameter": "", "name": "anticode", "value": 759335071557420905605801}, {"parameter": "", "name": "linear_programming_bound", "value": 759335071557420905605801}, {"parameter": "", "name": "sphere_packing", "value": 46151141621572101290869624}, {"parameter": "1", "name": "ilp_1", "value": 759309352356246643116991}, {"parameter": "2", "name": "ilp_1", "value": 759309352356246643446129}, {"parameter": "3", "name": "ilp_1", "value": 759309352356246643446129}, {"parameter": "4", "name": "ilp_1", "value": 759309352729063710052517}, {"parameter": "10", "name": "ilp_4", "value": 553157281502014304222103249}, {"parameter": "11", "name": "ilp_4", "value": 553156794325830145636319553}, {"parameter": "12", "name": "ilp_4", "value": 553156794199044537785629901}, {"parameter": "13", "name": "ilp_4", "value": 553156794198986803933058337}, {"parameter": "14", "name": "ilp_4", "value": 553156794199032588513311168}, {"parameter": "15", "name": "ilp_4", "value": 61470955097965164665109073}, {"parameter": "16", "name": "ilp_4", "value": 6834118521001102671804461}, {"parameter": "", "name": "johnson_1", "value": 759309352356246643116991}, {"parameter": "", "name": "johnson_2", "value": 6834118521001102671804461}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 4467854961017673003571751798888920}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1362150902749290549869436524051}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 553663612539087714610074798}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 553157281502014304222103249}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 553156794325830145636319553}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 553156794199044537785629901}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 553156794198986803933058337}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 553156794199032588513311168}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 61470955097965164665109073}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 6834118521001102671804461}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 50442628803559470759393402040}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 46151141621572101290869624}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 46152703417982800902971129}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 46157389441510547368598356}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 46171453223267056961474714}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 46213696037023885380559662}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 46340889536210788063005780}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 15556574031342534303839060}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 5322689676678906220922846}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1921669919622465934344491}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 759335071557420905605801}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 759346470930509150805728}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 759380670717649137763010}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 759483285092198614783181}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 759791263394851152580584}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 760716416558723267438527}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 763502884947375146611400}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 771962589153871241950716}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 798278561234658460835303}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 886695133357457167164707}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1279025522911365763892449}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 4467854961017673003571751798888920}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 50442628803559470759393402040}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 759335071557420905605801}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 759309352729063710052517}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 759309352356246643446129}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 759309352356246643446129}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 759309352356246643116991}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1362150902749290549869436524051}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 46151141621572101290869624}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 46188709376023085461510002}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 46315946672730580208913521}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 46701899660649115580066834}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 47899342154117465856111760}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 51890801925374841906503783}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 69186857259145159193151812}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 553663612539087714610074798}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 553888724800449687422120588}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 554564954782276172052331236}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 556601716311246556302512343}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 562785541877135556622899528}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 582024026287862921728725068}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 646685781406421571322954907}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 934054234760012359481199283}, {"parameter": "", "name": "improved_johnson", "value": 759309352356246643116985}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 20505133659963064561214932}], "known_codes": [], "upper_bound": 759309352356246643116985, "classified": false, "lower_bound": 717934513945606807214448, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 717897987691852588770249}, {"parameter": "", "name": "sphere_covering", "value": 7634805613320019885}, {"parameter": "", "name": "graham_sloane", "value": 535804559316391450}, {"parameter": "", "name": "multicomponent", "value": 717898037723397692552926}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 717897990917684537428338}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 717934513945606807214448}, {"parameter": "", "name": "two_pivot_block_construction", "value": 717934462541344066764800}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 109428857029274583095}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 717897997559753837780805}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 717897997559781732056013}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 717897997559750365345311}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 717897997559750738416893}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2954312746168876251525}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 2954312746168876251525}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2954312746165776887613}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 2954312746168876251525}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 12158023414576341393}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 12158023411476977481}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 12158023414576341393}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 12158023414576341393}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 113524801661966413761}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 113524801661593342179}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 113524801692960052881}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 113524801665065777673}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 717897997559750350996404}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 2954312746165389467124}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 12158023411089556992}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 113524801661578993272}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 717897997559750350996404}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 2954312746165389467124}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 12158023411089556992}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 113524801661578993272}, {"parameter": "7", "name": "linkage_GLT", "value": 717897987691852588772518}, {"parameter": "8", "name": "linkage_GLT", "value": 2954312706550833698644}, {"parameter": "9", "name": "linkage_GLT", "value": 12157665459056928802}, {"parameter": "10", "name": "linkage_GLT", "value": 113521575829630335184}, {"parameter": "7", "name": "improved_linkage", "value": 717898037727746695688892}, {"parameter": "8", "name": "improved_linkage", "value": 2954312729428813990579}, {"parameter": "9", "name": "improved_linkage", "value": 12157665469518018780}, {"parameter": "10", "name": "improved_linkage", "value": 113521575829635125130}, {"parameter": "11", "name": "improved_linkage", "value": 109578623389263079336}, {"parameter": "12", "name": "improved_linkage", "value": 109426696068703852738}, {"parameter": "13", "name": "improved_linkage", "value": 109424670518940837985}, {"parameter": "14", "name": "improved_linkage", "value": 109428500411831072242}, {"parameter": "7,0", "name": "generalized_linkage", "value": 717897997559750350996404}, {"parameter": "7,1", "name": "generalized_linkage", "value": 717897988046604115491156}, {"parameter": "7,2", "name": "generalized_linkage", "value": 717897987694687544154558}, {"parameter": "7,3", "name": "generalized_linkage", "value": 717897987714730569062185}, {"parameter": "7,4", "name": "generalized_linkage", "value": 717898037727746695688892}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2954312746165389467124}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2954312711142689337126}, {"parameter": "8,2", "name": "generalized_linkage", "value": 2954312706552131774280}, {"parameter": "8,3", "name": "generalized_linkage", "value": 2954312706561294788622}, {"parameter": "8,4", "name": "generalized_linkage", "value": 2954312729428813990579}, {"parameter": "9,0", "name": "generalized_linkage", "value": 12158023411089556992}, {"parameter": "9,1", "name": "generalized_linkage", "value": 12157665465129986562}, {"parameter": "9,2", "name": "generalized_linkage", "value": 12157665459057543700}, {"parameter": "9,3", "name": "generalized_linkage", "value": 12157665459061718748}, {"parameter": "9,4", "name": "generalized_linkage", "value": 12157665469518018780}, {"parameter": "10,0", "name": "generalized_linkage", "value": 113524801661578993272}, {"parameter": "10,1", "name": "generalized_linkage", "value": 113521575847851360006}, {"parameter": "10,2", "name": "generalized_linkage", "value": 113521575829630336003}, {"parameter": "10,3", "name": "generalized_linkage", "value": 113521575829630337452}, {"parameter": "10,4", "name": "generalized_linkage", "value": 113521575829635125130}, {"parameter": "11,1", "name": "generalized_linkage", "value": 109578623443928003076}, {"parameter": "11,2", "name": "generalized_linkage", "value": 109578623389263079525}, {"parameter": "11,3", "name": "generalized_linkage", "value": 109578623389263077068}, {"parameter": "11,4", "name": "generalized_linkage", "value": 109578623389263079336}, {"parameter": "12,2", "name": "generalized_linkage", "value": 109426696068703860118}, {"parameter": "12,3", "name": "generalized_linkage", "value": 109426696068703852738}, {"parameter": "12,4", "name": "generalized_linkage", "value": 109426696068703852738}, {"parameter": "13,3", "name": "generalized_linkage", "value": 109424670518940837985}, {"parameter": "13,4", "name": "generalized_linkage", "value": 109424670518940837985}, {"parameter": "14,4", "name": "generalized_linkage", "value": 109428500411831072242}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 717897997559750350996404}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897988046604115491156}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987694687544154558}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 717897987714730569062185}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 717898037727746695688892}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2954312746165389467124}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2954312711142689337126}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2954312706552131774280}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2954312706561294788622}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2954312729428813990579}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12158023411089556992}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665465129986562}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157665459057543700}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12157665459061718748}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12157665469518018780}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 113524801661578993272}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 113521575847851360006}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 113521575829630336003}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 113521575829630337452}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 113521575829635125130}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109578623443928003076}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 109578623389263079525}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 109578623389263077068}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 109578623389263079336}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 109426696068703860118}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 109426696068703852738}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 109426696068703852738}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 109424670518940837985}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 109424670518940837985}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 109428500411831072242}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 109478531955767810481}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 109469025025618746411}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109469025025618746411}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109478888574373585071}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 109428523287461265735}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419016357312201665}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419016357312201665}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109428879906067040325}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 109428523287461265735}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419016357312201665}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419016357312201665}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109428879906067040325}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419048503364114657}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418996315275464717}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418996315275464717}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419045679068749847}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418993490980099907}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418993490980099907}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419045679068749847}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418993490980099907}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418993490980099907}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419347715244057593}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419347715244057593}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418993481815931303}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418993481815931303}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418993480524529673}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418993480524529673}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418993491372303365}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418993491372303365}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 109428504759676198269}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418993642492643051}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418993480520339381}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418993480524709007}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418993490995360793}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 50094036447223149}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 50094036447223149}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 50094036447223149}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 50071170115121391}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50071170115121391}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 50071170115121391}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 50071170115121391}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 50071170115121391}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 50071170115121391}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50071160950952787}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 50071160950952787}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50071159659551157}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 50071159659551157}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 50071159659551157}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 50071159659551157}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 50075585564103297}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 50071159655360865}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 50071159654770375}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 50071159659730491}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 380839285436355}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 380839285436355}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380828829866121}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 380828829866121}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 380828829866121}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 380828829866121}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 380828825675829}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 380828825085339}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 380828825085339}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3249566494858665}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3249566490077883}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3249566490077883}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19045445565711294}, {"parameter": "", "name": "JohnsonLB", "value": 717825039845701459434866}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2954468360264702372730}], "request": [3, 17, 6, 7], "liftedmrdsizebound": 717965053428091974061987, "comments": "", "equal_bound_constraints": []}