{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 132652779978953955673720303437969865726009299429}, {"parameter": "", "name": "singleton", "value": 436663151052043168024805}, {"parameter": "3", "name": "ilp_2", "value": 303787438118733987214510}, {"parameter": "4", "name": "ilp_2", "value": 20710430338917441299861457810329}, {"parameter": "5", "name": "ilp_2", "value": 1482510348481581417853915423780027855031}, {"parameter": "7", "name": "ilp_3", "value": 24290932059870711531536404218635756404689489}, {"parameter": "8", "name": "ilp_3", "value": 5559837962890984557458549832601454887775}, {"parameter": "9", "name": "ilp_3", "value": 1336178313600332746325054033309650297}, {"parameter": "", "name": "anticode", "value": 303787438118733987214510}, {"parameter": "", "name": "linear_programming_bound", "value": 303787438118733987214510}, {"parameter": "", "name": "sphere_packing", "value": 1086088179514862958966179419656460020}, {"parameter": "1", "name": "ilp_1", "value": 303787424538376842869890}, {"parameter": "2", "name": "ilp_1", "value": 303787424538377234204204}, {"parameter": "10", "name": "ilp_4", "value": 1332909785002583559577016207121309689}, {"parameter": "11", "name": "ilp_4", "value": 1332908990138891140557578889745165880}, {"parameter": "12", "name": "ilp_4", "value": 1332908990138891140557578889745165880}, {"parameter": "13", "name": "ilp_4", "value": 20838141235763625241255328689246262}, {"parameter": "14", "name": "ilp_4", "value": 326190908975352032568017342993993}, {"parameter": "15", "name": "ilp_4", "value": 5096655494299717714266703354580}, {"parameter": "16", "name": "ilp_4", "value": 79635317756721255779044232960}, {"parameter": "17", "name": "ilp_4", "value": 1244304499528354398569713651}, {"parameter": "18", "name": "ilp_4", "value": 19442396324786200314385727}, {"parameter": "", "name": "johnson_1", "value": 303787424538376842869890}, {"parameter": "", "name": "johnson_2", "value": 19442396324786200314385727}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 132652779978953955673720303437969865726009299429}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 24290932059870711531536404218635756404689489}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1336178313600332746325054033309650297}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1332909785002583559577016207121309689}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1332908990138891140557578889745165880}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1332908990138891140557578889745165880}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 20838141235763625241255328689246262}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 326190908975352032568017342993993}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 5096655494299717714266703354580}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 79635317756721255779044232960}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1244304499528354398569713651}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 19442396324786200314385727}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1482510348481581417853915423780027855031}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1086088179514862958966179419656460020}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 994404164101100324054888305039287}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 987485163026989873026480359659215}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 987479217352308437101944891032991}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 987482040494028603080713729293369}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 62136965038074289944124924852578}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3882805412064871070129945044671}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 242734343353314717343733352891}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 15183607111402323384741146863}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 951760921969378265130669819}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 60192742554664354304949131}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 3950008235789287259339079}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 308534102976075420492801}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 20710430338917441299861457810329}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 60734400666833916105625142863}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 60734404050680730898524362347}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 60734417586071156088548828910}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 60734471727683513191438273571}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 15128064411893948245406121933}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 3792496632620480410638136517}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 947961230356030594854172891}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 237085105763103879080258552}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 59324585869542471651741081}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 14885671803565179558729551}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 3776627364133865670532256}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1002980575758940907265998}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 328781653182462996699457}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 303787438118733987214510}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 303787442522364440109777}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 303787460136887283020070}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 303787530594995155932766}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 303787812427690668175700}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 303788939762697062481651}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 303793449170313180097233}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 303811487882291263566900}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 303883660038580276473239}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 304172625864187079981320}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 305332941490782475968689}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 310046553784142525846616}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 330134474719408747251372}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 436663151052043168024805}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 132652779978953955673720303437969865726009299429}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1482510348481581417853915423780027855031}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 20710430338917441299861457810329}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 303787438118733987214510}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 303787424538377234204204}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 303787424538376842869890}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 24290932059870711531536404218635756404689489}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1086088179514862958966179419656460020}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 60734400666833916105625142863}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 60913031249014250643108579890}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 61638186350001580919424103077}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 64720095520553739670190851860}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 80900118436346461335215564097}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 994404164101100324054888305039287}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 995314746171522294000941442190427}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 998973990904407443429223484358834}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1013839672584703701330708708278053}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1077204639892202974196255348333696}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 1413831005592760963204738082233683}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1336178313600332746325054033309650297}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 1336499510080539756503577170687230652}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 1337785546994669694935649206567286402}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1342949788960992155304567851530923493}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1363933364111517845250865804780239110}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 1453441421830062758486381726637343124}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1930351405154232225472089767795511781}, {"parameter": "", "name": "improved_johnson", "value": 303787424538376842869885}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 19910228763837218781491008200}], "known_codes": [], "upper_bound": 303787424538376842869885, "classified": false, "lower_bound": 302231472918056072905793, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 302231454903657293676544}, {"parameter": "", "name": "sphere_covering", "value": 806219478496822378}, {"parameter": "", "name": "graham_sloane", "value": 19160997087646}, {"parameter": "", "name": "multicomponent", "value": 302231472918055819935745}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 302231454903657293676545}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 302231454908055340191809}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690705}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 73786976294854983681}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1152921504606851073}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 73804990693347688449}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 4722366764344621924353}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 302231456104323991207937}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 302231455189599036375041}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 302231454908055340187649}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 302231454903726013153281}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 302231454908055340191809}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690705}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 73786976294854983681}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1152921504606851073}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 73804990693347688449}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 4722366764344621924353}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 302231456104323991207937}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 302231455189599036375041}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 302231454908055340187649}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 302231454903726013153281}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "6", "name": "linkage_GLT", "value": 302231454908055340191809}, {"parameter": "7", "name": "linkage_GLT", "value": 4722366482938364690705}, {"parameter": "8", "name": "linkage_GLT", "value": 73786976294854983681}, {"parameter": "9", "name": "linkage_GLT", "value": 1152921504606851073}, {"parameter": "10", "name": "linkage_GLT", "value": 73804990693347688449}, {"parameter": "11", "name": "linkage_GLT", "value": 4722366764344621924353}, {"parameter": "12", "name": "linkage_GLT", "value": 302231456104323991207937}, {"parameter": "13", "name": "linkage_GLT", "value": 302231455189599036375041}, {"parameter": "6", "name": "improved_linkage", "value": 302231472918056072905793}, {"parameter": "7", "name": "improved_linkage", "value": 4722366764344622977361}, {"parameter": "8", "name": "improved_linkage", "value": 73786980692884721729}, {"parameter": "9", "name": "improved_linkage", "value": 1152921573326323985}, {"parameter": "10", "name": "improved_linkage", "value": 73804990693364465665}, {"parameter": "11", "name": "improved_linkage", "value": 4722366764344621928449}, {"parameter": "12", "name": "improved_linkage", "value": 302231456104323991207937}, {"parameter": "13", "name": "improved_linkage", "value": 302231455189599036375041}, {"parameter": "14", "name": "improved_linkage", "value": 4722366500536204656641}, {"parameter": "15", "name": "improved_linkage", "value": 73786977399723003905}, {"parameter": "6,0", "name": "generalized_linkage", "value": 302231456104323992343889}, {"parameter": "6,1", "name": "generalized_linkage", "value": 302231455185132271440209}, {"parameter": "6,2", "name": "generalized_linkage", "value": 302231472918056072905793}, {"parameter": "7,0", "name": "generalized_linkage", "value": 4722366501630062437153}, {"parameter": "7,1", "name": "generalized_linkage", "value": 4722366487267691728961}, {"parameter": "7,2", "name": "generalized_linkage", "value": 4722366764344622977361}, {"parameter": "8,0", "name": "generalized_linkage", "value": 73786976299418386705}, {"parameter": "8,1", "name": "generalized_linkage", "value": 73786976363557683473}, {"parameter": "8,2", "name": "generalized_linkage", "value": 73786980692884721729}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1152921504607965457}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1152921504623624193}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1152921573326323985}, {"parameter": "10,0", "name": "generalized_linkage", "value": 73804990693347688721}, {"parameter": "10,1", "name": "generalized_linkage", "value": 73804990693347692545}, {"parameter": "10,2", "name": "generalized_linkage", "value": 73804990693364465665}, {"parameter": "11,0", "name": "generalized_linkage", "value": 4722366764344621924625}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4722366764344621924353}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4722366764344621928449}, {"parameter": "12,0", "name": "generalized_linkage", "value": 302231456104323991208209}, {"parameter": "12,1", "name": "generalized_linkage", "value": 302231456104323991207937}, {"parameter": "12,2", "name": "generalized_linkage", "value": 302231456104323991207937}, {"parameter": "13,0", "name": "generalized_linkage", "value": 302231455189599036375313}, {"parameter": "13,1", "name": "generalized_linkage", "value": 302231455189599036375041}, {"parameter": "13,2", "name": "generalized_linkage", "value": 302231455189599036375041}, {"parameter": "14,1", "name": "generalized_linkage", "value": 4722366500536204656641}, {"parameter": "14,2", "name": "generalized_linkage", "value": 4722366500536204656641}, {"parameter": "15,2", "name": "generalized_linkage", "value": 73786977399723003905}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231456104323992343889}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132271440209}, {"parameter": "[6, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056072905793}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062437153}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728961}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344622977361}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976299418386705}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557683473}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884721729}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607965457}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623624193}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326323985}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804990693347688721}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693347692545}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364465665}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621924625}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621924353}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621928449}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231456104323991208209}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231456104323991207937}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231456104323991207937}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455189599036375313}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455189599036375041}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231455189599036375041}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366500536204656641}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366500536204656641}, {"parameter": "[15, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977399723003905}, {"parameter": "[6, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804990693347693089}, {"parameter": "[6, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693348806929}, {"parameter": "[6, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73804990697927868689}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621942097}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621924625}, {"parameter": "[6, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344623042833}, {"parameter": "[6, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621942097}, {"parameter": "[6, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621924625}, {"parameter": "[6, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344623042833}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231456104323991282465}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231456104323991208209}, {"parameter": "[6, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231456104323991208209}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340262177}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187921}, {"parameter": "[6, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187921}, {"parameter": "[6, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340262177}, {"parameter": "[6, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187921}, {"parameter": "[6, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187921}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454922417710900001}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454922417710825745}, {"parameter": "[6, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454922417710825745}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013227809}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013153553}, {"parameter": "[6, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013153553}, {"parameter": "[6, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013227809}, {"parameter": "[6, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013153553}, {"parameter": "[6, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013153553}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482874225393937}, {"parameter": "[6, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482874225393937}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869661991185}, {"parameter": "[6, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869661991185}, {"parameter": "[6, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938381467921}, {"parameter": "[6, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938381467921}, {"parameter": "[6, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976294839324945}, {"parameter": "[6, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976294854988049}, {"parameter": "[6, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557687569}, {"parameter": "[7, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153202979583562273}, {"parameter": "[7, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153202979583557905}, {"parameter": "[7, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1153202979584676113}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884735313}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717841}, {"parameter": "[7, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717841}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884735313}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717841}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717841}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062437153}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062362897}, {"parameter": "[7, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062362897}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364764961}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690705}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690705}, {"parameter": "[7, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364764961}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690705}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690705}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976299418386705}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976299418386705}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294854983953}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976294854983953}, {"parameter": "[7, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294854983953}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976294854983953}, {"parameter": "[7, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607965457}, {"parameter": "[7, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606851345}, {"parameter": "[7, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623628561}, {"parameter": "[8, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18018796555997729}, {"parameter": "[8, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18018796555993361}, {"parameter": "[8, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18018796555993361}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326341457}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326323985}, {"parameter": "[8, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326323985}, {"parameter": "[8, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326341457}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326323985}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326323985}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921509187027217}, {"parameter": "[8, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921509187027217}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623624465}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623624465}, {"parameter": "[8, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623624465}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623624465}, {"parameter": "[8, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398510600465}, {"parameter": "[8, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398509486353}, {"parameter": "[8, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398509486353}, {"parameter": "[9, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 281543696192033}, {"parameter": "[9, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 281543696187665}, {"parameter": "[9, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281543696187665}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 281474993488145}, {"parameter": "[9, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474993488145}, {"parameter": "[9, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 281474993488145}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474993488145}, {"parameter": "[9, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474977829137}, {"parameter": "[9, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474976715025}, {"parameter": "[9, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474976715025}, {"parameter": "[10, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 281543712964881}, {"parameter": "[10, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281543712964881}, {"parameter": "[10, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 281543696191761}, {"parameter": "[10, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281543696191761}, {"parameter": "[11, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474993492241}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 281548276372001}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281548276372001}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 281543697310241}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281543697310241}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474994623825}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474994623825}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68737376801}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 288234775277928084}], "request": [4, 19, 8, 6], "liftedmrdsizebound": 302231474500565707935722, "comments": "", "equal_bound_constraints": []}