{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 307704473408605914952760539398546150757773592525338030710455055152968189724}, {"parameter": "", "name": "singleton", "value": 7359576089446900104682897}, {"parameter": "2", "name": "ilp_2", "value": 6461203467963087232700203}, {"parameter": "3", "name": "ilp_2", "value": 16426015889289049188713658656385029950}, {"parameter": "4", "name": "ilp_2", "value": 41810081133590272649922273217769585973638811208449}, {"parameter": "5", "name": "ilp_2", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "7", "name": "ilp_3", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "8", "name": "ilp_3", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "9", "name": "ilp_3", "value": 1797318476230645782260377666962291952522290519401494635922}, {"parameter": "10", "name": "ilp_3", "value": 3381456336696079152937611369166569406627557989325008}, {"parameter": "", "name": "anticode", "value": 6461203467963087232700203}, {"parameter": "", "name": "linear_programming_bound", "value": 6461203467963087232700203}, {"parameter": "", "name": "sphere_packing", "value": 852710385663021333284042546421308456032027}, {"parameter": "1", "name": "ilp_1", "value": 6461203467037814991581877}, {"parameter": "11", "name": "ilp_4", "value": 3381405434242759912098571613561963076214856279212196}, {"parameter": "12", "name": "ilp_4", "value": 3381405434242759912098571613561963076214856279212196}, {"parameter": "13", "name": "ilp_4", "value": 515382059819534949115840106080395362557308973517}, {"parameter": "14", "name": "ilp_4", "value": 78552486203376546158345706174627231509064893}, {"parameter": "15", "name": "ilp_4", "value": 11972642075014957471384654217109284305597}, {"parameter": "16", "name": "ilp_4", "value": 1824834700631564445326078841239015795}, {"parameter": "17", "name": "ilp_4", "value": 278133622939828658951102908376045}, {"parameter": "18", "name": "ilp_4", "value": 42391955946117730883353256996}, {"parameter": "", "name": "johnson_1", "value": 6461203467037814991581877}, {"parameter": "", "name": "johnson_2", "value": 42391955946117730883353256996}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 307704473408605914952760539398546150757773592525338030710455055152968189724}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1797318476230645782260377666962291952522290519401494635922}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 3381456336696079152937611369166569406627557989325008}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 3381405434242759912098571613561963076214856279212196}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 3381405434242759912098571613561963076214856279212196}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 515382059819534949115840106080395362557308973517}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 78552486203376546158345706174627231509064893}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 11972642075014957471384654217109284305597}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1824834700631564445326078841239015795}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 278133622939828658951102908376045}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 42391955946117730883353256996}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1619811255751730261128076503965218884428507744262107794283}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 27092989219360500964658360295941898538106107828200492}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 458192776412537884235222042940806046085960500138}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 458130700249953663944632435020366346553854774482}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 458130701301062656764879990218758071455473369105}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 628469116388915094114680665784696426719755858}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 862105103108627484537610988799716801602827}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1182675372837168834740964396350576483587}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1622349998215562309301524969058716639}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2225747377354471457604743437421834}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3056879258662448936676321998662}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 4239841016370609560099076857}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 6462176247748223198649982}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 41810081133590272649922273217769585973638811208449}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 5664555091939644487081973315790405222667357161}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 852710385663021333284042546421308456032027}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 851670653253981872890774186132109120097914}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 851670653495190431235165424132493449321040}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 10519971737768620068485077247362712627491}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 129964115302870653940411028267126635545}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1604492566976349138649848046694567294}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 19808601263364041401484970664562406}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 244554949687438228976589906658660}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 3019651401755935650653951922041}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 37330216214460080302292766234}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 466555800397727095678085647}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 6470943275624692715602021}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 16426015889289049188713658656385029950}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 20031726694262798344826758483605917}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 19811896066743645884265118124466783}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 19811896067373343918525704388711163}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 2225445860259358014707536054063430}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 247234540044157578310126981487368}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 27474181416159290894312226375190}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 3052681787351560942247090937814}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 339188062172115097308500870679}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 37688198199024698114334033516}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 4188214360135016375735244885}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 465994721334796785727678463}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 52422719225945635351605585}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 6550831464212620460764981}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 6461203467963087232700203}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 6461203467965600830071581}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 6461203467988223206414061}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 6461203468191824593502793}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 6461203470024237077820556}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 6461203486515949478733779}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 6461203634941364493274629}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 6461204970770375536268070}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 6461216993253823846933567}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 6461325197415151744517909}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 6462299181522921427893052}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 6471076933730396822181937}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 6551052111601228249105596}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 7359576089446900104682897}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 307704473408605914952760539398546150757773592525338030710455055152968189724}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 41810081133590272649922273217769585973638811208449}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 16426015889289049188713658656385029950}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 6461203467963087232700203}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 6461203467037814991581877}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1619811255751730261128076503965218884428507744262107794283}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5664555091939644487081973315790405222667357161}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 20031726694262798344826758483605917}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 20056185457015178889413050304056379}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 20279031962092415191069592764916734}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 22532257735650261092476787823448615}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 27092989219360500964658360295941898538106107828200492}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 852710385663021333284042546421308456032027}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 852838766144109163015135954902855269587276}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 853995785227164264743881693741051540582791}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 864538943069172190728407209717729016155517}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 971272145913779151648543133916499223550831}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1797318476230645782260377666962291952522290519401494635922}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 458192776412537884235222042940806046085960500138}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 458200525434587214406552177418547742369008479082}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 458270277262691058598236662364118067764138451034}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 458898905900750984200951313687772373322988619538}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 464627273586097319449717482770667281607249345657}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 3381456336696079152937611369166569406627557989325008}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 3381462698544907993575332002885324003914002090457579}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 3381519956154013773733992405819529867582303409728681}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 3382035353189281906312743138334278628169883579256754}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 3386680298065419080564296929649905430757821104134601}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 3429007349398348275292849585381353943122667124166318}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 3857567937595016308705834953070576178084351138070085}, {"parameter": "", "name": "improved_johnson", "value": 6461203467037814991581855}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2503203130018911338631914877561749}], "known_codes": [], "upper_bound": 6461203467037814991581855, "classified": false, "lower_bound": 6461081891079693530830804, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 6461081889226673298932241}, {"parameter": "", "name": "sphere_covering", "value": 131775283696444362}, {"parameter": "", "name": "graham_sloane", "value": 740}, {"parameter": "", "name": "multicomponent", "value": 6461081891079693487784083}, {"parameter": "[(0, 1, 2, 3, 4, 5), (5, 6, 7, 8, 9, 10), (0, 7, 11, 12, 13, 14), (8, 11, 15, 16, 17, 18)]", "name": "ef_computation", "value": 6461081891079693488315524}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 6461081889226673298932241}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 6461081889249550091387203}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 79766443077154939399843}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 984770902183611764323}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 12157665459056928802}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 150094635296999122}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 984772755203800084723}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 6461081889249550091387203}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 6461081889226955728468723}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 6461081889249550091387203}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 6461081889226955728468723}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 79766443077154939399843}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 6461081889249550091387203}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 79766443077154939399843}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 984770902183611764323}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 12157665459056928802}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 150094635296999122}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 984772755203800084723}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 6461081889249550091387203}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 6461081889226955728468723}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 6461081889249550091387203}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 6461081889226955728468723}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 79766443077154939399843}, {"parameter": "", "name": "construction_1", "value": 6461081891079693530830804}, {"parameter": "6", "name": "linkage_GLT", "value": 6461081889249550091387203}, {"parameter": "7", "name": "linkage_GLT", "value": 79766443077154939399843}, {"parameter": "8", "name": "linkage_GLT", "value": 984770902183611764323}, {"parameter": "9", "name": "linkage_GLT", "value": 12157665459056928802}, {"parameter": "10", "name": "linkage_GLT", "value": 150094635296999122}, {"parameter": "11", "name": "linkage_GLT", "value": 984772755203800084723}, {"parameter": "12", "name": "linkage_GLT", "value": 6461081889249550091387203}, {"parameter": "13", "name": "linkage_GLT", "value": 6461081889226955728468723}, {"parameter": "6", "name": "improved_linkage", "value": 6461081891079693487784083}, {"parameter": "7", "name": "improved_linkage", "value": 79766443099749302318323}, {"parameter": "8", "name": "improved_linkage", "value": 984770902466040769363}, {"parameter": "9", "name": "improved_linkage", "value": 12157665459057460243}, {"parameter": "10", "name": "improved_linkage", "value": 150094635296999122}, {"parameter": "11", "name": "improved_linkage", "value": 984772755203800084723}, {"parameter": "12", "name": "improved_linkage", "value": 6461081889249550091387203}, {"parameter": "13", "name": "improved_linkage", "value": 6461081889226955728468723}, {"parameter": "14", "name": "improved_linkage", "value": 984770902183611764323}, {"parameter": "6,0", "name": "generalized_linkage", "value": 6461081889249550091387203}, {"parameter": "6,1", "name": "generalized_linkage", "value": 6461081891079693487784083}, {"parameter": "7,0", "name": "generalized_linkage", "value": 79766443077154939399843}, {"parameter": "7,1", "name": "generalized_linkage", "value": 79766443099749302318323}, {"parameter": "8,0", "name": "generalized_linkage", "value": 984770902183611764323}, {"parameter": "8,1", "name": "generalized_linkage", "value": 984770902466040769363}, {"parameter": "9,0", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "9,1", "name": "generalized_linkage", "value": 12157665459057460243}, {"parameter": "10,0", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "10,1", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "11,0", "name": "generalized_linkage", "value": 984772755203800084723}, {"parameter": "11,1", "name": "generalized_linkage", "value": 984772755203800084723}, {"parameter": "12,0", "name": "generalized_linkage", "value": 6461081889249550091387203}, {"parameter": "12,1", "name": "generalized_linkage", "value": 6461081889249550091387203}, {"parameter": "13,0", "name": "generalized_linkage", "value": 6461081889226955728468723}, {"parameter": "13,1", "name": "generalized_linkage", "value": 6461081889226955728468723}, {"parameter": "14,1", "name": "generalized_linkage", "value": 984770902183611764323}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487784083}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302318323}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902183611764323}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459057460243}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772755203800084723}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772755203800084723}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226955728468723}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226955728468723}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902183611764323}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772755203800084723}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772755203800084723}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226955728468723}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226955728468723}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226955728468723}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226955728468723}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902183611764323}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902183611764323}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157688335849383763}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157688335849383763}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459057460243}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459057460243}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535603}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535603}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635297530563}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635297530563}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 205894618879059}], "request": [9, 19, 10, 6], "liftedmrdsizebound": 6461081891080007346741392, "comments": "", "equal_bound_constraints": []}