{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 32388362598469313692303194069198582021263845}, {"parameter": "", "name": "singleton", "value": 471276749188750005563056686387685}, {"parameter": "6", "name": "ilp_2", "value": 331392142102236382239567595414849}, {"parameter": "7", "name": "ilp_2", "value": 92663937053055757649104338943419160349}, {"parameter": "9", "name": "ilp_3", "value": 370656808670870254315047825833975143581}, {"parameter": "10", "name": "ilp_3", "value": 5302293236118593152350301492510909}, {"parameter": "", "name": "anticode", "value": 331392142102236382239567595414849}, {"parameter": "", "name": "linear_programming_bound", "value": 331392142102236382239567595414849}, {"parameter": "", "name": "sphere_packing", "value": 4241895269195759101371415131815598}, {"parameter": "1", "name": "ilp_1", "value": 331392142102236183752954970777864}, {"parameter": "2", "name": "ilp_1", "value": 331392142102236183752954970952838}, {"parameter": "3", "name": "ilp_1", "value": 331392142102236183753445559722814}, {"parameter": "4", "name": "ilp_1", "value": 331392142102236382239567595414849}, {"parameter": "5", "name": "ilp_1", "value": 331392142102236382239567595414849}, {"parameter": "11", "name": "ilp_4", "value": 5301716776641137642226814529961807}, {"parameter": "12", "name": "ilp_4", "value": 5301716776641137642226814529961807}, {"parameter": "13", "name": "ilp_4", "value": 5301716776641048030157263565303136}, {"parameter": "14", "name": "ilp_4", "value": 5301716776641048027831042248179645}, {"parameter": "15", "name": "ilp_4", "value": 5301716776641048027831041121918799}, {"parameter": "16", "name": "ilp_4", "value": 5301716776641048030083021326884687}, {"parameter": "", "name": "johnson_1", "value": 331392142102236183752954970777864}, {"parameter": "", "name": "johnson_2", "value": 5301716776641048030083021326884687}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 32388362598469313692303194069198582021263845}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 370656808670870254315047825833975143581}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 5302293236118593152350301492510909}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 5301716776641137642226814529961807}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5301716776641137642226814529961807}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 5301716776641048030157263565303136}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 5301716776641048027831042248179645}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 5301716776641048027831041121918799}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 5301716776641048030083021326884687}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 92663937053055757649104338943419160349}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 4241895269195759101371415131815598}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 4241167086279912498751790548370045}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 4241361190016990427310093675864789}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 4242137960521812242496416933444280}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 4245247889831387764569067973568253}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 4257733339222455212155244437633572}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 4308418283737476762538656802274859}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1131151358876927482107643791474809}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 353475428315378956127082269899675}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 331392142102236382239567595414849}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 331393327040389656095321747652598}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 331398066864181778648522775562827}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 331417027298283931068326043262709}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 331492887262062816650814414316734}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 331796619039007248535120267402446}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 333016235137102305576391733381349}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 337970909310326458755805772852543}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 359089916215349690811925058442050}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 471276749188750005563056686387685}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 32388362598469313692303194069198582021263845}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 92663937053055757649104338943419160349}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 331392142102236382239567595414849}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 331392142102236382239567595414849}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 331392142102236382239567595414849}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 331392142102236183753445559722814}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 331392142102236183752954970952838}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 331392142102236183752954968942828}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 370656808670870254315047825833975143581}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 4241895269195759101371415131815598}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 4242089457381146110482231600376284}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 4242866385170281413856302959634193}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 4245976955391655571228806405478956}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 4258464979431330523064923987236649}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 4309160401712478558181560496213804}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 4524615791697324730581270531287979}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 5655752479648008142526419715368555}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 5302293236118593152350301492510909}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 5302369083716859642604753879078786}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 5302672492338228895822480983602898}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 5303886418547498141149836964993019}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 5308746795509815977376761840361172}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 5328263349354527802199706781202290}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 5407549284441635222872156733696035}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 5745504415598607651204295445099702}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 7540859480106603961931048583270885}, {"parameter": "", "name": "improved_johnson", "value": 331392142102236183752954970777856}], "known_codes": [], "upper_bound": 331392142102236183752954968942828, "classified": false, "lower_bound": 324519791603188378646300564914176, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 324518553658426726783156020576256}, {"parameter": "", "name": "sphere_covering", "value": 13889792232567518705267778}, {"parameter": "", "name": "graham_sloane", "value": 329208122761431379457868}, {"parameter": "", "name": "multicomponent", "value": 324518553658445173527229730193409}, {"parameter": "", "name": "ChenHeWengXu2019_special_Table3", "value": 324519094951964764830545503899935}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 324518581560009493663033857830912}, {"parameter": "", "name": "two_pivot_block_construction", "value": 324519791603188378646300564914176}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 79228596795209597286010744831}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 324518554092707672043947998998528}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 324518554092707672043947998998528}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 324518554092707672060440673415168}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 324518554092707672113217231548416}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 324518554092707672042852782338048}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 324518554092707672042865667239936}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 79256064097031217488561074176}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 79256064097031217475676172288}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 79256064097031287840125382656}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 79256064097031235063567249408}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 79256064097031218570892832768}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 79256064097031218570892832768}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 324518554092707672042848487370752}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 79256064097031217471381204992}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 324518554092707672042848487370752}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 79256064097031217471381204992}, {"parameter": "8", "name": "linkage_GLT", "value": 324518553658426726783156020576257}, {"parameter": "9", "name": "linkage_GLT", "value": 79228162514264337593543950337}, {"parameter": "8", "name": "improved_linkage", "value": 324518553658445173598894784069722}, {"parameter": "9", "name": "improved_linkage", "value": 79228162514264619069883417872}, {"parameter": "10", "name": "improved_linkage", "value": 1208925819614633470727845}, {"parameter": "11", "name": "improved_linkage", "value": 1227833732290181465179137}, {"parameter": "12", "name": "improved_linkage", "value": 1209222599230248519204865}, {"parameter": "13", "name": "improved_linkage", "value": 1208931672610861173702657}, {"parameter": "14", "name": "improved_linkage", "value": 1208930516255604307787777}, {"parameter": "8,0", "name": "generalized_linkage", "value": 324518554092707672042848487370752}, {"parameter": "8,1", "name": "generalized_linkage", "value": 324518553658426830625090150839872}, {"parameter": "8,2", "name": "generalized_linkage", "value": 324518553658426728426807741886492}, {"parameter": "8,3", "name": "generalized_linkage", "value": 324518553658426726801925339248117}, {"parameter": "8,4", "name": "generalized_linkage", "value": 324518553658426727064632360043792}, {"parameter": "8,5", "name": "generalized_linkage", "value": 324518553658445173598894784069722}, {"parameter": "9,0", "name": "generalized_linkage", "value": 79256064097031217471381204992}, {"parameter": "9,1", "name": "generalized_linkage", "value": 79228162540951408566014330432}, {"parameter": "9,2", "name": "generalized_linkage", "value": 79228162514264339180055403292}, {"parameter": "9,3", "name": "generalized_linkage", "value": 79228162514264337593834755345}, {"parameter": "9,4", "name": "generalized_linkage", "value": 79228162514264337597839972005}, {"parameter": "9,5", "name": "generalized_linkage", "value": 79228162514264619069883417872}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1209353227417199211202112}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1208925819716263610746652}, {"parameter": "10,3", "name": "generalized_linkage", "value": 1208925819614629174710545}, {"parameter": "10,4", "name": "generalized_linkage", "value": 1208925819614629174772737}, {"parameter": "10,5", "name": "generalized_linkage", "value": 1208925819614633470727845}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1227833732696723861800732}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1227833732290181465116945}, {"parameter": "11,4", "name": "generalized_linkage", "value": 1227833732290181465112577}, {"parameter": "11,5", "name": "generalized_linkage", "value": 1227833732290181465179137}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1209222599230248519222337}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1209222599230248519204865}, {"parameter": "12,5", "name": "generalized_linkage", "value": 1209222599230248519204865}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1208931672610861173702657}, {"parameter": "13,5", "name": "generalized_linkage", "value": 1208931672610861173702657}, {"parameter": "14,5", "name": "generalized_linkage", "value": 1208930516255604307787777}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518554092707672042848487370752}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426830625090150839872}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426728426807741886492}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726801925339248117}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426727064632360043792}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 324518553658445173598894784069722}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031217471381204992}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228162540951408566014330432}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264339180055403292}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264337593834755345}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264337597839972005}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264619069883417872}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1209353227417199211202112}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925819716263610746652}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614629174710545}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614629174772737}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614633470727845}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1227833732696723861800732}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1227833732290181465116945}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1227833732290181465112577}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1227833732290181465179137}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209222599230248519222337}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1209222599230248519204865}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1209222599230248519204865}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1208931672610861173702657}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1208931672610861173702657}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1208930516255604307787777}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1643225211618395351052288}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1643225211618395351052288}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1643206765155796618211328}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1643206765155796618211328}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1643206765155796618211328}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1643206765155796618211328}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1643206764893086353616896}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1643206764893086353616896}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1643206764874325936467968}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1643206764874325936467968}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1643206764874325936467968}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1643206764874325936467968}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1643206766492662099243008}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1643206764874321927827456}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1643206764874321641566208}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1643206764874326003642368}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 27901601213905426523516928}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 27901601213623955841773568}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 27901601213623955841773568}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 27901601213623951833133056}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 27901601213623951546871808}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 27901601213623951546871808}, {"parameter": "", "name": "JohnsonLB", "value": 324519094951964764830549798850848}, {"parameter": "", "name": "JohnsonLB_special", "value": 324519094951964764830549798850848}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5070621748554859999658890942720}], "request": [4, 17, 6, 8], "liftedmrdsizebound": 324520378797902261637869192432805, "comments": "", "equal_bound_constraints": []}