{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 75628919722004322604209288760}, {"parameter": "", "name": "singleton", "value": 1279025522911365763892449}, {"parameter": "5", "name": "ilp_2", "value": 853859750962531726420120}, {"parameter": "7", "name": "ilp_3", "value": 69193888126261960296623320}, {"parameter": "", "name": "anticode", "value": 853859750962531726420120}, {"parameter": "", "name": "linear_programming_bound", "value": 853859750962531726420120}, {"parameter": "", "name": "sphere_packing", "value": 75628919722004322604209288760}, {"parameter": "1", "name": "ilp_1", "value": 853859750962531726420120}, {"parameter": "2", "name": "ilp_1", "value": 853859750962531726420120}, {"parameter": "3", "name": "ilp_1", "value": 853859750962531726420120}, {"parameter": "4", "name": "ilp_1", "value": 853859750962531726420120}, {"parameter": "8", "name": "ilp_4", "value": 69193888126261960296623320}, {"parameter": "9", "name": "ilp_4", "value": 69193888126261960296623320}, {"parameter": "10", "name": "ilp_4", "value": 69193888126261960296623320}, {"parameter": "11", "name": "ilp_4", "value": 69193888126261960296623320}, {"parameter": "12", "name": "ilp_4", "value": 69193888126261960296623320}, {"parameter": "13", "name": "ilp_4", "value": 23036501774709137101338316}, {"parameter": "14", "name": "ilp_4", "value": 7685084503460047267179144}, {"parameter": "15", "name": "ilp_4", "value": 2561347885931637278087846}, {"parameter": "", "name": "johnson_1", "value": 853859750962531726420120}, {"parameter": "", "name": "johnson_2", "value": 2561347885931637278087846}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 75628919722004322604209288760}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 23036501774709137101338316}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 7685084503460047267179144}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2561347885931637278087846}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 853869364767752387335087}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 853898207482387032522357}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 853984747318756337173152}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 854244472106281384636634}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 855024595224477349426400}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 857373537263397830225703}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 864498443663438590973140}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 886601837930259345750972}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 960257055410930642841370}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1279025522911365763892449}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 75628919722004322604209288760}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 69257250344514070010112994}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 69448035181796499978435782}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 70026748970226325839882905}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 71822243509094384840651840}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 77807202510315659784487291}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 103741619611085612124067759}, {"parameter": "", "name": "improved_johnson", "value": 853859750962531726420120}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 23062285753048386397763218}], "known_codes": [], "upper_bound": 853859750962531726420120, "classified": false, "lower_bound": 728678523485248028210242, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 717897987691852588770249}, {"parameter": "", "name": "sphere_covering", "value": 2345794958153165899273}, {"parameter": "", "name": "graham_sloane", "value": 3513806381624631219485}, {"parameter": "", "name": "multicomponent", "value": 717910145563203165214918}, {"parameter": "", "name": "construction_ST_B", "value": 726982499241047690127242}, {"parameter": "", "name": "EF_special", "value": 728678523483522880513165}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 717900253341749229587706}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 726884768115992299971645}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 726982499236472981813778}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 728678523485248028210242}, {"parameter": "", "name": "two_pivot_block_construction", "value": 726871712535427147628544}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 81364067567628188368481}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 726994808898165148909114}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 719495612185150527322068}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 719495612182702804672566}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 719495612182608704540460}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3016595247035423248485}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3016595246470564175523}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3016595246189296900509}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 9971821408300315394049}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 9971821409116222943883}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 9971821408300315394049}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 27516983328565411887873}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 27516983328846679162887}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 27516983329411538235849}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 81168332141703898366308}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 81168332141797998498414}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 81168332144245721147916}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 719495612182608661493739}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 3016595246188134639042}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 9971821408268934334440}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 27516983328564249626406}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 81168332141703855319587}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 719495612182608661493739}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 3016595246188134639042}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 9971821408268934334440}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 27516983328564249626406}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 81168332141703855319587}, {"parameter": "6", "name": "linkage_GLT", "value": 717897987691852982988619}, {"parameter": "7", "name": "linkage_GLT", "value": 2954312706550834248634}, {"parameter": "8", "name": "linkage_GLT", "value": 9969285676426681617640}, {"parameter": "9", "name": "linkage_GLT", "value": 27516899520543947852638}, {"parameter": "10", "name": "linkage_GLT", "value": 81166066491807214502131}, {"parameter": "6", "name": "improved_linkage", "value": 717910378141871890246106}, {"parameter": "7", "name": "improved_linkage", "value": 2954363702768707363263}, {"parameter": "8", "name": "improved_linkage", "value": 9969285886370466426153}, {"parameter": "9", "name": "improved_linkage", "value": 27516899520831542078404}, {"parameter": "10", "name": "improved_linkage", "value": 81166066491807608720500}, {"parameter": "11", "name": "improved_linkage", "value": 81225103877985877255918}, {"parameter": "12", "name": "improved_linkage", "value": 81336523773342562624657}, {"parameter": "13", "name": "improved_linkage", "value": 27101481022998199317421}, {"parameter": "14", "name": "improved_linkage", "value": 9032638064070775899754}, {"parameter": "6,0", "name": "generalized_linkage", "value": 719495612182608661493739}, {"parameter": "6,1", "name": "generalized_linkage", "value": 718079882941284412897296}, {"parameter": "6,2", "name": "generalized_linkage", "value": 717917856981590728854702}, {"parameter": "6,3", "name": "generalized_linkage", "value": 717898650642684946410309}, {"parameter": "6,4", "name": "generalized_linkage", "value": 717910378141871890246106}, {"parameter": "7,0", "name": "generalized_linkage", "value": 3016595246188134639042}, {"parameter": "7,1", "name": "generalized_linkage", "value": 2961287439854057769573}, {"parameter": "7,2", "name": "generalized_linkage", "value": 2954566042840021559370}, {"parameter": "7,3", "name": "generalized_linkage", "value": 2954321104302226071963}, {"parameter": "7,4", "name": "generalized_linkage", "value": 2954363702768707363263}, {"parameter": "8,0", "name": "generalized_linkage", "value": 9971821408268934334440}, {"parameter": "8,1", "name": "generalized_linkage", "value": 9969374284499933450397}, {"parameter": "8,2", "name": "generalized_linkage", "value": 9969288836484683502150}, {"parameter": "8,3", "name": "generalized_linkage", "value": 9969285711225582934627}, {"parameter": "8,4", "name": "generalized_linkage", "value": 9969285886370466426153}, {"parameter": "9,0", "name": "generalized_linkage", "value": 27516983328564249626406}, {"parameter": "9,1", "name": "generalized_linkage", "value": 27516900714140719728657}, {"parameter": "9,2", "name": "generalized_linkage", "value": 27516899533782257072214}, {"parameter": "9,3", "name": "generalized_linkage", "value": 27516899520687443339317}, {"parameter": "9,4", "name": "generalized_linkage", "value": 27516899520831542078404}, {"parameter": "10,0", "name": "generalized_linkage", "value": 81168332141703855319587}, {"parameter": "10,1", "name": "generalized_linkage", "value": 81166066504924568613993}, {"parameter": "10,2", "name": "generalized_linkage", "value": 81166066491866444874150}, {"parameter": "10,3", "name": "generalized_linkage", "value": 81166066491807414698854}, {"parameter": "10,4", "name": "generalized_linkage", "value": 81166066491807608720500}, {"parameter": "11,1", "name": "generalized_linkage", "value": 81225103996092775254336}, {"parameter": "11,2", "name": "generalized_linkage", "value": 81225103877986093424430}, {"parameter": "11,3", "name": "generalized_linkage", "value": 81225103877985877004407}, {"parameter": "11,4", "name": "generalized_linkage", "value": 81225103877985877255918}, {"parameter": "12,2", "name": "generalized_linkage", "value": 81336523773343212801366}, {"parameter": "12,3", "name": "generalized_linkage", "value": 81336523773342562624201}, {"parameter": "12,4", "name": "generalized_linkage", "value": 81336523773342562624657}, {"parameter": "13,3", "name": "generalized_linkage", "value": 27101481022998199317784}, {"parameter": "13,4", "name": "generalized_linkage", "value": 27101481022998199317421}, {"parameter": "14,4", "name": "generalized_linkage", "value": 9032638064070775899754}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 719495612182608661493739}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 718079882941284412897296}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 717917856981590728854702}, {"parameter": "[6, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 717898650642684946410309}, {"parameter": "[6, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 717910378141871890246106}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3016595246188134639042}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2961287439854057769573}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2954566042840021559370}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2954321104302226071963}, {"parameter": "[7, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2954363702768707363263}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9971821408268934334440}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9969374284499933450397}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9969288836484683502150}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9969285711225582934627}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 9969285886370466426153}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 27516983328564249626406}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 27516900714140719728657}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 27516899533782257072214}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 27516899520687443339317}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 27516899520831542078404}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 81168332141703855319587}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 81166066504924568613993}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 81166066491866444874150}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 81166066491807414698854}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81166066491807608720500}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 81225103996092775254336}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 81225103877986093424430}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 81225103877985877004407}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81225103877985877255918}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 81336523773343212801366}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 81336523773342562624201}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81336523773342562624657}, {"parameter": "[13, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 27101481022998199317784}, {"parameter": "[13, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 27101481022998199317421}, {"parameter": "[14, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 9032638064070775899754}, {"parameter": "[6, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 8877518371273852199790}, {"parameter": "[6, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 8877324699738990082737}, {"parameter": "[6, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 10472720275867630748220}, {"parameter": "[6, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 26591618507229537178635}, {"parameter": "[6, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 26591887355206084459038}, {"parameter": "[6, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 26591693683671222341985}, {"parameter": "[6, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 28187089259799863007468}, {"parameter": "[6, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 26591018128688349182151}, {"parameter": "[6, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 26591286976664896462554}, {"parameter": "[6, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 26591093305130034345501}, {"parameter": "[6, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 28186488881258675010984}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 81356003956914565744323}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79788082557690826434027}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79788351405667373714430}, {"parameter": "[6, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79788157734132511597377}, {"parameter": "[6, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 81383553310261152262860}, {"parameter": "[6, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 81336520890866713298751}, {"parameter": "[6, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 79768599491642973988455}, {"parameter": "[6, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 79768868339619521268858}, {"parameter": "[6, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79768674668084659151805}, {"parameter": "[6, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 81364070244213299817288}, {"parameter": "[6, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 81336687045010313680494}, {"parameter": "[6, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 79768765645786574370198}, {"parameter": "[6, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79769034493763121650601}, {"parameter": "[6, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79768840822228259533548}, {"parameter": "[6, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 81364236398356900199031}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80030070550055592710019}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79945110163985556674187}, {"parameter": "[6, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79945085098417264343442}, {"parameter": "[6, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79947300720390856652889}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79851468550578440076819}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766508164508404040987}, {"parameter": "[6, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766483098940111710242}, {"parameter": "[6, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79768698720913704019689}, {"parameter": "[6, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 79851444831863536865958}, {"parameter": "[6, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766484445793500830126}, {"parameter": "[6, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766459380225208499381}, {"parameter": "[6, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79768675002198800808828}, {"parameter": "[6, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 79851597154867876700169}, {"parameter": "[6, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766636768797840664337}, {"parameter": "[6, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766611703229548333592}, {"parameter": "[6, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79768827325203140643039}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 81336901760029571569371}, {"parameter": "[6, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 81336518266966294823415}, {"parameter": "[6, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81336521537445456005454}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79767071655170004314667}, {"parameter": "[6, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766688162106727568711}, {"parameter": "[6, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79766691432585888750750}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766856688627334912598}, {"parameter": "[6, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766473195564058166642}, {"parameter": "[6, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79766476466043219348681}, {"parameter": "[6, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766829392631253517205}, {"parameter": "[6, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766445899567976771249}, {"parameter": "[6, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79766449170047137953288}, {"parameter": "[6, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766979350893763547348}, {"parameter": "[6, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766595857830486801392}, {"parameter": "[6, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79766599128309647983431}, {"parameter": "[6, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 26590968259248784813524}, {"parameter": "[6, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 26590968101195888548221}, {"parameter": "[6, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 26589090140666513281287}, {"parameter": "[6, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 26589089982613617015984}, {"parameter": "[6, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 26588842183469597499738}, {"parameter": "[6, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588842025416701234435}, {"parameter": "[6, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 26588817244612499944077}, {"parameter": "[6, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588817086559603678774}, {"parameter": "[6, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 26588967360425973759114}, {"parameter": "[6, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588967202373077493811}, {"parameter": "[6, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8865360709867433636766}, {"parameter": "[6, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 8863191709140140662905}, {"parameter": "[6, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 8862965322127069980636}, {"parameter": "[6, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 8862940849235617055565}, {"parameter": "[6, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 8863091172724265465463}, {"parameter": "[7, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 36605581948418563791}, {"parameter": "[7, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 36615887046332883090}, {"parameter": "[7, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 98805567559570726509}, {"parameter": "[7, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 169609109839255074618}, {"parameter": "[7, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 109509778802944922850}, {"parameter": "[7, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109520083900859242149}, {"parameter": "[7, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 171709764414097085568}, {"parameter": "[7, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 169601080085103383307}, {"parameter": "[7, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 109501749048793231539}, {"parameter": "[7, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109512054146707550838}, {"parameter": "[7, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 171701734659945394257}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 169849661006496208419}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 109750329970186056651}, {"parameter": "[7, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109760635068100375950}, {"parameter": "[7, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 171950315581338219369}, {"parameter": "[7, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 169600885491152747898}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109501554454842596130}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109511859552756915429}, {"parameter": "[7, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 171701540065994758848}, {"parameter": "[7, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 169601105786191203078}, {"parameter": "[7, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109501774749881051310}, {"parameter": "[7, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109512079847795370609}, {"parameter": "[7, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 171701760361033214028}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 117345293923555422315}, {"parameter": "[7, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 116273903468968885086}, {"parameter": "[7, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 116366309621695088910}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 110491173828783560403}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419783374197023174}, {"parameter": "[7, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109512189526923226998}, {"parameter": "[7, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 110490845264827828794}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419454810241291565}, {"parameter": "[7, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109511860962967495389}, {"parameter": "[7, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 110491045635217955193}, {"parameter": "[7, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419655180631417964}, {"parameter": "[7, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109512061333357621788}, {"parameter": "[7, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 169602346350816191415}, {"parameter": "[7, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 169600987436805511947}, {"parameter": "[7, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 109429863841671555015}, {"parameter": "[7, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109428504927660875547}, {"parameter": "[7, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109420845160106469186}, {"parameter": "[7, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419486246095789718}, {"parameter": "[7, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109420472979867943206}, {"parameter": "[7, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419114065857263738}, {"parameter": "[7, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109420670792162033136}, {"parameter": "[7, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419311878151353668}, {"parameter": "[7, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36555663646153787373}, {"parameter": "[7, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36483685880248796112}, {"parameter": "[7, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36473462803462499451}, {"parameter": "[7, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36473121115412678892}, {"parameter": "[7, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36473319276195593835}, {"parameter": "[8, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 125332134289552143558}, {"parameter": "[8, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 123080899190576560110}, {"parameter": "[8, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 125613538676924091489}, {"parameter": "[8, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 125331962572393963110}, {"parameter": "[8, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 123080727473418379662}, {"parameter": "[8, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 125613366959765911041}, {"parameter": "[8, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 125331928680849585390}, {"parameter": "[8, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 123080693581874001942}, {"parameter": "[8, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 125613333068221533321}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 125335033964546657310}, {"parameter": "[8, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 123083798865571073862}, {"parameter": "[8, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 125616438351918605241}, {"parameter": "[8, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 125331928445297928078}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 123080693346322344630}, {"parameter": "[8, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 125613332832669876009}, {"parameter": "[8, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 125331928716104849889}, {"parameter": "[8, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 123080693617129266441}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 125613333103476797820}, {"parameter": "[8, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 123175589882855785911}, {"parameter": "[8, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 123166312815140227188}, {"parameter": "[8, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 123089974627195863153}, {"parameter": "[8, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 123080697559480304430}, {"parameter": "[8, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 123089970419889600204}, {"parameter": "[8, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 123080693352174041481}, {"parameter": "[8, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 123089970659447791215}, {"parameter": "[8, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 123080693591732232492}, {"parameter": "[8, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 125335020754325235150}, {"parameter": "[8, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 123080810747339795724}, {"parameter": "[8, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 123080698091254325481}, {"parameter": "[8, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 123080693347958621580}, {"parameter": "[8, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 123080693586829657191}, {"parameter": "[9, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 113322077934599408409}, {"parameter": "[9, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 113322077934599408409}, {"parameter": "[9, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 113322077793190929924}, {"parameter": "[9, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 113322077793190929924}, {"parameter": "[9, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 113322077652557292417}, {"parameter": "[9, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 113322077652557292417}, {"parameter": "[9, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 113322090443979719655}, {"parameter": "[9, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 113322090443979719655}, {"parameter": "[9, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 113322077652363316452}, {"parameter": "[9, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 113322077652363316452}, {"parameter": "[9, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 113322077652605653548}, {"parameter": "[9, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 113322077652605653548}, {"parameter": "[9, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 113323138788812186097}, {"parameter": "[9, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 113322077669716936191}, {"parameter": "[9, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 113322077652387463848}, {"parameter": "[9, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 113322077652570815367}, {"parameter": "[10, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 113604561408423593916}, {"parameter": "[10, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 113604561408229617951}, {"parameter": "[10, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 113604561408036704868}, {"parameter": "[10, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 113604561460693418796}, {"parameter": "[10, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 113604561408036438783}, {"parameter": "[10, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 113604561408036771207}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1681797959362042457940}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1679647175549664214716}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1682066807338589738343}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 111734639446030858719}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 111725776325924904420}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 111734639446030858719}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 111725776325924904420}, {"parameter": "[6, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 111725776325924904420}, {"parameter": "[6, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109574992513546661196}, {"parameter": "[6, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 111994624302472184823}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1681650541311462689256}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1681650541311462689256}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1681648070617877553468}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1681648070617877553468}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 113729142087723378960}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 113729142087723378960}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 113729142087723378960}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 113729142087723378960}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 113726671394138243172}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 113726671394138243172}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 113726671394138243172}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 113726671394138243172}, {"parameter": "[6, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 113729142087723378960}, {"parameter": "[6, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 111578358275345135736}, {"parameter": "[6, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 113997990064270659363}, {"parameter": "[6, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 113726671394138243172}, {"parameter": "[6, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 111575887581759999948}, {"parameter": "[6, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 113995519370685523575}, {"parameter": "[6, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3249595993364246867436}, {"parameter": "[6, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3249569267622068743368}, {"parameter": "[6, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3249569495542704683535}, {"parameter": "[6, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1681674594140507557140}, {"parameter": "[6, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1681674594140507557140}, {"parameter": "[6, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1681647868398329433072}, {"parameter": "[6, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1681647868398329433072}, {"parameter": "[6, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1681648096318965373239}, {"parameter": "[6, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1681648096318965373239}, {"parameter": "[6, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1681674594140507557140}, {"parameter": "[6, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1679523810328129313916}, {"parameter": "[6, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1681943442117054837543}, {"parameter": "[6, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1681647868398329433072}, {"parameter": "[6, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1679497084585951189848}, {"parameter": "[6, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1681916716374876713475}, {"parameter": "[6, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1681648096318965373239}, {"parameter": "[6, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1679497312506587130015}, {"parameter": "[6, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1681916944295512653642}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 60414739615036800900}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60414739615036800900}, {"parameter": "[7, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 315408578726649132}, {"parameter": "[7, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 315408578726649132}, {"parameter": "[7, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 120513876057396317259}, {"parameter": "[7, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 120513865042644394500}, {"parameter": "[7, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60414545021086165491}, {"parameter": "[7, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 60414545021086165491}, {"parameter": "[7, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60414534006334242732}, {"parameter": "[7, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 60414534006334242732}, {"parameter": "[8, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4677485920508688039}, {"parameter": "", "name": "JohnsonLB", "value": 728328556961648668857955}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 3012925192193173390137}], "request": [3, 16, 4, 6], "liftedmrdsizebound": 735273947008278364131028, "comments": "", "equal_bound_constraints": []}