{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 607098005839518055568051981319221867272218743306204}, {"parameter": "", "name": "singleton", "value": 3167372099179629291002826414551}, {"parameter": "3", "name": "ilp_2", "value": 2660750875407117857609088683204}, {"parameter": "4", "name": "ilp_2", "value": 37595471558367113883311055106157476792604}, {"parameter": "6", "name": "ilp_3", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "7", "name": "ilp_3", "value": 1804600164876725578979453554393512889862633}, {"parameter": "", "name": "anticode", "value": 2660750875407117857609088683204}, {"parameter": "", "name": "linear_programming_bound", "value": 2660750875407117857609088683204}, {"parameter": "", "name": "sphere_packing", "value": 13422160500069417962035402891013542756}, {"parameter": "1", "name": "ilp_1", "value": 2660750875407117857609088683204}, {"parameter": "2", "name": "ilp_1", "value": 2660750875407117857609088683204}, {"parameter": "8", "name": "ilp_4", "value": 1802015725006960409957101630901791955499133}, {"parameter": "9", "name": "ilp_4", "value": 1802015660825103427425954864737232339952816}, {"parameter": "10", "name": "ilp_4", "value": 1802015660825103427425954864737232339952816}, {"parameter": "11", "name": "ilp_4", "value": 36828268125961522236911630942877006121442}, {"parameter": "12", "name": "ilp_4", "value": 751590939210963558000309383359266575919}, {"parameter": "13", "name": "ilp_4", "value": 15338635697327373927734428847230906163}, {"parameter": "14", "name": "ilp_4", "value": 313034681003576123201822740363381829}, {"parameter": "15", "name": "ilp_4", "value": 6388462719773488147994211296642377}, {"parameter": "16", "name": "ilp_4", "value": 130376791317101073720280636437882}, {"parameter": "", "name": "johnson_1", "value": 2660750875407117857609088683204}, {"parameter": "", "name": "johnson_2", "value": 130376791317101073720280636437882}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 607098005839518055568051981319221867272218743306204}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1804600164876725578979453554393512889862633}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1802015725006960409957101630901791955499133}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1802015660825103427425954864737232339952816}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1802015660825103427425954864737232339952816}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 36828268125961522236911630942877006121442}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 751590939210963558000309383359266575919}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 15338635697327373927734428847230906163}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 313034681003576123201822740363381829}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 6388462719773488147994211296642377}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 130376791317101073720280636437882}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 37595471558367113883311055106157476792604}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 13422160500069417962035402891013542756}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 13422160505885655308168489981639095927}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 13422160546599316872240011500062811183}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 13422160831594954736596515267919810023}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1916669523976931251388574730296734126}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 273906009840134530183931409247398291}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 39129389149498192641368844737148045}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 5590237628729689742899477527169814}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 798890354116948592260546571722120}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 114413140759287777513408142736446}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 16636498221279833835334809462120}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 2716021575074482687831865959004}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 2660750875407117857609088683204}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 2660750875594956869615154812337}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 2660750876909829954318822046845}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 2660750886113941579643505000839}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 2660750950542724544467928201365}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 2660751401544283088282824293662}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 2660754558559004611753231638700}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 2660776657848830979990791576184}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 2660931362030167847755375275095}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 2662014739960844791909594620826}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 2669620433952496235132608293925}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 2723963100546777961925151160761}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 3167372099179629291002826414551}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 607098005839518055568051981319221867272218743306204}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 37595471558367113883311055106157476792604}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 2660750875407117857609088683204}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 2660750875407117857609088683204}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 2660750875407117857609088683204}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 13422160500069417962035402891013542756}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 13426954088074616153976385425052477424}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 13460605602065185696924066730680425913}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 13700973559138555237477462420140483261}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 15658255495168494582615252181951216794}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1804600164876725578979453554393512889862633}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1804705351809054442746892852064060476753012}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1805441966236128051796329091743992705524760}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1810613300173084044055153247684646766550255}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1847564591898604238819743100623058880742845}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 2149207789489010647406518443408592558383021}, {"parameter": "", "name": "improved_johnson", "value": 2660750875407117857609088683204}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2191261356922420189027288125273847849}], "known_codes": [], "upper_bound": 2660750875407117857609088683204, "classified": false, "lower_bound": 2651730921164083543748135137407, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 2651730845859653471779023381601}, {"parameter": "", "name": "sphere_covering", "value": 18998578199998785821626720}, {"parameter": "", "name": "graham_sloane", "value": 67309551418276083005295}, {"parameter": "", "name": "multicomponent", "value": 2651730911572017463726901448401}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 2651730845859653471779023381602}, {"parameter": "", "name": "two_pivot_block_construction", "value": 2651730911572017468075166138368}, {"parameter": "(5, 12)", "name": "CKMP2019_Lem_41", "value": 2651730845860212017658968372700}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 7730993719709072937781143648}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 22539340290697005649490953}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 1104493386606284180867914337}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 54117021941895706583806231601}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 2651730911634572972090631329929}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 2651730920992689755740864419210}, {"parameter": "(12, 5)", "name": "CKMP2019_Lem_41", "value": 2651730921164083543748134997358}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Lem_41", "value": 2651730845860212017643106665609}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Lem_41", "value": 2651730845859655100192621292051}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Lem_41", "value": 2651730845859653476526584891545}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Lem_41", "value": 7730993719709072937735004857}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Lem_41", "value": 7730993719707449271698604351}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Lem_41", "value": 22539340290697005649373193}, {"parameter": "(5, 12)", "name": "CKMP2019_Cor_42", "value": 2651730845860212017658968372700}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 7730993719709072937781143648}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 22539340290697005649490953}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 1104493386606284180867914337}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 54117021941895706583806231601}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 2651730911634572972090631329929}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 2651730920992689755740864419210}, {"parameter": "(12, 5)", "name": "CKMP2019_Cor_42", "value": 2651730921164083543748134997358}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Cor_42", "value": 2651730845860212017643106665609}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Cor_42", "value": 2651730845859655100192621292051}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Cor_42", "value": 2651730845859653476526584891545}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Cor_42", "value": 7730993719709072937735004857}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Cor_42", "value": 7730993719707449271698604351}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Cor_42", "value": 22539340290697005649373193}, {"parameter": "5", "name": "linkage_ST", "value": 2651730921164083543748134997358}, {"parameter": "6", "name": "linkage_ST", "value": 2651730920992689755740864419210}, {"parameter": "7", "name": "linkage_ST", "value": 2651730911634572972090631329929}, {"parameter": "8", "name": "linkage_ST", "value": 54117021941895706583806231601}, {"parameter": "9", "name": "linkage_ST", "value": 1104493386606284180867914337}, {"parameter": "10", "name": "linkage_ST", "value": 22539340290697005649490953}, {"parameter": "11", "name": "linkage_ST", "value": 7730993719709072937781143648}, {"parameter": "12", "name": "linkage_ST", "value": 2651730845860212017658968372700}, {"parameter": "13", "name": "linkage_ST", "value": 191581236821131966214}, {"parameter": "14", "name": "linkage_ST", "value": 65712364229648265256946}, {"parameter": "15", "name": "linkage_ST", "value": 22539340930769354998789742}, {"parameter": "16", "name": "linkage_ST", "value": 7730993938754197538603243313}, {"parameter": "5", "name": "construction_D", "value": 2651730921164083543748134997357}, {"parameter": "6", "name": "construction_D", "value": 2651730920992689755740864419209}, {"parameter": "7", "name": "construction_D", "value": 2651730911634572972090631329928}, {"parameter": "8", "name": "construction_D", "value": 54117021941895706583806214793}, {"parameter": "9", "name": "construction_D", "value": 1104493386606284180585438744}, {"parameter": "10", "name": "construction_D", "value": 22539340290692258087863249}, {"parameter": "11", "name": "construction_D", "value": 7730993719707444524137094407}, {"parameter": "12", "name": "construction_D", "value": 2651730845859653471779023381601}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "17", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 2651730845860212017658968372700}, {"parameter": "6", "name": "linkage_GLT", "value": 7730993719709072937781143648}, {"parameter": "7", "name": "linkage_GLT", "value": 22539340290697005649490953}, {"parameter": "8", "name": "linkage_GLT", "value": 1104493386606284180867914337}, {"parameter": "9", "name": "linkage_GLT", "value": 54117021941895706583806231601}, {"parameter": "10", "name": "linkage_GLT", "value": 2651730911634572972090631329929}, {"parameter": "11", "name": "linkage_GLT", "value": 2651730920992689755740864419210}, {"parameter": "12", "name": "linkage_GLT", "value": 2651730921164083543748134997358}, {"parameter": "5", "name": "improved_linkage", "value": 2651730911572017701427288638547}, {"parameter": "6", "name": "improved_linkage", "value": 7730993911288681345269060621}, {"parameter": "7", "name": "improved_linkage", "value": 22539340849238138032854348}, {"parameter": "8", "name": "improved_linkage", "value": 1104493386607912594229487985}, {"parameter": "9", "name": "improved_linkage", "value": 54117021941895711331367842497}, {"parameter": "10", "name": "improved_linkage", "value": 2651730911634572972090913805521}, {"parameter": "11", "name": "improved_linkage", "value": 2651730920992689755740864436017}, {"parameter": "12", "name": "improved_linkage", "value": 2651730921164083543748134997358}, {"parameter": "13", "name": "improved_linkage", "value": 54116957574777220618159237287}, {"parameter": "14", "name": "improved_linkage", "value": 1104427705607698394173491423}, {"parameter": "5,0", "name": "generalized_linkage", "value": 2651730846051793254480100319657}, {"parameter": "5,1", "name": "generalized_linkage", "value": 2651730846051234708600155347815}, {"parameter": "5,2", "name": "generalized_linkage", "value": 2651730911572017701427288638547}, {"parameter": "6,0", "name": "generalized_linkage", "value": 7730993723698686365701784098}, {"parameter": "6,1", "name": "generalized_linkage", "value": 7730993720265990404082085506}, {"parameter": "6,2", "name": "generalized_linkage", "value": 7730993911288681345269060621}, {"parameter": "7,0", "name": "generalized_linkage", "value": 22539340372117687564614553}, {"parameter": "7,1", "name": "generalized_linkage", "value": 22539340292320671731912490}, {"parameter": "7,2", "name": "generalized_linkage", "value": 22539340849238138032854348}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1104493386606318105904158044}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1104493386606288928147066448}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1104493386607912594229487985}, {"parameter": "9,0", "name": "generalized_linkage", "value": 54117021941895706586160175193}, {"parameter": "9,1", "name": "generalized_linkage", "value": 54117021941895706584088690386}, {"parameter": "9,2", "name": "generalized_linkage", "value": 54117021941895711331367842497}, {"parameter": "10,0", "name": "generalized_linkage", "value": 2651730911634572972090631469978}, {"parameter": "10,1", "name": "generalized_linkage", "value": 2651730911634572972090631346736}, {"parameter": "10,2", "name": "generalized_linkage", "value": 2651730911634572972090913805521}, {"parameter": "11,0", "name": "generalized_linkage", "value": 2651730920992689755740864559259}, {"parameter": "11,1", "name": "generalized_linkage", "value": 2651730920992689755740864419210}, {"parameter": "11,2", "name": "generalized_linkage", "value": 2651730920992689755740864436017}, {"parameter": "12,0", "name": "generalized_linkage", "value": 2651730921164083543748135137407}, {"parameter": "12,1", "name": "generalized_linkage", "value": 2651730921164083543748134997358}, {"parameter": "12,2", "name": "generalized_linkage", "value": 2651730921164083543748134997358}, {"parameter": "13,1", "name": "generalized_linkage", "value": 54116957574777220618159237287}, {"parameter": "13,2", "name": "generalized_linkage", "value": 54116957574777220618159237287}, {"parameter": "14,2", "name": "generalized_linkage", "value": 1104427705607698394173491423}, {"parameter": "[5, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051793254480100319657}, {"parameter": "[5, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234708600155347815}, {"parameter": "[5, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730911572017701427288638547}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993723698686365701784098}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990404082085506}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993911288681345269060621}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117687564614553}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671731912490}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340849238138032854348}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1104493386606318105904158044}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104493386606288928147066448}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104493386607912594229487985}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 54117021941895706586160175193}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 54117021941895706584088690386}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 54117021941895711331367842497}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730911634572972090631469978}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730911634572972090631346736}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730911634572972090913805521}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730920992689755740864559259}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730920992689755740864419210}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730920992689755740864436017}, {"parameter": "[12, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730921164083543748135137407}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730921164083543748134997358}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730921164083543748134997358}, {"parameter": "[13, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116957574777220618159237287}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116957574777220618159237287}, {"parameter": "[14, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427705607698394173491423}, {"parameter": "[5, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1104493386606289719366866288}, {"parameter": "[5, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104493386607917341785368920}, {"parameter": "[5, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104493387166458474138377648}, {"parameter": "[5, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533343051515066738}, {"parameter": "[5, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533343146697679242}, {"parameter": "[5, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956229534976210726005426}, {"parameter": "[5, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533343051515066738}, {"parameter": "[5, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533343146697679242}, {"parameter": "[5, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956229534976210726005426}, {"parameter": "[5, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051793249023673198345}, {"parameter": "[5, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051793249023678861961}, {"parameter": "[5, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051793249120844684001}, {"parameter": "[5, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643106783944}, {"parameter": "[5, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643112447560}, {"parameter": "[5, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017740278269600}, {"parameter": "[5, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643106783944}, {"parameter": "[5, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643112447560}, {"parameter": "[5, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017740278269600}, {"parameter": "[5, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860213646056705419201}, {"parameter": "[5, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860213646056704576401}, {"parameter": "[5, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860213646056710358009}, {"parameter": "[5, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192622135194}, {"parameter": "[5, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621292394}, {"parameter": "[5, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192627074002}, {"parameter": "[5, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887023847532703051537}, {"parameter": "[5, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887023847532702208737}, {"parameter": "[5, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887023847532707990345}, {"parameter": "[5, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655104940188701937}, {"parameter": "[5, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655104940182802337}, {"parameter": "[5, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655104940182802337}, {"parameter": "[5, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268792888403489}, {"parameter": "[5, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268792882503889}, {"parameter": "[5, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268792882503889}, {"parameter": "[5, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604153602744}, {"parameter": "[5, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604147703144}, {"parameter": "[5, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604147703144}, {"parameter": "[5, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956037953744927290567241}, {"parameter": "[5, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956037953744927290567241}, {"parameter": "[5, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956038031904032428758850}, {"parameter": "[5, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956038031904032428758850}, {"parameter": "[5, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116957379020764597492359489}, {"parameter": "[5, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116957379020764597492359489}, {"parameter": "[5, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427674245553809453593089}, {"parameter": "[5, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427674323712914582120673}, {"parameter": "[5, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427701612668761840893032}, {"parameter": "[6, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3220097337044562641447264}, {"parameter": "[6, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3220097337045252640930451}, {"parameter": "[6, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3220097348680833842754512}, {"parameter": "[6, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 157775382593391670699169894}, {"parameter": "[6, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 157775382593391670739523158}, {"parameter": "[6, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382593392363046005193}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 157775382593391670699169894}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 157775382593391670739523158}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382593392363046005193}, {"parameter": "[6, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993723698686252616448050}, {"parameter": "[6, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993723698686252615607357}, {"parameter": "[6, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993723698686252656801314}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937735848000}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937735007307}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937776201264}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937735848000}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937735007307}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937776201264}, {"parameter": "[6, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719719080797403972101}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719719080797397967151}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719719080797397967151}, {"parameter": "[6, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449271704611751}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449271698606801}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449271698606801}, {"parameter": "[6, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241538002223752}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241537996218802}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241537996218802}, {"parameter": "[6, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 157775382034846498961880493}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382034846498961880493}, {"parameter": "[6, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 157775382034850554459030386}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382034850554459030386}, {"parameter": "[6, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 157775382114638170084142851}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382114638170084142851}, {"parameter": "[6, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3219905755813872114869314}, {"parameter": "[6, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3219905755817927294131609}, {"parameter": "[6, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3219905835605448003661186}, {"parameter": "[7, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 9388038883511838567263}, {"parameter": "[7, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9388038883512125863664}, {"parameter": "[7, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9388038888356576485199}, {"parameter": "[7, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 459986538173153564787194}, {"parameter": "[7, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 459986538173153558904401}, {"parameter": "[7, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986538173153847161258}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 459986538173153564787194}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 459986538173153558904401}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986538173153847161258}, {"parameter": "[7, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685550795586}, {"parameter": "[7, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685544912793}, {"parameter": "[7, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685544912793}, {"parameter": "[7, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005655273136}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005649390343}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005649390343}, {"parameter": "[7, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005655273136}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005649390343}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005649390343}, {"parameter": "[7, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 459986536549584693989551}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536549584693989551}, {"parameter": "[7, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 459986536544740243469201}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536544740243469201}, {"parameter": "[7, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 459986536549487804979144}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536549487804979144}, {"parameter": "[7, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9387480337648042579657}, {"parameter": "[7, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 9387480337648036814856}, {"parameter": "[7, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9387480342395321614351}, {"parameter": "[8, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 460013906920493646649293}, {"parameter": "[8, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 460013906920493639923693}, {"parameter": "[8, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013906920495658444393}, {"parameter": "[8, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316669655588399}, {"parameter": "[8, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316669614394099}, {"parameter": "[8, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316669614394099}, {"parameter": "[8, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316669655588399}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316669614394099}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316669614394099}, {"parameter": "[8, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359345847330289056}, {"parameter": "[8, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359345847330289056}, {"parameter": "[8, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359311922335359405}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359311922335359405}, {"parameter": "[8, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359311922335359405}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359311922335359405}, {"parameter": "[8, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292082060533944}, {"parameter": "[8, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292080042030051}, {"parameter": "[8, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292080324505300}, {"parameter": "[9, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539367739236612035884386}, {"parameter": "[9, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539367739236612028041586}, {"parameter": "[9, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739236612028041586}, {"parameter": "[9, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539367739231864749006892}, {"parameter": "[9, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739231864749006892}, {"parameter": "[9, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539367739231864749006892}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739231864749006892}, {"parameter": "[9, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739231866820351993}, {"parameter": "[9, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739231864466548450}, {"parameter": "[9, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739231864466548450}, {"parameter": "[10, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340849769849342876171}, {"parameter": "[10, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340849769849342876171}, {"parameter": "[10, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340849769849060417729}, {"parameter": "[10, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340849769849060417729}, {"parameter": "[11, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986549577806719892866}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 460014465466357724205256}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 460014465466357723107208}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 460014465466358052658864}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22540681360945083218929600}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681360945083212204056}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681360945083212204056}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22540681360945083218929600}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681360945083212204056}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681360945083212204056}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359317460827466056}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359317460827466056}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359312019224269320}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359312019224269320}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359312019224269320}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359312019224269320}, {"parameter": "[5, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292080371464408}, {"parameter": "[5, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292080047694360}, {"parameter": "[5, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292177219180016}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685551640794}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685545013978}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685545013978}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685551640794}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685545013978}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685545013978}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484621557079242}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484621557079242}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484621557079242}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484621557079242}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484621557079242}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484621557079242}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484621557079242}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484621557079242}, {"parameter": "[5, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484526374466738}, {"parameter": "[5, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524391375194}, {"parameter": "[5, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524391375194}, {"parameter": "[5, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484526374466738}, {"parameter": "[5, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524391375194}, {"parameter": "[5, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524391375194}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340292325516418887633}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292325516418887633}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697102820977184}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697102820977184}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697102820977184}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697102820977184}, {"parameter": "[5, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292325419253183585}, {"parameter": "[5, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292325419253183585}, {"parameter": "[5, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005655273136}, {"parameter": "[5, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005655273136}, {"parameter": "[5, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005655273136}, {"parameter": "[5, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005655273136}, {"parameter": "[5, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536544837139087209}, {"parameter": "[5, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536544740250076802}, {"parameter": "[5, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536549487811586745}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1341160048203531346400}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341160048203523522808}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341160048203523522808}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341148412622609487814}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148412622609487814}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341148412622609487814}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148412622609487814}, {"parameter": "[6, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148411932610708064}, {"parameter": "[6, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148411930303846472}, {"parameter": "[6, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148411930303846472}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341068625103874089193}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068625103874089193}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341068625103874089193}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068625103874089193}, {"parameter": "[6, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624411568447851}, {"parameter": "[6, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624411568447851}, {"parameter": "[6, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624411568447851}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624411568447851}, {"parameter": "[6, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068620356353773207}, {"parameter": "[6, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068619664289413157}, {"parameter": "[6, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068619664289413157}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79801858593095150}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79801858593095150}, {"parameter": "[7, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79797014148356408}, {"parameter": "[7, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79797014148356408}, {"parameter": "[7, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79792266874244051}, {"parameter": "[7, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79792266874244051}, {"parameter": "[8, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79797016166963593}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79797111361276912}, {"parameter": "", "name": "JohnsonLB", "value": 2651708384970996884541996800252}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 65712922774511861815057}], "request": [7, 17, 6, 5], "liftedmrdsizebound": 2651730924350086462665255182801, "comments": "", "equal_bound_constraints": []}