{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 7148137820029694060329151542340927025750946128111633510288306711436}, {"parameter": "", "name": "singleton", "value": 596125663245224644870826488}, {"parameter": "2", "name": "ilp_2", "value": 523436276069253518132042064}, {"parameter": "3", "name": "ilp_2", "value": 11990991599181005907760970819161071863744}, {"parameter": "4", "name": "ilp_2", "value": 277744368970440181213433660985643359622882622857726935}, {"parameter": "6", "name": "ilp_3", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "7", "name": "ilp_3", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "8", "name": "ilp_3", "value": 30437746136116296700646966229901852929751322431249926}, {"parameter": "", "name": "anticode", "value": 523436276069253518132042064}, {"parameter": "", "name": "linear_programming_bound", "value": 523436276069253518132042064}, {"parameter": "", "name": "sphere_packing", "value": 37629639475741901049147133807995177603349876564043}, {"parameter": "1", "name": "ilp_1", "value": 523436276068246643227235014}, {"parameter": "9", "name": "ilp_4", "value": 30433622408877605926551344425916424341739795308781969}, {"parameter": "10", "name": "ilp_4", "value": 30433622408877605926551344425916424341739795308781969}, {"parameter": "11", "name": "ilp_4", "value": 41749202431874131779538760784033225786764293440668}, {"parameter": "12", "name": "ilp_4", "value": 57269630026029414890394151649074013868593057390}, {"parameter": "13", "name": "ilp_4", "value": 78564977185658544170440751903977200243399888}, {"parameter": "14", "name": "ilp_4", "value": 107770885268625492190035030473063079260060}, {"parameter": "15", "name": "ilp_4", "value": 147833862967112213142222611713739498694}, {"parameter": "16", "name": "ilp_4", "value": 202789935747915994877603971961674469}, {"parameter": "17", "name": "ilp_4", "value": 278175497990641589376392209704575}, {"parameter": "18", "name": "ilp_4", "value": 381585045253301511381035709794}, {"parameter": "", "name": "johnson_1", "value": 523436276068246643227235014}, {"parameter": "", "name": "johnson_2", "value": 381585045253301511381035709794}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 7148137820029694060329151542340927025750946128111633510288306711436}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 30437746136116296700646966229901852929751322431249926}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 30433622408877605926551344425916424341739795308781969}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 30433622408877605926551344425916424341739795308781969}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 41749202431874131779538760784033225786764293440668}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 57269630026029414890394151649074013868593057390}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 78564977185658544170440751903977200243399888}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 107770885268625492190035030473063079260060}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 147833862967112213142222611713739498694}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 202789935747915994877603971961674469}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 278175497990641589376392209704575}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 381585045253301511381035709794}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 277744368970440181213433660985643359622882622857726935}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 37629639475741901049147133807995177603349876564043}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 5664555091939644487081973315790405222667357161}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 5657648149386184656689170260161633354964154620}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5657648149546419501951408298230319534679775376}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 69884172073641172610883750153779877392647760}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 863351597903571862010556711166274548130969}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 10658641894268565980510107699235914873558}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 131588290619029754867993455821129343631}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1624551022121118753136933376807035036}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 20056487284805080725271298185679456}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 247644501451132266421878067188603}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3061072036821705263222291374870}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 38210855342009324962393176868}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 524146405326332306853282161}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 11990991599181005907760970819161071863744}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 14623160486806735317887585046917550259}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 14462684128672347257601929710414981106}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 14462684128722861495513536230860751787}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1624575477524046781112411426775434743}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 180481213766957465360627246495749157}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 20056151968449432401399396411449990}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 2228457239419778989638347660801585}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 247606820037055044641620746818453}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 27511919328840614056088165675143}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 3056931055694258165135280056144}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 339710081779859764071122851472}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 37796710309130732349411848047}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 4251417722108853987802185805}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 530617348602894811670995069}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 523436276069253518132042064}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 523436276069276116321925515}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 523436276069479500030876652}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 523436276071309953411443295}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 523436276087784033837061635}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 523436276236050757709629895}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 523436277570451275965003681}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 523436289580056215846389280}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 523436397666522997008212125}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 523437370446532131402530915}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 523446125613073209669011576}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 523524933976897414371916905}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 524235171616488079506776096}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 530706224197455513642771124}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 596125663245224644870826488}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 7148137820029694060329151542340927025750946128111633510288306711436}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 277744368970440181213433660985643359622882622857726935}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 11990991599181005907760970819161071863744}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 523436276069253518132042064}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 523436276068246643227235014}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 37629639475741901049147133807995177603349876564043}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 14623160486806735317887585046917550259}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 14641015383569937313361617484721679314}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 14803693332276212350803579831240067228}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 16448548146972922174601939677237933651}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 5664555091939644487081973315790405222667357161}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 5665407930706871499053097142163659204087836847}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 5673094008485584039975716876122885105475115780}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 5743132206120985075996130430611857445192792745}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 6452160873540790561119698311010285947475340508}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 30437746136116296700646966229901852929751322431249926}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 30438260903651133974101079853955560772672841673207505}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 30442894517592975088504038547525969277771747164736766}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 30484654318027446072668431507654284897423443384959169}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 30865189783440454206099478380178682170490217995132507}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 34718046121166753868579146371116506562228516029840080}, {"parameter": "", "name": "improved_johnson", "value": 523436276068246643227234993}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1825112876581927964605943243403370331}], "known_codes": [], "upper_bound": 523436276068246643227234993, "classified": false, "lower_bound": 523347645185048907969003136, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 523347633027360537213511521}, {"parameter": "", "name": "sphere_covering", "value": 864837992193717477326}, {"parameter": "", "name": "graham_sloane", "value": 23198497954296}, {"parameter": "", "name": "multicomponent", "value": 523347645185026278699976804}, {"parameter": "", "name": "construction_ST_A_1", "value": 523347645185048877034552336}, {"parameter": "[(0, 1, 2, 3, 4), (4, 5, 6, 7, 8), (2, 6, 9, 10, 11), (3, 8, 11, 12, 13), (0, 5, 10, 12, 14), (1, 7, 9, 12, 15), (1, 6, 13, 14, 16), (4, 10, 13, 15, 17), (2, 8, 14, 15, 18), (0, 8, 9, 16, 17), (3, 7, 10, 16, 18), (1, 5, 11, 17, 18)]", "name": "ef_computation", "value": 523347645185048876980206844}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 523347633027360537213511521}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 523347633177455175997295773}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 6461081891079693530830804}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 79766443099749302324884}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 984770902466040769363}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 717910145357315132483452}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 523347633177455172510569692}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 523347633029213557402363363}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 523347633177478049302965604}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 523347645185026278699976804}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 523347645185028541623053053}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 523347633177455172510569692}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 523347633029213557402363363}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 523347633027383414005966483}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 523347633027360819643048003}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 523347633027566431832390572}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 6461081891079693487784083}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 6461081889249550091387203}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 6461081889226955728468723}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 6461081889226676785716643}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 79766443099749302318323}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 79766443077154939399843}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 79766443076875996647763}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 984770902466040769363}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 984770902187098017283}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 717910145357315132483452}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 523347633177455175997295773}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 6461081891079693530830804}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 79766443099749302324884}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 984770902466040769363}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 717910145357315132483452}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 523347633177455172510569692}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 523347633029213557402363363}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 523347633177478049302965604}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 523347645185026278699976804}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 523347645185028541623053053}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 523347633177455172510569692}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 523347633029213557402363363}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 523347633027383414005966483}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 523347633027360819643048003}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 523347633027566431832390572}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 6461081891079693487784083}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 6461081889249550091387203}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 6461081889226955728468723}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 6461081889226676785716643}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 79766443099749302318323}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 79766443077154939399843}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 79766443076875996647763}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 984770902466040769363}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 984770902187098017283}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 717910145357315132483452}, {"parameter": "", "name": "construction_1", "value": 523347645185048907969003136}, {"parameter": "5", "name": "linkage_GLT", "value": 523347633177455175997295773}, {"parameter": "6", "name": "linkage_GLT", "value": 6461081891079693530830804}, {"parameter": "7", "name": "linkage_GLT", "value": 79766443099749302324884}, {"parameter": "8", "name": "linkage_GLT", "value": 984770902466040769363}, {"parameter": "9", "name": "linkage_GLT", "value": 717910145357315132483452}, {"parameter": "10", "name": "linkage_GLT", "value": 523347633177455172510569692}, {"parameter": "11", "name": "linkage_GLT", "value": 523347633029213557402363363}, {"parameter": "12", "name": "linkage_GLT", "value": 523347633177478049302965604}, {"parameter": "13", "name": "linkage_GLT", "value": 523347645185026278699976804}, {"parameter": "14", "name": "linkage_GLT", "value": 523347645185028541623053053}, {"parameter": "5", "name": "improved_linkage", "value": 523347645185026278700508425}, {"parameter": "6", "name": "improved_linkage", "value": 6461082039321312082716493}, {"parameter": "7", "name": "improved_linkage", "value": 79766444929892741761924}, {"parameter": "8", "name": "improved_linkage", "value": 984770925060403694404}, {"parameter": "9", "name": "improved_linkage", "value": 717910145357594075235532}, {"parameter": "10", "name": "improved_linkage", "value": 523347633177455175997295044}, {"parameter": "11", "name": "improved_linkage", "value": 523347633029213557402422412}, {"parameter": "12", "name": "improved_linkage", "value": 523347633177478049302965604}, {"parameter": "13", "name": "improved_linkage", "value": 523347645185026278699976804}, {"parameter": "14", "name": "improved_linkage", "value": 523347645185028541623053053}, {"parameter": "15", "name": "improved_linkage", "value": 717898004369065680184297}, {"parameter": "5,0", "name": "generalized_linkage", "value": 523347633177455175997295773}, {"parameter": "5,1", "name": "generalized_linkage", "value": 523347645185026278700508425}, {"parameter": "6,0", "name": "generalized_linkage", "value": 6461081891079693530830804}, {"parameter": "6,1", "name": "generalized_linkage", "value": 6461082039321312082716493}, {"parameter": "7,0", "name": "generalized_linkage", "value": 79766443099749302324884}, {"parameter": "7,1", "name": "generalized_linkage", "value": 79766444929892741761924}, {"parameter": "8,0", "name": "generalized_linkage", "value": 984770902466040769363}, {"parameter": "8,1", "name": "generalized_linkage", "value": 984770925060403694404}, {"parameter": "9,0", "name": "generalized_linkage", "value": 717910145357315132483452}, {"parameter": "9,1", "name": "generalized_linkage", "value": 717910145357594075235532}, {"parameter": "10,0", "name": "generalized_linkage", "value": 523347633177455172510569692}, {"parameter": "10,1", "name": "generalized_linkage", "value": 523347633177455175997295044}, {"parameter": "11,0", "name": "generalized_linkage", "value": 523347633029213557402363363}, {"parameter": "11,1", "name": "generalized_linkage", "value": 523347633029213557402422412}, {"parameter": "12,0", "name": "generalized_linkage", "value": 523347633177478049302965604}, {"parameter": "12,1", "name": "generalized_linkage", "value": 523347633177478049302965604}, {"parameter": "13,0", "name": "generalized_linkage", "value": 523347645185026278699976804}, {"parameter": "13,1", "name": "generalized_linkage", "value": 523347645185026278699976804}, {"parameter": "14,0", "name": "generalized_linkage", "value": 523347645185028541623053053}, {"parameter": "14,1", "name": "generalized_linkage", "value": 523347645185028541623053053}, {"parameter": "15,1", "name": "generalized_linkage", "value": 717898004369065680184297}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455175997295773}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347645185026278700508425}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693530830804}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461082039321312082716493}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302324884}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766444929892741761924}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770925060403694404}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315132483452}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910145357594075235532}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455172510569692}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455175997295044}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633029213557402363363}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633029213557402422412}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633177478049302965604}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633177478049302965604}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347645185026278699976804}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347645185026278699976804}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347645185028541623053053}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347645185028541623053053}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717898004369065680184297}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315132483452}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910145357594075235532}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455172510569692}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455175997295044}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455172510569692}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455175997295044}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633029213557402363363}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633029213557402422412}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633029213557402363363}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633029213557402422412}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414005966483}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414005966483}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414005966483}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414005966483}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360819643048003}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360819643048003}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633044038001342714572}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633044038001342714572}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633027566431832390572}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027566431832390572}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347645185025999757224724}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347645185025999757224724}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987897743720923948}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717898004369034288495868}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 8863088214287798154100}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 8863088214291284879452}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487784083}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487843132}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487784083}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487843132}, {"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, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226676785716643}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226676785716643}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889432567917811292}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889432567917811292}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8862938119655987939380}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 8862938325543633249628}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109420842151701211051}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109420842151701270100}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302318323}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302318323}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302318323}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302318323}, {"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, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076875996647763}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076875996647763}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076875996647763}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076875996647763}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512418259}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109418989134999202660}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1350874594465447051}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350874594465447051}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350851717673051139}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350851717673051139}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984787579647740435932}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787579647740435932}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315132483452}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315132483452}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315132483452}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315132483452}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787579365310958500}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787579365310958500}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 717897987897747207649300}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987897747207649300}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987897743720923948}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987897743720923948}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098076332}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984787579647740435932}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787579647740435932}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315132483452}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315132483452}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315132483452}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315132483452}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787579365310958500}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787579365310958500}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 717897987897747207649300}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987897747207649300}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 717897987897747207649300}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987897747207649300}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987897743720923948}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987897743720923948}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987897743720923948}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987897743720923948}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098076332}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098076332}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157871353675807852}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871353675807852}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871350189082500}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871350189082500}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543772252}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543772252}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894618938100}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1853302661435052}], "request": [9, 19, 8, 5], "liftedmrdsizebound": 523347645203581934588260464, "comments": "", "equal_bound_constraints": []}