{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "", "name": "singleton", "value": 34718046121166753868579146371116506562228516029840080}, {"parameter": "5", "name": "ilp_2", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "6", "name": "ilp_2", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "8", "name": "ilp_3", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "9", "name": "ilp_3", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "", "name": "anticode", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "", "name": "linear_programming_bound", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "", "name": "sphere_packing", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1", "name": "ilp_1", "value": 30479555479999530804764266430575519529273310361540794}, {"parameter": "2", "name": "ilp_1", "value": 30479555479999530804764266430575519529273334760638607}, {"parameter": "3", "name": "ilp_1", "value": 30479555479999530804764266430592810760239113229505785}, {"parameter": "4", "name": "ilp_1", "value": 30479555479999530805306966296271801311263836452414585}, {"parameter": "10", "name": "ilp_4", "value": 1312042761959215812355465233062111966051972478552542013289323}, {"parameter": "11", "name": "ilp_4", "value": 1312042761958292514791748873319828508085992888442321668300970}, {"parameter": "12", "name": "ilp_4", "value": 1312042761958292514693470552570568474856312180151641446470651}, {"parameter": "13", "name": "ilp_4", "value": 1312042761958292514693470532023360998222626569669517569358348}, {"parameter": "14", "name": "ilp_4", "value": 1312042761958292514693470552048609748217502490890844699139387}, {"parameter": "15", "name": "ilp_4", "value": 16198070438634284649247569553950699618744885848560607235404}, {"parameter": "16", "name": "ilp_4", "value": 199976363822465743564728221804732707261135252606539764231}, {"parameter": "17", "name": "ilp_4", "value": 2468843991444442615691913155924485056845868484564226432}, {"parameter": "", "name": "johnson_1", "value": 30479555479999530804764266430575519529273310361540794}, {"parameter": "", "name": "johnson_2", "value": 2468843991444442615691913155924485056845868484564226432}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1312042761959215812355465233062111966051972478552542013289323}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1312042761958292514791748873319828508085992888442321668300970}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1312042761958292514693470552570568474856312180151641446470651}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1312042761958292514693470532023360998222626569669517569358348}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1312042761958292514693470552048609748217502490890844699139387}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 16198070438634284649247569553950699618744885848560607235404}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 199976363822465743564728221804732707261135252606539764231}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 2468843991444442615691913155924485056845868484564226432}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1619808885572153249908355772239346567100798074779840280482}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1619808889288600254761619908368203128966734479203061051913}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1619808922736624065863677259856469610671342012256619627437}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1619809223768900527032262179675001593066504159154115369277}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1619811933064423748266457387080564017277983316448849305187}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 179981478528203236054199090699680597496306688792270793257}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 20000684842578914159651951162020014368478293466322430559}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2225011689204292696212430602571850039483208060425095188}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 249970449480129136732523802528965075005819461389499005}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 30860543502836206178994968616164352599198794660993829}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 30479555519862985114725497936839171315145622870160499}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 30479555528496387155096911899232142164923883080329684}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 30479555606197005718720120428532184199152715321635981}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 30479556305502589014048486280411380882259295897566493}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 30479562599254152712557081874234582893901868930645734}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 30479619243124663484199021932505821846381143466376706}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 30480129046580842701773663934065392561443667573705635}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 30484717976141057269506684332482426557045281144549914}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 30526074994705245852094303840587138640838992566055109}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 30902934367054018987028949830431049815876443343775906}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 34718046121166753868579146371116506562228516029840080}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 30479555479999530805306966296271801311263836452414585}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 30479555479999530804764266430592810760239113229505785}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 30479555479999530804764266430575519529273334760638607}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 30479555479999530804764266430575519529272996550879094}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1619811594458702453533994807454968288206362010936383600522}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1619835978561941185948053889992042298352423518303374997963}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1620055468531880065635570176171659796783808498780908134447}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1622033558236542227610331205233925102746532940006687806330}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1640056153323407416767454389380995452626090710834535243024}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1312045227416715844131621720840544105650933672691526909478421}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1312047665786306421017564904929832166196917740737279645637638}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1312069611483764123020353937571581087965459888297862335278781}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1312267152828008759703801989410321800429626488314995129397614}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1314047463708232105492534815889564244179692439480626660109338}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1330270271864428369301773997998604471750319437952640577990407}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "", "name": "improved_johnson", "value": 30479555479999530804764266430575519529273310361540770}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 199976367946192972925342932076346774222120284871462183925}], "known_codes": [], "upper_bound": 30479555479999530804764266430575519529272996550879094, "classified": false, "lower_bound": 30432527300256357008308054177589445454500732900196836, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 30432527221704537086371993251530170531786747066637049}, {"parameter": "", "name": "sphere_covering", "value": 7674266715821696389327427636595626819072156}, {"parameter": "", "name": "graham_sloane", "value": 12140904377732658326980516697585221224086}, {"parameter": "", "name": "multicomponent", "value": 30432527221704684895201407597453596033986084962293860}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 30432527221704537086689227998643552055999980456526194}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 30432527300256357008308054177589445454500732900196836}, {"parameter": "", "name": "two_pivot_block_construction", "value": 30432527300256212813852977845672945438783195662254080}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 57264169138786486174635987171324839905545828585}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 30432527221704705649376941614059463780743635047318990}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 30432527221704705649376941614776376997533304024856358}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 30432527221704705649376941614058479011694471624937950}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 30432527221704705649376941614058491167506910493014910}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 515377520732014190011939618343280045872274878493}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 515377520732014190011939626221447263341164741541}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 515377520732014190011939617359859995406336637701}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 515377520732014190011939618343280045872274878493}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 8727963568087760777376114019494749796282435}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 8727963568087760777375238667581697697408763}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 8727963568087760777375238667581697697408763}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 8727963568087760777376114019494749796282435}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 707934970553725560923546027978791526123987613}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 707934970553725560923545044558741060185746821}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 707934970553725560923553906146008995013850661}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 707934970553725560923546027978791526123987613}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 57264276887272701398164764538798326413973449982}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 57264276887272701398164764526642513975105373022}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 57264276887272701398165482424628352807505291430}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 57264276887272701398164765511411563138527754062}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 30432527221704705649376941614058479009841451436086109}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 515377520732014190011939617358509143688663645612}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 8727963568087760777375129248592566185049554}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 707934970553725560923545043207889342512754732}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 57264276887272701398164764526640660954916521181}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 30432527221704705649376941614058479009841451436086109}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 515377520732014190011939617358509143688663645612}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 8727963568087760777375129248592566185049554}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 707934970553725560923545043207889342512754732}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 57264276887272701398164764526640660954916521181}, {"parameter": "7", "name": "linkage_GLT", "value": 30432527221704537086371993251530170531809623902204413}, {"parameter": "8", "name": "linkage_GLT", "value": 515377520732011331036461129765621272702112311532}, {"parameter": "9", "name": "linkage_GLT", "value": 8727963568087712425891397479476727340041450}, {"parameter": "10", "name": "linkage_GLT", "value": 707934970553721644446003333862989201742215132}, {"parameter": "11", "name": "linkage_GLT", "value": 57264276887272384163417651145116447721526632037}, {"parameter": "7", "name": "improved_linkage", "value": 30432527221704684895201789117882067725718495822011129}, {"parameter": "8", "name": "improved_linkage", "value": 515377520732013834191973491290499880360873312996}, {"parameter": "9", "name": "improved_linkage", "value": 8727963568087712949239031857923967131259815}, {"parameter": "10", "name": "improved_linkage", "value": 707934970553721644446003443281978647468120806}, {"parameter": "11", "name": "improved_linkage", "value": 57264276887272384163417651145116470598362199400}, {"parameter": "12", "name": "improved_linkage", "value": 57264169134666397034387125271919232544776571206}, {"parameter": "13", "name": "improved_linkage", "value": 57264169118058022451354435533029241913150032495}, {"parameter": "14", "name": "improved_linkage", "value": 57264169138786168510244379488196347831076876196}, {"parameter": "15", "name": "improved_linkage", "value": 706965050839905089267369762542412742808043521}, {"parameter": "7,0", "name": "generalized_linkage", "value": 30432527221704705649376941614058479009841451436086109}, {"parameter": "7,1", "name": "generalized_linkage", "value": 30432527221704537317600882290697673464546230639586724}, {"parameter": "7,2", "name": "generalized_linkage", "value": 30432527221704537086403278449765679729334226309338163}, {"parameter": "7,3", "name": "generalized_linkage", "value": 30432527221704537088875148763891695410394405832428044}, {"parameter": "7,4", "name": "generalized_linkage", "value": 30432527221704684895201789117882067725718495822011129}, {"parameter": "8,0", "name": "generalized_linkage", "value": 515377520732014190011939617358509143688663645612}, {"parameter": "8,1", "name": "generalized_linkage", "value": 515377520732011366284826342064966989279964204661}, {"parameter": "8,2", "name": "generalized_linkage", "value": 515377520732011331036467670723391348751022867826}, {"parameter": "8,3", "name": "generalized_linkage", "value": 515377520732011331036984477399999719941898740367}, {"parameter": "8,4", "name": "generalized_linkage", "value": 515377520732013834191973491290499880360873312996}, {"parameter": "9,0", "name": "generalized_linkage", "value": 8727963568087760777375129248592566185049554}, {"parameter": "9,1", "name": "generalized_linkage", "value": 8727963568087712492308298490650610440534340}, {"parameter": "9,2", "name": "generalized_linkage", "value": 8727963568087712425891398847031080721494005}, {"parameter": "9,3", "name": "generalized_linkage", "value": 8727963568087712425891506898466173065947124}, {"parameter": "9,4", "name": "generalized_linkage", "value": 8727963568087712949239031857923967131259815}, {"parameter": "10,0", "name": "generalized_linkage", "value": 707934970553725560923545043207889342512754732}, {"parameter": "10,1", "name": "generalized_linkage", "value": 707934970553721644446003458666883663180431156}, {"parameter": "10,2", "name": "generalized_linkage", "value": 707934970553721644446003333862991778912213735}, {"parameter": "10,3", "name": "generalized_linkage", "value": 707934970553721644446003333863012078577782495}, {"parameter": "10,4", "name": "generalized_linkage", "value": 707934970553721644446003443281978647468120806}, {"parameter": "11,0", "name": "generalized_linkage", "value": 57264276887272701398164764526640660954916521181}, {"parameter": "11,1", "name": "generalized_linkage", "value": 57264276887272384163417652268351500451595913237}, {"parameter": "11,2", "name": "generalized_linkage", "value": 57264276887272384163417651145116447721531474784}, {"parameter": "11,3", "name": "generalized_linkage", "value": 57264276887272384163417651145116447721531421567}, {"parameter": "11,4", "name": "generalized_linkage", "value": 57264276887272384163417651145116470598362199400}, {"parameter": "12,1", "name": "generalized_linkage", "value": 57264169134666397034387135381034709692520649460}, {"parameter": "12,2", "name": "generalized_linkage", "value": 57264169134666397034387125271919232544815366480}, {"parameter": "12,3", "name": "generalized_linkage", "value": 57264169134666397034387125271919232544771781676}, {"parameter": "12,4", "name": "generalized_linkage", "value": 57264169134666397034387125271919232544776571206}, {"parameter": "13,2", "name": "generalized_linkage", "value": 57264169118058022451354435533029241913542295731}, {"parameter": "13,3", "name": "generalized_linkage", "value": 57264169118058022451354435533029241913150032495}, {"parameter": "13,4", "name": "generalized_linkage", "value": 57264169118058022451354435533029241913150032495}, {"parameter": "14,3", "name": "generalized_linkage", "value": 57264169138786168510244379488196347831076876196}, {"parameter": "14,4", "name": "generalized_linkage", "value": 57264169138786168510244379488196347831076876196}, {"parameter": "15,4", "name": "generalized_linkage", "value": 706965050839905089267369762542412742808043521}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704705649376941614058479009841451436086109}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704537317600882290697673464546230639586724}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704537086403278449765679729334226309338163}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704537088875148763891695410394405832428044}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704684895201789117882067725718495822011129}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 515377520732014190011939617358509143688663645612}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 515377520732011366284826342064966989279964204661}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 515377520732011331036467670723391348751022867826}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 515377520732011331036984477399999719941898740367}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 515377520732013834191973491290499880360873312996}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8727963568087760777375129248592566185049554}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8727963568087712492308298490650610440534340}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8727963568087712425891398847031080721494005}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8727963568087712425891506898466173065947124}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8727963568087712949239031857923967131259815}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 707934970553725560923545043207889342512754732}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 707934970553721644446003458666883663180431156}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 707934970553721644446003333862991778912213735}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 707934970553721644446003333863012078577782495}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 707934970553721644446003443281978647468120806}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 57264276887272701398164764526640660954916521181}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264276887272384163417652268351500451595913237}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264276887272384163417651145116447721531474784}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264276887272384163417651145116447721531421567}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264276887272384163417651145116470598362199400}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264169134666397034387135381034709692520649460}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264169134666397034387125271919232544815366480}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264169134666397034387125271919232544771781676}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264169134666397034387125271919232544776571206}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264169118058022451354435533029241913542295731}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264169118058022451354435533029241913150032495}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264169118058022451354435533029241913150032495}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264169138786168510244379488196347831076876196}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264169138786168510244379488196347831076876196}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965050839905089267369762542412742808043521}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 706965196823969363113625017024986042796121355}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 706965196823934120850494795198116925276823635}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 706965196823969411464299882613806188602901085}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 706965365386939069205654820398879825296104030}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 57264169138788671665742911647908436729764029803}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264168970226019624048950609552284571867499123}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970225984381785820387725415454348201403}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970226019672399625475141104717674278853}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264169138788989330140980412926178354367481798}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 57264169138788671665742911647908436729764029803}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264168970226019624048950609552284571867499123}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970225984381785820387725415454348201403}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970226019672399625475141104717674278853}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264169138788989330140980412926178354367481798}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264168970252411167245763786742330334691459813}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223512512142127383665916360382509263}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223512511478981888709653968867329413}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223547802092786976125343232193406863}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264168970252379882570956677184136785399757475}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481227467320274107722811090806925}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226804174779151460419575627075}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223516517417979866567149682901704525}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264168970252379882570956677184136785399757475}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481227467320274107722811090806925}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226804174779151460419575627075}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223516517417979866567149682901704525}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970454710169630746673637686354645122248}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970454710114655985141763534098036712683}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970454710114655985141763534098036712683}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481281262129635749544816291679930}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226287368103875392559683270365}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226287368103875392559683270365}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481281255588787417241270482884328}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226280827255543089013874474763}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226280827255543089013874474763}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481281779654318432293660285166098}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226804892786558141403676756533}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226804892786558141403676756533}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264169138786168510245286689584412962128112619}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264169138786168510245286689584412962128112619}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481274625043547099727288568222195}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481274625043547099727288568222195}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226280827147491651658527229173}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226280827147491651658527229173}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226280827255693206525963928845}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226280827255693206525963928845}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226804175765424956085213608358}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226804175765424956085213608358}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015139948775069984219067640762992419}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015104706504581586689595364299215723}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015104706504571480484334709342109915}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015104706504571588534102055692949750}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015104707027919113645140908233975109}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972520540776002400284156703627063440419}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972517685718121703647016300001567255211}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972517685718121703647016300001567255211}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972520544693003269437229213275589315141}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972518037621020754675582748592290866091}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182563140058038442344966794680883}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182563140058038442344966794680883}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972518041538021623828655258240816740813}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972518037621020754675582748592290866091}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182563140058038442344966794680883}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182563140058038442344966794680883}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972518041538021623828655258240816740813}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182616346213603912471234968055463}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562623251363166277106902324173}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562623251363166277106902324173}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182616339672755580167689159259861}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710514833973561093528571}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710514833973561093528571}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182616339672755580167689159259861}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710514833973561093528571}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710514833973561093528571}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515217810915495609909709263775262827}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515217810915495609909709263775262827}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710406782536205746282981}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710406782536205746282981}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710405415007306373624323}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710405415007306373624323}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710514984091073182982653}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710514984091073182982653}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972518037621094328845230345767611418251}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562624079949057271154568271347}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710405414984715502273213}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710405415007337759466901}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562616710514834179766380593078}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503204379824606397791948044605475}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503204379824606397791948044605475}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503204379824606397791948044605475}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503203856477082789420542343453163}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503203856477082789420542343453163}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503203856477082789420542343453163}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503203856477082789420542343453163}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503203856477082789420542343453163}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503203856477082789420542343453163}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503203856476974737983186996207573}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503203856476974737983186996207573}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503203856476973370454287623548915}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503203856476973370454287623548915}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503203856476973370454287623548915}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503203856476973370454287623548915}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503203922802878477322531585773563}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503203856476973370431696752197805}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503203856476973370431410835876923}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503203856476973370454319009391493}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2510506189702985905050039331585461}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2510506189702985905050039331585461}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2510506189702876486083784611681213}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2510506189702876486083784611681213}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2510506189702876486083784611681213}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2510506189702876486083784611681213}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2510506189702876486063481458317648}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2510506189702876486060907824009221}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2510506189702876486060907824009221}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2820394969422178415932511867599182}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2820394969422178415909635079927190}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2820394969422178415909635079927190}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 168565225682263298923193150110835060820}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 168565225682263298923193150110835060820}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2573640569337884836997952938530140}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2573640569337884836997952938530140}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 337127877723433912437940930863030439188}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 337127877723433912437940930863030439188}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 168565225681739951399584778705133908508}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 168565225681739951399584778705133908508}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 168565225681739951399584778705133908508}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 168565225681739951399584778705133908508}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5710117478584622077072344786368508}, {"parameter": "", "name": "JohnsonLB", "value": 30432526593291158815808313873269789439233844791335550}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 57264169138789337037671418021885655490731384839}], "request": [9, 18, 6, 7], "liftedmrdsizebound": 30432527311439270238869324337356855607949968122235636, "comments": "", "equal_bound_constraints": []}