{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 48442204698869551020727053080024292969884004201593285092853285278206}, {"parameter": "", "name": "singleton", "value": 171491826159143031020360524101727238074282639984054670660600}, {"parameter": "7", "name": "ilp_2", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "9", "name": "ilp_3", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "", "name": "anticode", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "", "name": "linear_programming_bound", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "", "name": "sphere_packing", "value": 48442204698869551020727053080024292969884004201593285092853285278206}, {"parameter": "1", "name": "ilp_1", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "2", "name": "ilp_1", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "3", "name": "ilp_1", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "4", "name": "ilp_1", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "5", "name": "ilp_1", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "6", "name": "ilp_1", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "10", "name": "ilp_4", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "11", "name": "ilp_4", "value": 7202658126591360916136352798431636817266130795229270864157109}, {"parameter": "12", "name": "ilp_4", "value": 7202658126591360916136352798431636817266130795229270864157109}, {"parameter": "13", "name": "ilp_4", "value": 7202658126591360916136352754770509463248541771238906437685496}, {"parameter": "14", "name": "ilp_4", "value": 7202658126591360916136352754770487531924408288126882173056762}, {"parameter": "15", "name": "ilp_4", "value": 7202658126591360916136352754770487531924244013995765121237563}, {"parameter": "16", "name": "ilp_4", "value": 7202658126591360916136352754770508516079769293613874860774112}, {"parameter": "17", "name": "ilp_4", "value": 1028950986095849345512589880581242708933301028075876280005986}, {"parameter": "", "name": "johnson_1", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "", "name": "johnson_2", "value": 1028950986095849345512589880581242708933301028075876280005986}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 48442204698869551020727053080024292969884004201593285092853285278206}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 7202658126591360916136352798431636817266130795229270864157109}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 7202658126591360916136352798431636817266130795229270864157109}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 7202658126591360916136352754770509463248541771238906437685496}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 7202658126591360916136352754770487531924408288126882173056762}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 7202658126591360916136352754770487531924244013995765121237563}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 7202658126591360916136352754770508516079769293613874860774112}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1028950986095849345512589880581242708933301028075876280005986}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 146993019869436685846207725748694271344415478400359182612443}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 146993022991682710066535090728018243819651473250773152452833}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 146993044847408593469626679106614598494983144115462381707876}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 146993197837671756690796319668875625559776308197986363728840}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 146994268778430965388643056231444072010665927496045045261318}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 147001765800707590605878494192438307259903080260324480358197}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 147054266376685311350030361202155090574916605356221844637422}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 147422823050557935663892372140743790526486680402070587414846}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 150055370665135957323609005882519523603318514608804309584819}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 171491826159143031020360524101727238074282639984054670660600}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 48442204698869551020727053080024292969884004201593285092853285278206}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 7202659197524294937327507839019289476511423757316837253248575}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 7202666694054833097625125966208243770870513935061842272137306}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 7202719170205537352011690533255944774258543750902759705114409}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 7203086524671656846412838982580505550505597153183280290415904}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 7205659055518659916766488189780121003190530618117535712425135}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 7223718351012437312741578031997151974887326753410139436254751}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 7352713318769192227288763243811484740114649181997900268631938}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "", "name": "improved_johnson", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1028951007951591012865851491648520893573129581970189497216214}], "known_codes": [], "upper_bound": 146993019423401550356598736821284419679033514638806068682158, "classified": false, "lower_bound": 143564789890828673950879999130406072192091727223436678152394, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 143503601609868434285603076356671071740077383739246066639249}, {"parameter": "", "name": "sphere_covering", "value": 152990237166357916159666658772579383164462404663154853}, {"parameter": "", "name": "graham_sloane", "value": 178488578433745869088635016758666983840843713555427426}, {"parameter": "", "name": "multicomponent", "value": 143503601610080021899405508115114562011084629388351838236054}, {"parameter": "", "name": "construction_ST_B", "value": 143563419691021281651567638449430253860871859710749120457566}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 143503631254761772065797411863151885301426061288975261783346}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 143563424422306484946770372351525623968635607102182419109094}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 143563419691021281652461734890461714308265400378557205275278}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 143564789890828673950879999130406072192091727223436678152394}, {"parameter": "", "name": "two_pivot_block_construction", "value": 143563394777205879472512522935107725775934172604791263330304}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1220376068618670396109621566849279685580744516719747201}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 143563419691232957462860102908032188890771110979148690800890}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 143503602225449417120299047404375380587282499560726748896199}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 143503602225449417120299047404754176740207873650151378658893}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 143503602225449417120299047404429475003980160980137620693799}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 143503602225449417120299047404375361267847964681648387870557}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 143503602225449417120299047404375358047942288660734958644951}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 174253261354008023869038337944789254504328809544238635}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 174253261354008023869038339049215587679629791884637029}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 174253261354008023869038716763480179100490828296963771}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 174253261354008023869038339049215587679629791884637029}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 174253261354008023869038337944789254504328809544238635}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1274817053391287184009771639727233378535393518875474599}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1274817053391287184009771639730453284211414432304700205}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1274817053391287184009771693844189416407712921537523447}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1274817053391287184009772018545925644120382935295488541}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1274817053391287184009771639749772718746293510665725847}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 143503602225449417120299047404375358047942208868468661032950}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 174253261354008023869038337944787913435709145579337828}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 1274817053391287184009771639727233378455601252577862598}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 143503602225449417120299047404375358047942208868468661032950}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 174253261354008023869038337944787913435709145579337828}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 1274817053391287184009771639727233378455601252577862598}, {"parameter": "8", "name": "linkage_GLT", "value": 143503601609868434285603076356671071740077383739246072524150}, {"parameter": "9", "name": "linkage_GLT", "value": 174251498233690814305510551794710260107945042018748344}, {"parameter": "10", "name": "linkage_GLT", "value": 1245172160053506989674265158913672029778051523382718502}, {"parameter": "8", "name": "improved_linkage", "value": 143503601610080126502861504609864339659142667725039527198452}, {"parameter": "9", "name": "improved_linkage", "value": 174251498233727535812555967795674953764217240783908614}, {"parameter": "10", "name": "improved_linkage", "value": 1245172160053506989680635103419260002886332503930561769}, {"parameter": "11", "name": "improved_linkage", "value": 1223833549306136988346888411389853485986881288751467155}, {"parameter": "12", "name": "improved_linkage", "value": 1220375819156598322828803478335573977564459013837370206}, {"parameter": "13", "name": "improved_linkage", "value": 1220351439303965709262933731540708888396675975463195155}, {"parameter": "14", "name": "improved_linkage", "value": 1220361812206417207304332181330571366420049136491987369}, {"parameter": "15", "name": "improved_linkage", "value": 1220363294051423915515596315828513814958413758085521872}, {"parameter": "16", "name": "improved_linkage", "value": 1220363505743604452436804093095468186586127225154013604}, {"parameter": "8,0", "name": "generalized_linkage", "value": 143503602225449417120299047404375358047942208868468661032950}, {"parameter": "8,1", "name": "generalized_linkage", "value": 143503601622251385959817491146713457466605975168889677128550}, {"parameter": "8,2", "name": "generalized_linkage", "value": 143503601610120522050331411943162018518366134443304314305952}, {"parameter": "8,3", "name": "generalized_linkage", "value": 143503601609873577032748819562821831508197385512158234125903}, {"parameter": "8,4", "name": "generalized_linkage", "value": 143503601609868538941752927295225594989910979309810008722517}, {"parameter": "8,5", "name": "generalized_linkage", "value": 143503601609868436378728977945383126727615791254575680774696}, {"parameter": "8,6", "name": "generalized_linkage", "value": 143503601610080126502861504609864339659142667725039527198452}, {"parameter": "9,0", "name": "generalized_linkage", "value": 174253261354008023869038337944787913435709145579337828}, {"parameter": "9,1", "name": "generalized_linkage", "value": 174251535072184899287994082312812149182785406700662044}, {"parameter": "9,2", "name": "generalized_linkage", "value": 174251498339288743398795385236227941231874370057764044}, {"parameter": "9,3", "name": "generalized_linkage", "value": 174251498233997700891479749202324931320412369489571846}, {"parameter": "9,4", "name": "generalized_linkage", "value": 174251498233691706408500995706025562432904098211034997}, {"parameter": "9,5", "name": "generalized_linkage", "value": 174251498233690816853488354029899503420337261156055543}, {"parameter": "9,6", "name": "generalized_linkage", "value": 174251498233727535812555967795674953764217240783908614}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1274817053391287184009771639727233378455601252577862598}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1245172160068543093726966568054526607206301488290592186}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1245172160053551755960490479744488547898000292284792202}, {"parameter": "10,3", "name": "generalized_linkage", "value": 1245172160053507007993057861743452687802789913385079802}, {"parameter": "10,4", "name": "generalized_linkage", "value": 1245172160053506989681851155765155865441681748891942004}, {"parameter": "10,5", "name": "generalized_linkage", "value": 1245172160053506989674268253914332738931370122652676355}, {"parameter": "10,6", "name": "generalized_linkage", "value": 1245172160053506989680635103419260002886332503930561769}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1223833585409965463346232355403152461099388534611289398}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1223833549306136990956235469941561478709800558662527786}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1223833549306136988347997430493292477011905884714185402}, {"parameter": "11,4", "name": "generalized_linkage", "value": 1223833549306136988346888474951262129562372725853725802}, {"parameter": "11,5", "name": "generalized_linkage", "value": 1223833549306136988346888410288649156551222065603752125}, {"parameter": "11,6", "name": "generalized_linkage", "value": 1223833549306136988346888411389853485986881288751467155}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1220375819156599217842446547712575751053159769018148400}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1220375819156598322828803487569790426967068080403160104}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1220375819156598322828803478336133029348872817993966004}, {"parameter": "12,5", "name": "generalized_linkage", "value": 1220375819156598322828803478335573790463264907708625260}, {"parameter": "12,6", "name": "generalized_linkage", "value": 1220375819156598322828803478335573977564459013837370206}, {"parameter": "13,3", "name": "generalized_linkage", "value": 1220351439303965709262934184017872099157282142936688255}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1220351439303965709262933731540708889061854300899117655}, {"parameter": "13,5", "name": "generalized_linkage", "value": 1220351439303965709262933731540708888396648285773084254}, {"parameter": "13,6", "name": "generalized_linkage", "value": 1220351439303965709262933731540708888396675975463195155}, {"parameter": "14,4", "name": "generalized_linkage", "value": 1220361812206417207304332181330571371076530920765896069}, {"parameter": "14,5", "name": "generalized_linkage", "value": 1220361812206417207304332181330571366420049136487063268}, {"parameter": "14,6", "name": "generalized_linkage", "value": 1220361812206417207304332181330571366420049136491987369}, {"parameter": "15,5", "name": "generalized_linkage", "value": 1220363294051423915515596315828513814958413758086482671}, {"parameter": "15,6", "name": "generalized_linkage", "value": 1220363294051423915515596315828513814958413758085521872}, {"parameter": "16,6", "name": "generalized_linkage", "value": 1220363505743604452436804093095468186586127225154013604}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 143503602225449417120299047404375358047942208868468661032950}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 143503601622251385959817491146713457466605975168889677128550}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 143503601610120522050331411943162018518366134443304314305952}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 143503601609873577032748819562821831508197385512158234125903}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 143503601609868538941752927295225594989910979309810008722517}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 143503601609868436378728977945383126727615791254575680774696}, {"parameter": "[8, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 143503601610080126502861504609864339659142667725039527198452}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 174253261354008023869038337944787913435709145579337828}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 174251535072184899287994082312812149182785406700662044}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 174251498339288743398795385236227941231874370057764044}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 174251498233997700891479749202324931320412369489571846}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 174251498233691706408500995706025562432904098211034997}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690816853488354029899503420337261156055543}, {"parameter": "[9, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 174251498233727535812555967795674953764217240783908614}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184009771639727233378455601252577862598}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1245172160068543093726966568054526607206301488290592186}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1245172160053551755960490479744488547898000292284792202}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1245172160053507007993057861743452687802789913385079802}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1245172160053506989681851155765155865441681748891942004}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1245172160053506989674268253914332738931370122652676355}, {"parameter": "[10, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1245172160053506989680635103419260002886332503930561769}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1223833585409965463346232355403152461099388534611289398}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1223833549306136990956235469941561478709800558662527786}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1223833549306136988347997430493292477011905884714185402}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1223833549306136988346888474951262129562372725853725802}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1223833549306136988346888410288649156551222065603752125}, {"parameter": "[11, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1223833549306136988346888411389853485986881288751467155}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1220375819156599217842446547712575751053159769018148400}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1220375819156598322828803487569790426967068080403160104}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220375819156598322828803478336133029348872817993966004}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1220375819156598322828803478335573790463264907708625260}, {"parameter": "[12, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220375819156598322828803478335573977564459013837370206}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1220351439303965709262934184017872099157282142936688255}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220351439303965709262933731540708889061854300899117655}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1220351439303965709262933731540708888396648285773084254}, {"parameter": "[13, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220351439303965709262933731540708888396675975463195155}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220361812206417207304332181330571371076530920765896069}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1220361812206417207304332181330571366420049136487063268}, {"parameter": "[14, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220361812206417207304332181330571366420049136491987369}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1220363294051423915515596315828513814958413758086482671}, {"parameter": "[15, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220363294051423915515596315828513814958413758085521872}, {"parameter": "[16, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743604452436804093095468186586127225154013604}, {"parameter": "[8, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 1220363717331218254862193079093984114611331736190825603}, {"parameter": "[8, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 1219760699328052958566827055830430899503056347630820803}, {"parameter": "[8, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1220376280206284198535013204578641473259420806785825703}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1220363505745696544425187206514772448961481364761393659}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1219760487742531248129821183251219233853205976201388859}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1220376068620762488098007331999429807609570435356393759}, {"parameter": "[8, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743641155805018735490063557143687479790820803}, {"parameter": "[8, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740475859509652712226510342035412091230816003}, {"parameter": "[8, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1220376068618707099477838860974720915791776550385820903}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1220363505848209033717060086042307696996602666019536003}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1219760487845043737421694062778754481888327277459531203}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220376068723274977389880211526965055644691736614536103}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743604452799709369736436922119917249066400059}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740439156504343346472883707011641860506395259}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220376068618670396472529495221094280768006319661400159}, {"parameter": "[8, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743641920458390620664324644690047700593340903}, {"parameter": "[8, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740476624163024597400771429581772312033336103}, {"parameter": "[8, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220376068618707864131210746148982003338136771188341003}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1220363510883861237693129183456436843043708439302971203}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1219760492880695941397763160192883627935433050742966403}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1220376073758927181365949308941094201691797509897971303}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743604470582194713440908165365824269121611203}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740439174286828690177354950257548880561606403}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1220376068618670414255014838925565524013913339716611303}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743604452807269950266008529688329435806685759}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740439156511903927002455314580054047246680959}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1220376068618670396480090075750665888336418506401685859}, {"parameter": "[8, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743641278366032780607723877840155879955562903}, {"parameter": "[8, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740475982070666757344170662731880491395558103}, {"parameter": "[8, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1220376068618707222038852906092381236488244950550563003}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220363757704262804850306238289885366482870716337625603}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219760739701097508554940215026332151374595327777620803}, {"parameter": "[8, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220376320579328748523126363774542725130959786932625703}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743605344099286452786134030773692822972086403}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740440047803920429522580815665417434412081603}, {"parameter": "[8, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220376068618671287772106578270791389421781893567086503}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743604470960223674367115666578064479259171303}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740439174664857651103562451469789090699166503}, {"parameter": "[8, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220376068618670414633043799851773025226153549854171403}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743604452800921203033123435086848752634139759}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740439156505555179769570219978573364074134959}, {"parameter": "[8, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220376068618670396473741328517780793734937823229139859}, {"parameter": "[8, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1220363505743641174320735231629647346837003910477564305}, {"parameter": "[8, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740475878025369208366094131728728521917559505}, {"parameter": "[8, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220376068618707117993555357114304705485092981072564405}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219772830212421237818431281077393752747718841179456010}, {"parameter": "[8, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219772829480197045798400392310712715266365497103734403}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219760488472707054901447862780052573147083614813337610}, {"parameter": "[8, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740482862881416974013371535665730270737616003}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219760488472664258400249866994017412901792433000883310}, {"parameter": "[8, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740440066380218978227336375420439088925161703}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219760488472663366367451233271423998333463696965910110}, {"parameter": "[8, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740439174347420344504742960852110352890188503}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219760488472663348524557311089065873200822676690269280}, {"parameter": "[8, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740439156504526422322384835719469332614547673}, {"parameter": "[8, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219760488472700069311794838290076772538860116283793863}, {"parameter": "[8, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740475877291763949523395735057506772208072256}, {"parameter": "[8, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220363505848207908439662996902719618001420209570020803}, {"parameter": "[8, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487742580034856570538457344065572758092126449603}, {"parameter": "[8, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740483773438341971921376950094319594220136103}, {"parameter": "[8, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740440050781387175953134940271002252290583703}, {"parameter": "[8, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740439174295982481065091959003034161349290705}, {"parameter": "[8, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740439156504519168732928055891577570238060880}, {"parameter": "[8, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219760487740475877603891176154031703129323244989836870}, {"parameter": "[9, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 1974707967715357136718004880671217472427280971887}, {"parameter": "[9, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1974707967715357136718004880671217472427280971887}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1974707931014535641728243050635303014449310383486}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1974707931014535641728243050635303014449310383486}, {"parameter": "[9, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011995286229640348468992181828760007087}, {"parameter": "[9, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011995286229640348468992181828760007087}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1974707931903659911565197458657251837231094322287}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1974707931903659911565197458657251837231094322287}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011988919865650509138574698915740463486}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011988919865650509138574698915740463486}, {"parameter": "[9, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011995418871404025163861803095194047187}, {"parameter": "[9, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011995418871404025163861803095194047187}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1974708237743838137301041440446811882236626482287}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1974708237743838137301041440446811882236626482287}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011989074098948386542219338505003437487}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011989074098948386542219338505003437487}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011988919874854071494097109463564503486}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011988919874854071494097109463564503486}, {"parameter": "[9, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011995307489873623670974057820050669187}, {"parameter": "[9, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011995307489873623670974057820050669187}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1974813177498782148907038167502457736648636976687}, {"parameter": "[9, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1974813177498782148907038167502457736648636976687}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1974707931012042127132041070200160313320967597487}, {"parameter": "[9, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1974707931012042127132041070200160313320967597487}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011989077321345097295436261181636517587}, {"parameter": "[9, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011989077321345097295436261181636517587}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011988919867125684658090601155973303486}, {"parameter": "[9, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011988919867125684658090601155973303486}, {"parameter": "[9, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011995289441497357260723898100200500989}, {"parameter": "[9, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011995289441497357260723898100200500989}, {"parameter": "[9, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 2010794619222988748654518032050846525861355696687}, {"parameter": "[9, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1974707931030245661815026936667489724283436971887}, {"parameter": "[9, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1974707931012043235625768817585399522816416677587}, {"parameter": "[9, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011989074615444125718627462571401939587}, {"parameter": "[9, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011988919865873369008935651997470184286}, {"parameter": "[9, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011995289314241401878621654385071088940}, {"parameter": "[10, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519664289389795580509289210043069561799}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657925677536587038525198909073399799}, {"parameter": "[10, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657922585139099155547389254235636999}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519665504755914449183029003133108836999}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657922584035208100332565574457074999}, {"parameter": "[10, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657922585162108061436195280605197099}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468537915748195019001647858803111724116999}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657922585349924493467756972009952199}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657922584035219279893732481290435099}, {"parameter": "[10, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657922585142787094346179009836219099}, {"parameter": "[10, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 29645109333512372346625081451503454258391517069411399}, {"parameter": "[10, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657925751156244452223048755681232199}, {"parameter": "[10, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657922585377325593134671932739032299}, {"parameter": "[10, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657922584035209892227303208957457099}, {"parameter": "[10, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 29645109333468519657922585139656305223291636939961301}, {"parameter": "[8, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1206247803188010390064089458104030243788627719169604}, {"parameter": "", "name": "JohnsonLB", "value": 143564786332641161089756517140984122448495251479555508596649}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 418556238765870274400689654072267476205199636937132622763}], "request": [7, 18, 4, 8], "liftedmrdsizebound": 143576479285862504177502078865588238417156481362110064108046, "comments": "", "equal_bound_constraints": []}