{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 117843461817939}, {"parameter": "", "name": "singleton", "value": 222984027123}, {"parameter": "4", "name": "ilp_2", "value": 115193999822}, {"parameter": "6", "name": "ilp_3", "value": 1870531139967}, {"parameter": "", "name": "anticode", "value": 115193999822}, {"parameter": "", "name": "linear_programming_bound", "value": 115193999822}, {"parameter": "", "name": "sphere_packing", "value": 117843461817939}, {"parameter": "1", "name": "ilp_1", "value": 114968901629}, {"parameter": "2", "name": "ilp_1", "value": 114968901629}, {"parameter": "3", "name": "ilp_1", "value": 114968901629}, {"parameter": "7", "name": "ilp_4", "value": 1811616773354}, {"parameter": "8", "name": "ilp_4", "value": 1810923663158}, {"parameter": "9", "name": "ilp_4", "value": 1810904673838}, {"parameter": "10", "name": "ilp_4", "value": 1810904673838}, {"parameter": "11", "name": "ilp_4", "value": 927901274157}, {"parameter": "12", "name": "ilp_4", "value": 458492231582}, {"parameter": "13", "name": "ilp_4", "value": 230610785133}, {"parameter": "", "name": "johnson_1", "value": 114968901629}, {"parameter": "", "name": "johnson_2", "value": 230610785133}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 117843461817939}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1870531139967}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1811616773354}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1810923663158}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1810904673838}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1810904673838}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 927901274157}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 458492231582}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 230610785133}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 115193999822}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 115303074720}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 115521845376}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 115961886688}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 116852103648}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 118674181085}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 122494293543}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 130923102044}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 151815954633}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 222984027123}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 117843461817939}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 115193999822}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 114968901629}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 114968901629}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 114968901629}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 1870531139967}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1900641005869}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1963865537911}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 2103832896236}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 2453571649308}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 3675639930963}, {"parameter": "", "name": "improved_johnson", "value": 114968901629}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 935254850820}], "known_codes": [], "upper_bound": 114968901629, "classified": false, "lower_bound": 76749681496, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 68719476736}, {"parameter": "", "name": "sphere_covering", "value": 3719454024}, {"parameter": "", "name": "graham_sloane", "value": 7193033133}, {"parameter": "", "name": "multicomponent", "value": 68988961793}, {"parameter": "", "name": "construction_ST_B", "value": 73529766708}, {"parameter": "q^36 + q^32 + q^30 + 8*q^28 + q^27 + q^26 + 3*q^25 + 2*q^24 + 3*q^23 + 5*q^22 + 5*q^21 + 9*q^20 + 3*q^19 + 5*q^18 + 5*q^17 + 9*q^16 + 5*q^15 + 7*q^14 + q^13 + 17*q^12 + 3*q^11 + 4*q^10 + 5*q^9 + 5*q^8 + 7*q^7 + 3*q^6 + 3*q^5 + q^4 + 2*q^3 + 2*q^2", "name": "greedy_multicomponent", "value": 76641774536}, {"parameter": "", "name": "EF_special", "value": 76745404672}, {"parameter": "[(777240, '(1,4), 8: 777240'), (397946880, '(1,4), 6: 397946880')]", "name": "coset_construction_parallelism_part", "value": 397946880}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 68759633672}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 73323036424}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 73529556992}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 76180471839}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 76749681496}, {"parameter": "", "name": "two_pivot_block_construction", "value": 73300705280}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 39194313143}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 73587069329}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 73554350920}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 73554096968}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5059185776}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 5058956400}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 11105256264}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 11105256264}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 22256541960}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 22256771336}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 39115349768}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 39115603720}, {"parameter": "(5, 9)", "name": "CKMP2019_Lem_41", "value": 73554088776}, {"parameter": "(6, 8)", "name": "CKMP2019_Lem_41", "value": 5058923632}, {"parameter": "(7, 7)", "name": "CKMP2019_Lem_41", "value": 11105125192}, {"parameter": "(8, 6)", "name": "CKMP2019_Lem_41", "value": 22256509192}, {"parameter": "(9, 5)", "name": "CKMP2019_Lem_41", "value": 39115341576}, {"parameter": "(5, 9)", "name": "CKMP2019_Cor_42", "value": 73554088776}, {"parameter": "(6, 8)", "name": "CKMP2019_Cor_42", "value": 5058923632}, {"parameter": "(7, 7)", "name": "CKMP2019_Cor_42", "value": 11105125192}, {"parameter": "(8, 6)", "name": "CKMP2019_Cor_42", "value": 22256509192}, {"parameter": "(9, 5)", "name": "CKMP2019_Cor_42", "value": 39115341576}, {"parameter": "5", "name": "linkage_GLT", "value": 68719514001}, {"parameter": "6", "name": "linkage_GLT", "value": 4294968622}, {"parameter": "7", "name": "linkage_GLT", "value": 11005853737}, {"parameter": "8", "name": "linkage_GLT", "value": 22246588417}, {"parameter": "9", "name": "linkage_GLT", "value": 39075184641}, {"parameter": "5", "name": "improved_linkage", "value": 69019246701}, {"parameter": "6", "name": "improved_linkage", "value": 4313695339}, {"parameter": "7", "name": "improved_linkage", "value": 11007032520}, {"parameter": "8", "name": "improved_linkage", "value": 22246625681}, {"parameter": "9", "name": "improved_linkage", "value": 39075185966}, {"parameter": "10", "name": "improved_linkage", "value": 38627704873}, {"parameter": "11", "name": "improved_linkage", "value": 19177516033}, {"parameter": "12", "name": "improved_linkage", "value": 9592638881}, {"parameter": "5,0", "name": "generalized_linkage", "value": 73554088776}, {"parameter": "5,1", "name": "generalized_linkage", "value": 69999679600}, {"parameter": "5,2", "name": "generalized_linkage", "value": 68850573037}, {"parameter": "5,3", "name": "generalized_linkage", "value": 69019246701}, {"parameter": "6,0", "name": "generalized_linkage", "value": 5058923632}, {"parameter": "6,1", "name": "generalized_linkage", "value": 4474062886}, {"parameter": "6,2", "name": "generalized_linkage", "value": 4312649656}, {"parameter": "6,3", "name": "generalized_linkage", "value": 4313695339}, {"parameter": "7,0", "name": "generalized_linkage", "value": 11105125192}, {"parameter": "7,1", "name": "generalized_linkage", "value": 11018803412}, {"parameter": "7,2", "name": "generalized_linkage", "value": 11007008911}, {"parameter": "7,3", "name": "generalized_linkage", "value": 11007032520}, {"parameter": "8,0", "name": "generalized_linkage", "value": 22256509192}, {"parameter": "8,1", "name": "generalized_linkage", "value": 22247395542}, {"parameter": "8,2", "name": "generalized_linkage", "value": 22246629522}, {"parameter": "8,3", "name": "generalized_linkage", "value": 22246625681}, {"parameter": "9,0", "name": "generalized_linkage", "value": 39115341576}, {"parameter": "9,1", "name": "generalized_linkage", "value": 39075224166}, {"parameter": "9,2", "name": "generalized_linkage", "value": 39075185911}, {"parameter": "9,3", "name": "generalized_linkage", "value": 39075185966}, {"parameter": "10,1", "name": "generalized_linkage", "value": 38627784038}, {"parameter": "10,2", "name": "generalized_linkage", "value": 38627704863}, {"parameter": "10,3", "name": "generalized_linkage", "value": 38627704873}, {"parameter": "11,2", "name": "generalized_linkage", "value": 19177516063}, {"parameter": "11,3", "name": "generalized_linkage", "value": 19177516033}, {"parameter": "12,3", "name": "generalized_linkage", "value": 9592638881}, {"parameter": "[5, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73554088776}, {"parameter": "[5, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 69999679600}, {"parameter": "[5, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68850573037}, {"parameter": "[5, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 69019246701}, {"parameter": "[6, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5058923632}, {"parameter": "[6, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4474062886}, {"parameter": "[6, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4312649656}, {"parameter": "[6, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4313695339}, {"parameter": "[7, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11105125192}, {"parameter": "[7, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11018803412}, {"parameter": "[7, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11007008911}, {"parameter": "[7, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11007032520}, {"parameter": "[8, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22256509192}, {"parameter": "[8, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22247395542}, {"parameter": "[8, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22246629522}, {"parameter": "[8, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22246625681}, {"parameter": "[9, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 39115341576}, {"parameter": "[9, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 39075224166}, {"parameter": "[9, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 39075185911}, {"parameter": "[9, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 39075185966}, {"parameter": "[10, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 38627784038}, {"parameter": "[10, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 38627704863}, {"parameter": "[10, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 38627704873}, {"parameter": "[11, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19177516063}, {"parameter": "[11, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19177516033}, {"parameter": "[12, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9592638881}, {"parameter": "[5, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 9028583680}, {"parameter": "[5, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9030399984}, {"parameter": "[5, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 13692982088}, {"parameter": "[5, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 17430159360}, {"parameter": "[5, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 17467523328}, {"parameter": "[5, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17469339632}, {"parameter": "[5, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22131921736}, {"parameter": "[5, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 17329496064}, {"parameter": "[5, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 17366860032}, {"parameter": "[5, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17368676336}, {"parameter": "[5, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22031258440}, {"parameter": "[5, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 37207893440}, {"parameter": "[5, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35526774352}, {"parameter": "[5, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 35514449432}, {"parameter": "[5, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 35670521840}, {"parameter": "[5, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 36076479936}, {"parameter": "[5, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34395360848}, {"parameter": "[5, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34383035928}, {"parameter": "[5, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 34539108336}, {"parameter": "[5, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 36112131520}, {"parameter": "[5, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 34431012432}, {"parameter": "[5, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 34418687512}, {"parameter": "[5, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 34574759920}, {"parameter": "[5, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 38751820912}, {"parameter": "[5, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 38611835768}, {"parameter": "[5, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 38616246792}, {"parameter": "[5, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34536217712}, {"parameter": "[5, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34396232568}, {"parameter": "[5, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 34400643592}, {"parameter": "[5, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34510036080}, {"parameter": "[5, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34370050936}, {"parameter": "[5, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 34374461960}, {"parameter": "[5, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 34544082032}, {"parameter": "[5, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 34404096888}, {"parameter": "[5, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 34408507912}, {"parameter": "[5, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 17314664888}, {"parameter": "[5, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17312848584}, {"parameter": "[5, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 17227409848}, {"parameter": "[5, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 17225593544}, {"parameter": "[5, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17191319992}, {"parameter": "[5, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17189503688}, {"parameter": "[5, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17219974584}, {"parameter": "[5, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17218158280}, {"parameter": "[5, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8760277960}, {"parameter": "[5, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 8636145480}, {"parameter": "[5, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8598411688}, {"parameter": "[5, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8627786696}, {"parameter": "[6, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 572084480}, {"parameter": "[6, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 577269704}, {"parameter": "[6, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1317604464}, {"parameter": "[6, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1679433728}, {"parameter": "[6, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1107906816}, {"parameter": "[6, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1113092040}, {"parameter": "[6, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1853426800}, {"parameter": "[6, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1664753664}, {"parameter": "[6, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1093226752}, {"parameter": "[6, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1098411976}, {"parameter": "[6, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1838746736}, {"parameter": "[6, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1356822480}, {"parameter": "[6, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1232953240}, {"parameter": "[6, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1254846408}, {"parameter": "[6, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1199830992}, {"parameter": "[6, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075961752}, {"parameter": "[6, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1097854920}, {"parameter": "[6, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1200682960}, {"parameter": "[6, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1076813720}, {"parameter": "[6, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1098706888}, {"parameter": "[6, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1667738040}, {"parameter": "[6, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1664281224}, {"parameter": "[6, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1082696120}, {"parameter": "[6, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1079239304}, {"parameter": "[6, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1078404536}, {"parameter": "[6, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1074947720}, {"parameter": "[6, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1079132600}, {"parameter": "[6, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1075675784}, {"parameter": "[6, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 555883400}, {"parameter": "[6, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 543752520}, {"parameter": "[6, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 538083528}, {"parameter": "[6, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 538639528}, {"parameter": "[7, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1454260480}, {"parameter": "[7, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1379201544}, {"parameter": "[7, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1476051784}, {"parameter": "[7, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1454227712}, {"parameter": "[7, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1379168776}, {"parameter": "[7, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1476019016}, {"parameter": "[7, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1453244672}, {"parameter": "[7, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1378185736}, {"parameter": "[7, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1475035976}, {"parameter": "[7, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1392995864}, {"parameter": "[7, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1388153352}, {"parameter": "[7, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1383027224}, {"parameter": "[7, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1378184712}, {"parameter": "[7, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1383037464}, {"parameter": "[7, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1378194952}, {"parameter": "[7, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1455633160}, {"parameter": "[7, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1378465480}, {"parameter": "[7, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1378193640}, {"parameter": "[7, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1378195400}, {"parameter": "[8, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1400365320}, {"parameter": "[8, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1400365320}, {"parameter": "[8, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1400364296}, {"parameter": "[8, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1400364296}, {"parameter": "[8, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1400333576}, {"parameter": "[8, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1400333576}, {"parameter": "[8, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1400962504}, {"parameter": "[8, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1400333544}, {"parameter": "[8, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1400333864}, {"parameter": "[9, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1261257480}, {"parameter": "[9, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1261257448}, {"parameter": "[9, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1261256488}, {"parameter": "[5, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5491335168}, {"parameter": "[5, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5362637056}, {"parameter": "[5, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5528699136}, {"parameter": "[5, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1252600576}, {"parameter": "[5, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244297472}, {"parameter": "[5, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1252600576}, {"parameter": "[5, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244297472}, {"parameter": "[5, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244297472}, {"parameter": "[5, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1115599360}, {"parameter": "[5, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1281661440}, {"parameter": "[5, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5465120768}, {"parameter": "[5, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5465120768}, {"parameter": "[5, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5458829312}, {"parameter": "[5, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5458829312}, {"parameter": "[5, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1346781184}, {"parameter": "[5, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1346781184}, {"parameter": "[5, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1346781184}, {"parameter": "[5, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1346781184}, {"parameter": "[5, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1340489728}, {"parameter": "[5, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1340489728}, {"parameter": "[5, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1340489728}, {"parameter": "[5, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1340489728}, {"parameter": "[5, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1346781184}, {"parameter": "[5, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1218083072}, {"parameter": "[5, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1384145152}, {"parameter": "[5, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1340489728}, {"parameter": "[5, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1211791616}, {"parameter": "[5, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1377853696}, {"parameter": "[5, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2951579072}, {"parameter": "[5, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916222400}, {"parameter": "[5, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2917336512}, {"parameter": "[5, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2831184064}, {"parameter": "[5, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2822880960}, {"parameter": "[5, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2795827392}, {"parameter": "[5, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787524288}, {"parameter": "[5, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2796941504}, {"parameter": "[5, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2788638400}, {"parameter": "[6, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 643002624}, {"parameter": "[6, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 643002624}, {"parameter": "[6, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 71475712}, {"parameter": "[6, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 71475712}, {"parameter": "[6, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1213972480}, {"parameter": "[6, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1213513728}, {"parameter": "[6, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 642445568}, {"parameter": "[6, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 642445568}, {"parameter": "[6, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 641986816}, {"parameter": "[6, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 641986816}, {"parameter": "[7, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 197984768}, {"parameter": "", "name": "JohnsonLB", "value": 75509879140}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2518362506}], "request": [2, 14, 4, 5], "liftedmrdsizebound": 84480508083, "comments": "", "equal_bound_constraints": []}