{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "", "name": "singleton", "value": 1783202253071230934395807391969095566387830751237232265}, {"parameter": "6", "name": "ilp_2", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "8", "name": "ilp_3", "value": 798875037925854097918750242504356573615959908209727068964}, {"parameter": "", "name": "anticode", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "", "name": "linear_programming_bound", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "", "name": "sphere_packing", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "1", "name": "ilp_1", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "2", "name": "ilp_1", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "3", "name": "ilp_1", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "4", "name": "ilp_1", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "5", "name": "ilp_1", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "9", "name": "ilp_4", "value": 798872371392714322852854009586415399185662932982014577918}, {"parameter": "10", "name": "ilp_4", "value": 798872371391462687987135797535638840543267653134863169374}, {"parameter": "11", "name": "ilp_4", "value": 798872371391462686794651724958948066939207907665937183365}, {"parameter": "12", "name": "ilp_4", "value": 798872371391462686794651476490764606847079990639500620869}, {"parameter": "13", "name": "ilp_4", "value": 798872371391462686794651476490762188542176258402085090419}, {"parameter": "14", "name": "ilp_4", "value": 798872371391462686794651719880738491949370369892304963755}, {"parameter": "15", "name": "ilp_4", "value": 99859374532656779017466520727365524002901035074408448510}, {"parameter": "16", "name": "ilp_4", "value": 12482421084197249954280173607633020425295560104942572103}, {"parameter": "", "name": "johnson_1", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "", "name": "johnson_2", "value": 12482421084197249954280173607633020425295560104942572103}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 798875037925854097918750242504356573615959908209727068964}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 798872371392714322852854009586415399185662932982014577918}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 798872371391462687987135797535638840543267653134863169374}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 798872371391462686794651724958948066939207907665937183365}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 798872371391462686794651476490764606847079990639500620869}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 798872371391462686794651476490762188542176258402085090419}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 798872371391462686794651719880738491949370369892304963755}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 99859374532656779017466520727365524002901035074408448510}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 12482421084197249954280173607633020425295560104942572103}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1560302716900780044740231494355120556670608296303067566}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1560302727072762172129456126767373934823104823817315177}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1560302808448623965819479091351886187177756475823073983}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1560303459455823888363544246369150371583151542701302281}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1560308667532980016701593504536572994796829350871575206}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1560350333401899037686294410811908839684364499248930648}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1560683740479654686623451333451599351426136374494753070}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1563356135207289604284495973133226722635252370114703168}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1585069341236614290287726925969828672901477193611511694}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1783202253071230934395807391969095566387830751237232265}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 798875037925854097918750242504356573615959908209727068964}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 798875371242650851255535593856084447855339821782685142555}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 798878037787037999632717660328337071895601495349934146479}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 798899370782994493632539366611560834490291944369000542288}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 799070075775638402140229807714082736872541416211860522309}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 800438346444398847851882220486502559588949818504052439276}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 811555545626944757003856774824433374520962585610289177855}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 912999988074492896482965524470947601347965366274972702345}, {"parameter": "", "name": "improved_johnson", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 99859374532659261813532969135642939445351105806946420198}], "known_codes": [], "upper_bound": 1560302715629282288141922051778488178271424839003742785, "classified": false, "lower_bound": 1532876265112963221100230608239000778944194589626442240, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1532495540865888858358347027150309183618739122183602176}, {"parameter": "", "name": "sphere_covering", "value": 5208074677648610096832140585244383402384596089706}, {"parameter": "", "name": "graham_sloane", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "", "name": "multicomponent", "value": 1532495540888189603556918215111052214455607415049027585}, {"parameter": "", "name": "construction_ST_B", "value": 1532869868039325636815416715718837794802583642192300695}, {"parameter": "", "name": "EF_special", "value": 1532876265112943302025972486322657421692282703427141632}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1532495542522905957124831506388613463132440994938617856}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1532869778308215746651854660577626594625810003671384064}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1532869868039325636815122168075363389042296265846956544}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1532876265112963221100230608239000778944194589626442240}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1532869776651204092403240916354737729105827039207751680}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 374250468156269238443820668787590053438931559514039}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1532869868039668809005809124089169024835579801449267273}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1532495646914888416449730705739861444504530817636106240}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1532495646914888416449730705739861444504530817636106240}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1532495646914888416449730704502223636674054200030658560}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1532495646914888416449730704501921405237164941246464000}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 5846216906492373023751823401846427250515054166016}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5846216906492373023753061039654257727132659613696}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5846216906492373023751842442428086180924555788288}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 5846216906492373023751823099688759323152598695936}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 47510243900074204932327241676718541695203917430784}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 47510243900074204932327261019457868552975874523136}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 47510243900074204932328479616684040099183978348544}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 47510243900074204932327241978876209622566372900864}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 374969419692749817347315181156480748840620562317312}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 374969419692749817347315181458712185729879346511872}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 374969419692749817347316419096520016206496951959552}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 374969419692749817347316419096520016206496951959552}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1532495646914888416449730704501921405219150542736982016}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 5846216906492373023751823099614972346857760489472}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 47510243900074204932327241676644754718909079224320}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 374969419692749817347315181156480730826222052835328}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1532495646914888416449730704501921405219150542736982016}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 5846216906492373023751823099614972346857760489472}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 47510243900074204932327241676644754718909079224320}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 374969419692749817347315181156480730826222052835328}, {"parameter": "7", "name": "linkage_GLT", "value": 1532495540865888858358347027150309183618743529908469833}, {"parameter": "8", "name": "linkage_GLT", "value": 5846006549323611672814739330865132078623732302337}, {"parameter": "9", "name": "linkage_GLT", "value": 47510243495541191051291364886753066748270375600129}, {"parameter": "10", "name": "linkage_GLT", "value": 374967762675651050862835942852201217124349297819649}, {"parameter": "7", "name": "improved_linkage", "value": 1532495540888195909384034477732698661788066136338613475}, {"parameter": "8", "name": "improved_linkage", "value": 5846006549408706324349690039074373043472107044864}, {"parameter": "9", "name": "improved_linkage", "value": 47510243495541191091867637354689697127284670145341}, {"parameter": "10", "name": "improved_linkage", "value": 374967762675651050862835962200401863436493202639210}, {"parameter": "11", "name": "improved_linkage", "value": 374239245067655603685512974517210392400729075126865}, {"parameter": "12", "name": "improved_linkage", "value": 374248629190579303921154898113116552728114077106249}, {"parameter": "13", "name": "improved_linkage", "value": 374250056840567039342277212877604211727102436737537}, {"parameter": "14", "name": "improved_linkage", "value": 374250235296900600556266157063438610479049437347841}, {"parameter": "15", "name": "improved_linkage", "value": 46781276672622488363759258921760486389210255720449}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1532495646914888416449730704501921405219150542736982016}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1532495542522827277152789148294570127899075638292381696}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1532495540891779182490381848802111856200078036365677568}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1532495540866292632094852118812511346330478030481980824}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1532495540865895070267909078552008458209173053695328256}, {"parameter": "7,5", "name": "generalized_linkage", "value": 1532495540888195909384034477732698661788066136338613475}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5846216906492373023751823099614972346857760489472}, {"parameter": "8,1", "name": "generalized_linkage", "value": 5846009798164265172706725602298131256998551617536}, {"parameter": "8,2", "name": "generalized_linkage", "value": 5846006555656675610456044241717236095419678769664}, {"parameter": "8,3", "name": "generalized_linkage", "value": 5846006549335957559374235791124136876651121022896}, {"parameter": "8,4", "name": "generalized_linkage", "value": 5846006549323635409934133073793903801986039121509}, {"parameter": "8,5", "name": "generalized_linkage", "value": 5846006549408706324349690039074373043472107044864}, {"parameter": "9,0", "name": "generalized_linkage", "value": 47510243900074204932327241676644754718909079224320}, {"parameter": "9,1", "name": "generalized_linkage", "value": 47510243496345379090429307447846256175288292212736}, {"parameter": "9,2", "name": "generalized_linkage", "value": 47510243495542740596815506406208760417477563757056}, {"parameter": "9,3", "name": "generalized_linkage", "value": 47510243495541191428139041842163233960213864304888}, {"parameter": "9,4", "name": "generalized_linkage", "value": 47510243495541191051381933813978453893888835969850}, {"parameter": "9,5", "name": "generalized_linkage", "value": 47510243495541191091867637354689697127284670145341}, {"parameter": "10,0", "name": "generalized_linkage", "value": 374969419692749817347315181156480730826222052835328}, {"parameter": "10,1", "name": "generalized_linkage", "value": 374967762675651244136605790043060700347388743385088}, {"parameter": "10,2", "name": "generalized_linkage", "value": 374967762675651050910770745299046491104636051268096}, {"parameter": "10,3", "name": "generalized_linkage", "value": 374967762675651050862847466064343185488312255612216}, {"parameter": "10,4", "name": "generalized_linkage", "value": 374967762675651050862835943197694818782393349171993}, {"parameter": "10,5", "name": "generalized_linkage", "value": 374967762675651050862835962200401863436493202639210}, {"parameter": "11,1", "name": "generalized_linkage", "value": 374239245067754560232426721480209546641285974851584}, {"parameter": "11,2", "name": "generalized_linkage", "value": 374239245067655603685514414524483314719396105429504}, {"parameter": "11,3", "name": "generalized_linkage", "value": 374239245067655603685512974561758288368433233214328}, {"parameter": "11,4", "name": "generalized_linkage", "value": 374239245067655603685512974517202487214569310500561}, {"parameter": "11,5", "name": "generalized_linkage", "value": 374239245067655603685512974517210392400729075126865}, {"parameter": "12,2", "name": "generalized_linkage", "value": 374248629190579303921247058623024383901462905102848}, {"parameter": "12,3", "name": "generalized_linkage", "value": 374248629190579303921154898113116720040393621785464}, {"parameter": "12,4", "name": "generalized_linkage", "value": 374248629190579303921154898113116552724344615052361}, {"parameter": "12,5", "name": "generalized_linkage", "value": 374248629190579303921154898113116552728114077106249}, {"parameter": "13,3", "name": "generalized_linkage", "value": 374250056840567039342277212877605550260609317227384}, {"parameter": "13,4", "name": "generalized_linkage", "value": 374250056840567039342277212877604211727102434906697}, {"parameter": "13,5", "name": "generalized_linkage", "value": 374250056840567039342277212877604211727102436737537}, {"parameter": "14,4", "name": "generalized_linkage", "value": 374250235296900600556266157063438610479049437647433}, {"parameter": "14,5", "name": "generalized_linkage", "value": 374250235296900600556266157063438610479049437347841}, {"parameter": "15,5", "name": "generalized_linkage", "value": 46781276672622488363759258921760486389210255720449}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1532495646914888416449730704501921405219150542736982016}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1532495542522827277152789148294570127899075638292381696}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1532495540891779182490381848802111856200078036365677568}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1532495540866292632094852118812511346330478030481980824}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1532495540865895070267909078552008458209173053695328256}, {"parameter": "[7, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1532495540888195909384034477732698661788066136338613475}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5846216906492373023751823099614972346857760489472}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846009798164265172706725602298131256998551617536}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006555656675610456044241717236095419678769664}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549335957559374235791124136876651121022896}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323635409934133073793903801986039121509}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5846006549408706324349690039074373043472107044864}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 47510243900074204932327241676644754718909079224320}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 47510243496345379090429307447846256175288292212736}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 47510243495542740596815506406208760417477563757056}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 47510243495541191428139041842163233960213864304888}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 47510243495541191051381933813978453893888835969850}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 47510243495541191091867637354689697127284670145341}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315181156480730826222052835328}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 374967762675651244136605790043060700347388743385088}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 374967762675651050910770745299046491104636051268096}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 374967762675651050862847466064343185488312255612216}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 374967762675651050862835943197694818782393349171993}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 374967762675651050862835962200401863436493202639210}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 374239245067754560232426721480209546641285974851584}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 374239245067655603685514414524483314719396105429504}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 374239245067655603685512974561758288368433233214328}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 374239245067655603685512974517202487214569310500561}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 374239245067655603685512974517210392400729075126865}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 374248629190579303921247058623024383901462905102848}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 374248629190579303921154898113116720040393621785464}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 374248629190579303921154898113116552724344615052361}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 374248629190579303921154898113116552728114077106249}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 374250056840567039342277212877605550260609317227384}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 374250056840567039342277212877604211727102434906697}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250056840567039342277212877604211727102436737537}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 374250235296900600556266157063438610479049437647433}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250235296900600556266157063438610479049437347841}, {"parameter": "[15, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 46781276672622488363759258921760486389210255720449}, {"parameter": "[7, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 46768074745791159493103543905149422564456831909888}, {"parameter": "[7, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 46768074746591893853859813147385015604297605316608}, {"parameter": "[7, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 46874123694892183296818407794860929688771900735488}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 374250235303110753747502681620732279458692394385408}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144419213378367836412931856085132904653985415168}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419214179102197169201098320725944494758821888}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374250468162479391640127795745796640028969054240768}, {"parameter": "[7, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 374250235296985671142925789278391536524920566579200}, {"parameter": "[7, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144419207253285231836039513744389970882157608960}, {"parameter": "[7, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419208054019592592308755979983010722931015680}, {"parameter": "[7, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 374250468156354309035550903403455897095197226434560}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 374250235700560365871656487498904838527477463646208}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419610827979960566737734257691973439054675968}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419611628714321323006976493285013279828082688}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374250468559929003764281601623969199097754123501568}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 374250235296900603512427356795669574769361312284672}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419207168217601337607031022428215322903314432}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419207968951962093876273258021255163676721152}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374250468156269241405052470920733935339637972140032}, {"parameter": "[7, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 374250235296987021180673827540878295301860666376192}, {"parameter": "[7, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419207254635269584077776231148747822257405952}, {"parameter": "[7, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419208055369630340347018466741787663030812672}, {"parameter": "[7, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 374250468156355659073298941665942655872137326231552}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 374250261180015537029330252831766732240945615470592}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144445090283151118240503067119585686907206500352}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144445091083885478996772309355178726747979907072}, {"parameter": "[7, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250494039384174921955366956831092811222275325952}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 374250235296900793031170931011465987319600431235072}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419207168407120081181246818840765562022264832}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419207969141480837450489054433805402795671552}, {"parameter": "[7, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250468156269430923796045136530347889877091090432}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 374250235296900603559420972712299919891408124641280}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419207168217648331222947652773337369715671040}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419207968952009087492189888366377210489077760}, {"parameter": "[7, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250468156269241452046086837364280461684784496640}, {"parameter": "[7, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 374250235296985858349567843008666859444925993320448}, {"parameter": "[7, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419207253472438478093244019712890887584350208}, {"parameter": "[7, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419208054206799234362486255305930728357756928}, {"parameter": "[7, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250468156354496242192957133731220015202653175808}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 374146079358653901265875527781655692812322087108608}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 374146075675289916772795927518140678563973780471808}, {"parameter": "[7, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 374146075726547502175272239651806165367547586674688}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144422840087690122437117361963755133450284171264}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156723705629357517098448740885101977534464}, {"parameter": "[7, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419207981291031833829232114227688675783737344}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144422840075543626024316967192059556582947553280}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711559132944716703677045308234640916480}, {"parameter": "[7, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419207969144535421028837342532111808447119360}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144422840075351059213661476244026217339472052224}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711366566134061212729011968991165415424}, {"parameter": "[7, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419207968951968610373346394498772564971618304}, {"parameter": "[7, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144422840160440244111495579537098713696332414976}, {"parameter": "[7, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156796455751031895316022084465348025778176}, {"parameter": "[7, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419208054041153508207449687571268921831981056}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 374250235296902356916939829403509533451528066564096}, {"parameter": "[7, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250235296900624611000270754867937264548452499456}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419157502793037395567690242556067290495844352}, {"parameter": "[7, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419157501060731456009041600959880310881779712}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156725441320169574870337042536901564694528}, {"parameter": "[7, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419156723709014230016221695446349921950629888}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156713096329435076086713012389477355618304}, {"parameter": "[7, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711364023495517438071416202497741553664}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156712906387869910397669622473780547813376}, {"parameter": "[7, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711174081930351749028026286800933748736}, {"parameter": "[7, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156797997712236245198737031664088922456064}, {"parameter": "[7, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419156796265406296686550095435477109308391424}, {"parameter": "[7, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768052445045985022285118461773394307581153902592}, {"parameter": "[7, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768052395391342299802570844652110947869729488896}, {"parameter": "[7, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768052394601286633210960435724466731989363326976}, {"parameter": "[7, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768052394589109971081546462564660901289092186112}, {"parameter": "[7, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768052394588920404379221511744081662926917730304}, {"parameter": "[7, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768052394674012053281308979535911606309751881728}, {"parameter": "[8, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 385477077375223778657368761785013422243446784}, {"parameter": "[8, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 178406145397998548360916013683445164868108288}, {"parameter": "[8, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 388763215420187652450670361865106984020213760}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 385476992328362467659025350337379848306032640}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 178406060351137237362572602235811590930694144}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 388763130373326341452326950417473410082799616}, {"parameter": "[8, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 385476992304672613241960199282209458803965952}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 178406060327447382945507451180641201428627456}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 388763130349636487035261799362303020580732928}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 385477004647080879211214631417482984581758976}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178406072669855648914761883315914727206420480}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 388763142692044753004516231497576546358525952}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 385476992304632059738298567534290639551201280}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178406060327406829441845819432722382175862784}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 388763130349595933531600167614384201327968256}, {"parameter": "[8, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 385476992304673256990123440793786473143861248}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 178406060327448026693670692692218215768522752}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 388763130349637130783425040873880034920628224}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 385483323763878132465255818277439682333638656}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 178412391786652902168803070175871424958300160}, {"parameter": "[8, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 388769461808842006258557418357533244110405632}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 385476992304637933760978636594273454389198848}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406060327412703464525888492705197013860352}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 388763130349601807554280236674367016165965824}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 385476992304632059917871948718050458845839360}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406060327406829621419200616482201470500864}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 388763130349595933711173548798144020622606336}, {"parameter": "[8, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 385476992304672702509043392932586409506635776}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406060327447472212590644831018152131297280}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 388763130349636576302344993012679971283402752}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 181648557182553630550155501376715871272042496}, {"parameter": "[8, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 181647767269258966598040288107864552246345728}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406850243720557112596976224250140515368960}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 178406060330425893160481762955398821489672192}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406850240707460814707379682598748845768704}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 178406060327412796862592166413747429820071936}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406850240701493418862062130191879815299072}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 178406060327406829466746848861340560789602304}, {"parameter": "[8, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406850240742057178668529839177001244557312}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 178406060327447393226553316570325682218860544}, {"parameter": "[8, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 385477091043793881416767297599967979179606016}, {"parameter": "[8, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 178406061873173144006421603862122765196722176}, {"parameter": "[8, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 178406060330473804726363777388621814925623296}, {"parameter": "[8, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 178406060327412716415821796779998572076597248}, {"parameter": "[8, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 178406060327406829444713714478600299189633024}, {"parameter": "[8, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 178406060327447394243981962645007587080142848}, {"parameter": "[9, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 181641728965540524078914083787489594715406336}, {"parameter": "[9, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 181641728965540524078914083787489594715406336}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 181641728965500049803414966303908369006592000}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 181641728965500049803414966303908369006592000}, {"parameter": "[9, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959279049593560475767008133120}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959279049593560475767008133120}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 181641728965876711449818612413326495569674240}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 181641728965876711449818612413326495569674240}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959259749955051146217418391552}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959259749955051146217418391552}, {"parameter": "[9, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959279356556605234330801799168}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959279356556605234330801799168}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 181641730511643035533440234815411420733112320}, {"parameter": "[9, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 181641730511643035533440234815411420733112320}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959439356224126371145996828672}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959439356224126371145996828672}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959259750640215603784078852096}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959259750640215603784078852096}, {"parameter": "[9, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959279092159422746909193797632}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959279092159422746909193797632}, {"parameter": "[9, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 181642520590749218079166430998615524068294656}, {"parameter": "[9, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 181641728965500696518177446251244499041779712}, {"parameter": "[9, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959442207192074857987048472576}, {"parameter": "[9, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959259750050061332074817650688}, {"parameter": "[9, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959279054495945169575413284864}, {"parameter": "[10, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1835815661138525728944286851143943532859883520}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1835815661138525728925289444089517640563818496}, {"parameter": "[10, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1835815661138525728924944047253481502919360512}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1835815661138525740422853839427222650014924800}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1835815661138525728924944038194811909858918400}, {"parameter": "[10, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1835815661138525728924944047399852888855412736}, {"parameter": "[10, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1835815661138572914903954411254716063092310016}, {"parameter": "[10, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1835815661138525728924949520660744440121393152}, {"parameter": "[10, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1835815661138525728924944038197425674637017088}, {"parameter": "[10, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1835815661138525728924944047273778487721197568}, {"parameter": "[7, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 105994596693179907730092111279357966999367974912}, {"parameter": "[7, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 105994596693179907730092111279357966999367974912}, {"parameter": "[7, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 178506960793996640342346632211412960959004672}, {"parameter": "[7, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 178506960793996640342346632211412960959004672}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 211810686340498188321409393204542765478522650624}, {"parameter": "[7, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 211810686340495267654426467364001717074337464320}, {"parameter": "[7, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 105994596608112277231659628557396211440113680384}, {"parameter": "[7, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 105994596608112277231659628557396211440113680384}, {"parameter": "[7, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 105994596608109356564676702716855163035928494080}, {"parameter": "[7, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 105994596608109356564676702716855163035928494080}, {"parameter": "[8, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 414142146503406421634757468704849096951726080}, {"parameter": "", "name": "JohnsonLB", "value": 1532876173735299452645030570542127120761307010518880391}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 374237369867169368928404301709571331002094508642888}], "request": [8, 17, 4, 7], "liftedmrdsizebound": 1532937678273999763080405153256058112381813624360359561, "comments": "", "equal_bound_constraints": []}