{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1546675492323688689677277254864590473}, {"parameter": "", "name": "singleton", "value": 92186229916592298695053497993}, {"parameter": "4", "name": "ilp_2", "value": 80665413490915554155830256193}, {"parameter": "6", "name": "ilp_3", "value": 41300848949870188514440365693732}, {"parameter": "", "name": "anticode", "value": 80665413490915554155830256193}, {"parameter": "", "name": "linear_programming_bound", "value": 80665413490915554155830256193}, {"parameter": "", "name": "sphere_packing", "value": 1546675492323688689677277254864590473}, {"parameter": "1", "name": "ilp_1", "value": 80665413490913579432812552264}, {"parameter": "2", "name": "ilp_1", "value": 80665413490913579432812552264}, {"parameter": "3", "name": "ilp_1", "value": 80665413490915554155830256193}, {"parameter": "7", "name": "ilp_4", "value": 41292026132471945925111095038528}, {"parameter": "8", "name": "ilp_4", "value": 41292025900558456551279866541525}, {"parameter": "9", "name": "ilp_4", "value": 41292025900551392936318184005640}, {"parameter": "10", "name": "ilp_4", "value": 41292025900551392936318184005640}, {"parameter": "11", "name": "ilp_4", "value": 5162588886668542621747761979968}, {"parameter": "12", "name": "ilp_4", "value": 645321187583494289120939184711}, {"parameter": "", "name": "johnson_1", "value": 80665413490913579432812552264}, {"parameter": "", "name": "johnson_2", "value": 645321187583494289120939184711}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1546675492323688689677277254864590473}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 41300848949870188514440365693732}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 41292026132471945925111095038528}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 41292025900558456551279866541525}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 41292025900551392936318184005640}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 41292025900551392936318184005640}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 5162588886668542621747761979968}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 645321187583494289120939184711}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 80665413490915554155830256193}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 80665417697046211188334033241}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 80665451346107258491931974690}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 80665720539606267555948088109}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 80667874152280670394911296074}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 80685107194353752218316234962}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 80823237051795334606101599026}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 81945538396394380567484938022}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 92186229916592298695053497993}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 1546675492323688689677277254864590473}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 80665413490915554155830256193}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 80665413490915554155830256193}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 80665413490913579432812552264}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 80665413490913579432812552264}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 41300848949870188514440365693732}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 41301951834716304514971940290609}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 41310777034416743761419792540276}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 41381514636753305307523387754276}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 41956257651990068937119099945232}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 47200787357710533846587480462985}, {"parameter": "", "name": "improved_johnson", "value": 80665413490913579432812552257}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 5162588886668542617890882888269}], "known_codes": [], "upper_bound": 80665413490913579432812552257, "classified": false, "lower_bound": 79250225206295830772754017635, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 79228162514264337593543950336}, {"parameter": "", "name": "sphere_covering", "value": 17232518200608034861853030}, {"parameter": "", "name": "graham_sloane", "value": 19693704318861845480677953}, {"parameter": "", "name": "multicomponent", "value": 79228167236630855647561285633}, {"parameter": "", "name": "construction_ST_B", "value": 79247514701748005466584157579}, {"parameter": "", "name": "EF_special", "value": 79247846163915655208442806985}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 79228162599906953842620211712}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 79247510135387270779060724224}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 79247514701747741246523179008}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 79247823792828980096726471241}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 79247846163928378274466378432}, {"parameter": "", "name": "two_pivot_block_construction", "value": 79247510050897857509568020480}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1238290161368911894744075639}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 79247514774417543428590314633}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 79228512636348150689439658496}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 79228512636347869283182424576}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 19343508793142031258853888}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 19343508792864954328654336}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 157165080254514739649552896}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 157165080254791816579752448}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1238290918589595794990014976}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1238290918589877201247248896}, {"parameter": "(5, 8)", "name": "CKMP2019_Lem_41", "value": 79228512636347869214462947840}, {"parameter": "(6, 7)", "name": "CKMP2019_Lem_41", "value": 19343508792860556282143232}, {"parameter": "(7, 6)", "name": "CKMP2019_Lem_41", "value": 157165080254510341603041792}, {"parameter": "(8, 5)", "name": "CKMP2019_Lem_41", "value": 1238290918589595726270538240}, {"parameter": "(5, 8)", "name": "CKMP2019_Cor_42", "value": 79228512636347869214462947840}, {"parameter": "(6, 7)", "name": "CKMP2019_Cor_42", "value": 19343508792860556282143232}, {"parameter": "(7, 6)", "name": "CKMP2019_Cor_42", "value": 157165080254510341603041792}, {"parameter": "(8, 5)", "name": "CKMP2019_Cor_42", "value": 1238290918589595726270538240}, {"parameter": "5", "name": "linkage_GLT", "value": 79228162514264337594617996425}, {"parameter": "6", "name": "linkage_GLT", "value": 19342813113834066795332097}, {"parameter": "7", "name": "linkage_GLT", "value": 157165078916384662357016577}, {"parameter": "8", "name": "linkage_GLT", "value": 1238290832946979477194276865}, {"parameter": "5", "name": "improved_linkage", "value": 79228167237948349003092322968}, {"parameter": "6", "name": "improved_linkage", "value": 19342814267081555762848256}, {"parameter": "7", "name": "improved_linkage", "value": 157165078916419855603345959}, {"parameter": "8", "name": "improved_linkage", "value": 1238290832946979478268322953}, {"parameter": "9", "name": "improved_linkage", "value": 1238252273866932460407783937}, {"parameter": "10", "name": "improved_linkage", "value": 1238290062327436412515778561}, {"parameter": "11", "name": "improved_linkage", "value": 154785677685868081074405377}, {"parameter": "5,0", "name": "generalized_linkage", "value": 79228512636347869214462947840}, {"parameter": "5,1", "name": "generalized_linkage", "value": 79228167986089724030156430664}, {"parameter": "5,2", "name": "generalized_linkage", "value": 79228162598451404288175059456}, {"parameter": "5,3", "name": "generalized_linkage", "value": 79228167237948349003092322968}, {"parameter": "6,0", "name": "generalized_linkage", "value": 19343508792860556282143232}, {"parameter": "6,1", "name": "generalized_linkage", "value": 19342823821913816213836600}, {"parameter": "6,2", "name": "generalized_linkage", "value": 19342813134422115897987871}, {"parameter": "6,3", "name": "generalized_linkage", "value": 19342814267081555762848256}, {"parameter": "7,0", "name": "generalized_linkage", "value": 157165080254510341603041792}, {"parameter": "7,1", "name": "generalized_linkage", "value": 157165078919039186197695352}, {"parameter": "7,2", "name": "generalized_linkage", "value": 157165078916389689966759185}, {"parameter": "7,3", "name": "generalized_linkage", "value": 157165078916419855603345959}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1238290918589595726270538240}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1238290832946980115283925880}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1238290832946979477350065225}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1238290832946979478268322953}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1238252273866937565127072632}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1238252273866932460407755337}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1238252273866932460407783937}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1238290062327436412515783241}, {"parameter": "10,3", "name": "generalized_linkage", "value": 1238290062327436412515778561}, {"parameter": "11,3", "name": "generalized_linkage", "value": 154785677685868081074405377}, {"parameter": "[5, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79228512636347869214462947840}, {"parameter": "[5, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228167986089724030156430664}, {"parameter": "[5, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228162598451404288175059456}, {"parameter": "[5, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228167237948349003092322968}, {"parameter": "[6, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19343508792860556282143232}, {"parameter": "[6, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342823821913816213836600}, {"parameter": "[6, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813134422115897987871}, {"parameter": "[6, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342814267081555762848256}, {"parameter": "[7, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 157165080254510341603041792}, {"parameter": "[7, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 157165078919039186197695352}, {"parameter": "[7, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 157165078916389689966759185}, {"parameter": "[7, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 157165078916419855603345959}, {"parameter": "[8, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238290918589595726270538240}, {"parameter": "[8, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238290832946980115283925880}, {"parameter": "[8, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238290832946979477350065225}, {"parameter": "[8, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290832946979478268322953}, {"parameter": "[9, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238252273866937565127072632}, {"parameter": "[9, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238252273866932460407755337}, {"parameter": "[9, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238252273866932460407783937}, {"parameter": "[10, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238290062327436412515783241}, {"parameter": "[10, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290062327436412515778561}, {"parameter": "[11, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 154785677685868081074405377}, {"parameter": "[5, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 154747237959006537459433472}, {"parameter": "[5, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 154747238126236445646103040}, {"parameter": "[5, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 155097349360687024926601728}, {"parameter": "[5, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238290146346591060739751936}, {"parameter": "[5, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940134130501244650782720}, {"parameter": "[5, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940134297731152837452288}, {"parameter": "[5, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290245532181732117950976}, {"parameter": "[5, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238290063336242729046769664}, {"parameter": "[5, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940051120152912957800448}, {"parameter": "[5, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940051287382821144470016}, {"parameter": "[5, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290162521833400424968704}, {"parameter": "[5, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237946289482666850875240448}, {"parameter": "[5, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237945509733938831236968960}, {"parameter": "[5, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237945520580086014837105152}, {"parameter": "[5, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940819039610611738243072}, {"parameter": "[5, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039290882592099971584}, {"parameter": "[5, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940050137029775700107776}, {"parameter": "[5, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940820208013240064176128}, {"parameter": "[5, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040459285220425904640}, {"parameter": "[5, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940051305432404026040832}, {"parameter": "[5, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238290062207118072973308416}, {"parameter": "[5, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290062183647208666407424}, {"parameter": "[5, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039476121875162804736}, {"parameter": "[5, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940039452651010855903744}, {"parameter": "[5, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039311785793152561664}, {"parameter": "[5, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940039288314928845660672}, {"parameter": "[5, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040462425330095436288}, {"parameter": "[5, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438954465788535296}, {"parameter": "[5, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 154742515592849652040704512}, {"parameter": "[5, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 154742505080556876814459392}, {"parameter": "[5, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 154742504913567705572712960}, {"parameter": "[5, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 154742506064210814310097408}, {"parameter": "[6, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 38465040475096289902592}, {"parameter": "[6, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 37780105687650569658880}, {"parameter": "[6, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 38475763810951255400960}, {"parameter": "[6, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 38463908136449355022336}, {"parameter": "[6, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778973349003634778624}, {"parameter": "[6, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 38474631472304320520704}, {"parameter": "[6, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 38463887588776055144448}, {"parameter": "[6, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778952801330334900736}, {"parameter": "[6, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 38474610924631020642816}, {"parameter": "[6, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37789825037928997761536}, {"parameter": "[6, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 37789657812418588942848}, {"parameter": "[6, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37779119992284510597632}, {"parameter": "[6, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37778952766774101778944}, {"parameter": "[6, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 37779120027391573275136}, {"parameter": "[6, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37778952801881164456448}, {"parameter": "[6, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 38463908456780484157952}, {"parameter": "[6, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 37778953092838048768512}, {"parameter": "[6, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37778952766783935619584}, {"parameter": "[6, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37778952801340305056256}, {"parameter": "[7, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 38371718755684092322304}, {"parameter": "[7, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 38371718755684092322304}, {"parameter": "[7, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 38371718725525905711616}, {"parameter": "[7, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 38371718725525905711616}, {"parameter": "[7, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 38371718720500793975296}, {"parameter": "[7, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 38371718720500793975296}, {"parameter": "[7, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 38371721334106198745600}, {"parameter": "[7, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 38371718720499873620480}, {"parameter": "[7, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 38371718720500810785280}, {"parameter": "[8, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 37875279852180920181248}, {"parameter": "[8, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37875279852179999826432}, {"parameter": "[8, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37875279852179846472192}, {"parameter": "[5, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 387813664576544761184256}, {"parameter": "[5, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 387813664576544761184256}, {"parameter": "[5, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 37801448486728672215040}, {"parameter": "[5, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37801448486728672215040}, {"parameter": "[5, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 737824730313315405791232}, {"parameter": "[5, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 737824727780040615395328}, {"parameter": "[5, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 387812514223499316822016}, {"parameter": "[5, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 387812514223499316822016}, {"parameter": "[5, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 387812511690224526426112}, {"parameter": "[5, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 387812511690224526426112}, {"parameter": "[6, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1371064337958021627904}, {"parameter": "", "name": "JohnsonLB", "value": 79250225206295830772754017635}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 19348369205268105432764424}], "request": [8, 13, 4, 5], "liftedmrdsizebound": 79251014290562843017226151056, "comments": "", "equal_bound_constraints": []}