{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 116805081731088587940522831693775431}, {"parameter": "", "name": "singleton", "value": 11957012900737114492991256681}, {"parameter": "4", "name": "ilp_2", "value": 9568672491377189747492476401}, {"parameter": "6", "name": "ilp_3", "value": 29904014780104605207507125369630}, {"parameter": "", "name": "anticode", "value": 9568672491377189747492476401}, {"parameter": "", "name": "linear_programming_bound", "value": 9568672491377189747492476401}, {"parameter": "", "name": "sphere_packing", "value": 116805081731088587940522831693775431}, {"parameter": "1", "name": "ilp_1", "value": 9568672491377189747492476401}, {"parameter": "2", "name": "ilp_1", "value": 9568672491377189747492476401}, {"parameter": "3", "name": "ilp_1", "value": 9568672491377189747492476401}, {"parameter": "7", "name": "ilp_4", "value": 29865737151232421748893245991501}, {"parameter": "8", "name": "ilp_4", "value": 29865727744098267857652495468183}, {"parameter": "9", "name": "ilp_4", "value": 29865727741112065662905736293996}, {"parameter": "10", "name": "ilp_4", "value": 29865727741112065662905736293996}, {"parameter": "11", "name": "ilp_4", "value": 5980496734989943573832514038901}, {"parameter": "12", "name": "ilp_4", "value": 1196025858465968884954505634443}, {"parameter": "13", "name": "ilp_4", "value": 239216929858317426748418273245}, {"parameter": "14", "name": "ilp_4", "value": 47843268392998257361036678904}, {"parameter": "", "name": "johnson_1", "value": 9568672491377189747492476401}, {"parameter": "", "name": "johnson_2", "value": 47843268392998257361036678904}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 116805081731088587940522831693775431}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 29904014780104605207507125369630}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 29865737151232421748893245991501}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 29865727744098267857652495468183}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 29865727741112065662905736293996}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 29865727741112065662905736293996}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 5980496734989943573832514038901}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1196025858465968884954505634443}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 239216929858317426748418273245}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 47843268392998257361036678904}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 9568672491377189747492476401}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 9568673274239251117293629224}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 9568677188551479465624600527}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 9568696760160658812245897446}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 9568794619407510899240362560}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 9569283945667559018778397371}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 9571731327850547359958853086}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 9583987040638686388114066546}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 9645739406930354789827008346}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 9966835239957238889872984226}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 11957012900737114492991256681}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 116805081731088587940522831693775431}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 9568672491377189747492476401}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 9568672491377189747492476401}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 9568672491377189747492476401}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 9568672491377189747492476401}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 29904014780104605207507125369630}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 29911672655271898992659884955118}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 29950020937816258704250068031276}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 30143246799572040821933233338520}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 31148021264214554827510544480519}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 37377622327704219905090668384806}, {"parameter": "", "name": "improved_johnson", "value": 9568672491377189747492476401}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 5980790707336216257592376553954}], "known_codes": [], "upper_bound": 9568672491377189747492476401, "classified": false, "lower_bound": 9113715532734824292492515625, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 9094947017729282379150390625}, {"parameter": "", "name": "sphere_covering", "value": 12251822374185980944037938}, {"parameter": "", "name": "graham_sloane", "value": 15309875673158917404598281}, {"parameter": "", "name": "multicomponent", "value": 9094970300853252441406253126}, {"parameter": "", "name": "construction_ST_B", "value": 9109544676774006764564288439}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 9113715532351043940956916001}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 9094947019665807497022073250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 9109522217958539735791604500}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 9109544676773929595947265625}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 9110168906704511079754498829}, {"parameter": "", "name": "two_pivot_block_construction", "value": 9109522253334617302495133696}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 9113715532734633361229598625}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 9109545573711681714954323250}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 9113715532734824292492515625}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 9113715532734728931164390625}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 14703178823459192094254125}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 14703178823363977250504125}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 75694454634841882586211375}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 75694454634750329851836375}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 364554348229467174598026375}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 364554348229558727332401375}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1822152340668414032363870125}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1822152340668509247207620125}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 9113677148502439278027932625}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 9113677148502534639356057625}, {"parameter": "(5, 10)", "name": "CKMP2019_Lem_41", "value": 9113715532734728925060875000}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 14703178823363824662613500}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 75694454634746515154570750}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 364554348229463359900760750}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 1822152340668413879775979500}, {"parameter": "(10, 5)", "name": "CKMP2019_Lem_41", "value": 9113677148502439271924417000}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Lem_41", "value": 9113715532351139701183921875}, {"parameter": "(5, 10)", "name": "CKMP2019_Cor_42", "value": 9113715532734728925060875000}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 14703178823363824662613500}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 75694454634746515154570750}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 364554348229463359900760750}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 1822152340668413879775979500}, {"parameter": "(10, 5)", "name": "CKMP2019_Cor_42", "value": 9113677148502439271924417000}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Cor_42", "value": 9113715532351139701183921875}, {"parameter": "5", "name": "linkage_ST", "value": 9113677146565914154052734376}, {"parameter": "6", "name": "linkage_ST", "value": 1822152340590953826904296876}, {"parameter": "7", "name": "linkage_ST", "value": 364554338157176971435550126}, {"parameter": "8", "name": "linkage_ST", "value": 75693242251873016367207806}, {"parameter": "9", "name": "linkage_ST", "value": 14551915228366882377284028}, {"parameter": "10", "name": "linkage_ST", "value": 9094947017729377942981667000}, {"parameter": "11", "name": "linkage_ST", "value": 59723753766136007}, {"parameter": "12", "name": "linkage_ST", "value": 37326890852937444873}, {"parameter": "13", "name": "linkage_ST", "value": 23322304251254415373950}, {"parameter": "14", "name": "linkage_ST", "value": 14576440157067948253027775}, {"parameter": "5", "name": "construction_D", "value": 9113677146565914154052734375}, {"parameter": "6", "name": "construction_D", "value": 1822152340590953826904296875}, {"parameter": "7", "name": "construction_D", "value": 364554338157176971435546875}, {"parameter": "8", "name": "construction_D", "value": 75693242251873016357421875}, {"parameter": "9", "name": "construction_D", "value": 14551915228366851806640625}, {"parameter": "10", "name": "construction_D", "value": 9094947017729282379150390625}, {"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": 9094947017729377942981667000}, {"parameter": "6", "name": "linkage_GLT", "value": 14551915228366882377284028}, {"parameter": "7", "name": "linkage_GLT", "value": 75693242251873016367207806}, {"parameter": "8", "name": "linkage_GLT", "value": 364554338157176971435550126}, {"parameter": "9", "name": "linkage_GLT", "value": 1822152340590953826904296876}, {"parameter": "10", "name": "linkage_GLT", "value": 9113677146565914154052734376}, {"parameter": "5", "name": "improved_linkage", "value": 9094970340033533633565764575}, {"parameter": "6", "name": "improved_linkage", "value": 14551952555257704744085498}, {"parameter": "7", "name": "improved_linkage", "value": 75693242311596770123557882}, {"parameter": "8", "name": "improved_linkage", "value": 364554338157272535266823250}, {"parameter": "9", "name": "improved_linkage", "value": 1822152340590953857474940278}, {"parameter": "10", "name": "improved_linkage", "value": 9113677146565914154062520306}, {"parameter": "11", "name": "improved_linkage", "value": 1822624321476318572998050126}, {"parameter": "12", "name": "improved_linkage", "value": 364520418485717235087890626}, {"parameter": "13", "name": "improved_linkage", "value": 72882200785170048043593751}, {"parameter": "5,0", "name": "generalized_linkage", "value": 9113715532734728925060875000}, {"parameter": "5,1", "name": "generalized_linkage", "value": 9095097398856459052478536240}, {"parameter": "5,2", "name": "generalized_linkage", "value": 9094948174862898820211181688}, {"parameter": "5,3", "name": "generalized_linkage", "value": 9094970340033533633565764575}, {"parameter": "6,0", "name": "generalized_linkage", "value": 14703178823363824662613500}, {"parameter": "6,1", "name": "generalized_linkage", "value": 14557977410311689210940000}, {"parameter": "6,2", "name": "generalized_linkage", "value": 14551924545272439323857717}, {"parameter": "6,3", "name": "generalized_linkage", "value": 14551952555257704744085498}, {"parameter": "7,0", "name": "generalized_linkage", "value": 75694454634746515154570750}, {"parameter": "7,1", "name": "generalized_linkage", "value": 75693251950744231651217710}, {"parameter": "7,2", "name": "generalized_linkage", "value": 75693242326508368584270750}, {"parameter": "7,3", "name": "generalized_linkage", "value": 75693242311596770123557882}, {"parameter": "8,0", "name": "generalized_linkage", "value": 364554348229463359900760750}, {"parameter": "8,1", "name": "generalized_linkage", "value": 364554338172701234832686670}, {"parameter": "8,2", "name": "generalized_linkage", "value": 364554338157200847108044618}, {"parameter": "8,3", "name": "generalized_linkage", "value": 364554338157272535266823250}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1822152340668413879775979500}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1822152340590979613871879070}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1822152340590953834547108986}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1822152340590953857474940278}, {"parameter": "10,0", "name": "generalized_linkage", "value": 9113677148502439271924417000}, {"parameter": "10,1", "name": "generalized_linkage", "value": 9113677146565914193712870320}, {"parameter": "10,2", "name": "generalized_linkage", "value": 9113677146565914154055273406}, {"parameter": "10,3", "name": "generalized_linkage", "value": 9113677146565914154062520306}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1822624321476318771298807820}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1822624321476318572998047656}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1822624321476318572998050126}, {"parameter": "12,2", "name": "generalized_linkage", "value": 364520418485717235087891406}, {"parameter": "12,3", "name": "generalized_linkage", "value": 364520418485717235087890626}, {"parameter": "13,3", "name": "generalized_linkage", "value": 72882200785170048043593751}, {"parameter": "[5, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9113715532734728925060875000}, {"parameter": "[5, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9095097398856459052478536240}, {"parameter": "[5, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9094948174862898820211181688}, {"parameter": "[5, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9094970340033533633565764575}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14703178823363824662613500}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14557977410311689210940000}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551924545272439323857717}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 14551952555257704744085498}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 75694454634746515154570750}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 75693251950744231651217710}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75693242326508368584270750}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 75693242311596770123557882}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 364554348229463359900760750}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 364554338172701234832686670}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 364554338157200847108044618}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 364554338157272535266823250}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1822152340668413879775979500}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1822152340590979613871879070}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1822152340590953834547108986}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1822152340590953857474940278}, {"parameter": "[10, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9113677148502439271924417000}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9113677146565914193712870320}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9113677146565914154055273406}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9113677146565914154062520306}, {"parameter": "[11, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1822624321476318771298807820}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1822624321476318572998047656}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1822624321476318572998050126}, {"parameter": "[12, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 364520418485717235087891406}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 364520418485717235087890626}, {"parameter": "[13, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 72882200785170048043593751}, {"parameter": "[5, 2, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 72788865250483171461328125}, {"parameter": "[5, 2, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 72788863209720350440066625}, {"parameter": "[5, 2, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 91551374211646191906578125}, {"parameter": "[5, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 363805270791997938232421875}, {"parameter": "[5, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 363805041593447343824609375}, {"parameter": "[5, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 363805039552684522803347875}, {"parameter": "[5, 3, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 382567550554610364269859375}, {"parameter": "[5, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 363804153204908399658203125}, {"parameter": "[5, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 363803924006357805250390625}, {"parameter": "[5, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 363803921965594984229129125}, {"parameter": "[5, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 382566432967520825695640625}, {"parameter": "[5, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1819139781490117796262359375}, {"parameter": "[5, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1819139546597599695260068125}, {"parameter": "[5, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1819139496294750471146237000}, {"parameter": "[5, 4, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1819145488766666151221316625}, {"parameter": "[5, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1818989702120572813352203125}, {"parameter": "[5, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1818989467228054712349911875}, {"parameter": "[5, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1818989416925205488236080750}, {"parameter": "[5, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1818995409397121168311160375}, {"parameter": "[5, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1818989894047528990110015625}, {"parameter": "[5, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1818989659155010889107724375}, {"parameter": "[5, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1818989608852161664993893250}, {"parameter": "[5, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1818995601324077345068972875}, {"parameter": "[5, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9113715532351139701183921875}, {"parameter": "[5, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9113676960795917793934236875}, {"parameter": "[5, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9113676960321192385809661375}, {"parameter": "[5, 5, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9113676962223333401685180125}, {"parameter": "[5, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9094985829908970511730796875}, {"parameter": "[5, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9094947258353748604481111875}, {"parameter": "[5, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 9094947257879023196356536375}, {"parameter": "[5, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 9094947259781164212232055125}, {"parameter": "[5, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 9094985599390247977551109375}, {"parameter": "[5, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9094947027835026070301424375}, {"parameter": "[5, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9094947027360300662176848875}, {"parameter": "[5, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9094947029262441678052367625}, {"parameter": "[5, 5, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 9094986523038128531750328125}, {"parameter": "[5, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9094947951482906624500643125}, {"parameter": "[5, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9094947951008181216376067625}, {"parameter": "[5, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9094947952910322232251586375}, {"parameter": "[5, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1818995409586152146349611875}, {"parameter": "[5, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1818995397127510191261145750}, {"parameter": "[5, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1818995397128118042088870125}, {"parameter": "[5, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1818989665816516221056643125}, {"parameter": "[5, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1818989653357874265968177000}, {"parameter": "[5, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1818989653358482116795901375}, {"parameter": "[5, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1818989425262459397326174375}, {"parameter": "[5, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1818989412803817442237708250}, {"parameter": "[5, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1818989412804425293065432625}, {"parameter": "[5, 6, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1818990348946527451525393125}, {"parameter": "[5, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1818990336487885496436927000}, {"parameter": "[5, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1818990336488493347264651375}, {"parameter": "[5, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 363804115952158801629192625}, {"parameter": "[5, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 363804115952005611436745125}, {"parameter": "[5, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 363798121338582804754192625}, {"parameter": "[5, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 363798121338429614561745125}, {"parameter": "[5, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 363797889964109305711223875}, {"parameter": "[5, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 363797889963956115518776375}, {"parameter": "[5, 7, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 363798813949864490105755125}, {"parameter": "[5, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 363798813949711299913307625}, {"parameter": "[5, 8, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 72765582186117980896120125}, {"parameter": "[5, 8, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 72759816689330403452245125}, {"parameter": "[5, 8, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 72759585399580610329713875}, {"parameter": "[5, 8, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 72759762778564974605907625}, {"parameter": "[6, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 116502843334513851953125}, {"parameter": "[6, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 116500995532973485742625}, {"parameter": "[6, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 267716169726892289566625}, {"parameter": "[6, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 582134227788190917968750}, {"parameter": "[6, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 582136176063853451562500}, {"parameter": "[6, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 582134328262313085352000}, {"parameter": "[6, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 733349502456231889176000}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 582124989068250732421875}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 582126937343913266015625}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 582125089542372899805125}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 733340263736291703629125}, {"parameter": "[6, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2923908445412406293609375}, {"parameter": "[6, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2916433248010939262411875}, {"parameter": "[6, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916432865337437129877000}, {"parameter": "[6, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916481189624770360742625}, {"parameter": "[6, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2917858737141379682281250}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910383539739912651083750}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383157066410518548875}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910431481353743749414500}, {"parameter": "[6, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2917859032303580610015625}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910383834902113578818125}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383452228611446283250}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910431776515944677148875}, {"parameter": "[6, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3061396532381607011111875}, {"parameter": "[6, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3061384073738898306067625}, {"parameter": "[6, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3061384089671463724120125}, {"parameter": "[6, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910397440380874589236875}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910384981738165884192625}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910384997670731302245125}, {"parameter": "[6, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910395519946639970096250}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383061303931265052000}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383077236496683104500}, {"parameter": "[6, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910395803112380936893125}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383344469672231848875}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383360402237649901375}, {"parameter": "[6, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 582124930235494219520750}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 582124929468553958713875}, {"parameter": "[6, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 582078623873917754677000}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 582078623106977493870125}, {"parameter": "[6, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 582076624814816592567625}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 582076624047876331760750}, {"parameter": "[6, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 582076908448001817177000}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 582076907681061556370125}, {"parameter": "[6, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 116465590436477234495125}, {"parameter": "[6, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 116417261768697471745125}, {"parameter": "[6, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 116415336735071475098250}, {"parameter": "[6, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 116415620468855554807625}, {"parameter": "[7, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 605546384777118539453125}, {"parameter": "[7, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 605546400387308521463875}, {"parameter": "[7, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 606758380493127703398875}, {"parameter": "[7, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3028939631711988525390625}, {"parameter": "[7, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3027730151714374398828125}, {"parameter": "[7, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3027730167324564380838875}, {"parameter": "[7, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3028942147430383562773875}, {"parameter": "[7, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3028939557325391845703125}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3027730077327777719140625}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3027730092937967701151375}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3028942073043786883086375}, {"parameter": "[7, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3027751370276062431943125}, {"parameter": "[7, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3027739372853938083220750}, {"parameter": "[7, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3027739774878275318338875}, {"parameter": "[7, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3027741688264221611630625}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3027729690842097262908250}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3027730092866434498026375}, {"parameter": "[7, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3027741688339600029599375}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3027729690917475680877000}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3027730092941812915995125}, {"parameter": "[7, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3028939561070626711223875}, {"parameter": "[7, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3028939557353914810745125}, {"parameter": "[7, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3027729697013774367473875}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3027729693297062466995125}, {"parameter": "[7, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3027729693940318176067625}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3027729690223606275588875}, {"parameter": "[7, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3027729694011088683880125}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3027729690294376783401375}, {"parameter": "[7, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 605546325296364160745125}, {"parameter": "[7, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 605545941362047440651375}, {"parameter": "[7, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 605545938162758315388875}, {"parameter": "[7, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 605545938234407788176375}, {"parameter": "[8, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2916444387264491586328125}, {"parameter": "[8, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2916434708450994949807625}, {"parameter": "[8, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916444777639171668338875}, {"parameter": "[8, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2916444387192958383203125}, {"parameter": "[8, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916434708379461746682625}, {"parameter": "[8, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916444777567638465213875}, {"parameter": "[8, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2916444387169154672265625}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916434708355658035745125}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916444777543834754276375}, {"parameter": "[8, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916434739338736495720750}, {"parameter": "[8, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916434723847677762307625}, {"parameter": "[8, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916434723846693878533250}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916434708355635145120125}, {"parameter": "[8, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916434723846717999627000}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916434708355659266213875}, {"parameter": "[8, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916444390267335901370125}, {"parameter": "[8, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916434708360584974245125}, {"parameter": "[8, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916434708355635452638875}, {"parameter": "[8, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916434708355658099201375}, {"parameter": "[9, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2915443822405609512307625}, {"parameter": "[9, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2915443822405609512307625}, {"parameter": "[9, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2915443822405586621682625}, {"parameter": "[9, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2915443822405586621682625}, {"parameter": "[9, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2915443822405579004495125}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2915443822405579004495125}, {"parameter": "[9, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2915443822430366528932625}, {"parameter": "[9, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2915443822405578997170125}, {"parameter": "[9, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2915443822405579004888875}, {"parameter": "[10, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916378623426210410745125}, {"parameter": "[10, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916378623426210403420125}, {"parameter": "[10, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916378623426210400982625}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 21647250521987915039062500}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 21641258858310957031250000}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 21641258935642544564843750}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 21647262984648363111718750}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2917367387788481414062500}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2917307953553519781640625}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2917309945148770150781250}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2917367387788481414062500}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2917307953553519781640625}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2917309945148770150781250}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2917307968897088736718750}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2917307950484805990625000}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2911316305220130728906250}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2911316286807847982812500}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2917549630108131217187500}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2917549611695848471093750}, {"parameter": "[5, 2, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 582264792209459310937500}, {"parameter": "[5, 2, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 582264869541046844531250}, {"parameter": "[5, 2, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 588268918546865391406250}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 21646328438133239746093750}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 21640336774456281738281250}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 21646570099344282226562500}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 21646319497436523437500000}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 21640327833759565429687500}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 21646561158647565917968750}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2922379447639465332031250}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916387783962507324218750}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2922621108850507812500000}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2922379447639465332031250}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916387783962507324218750}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2922621108850507812500000}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2922370506942749023437500}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916378843265791015625000}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2922612168153791503906250}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2922370506942749023437500}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916378843265791015625000}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2922612168153791503906250}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916397373693104248046875}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916387783962507324218750}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910405710016146240234375}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910396120285549316406250}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916639034904146728515625}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916629445173549804687500}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916388432996387939453125}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916378843265791015625000}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910396769319429931640625}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910387179588833007812500}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916630094207430419921875}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916620504476833496093750}, {"parameter": "[5, 3, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916387783962507324218750}, {"parameter": "[5, 3, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910396120285549316406250}, {"parameter": "[5, 3, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910396197617136850000000}, {"parameter": "[5, 3, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916400246622955396875000}, {"parameter": "[5, 3, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916378843265791015625000}, {"parameter": "[5, 3, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910387179588833007812500}, {"parameter": "[5, 3, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910387256920420541406250}, {"parameter": "[5, 3, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2916391305926239088281250}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2916913484216459592437500}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916913484216459592437500}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2916673357225187619781250}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916673357225187619781250}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2916673664308317502593750}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2916673664308317502593750}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910931410270098508453125}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910931410270098508453125}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910921820539501584625000}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910921820539501584625000}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910691283278826535796875}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910691283278826535796875}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910681693548229611968750}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910681693548229611968750}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910691590361956418609375}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910691590361956418609375}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910682000631359494781250}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910682000631359494781250}, {"parameter": "[5, 4, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910979340510800381500000}, {"parameter": "[5, 4, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910919906275838749078125}, {"parameter": "[5, 4, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910921897871089118218750}, {"parameter": "[5, 4, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910739213519528408843750}, {"parameter": "[5, 4, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910679779284566776421875}, {"parameter": "[5, 4, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910681770879817145562500}, {"parameter": "[5, 4, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910739520602658291656250}, {"parameter": "[5, 4, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910680086367696659234375}, {"parameter": "[5, 4, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910682077962947028375000}, {"parameter": "[5, 5, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2954950594983037365562500}, {"parameter": "[5, 5, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2948957090201543224937500}, {"parameter": "[5, 5, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2948957016435552014000000}, {"parameter": "[5, 5, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2948957312002873791343750}, {"parameter": "[5, 5, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2954948696062943485093750}, {"parameter": "[5, 5, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2954948677650660739000000}, {"parameter": "[5, 5, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2948955191281449344468750}, {"parameter": "[5, 5, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2948955172869166598375000}, {"parameter": "[5, 5, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2948955117515458133531250}, {"parameter": "[5, 5, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2948955099103175387437500}, {"parameter": "[5, 5, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2948955413082779910875000}, {"parameter": "[5, 5, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2948955394670497164781250}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 151980968838911132812500}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 151932663972484506250000}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 151982917114573666406250}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 980033701802789453125}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 979956389276498437500}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 980033701802789453125}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 979956389276498437500}, {"parameter": "[6, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 979956389276498437500}, {"parameter": "[6, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 931651522849871875000}, {"parameter": "[6, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 981904664939032031250}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 151980685693006591796875}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 151980685693006591796875}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 151980670911054687500000}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 151980670911054687500000}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1027978109798583984375}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1027978109798583984375}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1027978109798583984375}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1027978109798583984375}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1027963327846679687500}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1027963327846679687500}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1027963327846679687500}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1027963327846679687500}, {"parameter": "[6, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1027978109798583984375}, {"parameter": "[6, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 979673243371957421875}, {"parameter": "[6, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1029926385461117578125}, {"parameter": "[6, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1027963327846679687500}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 979658461420053125000}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1029911603509213281250}, {"parameter": "[6, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8457255405644819000000}, {"parameter": "[6, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8455319498998090484375}, {"parameter": "[6, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8455319593449994781250}, {"parameter": "[6, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8409027851744483453125}, {"parameter": "[6, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8408950539218192437500}, {"parameter": "[6, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8407091945097754937500}, {"parameter": "[6, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8407014632571463921875}, {"parameter": "[6, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8407092039549659234375}, {"parameter": "[6, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8407014727023368218750}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2179127908784799218750}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2179127908784799218750}, {"parameter": "[7, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 969647911170672656250}, {"parameter": "[7, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 969647911170672656250}, {"parameter": "[7, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3388607834865722656250}, {"parameter": "[7, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3388607811062011718750}, {"parameter": "[7, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2179127837251596093750}, {"parameter": "[7, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2179127837251596093750}, {"parameter": "[7, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2179127813447885156250}, {"parameter": "[7, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2179127813447885156250}, {"parameter": "[8, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 952622929129657031250}, {"parameter": "[5, 2, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 18912365467071533203125}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12920701790113525390625}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12920701790113525390625}, {"parameter": "[5, 3, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18912070400238037109375}, {"parameter": "[5, 3, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18912067539215087890625}, {"parameter": "", "name": "JohnsonLB", "value": 9109687774846415306190902110}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 583325689107627089238305}], "request": [5, 15, 4, 5], "liftedmrdsizebound": 9114805284546718231683756681, "comments": "", "equal_bound_constraints": []}