{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 372818701621367349292382501162685300}, {"parameter": "", "name": "singleton", "value": 807744680100}, {"parameter": "2", "name": "ilp_2", "value": 678269193994}, {"parameter": "3", "name": "ilp_2", "value": 558816589816434955}, {"parameter": "4", "name": "ilp_2", "value": 461555130979274089672067}, {"parameter": "5", "name": "ilp_2", "value": 388029456308667099596567965406}, {"parameter": "7", "name": "ilp_3", "value": 2716209021189209652639810728507}, {"parameter": "8", "name": "ilp_3", "value": 22616228319643710679765285}, {"parameter": "9", "name": "ilp_3", "value": 191674322372036567252}, {"parameter": "10", "name": "ilp_3", "value": 1628526311419993}, {"parameter": "", "name": "anticode", "value": 678269193994}, {"parameter": "", "name": "linear_programming_bound", "value": 678269193994}, {"parameter": "", "name": "sphere_packing", "value": 67231266788556790}, {"parameter": "1", "name": "ilp_1", "value": 678244485142}, {"parameter": "11", "name": "ilp_4", "value": 1628443257948450}, {"parameter": "12", "name": "ilp_4", "value": 1628443257948450}, {"parameter": "", "name": "johnson_1", "value": 678244485142}, {"parameter": "", "name": "johnson_2", "value": 1628443257948450}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 372818701621367349292382501162685300}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 2716209021189209652639810728507}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 22616228319643710679765285}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 191674322372036567252}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1628526311419993}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1628443257948450}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1628443257948450}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 388029456308667099596567965406}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 19789364552697384452908112}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1153428020361621029014}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 68431255359110675}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 68431255566154840}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 68602753699980882}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 203603638482362}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 678410028173}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 461555130979274089672067}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 164782463333353204114}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 67231266788556790}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 67067166023321169}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 67094530599168200}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1374585207792690}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 28665871662863}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 680484639955}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 558816589816434955}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 1397043161748348}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 1372615238760266}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1372696471158251}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 199602519492715}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 28585902565526}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 4169770612348}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 694372064737}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 678269193994}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 678270002808}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 678275664552}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 678315299073}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 678592854036}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 680541307226}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 694458900064}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 807744680100}, {"parameter": "0, 7, o", "name": "Ahlswede_Aydinian", "value": 372818701621367349292382501162685300}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 388029456308667099596567965406}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 461555130979274089672067}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 558816589816434955}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 678269193994}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 678244485142}, {"parameter": "1, 6, o", "name": "Ahlswede_Aydinian", "value": 2716209021189209652639810728507}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 19789364552697384452908112}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 164782463333353204114}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1397043161748348}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1400222973691623}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1425226767340728}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1628828860644700}, {"parameter": "2, 5, o", "name": "Ahlswede_Aydinian", "value": 22616228319643710679765285}, {"parameter": "2, 6, o", "name": "Ahlswede_Aydinian", "value": 1153428020361621029014}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 67231266788556790}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 67162382845386042}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 67354744059332261}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 68729258929759451}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1633952701455411}, {"parameter": "3, 4, o", "name": "Ahlswede_Aydinian", "value": 191674322372036567252}, {"parameter": "3, 5, o", "name": "Ahlswede_Aydinian", "value": 68431255359110675}, {"parameter": "3, 6, o", "name": "Ahlswede_Aydinian", "value": 68435313873089169}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 68463735298607589}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 68663266526822149}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 10008637646996573}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1667893851110586}, {"parameter": "4, 3, o", "name": "Ahlswede_Aydinian", "value": 1628526311419993}, {"parameter": "4, 4, o", "name": "Ahlswede_Aydinian", "value": 1628540113425864}, {"parameter": "4, 5, o", "name": "Ahlswede_Aydinian", "value": 1628636733199281}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 1629313352613264}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 1634063497657585}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 1668005216244100}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 1945063360640100}, {"parameter": "", "name": "improved_johnson", "value": 678244485119}], "known_codes": [], "upper_bound": 678244485119, "classified": false, "lower_bound": 678223072850, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 678223072849}, {"parameter": "", "name": "sphere_covering", "value": 98845}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 678223072850}, {"parameter": "[(0, 1, 2, 3, 4, 5), (3, 6, 7, 8, 10, 11)]", "name": "ef_computation", "value": 678223072850}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 678223072849}, {"parameter": "(6, 7)", "name": "CKMP2019_Lem_41", "value": 678223072850}, {"parameter": "(7, 6)", "name": "CKMP2019_Lem_41", "value": 13841287202}, {"parameter": "(6, 7)", "name": "CKMP2019_Cor_42", "value": 678223072850}, {"parameter": "(7, 6)", "name": "CKMP2019_Cor_42", "value": 13841287202}, {"parameter": "", "name": "construction_1", "value": 678223072850}, {"parameter": "6", "name": "linkage_GLT", "value": 678223072850}, {"parameter": "7", "name": "linkage_GLT", "value": 13841287202}, {"parameter": "6", "name": "improved_linkage", "value": 678223072850}, {"parameter": "7", "name": "improved_linkage", "value": 13841287202}, {"parameter": "8", "name": "improved_linkage", "value": 117650}, {"parameter": "6,0", "name": "generalized_linkage", "value": 678223072850}, {"parameter": "6,1", "name": "generalized_linkage", "value": 678223072850}, {"parameter": "7,0", "name": "generalized_linkage", "value": 13841287202}, {"parameter": "7,1", "name": "generalized_linkage", "value": 13841287202}, {"parameter": "8,1", "name": "generalized_linkage", "value": 117650}, {"parameter": "[6, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 678223072850}, {"parameter": "[6, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 678223072850}, {"parameter": "[7, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13841287202}, {"parameter": "[7, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 13841287202}, {"parameter": "[8, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 117650}, {"parameter": "", "name": "JohnsonLB", "value": 678222249307}, {"parameter": "", "name": "JohnsonLB_special", "value": 678222249307}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 40353614}], "request": [7, 13, 10, 6], "liftedmrdsizebound": 678223072850, "comments": "", "equal_bound_constraints": []}