{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 8403089283059531541841722254852038933206966651131615823995604}, {"parameter": "", "name": "singleton", "value": 3167372099179629291002826414551}, {"parameter": "3", "name": "ilp_2", "value": 2653016134490793888433530012994}, {"parameter": "4", "name": "ilp_2", "value": 36828530074162577714239167361389047822604}, {"parameter": "5", "name": "ilp_2", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "7", "name": "ilp_3", "value": 61221571818264507761656762531980437669532094181947848372}, {"parameter": "8", "name": "ilp_3", "value": 509754969344417216999639987776689739130158985694819}, {"parameter": "9", "name": "ilp_3", "value": 4320213651186233225696778518867133975152415700}, {"parameter": "", "name": "anticode", "value": 2653016134490793888433530012994}, {"parameter": "", "name": "linear_programming_bound", "value": 2653016134490793888433530012994}, {"parameter": "", "name": "sphere_packing", "value": 26538868953276133216059613782627976548273645882}, {"parameter": "1", "name": "ilp_1", "value": 2653016134490793888336916908303}, {"parameter": "2", "name": "ilp_1", "value": 2653016134490793888433530012994}, {"parameter": "10", "name": "ilp_4", "value": 4319221857332308987873930462837136274596292340}, {"parameter": "11", "name": "ilp_4", "value": 4319221851089547436145139456110795604289735522}, {"parameter": "12", "name": "ilp_4", "value": 4319221851089547436145139456110795604289735522}, {"parameter": "13", "name": "ilp_4", "value": 12592835170443791592657411556695611315966686}, {"parameter": "14", "name": "ilp_4", "value": 36721159324472300770302320305959176346231}, {"parameter": "15", "name": "ilp_4", "value": 107058754977397838685849707460154090022}, {"parameter": "16", "name": "ilp_4", "value": 312124665542918481118298506936945034}, {"parameter": "17", "name": "ilp_4", "value": 909984458227402487804152296649567}, {"parameter": "", "name": "johnson_1", "value": 2653016134490793888336916908303}, {"parameter": "", "name": "johnson_2", "value": 909984458227402487804152296649567}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 8403089283059531541841722254852038933206966651131615823995604}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 61221571818264507761656762531980437669532094181947848372}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 509754969344417216999639987776689739130158985694819}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 4320213651186233225696778518867133975152415700}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 4319221857332308987873930462837136274596292340}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 4319221851089547436145139456110795604289735522}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 4319221851089547436145139456110795604289735522}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 12592835170443791592657411556695611315966686}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 36721159324472300770302320305959176346231}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 107058754977397838685849707460154090022}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 312124665542918481118298506936945034}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 909984458227402487804152296649567}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 26538868953276133216059613782627976548273645882}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1546813289801162290313782422713592803757170}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1544598041483306802747031600344256777391404}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1544598019276641763706993448873037301657725}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1544598248924442018581872047262977318355587}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 31567393612450292420146312641851391180938}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 644231756471315234740654518764463140513}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 13148296049113080970167736941655397636}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 268429514869763202416299796789164709}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 5491882234415998998354869323545399}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 114080540862486505111390834285825}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 2660750875407117857609088683204}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 36828530074162577714239167361389047822604}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 13148350616482727295855940094111711828}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 13148350622994255357036478631305962673}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 13148350668574951946128055033612637093}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 13148350987639835950331810432430906535}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1877569824997085006807490786941141860}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 268318418468145720060633240532068368}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 38331202524360167118491289811126249}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 5476244224112009663137533533296490}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 782639670932085652731519511259801}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 112125814276719542051003001873294}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 16344751392738275200523090613581}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 2716021575074482687831865959004}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 2653016134490793888433530012994}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 2653016134681431374092342231371}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 2653016136015893774376739869055}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 2653016145357130609330416792474}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 2653016210745790069187974686395}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 2653016668466485432113720414220}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 2653019872515231029508250883624}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 2653042301046476610513493971384}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 2653199310077041654971809859710}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 2654298829761006748666281916894}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 2662017899786810492070155672950}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 2717173400405125991480141988046}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 3167372099179629291002826414551}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 8403089283059531541841722254852038933206966651131615823995604}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 36828530074162577714239167361389047822604}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 2653016134490793888433530012994}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 2653016134490793888433530012994}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 2653016134490793888336916908303}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 61221571818264507761656762531980437669532094181947848372}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 26538868953276133216059613782627976548273645882}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 13148350616482727295855940094111711828}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 13153046295874726624079283191228686463}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 13186011324170857918385988205898792232}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 13421475811998283552083422628835392011}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 15338829498456941323191016876916934940}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 509754969344417216999639987776689739130158985694819}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1546813289801162290313782422713592803757170}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1546903450795274142755341710973146508530363}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1547534839956947269661621103311687577496560}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1551967449581711182202963135994523813658580}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1583640254576859516654766440251735808688415}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 4320213651186233225696778518867133975152415700}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 4320250265647886733266544207175625976011147827}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 4320506582123688215790937072544551132014561952}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 4322301544732635914653393698589716347483096086}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 4334903006693620108384253591006760485170069530}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 4424950188183590118387447609438787941430062342}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 5160291746051272234978893428859106387360586971}, {"parameter": "", "name": "improved_johnson", "value": 2653016134490793888336916908303}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2184875337065276008768356560610191524}], "known_codes": [], "upper_bound": 2653016134490793888336916908303, "classified": false, "lower_bound": 2651730846051234703159872391694, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 2651730845859653471779023381601}, {"parameter": "", "name": "sphere_covering", "value": 55067877447363703356161}, {"parameter": "", "name": "graham_sloane", "value": 11676053266172733}, {"parameter": "", "name": "multicomponent", "value": 2651730846051234703159589913652}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 2651730845859653471779023381602}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 2651730845859655100192621294501}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 7730993719707444537978381609}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 22539340290692258087980899}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 65712362363534280139544}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 22539531871923638654277651}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 7730993720265990388220378415}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 2651730845863644713507501892101}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 2651730845859655100192621292051}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 2651730845859655100192621294501}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 7730993719707444537978381609}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 22539340290692258087980899}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 65712362363534280139544}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 22539531871923638654277651}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 7730993720265990388220378415}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 2651730845863644713507501892101}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 2651730845859655100192621292051}, {"parameter": "6", "name": "linkage_GLT", "value": 2651730845859655100192621294501}, {"parameter": "7", "name": "linkage_GLT", "value": 7730993719707444537978381609}, {"parameter": "8", "name": "linkage_GLT", "value": 22539340290692258087980899}, {"parameter": "9", "name": "linkage_GLT", "value": 65712362363534280139544}, {"parameter": "10", "name": "linkage_GLT", "value": 22539531871923638654277651}, {"parameter": "11", "name": "linkage_GLT", "value": 7730993720265990388220378415}, {"parameter": "12", "name": "linkage_GLT", "value": 2651730845863644713507501892101}, {"parameter": "6", "name": "improved_linkage", "value": 2651730846051234703159872391694}, {"parameter": "7", "name": "improved_linkage", "value": 7730993720265990388220496407}, {"parameter": "8", "name": "improved_linkage", "value": 22539340292320671685776149}, {"parameter": "9", "name": "improved_linkage", "value": 65712362363548121426745}, {"parameter": "10", "name": "improved_linkage", "value": 22539531871923638654395300}, {"parameter": "11", "name": "improved_linkage", "value": 7730993720265990388220378415}, {"parameter": "12", "name": "improved_linkage", "value": 2651730845863644713507501892101}, {"parameter": "13", "name": "improved_linkage", "value": 7730993719709077699137802001}, {"parameter": "14", "name": "improved_linkage", "value": 22539340290725505188431358}, {"parameter": "6,0", "name": "generalized_linkage", "value": 2651730845863644713507507899501}, {"parameter": "6,1", "name": "generalized_linkage", "value": 2651730845860212017643106783601}, {"parameter": "6,2", "name": "generalized_linkage", "value": 2651730846051234703159872391694}, {"parameter": "7,0", "name": "generalized_linkage", "value": 7730993719707478449132026509}, {"parameter": "7,1", "name": "generalized_linkage", "value": 7730993719709072937735007307}, {"parameter": "7,2", "name": "generalized_linkage", "value": 7730993720265990388220496407}, {"parameter": "8,0", "name": "generalized_linkage", "value": 22539340290692258376223399}, {"parameter": "8,1", "name": "generalized_linkage", "value": 22539340290692271929150451}, {"parameter": "8,2", "name": "generalized_linkage", "value": 22539340292320671685776149}, {"parameter": "9,0", "name": "generalized_linkage", "value": 65712362363534280141994}, {"parameter": "9,1", "name": "generalized_linkage", "value": 65712362363534280257193}, {"parameter": "9,2", "name": "generalized_linkage", "value": 65712362363548121426745}, {"parameter": "10,0", "name": "generalized_linkage", "value": 22539531871923638654280101}, {"parameter": "10,1", "name": "generalized_linkage", "value": 22539531871923638654277651}, {"parameter": "10,2", "name": "generalized_linkage", "value": 22539531871923638654395300}, {"parameter": "11,0", "name": "generalized_linkage", "value": 7730993720265990388220380865}, {"parameter": "11,1", "name": "generalized_linkage", "value": 7730993720265990388220378415}, {"parameter": "11,2", "name": "generalized_linkage", "value": 7730993720265990388220378415}, {"parameter": "12,0", "name": "generalized_linkage", "value": 2651730845863644713507501894551}, {"parameter": "12,1", "name": "generalized_linkage", "value": 2651730845863644713507501892101}, {"parameter": "12,2", "name": "generalized_linkage", "value": 2651730845863644713507501892101}, {"parameter": "13,1", "name": "generalized_linkage", "value": 7730993719709077699137802001}, {"parameter": "13,2", "name": "generalized_linkage", "value": 7730993719709077699137802001}, {"parameter": "14,2", "name": "generalized_linkage", "value": 22539340290725505188431358}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507507899501}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643106783601}, {"parameter": "[6, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159872391694}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707478449132026509}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937735007307}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220496407}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692258376223399}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929150451}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280141994}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280257193}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363548121426745}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539531871923638654280101}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539531871923638654277651}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539531871923638654395300}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220380865}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220378415}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220378415}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507501894551}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507501892101}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507501892101}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709077699137802001}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709077699137802001}, {"parameter": "[14, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290725505188431358}, {"parameter": "[6, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539531871923638654400200}, {"parameter": "[6, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539531871923638654280101}, {"parameter": "[6, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539531871923638942637800}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388221221558}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220380865}, {"parameter": "[6, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220380865}, {"parameter": "[6, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388221221558}, {"parameter": "[6, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220380865}, {"parameter": "[6, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220380865}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507507899501}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507501894551}, {"parameter": "[6, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507501894551}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192627299451}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621294501}, {"parameter": "[6, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621294501}, {"parameter": "[6, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192627299451}, {"parameter": "[6, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621294501}, {"parameter": "[6, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621294501}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707478449132026509}, {"parameter": "[6, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707478449132026509}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707444537978384059}, {"parameter": "[6, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707444537978384059}, {"parameter": "[6, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707444537978384059}, {"parameter": "[6, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707444537978384059}, {"parameter": "[6, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692258376223399}, {"parameter": "[6, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692258087983349}, {"parameter": "[6, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929270550}, {"parameter": "[7, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363546100}, {"parameter": "[7, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363426001}, {"parameter": "[7, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363426001}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671686616842}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[7, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[7, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671686616842}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290726183082795351}, {"parameter": "[7, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290726183082795351}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[7, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[7, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534568499693}, {"parameter": "[7, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280259643}, {"parameter": "[7, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280259643}, {"parameter": "[8, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164447400}, {"parameter": "[8, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164327301}, {"parameter": "[8, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164327301}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[8, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[8, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[8, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380854774551}, {"parameter": "[8, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566534501}, {"parameter": "[8, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566534501}, {"parameter": "[9, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628427439200101}, {"parameter": "[9, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1628427439200101}, {"parameter": "[9, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1628413598030549}, {"parameter": "[9, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1628413598030549}, {"parameter": "[10, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1628427439317750}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1628427727677899}, {"parameter": "", "name": "JohnsonLB", "value": 2651727625953977683398936659949}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 65712373762526447717915}], "request": [7, 18, 8, 6], "liftedmrdsizebound": 2651730846055879554256238961104, "comments": "", "equal_bound_constraints": []}