{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "", "name": "singleton", "value": 1546628304496854696033468524851058313}, {"parameter": "4", "name": "ilp_2", "value": 1353341067284004834291797537804067393}, {"parameter": "6", "name": "ilp_3", "value": 44346449255878400518397724362473110781618}, {"parameter": "", "name": "anticode", "value": 1353341067284004834291797537804067393}, {"parameter": "", "name": "linear_programming_bound", "value": 1353341067284004834291797537804067393}, {"parameter": "", "name": "sphere_packing", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "1", "name": "ilp_1", "value": 1353341067284004834291797537804067393}, {"parameter": "2", "name": "ilp_1", "value": 1353341067284004834291797537804067393}, {"parameter": "3", "name": "ilp_1", "value": 1353341067284004834291797537804067393}, {"parameter": "7", "name": "ilp_4", "value": 44336975827752989652212007558812149814273}, {"parameter": "8", "name": "ilp_4", "value": 44336975578737774474592123215605579803470}, {"parameter": "9", "name": "ilp_4", "value": 44336975578730189975715561924359789085689}, {"parameter": "10", "name": "ilp_4", "value": 44336975578730189975715561924359789085689}, {"parameter": "11", "name": "ilp_4", "value": 5543287654195492621701696567176988533313}, {"parameter": "12", "name": "ilp_4", "value": 692908354829460799659603586359754948763}, {"parameter": "13", "name": "ilp_4", "value": 86613828941414325691232839631604097528}, {"parameter": "14", "name": "ilp_4", "value": 10826727982436922738605264232895812167}, {"parameter": "", "name": "johnson_1", "value": 1353341067284004834291797537804067393}, {"parameter": "", "name": "johnson_2", "value": 10826727982436922738605264232895812167}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 44346449255878400518397724362473110781618}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 44336975827752989652212007558812149814273}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 44336975578737774474592123215605579803470}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 44336975578730189975715561924359789085689}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 44336975578730189975715561924359789085689}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 5543287654195492621701696567176988533313}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 692908354829460799659603586359754948763}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 86613828941414325691232839631604097528}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 10826727982436922738605264232895812167}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 1353341067284004834291797537804067393}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1353341068386616685722081142032432109}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1353341077207511561844430349133067788}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1353341147774674710348614095885435905}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1353341712312244828133104506429444995}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1353346228629761339014577925454266891}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1353382360255082862433589253885839094}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1353671482726702460458723738138051345}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1355988917200465744242882327553279554}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1374818009433653654580971513899777532}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1546628304496854696033468524851058313}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1353341067284004834291797537804067393}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1353341067284004834291797537804067393}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1353341067284004834291797537804067393}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1353341067284004834291797537804067393}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 44346449255878400518397724362473110781618}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 44347633469961042174426876943260767781719}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 44357109459956934883435187889961090193151}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 44433063414015525118263084935238525489207}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 45050189290678693120895764734585372559056}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 50681462910057431534320730090844329858697}, {"parameter": "", "name": "improved_johnson", "value": 1353341067284004834291797537804067393}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 5543305867878854958867950362410137752263}], "known_codes": [], "upper_bound": 1353341067284004834291797537804067393, "classified": false, "lower_bound": 1329603936275552424774855872372539392, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1329227995784915872903807060280344576}, {"parameter": "", "name": "sphere_covering", "value": 289113665538691879026293770996034}, {"parameter": "", "name": "graham_sloane", "value": 330405533966429116862522650042953}, {"parameter": "", "name": "multicomponent", "value": 1329228075013083109534662707841630209}, {"parameter": "", "name": "construction_ST_B", "value": 1329552671614401939086776742633061582}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 1329603936275508669606118276013276161}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1329227995785266666541883714559386112}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1329552593567087607533004464123912704}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1329552671614401938022268626781863936}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 1329557856986460865680341435242517065}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1329552593586084349375244746285383680}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1329603936275552422468686878798142976}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1329552672833594402579271249427800576}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329603936275552424774855872372539392}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329603936275552423621938765812203520}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 325254204730974674323556774161920}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 325254204730973521683527144025600}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2636793913845884957034092858159616}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2636793913845883822126986760794624}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 20775072778021663165855362475467264}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 20775072778021664300762468572832256}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 166195406889258930313681890668290560}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 166195406889258931466321920298426880}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329603830164886052456789552120046080}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329603830164886053609706658680381952}, {"parameter": "(5, 10)", "name": "CKMP2019_Lem_41", "value": 1329603936275552423621934367765692416}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 325254204730973521402052167314944}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 2636793913845883804112588251312640}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 20775072778021663147840963965985280}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 166195406889258930313400415691579904}, {"parameter": "(10, 5)", "name": "CKMP2019_Lem_41", "value": 1329603830164886052456785154073534976}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1329603936275508670759691749073092608}, {"parameter": "(5, 10)", "name": "CKMP2019_Cor_42", "value": 1329603936275552423621934367765692416}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 325254204730973521402052167314944}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 2636793913845883804112588251312640}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 20775072778021663147840963965985280}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 166195406889258930313400415691579904}, {"parameter": "(10, 5)", "name": "CKMP2019_Cor_42", "value": 1329603830164886052456785154073534976}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1329603936275508670759691749073092608}, {"parameter": "5", "name": "linkage_ST", "value": 1329603830164535258818708499794493441}, {"parameter": "6", "name": "linkage_ST", "value": 166195406889253449165378246638829569}, {"parameter": "7", "name": "linkage_ST", "value": 20775072775171391236455456911163905}, {"parameter": "8", "name": "linkage_ST", "value": 2636792476637231419450737285178505}, {"parameter": "9", "name": "linkage_ST", "value": 324518553658426726818349266905639}, {"parameter": "10", "name": "linkage_ST", "value": 1329227995784915874057054549247894016}, {"parameter": "11", "name": "linkage_ST", "value": 4723684011409548372632}, {"parameter": "12", "name": "linkage_ST", "value": 19348200646312143904558023}, {"parameter": "13", "name": "linkage_ST", "value": 79247846163928378274466378432}, {"parameter": "14", "name": "linkage_ST", "value": 324599177887450844354761706030144}, {"parameter": "5", "name": "construction_D", "value": 1329603830164535258818708499794493440}, {"parameter": "6", "name": "construction_D", "value": 166195406889253449165378246638829568}, {"parameter": "7", "name": "construction_D", "value": 20775072775171391236455456911130624}, {"parameter": "8", "name": "construction_D", "value": 2636792476637231419450736211132416}, {"parameter": "9", "name": "construction_D", "value": 324518553658426726783156020576256}, {"parameter": "10", "name": "construction_D", "value": 1329227995784915872903807060280344576}, {"parameter": "11", "name": "construction_D", "value": 0}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 1329227995784915874057054549247894016}, {"parameter": "6", "name": "linkage_GLT", "value": 324518553658426726818349266905639}, {"parameter": "7", "name": "linkage_GLT", "value": 2636792476637231419450737285178505}, {"parameter": "8", "name": "linkage_GLT", "value": 20775072775171391236455456911163905}, {"parameter": "9", "name": "linkage_GLT", "value": 166195406889253449165378246638829569}, {"parameter": "10", "name": "linkage_GLT", "value": 1329603830164535258818708499794493441}, {"parameter": "5", "name": "improved_linkage", "value": 1329228075032762036832185334746723008}, {"parameter": "6", "name": "improved_linkage", "value": 324518573006627373095299925134279}, {"parameter": "7", "name": "improved_linkage", "value": 2636792476641955103462145759505048}, {"parameter": "8", "name": "improved_linkage", "value": 20775072775171392389702945878680064}, {"parameter": "9", "name": "improved_linkage", "value": 166195406889253449165413439885158951}, {"parameter": "10", "name": "improved_linkage", "value": 1329603830164535258818708500868539529}, {"parameter": "11", "name": "improved_linkage", "value": 166199855887500092396211908141679105}, {"parameter": "12", "name": "improved_linkage", "value": 20774972253089180269430613529853953}, {"parameter": "13", "name": "improved_linkage", "value": 2596793423099605099297714288459777}, {"parameter": "5,0", "name": "generalized_linkage", "value": 1329603936275552423621934367765692416}, {"parameter": "5,1", "name": "generalized_linkage", "value": 1329228730220547335397724860854087488}, {"parameter": "5,2", "name": "generalized_linkage", "value": 1329227997197334520084593565313080255}, {"parameter": "5,3", "name": "generalized_linkage", "value": 1329228075032762036832185334746723008}, {"parameter": "6,0", "name": "generalized_linkage", "value": 325254204730973521402052167314944}, {"parameter": "6,1", "name": "generalized_linkage", "value": 324530051364353088752083646672896}, {"parameter": "6,2", "name": "generalized_linkage", "value": 324518556421781873457741818565976}, {"parameter": "6,3", "name": "generalized_linkage", "value": 324518573006627373095299925134279}, {"parameter": "7,0", "name": "generalized_linkage", "value": 2636793913845883804112588251312640}, {"parameter": "7,1", "name": "generalized_linkage", "value": 2636792479444277824673776292896584}, {"parameter": "7,2", "name": "generalized_linkage", "value": 2636792476642629770946593310061056}, {"parameter": "7,3", "name": "generalized_linkage", "value": 2636792476641955103462145759505048}, {"parameter": "8,0", "name": "generalized_linkage", "value": 20775072778021663147840963965985280}, {"parameter": "8,1", "name": "generalized_linkage", "value": 20775072775172076574147413928629048}, {"parameter": "8,2", "name": "generalized_linkage", "value": 20775072775171391401195042978972447}, {"parameter": "8,3", "name": "generalized_linkage", "value": 20775072775171392389702945878680064}, {"parameter": "9,0", "name": "generalized_linkage", "value": 166195406889258930313400415691579904}, {"parameter": "9,1", "name": "generalized_linkage", "value": 166195406889253449335268410393512824}, {"parameter": "9,2", "name": "generalized_linkage", "value": 166195406889253449165383274248572177}, {"parameter": "9,3", "name": "generalized_linkage", "value": 166195406889253449165413439885158951}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1329603830164886052456785154073534976}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1329603830164535258818749337551199096}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1329603830164535258818708499950281801}, {"parameter": "10,3", "name": "generalized_linkage", "value": 1329603830164535258818708500868539529}, {"parameter": "11,1", "name": "generalized_linkage", "value": 166199855887500092396538610197420920}, {"parameter": "11,2", "name": "generalized_linkage", "value": 166199855887500092396211908141650505}, {"parameter": "11,3", "name": "generalized_linkage", "value": 166199855887500092396211908141679105}, {"parameter": "12,2", "name": "generalized_linkage", "value": 20774972253089180269430613529858633}, {"parameter": "12,3", "name": "generalized_linkage", "value": 20774972253089180269430613529853953}, {"parameter": "13,3", "name": "generalized_linkage", "value": 2596793423099605099297714288459777}, {"parameter": "[5, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329603936275552423621934367765692416}, {"parameter": "[5, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228730220547335397724860854087488}, {"parameter": "[5, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997197334520084593565313080255}, {"parameter": "[5, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329228075032762036832185334746723008}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 325254204730973521402052167314944}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324530051364353088752083646672896}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518556421781873457741818565976}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518573006627373095299925134279}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2636793913845883804112588251312640}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2636792479444277824673776292896584}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2636792476642629770946593310061056}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2636792476641955103462145759505048}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 20775072778021663147840963965985280}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20775072775172076574147413928629048}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20775072775171391401195042978972447}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 20775072775171392389702945878680064}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166195406889258930313400415691579904}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166195406889253449335268410393512824}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166195406889253449165383274248572177}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 166195406889253449165413439885158951}, {"parameter": "[10, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329603830164886052456785154073534976}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329603830164535258818749337551199096}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329603830164535258818708499950281801}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329603830164535258818708500868539529}, {"parameter": "[11, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166199855887500092396538610197420920}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166199855887500092396211908141650505}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 166199855887500092396211908141679105}, {"parameter": "[12, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20774972253089180269430613529858633}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 20774972253089180269430613529853953}, {"parameter": "[13, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2596793423099605099297714288459777}, {"parameter": "[5, 2, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2596239130230361242757115418771456}, {"parameter": "[5, 2, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596239129873110249294606986358272}, {"parameter": "[5, 2, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2972168148066478796730149193908224}, {"parameter": "[5, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769200495276734196750528687374336}, {"parameter": "[5, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769200318965100988163135083905024}, {"parameter": "[5, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769200318607849994700626651491840}, {"parameter": "[5, 3, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 21145129336801218542136168859041792}, {"parameter": "[5, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769199102594190000697719425859584}, {"parameter": "[5, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769198926282556792110325822390272}, {"parameter": "[5, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769198925925305798647817389977088}, {"parameter": "[5, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 21145127944118674346083359597527040}, {"parameter": "[5, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 166154233908255303069833934206664704}, {"parameter": "[5, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 166154233729848293718368791244206080}, {"parameter": "[5, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 166154233707048477411202423455302144}, {"parameter": "[5, 4, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 166154245176340560830109600462122496}, {"parameter": "[5, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499677817141276641465657982976}, {"parameter": "[5, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499499410131925176322695524352}, {"parameter": "[5, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499476610315618009954906620416}, {"parameter": "[5, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 166153510945902399036917131913440768}, {"parameter": "[5, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499834637487439776643914399744}, {"parameter": "[5, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499656230478088311500951941120}, {"parameter": "[5, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499633430661781145133163037184}, {"parameter": "[5, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 166153511102722745200052310169857536}, {"parameter": "[5, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329603936275508670759691749073092608}, {"parameter": "[5, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329603830009843437745195023918297088}, {"parameter": "[5, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329603830009793545890952005042516480}, {"parameter": "[5, 5, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329603830010142875991567586351100416}, {"parameter": "[5, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228102229887351985576721351180288}, {"parameter": "[5, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995964222118971079996196384768}, {"parameter": "[5, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995964172227116836977320604160}, {"parameter": "[5, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995964521557217452558629188096}, {"parameter": "[5, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228102053432827538884738538536960}, {"parameter": "[5, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995787767594524388013383741440}, {"parameter": "[5, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995787717702670144994507960832}, {"parameter": "[5, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995788067032770760575816544768}, {"parameter": "[5, 5, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228103288922622702442321115611136}, {"parameter": "[5, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227997023257389687945595960815616}, {"parameter": "[5, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997023207497833702577085035008}, {"parameter": "[5, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227997023556827934318158393618944}, {"parameter": "[5, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153510945914818091865469093539840}, {"parameter": "[5, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153510942664804032711207912681984}, {"parameter": "[5, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 166153510942664814691091477057610240}, {"parameter": "[5, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499658426399198415021273640960}, {"parameter": "[5, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499655176385139260760092783104}, {"parameter": "[5, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 166153499655176395797641029237711360}, {"parameter": "[5, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499479123141881053862432468992}, {"parameter": "[5, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499475873127821899601251611136}, {"parameter": "[5, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 166153499475873138480279870396539392}, {"parameter": "[5, 6, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153500714616772229763376617222144}, {"parameter": "[5, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153500711366758170609115436364288}, {"parameter": "[5, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 166153500711366768828989384581292544}, {"parameter": "[5, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769199083251378412795816805609984}, {"parameter": "[5, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 20769199083251376887189636857045504}, {"parameter": "[5, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187613445669715053245064229376}, {"parameter": "[5, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 20769187613445668189447065115664896}, {"parameter": "[5, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187436897869657006239018594816}, {"parameter": "[5, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 20769187436897868131400059070030336}, {"parameter": "[5, 7, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769188672429374367490562007708160}, {"parameter": "[5, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 20769188672429372841884382059143680}, {"parameter": "[5, 8, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2596159902067846978745506101305856}, {"parameter": "[5, 8, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2596148608568188077346150146482688}, {"parameter": "[5, 8, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2596148432026055616040904574738944}, {"parameter": "[5, 8, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2596148584053091500459313465500160}, {"parameter": "[6, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 633867438937568542320064724992}, {"parameter": "[6, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 633867093915407987378016465408}, {"parameter": "[6, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1369495715474023153711293640192}, {"parameter": "[6, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5070627608125380796724730134528}, {"parameter": "[6, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070627959507650092234180657152}, {"parameter": "[6, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070627614485489537292132397568}, {"parameter": "[6, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5806256236044104703625409572352}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 5070624850263354800851925336064}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070625201645624096361375858688}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070624856623463541419327599104}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5806253478182078707752604773888}, {"parameter": "[6, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 40589417770498742446552451907584}, {"parameter": "[6, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40576313713214375217730754867200}, {"parameter": "[6, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576313669475226069409757573632}, {"parameter": "[6, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576336114202294283567245537792}, {"parameter": "[6, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40577923315262427543637583986688}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819257978060314815886946304}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819214238911166494889652736}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564841658965979380652377616896}, {"parameter": "[6, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 40577923352958349058263052713984}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819295673981829441355673600}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819251934832681120358380032}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564841696661900895277846344192}, {"parameter": "[6, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 41300288029940018848498374799360}, {"parameter": "[6, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 41300284779925957448149497754112}, {"parameter": "[6, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 41300284780620110541856504128000}, {"parameter": "[6, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564822808101884442438918860800}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819558087823042090041815552}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819558781976135797048189440}, {"parameter": "[6, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564822458003946267206584496128}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207989884866857707450880}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819208684037960564713824768}, {"parameter": "[6, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564822495108565416956630265856}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245094504016607753220608}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819245788657110314759594496}, {"parameter": "[6, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070624845553216683430924988928}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5070624845541009221171081224704}, {"parameter": "[6, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602757199790970705721635328}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5070602757187583508445877871104}, {"parameter": "[6, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602401599796172333269594624}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5070602401587588710073425830400}, {"parameter": "[6, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602438713606477628464902656}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5070602438701399015368621138432}, {"parameter": "[6, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 633848096124475611442070528512}, {"parameter": "[6, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 633825650996492832883798811136}, {"parameter": "[6, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 633825300788764796934067659264}, {"parameter": "[6, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 633825337903749322425812754944}, {"parameter": "[7, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 5149985354502161356518118653952}, {"parameter": "[7, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5149985355188619829971329589760}, {"parameter": "[7, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5151422519306843760836404556288}, {"parameter": "[7, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 41201319254361141358042581827584}, {"parameter": "[7, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 41199882496701268749516158271488}, {"parameter": "[7, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 41199882497387727222969369207296}, {"parameter": "[7, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 41201319661505951153834444173824}, {"parameter": "[7, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 41201319248965468716482537979904}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 41199882491305596107956114423808}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 41199882491992054581409325359616}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41201319656110278512274400326144}, {"parameter": "[7, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 41199888454581248135805226610688}, {"parameter": "[7, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 41199885253807371515860092367360}, {"parameter": "[7, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 41199885298329489115733843354112}, {"parameter": "[7, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 41199885648242825378021849591808}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 41199882447468948758076715348480}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 41199882491991066357950466335232}, {"parameter": "[7, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 41199885648243831651063590187008}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 41199882447469955031118455943680}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41199882491992072630992206930432}, {"parameter": "[7, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 41201319249061998969562890973696}, {"parameter": "[7, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 41201319248965653920657177158144}, {"parameter": "[7, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 41199882447640066760590598550016}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 41199882447543721711684884734464}, {"parameter": "[7, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 41199882447554591379981611250176}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 41199882447458246331075897434624}, {"parameter": "[7, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 41199882447555577351709376066048}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41199882447459232302803662250496}, {"parameter": "[7, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5149985349781132999327719465472}, {"parameter": "[7, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5149985306020414179005327319552}, {"parameter": "[7, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5149985305933595486510010999296}, {"parameter": "[7, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5149985305934583954089686409728}, {"parameter": "[8, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 40576316820345025679937603895296}, {"parameter": "[8, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40576314014093419046455747387904}, {"parameter": "[8, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576316864279687815713725981184}, {"parameter": "[8, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40576316820344037456478744870912}, {"parameter": "[8, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576314014092430822996888363520}, {"parameter": "[8, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576316864278699592254866956800}, {"parameter": "[8, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40576316820343872793617369137152}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576314014092266160135512629760}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576316864278534929393491223040}, {"parameter": "[8, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576314015462550598553710277120}, {"parameter": "[8, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576314014777409668561100186112}, {"parameter": "[8, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576314014777407059969936110080}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576314014092266129977326019072}, {"parameter": "[8, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576314014777407090678952276480}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576314014092266160686342185472}, {"parameter": "[8, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576316820429515374682073309696}, {"parameter": "[8, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576314014092287033872759497216}, {"parameter": "[8, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576314014092266130056013554176}, {"parameter": "[8, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576314014092266160145482785280}, {"parameter": "[9, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40575050515552790919994598334976}, {"parameter": "[9, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40575050515552790919994598334976}, {"parameter": "[9, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40575050515552790889836411724288}, {"parameter": "[9, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40575050515552790889836411724288}, {"parameter": "[9, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40575050515552790884811299987968}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40575050515552790884811299987968}, {"parameter": "[9, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40575050515552958156252968755712}, {"parameter": "[9, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40575050515552790884810379633152}, {"parameter": "[9, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40575050515552790884811316797952}, {"parameter": "[10, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576289113139074441972384637440}, {"parameter": "[10, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576289113139074441971464282624}, {"parameter": "[10, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576289113139074441971310928384}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 416411751574543359491627437522944}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 416400282374246528398024094253056}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 416400282379726318029484882657280}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 416411754824656794611348263665664}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40577552248564811670430232346624}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40577526697758491922923352227840}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40577527053165042835132614967296}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40577552248564811670430232346624}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40577526697758491922923352227840}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40577527053165042835132614967296}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40577526698442130395464269299712}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40577526697673037113855737593856}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057498145299301860926029824}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40566057497376206020252394323968}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40577706260188774102578698911744}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40577706259419680820970167205888}, {"parameter": "[5, 2, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5070757493451408070604167839744}, {"parameter": "[5, 2, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5070757498931197702064956243968}, {"parameter": "[5, 2, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5082229943861674283928337252352}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 416410516392366100107225343197184}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 416399047192069269013621999927296}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 416410695954112743814339772809216}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 416410513672283005974309700108288}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 416399044471986174880706356838400}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 416410693234029649681424129720320}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40587761065804824912873075507200}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576291865507993819269732237312}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40587940627551468619987505119232}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40587761065804824912873075507200}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576291865507993819269732237312}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40587940627551468619987505119232}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40587758345721730779957432418304}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576289145424899686354089148416}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40587937907468374487071862030336}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40587758345721730779957432418304}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576289145424899686354089148416}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40587937907468374487071862030336}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576294665691177346866058625024}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576291865507993819269732237312}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564825465394346253262715355136}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564822665211162725666388967424}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576474227437821053980488237056}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576471427254637526384161849344}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576291945608083213950415536128}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576289145424899686354089148416}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564822745311252120347072266240}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819945128068592750745878528}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576471507354726921064845148160}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576468707171543393468518760448}, {"parameter": "[5, 3, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576291865507993819269732237312}, {"parameter": "[5, 3, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564822665211162725666388967424}, {"parameter": "[5, 3, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564822670690952357127177371648}, {"parameter": "[5, 3, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576295115621428938990558380032}, {"parameter": "[5, 3, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576289145424899686354089148416}, {"parameter": "[5, 3, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819945128068592750745878528}, {"parameter": "[5, 3, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819950607858224211534282752}, {"parameter": "[5, 3, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576292395538334806074915291136}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40576672371109710412423838826496}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576672371109710412423838826496}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40576493115631643568382708809728}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576493115631643568382708809728}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40576493153917860893366883188736}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576493153917860893366883188736}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40565205970996062846416821944320}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565205970996062846416821944320}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40565203170812879318820495556608}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565203170812879318820495556608}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40565026715517996002375691927552}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565026715517996002375691927552}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40565023915334812474779365539840}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565023915334812474779365539840}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40565026753804213327359866306560}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565026753804213327359866306560}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40565023953621029799763539918848}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565023953621029799763539918848}, {"parameter": "[5, 4, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565228371692437785578901340160}, {"parameter": "[5, 4, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565202820886118038072021221376}, {"parameter": "[5, 4, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565203176292668950281283960832}, {"parameter": "[5, 4, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565049116214370941537771323392}, {"parameter": "[5, 4, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565023565408051194030891204608}, {"parameter": "[5, 4, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565023920814602106240153944064}, {"parameter": "[5, 4, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565049154500588266521945702400}, {"parameter": "[5, 4, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565023603694268519015065583616}, {"parameter": "[5, 4, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40565023959100819431224328323072}, {"parameter": "[5, 5, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40682554823562819479180568428544}, {"parameter": "[5, 5, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40671085278713536069325983842304}, {"parameter": "[5, 5, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40671085273328571334014338859008}, {"parameter": "[5, 5, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40671085311032727680558454538240}, {"parameter": "[5, 5, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40682554474319696670973011165184}, {"parameter": "[5, 5, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40682554473550603389364479459328}, {"parameter": "[5, 5, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40671084929470413261118426578944}, {"parameter": "[5, 5, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40671084928701319979509894873088}, {"parameter": "[5, 5, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40671084924085448525806781595648}, {"parameter": "[5, 5, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40671084923316355244198249889792}, {"parameter": "[5, 5, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40671084961789604872350897274880}, {"parameter": "[5, 5, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40671084961020511590742365569024}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 736725995067378622700042846208}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 736703551124263601339096891392}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 736726346449647918209493368832}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1260428610889170938220249088}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1260423131243645862049480704}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1260428610889170938220249088}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1260423131243645862049480704}, {"parameter": "[6, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1260423131243645862049480704}, {"parameter": "[6, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237979188128624501103525888}, {"parameter": "[6, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1260774513512941371500003328}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 736725957962905839937886617600}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 736725957962905839937886617600}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 736725957289599681247487983616}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 736725957289599681247487983616}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1282829969885884460839206912}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1282829969885884460839206912}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1282829969885884460839206912}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1282829969885884460839206912}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1282829296579725770440572928}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1282829296579725770440572928}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1282829296579725770440572928}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1282829296579725770440572928}, {"parameter": "[6, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1282829969885884460839206912}, {"parameter": "[6, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1260386026770863099893252096}, {"parameter": "[6, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1283181352155179970289729536}, {"parameter": "[6, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1282829296579725770440572928}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1260385353464704409494618112}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1283180678849021279891095552}, {"parameter": "[6, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 14364842734939969231501131776}, {"parameter": "[6, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 14364491952004290676114325504}, {"parameter": "[6, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 14364491953154678905930776576}, {"parameter": "[6, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 14342404271470472946725945344}, {"parameter": "[6, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14342398791824947870555176960}, {"parameter": "[6, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 14342053488534794391339139072}, {"parameter": "[6, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14342048008889269315168370688}, {"parameter": "[6, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 14342053489685182621155590144}, {"parameter": "[6, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14342048010039657544984821760}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2694165987761122397395091456}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2694165987761122397395091456}, {"parameter": "[7, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257408327888513870971535360}, {"parameter": "[7, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257408327888513870971535360}, {"parameter": "[7, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4130923646645507464959623168}, {"parameter": "[7, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4130923646480844603583889408}, {"parameter": "[7, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2694165986772898938536067072}, {"parameter": "[7, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2694165986772898938536067072}, {"parameter": "[7, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2694165986608236077160333312}, {"parameter": "[7, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2694165986608236077160333312}, {"parameter": "[8, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243903507445514123431903232}, {"parameter": "[5, 2, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 35646628777404346890713038848}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 24177428480573253287369768960}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 24177428480573253287369768960}, {"parameter": "[5, 3, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 35646591082635753769851158528}, {"parameter": "[5, 3, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 35646590999625405438158176256}, {"parameter": "", "name": "JohnsonLB", "value": 1329553151183301805361302777951869253}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5072058896945802533146559025800}], "request": [8, 15, 4, 5], "liftedmrdsizebound": 1329611385174312132414455813283206793, "comments": "", "equal_bound_constraints": []}