{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "", "name": "singleton", "value": 106607206793565997285}, {"parameter": "3", "name": "ilp_2", "value": 73810626321976270106}, {"parameter": "4", "name": "ilp_2", "value": 309886829009143909944438429}, {"parameter": "5", "name": "ilp_2", "value": 1304856661584186139345447640118521}, {"parameter": "6", "name": "ilp_2", "value": 5559837962890984557458549832601454887775}, {"parameter": "7", "name": "ilp_2", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "9", "name": "ilp_3", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "10", "name": "ilp_3", "value": 22773203190285674976295944754611661572399455}, {"parameter": "11", "name": "ilp_3", "value": 342062030565745374978070139315289019191}, {"parameter": "12", "name": "ilp_3", "value": 5199064194758490644568117266506908}, {"parameter": "13", "name": "ilp_3", "value": 79253952957568897112638966385}, {"parameter": "", "name": "anticode", "value": 73810626321976270106}, {"parameter": "", "name": "linear_programming_bound", "value": 73810626321976270106}, {"parameter": "", "name": "sphere_packing", "value": 233028156054043898699942642809596}, {"parameter": "1", "name": "ilp_1", "value": 73802247407306418427}, {"parameter": "2", "name": "ilp_1", "value": 73802247407342130079}, {"parameter": "14", "name": "ilp_4", "value": 79235813167243088500514310430}, {"parameter": "15", "name": "ilp_4", "value": 79235812890519430008220426296}, {"parameter": "16", "name": "ilp_4", "value": 79235812890519430008220426296}, {"parameter": "17", "name": "ilp_4", "value": 77386103120673784449652126}, {"parameter": "18", "name": "ilp_4", "value": 75573014916897910662143}, {"parameter": "", "name": "johnson_1", "value": 73802247407306418427}, {"parameter": "", "name": "johnson_2", "value": 75573014916897910662143}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 342062030565745374978070139315289019191}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5199064194758490644568117266506908}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 79253952957568897112638966385}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 79235813167243088500514310430}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 79235812890519430008220426296}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 79235812890519430008220426296}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 77386103120673784449652126}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 75573014916897910662143}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1138672376192466547352945425929868872823087}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 3914663010079668288139942500755889}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 238001520434071572854109987903}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 237838047375353132145608054602}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 237881594828613868113090338723}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 238055986833499252952969226362}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 932854550490867633737460097}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3687454070131940220190843}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 15131150238763885595454}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 73881597248900598397}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1018099103714400908039821524083854839}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 233028156054043898699942642809596}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 56003121672253061193035295936}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 55866927163863187726485110534}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 55870090187316476426615556593}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 55882878615997372824575228349}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 874450018495821351216176107}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 13738563245275212887216117}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 217855564176470516470994}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 3616704151446716627245}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 74166322162334898742}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 1304856661584186139345447640118521}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 955939170403668802542575372370}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 875242691042951129586390706}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 869155914004346923032841422}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 869163105174235148351255004}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 869215290707054822577277434}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 54707583399861994851629545}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 3421689865366587352778911}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 214693460440110676379196}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 13629279275469173082622}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 907683556051041694688}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 75325583798185265993}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 309886829009143909944438429}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 908759244538168680643376}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 908760105282347895277374}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 908763548272140302397607}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 908777320440521887841810}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 226375991403274998595454}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 56763782537108461863475}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 14201471516324104066315}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 3564807619096942954661}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 905237622056282588932}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 241292620708811058844}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 80268903000192506961}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 73810626321976270106}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 73810643695788588018}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 73810713191103194088}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 73810991173406973043}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 73812103119348015056}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 73816551170743090466}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 73834347659447808959}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 73905602210234328086}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 74191722187690730211}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 75354106009865631384}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 80308893551788409856}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 106607206793565997285}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1304856661584186139345447640118521}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 309886829009143909944438429}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 73810626321976270106}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 73802247407342130079}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 73802247407306418427}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1138672376192466547352945425929868872823087}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1018099103714400908039821524083854839}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 955939170403668802542575372370}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 908759244538168680643376}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 911432063926392914972839}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 922282437746823276309406}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 968396524452008999915708}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 1210495424682168633823373}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 233028156054043898699942642809596}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 875242691042951129586390706}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 876034755117400048543045320}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 879255461791074431203714475}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 892339582308672635090199269}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 948110633977034162169232331}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 1244394020351851512938451870}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 342062030565745374978070139315289019191}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 3914663010079668288139942500755889}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 56003121672253061193035295936}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 56010493745745760231726254286}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 56064388856249982334140306535}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 56280811397980930940871724784}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 57160188814954055840530166281}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 60911279734324785196190855985}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 80897469368059637672158022025}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 5199064194758490644568117266506908}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 238001520434071572854109987903}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 237972408175080809152821632463}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 238030288946629785905047093100}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 238262048101935157573731970865}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 239192716414045066968458407175}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 242974418751408362336347860854}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 259108638587652768107307961124}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 86298617264263059684245841515}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 79253952957568897112638966385}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 79255160893141533722673028202}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 79259992930220140569042461604}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 79279325796294991771099342533}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 79356732818526463912242312406}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 79667574573852638721888798204}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 80930668398210439790641982015}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 86319707921829699162852406353}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 115057361291389776393497498085}, {"parameter": "", "name": "improved_johnson", "value": 73802247407306418416}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 302293140752365748259500}], "known_codes": [], "upper_bound": 73802247407306418416, "classified": false, "lower_bound": 73786976294838210561, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 73786976294838206464}, {"parameter": "", "name": "sphere_covering", "value": 47597722480}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 73786976294838206465}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 8, 9, 10, 11, 12, 13), (7, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 73786976294838210561}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 73786976294838206465}, {"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": "(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": "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": "8", "name": "improved_linkage", "value": 73786976294838206465}, {"parameter": "9", "name": "improved_linkage", "value": 1152921504606846977}, {"parameter": "10", "name": "improved_linkage", "value": 18014398509481985}, {"parameter": "11", "name": "improved_linkage", "value": 281474976710657}, {"parameter": "12", "name": "improved_linkage", "value": 4294967297}, {"parameter": "13", "name": "improved_linkage", "value": 65537}, {"parameter": "8,0", "name": "generalized_linkage", "value": 73786976294838206465}, {"parameter": "8,1", "name": "generalized_linkage", "value": 73786976294838206465}, {"parameter": "8,2", "name": "generalized_linkage", "value": 73786976294838206465}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1152921504606846977}, {"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,1", "name": "generalized_linkage", "value": 4294967297}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4294967297}, {"parameter": "13,2", "name": "generalized_linkage", "value": 65537}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838206465}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838206465}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838206465}, {"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": 1152921504606846977}, {"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, 1]", "name": "generalized_linkage_multipleblocks", "value": 4294967297}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4294967297}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 65537}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1125899973951492}], "request": [4, 19, 12, 8], "liftedmrdsizebound": 73786976294855065917, "comments": "", "equal_bound_constraints": []}