{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "", "name": "singleton", "value": 1783195450928011476668648470344552094424349050302879369}, {"parameter": "5", "name": "ilp_2", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "6", "name": "ilp_2", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "8", "name": "ilp_3", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "9", "name": "ilp_3", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "", "name": "anticode", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "", "name": "linear_programming_bound", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "", "name": "sphere_packing", "value": 357896166368789264029914539124721793194602432908327995925715}, {"parameter": "1", "name": "ilp_1", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "2", "name": "ilp_1", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "3", "name": "ilp_1", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "4", "name": "ilp_1", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "10", "name": "ilp_4", "value": 1649179354048545106469626021151923989723023561403827416656354770}, {"parameter": "11", "name": "ilp_4", "value": 1649179354043254455904005250214403858088434053464443157379286607}, {"parameter": "12", "name": "ilp_4", "value": 1649179354043254454613653067260306088086120831897824782104658489}, {"parameter": "13", "name": "ilp_4", "value": 1649179354043254454613652451991215181517226756011501042084641158}, {"parameter": "14", "name": "ilp_4", "value": 1649179354043254454613653047485681810477712341044687789559488316}, {"parameter": "15", "name": "ilp_4", "value": 25768464197169124007205925105822934125926364572162546818371234}, {"parameter": "16", "name": "ilp_4", "value": 402632995590417939754388961295779894801798475861943677696982}, {"parameter": "17", "name": "ilp_4", "value": 6291140509319178692838074435387117411262076727020524964288}, {"parameter": "18", "name": "ilp_4", "value": 98299070732220184706743902238052439353026856021798900287}, {"parameter": "", "name": "johnson_1", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "", "name": "johnson_2", "value": 98299070732220184706743902238052439353026856021798900287}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1649179354048545106469626021151923989723023561403827416656354770}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1649179354043254455904005250214403858088434053464443157379286607}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1649179354043254454613653067260306088086120831897824782104658489}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1649179354043254454613652451991215181517226756011501042084641158}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1649179354043254454613653047485681810477712341044687789559488316}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 25768464197169124007205925105822934125926364572162546818371234}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 402632995590417939754388961295779894801798475861943677696982}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 6291140509319178692838074435387117411262076727020524964288}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 98299070732220184706743902238052439353026856021798900287}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 357896166368789264029914539124721793194602432908327995925715}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 357896166405245665062220464348999395018007199670680906586259}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 357896166696896873588044244430027272536486756383569480826488}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 357896169030106558906722822679457274762478454278147066345442}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 357896187695785136629870204880163104052908834715737138109407}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 357896337021283849566406336270295010514578695961655800647683}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 44737023461412406922891100367305727302874571595962508437282}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 5592295637310523631496735539294790129201809944580361369707}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 699186280012215462276753670603143564063929811879050215169}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 87547943593266013128846319930092926337747984302708223137}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 11095485381229109137100467997875823018384626232739991752}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1560301971644512899016862755866569763318815655984177729}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1535922985745069138775488374741053988795503441282085549}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1535922985921075579824685090886897418511167670290269360}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1535922987329127109527009465274691748136799318516046898}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1535922998593539430905646378413980925307459159770426767}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1535923088708843362577743869557074146848102696732156905}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1535923809631617897270212794989537767769968871170326962}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1535929577035771462751513682817718227754243384959911062}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1535975717674309289745751865942188397766303317391709121}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1536344932744364608197660594204835271659112005697297480}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1539304422121117315146656494932383023395325938884627881}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1563355400155114489503604620823255707249974163098431068}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1783195450928011476668648470344552094424349050302879369}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 357896166368789264029914539124721793194602432908327995925715}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 357897360689029391452084374580225380209566528441667637098351}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 357906917871272837578485498932029801644130459011844890140846}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 357983393708417026962864296792413489316572342536297216862304}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 358596378971553808230457712527908100625369447235085659149297}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 363576884234532227043828579816210683235563111549147332363782}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 409023994758558015741285168983587557146475766222828822196807}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1649185632902505377652781442320192582352272293765325863206552573}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1649191825770924772654120892588719201997015895095734220367018098}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1649241370227303759745366249755339631928481228147013769191384446}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1649637822479439086905851145028719927253523529044641750234376039}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1652815635062955775532916016416289091032095105489671823385865576}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1678640879339398623188666928852808076070010708189300646018233596}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "", "name": "improved_johnson", "value": 1535922985723068333646894938824390966086303890100752385}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 50329127214014098867515335437459070514909115459718762777297}], "known_codes": [], "upper_bound": 1535922985723068333646894938824390966086303890100752385, "classified": false, "lower_bound": 1532495552283913956149369445210953425471736128141435392, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1532495540865888858358347027150309183618739122183602176}, {"parameter": "", "name": "sphere_covering", "value": 1232083275024896794214452222635697334864687223}, {"parameter": "", "name": "graham_sloane", "value": 2838174106094789011652174576797444287035648}, {"parameter": "", "name": "multicomponent", "value": 1532495540865932414501312907292975308682324455312064513}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1532495540865888858358724516621342357926023770748396032}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1532495552283913956149369445210953425471736128141435392}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1532495552283870400006026075616596939214700213245575168}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 374144422398418088629911294130075346535457326825472}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1532495540869130565299916795127268622102097644729925632}, {"parameter": "(12,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1532495540869130565299916795146606712849448841880010752}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1532495540869130565299916795127263899737866574898397184}, {"parameter": "(12,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1532495540869130565299916795127263908958986811939487744}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 46768052394687846916969162223349342975316945235968}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 46768052394687846916969162520858431396104593698816}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 46768052394687846916969162218628129413951906869248}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 46768052394687846916969162223349342975316945235968}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1427247692708985683399519407604600259842056704}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1427247692708985683399519407604600259842056704}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1427247692708985683399514759025093685035049472}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1427247692708985683399519407604600259842056704}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 91522301850912643345146381872030333983371469312}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 91522301850912643345146377223450827408564462080}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 91522301850912643345146381872030333983371469312}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 91522301850912643345146381872030333983371469312}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5846028899143907813715247532929856785639664165376}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 5846028899143907813715247528208643224274625798656}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5846028899143907813715247830438945206427312628224}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 5846028899143907813715247532929856785639664165376}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 374144422298477096730851515235736158981347151094272}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 374144422298477096730851515235726937861110110003712}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 374144422298477096730851534578540049443377091617280}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 374144422298477096730851515240449302092179941532160}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 1532495540869130565299916795127263899735614775084711936}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 46768052394687846916969162218626976492447300022272}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1427247692708985683399514685238117390196843008}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 91522301850912643345146377149663851113726255616}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 5846028899143907813715247528207490302770018951680}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 374144422298477096730851515235726935609310296318464}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 1532495540869130565299916795127263899735614775084711936}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 46768052394687846916969162218626976492447300022272}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1427247692708985683399514685238117390196843008}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 91522301850912643345146377149663851113726255616}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 5846028899143907813715247528207490302770018951680}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 374144422298477096730851515235726935609310296318464}, {"parameter": "7", "name": "linkage_GLT", "value": 1532495540865888858358347027150309192842111236488888320}, {"parameter": "8", "name": "linkage_GLT", "value": 46768052394588893382517914646921056633387904700472}, {"parameter": "9", "name": "linkage_GLT", "value": 1427247692705959881058285969449495136384847873}, {"parameter": "10", "name": "linkage_GLT", "value": 91522301850912643252985911102898626886874693633}, {"parameter": "11", "name": "linkage_GLT", "value": 5846028899143907807816974894191961392535557898241}, {"parameter": "12", "name": "linkage_GLT", "value": 374144422298477096353362044202552628324661731524609}, {"parameter": "7", "name": "improved_linkage", "value": 1532495540865932414501637425827290922295273544535244800}, {"parameter": "8", "name": "improved_linkage", "value": 46768052394590222610523603083108243478249314713600}, {"parameter": "9", "name": "improved_linkage", "value": 1427247692706000445877844739358252892396626432}, {"parameter": "10", "name": "improved_linkage", "value": 91522301850912643253005253916156617108234698753}, {"parameter": "11", "name": "improved_linkage", "value": 5846028899143907807816974894201184764649863184384}, {"parameter": "12", "name": "improved_linkage", "value": 374144422298477096353362044202552628329059794849848}, {"parameter": "13", "name": "improved_linkage", "value": 374144421945096704014235102383531291441968487337985}, {"parameter": "14", "name": "improved_linkage", "value": 374144422398418061409280068774346145280060098084865}, {"parameter": "15", "name": "improved_linkage", "value": 5846006592879754638694862654177081829890061238273}, {"parameter": "16", "name": "improved_linkage", "value": 91343853013746166229607228971516903592032206849}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1532495540869130565299916795127263899735614775084711936}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1532495540865895190034644399801844845590245117250390392}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1532495540865888859708384786885730516985617020117492224}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1532495540865888859687575032838745370805588381656940544}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1532495540865932414501637425827290922295273544535244800}, {"parameter": "8,0", "name": "generalized_linkage", "value": 46768052394687846916969162218626976492447300022272}, {"parameter": "8,1", "name": "generalized_linkage", "value": 46768052394590439578680106193202763619288667914240}, {"parameter": "8,2", "name": "generalized_linkage", "value": 46768052394588893383161662814960229186072171807233}, {"parameter": "8,3", "name": "generalized_linkage", "value": 46768052394588893423082734205690965386745855255040}, {"parameter": "8,4", "name": "generalized_linkage", "value": 46768052394590222610523603083108243478249314713600}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1427247692708985683399514685238117390196843008}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1427247692705965779353519062262086298420646464}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1427247692705959881058592932496831330610905088}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1427247692705959881077628782707485357742751745}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1427247692706000445877844739358252892396626432}, {"parameter": "10,0", "name": "generalized_linkage", "value": 91522301850912643345146377149663851113726255616}, {"parameter": "10,1", "name": "generalized_linkage", "value": 91522301850912643253008455185036782305013741944}, {"parameter": "10,2", "name": "generalized_linkage", "value": 91522301850912643252985911104069853140702731832}, {"parameter": "10,3", "name": "generalized_linkage", "value": 91522301850912643252985911112121999001179979776}, {"parameter": "10,4", "name": "generalized_linkage", "value": 91522301850912643253005253916156617108234698753}, {"parameter": "11,0", "name": "generalized_linkage", "value": 5846028899143907813715247528207490302770018951680}, {"parameter": "11,1", "name": "generalized_linkage", "value": 5846028899143907807816974894277792561654976330104}, {"parameter": "11,2", "name": "generalized_linkage", "value": 5846028899143907807816974894191961397012128109057}, {"parameter": "11,3", "name": "generalized_linkage", "value": 5846028899143907807816974894191961396933621223480}, {"parameter": "11,4", "name": "generalized_linkage", "value": 5846028899143907807816974894201184764649863184384}, {"parameter": "12,0", "name": "generalized_linkage", "value": 374144422298477096730851515235726935609310296318464}, {"parameter": "12,1", "name": "generalized_linkage", "value": 374144422298477096353362044203239277678176634517880}, {"parameter": "12,2", "name": "generalized_linkage", "value": 374144422298477096353362044202552628324661748568129}, {"parameter": "12,3", "name": "generalized_linkage", "value": 374144422298477096353362044202552628324661733625857}, {"parameter": "12,4", "name": "generalized_linkage", "value": 374144422298477096353362044202552628329059794849848}, {"parameter": "13,1", "name": "generalized_linkage", "value": 374144421945096704014235102389024486270647264721272}, {"parameter": "13,2", "name": "generalized_linkage", "value": 374144421945096704014235102383531291441968621584897}, {"parameter": "13,3", "name": "generalized_linkage", "value": 374144421945096704014235102383531291441968485236737}, {"parameter": "13,4", "name": "generalized_linkage", "value": 374144421945096704014235102383531291441968487337985}, {"parameter": "14,2", "name": "generalized_linkage", "value": 374144422398418061409280068774346145280061188870209}, {"parameter": "14,3", "name": "generalized_linkage", "value": 374144422398418061409280068774346145280060098084865}, {"parameter": "14,4", "name": "generalized_linkage", "value": 374144422398418061409280068774346145280060098084865}, {"parameter": "15,3", "name": "generalized_linkage", "value": 5846006592879754638694862654177081829890061238273}, {"parameter": "15,4", "name": "generalized_linkage", "value": 5846006592879754638694862654177081829890061238273}, {"parameter": "16,4", "name": "generalized_linkage", "value": 91343853013746166229607228971516903592032206849}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1532495540869130565299916795127263899735614775084711936}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1532495540865895190034644399801844845590245117250390392}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1532495540865888859708384786885730516985617020117492224}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1532495540865888859687575032838745370805588381656940544}, {"parameter": "[7, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1532495540865932414501637425827290922295273544535244800}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 46768052394687846916969162218626976492447300022272}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 46768052394590439578680106193202763619288667914240}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 46768052394588893383161662814960229186072171807233}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 46768052394588893423082734205690965386745855255040}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 46768052394590222610523603083108243478249314713600}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1427247692708985683399514685238117390196843008}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705965779353519062262086298420646464}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881058592932496831330610905088}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881077628782707485357742751745}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1427247692706000445877844739358252892396626432}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 91522301850912643345146377149663851113726255616}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 91522301850912643253008455185036782305013741944}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 91522301850912643252985911104069853140702731832}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 91522301850912643252985911112121999001179979776}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 91522301850912643253005253916156617108234698753}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5846028899143907813715247528207490302770018951680}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846028899143907807816974894277792561654976330104}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846028899143907807816974894191961397012128109057}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846028899143907807816974894191961396933621223480}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846028899143907807816974894201184764649863184384}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 374144422298477096730851515235726935609310296318464}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144422298477096353362044203239277678176634517880}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144422298477096353362044202552628324661748568129}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144422298477096353362044202552628324661733625857}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144422298477096353362044202552628329059794849848}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144421945096704014235102389024486270647264721272}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144421945096704014235102383531291441968621584897}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144421945096704014235102383531291441968485236737}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144421945096704014235102383531291441968487337985}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144422398418061409280068774346145280061188870209}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144422398418061409280068774346145280060098084865}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144422398418061409280068774346145280060098084865}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006592879754638694862654177081829890061238273}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006592879754638694862654177081829890061238273}, {"parameter": "[16, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343853013746166229607228971516903592032206849}, {"parameter": "[7, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 91343895889324399004932441181875212968876048384}, {"parameter": "[7, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 91343895889324399006372399710601634037007819264}, {"parameter": "[7, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 91343895890870170490225658919117246885474299904}, {"parameter": "[7, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 91347137596265968035830580072834315647727960064}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 5846006549326486667123289608011943958907862384640}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846006549324940901547603062563193658658059714560}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549324940901549043021091920079726191485440}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549326486673032896280300435692574657966080}, {"parameter": "[7, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846009791031882470578501201454152761336911626240}, {"parameter": "[7, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 5846006549326486667123289608011943958907862384640}, {"parameter": "[7, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846006549324940901547603062563193658658059714560}, {"parameter": "[7, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549324940901549043021091920079726191485440}, {"parameter": "[7, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549326486673032896280300435692574657966080}, {"parameter": "[7, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846009791031882470578501201454152761336911626240}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 374144419163946435070512702166723317977261396983808}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144419156712497529082257439096849679687182348288}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419156712497097891381094914669223732634464768}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419156712497098629874212209096002901011767808}, {"parameter": "[7, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156714042870113727471417611615749478248448}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 374144419163945085073329483111539900048215799758848}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147531899038383913431750641585123328}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147100708162039731251294687037239808}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147101446655157025678073855414542848}, {"parameter": "[7, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156712692872930508416234193686703881023488}, {"parameter": "[7, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 374144419163945085073329483111539900048215799758848}, {"parameter": "[7, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147531899038383913431750641585123328}, {"parameter": "[7, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147100708162039731251294687037239808}, {"parameter": "[7, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147101446655157025678073855414542848}, {"parameter": "[7, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156712692872930508416234193686703881023488}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144419163043047577506852943164709033388939538432}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419163042823310329562234218152245120603566592}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419163042823310327894876819988188116157112832}, {"parameter": "[7, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419163042823311066413299707304472365546250752}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711371327966023756421253363998645153792}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060788733047474696575730309181952}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060787065690076532518725862728192}, {"parameter": "[7, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147061525584112963848802975251866112}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711371327322294935992855621051100557312}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060145004227046298832782764585472}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060143336869648134775778318131712}, {"parameter": "[7, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060881855292535451060027707269632}, {"parameter": "[7, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711371367966342305810460806539147079680}, {"parameter": "[7, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147100789051596863904018270811107840}, {"parameter": "[7, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147100787384239465739961266364654080}, {"parameter": "[7, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147101525902662353056245515753792000}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144422398418061408657940633078636393216675324416}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144422398418061408646243825698598489104538313216}, {"parameter": "[7, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144422398418061408646243825698598489104538313216}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711150079333524134447636162569058558464}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711150079321827327067598258456921547264}, {"parameter": "[7, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711150079321827327067598258456921547264}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060155014641178103604387453510144}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060143317833798065700275316498944}, {"parameter": "[7, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060143317833798065700275316498944}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060155033714816327914884471628288}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060143336907436290010772334617088}, {"parameter": "[7, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147060143336907436290010772334617088}, {"parameter": "[7, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147100719988624550205966930847638016}, {"parameter": "[7, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147100708291817170168062818710626816}, {"parameter": "[7, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419156711147100708291817170168062818710626816}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549325157439127505043605608061640373871104}, {"parameter": "[7, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549325157439127505043605608061640373871104}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611672816179338832421077101231907328}, {"parameter": "[7, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611672816179338832421077101231907328}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611672814739989894428315160321630720}, {"parameter": "[7, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611672814739989894428315160321630720}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611672814759025218763174655345467904}, {"parameter": "[7, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611672814759025218763174655345467904}, {"parameter": "[7, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611713379559230265987602780115345920}, {"parameter": "[7, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611713379559230265987602780115345920}, {"parameter": "[7, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343852333181433124809469336493371495336813056}, {"parameter": "[7, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343852333181432389173122527641372674833949184}, {"parameter": "[7, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343852333181432387730960475553905015625785856}, {"parameter": "[7, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343852333181432387749996324611858080735076864}, {"parameter": "[7, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343852333181472952550163132044304098747130368}, {"parameter": "[8, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2787594479091508219378886074844462364753920}, {"parameter": "[8, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2787594479044323700107180497111465032589824}, {"parameter": "[8, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2787594479091600399186375462948596063314432}, {"parameter": "[8, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787693432578774925179543607751562927239168}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 178406060541441694189159851819812286044831744}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405961588332734493264097908991143446577152}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588285549973992392331258146114413056}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588332826673071587297095277145137664}, {"parameter": "[8, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406060541820001199064755441898244009062400}, {"parameter": "[8, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 178406060541441694189159851819812286044831744}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405961588332734493264097908991143446577152}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588285549973992392331258146114413056}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588332826673071587297095277145137664}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406060541820001199064755441898244009062400}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405961615848572676896093475790705267732480}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245630522901012766069154559570432}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245628902948330501987265951736320}, {"parameter": "[8, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588292905602027525467824396982460928}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405961615847928948075665078047757723136000}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244986794080584368326207014973952}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985174127902104244318407139840}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588292261873207097070081449437864448}, {"parameter": "[8, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 178405961615847928948075665078047757723136000}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244986794080584368326207014973952}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985174127902104244318407139840}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588292261873207097070081449437864448}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405963134441241099493565132403593070293504}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405963134441134362611278176785821465223680}, {"parameter": "[8, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405963134441134362611278176785821465223680}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245091891974338990786587010576896}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985155092052035168815405507072}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985155092052035168815405507072}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245091891667385169400060071686656}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985154785098213782288466616832}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985154785098213782288466616832}, {"parameter": "[8, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245091911047977215097084028695040}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985174165690259479312423625216}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985174165690259479312423625216}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 178406060541401129392451891288187751106257408}, {"parameter": "[8, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406060541401129392451891288187751106257408}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245722438562901865294469053194752}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588245722438562901865294469053194752}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985154785089136781637547893248}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985154785089136781637547893248}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985154785098231801085022609920}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985154785098231801085022609920}, {"parameter": "[8, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985174127976053596490435305984}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961588244985174127976053596490435305984}, {"parameter": "[8, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149863512456962355980260761648407040}, {"parameter": "[8, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149816327915542871894705960235213312}, {"parameter": "[8, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149816327915191307739961742096769536}, {"parameter": "[8, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149816327915191316816711703405961728}, {"parameter": "[8, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149816327934534120869563964199707136}, {"parameter": "[9, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 85073652197707679272756013997938966528}, {"parameter": "[9, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070632296493824968699319647003648512}, {"parameter": "[9, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070632296493824968699319647003648512}, {"parameter": "[9, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85073658097395051884973122006258721280}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 85073611632907814782529000170231693312}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591731693960478472305819296375296}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731693960478472305819296375296}, {"parameter": "[9, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85073617532595187394746108178551448064}, {"parameter": "[9, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85073611632907814782529000170231693312}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591731693960478472305819296375296}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731693960478472305819296375296}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85073617532595187394746108178551448064}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591835355054193470262724544442880}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674924628403230316294742528}, {"parameter": "[9, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674924628403230316294742528}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591835354747239648876197605552640}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617674581843789355852288}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617674581843789355852288}, {"parameter": "[9, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591835354747239648876197605552640}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617674581843789355852288}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617674581843789355852288}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070597629947301119640798610469855744}, {"parameter": "[9, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070597629947301119640798610469855744}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617665504843138437128704}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617665504843138437128704}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617665358476150547587584}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617665358476150547587584}, {"parameter": "[9, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617674599862585911845376}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617674599862585911845376}, {"parameter": "[9, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85073611634328473768929985997995418112}, {"parameter": "[9, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731677430180943157212747571712}, {"parameter": "[9, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617665358471822296392192}, {"parameter": "[9, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617665358476159139619328}, {"parameter": "[9, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674617674581879051154792960}, {"parameter": "[10, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85236785886706746513176533928626528768}, {"parameter": "[10, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85236785886706746513176533928626528768}, {"parameter": "[10, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85236785886706746513176533928626528768}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403709286071898686005760}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403709286071898686005760}, {"parameter": "[10, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403709286071898686005760}, {"parameter": "[10, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403709286071898686005760}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403709286071898686005760}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403709286071898686005760}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403701233921637970780672}, {"parameter": "[10, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403701233921637970780672}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403700062704259877741056}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403700062704259877741056}, {"parameter": "[10, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403700062704259877741056}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403700062704259877741056}, {"parameter": "[10, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236785886709903825913656560185942528}, {"parameter": "[10, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403700062700420313293312}, {"parameter": "[10, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403700062699861833327104}, {"parameter": "[10, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403700062704268469772800}, {"parameter": "[11, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070922861197568480076463367710745088}, {"parameter": "[11, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070922861197568480076463367710745088}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070922861197568470853095728902480384}, {"parameter": "[11, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070922861197568470853095728902480384}, {"parameter": "[11, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070922861197568470853095728902480384}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070922861197568470853095728902480384}, {"parameter": "[11, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070922861197568470853095798697796096}, {"parameter": "[11, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070922861197568470853091330858066432}, {"parameter": "[11, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070922861197568470853091330858066432}, {"parameter": "[12, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070969934060520313345127553020109312}, {"parameter": "[12, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070969934060520313345123154975695360}, {"parameter": "[12, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070969934060520313345123154975695360}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3241791984981535058937857919820119509303296}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3241791984981535058937857919820119509303296}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3241791984981535058937857919820119509303296}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 86616399344898000268250345950345691136}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 86616399344898000268250345950345691136}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 86616399344898000268250345950345691136}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 86616399344898000268250345950345691136}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070633769211454819500045700543021056}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070633769211454819500045700543021056}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070633769211454819500045700543021056}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3241793530706545945618816443106541604700160}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3241793530706545945618816443106541604700160}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3241793530706545945618816443106541604700160}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3241793530706545945618816443106541604700160}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 88162124355784681226773632372441088000}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 88162124355784681226773632372441088000}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 88162124355784681226773632372441088000}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 88162124355784681226773632372441088000}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 88162124355784681226773632372441088000}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 88162124355784681226773632372441088000}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 88162124355784681226773632372441088000}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 88162124355784681226773632372441088000}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 86616358780098135778023332122638417920}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 86616358780098135778023332122638417920}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 86616358780098135778023332122638417920}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 86616358780098135778023332122638417920}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 86616358780098135778023332122638417920}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 86616358780098135778023332122638417920}, {"parameter": "[7, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7320554330664347012970902652048153772032}, {"parameter": "[7, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7320554330664346706017081265521214881792}, {"parameter": "[7, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7320554330664346706017081265521214881792}, {"parameter": "[7, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7319008565088660467522152351798351101952}, {"parameter": "[7, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7319008565088660467522152351798351101952}, {"parameter": "[7, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7319008565088660160568330965271412211712}, {"parameter": "[7, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7319008565088660160568330965271412211712}, {"parameter": "[7, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7319008565088660160568330965271412211712}, {"parameter": "[7, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7319008565088660160568330965271412211712}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 98953243893617987967139415817688449024}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 98953243893617987967139415817688449024}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 134933922092213228594675090194432}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 134933922092213228594675090194432}, {"parameter": "[8, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 197906352853294540917159774930346180608}, {"parameter": "[8, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 197906352853294540917159774930346180608}, {"parameter": "[8, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 98953243893598645163248953787747926016}, {"parameter": "[8, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 98953243893598645163248953787747926016}, {"parameter": "[8, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 98953243893598645163248953787747926016}, {"parameter": "[8, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 98953243893598645163248953787747926016}, {"parameter": "[9, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6039805327055029480234594638757888}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 730750824997127344372799428659646126912789695424}], "request": [8, 19, 6, 7], "liftedmrdsizebound": 1532495554177266589525937504659518195881615432078139969, "comments": "", "equal_bound_constraints": []}