{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "", "name": "singleton", "value": 587953159580355890974683988909617412559591458771}, {"parameter": "5", "name": "ilp_2", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "6", "name": "ilp_2", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "8", "name": "ilp_3", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "9", "name": "ilp_3", "value": 274316006740888422351540383485916199420179589833110554}, {"parameter": "", "name": "anticode", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "", "name": "linear_programming_bound", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "", "name": "sphere_packing", "value": 3047956189907319780989494439537360383788900501399731}, {"parameter": "1", "name": "ilp_1", "value": 516173947890059411204736671861061073509533277349}, {"parameter": "2", "name": "ilp_1", "value": 516173947890059411204736671861061073571865532071}, {"parameter": "3", "name": "ilp_1", "value": 516173947890059411204736671861061073571865532071}, {"parameter": "4", "name": "ilp_1", "value": 516173947890059411539736588946856085165731108727}, {"parameter": "10", "name": "ilp_4", "value": 274315547919588397933259989038953407610260106859810597}, {"parameter": "11", "name": "ilp_4", "value": 274315547919395359349132235415611841012936283696286717}, {"parameter": "12", "name": "ilp_4", "value": 274315547919395359328584679964985198443830767232632848}, {"parameter": "13", "name": "ilp_4", "value": 274315547919395359328584675669074546298913848399358349}, {"parameter": "14", "name": "ilp_4", "value": 274315547919395359328584679855856595138608264133965494}, {"parameter": "15", "name": "ilp_4", "value": 3386614138230482214480656005094697662533343810192656}, {"parameter": "16", "name": "ilp_4", "value": 41810089886865925119993125777948756535960153988991}, {"parameter": "", "name": "johnson_1", "value": 516173947890059411204736671861061073509533277349}, {"parameter": "", "name": "johnson_2", "value": 41810089886865925119993125777948756535960153988991}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 274316006740888422351540383485916199420179589833110554}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 274315547919588397933259989038953407610260106859810597}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 274315547919395359349132235415611841012936283696286717}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 274315547919395359328584679964985198443830767232632848}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 274315547919395359328584675669074546298913848399358349}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 274315547919395359328584679855856595138608264133965494}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 3386614138230482214480656005094697662533343810192656}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 41810089886865925119993125777948756535960153988991}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 3047956189907319780989494439537360383788900501399731}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 3047956196900470487718623151401641761238377452787624}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 3047956259838828292321945303306552638326356608445585}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 3047956826284165501110529407949161125848671853519036}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3047961924301674754064471250661942338431854854831611}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3048007807226695291809415752260982841664746262716094}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 338712794488735055871331331318327928886390331177998}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 37680769194796711435964920098462253154960070653491}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 4233271424988556901730823268883456911114011546253}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 516173949220564775832299340158430672629085493836}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 516173950536431573934676068994051839377160053044}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 516173962379233031589245659001900541803448117470}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 516174068964468403872525283354377072935345629221}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 516175028233389282577661609634763933492315419011}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 516183661799684443756662257647208686960201818193}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 516261375724730902450870129166749834572136603524}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 516961760465587999483288052483834362566290837913}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 523343907027541027382525400314821259722390486347}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 587953159580355890974683988909617412559591458771}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 516173947890059411539736588946856085165731108727}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 516173947890059411204736671861061073571865532071}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 516173947890059411204736671861061073571865532071}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 516173947890059411204736671861061073509533277349}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 3047956189907319780989494439537360383788900501399731}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3047961224993713170798691981386573964858834504925767}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 3048007107984846567672969607614504507634300227351474}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 3048420117077121703373341217518183149747685604639999}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3052142241753645864057254242256344508895789130215700}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3086054933249905249316311147168196083674790753917855}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 3428949924948156164295872437763311435058928918072050}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 274316006740888422351540383485916199420179589833110554}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 274316063385504020696942063879459790464906891184085209}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 274316573188002373238769380676840532779270451652944048}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 274321161488084222111607294055940282539434958157296428}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 274362462475109601307276059824653431822657232232069934}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 274734681247055251892828850895090009827391126453028034}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 278126467364290094173087427359606805680471447573715669}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 312463067466939934510699888848526630609825159414503235}, {"parameter": "", "name": "improved_johnson", "value": 516173947890059411204736671861061073509533277325}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 376290817615325531061135846689853846366056600700136}], "known_codes": [], "upper_bound": 516173947890059411204736671861061073509533277325, "classified": false, "lower_bound": 515377522062293302837556974561316380272313825860, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 515377520732011331036461129765621272702107522001}, {"parameter": "", "name": "sphere_covering", "value": 129964381024927222973568274247985992808}, {"parameter": "", "name": "graham_sloane", "value": 205607281704106296136272348271372483}, {"parameter": "", "name": "multicomponent", "value": 515377520732013834191966123007222611150886062812}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 515377520732011334952938671474966172842878061602}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 515377522062293302837556974561316380272313825860}, {"parameter": "", "name": "two_pivot_block_construction", "value": 515377522062290841223003858973884622428476276736}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 11972515217852640961973433007784718562265}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 515377520732011366327082303148471919228840696917}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 515377520732011366327082304121085155953395000997}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 515377520732011366327082303136314459660915862765}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 515377520732011366327082303136464348405080767237}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 8727963568087713022813212312099898931033931}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 8727963568087713022813212312099898931033931}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 8727963568087713022813200304529075171104251}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 8727963568087713022813212312099898931033931}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 147808829462697407060009991504285234507}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 147808829462697407048002420680525304827}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 147808829462697407060009991504285234507}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 147808829462697407060009991504285234507}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 11988940892902262981700067804865809985541}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 11988940892902262981699917916121645081069}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 11988940892902262982684688612414124219301}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 11988940892902262981712075375689569915221}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 515377520732011366327082303136314253769783768116}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 8727963568087713022813200154434439874105130}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 147808829462697407047852326045228305706}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 11988940892902262981699917710230512986420}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 515377520732011366327082303136314253769783768116}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 8727963568087713022813200154434439874105130}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 147808829462697407047852326045228305706}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 11988940892902262981699917710230512986420}, {"parameter": "7", "name": "linkage_GLT", "value": 515377520732011331036461129765621272702112311532}, {"parameter": "8", "name": "linkage_GLT", "value": 8727963568087712425891397479476727340041450}, {"parameter": "9", "name": "linkage_GLT", "value": 147808829414345923316083210206383297602}, {"parameter": "10", "name": "linkage_GLT", "value": 11988940888985785439990572810089742446820}, {"parameter": "7", "name": "improved_linkage", "value": 515377520732013834191973491290499880360873312996}, {"parameter": "8", "name": "improved_linkage", "value": 8727963568087712949239031857923967131259815}, {"parameter": "9", "name": "improved_linkage", "value": 147808829414345923425502199652109203276}, {"parameter": "10", "name": "improved_linkage", "value": 11988940888985785439990572832966578014183}, {"parameter": "11", "name": "improved_linkage", "value": 11972537745336083960280246672122790390175}, {"parameter": "12", "name": "improved_linkage", "value": 11972515216942948414339947691887451611076}, {"parameter": "13", "name": "improved_linkage", "value": 11972515213470549872130560648214371013727}, {"parameter": "14", "name": "improved_linkage", "value": 11972515217804290287109195039356589564156}, {"parameter": "7,0", "name": "generalized_linkage", "value": 515377520732011366327082303136314253769783768116}, {"parameter": "7,1", "name": "generalized_linkage", "value": 515377520732011331084805437273571109951667033685}, {"parameter": "7,2", "name": "generalized_linkage", "value": 515377520732011331036467670723391348751022867826}, {"parameter": "7,3", "name": "generalized_linkage", "value": 515377520732011331036984477399999719941898740367}, {"parameter": "7,4", "name": "generalized_linkage", "value": 515377520732013834191973491290499880360873312996}, {"parameter": "8,0", "name": "generalized_linkage", "value": 8727963568087713022813200154434439874105130}, {"parameter": "8,1", "name": "generalized_linkage", "value": 8727963568087712433271051775915859647651964}, {"parameter": "8,2", "name": "generalized_linkage", "value": 8727963568087712425891398847031080721494005}, {"parameter": "8,3", "name": "generalized_linkage", "value": 8727963568087712425891506898466173065947124}, {"parameter": "8,4", "name": "generalized_linkage", "value": 8727963568087712949239031857923967131259815}, {"parameter": "9,0", "name": "generalized_linkage", "value": 147808829462697407047852326045228305706}, {"parameter": "9,1", "name": "generalized_linkage", "value": 147808829414345923329950309304640284162}, {"parameter": "9,2", "name": "generalized_linkage", "value": 147808829414345923316083210492696671250}, {"parameter": "9,3", "name": "generalized_linkage", "value": 147808829414345923316083233083218864965}, {"parameter": "9,4", "name": "generalized_linkage", "value": 147808829414345923425502199652109203276}, {"parameter": "10,0", "name": "generalized_linkage", "value": 11988940892902262981699917710230512986420}, {"parameter": "10,1", "name": "generalized_linkage", "value": 11988940888985785440115376704551180662844}, {"parameter": "10,2", "name": "generalized_linkage", "value": 11988940888985785439990572810089742984903}, {"parameter": "10,3", "name": "generalized_linkage", "value": 11988940888985785439990572810089747236350}, {"parameter": "10,4", "name": "generalized_linkage", "value": 11988940888985785439990572832966578014183}, {"parameter": "11,1", "name": "generalized_linkage", "value": 11972537745336083961403481724852854881845}, {"parameter": "11,2", "name": "generalized_linkage", "value": 11972537745336083960280246672122790443392}, {"parameter": "11,3", "name": "generalized_linkage", "value": 11972537745336083960280246672122785600645}, {"parameter": "11,4", "name": "generalized_linkage", "value": 11972537745336083960280246672122790390175}, {"parameter": "12,2", "name": "generalized_linkage", "value": 11972515216942948414339947691887495195880}, {"parameter": "12,3", "name": "generalized_linkage", "value": 11972515216942948414339947691887451611076}, {"parameter": "12,4", "name": "generalized_linkage", "value": 11972515216942948414339947691887451611076}, {"parameter": "13,3", "name": "generalized_linkage", "value": 11972515213470549872130560648214371013727}, {"parameter": "13,4", "name": "generalized_linkage", "value": 11972515213470549872130560648214371013727}, {"parameter": "14,4", "name": "generalized_linkage", "value": 11972515217804290287109195039356589564156}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 515377520732011366327082303136314253769783768116}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 515377520732011331084805437273571109951667033685}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 515377520732011331036467670723391348751022867826}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 515377520732011331036984477399999719941898740367}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 515377520732013834191973491290499880360873312996}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8727963568087713022813200154434439874105130}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8727963568087712433271051775915859647651964}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8727963568087712425891398847031080721494005}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8727963568087712425891506898466173065947124}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8727963568087712949239031857923967131259815}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829462697407047852326045228305706}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923329950309304640284162}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083210492696671250}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083233083218864965}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923425502199652109203276}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981699917710230512986420}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11988940888985785440115376704551180662844}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11988940888985785439990572810089742984903}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11988940888985785439990572810089747236350}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11988940888985785439990572832966578014183}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972537745336083961403481724852854881845}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972537745336083960280246672122790443392}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972537745336083960280246672122785600645}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972537745336083960280246672122790390175}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948414339947691887495195880}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948414339947691887451611076}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948414339947691887451611076}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515213470549872130560648214371013727}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515213470549872130560648214371013727}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515217804290287109195039356589564156}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972517720959795280349445503210902657915}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972517685717532150127618634093383360195}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972517685717532150127618634093383360195}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972517721008145955215034323356709437645}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515217804813634740871548176130083587}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562550504519044679058610785867}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562550504519044679058610785867}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515217853164309606460368321936863317}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515217804813634740871548176130083587}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562550504519044679058610785867}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562550504519044679058610785867}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515217853164309606460368321936863317}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562696843338724873590233609007}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562033697843768611198718429157}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562033697843768611198718429157}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562690302490392570044424813405}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156995436307652909633555}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156995436307652909633555}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562690302490392570044424813405}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156995436307652909633555}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156995436307652909633555}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371373286992945927603380987}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371373286992945927603380987}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156887384870297562387965}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156887384870297562387965}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156886017341398189729307}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156886017341398189729307}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156995586425164999087637}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156995586425164999087637}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515217804297655391121479443266740731}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027166993592007166802964035}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156886017318807318378197}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156886017341429575571885}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562027156995436513858196698062}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503156625262677303633821733661051}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156625262677303633821733661051}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156625262677303633821733661051}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915153695262416032508739}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915153695262416032508739}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915153695262416032508739}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915153695262416032508739}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915153695262416032508739}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915153695262416032508739}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915045643825060685263149}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915045643825060685263149}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915044276296161312604491}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915044276296161312604491}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915044276296161312604491}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915044276296161312604491}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503156109284587918560009507251515}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915044276273570441253381}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915044276273284524932499}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503156101915044276296192698447069}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 48874831474215465507570878835}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 48874831474215465507570878835}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 48874831364796499252850974587}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 48874831364796499252850974587}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 48874831364796499252850974587}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 48874831364796499252850974587}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 48874831364796476661979623477}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 48874831364796476376063302595}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 48874831364796476376063302595}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3917001607349778964538877635541}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3917001607349778941662089963549}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3917001607349778941662089963549}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 70485064344752654671512464803500}, {"parameter": "", "name": "JohnsonLB", "value": 515377510089775588352813667101592835414402121943}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 8727963590647015125213329288577580628561148}], "request": [9, 17, 6, 7], "liftedmrdsizebound": 515377522251676881185787444072856715083238791411, "comments": "", "equal_bound_constraints": []}