{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 5160291746051272234978893428859106387360586971}, {"parameter": "", "name": "singleton", "value": 127875753071992714335358328311551866824}, {"parameter": "5", "name": "ilp_2", "value": 109608720394176389606615587689136707383}, {"parameter": "7", "name": "ilp_3", "value": 37595836613442463662901662056282057653603}, {"parameter": "", "name": "anticode", "value": 109608720394176389606615587689136707383}, {"parameter": "", "name": "linear_programming_bound", "value": 109608720394176389606615587689136707383}, {"parameter": "", "name": "sphere_packing", "value": 5160291746051272234978893428859106387360586971}, {"parameter": "1", "name": "ilp_1", "value": 109608704096938754872872354702779730838}, {"parameter": "2", "name": "ilp_1", "value": 109608704096938754872872354703021163003}, {"parameter": "3", "name": "ilp_1", "value": 109608704096938754872872354703021163003}, {"parameter": "4", "name": "ilp_1", "value": 109608704096938754872872354703021163003}, {"parameter": "8", "name": "ilp_4", "value": 37595836613442463662901662056282057653603}, {"parameter": "9", "name": "ilp_4", "value": 37595836613442463662901662056282057653603}, {"parameter": "10", "name": "ilp_4", "value": 37595836613442463662901662056282057653603}, {"parameter": "11", "name": "ilp_4", "value": 37595836613442463662901662056282057653603}, {"parameter": "12", "name": "ilp_4", "value": 37595836613442463662901662056282057653603}, {"parameter": "13", "name": "ilp_4", "value": 5370789082238404182154720088966903986615}, {"parameter": "14", "name": "ilp_4", "value": 767261059056337060386328048297447776237}, {"parameter": "", "name": "johnson_1", "value": 109608704096938754872872354702779730838}, {"parameter": "", "name": "johnson_2", "value": 767261059056337060386328048297447776237}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 5160291746051272234978893428859106387360586971}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 37595836613442463662901662056282057653603}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 37595836613442463662901662056282057653603}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 37595836613442463662901662056282057653603}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 37595836613442463662901662056282057653603}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 37595836613442463662901662056282057653603}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 37595836613442463662901662056282057653603}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 5370789082238404182154720088966903986615}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 767261059056337060386328048297447776237}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 109608720394176389606615587689136707383}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 109608722722234515012966564607943415773}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 109608739018644161906305729221381570811}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 109608853093647373719181038641906722310}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 109609651625318407168984354027306519598}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 109615241672813955724121156510560721353}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 109654387976032185971549002909291695595}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 109929196946698855015493076268315507606}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 111892116121873301546366012203315896853}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 127875753071992714335358328311551866824}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 5160291746051272234978893428859106387360586971}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 109608720394176389606615587689136707383}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 109608704096938754872872354703021163003}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 109608704096938754872872354703021163003}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 109608704096938754872872354703021163003}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 109608704096938754872872354702779730838}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 37595836613442463662901662056282057653603}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 37596110523734352121874894935421707724845}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 37598028007537759495882942339381307324561}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 37611455872685948790235507099752658207554}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 37705720159062037234621821472914616262783}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 38379036488275851994747917573411240243987}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 43861755035533826577243997768793428552803}, {"parameter": "", "name": "improved_johnson", "value": 109608704096938754872872354702779730819}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 5370833801919402070226289065618680974182}], "known_codes": [], "upper_bound": 109608704096938754872872354702779730819, "classified": false, "lower_bound": 107059654713994504133118086017291824185, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 107006904423598033356356300384937784807}, {"parameter": "", "name": "sphere_covering", "value": 5590000138832849602864471879230081}, {"parameter": "", "name": "graham_sloane", "value": 6521611233781758177037858441021618}, {"parameter": "", "name": "multicomponent", "value": 107006904802416725813602313462063112353}, {"parameter": "", "name": "construction_ST_B", "value": 107051509203624667179400230408932460063}, {"parameter": "", "name": "EF_special", "value": 107052531444149851093995761837649623043}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 107006904874725501455563745359287813656}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 107051491455986477934703019541143678813}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 107051509203624667179400507446566405170}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 107052531444164864809019626364096185842}, {"parameter": "", "name": "two_pivot_block_construction", "value": 107051490633774539155041609381130010624}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 312127852201540161143371147371436561}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 107051509582601200566830968786480785382}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 107007058793515031173567088564422762409}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 107007058793515031146756887088425130073}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 107007058793515031146198345971903356009}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 6367266071526061636396356369592908}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6367266071526064987671540869296950}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6367266071526061079478905884219350}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 45496126256269921477766041005763950}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 45496126256269925385958675990841550}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 45496126256269922034683491491137508}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 312274011955780255258676683140785795}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 312274011955780255817217799662559859}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 312274011955780282627419275660192195}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 107007058793515031146198341224341846066}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 6367266071526061077850492286308901}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 45496126256269921476137627407853501}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 312274011955780255258671935579275852}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 107007058793515031146198341224341846066}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 6367266071526061077850492286308901}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 45496126256269921476137627407853501}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 312274011955780255258671935579275852}, {"parameter": "6", "name": "linkage_GLT", "value": 107006904423598033356356300398792385554}, {"parameter": "7", "name": "linkage_GLT", "value": 6366805760909027985741435139344101}, {"parameter": "8", "name": "linkage_GLT", "value": 45496124941106340280094386875754301}, {"parameter": "9", "name": "linkage_GLT", "value": 312273560828312156051226961229247004}, {"parameter": "6", "name": "improved_linkage", "value": 107006904802603542066807612448700316150}, {"parameter": "7", "name": "improved_linkage", "value": 6366805783459510417581065650267690}, {"parameter": "8", "name": "improved_linkage", "value": 45496124941106531954403199792290731}, {"parameter": "9", "name": "improved_linkage", "value": 312273560828312156052856088271244004}, {"parameter": "10", "name": "improved_linkage", "value": 312110164781165186864737027019812148}, {"parameter": "11", "name": "improved_linkage", "value": 312125050841039899934797299984187619}, {"parameter": "12", "name": "improved_linkage", "value": 312127703860197232677078101707524490}, {"parameter": "13", "name": "improved_linkage", "value": 44589619094275886412989598049972608}, {"parameter": "6,0", "name": "generalized_linkage", "value": 107007058793515031146198341224341846066}, {"parameter": "6,1", "name": "generalized_linkage", "value": 107006907580112453621725539788885607408}, {"parameter": "6,2", "name": "generalized_linkage", "value": 107006904487865815935213322530252042038}, {"parameter": "6,3", "name": "generalized_linkage", "value": 107006904424883410854971159324067275080}, {"parameter": "6,4", "name": "generalized_linkage", "value": 107006904802603542066807612448700316150}, {"parameter": "7,0", "name": "generalized_linkage", "value": 6367266071526061077850492286308901}, {"parameter": "7,1", "name": "generalized_linkage", "value": 6366814995169398719836821662369404}, {"parameter": "7,2", "name": "generalized_linkage", "value": 6366805787751506517443249650623402}, {"parameter": "7,3", "name": "generalized_linkage", "value": 6366805760985697709266601753796401}, {"parameter": "7,4", "name": "generalized_linkage", "value": 6366805783459510417581065650267690}, {"parameter": "8,0", "name": "generalized_linkage", "value": 45496126256269921476137627407853501}, {"parameter": "8,1", "name": "generalized_linkage", "value": 45496124945030323473371739375698600}, {"parameter": "8,2", "name": "generalized_linkage", "value": 45496124941117530406277393149242103}, {"parameter": "8,3", "name": "generalized_linkage", "value": 45496124941106344843279231509354101}, {"parameter": "8,4", "name": "generalized_linkage", "value": 45496124941106531954403199792290731}, {"parameter": "9,0", "name": "generalized_linkage", "value": 312274011955780255258671935579275852}, {"parameter": "9,1", "name": "generalized_linkage", "value": 312273560828313757104978456175411804}, {"parameter": "9,2", "name": "generalized_linkage", "value": 312273560828312156730251048168311303}, {"parameter": "9,3", "name": "generalized_linkage", "value": 312273560828312156051498622240694179}, {"parameter": "9,4", "name": "generalized_linkage", "value": 312273560828312156052856088271244004}, {"parameter": "10,1", "name": "generalized_linkage", "value": 312110164781243639161788248456499708}, {"parameter": "10,2", "name": "generalized_linkage", "value": 312110164781165186864776589964176202}, {"parameter": "10,3", "name": "generalized_linkage", "value": 312110164781165186864737015520132201}, {"parameter": "10,4", "name": "generalized_linkage", "value": 312110164781165186864737027019812148}, {"parameter": "11,2", "name": "generalized_linkage", "value": 312125050841039899935074337618012626}, {"parameter": "11,3", "name": "generalized_linkage", "value": 312125050841039899934797299984087127}, {"parameter": "11,4", "name": "generalized_linkage", "value": 312125050841039899934797299984187619}, {"parameter": "12,3", "name": "generalized_linkage", "value": 312127703860197232677078101707544097}, {"parameter": "12,4", "name": "generalized_linkage", "value": 312127703860197232677078101707524490}, {"parameter": "13,4", "name": "generalized_linkage", "value": 44589619094275886412989598049972608}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 107007058793515031146198341224341846066}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 107006907580112453621725539788885607408}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 107006904487865815935213322530252042038}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 107006904424883410854971159324067275080}, {"parameter": "[6, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 107006904802603542066807612448700316150}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6367266071526061077850492286308901}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366814995169398719836821662369404}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805787751506517443249650623402}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805760985697709266601753796401}, {"parameter": "[7, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6366805783459510417581065650267690}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 45496126256269921476137627407853501}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 45496124945030323473371739375698600}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 45496124941117530406277393149242103}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 45496124941106344843279231509354101}, {"parameter": "[8, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 45496124941106531954403199792290731}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780255258671935579275852}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 312273560828313757104978456175411804}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 312273560828312156730251048168311303}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 312273560828312156051498622240694179}, {"parameter": "[9, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 312273560828312156052856088271244004}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 312110164781243639161788248456499708}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 312110164781165186864776589964176202}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 312110164781165186864737015520132201}, {"parameter": "[10, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 312110164781165186864737027019812148}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 312125050841039899935074337618012626}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 312125050841039899934797299984087127}, {"parameter": "[11, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 312125050841039899934797299984187619}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 312127703860197232677078101707544097}, {"parameter": "[12, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 312127703860197232677078101707524490}, {"parameter": "[13, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 44589619094275886412989598049972608}, {"parameter": "[6, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 44568020455917224853644079364495503}, {"parameter": "[6, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 44568020483226612794217615318883650}, {"parameter": "[6, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 44722389062053251407012568096255209}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 312127705144873916884173278435590139}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973484880146531159461383502482795}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973484907455919100034919456870942}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 312127853486282557712829872234242501}, {"parameter": "[6, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 312127703882670860605406825515248195}, {"parameter": "[6, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973483617943474880694930582140851}, {"parameter": "[6, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973483645252862821268466536528998}, {"parameter": "[6, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 312127852224079501434063419313900557}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 312127768096705533859446884123016147}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973547831978148134734989189908803}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973547859287536075308525144296950}, {"parameter": "[6, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312127916438114174688103477921668509}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 312127703860142440444903259713005803}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973483595415054720191364779898459}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973483622724442660764900734286606}, {"parameter": "[6, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 312127852201551081273559853511658165}, {"parameter": "[6, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 312127703883140426203520593796945046}, {"parameter": "[6, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973483618413040478808698863837702}, {"parameter": "[6, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973483645722428419382234818225849}, {"parameter": "[6, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 312127852224549067032177187595597408}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311976712135125892095375966582421587}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 311976637416718481674179969408144874}, {"parameter": "[6, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 311976638754800495774284857141470598}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973557003584920721751591723790387}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482285177510300555594549513674}, {"parameter": "[6, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973483623259524400660482282839398}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973557003050066482634533450336038}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482284642656061438536276059325}, {"parameter": "[6, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973483622724670161543424009385049}, {"parameter": "[6, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973557025599939101702382244122141}, {"parameter": "[6, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482307192528680506385069845428}, {"parameter": "[6, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973483645274542780611272803171152}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 312127703860766622359844184542603275}, {"parameter": "[6, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 312127703860142662455857192289055443}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482311995653585758562033427179}, {"parameter": "[6, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973482311371693681771569779879347}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482285734850158818065971714478}, {"parameter": "[6, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973482285110890254831073718166646}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482285188403980415620657125757}, {"parameter": "[6, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973482284564444076428628403577925}, {"parameter": "[6, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482307726688621656018358878579}, {"parameter": "[6, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973482307102728717669026105330747}, {"parameter": "[6, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 44567641637236101330005021508540057}, {"parameter": "[6, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 44567640353751225619975622615323404}, {"parameter": "[6, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 44567640326920865095303955397252707}, {"parameter": "[6, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 44567640326385262955872413430965497}, {"parameter": "[6, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 44567640348924628798863488430809223}, {"parameter": "[7, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3102669986226807224307421797651}, {"parameter": "[7, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651757217927812882539268256899}, {"parameter": "[7, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3112064002233036273094258329750}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3102647523519009084275899694802}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651734755220014742507746154050}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3112041539525238133062736226901}, {"parameter": "[7, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3102647447078097763429900348803}, {"parameter": "[7, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651734678779103421661746808051}, {"parameter": "[7, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3112041463084326812216736880902}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3102674277609913684401910322451}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651761509310919342633756781699}, {"parameter": "[7, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3112068293616142733188746854550}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3102647446887167897488498114002}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651734678588173555720344573250}, {"parameter": "[7, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3112041462893396946275334646101}, {"parameter": "[7, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3102647447082089005158378859302}, {"parameter": "[7, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651734678783094663390225318550}, {"parameter": "[7, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3112041463088318053945215391401}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2660986894412554244161788461242}, {"parameter": "[7, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2660960065317473214646689376899}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651761507910660605725206647594}, {"parameter": "[7, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651734678815579576210107563251}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651761507683268155233415517993}, {"parameter": "[7, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651734678588187125718316433650}, {"parameter": "[7, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651761507874368727790695617140}, {"parameter": "[7, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651734678779287698275596532797}, {"parameter": "[7, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3102651279614385250551490946451}, {"parameter": "[7, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651734757002015555724357688051}, {"parameter": "[7, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651734678820330731365797798550}, {"parameter": "[7, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651734678588174182250493914850}, {"parameter": "[7, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651734678779187357645085564299}, {"parameter": "[8, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2708289932684917470973474718502}, {"parameter": "[8, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2708289932684917470973474718502}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2708289932497897426080655471750}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2708289932497897426080655471750}, {"parameter": "[8, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2708289932493337868006506214550}, {"parameter": "[8, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2708289932493337868006506214550}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2708289943672709297164259546550}, {"parameter": "[8, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2708289943672709297164259546550}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2708289932493336278362353754102}, {"parameter": "[8, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2708289932493336278362353754102}, {"parameter": "[8, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2708289932493337901931501144201}, {"parameter": "[8, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2708289932493337901931501144201}, {"parameter": "[8, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2708293776395906646647398445208}, {"parameter": "[8, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2708289932493431262696016459302}, {"parameter": "[8, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2708289932493336279170043669001}, {"parameter": "[8, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2708289932493337869572831587904}, {"parameter": "[9, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3105408939495584359631154096845}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3105408939495583002617515623604}, {"parameter": "[9, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3105408939495582731231397473597}, {"parameter": "[9, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3105408939496247897785452056303}, {"parameter": "[9, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3105408939495582731219863047988}, {"parameter": "[9, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3105408939495582731231685831296}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 156874639836112246220633388955300}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 156874639836112246220633388955300}, {"parameter": "[6, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2654375108726521508738455847956}, {"parameter": "[6, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2654375108726521508738455847956}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311094882035077810428962519820252}, {"parameter": "[6, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311094882024349261471650800613796}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 156874617307692085717067586712908}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 156874617307692085717067586712908}, {"parameter": "[6, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 156874617296963536759755867506452}, {"parameter": "[6, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 156874617296963536759755867506452}, {"parameter": "[7, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 901855741585598044179275383252}, {"parameter": "", "name": "JohnsonLB", "value": 107059654713994504133118086017291824185}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 44589674031240665016749346849643277}], "request": [7, 15, 4, 6], "liftedmrdsizebound": 107061243782604061887949768558784281021, "comments": "", "equal_bound_constraints": []}