{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 252837102920174710815258157966943521953179933604}, {"parameter": "", "name": "singleton", "value": 791260251657}, {"parameter": "1", "name": "ilp_2", "value": 678505665796}, {"parameter": "2", "name": "ilp_2", "value": 461523747887016228848203}, {"parameter": "3", "name": "ilp_2", "value": 319537222286474688304599655355139972}, {"parameter": "5", "name": "ilp_3", "value": 90266727211772477977600199202764556213202404}, {"parameter": "6", "name": "ilp_3", "value": 36828530074162577714239167361389047822604}, {"parameter": "7", "name": "ilp_3", "value": 15294128636260933356489159311358806661}, {"parameter": "", "name": "anticode", "value": 678505665796}, {"parameter": "", "name": "linear_programming_bound", "value": 678505665796}, {"parameter": "", "name": "sphere_packing", "value": 798843055717193780002007180633154}, {"parameter": "", "name": "DrakeFreeman", "value": 678505665772}, {"parameter": "", "name": "partial_spread_5", "value": 678505665795}, {"parameter": "2", "name": "partial_spread_HKK16_T10", "value": 678505665772}, {"parameter": "3", "name": "partial_spread_HKK16_T10", "value": 678505665769}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 678505665772}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 678505665779}, {"parameter": "", "name": "spread_bound", "value": 678505665796}, {"parameter": "", "name": "XiaFuJohnson1", "value": 678505665796}, {"parameter": "8", "name": "ilp_4", "value": 15294128636260933356489159311358806661}, {"parameter": "9", "name": "ilp_4", "value": 44570733858386003609922833149749271}, {"parameter": "10", "name": "ilp_4", "value": 129959292885173608823380512134417}, {"parameter": "11", "name": "ilp_4", "value": 378900646518146090122694724562}, {"parameter": "12", "name": "ilp_4", "value": 1104887884291631400042869768}, {"parameter": "13", "name": "ilp_4", "value": 3221246917523027849408306}, {"parameter": "14", "name": "ilp_4", "value": 9391390895357324178798}, {"parameter": "15", "name": "ilp_4", "value": 27380148701315566671}, {"parameter": "16", "name": "ilp_4", "value": 79825513076174796}, {"parameter": "17", "name": "ilp_4", "value": 232727443353964}, {"parameter": "", "name": "johnson_1", "value": 678505665796}, {"parameter": "", "name": "johnson_2", "value": 232727443353964}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 252837102920174710815258157966943521953179933604}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 90266727211772477977600199202764556213202404}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 36828530074162577714239167361389047822604}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 15294128636260933356489159311358806661}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 15294128636260933356489159311358806661}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 44570733858386003609922833149749271}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 129959292885173608823380512134417}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 378900646518146090122694724562}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1104887884291631400042869768}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 3221246917523027849408306}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 9391390895357324178798}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 27380148701315566671}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 79825513076174796}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 232727443353964}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 319537222286474688304599655355139972}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 798843055717193780002007180633154}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 2281593875685093023022162287605}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 2281593875826030981719414318979}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 46427830699055779565414526980}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 948464820803108207838264169}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 19384024790234050187332765}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 395589048656307374881233}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 8073278010814716234268}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 164762657059775335876}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 3362674188488995108}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 68650452423617123}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1404532206796077}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 29174472115545}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 680206181225}, {"parameter": "2, 2", "name": "Ahlswede_Aydinian", "value": 461523747887016228848203}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 8096907857678440984787}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 8096907857758868195188}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1133624914573188181098}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 164771063244905084917}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 23529120168362790749}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 3362478858844638776}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 480350203270420888}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 68622027551544906}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 9803225320759145}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1400541162259123}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 200157539044019}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 28674394438021}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 4178440540657}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 692352720200}, {"parameter": "3, 1", "name": "Ahlswede_Aydinian", "value": 678505665796}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 678505665796}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 678505665803}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 678505665845}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 678505666145}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 678505668240}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 678505682910}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 678505785595}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 678506504395}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 678511536028}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 678546759262}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 678793410208}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 680524304586}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 692856891645}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 791260251657}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 252837102920174710815258157966943521953179933604}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 319537222286474688304599655355139972}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 461523747887016228848203}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 678505665796}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 90266727211772477977600199202764556213202404}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 798843055717193780002007180633154}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 8096907857678440984787}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 8241495497482454544230}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 9418851997110654316401}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 36828530074162577714239167361389047822604}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 2281593875685093023022162287605}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 2288129053273473535817969004945}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 2334825564561809694034270164470}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 2716021575074482687831865959004}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 15294128636260933356489159311358806661}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 15300482610983155064959478393792766524}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 15345090431987029415412968424674489780}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 15663847776824900779105251606697732236}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 18266877872505055585959373506477770853}, {"parameter": "", "name": "improved_johnson", "value": 678505665783}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1341707228435295197671}], "known_codes": [], "upper_bound": 678505665769, "classified": false, "lower_bound": 678505665748, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 678223072849}, {"parameter": "", "name": "sphere_covering", "value": 1696264165}, {"parameter": "", "name": "graham_sloane", "value": 352}, {"parameter": "", "name": "partial_spread_3", "value": 678505665748}, {"parameter": "", "name": "multicomponent", "value": 678505665748}, {"parameter": "[(0, 1, 2, 3), (4, 5, 6, 7), (8, 9, 10, 11), (12, 13, 14, 15)]", "name": "ef_computation", "value": 678505665748}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 678223072849}, {"parameter": "(4, 14)", "name": "CKMP2019_Lem_41", "value": 678505665748}, {"parameter": "(5, 13)", "name": "CKMP2019_Lem_41", "value": 96929380822}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 13847054404}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 1978150287}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 678505665748}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 678263443264}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 678228840052}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 678223896393}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 678505665748}, {"parameter": "(13, 5)", "name": "CKMP2019_Lem_41", "value": 678505564906}, {"parameter": "(14, 4)", "name": "CKMP2019_Lem_41", "value": 678505550500}, {"parameter": "(4, 4, 10)", "name": "CKMP2019_Lem_41", "value": 678505665748}, {"parameter": "(4, 5, 9)", "name": "CKMP2019_Lem_41", "value": 678263443264}, {"parameter": "(4, 6, 8)", "name": "CKMP2019_Lem_41", "value": 678228840052}, {"parameter": "(4, 7, 7)", "name": "CKMP2019_Lem_41", "value": 678223896393}, {"parameter": "(4, 8, 6)", "name": "CKMP2019_Lem_41", "value": 678505665748}, {"parameter": "(4, 9, 5)", "name": "CKMP2019_Lem_41", "value": 678505564906}, {"parameter": "(4, 10, 4)", "name": "CKMP2019_Lem_41", "value": 678505550500}, {"parameter": "(5, 4, 9)", "name": "CKMP2019_Lem_41", "value": 96929380822}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Lem_41", "value": 96894777610}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Lem_41", "value": 96889833951}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Lem_41", "value": 96889128057}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Lem_41", "value": 96929380822}, {"parameter": "(5, 9, 4)", "name": "CKMP2019_Lem_41", "value": 96929366416}, {"parameter": "(6, 4, 8)", "name": "CKMP2019_Lem_41", "value": 13847054404}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Lem_41", "value": 13842110745}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 13841404851}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Lem_41", "value": 13841304009}, {"parameter": "(6, 8, 4)", "name": "CKMP2019_Lem_41", "value": 13847054404}, {"parameter": "(7, 4, 7)", "name": "CKMP2019_Lem_41", "value": 1978150287}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Lem_41", "value": 1977444393}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Lem_41", "value": 1977343551}, {"parameter": "(7, 7, 4)", "name": "CKMP2019_Lem_41", "value": 1977329145}, {"parameter": "(8, 4, 6)", "name": "CKMP2019_Lem_41", "value": 678505665748}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Lem_41", "value": 678505564906}, {"parameter": "(8, 6, 4)", "name": "CKMP2019_Lem_41", "value": 678505550500}, {"parameter": "(9, 4, 5)", "name": "CKMP2019_Lem_41", "value": 678263443264}, {"parameter": "(9, 5, 4)", "name": "CKMP2019_Lem_41", "value": 678263428858}, {"parameter": "(10, 4, 4)", "name": "CKMP2019_Lem_41", "value": 678228840052}, {"parameter": "(4, 4, 4, 6)", "name": "CKMP2019_Lem_41", "value": 678505665748}, {"parameter": "(4, 4, 5, 5)", "name": "CKMP2019_Lem_41", "value": 678505564906}, {"parameter": "(4, 4, 6, 4)", "name": "CKMP2019_Lem_41", "value": 678505550500}, {"parameter": "(4, 5, 4, 5)", "name": "CKMP2019_Lem_41", "value": 678263443264}, {"parameter": "(4, 5, 5, 4)", "name": "CKMP2019_Lem_41", "value": 678263428858}, {"parameter": "(4, 6, 4, 4)", "name": "CKMP2019_Lem_41", "value": 678228840052}, {"parameter": "(5, 4, 4, 5)", "name": "CKMP2019_Lem_41", "value": 96929380822}, {"parameter": "(5, 4, 5, 4)", "name": "CKMP2019_Lem_41", "value": 96929366416}, {"parameter": "(5, 5, 4, 4)", "name": "CKMP2019_Lem_41", "value": 96894777610}, {"parameter": "(6, 4, 4, 4)", "name": "CKMP2019_Lem_41", "value": 13847054404}, {"parameter": "(4, 14)", "name": "CKMP2019_Cor_42", "value": 678505665748}, {"parameter": "(5, 13)", "name": "CKMP2019_Cor_42", "value": 96929380822}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 13847054404}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 1978150287}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 678505665748}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 678263443264}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 678228840052}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 678223896393}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 678505665748}, {"parameter": "(13, 5)", "name": "CKMP2019_Cor_42", "value": 678505564906}, {"parameter": "(14, 4)", "name": "CKMP2019_Cor_42", "value": 678505550500}, {"parameter": "(4, 4, 10)", "name": "CKMP2019_Cor_42", "value": 678505665748}, {"parameter": "(4, 5, 9)", "name": "CKMP2019_Cor_42", "value": 678263443264}, {"parameter": "(4, 6, 8)", "name": "CKMP2019_Cor_42", "value": 678228840052}, {"parameter": "(4, 7, 7)", "name": "CKMP2019_Cor_42", "value": 678223896393}, {"parameter": "(4, 8, 6)", "name": "CKMP2019_Cor_42", "value": 678505665748}, {"parameter": "(4, 9, 5)", "name": "CKMP2019_Cor_42", "value": 678505564906}, {"parameter": "(4, 10, 4)", "name": "CKMP2019_Cor_42", "value": 678505550500}, {"parameter": "(5, 4, 9)", "name": "CKMP2019_Cor_42", "value": 96929380822}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Cor_42", "value": 96894777610}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Cor_42", "value": 96889833951}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Cor_42", "value": 96889128057}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Cor_42", "value": 96929380822}, {"parameter": "(5, 9, 4)", "name": "CKMP2019_Cor_42", "value": 96929366416}, {"parameter": "(6, 4, 8)", "name": "CKMP2019_Cor_42", "value": 13847054404}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Cor_42", "value": 13842110745}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 13841404851}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Cor_42", "value": 13841304009}, {"parameter": "(6, 8, 4)", "name": "CKMP2019_Cor_42", "value": 13847054404}, {"parameter": "(7, 4, 7)", "name": "CKMP2019_Cor_42", "value": 1978150287}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Cor_42", "value": 1977444393}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Cor_42", "value": 1977343551}, {"parameter": "(7, 7, 4)", "name": "CKMP2019_Cor_42", "value": 1977329145}, {"parameter": "(8, 4, 6)", "name": "CKMP2019_Cor_42", "value": 678505665748}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Cor_42", "value": 678505564906}, {"parameter": "(8, 6, 4)", "name": "CKMP2019_Cor_42", "value": 678505550500}, {"parameter": "(9, 4, 5)", "name": "CKMP2019_Cor_42", "value": 678263443264}, {"parameter": "(9, 5, 4)", "name": "CKMP2019_Cor_42", "value": 678263428858}, {"parameter": "(10, 4, 4)", "name": "CKMP2019_Cor_42", "value": 678228840052}, {"parameter": "(4, 4, 4, 6)", "name": "CKMP2019_Cor_42", "value": 678505665748}, {"parameter": "(4, 4, 5, 5)", "name": "CKMP2019_Cor_42", "value": 678505564906}, {"parameter": "(4, 4, 6, 4)", "name": "CKMP2019_Cor_42", "value": 678505550500}, {"parameter": "(4, 5, 4, 5)", "name": "CKMP2019_Cor_42", "value": 678263443264}, {"parameter": "(4, 5, 5, 4)", "name": "CKMP2019_Cor_42", "value": 678263428858}, {"parameter": "(4, 6, 4, 4)", "name": "CKMP2019_Cor_42", "value": 678228840052}, {"parameter": "(5, 4, 4, 5)", "name": "CKMP2019_Cor_42", "value": 96929380822}, {"parameter": "(5, 4, 5, 4)", "name": "CKMP2019_Cor_42", "value": 96929366416}, {"parameter": "(5, 5, 4, 4)", "name": "CKMP2019_Cor_42", "value": 96894777610}, {"parameter": "(6, 4, 4, 4)", "name": "CKMP2019_Cor_42", "value": 13847054404}, {"parameter": "4", "name": "linkage_GLT", "value": 678505665748}, {"parameter": "5", "name": "linkage_GLT", "value": 96929380822}, {"parameter": "6", "name": "linkage_GLT", "value": 13847054404}, {"parameter": "7", "name": "linkage_GLT", "value": 1978150287}, {"parameter": "8", "name": "linkage_GLT", "value": 678505665748}, {"parameter": "9", "name": "linkage_GLT", "value": 678263443264}, {"parameter": "10", "name": "linkage_GLT", "value": 678228840052}, {"parameter": "11", "name": "linkage_GLT", "value": 678223896393}, {"parameter": "12", "name": "linkage_GLT", "value": 678505665748}, {"parameter": "13", "name": "linkage_GLT", "value": 678505564906}, {"parameter": "14", "name": "linkage_GLT", "value": 678505550500}, {"parameter": "4", "name": "improved_linkage", "value": 678505665748}, {"parameter": "5", "name": "improved_linkage", "value": 96929380822}, {"parameter": "6", "name": "improved_linkage", "value": 13847054404}, {"parameter": "7", "name": "improved_linkage", "value": 1978150287}, {"parameter": "8", "name": "improved_linkage", "value": 678505665748}, {"parameter": "9", "name": "improved_linkage", "value": 678263443264}, {"parameter": "10", "name": "improved_linkage", "value": 678228840052}, {"parameter": "11", "name": "improved_linkage", "value": 678223896393}, {"parameter": "12", "name": "improved_linkage", "value": 678505665748}, {"parameter": "13", "name": "improved_linkage", "value": 678505564906}, {"parameter": "14", "name": "improved_linkage", "value": 678505550500}, {"parameter": "4,0", "name": "generalized_linkage", "value": 678505665748}, {"parameter": "5,0", "name": "generalized_linkage", "value": 96929380822}, {"parameter": "6,0", "name": "generalized_linkage", "value": 13847054404}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1978150287}, {"parameter": "8,0", "name": "generalized_linkage", "value": 678505665748}, {"parameter": "9,0", "name": "generalized_linkage", "value": 678263443264}, {"parameter": "10,0", "name": "generalized_linkage", "value": 678228840052}, {"parameter": "11,0", "name": "generalized_linkage", "value": 678223896393}, {"parameter": "12,0", "name": "generalized_linkage", "value": 678505665748}, {"parameter": "13,0", "name": "generalized_linkage", "value": 678505564906}, {"parameter": "14,0", "name": "generalized_linkage", "value": 678505550500}, {"parameter": "[4, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505665748}, {"parameter": "[5, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96929380822}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13847054404}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1978150287}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505665748}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678263443264}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678228840052}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678223896393}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505665748}, {"parameter": "[13, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505564906}, {"parameter": "[14, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505550500}, {"parameter": "[4, 4, 10],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505665748}, {"parameter": "[4, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678263443264}, {"parameter": "[4, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678228840052}, {"parameter": "[4, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678223896393}, {"parameter": "[4, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505665748}, {"parameter": "[4, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505564906}, {"parameter": "[4, 10, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505550500}, {"parameter": "[5, 4, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96929380822}, {"parameter": "[5, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96894777610}, {"parameter": "[5, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96889833951}, {"parameter": "[5, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96889128057}, {"parameter": "[5, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96929380822}, {"parameter": "[5, 9, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96929366416}, {"parameter": "[6, 4, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13847054404}, {"parameter": "[6, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13842110745}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13841404851}, {"parameter": "[6, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13841304009}, {"parameter": "[6, 8, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13847054404}, {"parameter": "[7, 4, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1978150287}, {"parameter": "[7, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977444393}, {"parameter": "[7, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977343551}, {"parameter": "[7, 7, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977329145}, {"parameter": "[8, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505665748}, {"parameter": "[8, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505564906}, {"parameter": "[8, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505550500}, {"parameter": "[9, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678263443264}, {"parameter": "[9, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678263428858}, {"parameter": "[10, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678228840052}, {"parameter": "[4, 4, 4, 6],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505665748}, {"parameter": "[4, 4, 5, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505564906}, {"parameter": "[4, 4, 6, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678505550500}, {"parameter": "[4, 5, 4, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678263443264}, {"parameter": "[4, 5, 5, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678263428858}, {"parameter": "[4, 6, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678228840052}, {"parameter": "[5, 4, 4, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96929380822}, {"parameter": "[5, 4, 5, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96929366416}, {"parameter": "[5, 5, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96894777610}, {"parameter": "[6, 4, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13847054404}, {"parameter": "", "name": "JohnsonLB", "value": 678182836886}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7}], "request": [7, 18, 8, 4], "liftedmrdsizebound": 678505665769, "comments": "", "equal_bound_constraints": []}