{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 33165216768196105736186294932151329554455695845}, {"parameter": "", "name": "singleton", "value": 1884649011792085827682980366254565}, {"parameter": "5", "name": "ilp_2", "value": 1325548440579536768977507017729345}, {"parameter": "6", "name": "ilp_2", "value": 5930403246581051575518277902289145645649}, {"parameter": "8", "name": "ilp_3", "value": 1518206306623763137385502171304707235269201}, {"parameter": "9", "name": "ilp_3", "value": 86872793091390756422191447300025591105}, {"parameter": "", "name": "anticode", "value": 1325548440579536768977507017729345}, {"parameter": "", "name": "linear_programming_bound", "value": 1325548440579536768977507017729345}, {"parameter": "", "name": "sphere_packing", "value": 1085955741956758286159225541405605306}, {"parameter": "1", "name": "ilp_1", "value": 1325546188827086881185255372940877}, {"parameter": "2", "name": "ilp_1", "value": 1325546188827086881185255373994895}, {"parameter": "3", "name": "ilp_1", "value": 1325546188827086881277732853710151}, {"parameter": "4", "name": "ilp_1", "value": 1325546188827476281033518196494087}, {"parameter": "10", "name": "ilp_4", "value": 86856886192720134840298820870936966148}, {"parameter": "11", "name": "ilp_4", "value": 86856884191701750835444582610844729635}, {"parameter": "12", "name": "ilp_4", "value": 86856884191635475880352569982638813461}, {"parameter": "13", "name": "ilp_4", "value": 86856884191635471839200565417821873878}, {"parameter": "14", "name": "ilp_4", "value": 86856884191635475381263377638054187147}, {"parameter": "15", "name": "ilp_4", "value": 5428881611606763000267591543486318302}, {"parameter": "16", "name": "ilp_4", "value": 339340780031187326442060883889987817}, {"parameter": "17", "name": "ilp_4", "value": 21208719110944343383949273774073167}, {"parameter": "", "name": "johnson_1", "value": 1325546188827086881185255372940877}, {"parameter": "", "name": "johnson_2", "value": 21208719110944343383949273774073167}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 33165216768196105736186294932151329554455695845}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1518206306623763137385502171304707235269201}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 86872793091390756422191447300025591105}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 86856886192720134840298820870936966148}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 86856884191701750835444582610844729635}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 86856884191635475880352569982638813461}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 86856884191635471839200565417821873878}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 86856884191635475381263377638054187147}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 5428881611606763000267591543486318302}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 339340780031187326442060883889987817}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 21208719110944343383949273774073167}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 5930403246581051575518277902289145645649}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1085955741956758286159225541405605306}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1085956518551340366542837536669895445}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1085959624940775970755325456785611425}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1085972050676237579373841712213521888}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1086021756461761903403651129842204336}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1086220625113640651790543383227339962}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 271692006593414765662505653275821223}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 68134435356144926621502539442050080}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 17236105618524020587382819034566310}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 4524484184969644646919363282655028}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 1413831005592760963204738090624339}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1325548440579536768977507017729345}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1325548736645714794557414771708678}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1325549920911537723022279945928946}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1325554657992602722680478368892908}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1325573606601239612558282609878227}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1325649405586093830601203098127945}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1325952674348111062072319486814338}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1327166915691295256577846046792126}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1332042614614437958192053623244552}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1351849881985737741901321967691206}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1436273693033306450918429396146469}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1884649011792085827682980366254565}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 33165216768196105736186294932151329554455695845}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 5930403246581051575518277902289145645649}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1325548440579536768977507017729345}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1325546188827476281033518196494087}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1325546188827086881277732853710151}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1325546188827086881185255373994895}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1325546188827086881185255351968077}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1518206306623763137385502171304707235269201}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1085955741956758286159225541405605306}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1086154634807498702660345663938091177}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1086950935289303272777806756808292214}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1090147847509315981325847515384993209}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1103125788645149102721204289694616547}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1158282035997131339059628957049856543}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 86872793091390756422191447300025591105}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 86877764281679386957172188144780317108}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 86897653822808938021027587313725420574}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 86977288541395433033800637375401101698}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 87297057065446702000829568937948719584}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 88596116627939931877095806101457464297}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 94133356817895382755985986251082659499}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 123549912998815788062283863044996567525}, {"parameter": "", "name": "improved_johnson", "value": 1325546188827086881185255372940874}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 339344602857981201984926340270147290}], "known_codes": [], "upper_bound": 1325546188827086881185255351968077, "classified": false, "lower_bound": 1298079167603215742162912413988416, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1298074214633706907132624082305024}, {"parameter": "", "name": "sphere_covering", "value": 889121812084449454790163716}, {"parameter": "", "name": "graham_sloane", "value": 21069023479426261532421207}, {"parameter": "", "name": "multicomponent", "value": 1298074215842632726751651303522305}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1298074214634132781027183642785344}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1298079167603215742162912413988416}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1298079166412753514585202259656704}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 316914385960525628228974331380}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1298074216369610375428071335381760}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1298074216369610376536379056179968}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1298074216369610375410483444304640}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1298074216369610375411578660965120}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1267650601956263044950606083648}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1267650601956263097727164216896}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1267650601956263027633297946176}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1267650601956263044950606083648}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1237940040948468010976523840}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1237940040948454816836990528}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1237940040948454816836990528}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1237940040948468010976523840}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 20117734590822580872380921408}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 20117734590822563555072783936}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 20117734590822633648939054656}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 20117734590822580872380921408}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 316991547059760549195833128512}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 316991547059760548100616468032}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 316991547059761673996228343360}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 316991547059760565688507545152}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 1298074216369610375410479149337344}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1267650601956263027358420039232}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 1237940040948450418790479424}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 20117734590822563280194876992}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 316991547059760548096321500736}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 1298074216369610375410479149337344}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1267650601956263027358420039232}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 1237940040948450418790479424}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 20117734590822563280194876992}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 316991547059760548096321500736}, {"parameter": "7", "name": "linkage_GLT", "value": 1298074214633706907132624350807308}, {"parameter": "8", "name": "linkage_GLT", "value": 1267650600228229401496703222017}, {"parameter": "9", "name": "linkage_GLT", "value": 1237940039285380274899124225}, {"parameter": "10", "name": "linkage_GLT", "value": 20117734564207044096285474817}, {"parameter": "11", "name": "linkage_GLT", "value": 316991546633886653536761020417}, {"parameter": "7", "name": "improved_linkage", "value": 1298074215842637338450863870443520}, {"parameter": "8", "name": "improved_linkage", "value": 1267650601408827487348961490496}, {"parameter": "9", "name": "improved_linkage", "value": 1237940039357438145380552705}, {"parameter": "10", "name": "improved_linkage", "value": 20117734564207048494353278976}, {"parameter": "11", "name": "improved_linkage", "value": 316991546633886653537029522700}, {"parameter": "12", "name": "improved_linkage", "value": 316914184383442425239841030401}, {"parameter": "13", "name": "improved_linkage", "value": 316913865868430439688148353025}, {"parameter": "14", "name": "improved_linkage", "value": 316914385528478101395965214721}, {"parameter": "15", "name": "improved_linkage", "value": 19807116186718040688861118465}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1298074216369610375410479149337344}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1298074214660857043098782803779584}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1298074214633785378153578357920833}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1298074214634887505218476340590144}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1298074215842637338450863870443520}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1267650601956263027358420039232}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1267650600334720013623703490896}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1267650600228234190992541935616}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1267650600228301459367184633857}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1267650601408827487348961490496}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1237940040948450418790479424}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1237940039311781411987765020}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1237940039285380567298111500}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1237940039285384672966928384}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1237940039357438145380552705}, {"parameter": "10,0", "name": "generalized_linkage", "value": 20117734590822563280194876992}, {"parameter": "10,1", "name": "generalized_linkage", "value": 20117734564207050442403912476}, {"parameter": "10,2", "name": "generalized_linkage", "value": 20117734564207044096358179345}, {"parameter": "10,3", "name": "generalized_linkage", "value": 20117734564207044096553977100}, {"parameter": "10,4", "name": "generalized_linkage", "value": 20117734564207048494353278976}, {"parameter": "11,0", "name": "generalized_linkage", "value": 316991547059760548096321500736}, {"parameter": "11,1", "name": "generalized_linkage", "value": 316991546633886678921307396892}, {"parameter": "11,2", "name": "generalized_linkage", "value": 316991546633886653536761037889}, {"parameter": "11,3", "name": "generalized_linkage", "value": 316991546633886653536761037057}, {"parameter": "11,4", "name": "generalized_linkage", "value": 316991546633886653537029522700}, {"parameter": "12,1", "name": "generalized_linkage", "value": 316914184383442526778099145500}, {"parameter": "12,2", "name": "generalized_linkage", "value": 316914184383442425239841083665}, {"parameter": "12,3", "name": "generalized_linkage", "value": 316914184383442425239841013761}, {"parameter": "12,4", "name": "generalized_linkage", "value": 316914184383442425239841030401}, {"parameter": "13,2", "name": "generalized_linkage", "value": 316913865868430439688148632641}, {"parameter": "13,3", "name": "generalized_linkage", "value": 316913865868430439688148353025}, {"parameter": "13,4", "name": "generalized_linkage", "value": 316913865868430439688148353025}, {"parameter": "14,3", "name": "generalized_linkage", "value": 316914385528478101395965214721}, {"parameter": "14,4", "name": "generalized_linkage", "value": 316914385528478101395965214721}, {"parameter": "15,4", "name": "generalized_linkage", "value": 19807116186718040688861118465}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1298074216369610375410479149337344}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1298074214660857043098782803779584}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1298074214633785378153578357920833}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1298074214634887505218476340590144}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1298074215842637338450863870443520}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1267650601956263027358420039232}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1267650600334720013623703490896}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1267650600228234190992541935616}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1267650600228301459367184633857}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1267650601408827487348961490496}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040948450418790479424}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039311781411987765020}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380567298111500}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285384672966928384}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1237940039357438145380552705}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 20117734590822563280194876992}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20117734564207050442403912476}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20117734564207044096358179345}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 20117734564207044096553977100}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 20117734564207048494353278976}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 316991547059760548096321500736}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 316991546633886678921307396892}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 316991546633886653536761037889}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 316991546633886653536761037057}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 316991546633886653537029522700}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 316914184383442526778099145500}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 316914184383442425239841083665}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 316914184383442425239841013761}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 316914184383442425239841030401}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 316913865868430439688148632641}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 316913865868430439688148353025}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 316913865868430439688148353025}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 316914385528478101395965214721}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 316914385528478101395965214721}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807116186718040688861118465}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 19808249660310468085630894080}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 19808249554392164162390898240}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19808249661972007736993445440}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19809985457853976882627726080}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 316914386709065218513749147648}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 316912651343573740149657305088}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912651237655436226417309248}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912651345235279801019856448}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 316914387141117248946654137088}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 316914386709065218513749147648}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 316912651343573740149657305088}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912651237655436226417309248}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912651345235279801019856448}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 316914387141117248946654137088}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 316912659138590368891709174528}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650135663838112913617728}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650135534535416309528128}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650243114378990912075328}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 316912659060191706578443580160}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650057265175799648023360}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057135873103043933760}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650164715716677646480960}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 316912659060191706578443580160}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650057265175799648023360}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057135873103043933760}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650164715716677646480960}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912677209369923452424693568}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912677207068335452871898688}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912677207068335452871898688}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650059370192981209392960}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057068604981656598080}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057068604981656598080}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650059365407906605311808}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057063819907052516928}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057063819907052516928}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650059438591400550082368}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057137003400997287488}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057137003400997287488}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 316914385528480062931168048704}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 316914385528480062931168048704}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650058720920277068985920}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650058720920277068985920}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057063815801332217408}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057063815801332217408}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057063819976040429120}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057063819976040429120}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057135891042048587328}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057135891042048587328}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807040734497318591286392384}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807040628572650674864633408}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807040628572549830127842880}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807040628572553932357613120}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807040628644607476119549504}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 19345695051703574445686784}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 19343993809296718336865856}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19343993809296718336865856}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19345721739080645923436096}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 19344514532140451072311296}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813289733594963490368}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813289733594963490368}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19344541219517522550060608}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 19344514532140451072311296}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813289733594963490368}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813289733594963490368}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19344541219517522550060608}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342815299304156181427008}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813222465473576154688}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342813222465473576154688}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342815294519081577345856}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813217680398972073536}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342813217680398972073536}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342815294519081577345856}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813217680398972073536}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342813217680398972073536}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342919681783494441154112}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342919681783494441154112}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813217676293251774016}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342813217676293251774016}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813217676001193997888}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342813217676001193997888}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813217680467959985728}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342813217680467959985728}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19344514563924791164646976}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342813224174054361445952}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342813217676000943404608}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342813217676001198208576}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342813217680400066983488}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1182326748455340586560}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1182326748455340586560}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1182326748455340586560}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1182254695259349169728}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1182254695259349169728}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1182254695259349169728}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1182254695259349169728}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1182254695259349169728}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1182254695259349169728}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1182254691153628870208}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1182254691153628870208}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1182254690861571094080}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1182254690861571094080}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1182254690861571094080}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1182254690861571094080}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1182280684264947889728}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1182254690861320500800}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1182254690861302675008}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1182254690861575304768}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1225725945967114696256}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1225725945967114696256}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1225725941569336620608}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1225725941569336620608}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1225725941569336620608}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1225725941569336620608}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1225725941569139766848}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1225725941569068201536}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1225725941569068201536}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1606759427929484277312}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1606759427929215858240}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1606759427929215858240}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1736758004694791681474560}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1736758004694791681474560}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1392513216427589632000}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1392513216427589632000}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3472123424119959781900288}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3472123424119959781900288}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1736757932641595690057728}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1736757932641595690057728}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1736757932641595690057728}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1736757932641595690057728}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3402764559572562608128}, {"parameter": "", "name": "JohnsonLB", "value": 1298059359328569203228366842823495}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 316914387634455981337407455344}], "request": [4, 18, 6, 7], "liftedmrdsizebound": 1298081508721241902086633404238176, "comments": "", "equal_bound_constraints": []}