{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4467854961017673003571751798888920}, {"parameter": "", "name": "singleton", "value": 75628919722004322604209288760}, {"parameter": "6", "name": "ilp_2", "value": 50442628803559470759393402040}, {"parameter": "8", "name": "ilp_3", "value": 1362150902749290549869436524051}, {"parameter": "", "name": "anticode", "value": 50442628803559470759393402040}, {"parameter": "", "name": "linear_programming_bound", "value": 50442628803559470759393402040}, {"parameter": "", "name": "sphere_packing", "value": 4467854961017673003571751798888920}, {"parameter": "1", "name": "ilp_1", "value": 50442628803559470759393402040}, {"parameter": "2", "name": "ilp_1", "value": 50442628803559470759393402040}, {"parameter": "3", "name": "ilp_1", "value": 50442628803559470759393402040}, {"parameter": "4", "name": "ilp_1", "value": 50442628803559470759393402040}, {"parameter": "5", "name": "ilp_1", "value": 50442628803559470759393402040}, {"parameter": "9", "name": "ilp_4", "value": 1360905159621077602511563855753}, {"parameter": "10", "name": "ilp_4", "value": 1360904653290040529101175884204}, {"parameter": "11", "name": "ilp_4", "value": 1360904652835893238783850153640}, {"parameter": "12", "name": "ilp_4", "value": 1360904652835826116991458612059}, {"parameter": "13", "name": "ilp_4", "value": 1360904652835826109318767965294}, {"parameter": "14", "name": "ilp_4", "value": 1360904652835876243434144814719}, {"parameter": "15", "name": "ilp_4", "value": 454004143531802408330816535025}, {"parameter": "16", "name": "ilp_4", "value": 151314218173636394793002565518}, {"parameter": "", "name": "johnson_1", "value": 50442628803559470759393402040}, {"parameter": "", "name": "johnson_2", "value": 151314218173636394793002565518}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 4467854961017673003571751798888920}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1362150902749290549869436524051}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1360905159621077602511563855753}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1360904653290040529101175884204}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1360904652835893238783850153640}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1360904652835826116991458612059}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1360904652835826109318767965294}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1360904652835876243434144814719}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 454004143531802408330816535025}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 151314218173636394793002565518}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 50442628803559470759393402040}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 50443197792378306710920499796}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 50444904835855201386947444218}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 50450026659571028273878003693}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 50465398373030893258891863371}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 50511569768467106720951711110}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 50650592263078391352865318332}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 51072289537358660778589085617}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 52380591271501415547422449582}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 56741148237446787286057694959}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 75628919722004322604209288760}, {"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": 50442628803559470759393402040}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 50442628803559470759393402040}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 50442628803559470759393402040}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 50442628803559470759393402040}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 50442628803559470759393402040}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1362150902749290549869436524051}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1362566305235294718511634799639}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1363814034262533714705123710635}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1367570969956896006969436013642}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1378967003935756182532447956260}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1414323888764891680781720010494}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1532179722512455784774883827194}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 2042880353039758115797506899680}, {"parameter": "", "name": "improved_johnson", "value": 50442628803559470759393402040}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 454004164365695215433801600038}], "known_codes": [], "upper_bound": 50442628803559470759393402040, "classified": false, "lower_bound": 43026746493711590523056074275, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 42391158275216203514294433201}, {"parameter": "", "name": "sphere_covering", "value": 46151141621572101290869625}, {"parameter": "", "name": "graham_sloane", "value": 69193888126261960296623320}, {"parameter": "", "name": "multicomponent", "value": 42391238041709311942363651660}, {"parameter": "", "name": "construction_ST_B", "value": 42927662284855691236103957358}, {"parameter": "", "name": "EF_special", "value": 43026740586030433477849264332}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 42392365226932130751682204866}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 42922253708291794834704511989}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 42927662284797379694742013239}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 43026746493711590523056074275}, {"parameter": "", "name": "two_pivot_block_construction", "value": 42921047753504435415524835328}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 534339240866680818670103921}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 42927670362438993234427821391}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 42402149883055729686888207225}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 42402149883055729686888207225}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 42402149883055526337621940905}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 42402149883055523796143533065}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 58595085640393198268375196}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 58595085640596547534641516}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 58595085640413533195001828}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 58595085640390687783606476}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 196080761356812601321129524}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 196080761356835446732524876}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 196080761357018461072164564}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 196080761356815111805898244}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 557818613953202321262394929}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 557818613953204862740802769}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 557818613953408212007069089}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 557818613953408212007069089}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 42402149883055523795756112576}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 58595085640390656402546867}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 196080761356812569940069915}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 557818613953202320874974440}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 42402149883055523795756112576}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 58595085640390656402546867}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 196080761356812569940069915}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 557818613953202320874974440}, {"parameter": "7", "name": "linkage_GLT", "value": 42391158275216203514299520176}, {"parameter": "8", "name": "linkage_GLT", "value": 58149737003040059690392627}, {"parameter": "9", "name": "linkage_GLT", "value": 196065917082952629244141339}, {"parameter": "10", "name": "linkage_GLT", "value": 556611662237275083487202776}, {"parameter": "7", "name": "improved_linkage", "value": 42391239606141466394658860326}, {"parameter": "8", "name": "improved_linkage", "value": 58149848582764767268577604}, {"parameter": "9", "name": "improved_linkage", "value": 196065917133948847117805958}, {"parameter": "10", "name": "improved_linkage", "value": 556611662237298369402226232}, {"parameter": "11", "name": "improved_linkage", "value": 532318549577866525809744280}, {"parameter": "12", "name": "improved_linkage", "value": 532707045115484094936107152}, {"parameter": "13", "name": "improved_linkage", "value": 533438450975673557164780318}, {"parameter": "14", "name": "improved_linkage", "value": 533682364304880535577794516}, {"parameter": "15", "name": "improved_linkage", "value": 177870733549919357002122376}, {"parameter": "7,0", "name": "generalized_linkage", "value": 42402149883055523795756112576}, {"parameter": "7,1", "name": "generalized_linkage", "value": 42392363140289719566921143691}, {"parameter": "7,2", "name": "generalized_linkage", "value": 42391292300806071672904642578}, {"parameter": "7,3", "name": "generalized_linkage", "value": 42391172767372395070179809421}, {"parameter": "7,4", "name": "generalized_linkage", "value": 42391159725752624712810869856}, {"parameter": "7,5", "name": "generalized_linkage", "value": 42391239606141466394658860326}, {"parameter": "8,0", "name": "generalized_linkage", "value": 58595085640390656402546867}, {"parameter": "8,1", "name": "generalized_linkage", "value": 58198124133333370338333894}, {"parameter": "8,2", "name": "generalized_linkage", "value": 58151451139510961518175439}, {"parameter": "8,3", "name": "generalized_linkage", "value": 58149798595705737550586046}, {"parameter": "8,4", "name": "generalized_linkage", "value": 58149739042888774636974969}, {"parameter": "8,5", "name": "generalized_linkage", "value": 58149848582764767268577604}, {"parameter": "9,0", "name": "generalized_linkage", "value": 196080761356812569940069915}, {"parameter": "9,1", "name": "generalized_linkage", "value": 196066555949499457107825396}, {"parameter": "9,2", "name": "generalized_linkage", "value": 196065939475012502313490113}, {"parameter": "9,3", "name": "generalized_linkage", "value": 196065917339049707236786608}, {"parameter": "9,4", "name": "generalized_linkage", "value": 196065917085770224961979635}, {"parameter": "9,5", "name": "generalized_linkage", "value": 196065917133948847117805958}, {"parameter": "10,0", "name": "generalized_linkage", "value": 557818613953202320874974440}, {"parameter": "10,1", "name": "generalized_linkage", "value": 556611669282851120592911970}, {"parameter": "10,2", "name": "generalized_linkage", "value": 556611662335037382330609393}, {"parameter": "10,3", "name": "generalized_linkage", "value": 556611662238381124718902800}, {"parameter": "10,4", "name": "generalized_linkage", "value": 556611662237278956322864015}, {"parameter": "10,5", "name": "generalized_linkage", "value": 556611662237298369402226232}, {"parameter": "11,1", "name": "generalized_linkage", "value": 532318740060035788764532119}, {"parameter": "11,2", "name": "generalized_linkage", "value": 532318549578224942906990199}, {"parameter": "11,3", "name": "generalized_linkage", "value": 532318549577868118959242568}, {"parameter": "11,4", "name": "generalized_linkage", "value": 532318549577866520730149545}, {"parameter": "11,5", "name": "generalized_linkage", "value": 532318549577866525809744280}, {"parameter": "12,2", "name": "generalized_linkage", "value": 532707045118711354040845698}, {"parameter": "12,3", "name": "generalized_linkage", "value": 532707045115484096888650944}, {"parameter": "12,4", "name": "generalized_linkage", "value": 532707045115484094933706771}, {"parameter": "12,5", "name": "generalized_linkage", "value": 532707045115484094936107152}, {"parameter": "13,3", "name": "generalized_linkage", "value": 533438450975673563037869085}, {"parameter": "13,4", "name": "generalized_linkage", "value": 533438450975673557164778953}, {"parameter": "13,5", "name": "generalized_linkage", "value": 533438450975673557164780318}, {"parameter": "14,4", "name": "generalized_linkage", "value": 533682364304880535577795608}, {"parameter": "14,5", "name": "generalized_linkage", "value": 533682364304880535577794516}, {"parameter": "15,5", "name": "generalized_linkage", "value": 177870733549919357002122376}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42402149883055523795756112576}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42392363140289719566921143691}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391292300806071672904642578}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 42391172767372395070179809421}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 42391159725752624712810869856}, {"parameter": "[7, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 42391239606141466394658860326}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58595085640390656402546867}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58198124133333370338333894}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58151451139510961518175439}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149798595705737550586046}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149739042888774636974969}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 58149848582764767268577604}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 196080761356812569940069915}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 196066555949499457107825396}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 196065939475012502313490113}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 196065917339049707236786608}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 196065917085770224961979635}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 196065917133948847117805958}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 557818613953202320874974440}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 556611669282851120592911970}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 556611662335037382330609393}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 556611662238381124718902800}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 556611662237278956322864015}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 556611662237298369402226232}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 532318740060035788764532119}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 532318549578224942906990199}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 532318549577868118959242568}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 532318549577866520730149545}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 532318549577866525809744280}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 532707045118711354040845698}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 532707045115484096888650944}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 532707045115484094933706771}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 532707045115484094936107152}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 533438450975673563037869085}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 533438450975673557164778953}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 533438450975673557164780318}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 533682364304880535577795608}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 533682364304880535577794516}, {"parameter": "[15, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 177870733549919357002122376}, {"parameter": "[7, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 174533702980894281949879143}, {"parameter": "[7, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 174534288540234450870755718}, {"parameter": "[7, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 185520585291517333042713243}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 533683786735062063538797663}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 523353781002916477243026513}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 523354366562256646163903088}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 534340663313539528335860613}, {"parameter": "[7, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 533682473707192485390487155}, {"parameter": "[7, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 523352467975046899094716005}, {"parameter": "[7, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 523353053534387068015592580}, {"parameter": "[7, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 534339350285669950187550105}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 533696582302721132713862913}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 523366576570575546418091763}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523367162129915715338968338}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 534353458881198597510925863}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 533682364938613440165124137}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 523352359206467853869352987}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 523352944765808022790229562}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 534339241517090904962187087}, {"parameter": "[7, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 533682487265741207219407752}, {"parameter": "[7, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 523352481533595620923636602}, {"parameter": "[7, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 523353067092935789844513177}, {"parameter": "[7, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 534339363844218672016470702}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 533814035111530630725011067}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 523484029379385044429239917}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 523484614938725213350116492}, {"parameter": "[7, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 534470911690008095522074017}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 533682370789353110521399887}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523352365057207524225628737}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 523352950616547693146505312}, {"parameter": "[7, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 534339247367830575318462837}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 533682365019208379983951740}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 523352359287062793688180590}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 523352944846402962609057165}, {"parameter": "[7, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 534339241597685844781014690}, {"parameter": "[7, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 533682480661874652453360921}, {"parameter": "[7, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 523352474929729066157589771}, {"parameter": "[7, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 523353060489069235078466346}, {"parameter": "[7, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 534339357240352117250423871}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 524593599015282040168318863}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 524532201713987206638031488}, {"parameter": "[7, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 524537504159082315611578038}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 523409099177735442165071079}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347701876440608634783704}, {"parameter": "[7, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 523353004321535717608330254}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523409046278331132403898490}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347648977036298873611115}, {"parameter": "[7, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 523352951422131407847157665}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 523409039663347879112776221}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347642362053045582488846}, {"parameter": "[7, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 523352944807148154556035396}, {"parameter": "[7, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 523409150266182588929361426}, {"parameter": "[7, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347752964887755399074051}, {"parameter": "[7, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 523353055409982864372620601}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 533682392377765797405697671}, {"parameter": "[7, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 533682366448938926457171771}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 523348202753888542871446287}, {"parameter": "[7, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 523348176825061671922920387}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347728783446376240088168}, {"parameter": "[7, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 523347702854619505291562268}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347668031286482428089521}, {"parameter": "[7, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 523347642102459611479563621}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347661778482013234132016}, {"parameter": "[7, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 523347635849655142285606116}, {"parameter": "[7, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347772492732674570185079}, {"parameter": "[7, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 523347746563905803621659179}, {"parameter": "[7, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 174453938698552982019059607}, {"parameter": "[7, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 174449821923244572736834026}, {"parameter": "[7, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 174449277202701822581700657}, {"parameter": "[7, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 174449219782444384231117602}, {"parameter": "[7, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 174449213831897601682120299}, {"parameter": "[7, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 174449324698584241354738272}, {"parameter": "[8, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 635656701794100144262839}, {"parameter": "[8, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 239589931554716737926573}, {"parameter": "[8, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 684757385570345754105990}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 635549284066772591891910}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 239482513827389185555644}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 684649967843018201735061}, {"parameter": "[8, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 635547332836513730903337}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 239480562597130324567071}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 684648016612759340746488}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 635607793316496343501251}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239541023077112937164985}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 684708477092741953344402}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 635547283720040330102070}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239480513480656923765804}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 684647967496285939945221}, {"parameter": "[8, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 635547339036124486197768}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 239480568796741079861502}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 684648022812370096040919}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 637232531732408309976171}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 241165761493024903639905}, {"parameter": "[8, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 686333215508653919819322}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 635547310473240935384013}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239480540233857529047747}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 684647994249486545227164}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 635547283833430558822590}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239480513594047152486324}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 684647967609676168665741}, {"parameter": "[8, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 635547336016523866734555}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 239480565777140460398289}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 684648019792769476577706}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 285519498304272288550146}, {"parameter": "[8, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 284975948299369200618303}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 240024833146129575354750}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 239481283141226487422907}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 240024093667247948595129}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 239480543662344860663286}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 240024063543722062650207}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 239480513538818974718364}, {"parameter": "[8, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 240024113459644659118497}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 239480563454741571186654}, {"parameter": "[8, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 635728466139936327880911}, {"parameter": "[8, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 239501315233959155139861}, {"parameter": "[8, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 239481378626365390926726}, {"parameter": "[8, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 239480541992455753266189}, {"parameter": "[8, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 239480513496342543274164}, {"parameter": "[8, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 239480563491881381867823}, {"parameter": "[9, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 283796199176743173864006}, {"parameter": "[9, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 283796199176743173864006}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 283796151913289961914580}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 283796151913289961914580}, {"parameter": "[9, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 283796149168074867319260}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 283796149168074867319260}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 283796400926391307674840}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 283796400926391307674840}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 283796149146463777601862}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 283796149146463777601862}, {"parameter": "[9, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 283796149170909623037273}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 283796149170909623037273}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 283817203018712105232060}, {"parameter": "[9, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 283817203018712105232060}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 283796149260324363493842}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 283796149260324363493842}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 283796149146620615938341}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 283796149146620615938341}, {"parameter": "[9, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 283796149169528918593074}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 283796149169528918593074}, {"parameter": "[9, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 284364579225715787588886}, {"parameter": "[9, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 283796158772026384891902}, {"parameter": "[9, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 283796149274590126739661}, {"parameter": "[9, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 283796149146544225797624}, {"parameter": "[9, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 283796149168467007806969}, {"parameter": "[10, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1461460935080098214742951}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1461460935061028990853882}, {"parameter": "[10, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1461460935057231882641193}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1461460936097163809255301}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1461460935057223163288706}, {"parameter": "[10, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1461460935057233178825792}, {"parameter": "[10, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1461461022041008066116417}, {"parameter": "[10, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1461460935057696933210243}, {"parameter": "[10, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1461460935057223379023134}, {"parameter": "[10, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1461460935057232547502315}, {"parameter": "[7, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10578865537759796075410992}, {"parameter": "[7, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10578865537759796075410992}, {"parameter": "[7, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 248859805614209779639842}, {"parameter": "[7, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 248859805614209779639842}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20908762501326337145819124}, {"parameter": "[7, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20908761900947795957822640}, {"parameter": "[7, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10578756769180750850047974}, {"parameter": "[7, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10578756769180750850047974}, {"parameter": "[7, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10578756168802209662051490}, {"parameter": "[7, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10578756168802209662051490}, {"parameter": "[8, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 792605376169378815986010}, {"parameter": "", "name": "JohnsonLB", "value": 43020107246909447097964610441}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 531206643735909350707018638}], "request": [3, 17, 4, 7], "liftedmrdsizebound": 43420960080536937651122276776, "comments": "", "equal_bound_constraints": []}