{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 32123316014096815813193145651081138912789375911187958673337745121728137}, {"parameter": "", "name": "singleton", "value": 628292358729}, {"parameter": "1", "name": "ilp_2", "value": 549757911048}, {"parameter": "2", "name": "ilp_2", "value": 302241831518265946705857}, {"parameter": "3", "name": "ilp_2", "value": 166199780195535793210968063705122238}, {"parameter": "4", "name": "ilp_2", "value": 91548100312826648720267490787683488133826755669}, {"parameter": "5", "name": "ilp_2", "value": 51127975006859023475808243934135084744743782371883856852886}, {"parameter": "7", "name": "ilp_3", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "8", "name": "ilp_3", "value": 402633019168094559468885999854314396566694795188011287999103}, {"parameter": "9", "name": "ilp_3", "value": 1532923238931742003711631518879429813660762116326659057}, {"parameter": "10", "name": "ilp_3", "value": 5846210447393072724893878954188101031937563697151}, {"parameter": "11", "name": "ilp_3", "value": 22300842422064120927669789248559541972593601}, {"parameter": "", "name": "anticode", "value": 549757911048}, {"parameter": "", "name": "linear_programming_bound", "value": 549757911048}, {"parameter": "", "name": "sphere_packing", "value": 4700163655049481669205136958272038886086}, {"parameter": "", "name": "DrakeFreeman", "value": 549757911044}, {"parameter": "", "name": "partial_spread_5", "value": 549757911047}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 549757911041}, {"parameter": "", "name": "spread_bound", "value": 549757911048}, {"parameter": "", "name": "XiaFuJohnson1", "value": 549757911048}, {"parameter": "12", "name": "ilp_4", "value": 22300842422064120927669789248559541972593601}, {"parameter": "13", "name": "ilp_4", "value": 680565104719895181650422454518711561576}, {"parameter": "14", "name": "ilp_4", "value": 20769213607722863646233173903904585}, {"parameter": "15", "name": "ilp_4", "value": 633826495547292646092895032885}, {"parameter": "16", "name": "ilp_4", "value": 19342850154005856573217014}, {"parameter": "17", "name": "ilp_4", "value": 590296973857829927527}, {"parameter": "18", "name": "ilp_4", "value": 18014467229253632}, {"parameter": "", "name": "johnson_1", "value": 549757911048}, {"parameter": "", "name": "johnson_2", "value": 18014467229253632}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 32123316014096815813193145651081138912789375911187958673337745121728137}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 402633019168094559468885999854314396566694795188011287999103}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1532923238931742003711631518879429813660762116326659057}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 5846210447393072724893878954188101031937563697151}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 22300842422064120927669789248559541972593601}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 22300842422064120927669789248559541972593601}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 680565104719895181650422454518711561576}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 20769213607722863646233173903904585}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 633826495547292646092895032885}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 19342850154005856573217014}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 590296973857829927527}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 18014467229253632}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 51127975006859023475808243934135084744743782371883856852886}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1365269433281006098747390946430012508506155099762247655}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 41013724952470536964284450178671099062605234886968}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1249195021512643309848465910916706800024581388}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 38113099749206625245046387930919880655935}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 38113099997669123524320252155274506306714}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 9304672584272100286267125525034992203}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2271666859189861279445533048212225}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 554609869132241120847038864195}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 135406475261373365469472912}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 33065772809573584054430}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 8086521176232521679}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 2001667706436983}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 549772591361}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 91548100312826648720267490787683488133826755669}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 19557380968380802557643886680718630527594126}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 4700163655049481669205136958272038886086}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1145260225899547495410432248638136737}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1145260226949264170420963594741143717}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 2236290442398329832523153271069253}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 4368088251844098086140181008176}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 8531552468230349407940365913}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 16665221248167209350873964}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 32550235935490586072876}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 63589959854914421947}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 124438343049009791}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 246840377192286}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 549890064385}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 166199780195535793210968063705122238}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 284102188368952141231191437384639}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 546233645664952189356361719680}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 546233645728309467375097528639}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 8518267043145629688897884322}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 133195387423417891250040780}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 2083144959179610516558831}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 32549031528421839176116}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 508581276725155381866}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 7946838734294198351}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 124199565517916552}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 1944401993273875}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 30861744553838}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 550831656961}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 302241831518265946705857}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 4140299061901480244532}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 4140299061960889685086}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 509588876765884840297}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 64567791462380039917}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 8069034372175938772}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 1008841501035696521}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 126104773386215827}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 15763207760013737}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 1970460149831766}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 246366841076713}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 30855279104242}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 3917262536563}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 558482096641}, {"parameter": "5, 1", "name": "Ahlswede_Aydinian", "value": 549757911048}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 549757911048}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 549757911055}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 549757911112}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 549757911567}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 549757915208}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 549757944335}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 549758177345}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 549760041438}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 549774954577}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 549894285227}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 550850567893}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 558607076624}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 628292358729}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 32123316014096815813193145651081138912789375911187958673337745121728137}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 51127975006859023475808243934135084744743782371883856852886}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 91548100312826648720267490787683488133826755669}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 166199780195535793210968063705122238}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 302241831518265946705857}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 549757911048}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1365269433281006098747390946430012508506155099762247655}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 19557380968380802557643886680718630527594126}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 284102188368952141231191437384639}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 4140299061901480244532}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 4197803213155855259799}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 4722528614792701411353}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 402633019168094559468885999854314396566694795188011287999103}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 41013724952470536964284450178671099062605234886968}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 4700163655049481669205136958272038886086}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 546233645664952189356361719680}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 547285877893235991052651413457}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 555837219734431393182710387413}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 634001828750359871381576122856}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1532923238931742003711631518879429813660762116326659057}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 1249195021512643309848465910916706800024581388}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 1145260225899547495410432248638136737}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1145539345022100936600035416933125061}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1147776726553519955916351519186283474}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 1165959821381842518619615560340923745}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1332200186382558088365773259505434233}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 5846210447393072724893878954188101031937563697151}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 38113099749206625245046387930919880655935}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 38114260632407813019304120573811134212847}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 38123565871759342068050462861532265992272}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 38198153461018709352192338896518431864782}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 38804325325884589109043184991671088511792}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 44346446943030839670943602899281102018089}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 22300842422064120927669789248559541972593601}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 22300927490750644369968539361451351222777512}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 22301608061012107604076882931295179138213202}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 22307053952662057009484807413607507401795159}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 22350706344109163888695002297084421310363620}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 22705468615033276188142271559222148447950535}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 25949007804224083420097621839124559742097033}, {"parameter": "", "name": "improved_johnson", "value": 549757911041}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 590298343643293942333}], "known_codes": [], "upper_bound": 549757911041, "classified": false, "lower_bound": 549757911041, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 549755813888}, {"parameter": "", "name": "sphere_covering", "value": 14680177}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 549757911041}, {"parameter": "", "name": "multicomponent", "value": 549757911041}, {"parameter": "[(0, 1, 2, 3, 4, 5), (6, 7, 8, 9, 10, 11), (13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 549757911041}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 549755813888}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 549757911041}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 68719738881}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 8589934593}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1073741825}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 134217729}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 16777217}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 549757911041}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 549756076033}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 549757911041}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 549756076033}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 68719738881}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 549757911041}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 68719738881}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 8589934593}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1073741825}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 134217729}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 16777217}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 549757911041}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 549756076033}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 549757911041}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 549756076033}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 68719738881}, {"parameter": "6", "name": "linkage_GLT", "value": 549757911041}, {"parameter": "7", "name": "linkage_GLT", "value": 68719738881}, {"parameter": "8", "name": "linkage_GLT", "value": 8589934593}, {"parameter": "9", "name": "linkage_GLT", "value": 1073741825}, {"parameter": "10", "name": "linkage_GLT", "value": 134217729}, {"parameter": "11", "name": "linkage_GLT", "value": 16777217}, {"parameter": "12", "name": "linkage_GLT", "value": 549757911041}, {"parameter": "13", "name": "linkage_GLT", "value": 549756076033}, {"parameter": "6", "name": "improved_linkage", "value": 549757911041}, {"parameter": "7", "name": "improved_linkage", "value": 68719738881}, {"parameter": "8", "name": "improved_linkage", "value": 8589934593}, {"parameter": "9", "name": "improved_linkage", "value": 1073741825}, {"parameter": "10", "name": "improved_linkage", "value": 134217729}, {"parameter": "11", "name": "improved_linkage", "value": 16777217}, {"parameter": "12", "name": "improved_linkage", "value": 549757911041}, {"parameter": "13", "name": "improved_linkage", "value": 549756076033}, {"parameter": "6,0", "name": "generalized_linkage", "value": 549757911041}, {"parameter": "7,0", "name": "generalized_linkage", "value": 68719738881}, {"parameter": "8,0", "name": "generalized_linkage", "value": 8589934593}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1073741825}, {"parameter": "10,0", "name": "generalized_linkage", "value": 134217729}, {"parameter": "11,0", "name": "generalized_linkage", "value": 16777217}, {"parameter": "12,0", "name": "generalized_linkage", "value": 549757911041}, {"parameter": "13,0", "name": "generalized_linkage", "value": 549756076033}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 549757911041}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 68719738881}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8589934593}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1073741825}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 549757911041}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 549756076033}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 549757911041}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 549756076033}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 68719738881}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 8}], "request": [8, 19, 12, 6], "liftedmrdsizebound": 549757911041, "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "partial_spread_2", "value": 549757911041}, {"parameter": "", "name": "partial_spread_NS", "value": 549757911041}]}