{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1731212183148357775944585240618840930624286}, {"parameter": "", "name": "singleton", "value": 9771253933538933149312961201158497760}, {"parameter": "7", "name": "ilp_2", "value": 6515174556481852235227251394772094425}, {"parameter": "9", "name": "ilp_3", "value": 175918319596418837104418782706924187646}, {"parameter": "", "name": "anticode", "value": 6515174556481852235227251394772094425}, {"parameter": "", "name": "linear_programming_bound", "value": 6515174556481852235227251394772094425}, {"parameter": "", "name": "sphere_packing", "value": 1731212183148357775944585240618840930624286}, {"parameter": "1", "name": "ilp_1", "value": 6515100999487517778771939016669541079}, {"parameter": "2", "name": "ilp_1", "value": 6515100999487517778771939016669581441}, {"parameter": "3", "name": "ilp_1", "value": 6515100999487517778771939037631803443}, {"parameter": "4", "name": "ilp_1", "value": 6515100999487517778773826424200383003}, {"parameter": "5", "name": "ilp_1", "value": 6515100999487519116357138030260359635}, {"parameter": "6", "name": "ilp_1", "value": 6515100999733581388221292692248322001}, {"parameter": "10", "name": "ilp_4", "value": 175918319596418837104418782706924187646}, {"parameter": "11", "name": "ilp_4", "value": 175918312331039873606218339908501322299}, {"parameter": "12", "name": "ilp_4", "value": 175918312331039873606218339908501322299}, {"parameter": "13", "name": "ilp_4", "value": 175918312331039659577241810873776933210}, {"parameter": "14", "name": "ilp_4", "value": 175918312331039659483791097219842481961}, {"parameter": "15", "name": "ilp_4", "value": 175918312331039659483789847462975097308}, {"parameter": "16", "name": "ilp_4", "value": 175918312331039659568951644745269440613}, {"parameter": "17", "name": "ilp_4", "value": 58631495487512487835593883163460670457}, {"parameter": "18", "name": "ilp_4", "value": 19545597226562922966870098569754224545}, {"parameter": "", "name": "johnson_1", "value": 6515100999487517778771939016669541079}, {"parameter": "", "name": "johnson_2", "value": 19545597226562922966870098569754224545}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1731212183148357775944585240618840930624286}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 175918312331039873606218339908501322299}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 175918312331039873606218339908501322299}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 175918312331039659577241810873776933210}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 175918312331039659483791097219842481961}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 175918312331039659483789847462975097308}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 175918312331039659568951644745269440613}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 58631495487512487835593883163460670457}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 19545597226562922966870098569754224545}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 6515174556481852235227251394772094425}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 6515199068045629392939086619344889775}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6515272603843590077426191230951413429}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 6515493221197622171672721104638301721}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 6516155162914223543876020201026943989}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 6518141795309911393793542213476218850}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 6524108967317064670515683120863520872}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 6542076217170320979563559788134082586}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 6596576690183156503536357659888664235}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 6765666131598372245967447818533293111}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 7329278271883379022207254214895986631}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 9771253933538933149312961201158497760}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1731212183148357775944585240618840930624286}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 6515174556481852235227251394772094425}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 6515100999733581388221292692248322001}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 6515100999487519116357138030260359635}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 6515100999487517778773826424200383003}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 6515100999487517778766368945563556448}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 6515100999487517778766368935039313303}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 6515100999487517778766368935039247653}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 175936197272562662262437109492449671360}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 175989852109440884430253770508396083251}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 176151013155717702141597447207966988560}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 176636272153714250009739038629847455558}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 178108224262742653994687573696663616070}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 182675048266978590108249791359872953296}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 197897775613774110539616335312777893598}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 263862583736385343242102717216527933566}, {"parameter": "", "name": "improved_johnson", "value": 6515100999487517778771939016669541072}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 58639439865472945701472927568974729215}], "known_codes": [], "upper_bound": 6515100999487517778766368935039247653, "classified": false, "lower_bound": 5556470543990117093920796733024932097, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 5474401089420219382077155933569751763}, {"parameter": "", "name": "sphere_covering", "value": 1986341179282204083213136164434418}, {"parameter": "", "name": "graham_sloane", "value": 2979040833396016204058829634499542}, {"parameter": "", "name": "multicomponent", "value": 5474402233981572579359580712261210114}, {"parameter": "", "name": "construction_ST_B", "value": 5543686347815640663849249133387949808}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 5474557144860961315292765021943004248}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 5542988174276844227437006182392981724}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 5543686347816062575551359180483106093}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 5556470543990117093920796733024932097}, {"parameter": "", "name": "two_pivot_block_construction", "value": 5542831103018347137686947988179517440}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 23002063624815171685856080928021921}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 5543687506683929680212033218489009131}, {"parameter": "(11,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 5474874753500095379501266501965782952}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 5474874753500095383403727019687760098}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5474874753500095379801455772559781194}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5474874753500095379351789540065067778}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 5474874753500095379351171877129137034}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 2522367031666234484337000253892829}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 2522367031666234934003232748606245}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2522367031666235834571044530600971}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2522367031666234500396508557275451}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2522367031666234483721868723437211}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 8448646526726763563655694538931873}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 8448646526726763580330334372770113}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 8448646526726764914504870346095633}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 8448646526726764013937058564100907}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 8448646526726763564270826069387491}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 24116369173935378890421407535106236}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 24116369173935378891039070471036980}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 24116369173935379340705302965750396}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 24116369173935382942976550093729300}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 24116369173935379040516032371752154}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 5474874753500095379351171866668783831}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 2522367031666234483719326857608882}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 8448646526726763563653152673103544}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 24116369173935378890421397074753033}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 5474874753500095379351171866668783831}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 2522367031666234483719326857608882}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 8448646526726763563653152673103544}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 24116369173935378890421397074753033}, {"parameter": "8", "name": "linkage_GLT", "value": 5474401089420219382077155933615534551}, {"parameter": "9", "name": "linkage_GLT", "value": 2503155504993241601315571986093230}, {"parameter": "10", "name": "linkage_GLT", "value": 8448006759193011549753194709327688}, {"parameter": "11", "name": "linkage_GLT", "value": 23960313733193445674812308701500549}, {"parameter": "8", "name": "improved_linkage", "value": 5474402256556818429630585263765001336}, {"parameter": "9", "name": "improved_linkage", "value": 2503156038686773176336523356878892}, {"parameter": "10", "name": "improved_linkage", "value": 8448006759274342475016075073754812}, {"parameter": "11", "name": "improved_linkage", "value": 23960313733193458065262328003074943}, {"parameter": "12", "name": "improved_linkage", "value": 23024495015922733605609652546629717}, {"parameter": "13", "name": "improved_linkage", "value": 22928263966954058168085005079975637}, {"parameter": "14", "name": "improved_linkage", "value": 22959754034725500349010758739993983}, {"parameter": "15", "name": "improved_linkage", "value": 22970255523566154400109274853454506}, {"parameter": "16", "name": "improved_linkage", "value": 22973756553214617462813095670762004}, {"parameter": "17", "name": "improved_linkage", "value": 7657583226350998049835411032448454}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5474874753500095379351171866668783831}, {"parameter": "8,1", "name": "generalized_linkage", "value": 5474453387788204922918656728513476226}, {"parameter": "8,2", "name": "generalized_linkage", "value": 5474406921325424592353708780233020537}, {"parameter": "8,3", "name": "generalized_linkage", "value": 5474401733615575673981164764146926158}, {"parameter": "8,4", "name": "generalized_linkage", "value": 5474401158779313777186793597386378888}, {"parameter": "8,5", "name": "generalized_linkage", "value": 5474401096358235292552428301390061322}, {"parameter": "8,6", "name": "generalized_linkage", "value": 5474402256556818429630585263765001336}, {"parameter": "9,0", "name": "generalized_linkage", "value": 2522367031666234483719326857608882}, {"parameter": "9,1", "name": "generalized_linkage", "value": 2505246390350215955596503568996317}, {"parameter": "9,2", "name": "generalized_linkage", "value": 2503230528637545136776746966642472}, {"parameter": "9,3", "name": "generalized_linkage", "value": 2503158250134944219962733224266303}, {"parameter": "9,4", "name": "generalized_linkage", "value": 2503155603343690064973768205412244}, {"parameter": "9,5", "name": "generalized_linkage", "value": 2503155508246478611830786563170849}, {"parameter": "9,6", "name": "generalized_linkage", "value": 2503156038686773176336523356878892}, {"parameter": "10,0", "name": "generalized_linkage", "value": 8448646526726763563653152673103544}, {"parameter": "10,1", "name": "generalized_linkage", "value": 8448034394576286418125220685546040}, {"parameter": "10,2", "name": "generalized_linkage", "value": 8448007734856081568826225667495755}, {"parameter": "10,3", "name": "generalized_linkage", "value": 8448006770673474834520989846647670}, {"parameter": "10,4", "name": "generalized_linkage", "value": 8448006759329234911046440274407341}, {"parameter": "10,5", "name": "generalized_linkage", "value": 8448006759194510794205530199829482}, {"parameter": "10,6", "name": "generalized_linkage", "value": 8448006759274342475016075073754812}, {"parameter": "11,0", "name": "generalized_linkage", "value": 24116369173935378890421397074753033}, {"parameter": "11,1", "name": "generalized_linkage", "value": 23960314037684207091395596603282965}, {"parameter": "11,2", "name": "generalized_linkage", "value": 23960313737457578985102022187871381}, {"parameter": "11,3", "name": "generalized_linkage", "value": 23960313733242805712190934778297736}, {"parameter": "11,4", "name": "generalized_linkage", "value": 23960313733193634011653277144725011}, {"parameter": "11,5", "name": "generalized_linkage", "value": 23960313733193446361283581667311244}, {"parameter": "11,6", "name": "generalized_linkage", "value": 23960313733193458065262328003074943}, {"parameter": "12,1", "name": "generalized_linkage", "value": 23024519712568782039732210804273228}, {"parameter": "12,2", "name": "generalized_linkage", "value": 23024495015938352964451550195741760}, {"parameter": "12,3", "name": "generalized_linkage", "value": 23024495015922805317683861747727564}, {"parameter": "12,4", "name": "generalized_linkage", "value": 23024495015922733872902069619939891}, {"parameter": "12,5", "name": "generalized_linkage", "value": 23024495015922733604039235689580442}, {"parameter": "12,6", "name": "generalized_linkage", "value": 23024495015922733605609652546629717}, {"parameter": "13,2", "name": "generalized_linkage", "value": 22928263967375969870194763526244899}, {"parameter": "13,3", "name": "generalized_linkage", "value": 22928263966954058255567336431866375}, {"parameter": "13,4", "name": "generalized_linkage", "value": 22928263966954058168214918668466915}, {"parameter": "13,5", "name": "generalized_linkage", "value": 22928263966954058168084866598633254}, {"parameter": "13,6", "name": "generalized_linkage", "value": 22928263966954058168085005079975637}, {"parameter": "14,3", "name": "generalized_linkage", "value": 22959754034725501136469603152413956}, {"parameter": "14,4", "name": "generalized_linkage", "value": 22959754034725500349010811616571676}, {"parameter": "14,5", "name": "generalized_linkage", "value": 22959754034725500349010758718420875}, {"parameter": "14,6", "name": "generalized_linkage", "value": 22959754034725500349010758739993983}, {"parameter": "15,4", "name": "generalized_linkage", "value": 22970255523566154400109433622321086}, {"parameter": "15,5", "name": "generalized_linkage", "value": 22970255523566154400109274853450405}, {"parameter": "15,6", "name": "generalized_linkage", "value": 22970255523566154400109274853454506}, {"parameter": "16,5", "name": "generalized_linkage", "value": 22973756553214617462813095670765283}, {"parameter": "16,6", "name": "generalized_linkage", "value": 22973756553214617462813095670762004}, {"parameter": "17,6", "name": "generalized_linkage", "value": 7657583226350998049835411032448454}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5474874753500095379351171866668783831}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5474453387788204922918656728513476226}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5474406921325424592353708780233020537}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5474401733615575673981164764146926158}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5474401158779313777186793597386378888}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5474401096358235292552428301390061322}, {"parameter": "[8, 11],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5474402256556818429630585263765001336}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2522367031666234483719326857608882}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2505246390350215955596503568996317}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503230528637545136776746966642472}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503158250134944219962733224266303}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503155603343690064973768205412244}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 2503155508246478611830786563170849}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 2503156038686773176336523356878892}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8448646526726763563653152673103544}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8448034394576286418125220685546040}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8448007734856081568826225667495755}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8448006770673474834520989846647670}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8448006759329234911046440274407341}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 8448006759194510794205530199829482}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 8448006759274342475016075073754812}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 24116369173935378890421397074753033}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23960314037684207091395596603282965}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 23960313737457578985102022187871381}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 23960313733242805712190934778297736}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 23960313733193634011653277144725011}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 23960313733193446361283581667311244}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 23960313733193458065262328003074943}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23024519712568782039732210804273228}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 23024495015938352964451550195741760}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 23024495015922805317683861747727564}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 23024495015922733872902069619939891}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 23024495015922733604039235689580442}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 23024495015922733605609652546629717}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22928263967375969870194763526244899}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22928263966954058255567336431866375}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22928263966954058168214918668466915}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22928263966954058168084866598633254}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 22928263966954058168085005079975637}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22959754034725501136469603152413956}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22959754034725500349010811616571676}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22959754034725500349010758718420875}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 22959754034725500349010758739993983}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22970255523566154400109433622321086}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22970255523566154400109274853450405}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 22970255523566154400109274853454506}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22973756553214617462813095670765283}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973756553214617462813095670762004}, {"parameter": "[17, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7657583226350998049835411032448454}, {"parameter": "[8, 2, 9],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 7510678955693526691324252535020695}, {"parameter": "[8, 2, 9],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 7510687439330335754104891692800715}, {"parameter": "[8, 2, 9],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 7984275156129152915457535006986042}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 22973763356732862047597895835178895}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528474227898774817409782277489135}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528482711535583880190421435269155}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 23002070428334401041543064749454482}, {"parameter": "[8, 3, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 22973757076561265719271449273040643}, {"parameter": "[8, 3, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528467947727178489083335715350883}, {"parameter": "[8, 3, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528476431363987551863974873130903}, {"parameter": "[8, 3, 8],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 23002064148162804713216618187316230}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22973824578116055091864196043653283}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528535449281967861676082485963523}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528543932918776924456721643743543}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 23002131649717594085809364957928870}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 22973756554250596451910254687752815}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528467425416509221722141130063055}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528475909053318284502780287843075}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 23002063625852135445855423602028402}, {"parameter": "[8, 4, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 22973757141969749042306907360996663}, {"parameter": "[8, 4, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528468013135661812118793803306903}, {"parameter": "[8, 4, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528476496772470874899432961086923}, {"parameter": "[8, 4, 7],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 23002064213571288036252076275272250}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22974388645802673006897603971737923}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22529099516968585776709490414048163}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22529108000605394839490129571828183}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 23002695717404212000842772886013510}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22973756563581701953060119997950723}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528467434747614722872006440260963}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528475918384423785652645598040983}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 23002063635183240947005288912226310}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 22973756554380197165703801548771475}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528467425546109935515687991081715}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528475909182918998296327148861735}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 23002063625981736159648970463047062}, {"parameter": "[8, 5, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 22973757109825452978836963286806310}, {"parameter": "[8, 5, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528467980991365748648849729116550}, {"parameter": "[8, 5, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528476464628174811429488886896570}, {"parameter": "[8, 5, 6],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 23002064181426991972782132201081897}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22979486751137058005930375120248803}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22534197622302970775742261562559043}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 22534206105939779838522900720339063}, {"parameter": "[8, 6, 5],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 23007793822738596999875544034524390}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22973756649554524178012876194860963}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528467520720436947824762637171203}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528476004357246010605401794951223}, {"parameter": "[8, 6, 5],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 23002063721156063171958045109136550}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22973756564877513078520011860396343}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528467436043425848331898302706583}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528475919680234911112537460486603}, {"parameter": "[8, 6, 5],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 23002063636479052072465180774671930}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 22973756554316506287967921458394326}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528467425482419057779807900704566}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528475909119228120560447058484586}, {"parameter": "[8, 6, 5],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 23002063625918045281913090372669913}, {"parameter": "[8, 6, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 22973757088085847835144088954088465}, {"parameter": "[8, 6, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528467959251760604955975396398705}, {"parameter": "[8, 6, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528476442888569667736614554178725}, {"parameter": "[8, 6, 5],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 23002064159687386829089257868364052}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22580453378826223622636158785409443}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 22579571111635776736362298470767046}, {"parameter": "[8, 7, 4],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 22579647433329362658475438796307543}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22529282726885860424697387257479203}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528400459695413538423526942836806}, {"parameter": "[8, 7, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528476781388999460536667268377303}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22529281961894882926389900261567543}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528399694704436040116039946925146}, {"parameter": "[8, 7, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528476016398021962229180272465643}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22529281864540283426138671059688710}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528399597349836539864810745046313}, {"parameter": "[8, 7, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528475919043422461977951070586810}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 22529281854573014116443769186540101}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528399587382567230169908871897704}, {"parameter": "[8, 7, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528475909076153152283049197438201}, {"parameter": "[8, 7, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 22529282386149928211894764878589416}, {"parameter": "[8, 7, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528400118959481325620904563947019}, {"parameter": "[8, 7, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528476440653067247734044889487516}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22973756687710313811198897802274415}, {"parameter": "[8, 8, 3],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973756563559531239548449424355683}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528407478784325735080880455063535}, {"parameter": "[8, 8, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528407354633543163430432077144803}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528400661963441611430110106199875}, {"parameter": "[8, 8, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528400537812659039779661728281143}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528399781900213051860343868596082}, {"parameter": "[8, 8, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528399657749430480209895490677350}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528399690032238933858492487101917}, {"parameter": "[8, 8, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528399565881456362208044109183185}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528399680491224722623637030715356}, {"parameter": "[8, 8, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528399556340442150973188652796624}, {"parameter": "[8, 8, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528400212804100576447621459826729}, {"parameter": "[8, 8, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528400088653318004797173081907997}, {"parameter": "[8, 9, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7509534404765994401466903950150829}, {"parameter": "[8, 9, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 7509475299444059348440711851955329}, {"parameter": "[8, 9, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 7509467454210186896056848857900496}, {"parameter": "[8, 9, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 7509466623788027279856585756682011}, {"parameter": "[8, 9, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 7509466535877719090701845696176562}, {"parameter": "[8, 9, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 7509466526382442005080542507956843}, {"parameter": "[8, 9, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 7509467058937824001342324329451233}, {"parameter": "[9, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 20511408970053476635743187795575}, {"parameter": "[9, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 3436810003133911730089217169495}, {"parameter": "[9, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 22645733840918422248949934123835}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 20510888813078172350106368818494}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3436289846158607444452398192414}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 22645213683943117963313115146754}, {"parameter": "[9, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 20510885702186892352078484147415}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 3436286735267327446424513521335}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 22645210573051837965285230475675}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 20510982125117954750943082030455}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3436383158198389845289111404375}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22645306995982900364149828358715}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 20510885622906755893568251436094}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3436286655987190987914280810014}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 22645210493771701506774997764354}, {"parameter": "[9, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 20510885712156178028505165764235}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 3436286745236613122851195138155}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 22645210583021123641711912092495}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 20513582889390735434182612577655}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3438983922471170528528641951575}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 22647907760255681047389358905915}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 20510885637128984179256536257495}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3436286670209419273602565631415}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 22645210507993929792463282585755}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 20510885622967534955762591820894}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3436286656047970050108621194814}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 22645210493832480568969338149154}, {"parameter": "[9, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 20510885707256879741129774196762}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 3436286740337314835475803570682}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 22645210578121825354336520525022}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 20584292775672609820846313571735}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3509693808753044915192342945655}, {"parameter": "[9, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 22718617646537555434053059899995}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20510886033526526136379419892695}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3436287066606961230725449266615}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 22645210904391471749586166220955}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 20510885638967270815641456363915}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3436286672047705909987485737835}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 22645210509832216428848202692175}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 20510885622937665738951889845174}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3436286656018100833297919219094}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 22645210493802611352158636173434}, {"parameter": "[9, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 20510885703943420642868400270117}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3436286737023855737214429644037}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 22645210574808366256075146598377}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 5410025209000332904233332213334}, {"parameter": "[9, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 5402216703375217249550868507255}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3444106349535274854374025409974}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436297843910159199691561703895}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3444095623612504110855592503114}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436287117987388456173128797035}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3444095176769415356676332567001}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436286671144299701993868860922}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3444095161623015548500051427373}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436286655997899893817587721294}, {"parameter": "[9, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3444095242308245523888576071547}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436286736683129869206112365468}, {"parameter": "[9, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 20513488457628821160100128852747}, {"parameter": "[9, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436586294282758220013823329495}, {"parameter": "[9, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436299242248157273264864187915}, {"parameter": "[9, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436287092737029776464862166522}, {"parameter": "[9, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436286670533314343740482268677}, {"parameter": "[9, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436286655995822613719990908134}, {"parameter": "[9, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3436286736794626946189633263569}, {"parameter": "[10, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 4502596492893405102003402175719}, {"parameter": "[10, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 4502596492893405102003402175719}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 4502596414598039545676780697279}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 4502596414598039545676780697279}, {"parameter": "[10, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 4502596413139119690589949241159}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 4502596413139119690589949241159}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4502596546974614642527476570759}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4502596546974614642527476570759}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 4502596413127186240573743385119}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4502596413127186240573743385119}, {"parameter": "[10, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 4502596413140639167144807750779}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 4502596413140639167144807750779}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4502607646227347566356899125959}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4502607646227347566356899125959}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4502596413147362520881143277799}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4502596413147362520881143277799}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4502596413127214263232353029939}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4502596413127214263232353029939}, {"parameter": "[10, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 4502596413139892436724540201386}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 4502596413139892436724540201386}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4503513768705331662677698780839}, {"parameter": "[10, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 4503513768705331662677698780839}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4502596414839063897641367240999}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 4502596414839063897641367240999}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4502596413149912194180214424219}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 4502596413149912194180214424219}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4502596413127200491797990528266}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 4502596413127200491797990528266}, {"parameter": "[10, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 4502596413139387413237531913941}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 4502596413139387413237531913941}, {"parameter": "[10, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 4527161614274016812945880792051}, {"parameter": "[10, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 4502596552946437466319361571079}, {"parameter": "[10, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 4502596415053044012785185171419}, {"parameter": "[10, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 4502596413148659184643428491306}, {"parameter": "[10, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 4502596413127191177997971018621}, {"parameter": "[10, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 4502596413139335481235091993612}, {"parameter": "[11, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 159707370894847895096649595811754}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 159707370894836411930539280953077}, {"parameter": "[11, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 159707370894835739284210727734794}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 159707370895020016287227752071114}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 159707370894835737533994890162037}, {"parameter": "[11, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 159707370894835739515802947649214}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 159707370941245924543152529734474}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 159707370894835765518198012928554}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 159707370894835737546843475446117}, {"parameter": "[11, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 159707370894835739401989440521101}, {"parameter": "[11, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 159707374685240648528712579809526}, {"parameter": "[11, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 159707370894842811076536059686314}, {"parameter": "[11, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 159707370894835769028538834254174}, {"parameter": "[11, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 159707370894835737540529176315705}, {"parameter": "[11, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 159707370894835739325015886640856}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 448859094882754869798609874424004}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 448859094882754869798609874424004}, {"parameter": "[8, 2, 7, 2],[0, 6, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 3569966048667639610496316734244}, {"parameter": "[8, 2, 7, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3569966048667639610496316734244}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 894147701406172832625528846825936}, {"parameter": "[8, 3, 5, 3],[0, 6, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 894147700448975515703058728465604}, {"parameter": "[8, 3, 6, 2],[0, 5, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 448858572572085602437415289136176}, {"parameter": "[8, 3, 6, 2],[0, 5, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 448858572572085602437415289136176}, {"parameter": "[8, 3, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 448858571614888285514945170775844}, {"parameter": "[8, 3, 6, 2],[0, 6, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 448858571614888285514945170775844}, {"parameter": "[9, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 34154927031655344018505973764428}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 68598531571865678273037666956747775}], "request": [3, 19, 4, 8], "liftedmrdsizebound": 5607558258347638570775729693635485302, "comments": "", "equal_bound_constraints": []}