{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 543378943916057125960798910073683007821226491613669}, {"parameter": "", "name": "singleton", "value": 6822861635108183247077}, {"parameter": "3", "name": "ilp_2", "value": 4728425607048597127491}, {"parameter": "4", "name": "ilp_2", "value": 79640915055349984855720676435}, {"parameter": "5", "name": "ilp_2", "value": 1357361608205073629238157318970909956}, {"parameter": "6", "name": "ilp_2", "value": 24290932059870711531536404218635756404689489}, {"parameter": "8", "name": "ilp_3", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "9", "name": "ilp_3", "value": 1423323926840885190913361977602773942712110}, {"parameter": "10", "name": "ilp_3", "value": 85515492350071065043074462569653823895}, {"parameter": "11", "name": "ilp_3", "value": 5199064194758490644568117266506908}, {"parameter": "", "name": "anticode", "value": 4728425607048597127491}, {"parameter": "", "name": "linear_programming_bound", "value": 4728425607048597127491}, {"parameter": "", "name": "sphere_packing", "value": 910459976382504705381437982776}, {"parameter": "1", "name": "ilp_1", "value": 4728422224189361287505}, {"parameter": "2", "name": "ilp_1", "value": 4728422224189361287505}, {"parameter": "12", "name": "ilp_4", "value": 5195255356520572336403598499278698}, {"parameter": "13", "name": "ilp_4", "value": 5195255124274556343527709524512496}, {"parameter": "14", "name": "ilp_4", "value": 5195255124274556343527709524512496}, {"parameter": "15", "name": "ilp_4", "value": 20298610135617743997715047505852}, {"parameter": "16", "name": "ilp_4", "value": 79293864720783176423849261983}, {"parameter": "17", "name": "ilp_4", "value": 309882192571840809652256034}, {"parameter": "18", "name": "ilp_4", "value": 1210476161471585331369215}, {"parameter": "", "name": "johnson_1", "value": 4728422224189361287505}, {"parameter": "", "name": "johnson_2", "value": 1210476161471585331369215}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 543378943916057125960798910073683007821226491613669}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1423323926840885190913361977602773942712110}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 85515492350071065043074462569653823895}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 5199064194758490644568117266506908}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5195255356520572336403598499278698}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 5195255124274556343527709524512496}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 5195255124274556343527709524512496}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 20298610135617743997715047505852}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 79293864720783176423849261983}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 309882192571840809652256034}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 1210476161471585331369215}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 24290932059870711531536404218635756404689489}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 4448074188896028996716066847026601958669}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1018099103714400908039821524083854839}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 244676719967069078160081961040376}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 244078895601512413967322553310935}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 244081542838922308869754068533685}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 244092714641006113390748568386713}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 3816742111767310230569493384827}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 59789361446487798391314045131}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 936941700802053278904840989}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 14813978039140722863363173}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 243040086135142156622459}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 4746678719517248464065}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1357361608205073629238157318970909956}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 994404164101100324054888305039287}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 910459976382504705381437982776}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 904125699847368516862741599667}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 904122840905881338944767768749}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 904135765208751943847024612272}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 56895032141418870164939897623}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 3555898957539386830321132385}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 222460577437704785011163136}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 13956332738556676764762879}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 885238003636905026094507}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 58782657159344344525070}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 4820845570090162869569}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 79640915055349984855720676435}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 233551084206580979332821095}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 233551138858724460329523055}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 233551357467505335024917792}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 233552231905940057716185020}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 58175092719693256014788805}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 14584741829236491970280023}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 3646224614697774943652007}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 912587384581739984461631}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 229021688794356587098432}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 58147987234175865945962}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 15487945558396838221148}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 5137213541788743153233}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 4728425607048597127491}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 4728425884481052614728}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 4728426994211135200821}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 4728431433135635743441}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 4728449188900361336548}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 4728520213026854512914}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 4728804326615306824877}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 4729941054354517159873}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 4734492343688376660909}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 4752767825574906343710}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 4827012529632408152750}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 5143474911735283555210}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 6822861635108183247077}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 543378943916057125960798910073683007821226491613669}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 24290932059870711531536404218635756404689489}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1357361608205073629238157318970909956}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 79640915055349984855720676435}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 4728425607048597127491}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 4728422224189361287505}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 4728422224189361287505}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 4448074188896028996716066847026601958669}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 994404164101100324054888305039287}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 233551084206580979332821095}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 234236316437103845035243413}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 237024843507118854393283308}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 248876083422064124924261284}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 311095089443635962118015602}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1423323926840885190913361977602773942712110}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1018099103714400908039821524083854839}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 910459976382504705381437982776}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 911291734365105836845544178806}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 914642069214025054010997716122}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 928252804372986594429076865900}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 986268559857495555332671950547}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 1294477176190203600919904339225}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 85515492350071065043074462569653823895}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 244676719967069078160081961040376}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 244732735541356866001557810139602}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 244968227326773417563839049888196}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 245913874015148633614946854543838}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 249756267088036387810574995453836}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 266146471353006260266451028887804}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 353475428315378956127082267278075}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 5199064194758490644568117266506908}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 5199380296576244818351685039215715}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 5200645012310110668266758942074708}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 5205708815474355693218368774298139}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 5226043381686766631178961487209962}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 5308671451488376209481124589155420}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 5661196044546261045781460551409761}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 7540859480106603961931048583270885}, {"parameter": "", "name": "improved_johnson", "value": 4728422224189361287492}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 77471651840175110609703139}], "known_codes": [], "upper_bound": 4728422224189361287492, "classified": false, "lower_bound": 4722366487267692052994, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4722366482869645213696}, {"parameter": "", "name": "sphere_covering", "value": 195320945850982}, {"parameter": "", "name": "graham_sloane", "value": 285539}, {"parameter": "", "name": "multicomponent", "value": 4722366487267691724801}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (1, 2, 7, 8, 9, 10, 11), (3, 4, 7, 11, 12, 13, 14), (0, 6, 8, 10, 12, 13, 15), (3, 5, 9, 10, 14, 15, 16), (4, 5, 8, 9, 12, 17, 18), (1, 6, 11, 14, 15, 17, 18), (0, 2, 7, 13, 16, 17, 18)]", "name": "ef_computation", "value": 4722366487267692052994}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4722366482869645213697}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 4722366482869645230081}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 73786976294838206465}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1152921504606846977}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 18014398509481985}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 281474976710657}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 72061992084439041}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 4722366482869645230081}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 73786976294838206465}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1152921504606846977}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 18014398509481985}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 281474976710657}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 72061992084439041}, {"parameter": "7", "name": "linkage_GLT", "value": 4722366482869645230081}, {"parameter": "8", "name": "linkage_GLT", "value": 73786976294838206465}, {"parameter": "9", "name": "linkage_GLT", "value": 1152921504606846977}, {"parameter": "10", "name": "linkage_GLT", "value": 18014398509481985}, {"parameter": "11", "name": "linkage_GLT", "value": 281474976710657}, {"parameter": "12", "name": "linkage_GLT", "value": 72061992084439041}, {"parameter": "7", "name": "improved_linkage", "value": 4722366487267691724801}, {"parameter": "8", "name": "improved_linkage", "value": 73786976295106641921}, {"parameter": "9", "name": "improved_linkage", "value": 1152921504606863361}, {"parameter": "10", "name": "improved_linkage", "value": 18014398509481985}, {"parameter": "11", "name": "improved_linkage", "value": 281474976710657}, {"parameter": "12", "name": "improved_linkage", "value": 72061992084439041}, {"parameter": "13", "name": "improved_linkage", "value": 72057594306363393}, {"parameter": "14", "name": "improved_linkage", "value": 72057594037944321}, {"parameter": "7,0", "name": "generalized_linkage", "value": 4722366482869645230081}, {"parameter": "7,1", "name": "generalized_linkage", "value": 4722366482869913649153}, {"parameter": "7,2", "name": "generalized_linkage", "value": 4722366487267691724801}, {"parameter": "8,0", "name": "generalized_linkage", "value": 73786976294838206465}, {"parameter": "8,1", "name": "generalized_linkage", "value": 73786976294838222849}, {"parameter": "8,2", "name": "generalized_linkage", "value": 73786976295106641921}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1152921504606863361}, {"parameter": "10,0", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "10,1", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "10,2", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "11,0", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "11,1", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "11,2", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "12,0", "name": "generalized_linkage", "value": 72061992084439041}, {"parameter": "12,1", "name": "generalized_linkage", "value": 72061992084439041}, {"parameter": "12,2", "name": "generalized_linkage", "value": 72061992084439041}, {"parameter": "13,1", "name": "generalized_linkage", "value": 72057594306363393}, {"parameter": "13,2", "name": "generalized_linkage", "value": 72057594306363393}, {"parameter": "14,2", "name": "generalized_linkage", "value": 72057594037944321}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645230081}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869913649153}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691724801}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838206465}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838222849}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976295106641921}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606863361}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 72061992084439041}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 72061992084439041}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72061992084439041}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057594306363393}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594306363393}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594037944321}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 72061992084439041}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72061992084439041}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72061992084439041}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057594306363393}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594306363393}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057594306363393}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594306363393}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594037944321}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594037944321}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594037944321}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398314946561}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398314946561}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398046527489}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398046527489}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 268451841}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 18014415689613316}], "request": [4, 19, 10, 7], "liftedmrdsizebound": 4722366487359401907521, "comments": "", "equal_bound_constraints": []}