{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 121054341648959027302844048757257745445935205299689616572044120}, {"parameter": "", "name": "singleton", "value": 7359576089446900104682897}, {"parameter": "2", "name": "ilp_2", "value": 6462176247768561569545102}, {"parameter": "3", "name": "ilp_2", "value": 16448548147024690597509908162687931849}, {"parameter": "4", "name": "ilp_2", "value": 42332627491302977051133303606312202988936638080676}, {"parameter": "6", "name": "ilp_3", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "7", "name": "ilp_3", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "8", "name": "ilp_3", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "", "name": "anticode", "value": 6462176247768561569545102}, {"parameter": "", "name": "linear_programming_bound", "value": 6462176247768561569545102}, {"parameter": "", "name": "sphere_packing", "value": 5735351238493128131529182219933043291338959144}, {"parameter": "1", "name": "ilp_1", "value": 6462176247748223198649997}, {"parameter": "9", "name": "ilp_4", "value": 515396067822931389553464783403404044270485981000}, {"parameter": "10", "name": "ilp_4", "value": 515396067822931389553464783403404044270485981000}, {"parameter": "11", "name": "ilp_4", "value": 707026409115688781379876244606365776768200721}, {"parameter": "12", "name": "ilp_4", "value": 969866213247081433022885820050330781286165}, {"parameter": "13", "name": "ilp_4", "value": 1330504787306391470866282056693661913458}, {"parameter": "14", "name": "ilp_4", "value": 1825109405216358978872226780961699991}, {"parameter": "15", "name": "ilp_4", "value": 2503579450407386256761226938942654}, {"parameter": "16", "name": "ilp_4", "value": 3434265368556743223230311359314}, {"parameter": "17", "name": "ilp_4", "value": 4710926484625132175949304577}, {"parameter": "", "name": "johnson_1", "value": 6462176247748223198649997}, {"parameter": "", "name": "johnson_2", "value": 4710926484625132175949304577}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 121054341648959027302844048757257745445935205299689616572044120}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 515396067822931389553464783403404044270485981000}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 515396067822931389553464783403404044270485981000}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 707026409115688781379876244606365776768200721}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 969866213247081433022885820050330781286165}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1330504787306391470866282056693661913458}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1825109405216358978872226780961699991}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2503579450407386256761226938942654}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 3434265368556743223230311359314}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 4710926484625132175949304577}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 42332627491302977051133303606312202988936638080676}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 5735351238493128131529182219933043291338959144}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 863367640901878146106586653572944103625132}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 862314913815907975372797977008333970842455}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 862314914035708860568425475916052547404980}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 10651451338813759135458723601236567372043}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 131588418797258076540373494385723311853}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1624545629454507253480151863075234396}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 20056166847181877251288720704292161}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 247610954771635673124662121935647}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 3057339521071847687185083537359}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 37791012752161918096605391201}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 471738954841268675661694003}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 6470943275624692715602021}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 16448548147024690597509908162687931849}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 20059205057354968252110082216285582}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 19839072878905665389201350220463214}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 19839072879529297956031099372237888}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 2228498598057045571022664190204738}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 247573682066516827723152643757411}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 27511868899933125796210678474018}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 3056869271634588915026414532299}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 339653332840328656815679732654}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 37739888806785724072089360004}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 4193951628099629864958741648}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 466626053081635707556409645}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 52486638544735006900920694}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 6550831464212620460764981}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 6462176247768561569545102}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 6462176247771072479532153}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 6462176247793670669415691}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 6462176247997054378373934}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 6462176249827507759516673}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 6462176266301588231804533}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 6462176414568315884654799}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 6462177748969140343385617}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 6462189758598882742801407}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 6462297847074698519242350}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 6463270789837960264051295}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 6472039155758832297800564}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 6551928693795463867987305}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 7359576089446900104682897}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 121054341648959027302844048757257745445935205299689616572044120}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 42332627491302977051133303606312202988936638080676}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 16448548147024690597509908162687931849}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 6462176247768561569545102}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 6462176247748223198649997}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 5735351238493128131529182219933043291338959144}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 20059205057354968252110082216285582}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 20083697371222235345428668951083204}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 20306849564235104634783448591727372}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 22563166182475460655083994523524484}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 863367640901878146106586653572944103625132}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 863497626776427903547318825553275313252792}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 864669106394867642928203022557292703042284}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 875344033634003926173930285083152300672655}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 983411198276695286855864932158249993845032}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 515474621139218053067212155940268627167373269183}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 515553091798175710562918648563099958647762543353}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 516260297685235443378313781634826213832889798428}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 522704699204743498036455927173432732018690972907}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 587953159580355890974683988909617412559591458771}, {"parameter": "", "name": "improved_johnson", "value": 6462176247748223198649982}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2503584192850029010275198647049846}], "known_codes": [], "upper_bound": 6462176247748223198649982, "classified": false, "lower_bound": 6461082039321591121724275, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 6461081889226673298932241}, {"parameter": "", "name": "sphere_covering", "value": 10677012249640729458}, {"parameter": "", "name": "graham_sloane", "value": 286401209313}, {"parameter": "", "name": "multicomponent", "value": 6461082039321312082715764}, {"parameter": "[(0, 1, 2, 3, 4), (4, 5, 6, 7, 8), (2, 6, 9, 10, 11), (3, 7, 10, 12, 13), (1, 8, 11, 12, 14), (0, 5, 9, 13, 14), (0, 7, 11, 15, 16), (1, 5, 10, 15, 17), (2, 8, 13, 16, 17)]", "name": "ef_computation", "value": 6461082039321591073829065}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 6461081889226673298932241}, {"parameter": "(5, 13)", "name": "CKMP2019_Lem_41", "value": 6461081891079693530830804}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 79766443099749302324884}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 984770902466040769363}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 12157665462543713203}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 8863088214287798154100}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 6461081891079693487784083}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 6461081889249550091387203}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 6461081891079975917320564}, {"parameter": "(13, 5)", "name": "CKMP2019_Lem_41", "value": 6461082039321312082715764}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Lem_41", "value": 6461081891079693487784083}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Lem_41", "value": 6461081889249550091387203}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Lem_41", "value": 6461081889226955728468723}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Lem_41", "value": 6461081889226676785716643}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Lem_41", "value": 79766443099749302318323}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 79766443077154939399843}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Lem_41", "value": 79766443076875996647763}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Lem_41", "value": 984770902466040769363}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Lem_41", "value": 984770902187098017283}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Lem_41", "value": 12157665462543713203}, {"parameter": "(5, 13)", "name": "CKMP2019_Cor_42", "value": 6461081891079693530830804}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 79766443099749302324884}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 984770902466040769363}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 12157665462543713203}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 8863088214287798154100}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 6461081891079693487784083}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 6461081889249550091387203}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 6461081891079975917320564}, {"parameter": "(13, 5)", "name": "CKMP2019_Cor_42", "value": 6461082039321312082715764}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Cor_42", "value": 6461081891079693487784083}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Cor_42", "value": 6461081889249550091387203}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Cor_42", "value": 6461081889226955728468723}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Cor_42", "value": 6461081889226676785716643}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Cor_42", "value": 79766443099749302318323}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 79766443077154939399843}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Cor_42", "value": 79766443076875996647763}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Cor_42", "value": 984770902466040769363}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Cor_42", "value": 984770902187098017283}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Cor_42", "value": 12157665462543713203}, {"parameter": "", "name": "construction_1", "value": 6461082039321591121724275}, {"parameter": "5", "name": "linkage_GLT", "value": 6461081891079693530830804}, {"parameter": "6", "name": "linkage_GLT", "value": 79766443099749302324884}, {"parameter": "7", "name": "linkage_GLT", "value": 984770902466040769363}, {"parameter": "8", "name": "linkage_GLT", "value": 12157665462543713203}, {"parameter": "9", "name": "linkage_GLT", "value": 8863088214287798154100}, {"parameter": "10", "name": "linkage_GLT", "value": 6461081891079693487784083}, {"parameter": "11", "name": "linkage_GLT", "value": 6461081889249550091387203}, {"parameter": "12", "name": "linkage_GLT", "value": 6461081891079975917320564}, {"parameter": "13", "name": "linkage_GLT", "value": 6461082039321312082715764}, {"parameter": "5", "name": "improved_linkage", "value": 6461082039321312082716493}, {"parameter": "6", "name": "improved_linkage", "value": 79766444929892741761924}, {"parameter": "7", "name": "improved_linkage", "value": 984770925060403694404}, {"parameter": "8", "name": "improved_linkage", "value": 12157665741486465283}, {"parameter": "9", "name": "improved_linkage", "value": 8863088214291284879452}, {"parameter": "10", "name": "improved_linkage", "value": 6461081891079693487843132}, {"parameter": "11", "name": "improved_linkage", "value": 6461081889249550091387203}, {"parameter": "12", "name": "improved_linkage", "value": 6461081891079975917320564}, {"parameter": "13", "name": "improved_linkage", "value": 6461082039321312082715764}, {"parameter": "14", "name": "improved_linkage", "value": 8862938325543676296349}, {"parameter": "5,0", "name": "generalized_linkage", "value": 6461081891079693530830804}, {"parameter": "5,1", "name": "generalized_linkage", "value": 6461082039321312082716493}, {"parameter": "6,0", "name": "generalized_linkage", "value": 79766443099749302324884}, {"parameter": "6,1", "name": "generalized_linkage", "value": 79766444929892741761924}, {"parameter": "7,0", "name": "generalized_linkage", "value": 984770902466040769363}, {"parameter": "7,1", "name": "generalized_linkage", "value": 984770925060403694404}, {"parameter": "8,0", "name": "generalized_linkage", "value": 12157665462543713203}, {"parameter": "8,1", "name": "generalized_linkage", "value": 12157665741486465283}, {"parameter": "9,0", "name": "generalized_linkage", "value": 8863088214287798154100}, {"parameter": "9,1", "name": "generalized_linkage", "value": 8863088214291284879452}, {"parameter": "10,0", "name": "generalized_linkage", "value": 6461081891079693487784083}, {"parameter": "10,1", "name": "generalized_linkage", "value": 6461081891079693487843132}, {"parameter": "11,0", "name": "generalized_linkage", "value": 6461081889249550091387203}, {"parameter": "11,1", "name": "generalized_linkage", "value": 6461081889249550091387203}, {"parameter": "12,0", "name": "generalized_linkage", "value": 6461081891079975917320564}, {"parameter": "12,1", "name": "generalized_linkage", "value": 6461081891079975917320564}, {"parameter": "13,0", "name": "generalized_linkage", "value": 6461082039321312082715764}, {"parameter": "13,1", "name": "generalized_linkage", "value": 6461082039321312082715764}, {"parameter": "14,1", "name": "generalized_linkage", "value": 8862938325543676296349}, {"parameter": "[5, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693530830804}, {"parameter": "[5, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461082039321312082716493}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302324884}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766444929892741761924}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770925060403694404}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543713203}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665741486465283}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8863088214287798154100}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8863088214291284879452}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487784083}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487843132}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079975917320564}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079975917320564}, {"parameter": "[13, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461082039321312082715764}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461082039321312082715764}, {"parameter": "[14, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8862938325543676296349}, {"parameter": "[5, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 8863088214287798154100}, {"parameter": "[5, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 8863088214291284879452}, {"parameter": "[5, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487784083}, {"parameter": "[5, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487843132}, {"parameter": "[5, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487784083}, {"parameter": "[5, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081891079693487843132}, {"parameter": "[5, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[5, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[5, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[5, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889249550091387203}, {"parameter": "[5, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226955728468723}, {"parameter": "[5, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226955728468723}, {"parameter": "[5, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226955728468723}, {"parameter": "[5, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226955728468723}, {"parameter": "[5, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226676785716643}, {"parameter": "[5, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226676785716643}, {"parameter": "[5, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461081889432567917811292}, {"parameter": "[5, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461081889432567917811292}, {"parameter": "[5, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8862938119655987939380}, {"parameter": "[5, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 8862938325543633249628}, {"parameter": "[6, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109420842151701211051}, {"parameter": "[6, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109420842151701270100}, {"parameter": "[6, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302318323}, {"parameter": "[6, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302318323}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302318323}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302318323}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[6, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076875996647763}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076875996647763}, {"parameter": "[6, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076875996647763}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076875996647763}, {"parameter": "[6, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512418259}, {"parameter": "[6, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109418989134999202660}, {"parameter": "[7, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1350874594465447051}, {"parameter": "[7, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350874594465447051}, {"parameter": "[7, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[7, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[7, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[7, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[7, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350851717673051139}, {"parameter": "[7, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350851717673051139}, {"parameter": "[8, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16677464129203051}, {"parameter": "[8, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677464129203051}, {"parameter": "[8, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543713203}, {"parameter": "[8, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543713203}, {"parameter": "[8, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543713203}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543713203}, {"parameter": "[8, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677181699725619}, {"parameter": "[8, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677181699725619}, {"parameter": "[9, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157871353675807852}, {"parameter": "[9, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871353675807852}, {"parameter": "[9, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871350189082500}, {"parameter": "[9, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871350189082500}, {"parameter": "[10, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543772252}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157871353675807852}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871353675807852}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871350189082500}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871350189082500}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543772252}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543772252}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894618938100}, {"parameter": "", "name": "JohnsonLB", "value": 6461069731584090996194650}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 205922517937236}], "request": [9, 18, 8, 5], "liftedmrdsizebound": 6461082039550394253650374, "comments": "", "equal_bound_constraints": []}