{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 40216143252770054194345243936096486}, {"parameter": "", "name": "singleton", "value": 103741619611085612124067759}, {"parameter": "6", "name": "ilp_2", "value": 61515400979950574096821222}, {"parameter": "7", "name": "ilp_2", "value": 1362150902749290549869436524051}, {"parameter": "9", "name": "ilp_3", "value": 4086591124151006421536962090854}, {"parameter": "10", "name": "ilp_3", "value": 553663612539087714610074798}, {"parameter": "", "name": "anticode", "value": 61515400979950574096821222}, {"parameter": "", "name": "linear_programming_bound", "value": 61515400979950574096821222}, {"parameter": "", "name": "sphere_packing", "value": 415303971742846239470786774}, {"parameter": "1", "name": "ilp_1", "value": 61515400979889193683644796}, {"parameter": "2", "name": "ilp_1", "value": 61515400979889193683655459}, {"parameter": "3", "name": "ilp_1", "value": 61515400979889195677318950}, {"parameter": "4", "name": "ilp_1", "value": 61515400979950574096821222}, {"parameter": "5", "name": "ilp_1", "value": 61515400979950574096821222}, {"parameter": "11", "name": "ilp_4", "value": 553313560465632046268501585}, {"parameter": "12", "name": "ilp_4", "value": 553313560465632046268501585}, {"parameter": "13", "name": "ilp_4", "value": 553313560461074468024322846}, {"parameter": "14", "name": "ilp_4", "value": 553313560461072548719117596}, {"parameter": "15", "name": "ilp_4", "value": 553313560461072548685319250}, {"parameter": "16", "name": "ilp_4", "value": 553313560461074244381914720}, {"parameter": "", "name": "johnson_1", "value": 61515400979889193683644796}, {"parameter": "", "name": "johnson_2", "value": 553313560461074244381914720}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 40216143252770054194345243936096486}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 4086591124151006421536962090854}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 553663612539087714610074798}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 553313560465632046268501585}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 553313560465632046268501585}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 553313560461074468024322846}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 553313560461072548719117596}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 553313560461072548685319250}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 553313560461074244381914720}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1362150902749290549869436524051}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 415303971742846239470786774}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 414966313379802878756650062}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 415092673045544891787968309}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 415472678354483475561314874}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 416616880802796308528564906}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 420087616456226998068896671}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 430855683604810342642190459}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 155709314359912158687125391}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 69186857259145159193289656}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 61515400979950574096821222}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 61518176629091709008472492}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 61526504797563218448791897}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 61551500297370149239557227}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 61626585880410948980190006}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 61852738017380805192130260}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 62539352291525356954250405}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 64675401586951835776354917}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 71853972286744562489877795}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 103741619611085612124067759}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 40216143252770054194345243936096486}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1362150902749290549869436524051}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 61515400979950574096821222}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 61515400979950574096821222}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 61515400979950574096821222}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 61515400979889195677318950}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 61515400979889193683655459}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 61515400979889193683546366}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 4086591124151006421536962090854}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 415303971742846239470786774}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 415430614546501284713207200}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 415810989630436956770147433}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 416956357576123818263776484}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 420430636416838141781087391}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 431209771630369593121125420}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 467139811619752677496017814}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 622829350204070191661705144}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 553663612539087714610074798}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 553738611833097413475106673}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 553963708794894448997768583}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 554639892607501909242713451}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 556676513175817832430888844}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 562859893280141853229452556}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 582096823745688924506193738}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 646751498424893701577293940}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 934054234760012359481199283}, {"parameter": "", "name": "improved_johnson", "value": 61515400979889193683644790}], "known_codes": [], "upper_bound": 61515400979889193683546366, "classified": false, "lower_bound": 58152691465848871152779264, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 58149737003040059690390169}, {"parameter": "", "name": "sphere_covering", "value": 68648053910208219099}, {"parameter": "", "name": "graham_sloane", "value": 4822894454041811324}, {"parameter": "", "name": "multicomponent", "value": 58149737004893079879248572}, {"parameter": "", "name": "ChenHeWengXu2019_special_Table3", "value": 58151863451946414791142287}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 58149927224274627513424746}, {"parameter": "", "name": "two_pivot_block_construction", "value": 58152691465848871152779264}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 79773403858211367304001}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 58149743963821402034615211}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 58149743963821402034615211}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 58149743963821429928890419}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 58149743963821492691009637}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 58149743963821398590877531}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 58149743963821398676970973}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 79956664311440462038101}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 79956664311440375944659}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 79956664311534476076765}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 79956664311471713957547}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 79956664311443819682339}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 79956664311443819682339}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 58149743963821398547830810}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 79956664311440332897938}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 58149743963821398547830810}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 79956664311440332897938}, {"parameter": "8", "name": "linkage_GLT", "value": 58149737003040059690390170}, {"parameter": "9", "name": "linkage_GLT", "value": 79766443076872509863362}, {"parameter": "8", "name": "improved_linkage", "value": 58149737004893178906982592}, {"parameter": "9", "name": "improved_linkage", "value": 79766443077154959293127}, {"parameter": "10", "name": "improved_linkage", "value": 12157665459100035781}, {"parameter": "11", "name": "improved_linkage", "value": 12609802385136784810}, {"parameter": "12", "name": "improved_linkage", "value": 12174684380495737381}, {"parameter": "13", "name": "improved_linkage", "value": 12158521799746097287}, {"parameter": "14", "name": "improved_linkage", "value": 12158315180062887304}, {"parameter": "8,0", "name": "generalized_linkage", "value": 58149743963821398547830810}, {"parameter": "8,1", "name": "generalized_linkage", "value": 58149737003079674246158650}, {"parameter": "8,2", "name": "generalized_linkage", "value": 58149737003041572120700974}, {"parameter": "8,3", "name": "generalized_linkage", "value": 58149737003040095038113769}, {"parameter": "8,4", "name": "generalized_linkage", "value": 58149737003040342139819935}, {"parameter": "8,5", "name": "generalized_linkage", "value": 58149737004893178906982592}, {"parameter": "9,0", "name": "generalized_linkage", "value": 79956664311440332897938}, {"parameter": "9,1", "name": "generalized_linkage", "value": 79766446324932717179202}, {"parameter": "9,2", "name": "generalized_linkage", "value": 79766443076878582921122}, {"parameter": "9,3", "name": "generalized_linkage", "value": 79766443076872515443461}, {"parameter": "9,4", "name": "generalized_linkage", "value": 79766443076872552970341}, {"parameter": "9,5", "name": "generalized_linkage", "value": 79766443077154959293127}, {"parameter": "10,1", "name": "generalized_linkage", "value": 12187016525533705938}, {"parameter": "10,2", "name": "generalized_linkage", "value": 12157665623681965602}, {"parameter": "10,3", "name": "generalized_linkage", "value": 12157665459056929621}, {"parameter": "10,4", "name": "generalized_linkage", "value": 12157665459056935606}, {"parameter": "10,5", "name": "generalized_linkage", "value": 12157665459100035781}, {"parameter": "11,2", "name": "generalized_linkage", "value": 12609802879062078966}, {"parameter": "11,3", "name": "generalized_linkage", "value": 12609802385136778825}, {"parameter": "11,4", "name": "generalized_linkage", "value": 12609802385136778006}, {"parameter": "11,5", "name": "generalized_linkage", "value": 12609802385136784810}, {"parameter": "12,3", "name": "generalized_linkage", "value": 12174684380495739838}, {"parameter": "12,4", "name": "generalized_linkage", "value": 12174684380495737381}, {"parameter": "12,5", "name": "generalized_linkage", "value": 12174684380495737381}, {"parameter": "13,4", "name": "generalized_linkage", "value": 12158521799746097287}, {"parameter": "13,5", "name": "generalized_linkage", "value": 12158521799746097287}, {"parameter": "14,5", "name": "generalized_linkage", "value": 12158315180062887304}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149743963821398547830810}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149737003079674246158650}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003041572120700974}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040095038113769}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040342139819935}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 58149737004893178906982592}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79956664311440332897938}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766446324932717179202}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076878582921122}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872515443461}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872552970341}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154959293127}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12187016525533705938}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157665623681965602}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056929621}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056935606}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 12157665459100035781}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 12609802879062078966}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12609802385136778825}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12609802385136778006}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 12609802385136784810}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12174684380495739838}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12174684380495737381}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 12174684380495737381}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12158521799746097287}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 12158521799746097287}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 12158315180062887304}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 19120299818103221283}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 19120299818103221283}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19118447080343905923}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19118447080343905923}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 19118447080343905923}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 19118447080343905923}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19118446833212680662}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 19118446833212680662}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19118446797957416163}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 19118446797957416163}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 19118446797957416163}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 19118446797957416163}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 19118448256114996803}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 19118446797919749462}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 19118446797914376003}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 19118446797959017047}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 190223087870441422899}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 190223087588054933139}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 190223087588054933139}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 190223087588017266438}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 190223087588011892979}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 190223087588011892979}, {"parameter": "", "name": "JohnsonLB", "value": 58151863451946414834186822}, {"parameter": "", "name": "JohnsonLB_special", "value": 58151863451946414834186822}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2153803541836820421643344}], "request": [3, 17, 6, 8], "liftedmrdsizebound": 58155188542426626464657281, "comments": "", "equal_bound_constraints": []}