{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 9771253933538933149312961201158497760}, {"parameter": "", "name": "singleton", "value": 310804949350361548416923680}, {"parameter": "5", "name": "ilp_2", "value": 184518537646906288234874512}, {"parameter": "6", "name": "ilp_2", "value": 36772745497286365908900200215108}, {"parameter": "8", "name": "ilp_3", "value": 2979040833396016204058829634499542}, {"parameter": "9", "name": "ilp_3", "value": 1210869152889347100521828933848}, {"parameter": "", "name": "anticode", "value": 184518537646906288234874512}, {"parameter": "", "name": "linear_programming_bound", "value": 184518537646906288234874512}, {"parameter": "", "name": "sphere_packing", "value": 33643992461362382284079257033}, {"parameter": "1", "name": "ilp_1", "value": 184514216867750891205067714}, {"parameter": "2", "name": "ilp_1", "value": 184514216867750891205186515}, {"parameter": "3", "name": "ilp_1", "value": 184514216867750975387724246}, {"parameter": "4", "name": "ilp_1", "value": 184514216882850067598591286}, {"parameter": "10", "name": "ilp_4", "value": 1209761800663090076686505489151}, {"parameter": "11", "name": "ilp_4", "value": 1209760735202763517254321248052}, {"parameter": "12", "name": "ilp_4", "value": 1209760734925481828337321621090}, {"parameter": "13", "name": "ilp_4", "value": 1209760734925355563689305886672}, {"parameter": "14", "name": "ilp_4", "value": 1209760734925455695131305292615}, {"parameter": "15", "name": "ilp_4", "value": 134437737357206778033694883356}, {"parameter": "16", "name": "ilp_4", "value": 14946301539160271446426046671}, {"parameter": "17", "name": "ilp_4", "value": 1660618923559216828631448038}, {"parameter": "", "name": "johnson_1", "value": 184514216867750891205067714}, {"parameter": "", "name": "johnson_2", "value": 1660618923559216828631448038}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 9771253933538933149312961201158497760}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1210869152889347100521828933848}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1209761800663090076686505489151}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1209760735202763517254321248052}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1209760734925481828337321621090}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1209760734925355563689305886672}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1209760734925455695131305292615}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 134437737357206778033694883356}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 14946301539160271446426046671}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1660618923559216828631448038}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 33643992461362382284079257033}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 33644371962905415506502430392}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 33645510518905218033814767615}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 33648926649308757052154312843}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 33659179203988137221056022124}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 33689974388764840164630365735}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 11247166851038159298602819884}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 3783345949028188368722281991}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1293245707676984052057716071}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 467010604835636576989687177}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 207485965738612690672784069}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 184518537646906288234874512}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 184519460986303926542352995}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 184522231049527473797136549}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 184530541644494073885505878}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 184555477077604799833289606}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 184630316225619137634395030}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 184855129707509068827168696}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 185532245330156354817137802}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 187587965001587038167074434}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 193982782141147978641898483}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 215468129833132731759330721}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 310804949350361548416923680}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 9771253933538933149312961201158497760}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 184518537646906288234874512}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 184514216882850067598591286}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 184514216867750975387724246}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 184514216867750891205186515}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 184514216867750891204713258}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 33643992461362382284079257033}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 33674801630000466593979421764}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 33767568627037746541296809031}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 34048961816041467461011314656}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 34922001884627355966990231404}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 37832131750875475536929586352}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 50442628803559470759393402040}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1210869152889347100521828933848}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1211361509552218887090216774292}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1212840533260652214283642135889}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1217295259623248966609647473602}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1230820297455861585479658330599}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1272898131684476262606047836584}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1414325730860097383018986978828}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 2042880353039758115797506899680}, {"parameter": "", "name": "improved_johnson", "value": 184514216867750891205067708}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 14947764219147409772598907231}], "known_codes": [], "upper_bound": 184514216867750891204713258, "classified": false, "lower_bound": 174458086133950569694999932, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 174449211009120179071170507}, {"parameter": "", "name": "sphere_covering", "value": 1855184652076927840475}, {"parameter": "", "name": "graham_sloane", "value": 130201241895493737709}, {"parameter": "", "name": "multicomponent", "value": 174449223166785648588452512}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 174449211038165458136975202}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 174458086133950569694999932}, {"parameter": "", "name": "two_pivot_block_construction", "value": 174458074397546630638206976}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 239320160745506234312901}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 174449231840635099161742881}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 174449231840635915069292715}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 174449231840635067823729993}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 174449231840635071267467673}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 717898077577311008513247}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 717898077577373770632465}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 717898077577280789715105}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 717898077577311008513247}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2954313064534247386443}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 2954313064513326680037}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2954313064513326680037}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 2954313064534247386443}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 27585746152463501167167}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 27585746152433282369025}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 27585746152526263286385}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 27585746152463501167167}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 239648478397600902134625}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 239648478397597458396945}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 239648478398444703959667}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 239648478397628796409833}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 174449231840635067780683272}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 717898077577279627453638}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 2954313064502866326834}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 27585746152432120107558}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 239648478397597415350224}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 174449231840635067780683272}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 717898077577279627453638}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 2954313064502866326834}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 27585746152432120107558}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 239648478397597415350224}, {"parameter": "7", "name": "linkage_GLT", "value": 174449211009120179075960454}, {"parameter": "8", "name": "linkage_GLT", "value": 717897987691852588772518}, {"parameter": "9", "name": "linkage_GLT", "value": 2954312706550833698644}, {"parameter": "10", "name": "linkage_GLT", "value": 27585742926600171449470}, {"parameter": "11", "name": "linkage_GLT", "value": 239648449352318349545530}, {"parameter": "7", "name": "improved_linkage", "value": 174449223167403342905442251}, {"parameter": "8", "name": "improved_linkage", "value": 717898037727746695688892}, {"parameter": "9", "name": "improved_linkage", "value": 2954312729428813990579}, {"parameter": "10", "name": "improved_linkage", "value": 27585742926610632539448}, {"parameter": "11", "name": "improved_linkage", "value": 239648449352318354335476}, {"parameter": "12", "name": "improved_linkage", "value": 239316184302255325938088}, {"parameter": "13", "name": "improved_linkage", "value": 239311754424923612671009}, {"parameter": "14", "name": "improved_linkage", "value": 239320130400674554991068}, {"parameter": "15", "name": "improved_linkage", "value": 26590165279305552304129}, {"parameter": "7,0", "name": "generalized_linkage", "value": 174449231840635067780683272}, {"parameter": "7,1", "name": "generalized_linkage", "value": 174449211783886088008165206}, {"parameter": "7,2", "name": "generalized_linkage", "value": 174449211015320111730285163}, {"parameter": "7,3", "name": "generalized_linkage", "value": 174449211059156073178089150}, {"parameter": "7,4", "name": "generalized_linkage", "value": 174449223167403342905442251}, {"parameter": "8,0", "name": "generalized_linkage", "value": 717898077577279627453638}, {"parameter": "8,1", "name": "generalized_linkage", "value": 717897997385437930323678}, {"parameter": "8,2", "name": "generalized_linkage", "value": 717897987694687544154558}, {"parameter": "8,3", "name": "generalized_linkage", "value": 717897987714730569062185}, {"parameter": "8,4", "name": "generalized_linkage", "value": 717898037727746695688892}, {"parameter": "9,0", "name": "generalized_linkage", "value": 2954313064502866326834}, {"parameter": "9,1", "name": "generalized_linkage", "value": 2954312720330601758352}, {"parameter": "9,2", "name": "generalized_linkage", "value": 2954312706552131774280}, {"parameter": "9,3", "name": "generalized_linkage", "value": 2954312706561294788622}, {"parameter": "9,4", "name": "generalized_linkage", "value": 2954312729428813990579}, {"parameter": "10,0", "name": "generalized_linkage", "value": 27585746152432120107558}, {"parameter": "10,1", "name": "generalized_linkage", "value": 27585742926618392474292}, {"parameter": "10,2", "name": "generalized_linkage", "value": 27585742926600173310049}, {"parameter": "10,3", "name": "generalized_linkage", "value": 27585742926600176239416}, {"parameter": "10,4", "name": "generalized_linkage", "value": 27585742926610632539448}, {"parameter": "11,0", "name": "generalized_linkage", "value": 239648478397597415350224}, {"parameter": "11,1", "name": "generalized_linkage", "value": 239648449352373014471538}, {"parameter": "11,2", "name": "generalized_linkage", "value": 239648449352318349547987}, {"parameter": "11,3", "name": "generalized_linkage", "value": 239648449352318349547798}, {"parameter": "11,4", "name": "generalized_linkage", "value": 239648449352318354335476}, {"parameter": "12,1", "name": "generalized_linkage", "value": 239316184302419322565386}, {"parameter": "12,2", "name": "generalized_linkage", "value": 239316184302255325943200}, {"parameter": "12,3", "name": "generalized_linkage", "value": 239316184302255325935820}, {"parameter": "12,4", "name": "generalized_linkage", "value": 239316184302255325938088}, {"parameter": "13,2", "name": "generalized_linkage", "value": 239311754424923612693149}, {"parameter": "13,3", "name": "generalized_linkage", "value": 239311754424923612671009}, {"parameter": "13,4", "name": "generalized_linkage", "value": 239311754424923612671009}, {"parameter": "14,3", "name": "generalized_linkage", "value": 239320130400674554991068}, {"parameter": "14,4", "name": "generalized_linkage", "value": 239320130400674554991068}, {"parameter": "15,4", "name": "generalized_linkage", "value": 26590165279305552304129}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 174449231840635067780683272}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 174449211783886088008165206}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 174449211015320111730285163}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 174449211059156073178089150}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 174449223167403342905442251}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 717898077577279627453638}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897997385437930323678}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987694687544154558}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 717897987714730569062185}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 717898037727746695688892}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2954313064502866326834}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2954312720330601758352}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2954312706552131774280}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2954312706561294788622}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2954312729428813990579}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 27585746152432120107558}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 27585742926618392474292}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 27585742926600173310049}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 27585742926600176239416}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 27585742926610632539448}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 239648478397597415350224}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 239648449352373014471538}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 239648449352318349547987}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 239648449352318349547798}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 239648449352318354335476}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 239316184302419322565386}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 239316184302255325943200}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 239316184302255325935820}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 239316184302255325938088}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 239311754424923612693149}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 239311754424923612671009}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 239311754424923612671009}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 239320130400674554991068}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 239320130400674554991068}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 26590165279305552304129}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 26600981535695716668153}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 26600972028765567604083}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 26600981892314322442743}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 26621803539305269729353}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 239320180429677788162445}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 239299388773441785041355}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299379266511635977285}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299389130060390815945}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239320210777051338102555}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 239320180429677788162445}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 239299388773441785041355}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299379266511635977285}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299389130060390815945}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239320210777051338102555}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 239299715711783254834809}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299335486765380921949}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299335434577292272009}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299345298126047110669}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 239299709535049291995339}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299329310031418082479}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329257843329432539}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299339121392084271199}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 239299709535049291995339}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299329310031418082479}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329257843329432539}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299339121392084271199}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 239300104507330557878676}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 239300103946308604891821}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 239300103946308604891821}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299329798823245682446}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329237801292695591}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329237801292695591}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299329795998950317636}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329234976997330781}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329234976997330781}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299329819723031382040}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329258701078395185}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329258701078395185}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 239320130402481696550233}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 239320130402481696550233}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329589201261288467}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329589201261288467}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329234967833162177}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329234967833162177}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329234977389534239}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329234977389534239}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329257876704990221}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329257876704990221}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588823874585667126847}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588814363468483571629}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588814363307855459395}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588814363316986289371}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588814386184914459355}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 109555657710077026863}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 109469060291167127397}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109469060291167127397}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109558906103650042305}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 109505649041770482117}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419051622860582651}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419051622860582651}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109508897435343497559}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 109505649041770482117}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419051622860582651}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419051622860582651}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109508897435343497559}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419506955493067475}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419031580823845703}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419031580823845703}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419504131197702665}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419028756528480893}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419028756528480893}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419504131197702665}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419028756528480893}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419028756528480893}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 109428708209784011073}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109428708209784011073}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419028747364312289}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419028747364312289}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419028746072910659}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419028746072910659}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419028756920684351}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419028756920684351}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 109505665779533795637}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419033171977462799}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419028746068720367}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419028746073089993}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419028756543741779}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 50412373924082859}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 50412373924082859}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 50412373924082859}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 50389507591981101}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50389507591981101}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 50389507591981101}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 50389507591981101}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 50389507591981101}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 50389507591981101}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50389498427812497}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 50389498427812497}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50389497136410867}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 50389497136410867}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 50389497136410867}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 50389497136410867}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 50402778908951205}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 50389497132220575}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 50389497131630085}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 50389497136590201}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 55133284489317801}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 55133284489317801}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 55133274033747567}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 55133274033747567}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 55133274033747567}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 55133274033747567}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 55133274030757938}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 55133274028966785}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 55133274028966785}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79149816514237905}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79149816509457123}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79149816509457123}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 20860733216207478888}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20860733216207478888}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 69076980204357798}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 69076980204357798}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 41652366585878498220}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 41652366585878498220}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20860710349875377130}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 20860710349875377130}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20860710349875377130}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 20860710349875377130}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 173296954184144058}, {"parameter": "", "name": "JohnsonLB", "value": 174431485169195967506334375}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 239320244022983292794607}], "request": [3, 18, 6, 7], "liftedmrdsizebound": 174465510375310457877557640, "comments": "", "equal_bound_constraints": []}