{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2149207789489010647406518443408592558383021}, {"parameter": "", "name": "singleton", "value": 7608029097572151019476340332672053}, {"parameter": "4", "name": "ilp_2", "value": 6521555827384882394130443950902453}, {"parameter": "6", "name": "ilp_3", "value": 109608720394176389606615587689136707383}, {"parameter": "", "name": "anticode", "value": 6521555827384882394130443950902453}, {"parameter": "", "name": "linear_programming_bound", "value": 6521555827384882394130443950902453}, {"parameter": "", "name": "sphere_packing", "value": 2149207789489010647406518443408592558383021}, {"parameter": "1", "name": "ilp_1", "value": 6521555827384882394130443950902453}, {"parameter": "2", "name": "ilp_1", "value": 6521555827384882394130443950902453}, {"parameter": "3", "name": "ilp_1", "value": 6521555827384882394130443950902453}, {"parameter": "7", "name": "ilp_4", "value": 109569590679121313048839123364572075353}, {"parameter": "8", "name": "ilp_4", "value": 109569588724264607549593938861774844813}, {"parameter": "9", "name": "ilp_4", "value": 109569588724148634594092386089224612336}, {"parameter": "10", "name": "ilp_4", "value": 109569588724148634594092386089224612336}, {"parameter": "11", "name": "ilp_4", "value": 15658274546937574385324744409455201253}, {"parameter": "12", "name": "ilp_4", "value": 2236877738566261123247650034905045681}, {"parameter": "13", "name": "ilp_4", "value": 319556243299094094362316383296345129}, {"parameter": "14", "name": "ilp_4", "value": 45650884142587426397387167834516352}, {"parameter": "", "name": "johnson_1", "value": 6521555827384882394130443950902453}, {"parameter": "", "name": "johnson_2", "value": 45650884142587426397387167834516352}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 2149207789489010647406518443408592558383021}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 109608720394176389606615587689136707383}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 109569590679121313048839123364572075353}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 109569588724264607549593938861774844813}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 109569588724148634594092386089224612336}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 109569588724148634594092386089224612336}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 15658274546937574385324744409455201253}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 2236877738566261123247650034905045681}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 319556243299094094362316383296345129}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 45650884142587426397387167834516352}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 6521555827384882394130443950902453}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 6521555847166825599992406287875643}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 6521555985640431401300371272572794}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 6521556954955836663921797260396867}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 6521563740171741531854344994800499}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6521611237078412406242334394964345}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 6521943734797760554259947832279571}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 6524272168487377917560253597487976}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 6540617872985842379887043130606080}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 6657372054089226674223018249856506}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 7608029097572151019476340332672053}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2149207789489010647406518443408592558383021}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 6521555827384882394130443950902453}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 6521555827384882394130443950902453}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 6521555827384882394130443950902453}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 6521555827384882394130443950902453}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 109608720394176389606615587689136707383}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 109614310679180004684672364886613809805}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 109653458646447838301044330121987707681}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 109928279338955433018353224229254379701}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 111891284284586970541607428363767782355}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 127875753071992714335358328311551866824}, {"parameter": "", "name": "improved_johnson", "value": 6521555827384882394130443950902453}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 15658386299562679267553193528968532976}], "known_codes": [], "upper_bound": 6521555827384882394130443950902453, "classified": false, "lower_bound": 6369953433034380716678478121377611, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 6366805760909027985741435139224001}, {"parameter": "", "name": "sphere_covering", "value": 2328295554147385076755589535122}, {"parameter": "", "name": "graham_sloane", "value": 2716183183710157450723434606453}, {"parameter": "", "name": "multicomponent", "value": 6366806865336893810898209572464354}, {"parameter": "", "name": "construction_ST_B", "value": 6369459679432835471797571341171167}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 6369953433032789460601458266169601}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 6366805760920202890421018824809602}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 6369458596193736787813444153490404}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 6369459679432835399952614766801321}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 6369515483019575836557974993636081}, {"parameter": "", "name": "two_pivot_block_construction", "value": 6369458596642739071272643014426624}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 6369953433034380557054516633414401}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 6369459701530592602056208544131220}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6369953433034380716678478121377611}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6369953433034380636886890046838459}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2660933479587505108381560661937}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2660933479587425349348193619537}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 18942065883386309707039391098851}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 18942065883386231543186691397299}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 129999232641390754950633179646099}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 129999232641390833114485879347651}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 909938985469557538451801646191537}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 909938985469557618210835013233937}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6369951881629469755452355111917659}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6369951881629469835243943186456811}, {"parameter": "(5, 10)", "name": "CKMP2019_Lem_41", "value": 6369953433034380636886211823765610}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 2660933479587425316115263049936}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 18942065883386229914773093486850}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 129999232641390753322219581735650}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 909938985469557538418568715621936}, {"parameter": "(10, 5)", "name": "CKMP2019_Lem_41", "value": 6369951881629469755451676888844810}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Lem_41", "value": 6369953433032789540472582268552803}, {"parameter": "(5, 10)", "name": "CKMP2019_Cor_42", "value": 6369953433034380636886211823765610}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 2660933479587425316115263049936}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 18942065883386229914773093486850}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 129999232641390753322219581735650}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 909938985469557538418568715621936}, {"parameter": "(10, 5)", "name": "CKMP2019_Cor_42", "value": 6369951881629469755451676888844810}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Cor_42", "value": 6369953433032789540472582268552803}, {"parameter": "5", "name": "linkage_ST", "value": 6369951881618294850772093203259210}, {"parameter": "6", "name": "linkage_ST", "value": 909938985469329479410666618516336}, {"parameter": "7", "name": "linkage_ST", "value": 129999232561566110948706946695650}, {"parameter": "8", "name": "linkage_ST", "value": 18942039040957483004782469211650}, {"parameter": "9", "name": "linkage_ST", "value": 2651730845859653476528648273936}, {"parameter": "10", "name": "linkage_ST", "value": 6366805760909028065573130329575210}, {"parameter": "11", "name": "linkage_ST", "value": 191674308812916536431}, {"parameter": "12", "name": "linkage_ST", "value": 460209469597451055529972}, {"parameter": "13", "name": "linkage_ST", "value": 1104898620940893642387898640}, {"parameter": "14", "name": "linkage_ST", "value": 2652861588879102858398037208053}, {"parameter": "5", "name": "construction_D", "value": 6369951881618294850772093203259209}, {"parameter": "6", "name": "construction_D", "value": 909938985469329479410666618516335}, {"parameter": "7", "name": "construction_D", "value": 129999232561566110948706946678499}, {"parameter": "8", "name": "construction_D", "value": 18942039040957483004782186596351}, {"parameter": "9", "name": "construction_D", "value": 2651730845859653471779023381601}, {"parameter": "10", "name": "construction_D", "value": 6366805760909027985741435139224001}, {"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": 6366805760909028065573130329575210}, {"parameter": "6", "name": "linkage_GLT", "value": 2651730845859653476528648273936}, {"parameter": "7", "name": "linkage_GLT", "value": 18942039040957483004782469211650}, {"parameter": "8", "name": "linkage_GLT", "value": 129999232561566110948706946695650}, {"parameter": "9", "name": "linkage_GLT", "value": 909938985469329479410666618516336}, {"parameter": "10", "name": "linkage_GLT", "value": 6369951881618294850772093203259210}, {"parameter": "5", "name": "improved_linkage", "value": 6366806865807648926635077527122641}, {"parameter": "6", "name": "improved_linkage", "value": 2651731306069123069230078911573}, {"parameter": "7", "name": "improved_linkage", "value": 18942039041149157313595103132782}, {"parameter": "8", "name": "improved_linkage", "value": 129999232561566190780402137029708}, {"parameter": "9", "name": "improved_linkage", "value": 909938985469329479415416243408670}, {"parameter": "10", "name": "improved_linkage", "value": 6369951881618294850772093485874508}, {"parameter": "11", "name": "improved_linkage", "value": 909985570965130903599992128250584}, {"parameter": "12", "name": "improved_linkage", "value": 129997784516697916676141667663029}, {"parameter": "13", "name": "improved_linkage", "value": 18570031122153599447613412442481}, {"parameter": "5,0", "name": "generalized_linkage", "value": 6369953433034380636886211823765610}, {"parameter": "5,1", "name": "generalized_linkage", "value": 6366814941552756303194885145010532}, {"parameter": "5,2", "name": "generalized_linkage", "value": 6366805787140967752796145304432405}, {"parameter": "5,3", "name": "generalized_linkage", "value": 6366806865807648926635077527122641}, {"parameter": "6,0", "name": "generalized_linkage", "value": 2660933479587425316115263049936}, {"parameter": "6,1", "name": "generalized_linkage", "value": 2651918744148018437864918215510}, {"parameter": "6,2", "name": "generalized_linkage", "value": 2651730922529376996945637954001}, {"parameter": "6,3", "name": "generalized_linkage", "value": 2651731306069123069230078911573}, {"parameter": "7,0", "name": "generalized_linkage", "value": 18942065883386229914773093486850}, {"parameter": "7,1", "name": "generalized_linkage", "value": 18942039119215163909678414092686}, {"parameter": "7,2", "name": "generalized_linkage", "value": 18942039041181091583010360332760}, {"parameter": "7,3", "name": "generalized_linkage", "value": 18942039041149157313595103132782}, {"parameter": "8,0", "name": "generalized_linkage", "value": 129999232641390753322219581735650}, {"parameter": "8,1", "name": "generalized_linkage", "value": 129999232561598706965585325866698}, {"parameter": "8,2", "name": "generalized_linkage", "value": 129999232561566124252406270108834}, {"parameter": "8,3", "name": "generalized_linkage", "value": 129999232561566190780402137029708}, {"parameter": "9,0", "name": "generalized_linkage", "value": 909938985469557538418568715621936}, {"parameter": "9,1", "name": "generalized_linkage", "value": 909938985469329493257702094773486}, {"parameter": "9,2", "name": "generalized_linkage", "value": 909938985469329479411458223968834}, {"parameter": "9,3", "name": "generalized_linkage", "value": 909938985469329479415416243408670}, {"parameter": "10,0", "name": "generalized_linkage", "value": 6369951881629469755451676888844810}, {"parameter": "10,1", "name": "generalized_linkage", "value": 6369951881618294850777744725779510}, {"parameter": "10,2", "name": "generalized_linkage", "value": 6369951881618294850772093251299160}, {"parameter": "10,3", "name": "generalized_linkage", "value": 6369951881618294850772093485874508}, {"parameter": "11,1", "name": "generalized_linkage", "value": 909985570965130903639552786715834}, {"parameter": "11,2", "name": "generalized_linkage", "value": 909985570965130903599992128236234}, {"parameter": "11,3", "name": "generalized_linkage", "value": 909985570965130903599992128250584}, {"parameter": "12,2", "name": "generalized_linkage", "value": 129997784516697916676141667665829}, {"parameter": "12,3", "name": "generalized_linkage", "value": 129997784516697916676141667663029}, {"parameter": "13,3", "name": "generalized_linkage", "value": 18570031122153599447613412442481}, {"parameter": "[5, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6369953433034380636886211823765610}, {"parameter": "[5, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366814941552756303194885145010532}, {"parameter": "[5, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805787140967752796145304432405}, {"parameter": "[5, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366806865807648926635077527122641}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2660933479587425316115263049936}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651918744148018437864918215510}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730922529376996945637954001}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651731306069123069230078911573}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18942065883386229914773093486850}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18942039119215163909678414092686}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18942039041181091583010360332760}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18942039041149157313595103132782}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 129999232641390753322219581735650}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 129999232561598706965585325866698}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129999232561566124252406270108834}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 129999232561566190780402137029708}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909938985469557538418568715621936}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909938985469329493257702094773486}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909938985469329479411458223968834}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 909938985469329479415416243408670}, {"parameter": "[10, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6369951881629469755451676888844810}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369951881618294850777744725779510}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369951881618294850772093251299160}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369951881618294850772093485874508}, {"parameter": "[11, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909985570965130903639552786715834}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909985570965130903599992128236234}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 909985570965130903599992128250584}, {"parameter": "[12, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129997784516697916676141667665829}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 129997784516697916676141667663029}, {"parameter": "[13, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18570031122153599447613412442481}, {"parameter": "[5, 2, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 18563407632402220449014381281501}, {"parameter": "[5, 2, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 18563407620950585075856998238743}, {"parameter": "[5, 2, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 21710892474044469367876153512017}, {"parameter": "[5, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129935028688617734290860105346105}, {"parameter": "[5, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129935024950066005393264833687199}, {"parameter": "[5, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129935024938614370020107450644441}, {"parameter": "[5, 3, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 133082509791708254312126605917715}, {"parameter": "[5, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 129935002929371687785422290645249}, {"parameter": "[5, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934999190819958887827018986343}, {"parameter": "[5, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934999179368323514669635943585}, {"parameter": "[5, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 133082484032462207806688791216859}, {"parameter": "[5, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909552860757300528810646698845745}, {"parameter": "[5, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909552856963253723137392817661837}, {"parameter": "[5, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909552856404595855428660711718236}, {"parameter": "[5, 4, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 909553043587709047031950321708979}, {"parameter": "[5, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543684582631519640351211915101}, {"parameter": "[5, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680788584713967097330731193}, {"parameter": "[5, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680229926846258365224787592}, {"parameter": "[5, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543867413040037861654834778335}, {"parameter": "[5, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543687857521088859753499685795}, {"parameter": "[5, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543684063474283186499618501887}, {"parameter": "[5, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543683504816415477767512558286}, {"parameter": "[5, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543870687929607081057122549029}, {"parameter": "[5, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6369953433032789540472582268552803}, {"parameter": "[5, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369951878400277622683940698464303}, {"parameter": "[5, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369951878398427640881007606658409}, {"parameter": "[5, 5, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369951878409532291865096966331301}, {"parameter": "[5, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366807319365246669130722002064303}, {"parameter": "[5, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805764732734751342080431975803}, {"parameter": "[5, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805764730884769539147340169909}, {"parameter": "[5, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805764741989420523236699842801}, {"parameter": "[5, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366807315621433909333513506816809}, {"parameter": "[5, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760988921991544871936728309}, {"parameter": "[5, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760987072009741938844922415}, {"parameter": "[5, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805760998176660726028204595307}, {"parameter": "[5, 5, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366807338093943628842342579958501}, {"parameter": "[5, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805783461431711053701009870001}, {"parameter": "[5, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805783459581729250767918064107}, {"parameter": "[5, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805783470686380234857277736999}, {"parameter": "[5, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543867413566021074772181165787}, {"parameter": "[5, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543867320763123695287205660286}, {"parameter": "[5, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543867320763784167993516862637}, {"parameter": "[5, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543684122705976848884637427737}, {"parameter": "[5, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543684029903079469399661922236}, {"parameter": "[5, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543684029903739942105973124587}, {"parameter": "[5, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680299142864363476597458593}, {"parameter": "[5, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680206339966983991621953092}, {"parameter": "[5, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543680206340627456697933155443}, {"parameter": "[5, 6, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543702771800379488042356621949}, {"parameter": "[5, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543702678997482108557381116448}, {"parameter": "[5, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543702678998142581263692318799}, {"parameter": "[5, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129935002469385261680897861736849}, {"parameter": "[5, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 129935002469385151280111182054049}, {"parameter": "[5, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934815270836209294671756993401}, {"parameter": "[5, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934815270836098893885077310601}, {"parameter": "[5, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811523597264582166534802505}, {"parameter": "[5, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934811523597154181379855119705}, {"parameter": "[5, 7, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934833997601107543947837492891}, {"parameter": "[5, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934833997600997143161157810091}, {"parameter": "[5, 8, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18562303204727976567796928367901}, {"parameter": "[5, 8, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 18562119744496848612908831430653}, {"parameter": "[5, 8, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18562115997496258502543283927599}, {"parameter": "[5, 8, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18562119142487682560570243852625}, {"parameter": "[6, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 7732012218196958581650067265}, {"parameter": "[6, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 7732001287398610323529740907}, {"parameter": "[6, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 16934087434015833600337739543}, {"parameter": "[6, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 54117579980245465908241670898}, {"parameter": "[6, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 54117591182397633213077417306}, {"parameter": "[6, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54117580251599284954957090948}, {"parameter": "[6, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 63319666398216508231765089584}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 54117503539334145062242324899}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 54117514741486312367078071307}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 54117503810687964108957744949}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 63319589957305187385765743585}, {"parameter": "[6, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 379224772049526542219129163345}, {"parameter": "[6, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 379006499607083677081928616987}, {"parameter": "[6, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 379006498016868920385705980252}, {"parameter": "[6, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 379007045332176238312244187943}, {"parameter": "[6, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 379036966596086613168079071444}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818694153643748030878525086}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692563428991334655888351}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378819239878736309261194096042}, {"parameter": "[6, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 379036967932686865919377700195}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818695490244000782177153837}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693900029244085954517102}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 378819241215336562012492724793}, {"parameter": "[6, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 388017420890752260930981759387}, {"parameter": "[6, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 388017328087854649730935135943}, {"parameter": "[6, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 388017328120975122296337159437}, {"parameter": "[6, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818796242914836947628641487}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818703440017225747582018043}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818703473137698312984041537}, {"parameter": "[6, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818785101243004191786865844}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692298345392991740242400}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818692331465865557142265894}, {"parameter": "[6, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818786410406348862406326601}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693607508737662359703157}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818693640629210227761726651}, {"parameter": "[6, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 54117503348527933514726150898}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 54117503347754851231258536099}, {"parameter": "[6, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116967441679746848095896548}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 54116967440906664564628281749}, {"parameter": "[6, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956070659862284503681649}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 54116956069886780001036066850}, {"parameter": "[6, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116957380378605620937217664}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 54116957379605523337469602865}, {"parameter": "[6, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7731552231662351391271716065}, {"parameter": "[6, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 7731004899491526402262378201}, {"parameter": "[6, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7730993751640160299909458008}, {"parameter": "[6, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7730995061440683137952489671}, {"parameter": "[7, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 55224605405839793269267022465}, {"parameter": "[7, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 55224605438512460041411714009}, {"parameter": "[7, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 55251446238279986866465102557}, {"parameter": "[7, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 386599054676143485428530308849}, {"parameter": "[7, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 386572227145467772758262608807}, {"parameter": "[7, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 386572227178140439530407300351}, {"parameter": "[7, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 386599067977907966355460688899}, {"parameter": "[7, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 386599054452725139795216706049}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 386572226922049427124949006007}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 386572226954722093897093697551}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 386599067754489620722147086099}, {"parameter": "[7, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 386572394533510320309642721085}, {"parameter": "[7, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 386572303550106121546779075150}, {"parameter": "[7, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 386572305178325675252815258693}, {"parameter": "[7, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 386572316309840244607412898285}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 386572225326436045844549252350}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 386572226954655599550585435893}, {"parameter": "[7, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 386572316309908372115080580335}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 386572225326504173352216934400}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 386572226954723727058253117943}, {"parameter": "[7, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 386599054458059132430117487705}, {"parameter": "[7, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 386599054452740326211396258849}, {"parameter": "[7, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 386572225335730935732037450105}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 386572225330412129513316221249}, {"parameter": "[7, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 386572225331090273463261650055}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 386572225325771467244540421199}, {"parameter": "[7, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 386572225331156535193097211707}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 386572225325837728974375982851}, {"parameter": "[7, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55224605214353540571177772865}, {"parameter": "[7, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 55224603622796317799619876115}, {"parameter": "[7, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 55224603618060128690309113151}, {"parameter": "[7, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 55224603618126651123034436803}, {"parameter": "[8, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 379006587149516896095938555101}, {"parameter": "[8, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 379006508930582738947472298295}, {"parameter": "[8, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379006588750570885746008315445}, {"parameter": "[8, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 379006587149450401749430293443}, {"parameter": "[8, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 379006508930516244600964036637}, {"parameter": "[8, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006588750504391399500053787}, {"parameter": "[8, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 379006587149437108577202453043}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379006508930502951428736196237}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006588750491098227272213387}, {"parameter": "[8, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 379006508995662397603400159450}, {"parameter": "[8, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006508963082810604706879443}, {"parameter": "[8, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 379006508963082534471081138750}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006508930502947472387858743}, {"parameter": "[8, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379006508963082538524600961900}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006508930502951525907681893}, {"parameter": "[8, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006587154091330543739983101}, {"parameter": "[8, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006508930504885151093382801}, {"parameter": "[8, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006508930502947488582142751}, {"parameter": "[8, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006508930502951431090016587}, {"parameter": "[9, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 378983334451020061966887527879}, {"parameter": "[9, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 378983334451020061966887527879}, {"parameter": "[9, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378983334451020058010539190385}, {"parameter": "[9, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378983334451020058010539190385}, {"parameter": "[9, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 378983334451020057219608493185}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 378983334451020057219608493185}, {"parameter": "[9, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378983334451033626522879714743}, {"parameter": "[9, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378983334451020057219373094343}, {"parameter": "[9, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 378983334451020057219614274793}, {"parameter": "[10, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379005894534117796188483631937}, {"parameter": "[10, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379005894534117796188248233095}, {"parameter": "[10, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379005894534117796188201173495}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3525145911869031794960374217536}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3524958732104739586826029176442}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3524958732332701755209439002850}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525146004677466917334054997886}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 379029057318281495240058353536}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 379028422513224023258395387991}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 379028433873559641272333335992}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 379029057318281495240058353536}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 379028422513224023258395387991}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379028433873559641272333335992}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 379028422545695378638590392334}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 379028422508585258204081815942}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841242781403170504245351240}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378841242744293050069736774848}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 379032253905859398607542831590}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379032253868749278173034255198}, {"parameter": "[5, 2, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 54120187082045500977617784112}, {"parameter": "[5, 2, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 54120187310007669361027610520}, {"parameter": "[5, 2, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 54307459654772831485643605556}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3525123448969652423548285700286}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3524936269205360215413940659192}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3525127280329816443517238139542}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3525123373869809722366251255094}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3524936194105517514231906214000}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3525127205229973742335203694350}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 379193150510510309611180033428}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 379005970746218101476834992334}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379196981870674329580132472684}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 379193150510510309611180033428}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379005970746218101476834992334}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379196981870674329580132472684}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 379193075410667608429145588236}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 379005895646375400294800547142}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379196906770831628398098027492}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 379193075410667608429145588236}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379005895646375400294800547142}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379196906770831628398098027492}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 379006048709942369325040419877}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 379005970746218101476834992334}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818868945650161190695378783}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818790981925893342489951240}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379009880070106389293992859133}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379009802106382121445787431590}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 379005973610099668143005974685}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 379005895646375400294800547142}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818793845807460008660933591}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818715882083192160455506048}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379009804970263688111958413941}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379009727006539420263752986398}, {"parameter": "[5, 3, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 379005970746218101476834992334}, {"parameter": "[5, 3, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818790981925893342489951240}, {"parameter": "[5, 3, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818791209888061725899777648}, {"parameter": "[5, 3, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006063554653223850515772684}, {"parameter": "[5, 3, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 379005895646375400294800547142}, {"parameter": "[5, 3, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818715882083192160455506048}, {"parameter": "[5, 3, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818716110045360543865332456}, {"parameter": "[5, 3, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379005988454810522668481327492}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 379014146836118392295926270888}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379014146836118392295926270888}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 379010325022428675856819445844}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379010325022428675856819445844}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 379010326386397675948198990938}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379010326386397675948198990938}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378827045035550452009786657337}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378827045035550452009786657337}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 378826967071826184161581229794}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 378826967071826184161581229794}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378823223221860735570679832293}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378823223221860735570679832293}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 378823145258136467722474404750}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 378823145258136467722474404750}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378823224585829735662059377387}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378823224585829735662059377387}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 378823146622105467813853949844}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 378823146622105467813853949844}, {"parameter": "[5, 4, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378827590744510206512716073746}, {"parameter": "[5, 4, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378826955939452734531053108201}, {"parameter": "[5, 4, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 378826967299788352544991056202}, {"parameter": "[5, 4, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378823768930820490073609248702}, {"parameter": "[5, 4, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378823134125763018091946283157}, {"parameter": "[5, 4, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 378823145486098636105884231158}, {"parameter": "[5, 4, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378823770294789490164988793796}, {"parameter": "[5, 4, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378823135489732018183325828251}, {"parameter": "[5, 4, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 378823146850067636197263776252}, {"parameter": "[5, 5, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 380560528705752294299627777536}, {"parameter": "[5, 5, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 380373338031179623903848622036}, {"parameter": "[5, 5, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 380373337808426440123447093194}, {"parameter": "[5, 5, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 380373339145518706411828664750}, {"parameter": "[5, 5, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 380560517605850200049294660286}, {"parameter": "[5, 5, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380560517568740079614786083894}, {"parameter": "[5, 5, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 380373326931277529653515504786}, {"parameter": "[5, 5, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380373326894167409219006928394}, {"parameter": "[5, 5, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 380373326708524345873113975944}, {"parameter": "[5, 5, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380373326671414225438605399552}, {"parameter": "[5, 5, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 380373328045616612161495547500}, {"parameter": "[5, 5, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380373328008506491726986971108}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9221723813239541656776864448}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9221176536003135479249090806}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9221735015391708961612610856}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 23088251675280616276821761}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 23088023724509769957489712}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 23088251675280616276821761}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 23088023724509769957489712}, {"parameter": "[6, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 23088023724509769957489712}, {"parameter": "[6, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22540746488103592429716070}, {"parameter": "[6, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 23099225876677074793236120}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9221722504087828511856764041}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9221722504087828511856764041}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9221722472250714259109575642}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9221722472250714259109575642}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 23633991809202802565162947}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 23633991809202802565162947}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 23633991809202802565162947}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 23633991809202802565162947}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 23633959972088549817974548}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 23633959972088549817974548}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 23633959972088549817974548}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 23633959972088549817974548}, {"parameter": "[6, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 23633991809202802565162947}, {"parameter": "[6, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 23086714572796625037389305}, {"parameter": "[6, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 23645193961370107400909355}, {"parameter": "[6, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 23633959972088549817974548}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 23086682735682372290200906}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 23645162124255854653720956}, {"parameter": "[6, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 241372122838422975775490842}, {"parameter": "[6, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 241360948598318261724735199}, {"parameter": "[6, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 241360948677844664577790392}, {"parameter": "[6, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 240825073552787644567049249}, {"parameter": "[6, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 240824845602016798247717200}, {"parameter": "[6, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 240813899312682930516293606}, {"parameter": "[6, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 240813671361912084196961557}, {"parameter": "[6, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 240813899392209333369348799}, {"parameter": "[6, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 240813671441438487050016750}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 49831391264794385996673714}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 49831391264794385996673714}, {"parameter": "[7, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 23003860589081715728973672}, {"parameter": "[7, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 23003860589081715728973672}, {"parameter": "[7, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 76658921874012709756112098}, {"parameter": "[7, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 76658921860719537528271698}, {"parameter": "[7, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 49831391198300039488412056}, {"parameter": "[7, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 49831391198300039488412056}, {"parameter": "[7, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 49831391185006867260571656}, {"parameter": "[7, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 49831391185006867260571656}, {"parameter": "[8, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22706962374359711340706856}, {"parameter": "[5, 2, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 584113387260622545747356285}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 396933622968414411402315191}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 396933622968414411402315191}, {"parameter": "[5, 3, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 584112050740162060746339535}, {"parameter": "[5, 3, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 584112046271795148080067479}, {"parameter": "", "name": "JohnsonLB", "value": 6369466383808217501377397746087988}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 54144256371445810447395528801}], "request": [7, 15, 4, 5], "liftedmrdsizebound": 6370037580862307176316655066771253, "comments": "", "equal_bound_constraints": []}