{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 103741619611085612124067759}, {"parameter": "", "name": "singleton", "value": 5263390747480701708292}, {"parameter": "5", "name": "ilp_2", "value": 3513806381624631219484}, {"parameter": "7", "name": "ilp_3", "value": 94914565060462591147363}, {"parameter": "", "name": "anticode", "value": 3513806381624631219484}, {"parameter": "", "name": "linear_programming_bound", "value": 3513806381624631219484}, {"parameter": "", "name": "sphere_packing", "value": 103741619611085612124067759}, {"parameter": "1", "name": "ilp_1", "value": 3513449339891432332046}, {"parameter": "2", "name": "ilp_1", "value": 3513449339891432370163}, {"parameter": "3", "name": "ilp_1", "value": 3513449339891432370163}, {"parameter": "4", "name": "ilp_1", "value": 3513449339891432370163}, {"parameter": "8", "name": "ilp_4", "value": 94914565060462591147363}, {"parameter": "9", "name": "ilp_4", "value": 94914565060462591147363}, {"parameter": "10", "name": "ilp_4", "value": 94914565060462591147363}, {"parameter": "11", "name": "ilp_4", "value": 94914565060462591147363}, {"parameter": "12", "name": "ilp_4", "value": 94914565060462591147363}, {"parameter": "13", "name": "ilp_4", "value": 31599605191592416972996}, {"parameter": "14", "name": "ilp_4", "value": 10541775767359484556137}, {"parameter": "", "name": "johnson_1", "value": 3513449339891432332046}, {"parameter": "", "name": "johnson_2", "value": 10541775767359484556137}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 103741619611085612124067759}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 94914565060462591147363}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 94914565060462591147363}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 94914565060462591147363}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 94914565060462591147363}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 94914565060462591147363}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 94914565060462591147363}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 31599605191592416972996}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 10541775767359484556137}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 3513806381624631219484}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 3513925073923561262312}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 3514281198936683554679}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 3515350007213278736494}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 3518560336321516713152}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 3528226601589242268659}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3557546710026597583212}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3648505647735754660436}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 3951608432819758488525}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 5263390747480701708292}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 103741619611085612124067759}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 3513806381624631219484}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 3513449339891432370163}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 3513449339891432370163}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 3513449339891432370163}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 3513449339891432332046}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 94914565060462591147363}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 95001474320004852698947}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 95263159678750236558526}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 96056937703231695711903}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 98519676320315494645312}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 106728711243194057367284}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 142299528422960399756323}, {"parameter": "", "name": "improved_johnson", "value": 3513449339891432332039}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 31638187046838879999070}], "known_codes": [], "upper_bound": 3513449339891432332039, "classified": false, "lower_bound": 3010747209933600498276, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 2954312706550833698643}, {"parameter": "", "name": "sphere_covering", "value": 9653640312976816655}, {"parameter": "", "name": "graham_sloane", "value": 14459864690881048650}, {"parameter": "", "name": "multicomponent", "value": 2954362738378362766273}, {"parameter": "", "name": "construction_ST_B", "value": 2991697526968962930027}, {"parameter": "", "name": "EF_special", "value": 2998676636295383433055}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 2954396514571135472412}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 2991369826399296255885}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 2991697526969179648530}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 2998677038028861083854}, {"parameter": "", "name": "two_pivot_block_construction", "value": 2991241614524839100416}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 111647903758943867225}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 2991748183907199427486}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2956541621272408935477}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2956541621188726109853}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2956541621178280105557}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 12250524593580378984}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 12250524614501085390}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 12250524583507446270}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 41028959337472366470}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 41028959368466005590}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 41028959347545299184}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 113322077652184220835}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 113322077662630225131}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 113322077746313050755}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 2956541621178265756650}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 12250524583120025781}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 41028959337084945981}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 113322077652169871928}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 2956541621178265756650}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 12250524583120025781}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 41028959337084945981}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 113322077652169871928}, {"parameter": "6", "name": "linkage_GLT", "value": 2954312706550834248634}, {"parameter": "7", "name": "linkage_GLT", "value": 12157665459056929621}, {"parameter": "8", "name": "linkage_GLT", "value": 41025866981179759741}, {"parameter": "9", "name": "linkage_GLT", "value": 113238269631868098160}, {"parameter": "6", "name": "improved_linkage", "value": 2954363702768707363263}, {"parameter": "7", "name": "improved_linkage", "value": 12157875402841738134}, {"parameter": "8", "name": "improved_linkage", "value": 41025867268773985507}, {"parameter": "9", "name": "improved_linkage", "value": 113238269632262316529}, {"parameter": "10", "name": "improved_linkage", "value": 111338911511395905961}, {"parameter": "11", "name": "improved_linkage", "value": 111419895580227540883}, {"parameter": "12", "name": "improved_linkage", "value": 111572734942856738854}, {"parameter": "13", "name": "improved_linkage", "value": 37176242829901507981}, {"parameter": "6,0", "name": "generalized_linkage", "value": 2956541621178265756650}, {"parameter": "6,1", "name": "generalized_linkage", "value": 2954562038569063617813}, {"parameter": "6,2", "name": "generalized_linkage", "value": 2954339924755954513290}, {"parameter": "6,3", "name": "generalized_linkage", "value": 2954315435820036219972}, {"parameter": "6,4", "name": "generalized_linkage", "value": 2954363702768707363263}, {"parameter": "7,0", "name": "generalized_linkage", "value": 12250524583120025781}, {"parameter": "7,1", "name": "generalized_linkage", "value": 12167396209412812800}, {"parameter": "7,2", "name": "generalized_linkage", "value": 12158012718528912771}, {"parameter": "7,3", "name": "generalized_linkage", "value": 12157676962825959481}, {"parameter": "7,4", "name": "generalized_linkage", "value": 12157875402841738134}, {"parameter": "8,0", "name": "generalized_linkage", "value": 41028959337084945981}, {"parameter": "8,1", "name": "generalized_linkage", "value": 41025999089923478280}, {"parameter": "8,2", "name": "generalized_linkage", "value": 41025871389912565659}, {"parameter": "8,3", "name": "generalized_linkage", "value": 41025867028880182510}, {"parameter": "8,4", "name": "generalized_linkage", "value": 41025867268773985507}, {"parameter": "9,0", "name": "generalized_linkage", "value": 113322077652169871928}, {"parameter": "9,1", "name": "generalized_linkage", "value": 113238271087473917520}, {"parameter": "9,2", "name": "generalized_linkage", "value": 113238269651605536699}, {"parameter": "9,3", "name": "generalized_linkage", "value": 113238269632068294883}, {"parameter": "9,4", "name": "generalized_linkage", "value": 113238269632262316529}, {"parameter": "10,1", "name": "generalized_linkage", "value": 111338924628749467833}, {"parameter": "10,2", "name": "generalized_linkage", "value": 111338911511467588131}, {"parameter": "10,3", "name": "generalized_linkage", "value": 111338911511395654450}, {"parameter": "10,4", "name": "generalized_linkage", "value": 111338911511395905961}, {"parameter": "11,2", "name": "generalized_linkage", "value": 111419895580444258566}, {"parameter": "11,3", "name": "generalized_linkage", "value": 111419895580227540427}, {"parameter": "11,4", "name": "generalized_linkage", "value": 111419895580227540883}, {"parameter": "12,3", "name": "generalized_linkage", "value": 111572734942856739217}, {"parameter": "12,4", "name": "generalized_linkage", "value": 111572734942856738854}, {"parameter": "13,4", "name": "generalized_linkage", "value": 37176242829901507981}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2956541621178265756650}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2954562038569063617813}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2954339924755954513290}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2954315435820036219972}, {"parameter": "[6, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2954363702768707363263}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12250524583120025781}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12167396209412812800}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 12158012718528912771}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12157676962825959481}, {"parameter": "[7, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12157875402841738134}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 41028959337084945981}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 41025999089923478280}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 41025871389912565659}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 41025867028880182510}, {"parameter": "[8, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 41025867268773985507}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 113322077652169871928}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 113238271087473917520}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 113238269651605536699}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 113238269632068294883}, {"parameter": "[9, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 113238269632262316529}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 111338924628749467833}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 111338911511467588131}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 111338911511395654450}, {"parameter": "[10, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 111338911511395905961}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 111419895580444258566}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 111419895580227540427}, {"parameter": "[11, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 111419895580227540883}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 111572734942856739217}, {"parameter": "[12, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 111572734942856738854}, {"parameter": "[13, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 37176242829901507981}, {"parameter": "[6, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 36525982295638437543}, {"parameter": "[6, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 36526351085729723250}, {"parameter": "[6, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 38751942549701844117}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 111575403901976484303}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 109424620089598241079}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109424988879689526786}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 111650580343661647653}, {"parameter": "[6, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 111572933208391348515}, {"parameter": "[6, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 109422149396013105291}, {"parameter": "[6, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109422518186104390998}, {"parameter": "[6, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 111648109650076511865}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 111599456731021352187}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 109448672918643108963}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109449041708734394670}, {"parameter": "[6, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 111674633172706515537}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 111572730988843228119}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109421947176464984895}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109422315966556270602}, {"parameter": "[6, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 111647907430528391469}, {"parameter": "[6, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 111572958909479168286}, {"parameter": "[6, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109422175097100925062}, {"parameter": "[6, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109422543887192210769}, {"parameter": "[6, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 111648135351164331636}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 109702379903563388763}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 109664037891984772566}, {"parameter": "[6, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109667344844891246598}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 109457384019506937963}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419042007928321766}, {"parameter": "[6, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109422348960834795798}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109457351483546851254}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419009471968235057}, {"parameter": "[6, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109422316424874709089}, {"parameter": "[6, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109457560431426604113}, {"parameter": "[6, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419218419847987916}, {"parameter": "[6, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109422525372754461948}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 111572780001558008967}, {"parameter": "[6, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 111572731369897619643}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419377937278767191}, {"parameter": "[6, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419329305618377867}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419083058619412730}, {"parameter": "[6, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419034426959023406}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419045615552085713}, {"parameter": "[6, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109418996983891696389}, {"parameter": "[6, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419251319615885480}, {"parameter": "[6, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419202687955496156}, {"parameter": "[6, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36475954803177803613}, {"parameter": "[6, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36473378508826265160}, {"parameter": "[6, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36473038375497162579}, {"parameter": "[6, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36473004165816644670}, {"parameter": "[6, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36473210085999736323}, {"parameter": "[7, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 232854552577871451}, {"parameter": "[7, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 150413769263317059}, {"parameter": "[7, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 243159650492190750}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 232659958627236042}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 150219175312681650}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 242965056541555341}, {"parameter": "[7, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 232648943875313283}, {"parameter": "[7, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 150208160560758891}, {"parameter": "[7, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 242954041789632582}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 232989932793547611}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 150549149478993219}, {"parameter": "[7, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 243295030707866910}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 232648676942596362}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 150207893628041970}, {"parameter": "[7, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 242953774856915661}, {"parameter": "[7, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 232648979130577782}, {"parameter": "[7, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 150208195816023390}, {"parameter": "[7, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 242954077044897081}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 159950159948185326}, {"parameter": "[7, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 159610431445515459}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 150548074770171798}, {"parameter": "[7, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 150208346267501931}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 150547624065157077}, {"parameter": "[7, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 150207895562487210}, {"parameter": "[7, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 150547898921659308}, {"parameter": "[7, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 150208170418989441}, {"parameter": "[7, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 232761904280000091}, {"parameter": "[7, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 150220776009568491}, {"parameter": "[7, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 150208404704266590}, {"parameter": "[7, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 150207894168959970}, {"parameter": "[7, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 150208165516414140}, {"parameter": "[8, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 171923366652334902}, {"parameter": "[8, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 171923366652334902}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 171923131100677590}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 171923131100677590}, {"parameter": "[8, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 171923084610218910}, {"parameter": "[8, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 171923084610218910}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 171927344258637390}, {"parameter": "[8, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 171927344258637390}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 171923084287102782}, {"parameter": "[8, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 171923084287102782}, {"parameter": "[8, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 171923084658580041}, {"parameter": "[8, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 171923084658580041}, {"parameter": "[8, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 172040532118128684}, {"parameter": "[8, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 171923090066468982}, {"parameter": "[8, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 171923084295129801}, {"parameter": "[8, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 171923084623741860}, {"parameter": "[9, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 239141723887915929}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239141723693939964}, {"parameter": "[9, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239141723501026881}, {"parameter": "[9, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239141741047559703}, {"parameter": "[9, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239141723500760796}, {"parameter": "[9, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239141723501093220}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2306993085544639860}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2306993085544639860}, {"parameter": "[6, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 156209273166396636}, {"parameter": "[6, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 156209273166396636}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4457574678374762688}, {"parameter": "[6, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4457571289220324916}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2306790865996519464}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2306790865996519464}, {"parameter": "[6, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2306787476842081692}, {"parameter": "[6, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2306787476842081692}, {"parameter": "[7, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 165314225859186492}, {"parameter": "", "name": "JohnsonLB", "value": 3010747209933600498276}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 37197461737818598581}], "request": [3, 15, 4, 6], "liftedmrdsizebound": 3025809023953613523409, "comments": "", "equal_bound_constraints": []}