{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "", "name": "singleton", "value": 54418806485048320298126020637699477339315297310345}, {"parameter": "5", "name": "ilp_2", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "6", "name": "ilp_2", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "8", "name": "ilp_3", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "9", "name": "ilp_3", "value": 786392621408892340039925677267528188884691566006169539073}, {"parameter": "", "name": "anticode", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "", "name": "linear_programming_bound", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "", "name": "sphere_packing", "value": 1365265527343893463449063261853794543574899440237968364}, {"parameter": "1", "name": "ilp_1", "value": 46872649541277764150861844865752514543240178287819}, {"parameter": "2", "name": "ilp_1", "value": 46872649541277764150861844865752514543242324338885}, {"parameter": "3", "name": "ilp_1", "value": 46872649541277764150861844867163883708389887448165}, {"parameter": "4", "name": "ilp_1", "value": 46872649541277764162988374259411958088761001824285}, {"parameter": "10", "name": "ilp_4", "value": 786389996540330123785314252772771103483325987704976211976}, {"parameter": "11", "name": "ilp_4", "value": 786389996537807345004594599702465484244974411404800973187}, {"parameter": "12", "name": "ilp_4", "value": 786389996537807344389306731710388284607158949179801098309}, {"parameter": "13", "name": "ilp_4", "value": 786389996537807344389306438327223450767954784833802792262}, {"parameter": "14", "name": "ilp_4", "value": 786389996537807344389306722281112639675055805532323859215}, {"parameter": "15", "name": "ilp_4", "value": 12287361238858291473125530651203406228161065112275813999}, {"parameter": "16", "name": "ilp_4", "value": 191990373413352423347588269023485005885390533725542324}, {"parameter": "17", "name": "ilp_4", "value": 2999849562276664063029419715354968308608212157370943}, {"parameter": "", "name": "johnson_1", "value": 46872649541277764150861844865752514543240178287819}, {"parameter": "", "name": "johnson_2", "value": 2999849562276664063029419715354968308608212157370943}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 786392621408892340039925677267528188884691566006169539073}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 786389996540330123785314252772771103483325987704976211976}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 786389996537807345004594599702465484244974411404800973187}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 786389996537807344389306731710388284607158949179801098309}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 786389996537807344389306438327223450767954784833802792262}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 786389996537807344389306722281112639675055805532323859215}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 12287361238858291473125530651203406228161065112275813999}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 191990373413352423347588269023485005885390533725542324}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 2999849562276664063029419715354968308608212157370943}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1365265527343893463449063261853794543574899440237968364}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1365265528456454531112560130875529490903911570899425221}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1365265537356943137697971672680282268150356195436084248}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1365265608560856168137454269983515714311685367773068111}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1365266178192427788176737494978504074445703322768625534}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1365270735262112911140047417561298392888385327285045090}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 170662758257441846189863635533951613532054280681702497}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 21337473175830320546774759730495539701615357014330561}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2671751071086255140234848191648261279189674384457544}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 338607342261952654688187990765171039340875742090351}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 47616637279363202499920482856493715805229489361479}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 46872649716147630520528430119749996252728152240654}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 46872649759117953081619603062846415009654878076351}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 46872650102880536126502609557390647746823610139422}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 46872652852981364079408278580000156846180197706224}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 46872674853798457713508245146117736975967098608274}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 46872850861005290036467584241651108812965845282465}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 46874258961546585067999434683280564627897680578270}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 46885526511291761640718917704131029910733367326943}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 46975842959555605722498057143308204812124091000600}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 47709820560680093157481837435023026343478005142165}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 54418806485048320298126020637699477339315297310345}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 46872649541277764162988374259411958088761001824285}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 46872649541277764150861844867163883708389887448165}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 46872649541277764150861844865752514543242324338885}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 46872649541277764150861844865752514543137099023563}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1365265527343893463449063261853794543574899440237968364}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1365270084426613400311547257082429196407935718791823572}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1365306542183591450167848040268791174260108101870860446}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1365598274350486903504624254004730755956729845476058256}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1367936627558081891981578750550712892589864508541261862}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1386935747369549199912380878978050266835308450351606210}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 786392621408892340039925677267528188884691566006169539073}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 786392990531207162760964486543844529314361850385483125970}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 786395943520968505012509495432079635480146349920629471352}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 786419568158617867777300001587057158745004802252815512301}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 786608611322807857480853270009327213237334814042440100463}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 788123910435747098283397838594999484404230130217299119512}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 800438346454610714322271442901110089317462213672759901765}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 912999988074492896482965524470947601347965366274972702345}, {"parameter": "", "name": "improved_johnson", "value": 46872649541277764150861844865752514543240178287797}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 191990383406874482349297966494923443177416846875862646}], "known_codes": [], "upper_bound": 46872649541277764150861844865752514543137099023563, "classified": false, "lower_bound": 46768052743039366343452958783305087356415231304192, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 46768052394588893382517914646921056628989841375232}, {"parameter": "", "name": "sphere_covering", "value": 37600197636000846500994867738703306901291}, {"parameter": "", "name": "graham_sloane", "value": 86614200013839364630348186079227722394}, {"parameter": "", "name": "multicomponent", "value": 46768052394590222610513699562803183808086976495617}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 46768052394588893388416187280936585539224302428672}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 46768052743039366343452958783305087356415231304192}, {"parameter": "", "name": "two_pivot_block_construction", "value": 46768052743038037109558901233416654639120489906176}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 178405963134017207504319308580989384631967688}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 46768052394590439154740286680557243412175327031296}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 46768052394590439154740286718262388298837650534400}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 46768052394590439154740286680483456717355465535488}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 46768052394590439154740286680484609357385095671808}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1427247692706007157779864581011531921815675392}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1427247692706007157779865097520365985683120640}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1427247692706007157779864507368670815053324800}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1427247692706007157779864581011531921815675392}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 43556142965881563325185251547455728296448}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 43556142965881563325120687943197744865792}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 43556142965881563325120687943197744865792}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 43556142965881563325185251547455728296448}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2793038996915150853489372233807535449743872}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 2793038996915150853489298590946428687393280}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2793038996915150853489888742641599317189120}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 2793038996915150853489372233807535449743872}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 178406643650637850415486033716498529611588096}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 178406643650637850415486032563858499981451776}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 178406643650637850415523811495439982166450688}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 178406643650637850415486106350553319842947584}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 46768052394590439154740286680483456435880488824832}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1427247692706007157779864507224555626977468928}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 43556142965881563325111464571160890089984}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 2793038996915150853489298446831240611537408}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 178406643650637850415486032563577025004741120}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 46768052394590439154740286680483456435880488824832}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1427247692706007157779864507224555626977468928}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 43556142965881563325111464571160890089984}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 2793038996915150853489298446831240611537408}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 178406643650637850415486032563577025004741120}, {"parameter": "7", "name": "linkage_GLT", "value": 46768052394588893382517914646921056633387904700472}, {"parameter": "8", "name": "linkage_GLT", "value": 1427247692705959881058285969449495136384847873}, {"parameter": "9", "name": "linkage_GLT", "value": 43556142965880123323311949751266331066369}, {"parameter": "10", "name": "linkage_GLT", "value": 2793038996915058693023251681607013759975425}, {"parameter": "11", "name": "linkage_GLT", "value": 178406643650631952142852017034666790543687681}, {"parameter": "7", "name": "improved_linkage", "value": 46768052394590222610523603083108243478249314713600}, {"parameter": "8", "name": "improved_linkage", "value": 1427247692706000445877844739358252892396626432}, {"parameter": "9", "name": "improved_linkage", "value": 43556142965880142666125207741487691071489}, {"parameter": "10", "name": "improved_linkage", "value": 2793038996915058693023260904979128065261568}, {"parameter": "11", "name": "improved_linkage", "value": 178406643650631952142852017034671188607012920}, {"parameter": "12", "name": "improved_linkage", "value": 178405963086355732132607481099392236866506753}, {"parameter": "13", "name": "improved_linkage", "value": 178405962917850830084912825767293592186912769}, {"parameter": "14", "name": "improved_linkage", "value": 178405963134011297897949251544163773193388033}, {"parameter": "15", "name": "improved_linkage", "value": 2787593170585515326831275298203030505127937}, {"parameter": "7,0", "name": "generalized_linkage", "value": 46768052394590439154740286680483456435880488824832}, {"parameter": "7,1", "name": "generalized_linkage", "value": 46768052394588896401696449799802908543548856467456}, {"parameter": "7,2", "name": "generalized_linkage", "value": 46768052394588893383161662814960229186072171807233}, {"parameter": "7,3", "name": "generalized_linkage", "value": 46768052394588893423082734205690965386745855255040}, {"parameter": "7,4", "name": "generalized_linkage", "value": 46768052394590222610523603083108243478249314713600}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1427247692706007157779864507224555626977468928}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1427247692705960618344882485964607026640458304}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1427247692705959881058592932496831330610905088}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1427247692705959881077628782707485357742751745}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1427247692706000445877844739358252892396626432}, {"parameter": "9,0", "name": "generalized_linkage", "value": 43556142965881563325111464571160890089984}, {"parameter": "9,1", "name": "generalized_linkage", "value": 43556142965880126141322070050004170520952}, {"parameter": "9,2", "name": "generalized_linkage", "value": 43556142965880123323312096123211858378808}, {"parameter": "9,3", "name": "generalized_linkage", "value": 43556142965880123323321173123380636352512}, {"parameter": "9,4", "name": "generalized_linkage", "value": 43556142965880142666125207741487691071489}, {"parameter": "10,0", "name": "generalized_linkage", "value": 2793038996915150853489298446831240611537408}, {"parameter": "10,1", "name": "generalized_linkage", "value": 2793038996915058693023262410503083742837112}, {"parameter": "10,2", "name": "generalized_linkage", "value": 2793038996915058693023251681607573333090369}, {"parameter": "10,3", "name": "generalized_linkage", "value": 2793038996915058693023251681611411823300664}, {"parameter": "10,4", "name": "generalized_linkage", "value": 2793038996915058693023260904979128065261568}, {"parameter": "11,0", "name": "generalized_linkage", "value": 178406643650637850415486032563577025004741120}, {"parameter": "11,1", "name": "generalized_linkage", "value": 178406643650631952142852102865835909962119544}, {"parameter": "11,2", "name": "generalized_linkage", "value": 178406643650631952142852017034666790545818113}, {"parameter": "11,3", "name": "generalized_linkage", "value": 178406643650631952142852017034666790545788929}, {"parameter": "11,4", "name": "generalized_linkage", "value": 178406643650631952142852017034671188607012920}, {"parameter": "12,1", "name": "generalized_linkage", "value": 178405963086355732132608167748745751767398776}, {"parameter": "12,2", "name": "generalized_linkage", "value": 178405963086355732132607481099392236881449025}, {"parameter": "12,3", "name": "generalized_linkage", "value": 178405963086355732132607481099392236864405505}, {"parameter": "12,4", "name": "generalized_linkage", "value": 178405963086355732132607481099392236866506753}, {"parameter": "13,2", "name": "generalized_linkage", "value": 178405962917850830084912825767293592323260929}, {"parameter": "13,3", "name": "generalized_linkage", "value": 178405962917850830084912825767293592186912769}, {"parameter": "13,4", "name": "generalized_linkage", "value": 178405962917850830084912825767293592186912769}, {"parameter": "14,3", "name": "generalized_linkage", "value": 178405963134011297897949251544163773193388033}, {"parameter": "14,4", "name": "generalized_linkage", "value": 178405963134011297897949251544163773193388033}, {"parameter": "15,4", "name": "generalized_linkage", "value": 2787593170585515326831275298203030505127937}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 46768052394590439154740286680483456435880488824832}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 46768052394588896401696449799802908543548856467456}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 46768052394588893383161662814960229186072171807233}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 46768052394588893423082734205690965386745855255040}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 46768052394590222610523603083108243478249314713600}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1427247692706007157779864507224555626977468928}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705960618344882485964607026640458304}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881058592932496831330610905088}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881077628782707485357742751745}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1427247692706000445877844739358252892396626432}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43556142965881563325111464571160890089984}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880126141322070050004170520952}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323312096123211858378808}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323321173123380636352512}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880142666125207741487691071489}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2793038996915150853489298446831240611537408}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2793038996915058693023262410503083742837112}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2793038996915058693023251681607573333090369}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2793038996915058693023251681611411823300664}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2793038996915058693023260904979128065261568}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 178406643650637850415486032563577025004741120}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 178406643650631952142852102865835909962119544}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 178406643650631952142852017034666790545818113}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 178406643650631952142852017034666790545788929}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406643650631952142852017034671188607012920}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405963086355732132608167748745751767398776}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405963086355732132607481099392236881449025}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405963086355732132607481099392236864405505}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405963086355732132607481099392236866506753}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405962917850830084912825767293592323260929}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405962917850830084912825767293592186912769}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405962917850830084912825767293592186912769}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405963134011297897949251544163773193388033}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405963134011297897949251544163773193388033}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593170585515326831275298203030505127937}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2787594479045060756423662845661079517790208}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2787594479044323677959304255797898260423168}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2787594479045062196382191572082147649561088}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787596024816546049641400087694996116041728}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 178405963134051862716854323430108010402283520}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405961588286287030308874679807760599613440}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588285549951844516089944579342246400}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588286288470267403406228828731384320}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405963134057772323526611921841677197864960}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 178405963134051862716854323430108010402283520}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405961588286287030308874679807760599613440}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588285549951844516089944579342246400}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588286288470267403406228828731384320}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405963134057772323526611921841677197864960}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405961588676819782450229330634734739288064}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245628906106047150178780191404544}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245628880800454260673699179569664}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588246367399223341576957948568707584}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405961588676176053629800932891787194691584}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985177285618752435832646808064}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985151980025862930751634973184}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245723670402913179215001024111104}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405961588676176053629800932891787194691584}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985177285618752435832646808064}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985151980025862930751634973184}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245723670402913179215001024111104}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961591264165309794843490470434684842496}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961591264163642437445326413430238388736}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961591264163642437445326413430238388736}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244986800301573957912253079794176}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985132944175793855248633340416}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985132944175793855248633340416}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244986799994620136525726140903936}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985132637221972468721694450176}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985132637221972468721694450176}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244986819375212182222750097912320}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985152017814018165745651458560}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985152017814018165745651458560}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405963134011297897998486657169908691542528}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405963134011297897998486657169908691542528}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244986572293713470185369549578752}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244986572293713470185369549578752}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985132637212895468070775726592}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985132637212895468070775726592}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985132637221990487518250443264}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985132637221990487518250443264}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985151980099812282923663139328}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985151980099812282923663139328}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149817064971859256509763812029276672}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149816327893044117833705430479184384}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149816327893043431498648175324602880}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149816327893043440575398136633795072}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149816327912386244628250397427540480}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070679479595594217571456109340786688}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070632295076322511993723112008622592}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070632295076322511993723112008622592}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070679571775401706959560243039347200}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070638914795729727344442281633513472}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730276458021766709284301349376}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730276458021766709284301349376}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070639006975537216732546415332073984}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070638914795729727344442281633513472}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730276458021766709284301349376}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730276458021766709284301349376}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070639006975537216732546415332073984}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591731877374853961715669907550720}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257422171697633781299716608}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257422171697633781299716608}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591731877067900140329142968660480}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115217876247254360826368}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115217876247254360826368}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591731877067900140329142968660480}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115217876247254360826368}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115217876247254360826368}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070592467540893021527759434947404288}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070592467540893021527759434947404288}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115208799246603442102784}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115208799246603442102784}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115208652879615552561664}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115208652879615552561664}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115217894266050916819456}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115217894266050916819456}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070638914798886257039831574402212352}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257466772954276772989018624}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115208652875287301366272}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115208652879624144593408}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257115217876282516159767040}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566278551915969501855856894464}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566278551915969501855856894464}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40566278551915969501855856894464}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566259209112079039825916371456}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40566259209112079039825916371456}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40566259209112079039825916371456}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566259209112079039825916371456}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40566259209112079039825916371456}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40566259209112079039825916371456}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40566259209103002039174997647872}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 40566259209103002039174997647872}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40566259209102855672187108106752}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40566259209102855672187108106752}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40566259209102855672187108106752}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40566259209102855672187108106752}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 40566262021618440353249308090880}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 40566259209102855667858856911360}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40566259209102855667789063692800}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40566259209102855672195700138496}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 40736227178686707615818548158976}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40736227178686707615818548158976}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40736227178677484248179739894272}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40736227178677484248179739894272}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40736227178677484248179739894272}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40736227178677484248179739894272}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 40736227178677484244340175446528}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40736227178677484243781695480320}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40736227178677484243781695480320}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 46463246924350676035739695358464}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 46463246924350676031341650944512}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 46463246924350676031341650944512}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1545807614682727215520528159198937088}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1545807614682727215520528159198937088}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 42038996181766770227909396267008}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 42038996181766770227909396267008}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3091573190349929860380366379061084160}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3091573190349929860380366379061084160}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1545807614663384411630066129258414080}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1545807614663384411630066129258414080}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1545807614663384411630066129258414080}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1545807614663384411630066129258414080}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 94369102884919111118817442398208}, {"parameter": "", "name": "JohnsonLB", "value": 46768049955444872464716339995892347027877323444819}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 178405963134064293059765571428015178255584192}], "request": [8, 18, 6, 7], "liftedmrdsizebound": 46768052800819900224064663704583869511513054188160, "comments": "", "equal_bound_constraints": []}