{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4274137206973266943778085267}, {"parameter": "", "name": "singleton", "value": 4165817792093527797314451}, {"parameter": "8", "name": "ilp_2", "value": 2088000589630320930033261}, {"parameter": "10", "name": "ilp_3", "value": 4178042235555490658629604}, {"parameter": "", "name": "anticode", "value": 2088000589630320930033261}, {"parameter": "", "name": "linear_programming_bound", "value": 2088000589630320930033261}, {"parameter": "", "name": "sphere_packing", "value": 4274137206973266943778085267}, {"parameter": "1", "name": "ilp_1", "value": 2088000589630320930033261}, {"parameter": "2", "name": "ilp_1", "value": 2088000589630320930033261}, {"parameter": "3", "name": "ilp_1", "value": 2088000589630320930033261}, {"parameter": "4", "name": "ilp_1", "value": 2088000589630320930033261}, {"parameter": "5", "name": "ilp_1", "value": 2088000589630320930033261}, {"parameter": "6", "name": "ilp_1", "value": 2088000589630320930033261}, {"parameter": "7", "name": "ilp_1", "value": 2088000589630320930033261}, {"parameter": "11", "name": "ilp_4", "value": 4169878010376095464377274}, {"parameter": "12", "name": "ilp_4", "value": 4169878010376095464377274}, {"parameter": "13", "name": "ilp_4", "value": 4169878010376095464377274}, {"parameter": "14", "name": "ilp_4", "value": 4169878010343335810459287}, {"parameter": "15", "name": "ilp_4", "value": 4169878010343180845208965}, {"parameter": "16", "name": "ilp_4", "value": 4169878010343180460012669}, {"parameter": "17", "name": "ilp_4", "value": 4169878010343180459792029}, {"parameter": "18", "name": "ilp_4", "value": 4169878010343180730065821}, {"parameter": "", "name": "johnson_1", "value": 2088000589630320930033261}, {"parameter": "", "name": "johnson_2", "value": 4169878010343180730065821}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 4274137206973266943778085267}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 4178042235555490658629604}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 4169878010376095464377274}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 4169878010376095464377274}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 4169878010376095464377274}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 4169878010343335810459287}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 4169878010343180845208965}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 4169878010343180460012669}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 4169878010343180459792029}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 4169878010343180730065821}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 2089019119683884859948906}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 2091059163745780855358277}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2095151228564463620952049}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2103383594397105655582854}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2120043945307437639494394}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2154169165561191146814784}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2225825009160119122168629}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 2384457205077627696489722}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 2780830973957883502783399}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 4165817792093527797314451}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 4274137206973266943778085267}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 4178042235555490658629604}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 4182126339406290042520022}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 4190318547695176621964536}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 4206799627404596111591082}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 4240153804196524709086200}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 4308474442683135569681913}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 4451940667228348706333987}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 4769581572355863017649572}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 5563477104808068113234291}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 8339787869494479328087443}, {"parameter": "", "name": "improved_johnson", "value": 2088000589630320930033261}], "known_codes": [], "upper_bound": 2088000589630320930033261, "classified": false, "lower_bound": 1348002146261417447406857, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1208925819614629174706176}, {"parameter": "", "name": "sphere_covering", "value": 4088100038520322622210}, {"parameter": "", "name": "graham_sloane", "value": 8152285307423733458541}, {"parameter": "", "name": "multicomponent", "value": 1208935043021850535789057}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1253879878343688917614592}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1348002146261417447406857}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1289520797394170812563456}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 5350779704902368100351}, {"parameter": "(10,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 1209554232836662166028288}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1209554232836730617069568}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1209554232837761409220608}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1209554232836936775499776}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1209554232836666192560128}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1209554232836661901787136}, {"parameter": "(9,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 49676425211929392316416}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 49676425211933683089408}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 49676425212204266029056}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 49676425213028899749888}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 49676425211998107598848}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 49676425211929656557568}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1209554232836661897592832}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 49676425211929388122112}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1209554232836661897592832}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 49676425211929388122112}, {"parameter": "9", "name": "linkage_GLT", "value": 1208925819614629174706177}, {"parameter": "10", "name": "linkage_GLT", "value": 4722366482869645213697}, {"parameter": "9", "name": "improved_linkage", "value": 1208936249984424373006057}, {"parameter": "10", "name": "improved_linkage", "value": 4722386775263063861349}, {"parameter": "11", "name": "improved_linkage", "value": 6281116396422645915070}, {"parameter": "12", "name": "improved_linkage", "value": 6944820841459696743256}, {"parameter": "13", "name": "improved_linkage", "value": 5537890442002422672729}, {"parameter": "14", "name": "improved_linkage", "value": 5274197952059782062571}, {"parameter": "15", "name": "improved_linkage", "value": 5278050895262872765097}, {"parameter": "16", "name": "improved_linkage", "value": 5319529180337970348033}, {"parameter": "17", "name": "improved_linkage", "value": 5340349335141529539073}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1209554232836661897592832}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1209158205097414854148096}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1208992874338965757766656}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1208939229817073159506368}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1208928901646677029962432}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1208926522973415822262468}, {"parameter": "9,6", "name": "generalized_linkage", "value": 1208925961661383105239747}, {"parameter": "9,7", "name": "generalized_linkage", "value": 1208936249984424373006057}, {"parameter": "10,0", "name": "generalized_linkage", "value": 49676425211929388122112}, {"parameter": "10,1", "name": "generalized_linkage", "value": 4747031131406102003712}, {"parameter": "10,2", "name": "generalized_linkage", "value": 4726661024665698497536}, {"parameter": "10,3", "name": "generalized_linkage", "value": 4722961055242363356736}, {"parameter": "10,4", "name": "generalized_linkage", "value": 4722423308011836174312}, {"parameter": "10,5", "name": "generalized_linkage", "value": 4722372561904917785872}, {"parameter": "10,6", "name": "generalized_linkage", "value": 4722367072737799061026}, {"parameter": "10,7", "name": "generalized_linkage", "value": 4722386775263063861349}, {"parameter": "11,1", "name": "generalized_linkage", "value": 7118404316271483387904}, {"parameter": "11,2", "name": "generalized_linkage", "value": 6281330728553439130624}, {"parameter": "11,3", "name": "generalized_linkage", "value": 6281134193822726125248}, {"parameter": "11,4", "name": "generalized_linkage", "value": 6281117534956632185208}, {"parameter": "11,5", "name": "generalized_linkage", "value": 6281116409457874600454}, {"parameter": "11,6", "name": "generalized_linkage", "value": 6281116359477342451624}, {"parameter": "11,7", "name": "generalized_linkage", "value": 6281116396422645915070}, {"parameter": "12,2", "name": "generalized_linkage", "value": 6948354352943161209856}, {"parameter": "12,3", "name": "generalized_linkage", "value": 6944821272917432132800}, {"parameter": "12,4", "name": "generalized_linkage", "value": 6944820858494090821416}, {"parameter": "12,5", "name": "generalized_linkage", "value": 6944820841908341553330}, {"parameter": "12,6", "name": "generalized_linkage", "value": 6944820841392863029479}, {"parameter": "12,7", "name": "generalized_linkage", "value": 6944820841459696743256}, {"parameter": "13,3", "name": "generalized_linkage", "value": 5537893944815999415488}, {"parameter": "13,4", "name": "generalized_linkage", "value": 5537890442206046529512}, {"parameter": "13,5", "name": "generalized_linkage", "value": 5537890442006021839942}, {"parameter": "13,6", "name": "generalized_linkage", "value": 5537890442002314236821}, {"parameter": "13,7", "name": "generalized_linkage", "value": 5537890442002422672729}, {"parameter": "14,4", "name": "generalized_linkage", "value": 5274197952880496792552}, {"parameter": "14,5", "name": "generalized_linkage", "value": 5274197952059803872342}, {"parameter": "14,6", "name": "generalized_linkage", "value": 5274197952059781850711}, {"parameter": "14,7", "name": "generalized_linkage", "value": 5274197952059782062571}, {"parameter": "15,5", "name": "generalized_linkage", "value": 5278050895262917198422}, {"parameter": "15,6", "name": "generalized_linkage", "value": 5278050895262872764927}, {"parameter": "15,7", "name": "generalized_linkage", "value": 5278050895262872765097}, {"parameter": "16,6", "name": "generalized_linkage", "value": 5319529180337970348543}, {"parameter": "16,7", "name": "generalized_linkage", "value": 5319529180337970348033}, {"parameter": "17,7", "name": "generalized_linkage", "value": 5340349335141529539073}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1209554232836661897592832}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1209158205097414854148096}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208992874338965757766656}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208939229817073159506368}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1208928901646677029962432}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1208926522973415822262468}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1208925961661383105239747}, {"parameter": "[9, 10],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 1208936249984424373006057}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 49676425211929388122112}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4747031131406102003712}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726661024665698497536}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722961055242363356736}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4722423308011836174312}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722372561904917785872}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 4722367072737799061026}, {"parameter": "[10, 9],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 4722386775263063861349}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7118404316271483387904}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6281330728553439130624}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6281134193822726125248}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6281117534956632185208}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6281116409457874600454}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 6281116359477342451624}, {"parameter": "[11, 8],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 6281116396422645915070}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6948354352943161209856}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6944821272917432132800}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6944820858494090821416}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6944820841908341553330}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 6944820841392863029479}, {"parameter": "[12, 7],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 6944820841459696743256}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5537893944815999415488}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5537890442206046529512}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5537890442006021839942}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5537890442002314236821}, {"parameter": "[13, 6],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 5537890442002422672729}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5274197952880496792552}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5274197952059803872342}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5274197952059781850711}, {"parameter": "[14, 5],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 5274197952059782062571}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5278050895262917198422}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5278050895262872764927}, {"parameter": "[15, 4],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 5278050895262872765097}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5319529180337970348543}, {"parameter": "[16, 3],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 5319529180337970348033}, {"parameter": "[17, 2],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 5340349335141529539073}, {"parameter": "[9, 2, 8],[0, 7, 1]", "name": "generalized_linkage_multipleblocks", "value": 5360003076939222876160}, {"parameter": "[9, 2, 8],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 5360003076939222876160}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 5350905805691934474240}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 5350905805691934474240}, {"parameter": "[9, 3, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 5350797719300877582336}, {"parameter": "[9, 3, 7],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 5350797719300877582336}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5351409012581548949504}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5351409012581548949504}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 5350779951192972722176}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 5350779951192972722176}, {"parameter": "[9, 4, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 5350803665459760594944}, {"parameter": "[9, 4, 6],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 5350803665459760594944}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5353539268531609141248}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5353539268531609141248}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5350780934018929000448}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5350780934018929000448}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 5350780032488113700864}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 5350780032488113700864}, {"parameter": "[9, 5, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 5350806197291441979392}, {"parameter": "[9, 5, 5],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 5350806197291441979392}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5362215086518020603904}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 5362215086518020603904}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5350785094675081461760}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 5350785094675081461760}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5350781339723418828800}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 5350781339723418828800}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 5350780067102999969792}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 5350780067102999969792}, {"parameter": "[9, 6, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 5350800830277894537216}, {"parameter": "[9, 6, 4],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 5350800830277894537216}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 5396375839051465359360}, {"parameter": "[9, 7, 3],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 5396375839051465359360}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 5350802039632086171648}, {"parameter": "[9, 7, 3],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350802039632086171648}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 5350786873721152864256}, {"parameter": "[9, 7, 3],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350786873721152864256}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 5350781512469472346112}, {"parameter": "[9, 7, 3],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350781512469472346112}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 5350779993725861625856}, {"parameter": "[9, 7, 3],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350779993725861625856}, {"parameter": "[9, 7, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 5350799824370874187776}, {"parameter": "[9, 7, 3],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350799824370874187776}, {"parameter": "[9, 8, 2],[0, 1, 7]", "name": "generalized_linkage_multipleblocks", "value": 5525495368905698312192}, {"parameter": "[9, 8, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350868759851878055936}, {"parameter": "[9, 8, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350809411837793894400}, {"parameter": "[9, 8, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350787631226173304832}, {"parameter": "[9, 8, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350781146279880711168}, {"parameter": "[9, 8, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350779979973226582016}, {"parameter": "[9, 8, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 5350799839068686089216}, {"parameter": "[10, 2, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 44963300115495107166208}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 44963282628862179016704}, {"parameter": "[10, 3, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 44963282136280969773056}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 44963287544091472035840}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 44963282102127389835264}, {"parameter": "[10, 4, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 44963282147894561341440}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 44963330558022511493120}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 44963282111727447048192}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 44963282102467631775744}, {"parameter": "[10, 5, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 44963282152839545094144}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 44963686400747905220608}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 44963282195739031109632}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 44963282115236457873408}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 44963282102612504346624}, {"parameter": "[10, 6, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 44963282142357096759296}, {"parameter": "[10, 7, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 44966510890229606907904}, {"parameter": "[10, 7, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 44963282890744354144256}, {"parameter": "[10, 7, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 44963282226978428080128}, {"parameter": "[10, 7, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 44963282116730569442304}, {"parameter": "[10, 7, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 44963282102305401368064}, {"parameter": "[10, 7, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 44963282140392434610176}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 337068120408692163286108}], "request": [2, 19, 4, 9], "liftedmrdsizebound": 1513360560621515783212971, "comments": "", "equal_bound_constraints": []}