{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 73007841108236063781239140920167306681}, {"parameter": "", "name": "singleton", "value": 37377622327704219905090668384806}, {"parameter": "5", "name": "ilp_2", "value": 29904014780104605207507125369630}, {"parameter": "7", "name": "ilp_3", "value": 3738049311772877158427071881632651}, {"parameter": "", "name": "anticode", "value": 29904014780104605207507125369630}, {"parameter": "", "name": "linear_programming_bound", "value": 29904014780104605207507125369630}, {"parameter": "", "name": "sphere_packing", "value": 73007841108236063781239140920167306681}, {"parameter": "1", "name": "ilp_1", "value": 29903953536681081287961882769774}, {"parameter": "2", "name": "ilp_1", "value": 29903953536681081287961890522751}, {"parameter": "3", "name": "ilp_1", "value": 29903953536681081287961890522751}, {"parameter": "4", "name": "ilp_1", "value": 29903953536681081287961890522751}, {"parameter": "8", "name": "ilp_4", "value": 3738049311772877158427071881632651}, {"parameter": "9", "name": "ilp_4", "value": 3738049311772877158427071881632651}, {"parameter": "10", "name": "ilp_4", "value": 3738049311772877158427071881632651}, {"parameter": "11", "name": "ilp_4", "value": 3738049311772877158427071881632651}, {"parameter": "12", "name": "ilp_4", "value": 3738049311772877158427071881632651}, {"parameter": "13", "name": "ilp_4", "value": 747563929087037181654183203100937}, {"parameter": "14", "name": "ilp_4", "value": 149520135140213854472132325335779}, {"parameter": "", "name": "johnson_1", "value": 29903953536681081287961882769774}, {"parameter": "", "name": "johnson_2", "value": 149520135140213854472132325335779}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 73007841108236063781239140920167306681}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 3738049311772877158427071881632651}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 3738049311772877158427071881632651}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 3738049311772877158427071881632651}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 3738049311772877158427071881632651}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 3738049311772877158427071881632651}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 3738049311772877158427071881632651}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 747563929087037181654183203100937}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 149520135140213854472132325335779}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 29904014780104605207507125369630}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 29904027025659463662822382120806}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 29904088253584191178868618708336}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 29904394396968757488396141153038}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 29905925207920775468138123674358}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 29913581614156789492701270183182}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 29951922525667092559649879495502}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 30145110864501305378804457632221}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 31149679922512652915119932327789}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 37377622327704219905090668384806}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 73007841108236063781239140920167306681}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 29904014780104605207507125369630}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 29903953536681081287961890522751}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 29903953536681081287961890522751}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 29903953536681081287961890522751}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 29903953536681081287961882769774}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 3738049311772877158427071881632651}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 3738240711755255652008851910990602}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 3739198005751025616469078866511791}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3743991839514737854995156526124995}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 3768146575708791443382464135039725}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 3893751193611976846470324737798286}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 4672499438759279108929231093087931}, {"parameter": "", "name": "improved_johnson", "value": 29903953536681081287961882769761}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 747609862335761211156696983741538}], "known_codes": [], "upper_bound": 29903953536681081287961882769761, "classified": false, "lower_bound": 28479897043726691624360397790284, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 28421709430404007434844970703125}, {"parameter": "", "name": "sphere_covering", "value": 7655920897506263098520835157}, {"parameter": "", "name": "graham_sloane", "value": 9569283750052283641856289910}, {"parameter": "", "name": "multicomponent", "value": 28421712340787112712860351562501}, {"parameter": "", "name": "construction_ST_B", "value": 28467329917848408222198486328125}, {"parameter": "", "name": "EF_special", "value": 28469596349440811610995019309681}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 28421713218217351260096006468750}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 28467263623265185179621152953125}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 28467329917848408223191515116570}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 28469596350369158409165204552256}, {"parameter": "", "name": "two_pivot_block_construction", "value": 28467257041670384303324513959936}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 227844459140712026036495746249}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 28467332832895529270172364238126}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 28422180214101499322331906859375}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 28422180214101487878240109984375}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 28422180214101487401433469359375}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 9098885328961203480054906250}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 9098885328963110828687718750}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 9098885328960730457593968750}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 47369424744517557315537718750}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 47369424744519937686631468750}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 47369424744518030337998656250}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 228268623476483645380430296875}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 228268623476484122187070921875}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 228268623476495566278867796875}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 28422180214101487401402951781250}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 9098885328960726642896703125}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 47369424744517553500840453125}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 228268623476483645349912718750}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 28422180214101487401402951781250}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 9098885328960726642896703125}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 47369424744517553500840453125}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 228268623476483645349912718750}, {"parameter": "6", "name": "linkage_GLT", "value": 28421709430404007434845215800626}, {"parameter": "7", "name": "linkage_GLT", "value": 9094947017729282379150406901}, {"parameter": "8", "name": "linkage_GLT", "value": 47369394451379776000976562501}, {"parameter": "9", "name": "linkage_GLT", "value": 228264835663139820098876953126}, {"parameter": "6", "name": "improved_linkage", "value": 28421712346753999331144407346711}, {"parameter": "7", "name": "improved_linkage", "value": 9094947950972658728791625000}, {"parameter": "8", "name": "improved_linkage", "value": 47369394451439499754742698507}, {"parameter": "9", "name": "improved_linkage", "value": 228264835663139823920371500151}, {"parameter": "10", "name": "improved_linkage", "value": 227778824986577033996827128751}, {"parameter": "11", "name": "improved_linkage", "value": 227828040184539821624755875651}, {"parameter": "12", "name": "improved_linkage", "value": 227842621179111629486083984376}, {"parameter": "13", "name": "improved_linkage", "value": 45567968623379678697556031251}, {"parameter": "6,0", "name": "generalized_linkage", "value": 28422180214101487401402951781250}, {"parameter": "6,1", "name": "generalized_linkage", "value": 28421728339165456261755160326375}, {"parameter": "6,2", "name": "generalized_linkage", "value": 28421710182501953805338569373740}, {"parameter": "6,3", "name": "generalized_linkage", "value": 28421709459334552101683848968750}, {"parameter": "6,4", "name": "generalized_linkage", "value": 28421712346753999331144407346711}, {"parameter": "7,0", "name": "generalized_linkage", "value": 9098885328960726642896703125}, {"parameter": "7,1", "name": "generalized_linkage", "value": 9095099815477293547074685750}, {"parameter": "7,2", "name": "generalized_linkage", "value": 9094948230140253680966090195}, {"parameter": "7,3", "name": "generalized_linkage", "value": 9094947027046187966667607717}, {"parameter": "7,4", "name": "generalized_linkage", "value": 9094947950972658728791625000}, {"parameter": "8,0", "name": "generalized_linkage", "value": 47369424744517553500840453125}, {"parameter": "8,1", "name": "generalized_linkage", "value": 47369394705448621319479017000}, {"parameter": "8,2", "name": "generalized_linkage", "value": 47369394453326763378724925945}, {"parameter": "8,3", "name": "generalized_linkage", "value": 47369394451382760588217789806}, {"parameter": "8,4", "name": "generalized_linkage", "value": 47369394451439499754742698507}, {"parameter": "9,0", "name": "generalized_linkage", "value": 228268623476483645349912718750}, {"parameter": "9,1", "name": "generalized_linkage", "value": 228264835663530193978130935750}, {"parameter": "9,2", "name": "generalized_linkage", "value": 228264835663140466592395183945}, {"parameter": "9,3", "name": "generalized_linkage", "value": 228264835663139821056227792031}, {"parameter": "9,4", "name": "generalized_linkage", "value": 228264835663139823920371500151}, {"parameter": "10,1", "name": "generalized_linkage", "value": 227778824996336996654265701375}, {"parameter": "10,2", "name": "generalized_linkage", "value": 227778824986577034195187382195}, {"parameter": "10,3", "name": "generalized_linkage", "value": 227778824986577033996645605306}, {"parameter": "10,4", "name": "generalized_linkage", "value": 227778824986577033996827128751}, {"parameter": "11,2", "name": "generalized_linkage", "value": 227828040184539822617784647820}, {"parameter": "11,3", "name": "generalized_linkage", "value": 227828040184539821624755863281}, {"parameter": "11,4", "name": "generalized_linkage", "value": 227828040184539821624755875651}, {"parameter": "12,3", "name": "generalized_linkage", "value": 227842621179111629486083988281}, {"parameter": "12,4", "name": "generalized_linkage", "value": 227842621179111629486083984376}, {"parameter": "13,4", "name": "generalized_linkage", "value": 45567968623379678697556031251}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 28422180214101487401402951781250}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 28421728339165456261755160326375}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 28421710182501953805338569373740}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 28421709459334552101683848968750}, {"parameter": "[6, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 28421712346753999331144407346711}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9098885328960726642896703125}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9095099815477293547074685750}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9094948230140253680966090195}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9094947027046187966667607717}, {"parameter": "[7, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 9094947950972658728791625000}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 47369424744517553500840453125}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 47369394705448621319479017000}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 47369394453326763378724925945}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 47369394451382760588217789806}, {"parameter": "[8, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 47369394451439499754742698507}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 228268623476483645349912718750}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 228264835663530193978130935750}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 228264835663140466592395183945}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 228264835663139821056227792031}, {"parameter": "[9, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 228264835663139823920371500151}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 227778824996336996654265701375}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 227778824986577034195187382195}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 227778824986577033996645605306}, {"parameter": "[10, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227778824986577033996827128751}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 227828040184539822617784647820}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 227828040184539821624755863281}, {"parameter": "[11, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227828040184539821624755875651}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 227842621179111629486083988281}, {"parameter": "[12, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227842621179111629486083984376}, {"parameter": "[13, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 45567968623379678697556031251}, {"parameter": "[6, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 45477675484218704721435546875}, {"parameter": "[6, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 45477676734660613794422093750}, {"parameter": "[6, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 45948429169172051824094359375}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 227842650042660861968994140625}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 227373734326758492013916015625}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373735577200401086902562500}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227844488011711839116574828125}, {"parameter": "[6, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 227842622102983623504638671875}, {"parameter": "[6, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 227373706387081253549560546875}, {"parameter": "[6, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373707637523162622547093750}, {"parameter": "[6, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227844460072034600652219359375}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 227843371769674449920654296875}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 227374456053772079965576171875}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227374457304213989038562718750}, {"parameter": "[6, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227845209738725427068234984375}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 227842621173508792877197265625}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373705457606422922119140625}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373706708048331995105687500}, {"parameter": "[6, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227844459142559770024777953125}, {"parameter": "[6, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 227842622141786247253417968750}, {"parameter": "[6, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373706425883877298339843750}, {"parameter": "[6, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373707676325786371326390625}, {"parameter": "[6, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227844460110837224400998656250}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 227393480902422228970968046875}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 227392550583245887187202875000}, {"parameter": "[6, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227392581834689605493640843750}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 227374605821971484342061796875}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675502795142558296625000}, {"parameter": "[6, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373706754238860864734593750}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227374605775857939877950468750}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675456681598094185296875}, {"parameter": "[6, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373706708125316400623265625}, {"parameter": "[6, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227374606708905978360616484375}, {"parameter": "[6, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676389729636576851312500}, {"parameter": "[6, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373707641173354883289281250}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 227842621231205901702159515625}, {"parameter": "[6, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227842621173581850592805296875}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676710785135588878265625}, {"parameter": "[6, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676653161084479524046875}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675552816651749766937500}, {"parameter": "[6, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675495192600640412718750}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675504631898261241546875}, {"parameter": "[6, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675447007847151887328125}, {"parameter": "[6, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676435758979436778656250}, {"parameter": "[6, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676378134928327424437500}, {"parameter": "[6, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 45474765103093833054719359375}, {"parameter": "[6, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 45474736348905891511967406250}, {"parameter": "[6, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 45474735138793765938935296875}, {"parameter": "[6, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 45474735092418250020612812500}, {"parameter": "[6, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 45474736023750866195272203125}, {"parameter": "[7, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 18333635011946420654296875}, {"parameter": "[7, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 14553088521402971602171875}, {"parameter": "[7, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 18491157782385731031468750}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 18332712987696390136718750}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 14552166497152941084593750}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18490235758135700513890625}, {"parameter": "[7, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 18332703748976449951171875}, {"parameter": "[7, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14552157258433000899046875}, {"parameter": "[7, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 18490226519415760328343750}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18333913943831186279296875}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 14553367453287737227171875}, {"parameter": "[7, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 18491436714270496656468750}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 18332703689966897949218750}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14552157199423448897093750}, {"parameter": "[7, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 18490226460406208326390625}, {"parameter": "[7, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 18332703751459817871093750}, {"parameter": "[7, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14552157260916368818968750}, {"parameter": "[7, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 18490226521899128248265625}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 14705568267165571312250000}, {"parameter": "[7, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 14704358414858049727171875}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 14553367128592163109125000}, {"parameter": "[7, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 14552157276284641524046875}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14553367051755764427484375}, {"parameter": "[7, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14552157199448242842406250}, {"parameter": "[7, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14553367110974134788812500}, {"parameter": "[7, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14552157258666613203734375}, {"parameter": "[7, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 18332945659833309492796875}, {"parameter": "[7, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 14552166939706182024046875}, {"parameter": "[7, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 14552157279511780198968750}, {"parameter": "[7, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14552157199425781282343750}, {"parameter": "[7, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14552157258539208420937500}, {"parameter": "[8, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 15188499421823672959593750}, {"parameter": "[8, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 15188499421823672959593750}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 15188499365198306748656250}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 15188499365198306748656250}, {"parameter": "[8, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 15188499362222842881468750}, {"parameter": "[8, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 15188499362222842881468750}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 15188501301605245225218750}, {"parameter": "[8, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 15188501301605245225218750}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 15188499362219218858031250}, {"parameter": "[8, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 15188499362219218858031250}, {"parameter": "[8, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 15188499362223001817015625}, {"parameter": "[8, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 15188499362223001817015625}, {"parameter": "[8, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 15188743268934935139281250}, {"parameter": "[8, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 15188499362343148902093750}, {"parameter": "[8, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 15188499362219226802265625}, {"parameter": "[8, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 15188499362222857832656250}, {"parameter": "[9, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 18396762826270014219359375}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18396762826267153135375000}, {"parameter": "[9, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 18396762826266199766234375}, {"parameter": "[9, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 18396762826886834888421875}, {"parameter": "[9, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 18396762826266199583125000}, {"parameter": "[9, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 18396762826266199776406250}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 483528587506550333007812500}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 483528587506550333007812500}, {"parameter": "[6, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 14612871604180377929687500}, {"parameter": "[6, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 14612871604180377929687500}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 952443373934089660644531250}, {"parameter": "[6, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 952443372145950317382812500}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 483527658031719705566406250}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 483527658031719705566406250}, {"parameter": "[6, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 483527656243580362304687500}, {"parameter": "[6, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 483527656243580362304687500}, {"parameter": "[7, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7562508304189166992187500}, {"parameter": "", "name": "JohnsonLB", "value": 28479897043726691624360397790284}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 45568577663674121462462578125}], "request": [5, 15, 4, 6], "liftedmrdsizebound": 28483861833908773305277715210151, "comments": "", "equal_bound_constraints": []}