{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 543959438081999965602054955428186322207689611643379103556}, {"parameter": "", "name": "singleton", "value": 142595264882979563844964491038787206333791056}, {"parameter": "7", "name": "ilp_2", "value": 109513513312304355768254719250504246386128876}, {"parameter": "8", "name": "ilp_2", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "10", "name": "ilp_3", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "11", "name": "ilp_3", "value": 109513513312304355768254719250504246386128876}, {"parameter": "", "name": "anticode", "value": 109513513312304355768254719250504246386128876}, {"parameter": "", "name": "linear_programming_bound", "value": 109513513312304355768254719250504246386128876}, {"parameter": "", "name": "sphere_packing", "value": 456306716654592415162236481493472554967237135}, {"parameter": "1", "name": "ilp_1", "value": 109513513312304355564399761493708236135600640}, {"parameter": "2", "name": "ilp_1", "value": 109513513312304355564399761493708236137050244}, {"parameter": "3", "name": "ilp_1", "value": 109513513312304355564399761493711067431988438}, {"parameter": "4", "name": "ilp_1", "value": 109513513312304355564399829496121243310296202}, {"parameter": "5", "name": "ilp_1", "value": 109513513312304355768254719250504246386128876}, {"parameter": "6", "name": "ilp_1", "value": 109513513312304355768254719250504246386128876}, {"parameter": "12", "name": "ilp_4", "value": 109513513312304355768254719250504246386128876}, {"parameter": "13", "name": "ilp_4", "value": 109513513312304355768254719250504246386128876}, {"parameter": "14", "name": "ilp_4", "value": 109513513312304355564399829496121243310296202}, {"parameter": "15", "name": "ilp_4", "value": 109513513312304355564399761493711067431988438}, {"parameter": "16", "name": "ilp_4", "value": 109513513312304355564399761493673903756190644}, {"parameter": "17", "name": "ilp_4", "value": 109513513312304355564399761493673903754741220}, {"parameter": "", "name": "johnson_1", "value": 109513513312304355564399761493708236135600640}, {"parameter": "", "name": "johnson_2", "value": 109513513312304355564399761493673903754741220}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 543959438081999965602054955428186322207689611643379103556}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 109513513312304355564399829496121243310296202}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 109513513312304355564399761493711067431988438}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 109513513312304355564399761493673903756190644}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 109513513312304355564399761493673903754741220}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 456306716654592415162236481493472554967237135}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 456307651171226591580612790625261464142284940}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 456312323800331315985853414699477645946503339}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 456335688438795857506131218343416676239831928}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 456452547530617563968203134897611030163749167}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 457037741903973101290396184743210698865289867}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 459986366409404149450083600936169555202218313}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 475319212579565402942755817705810635336121160}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 114076281994810639003766237715730214219920544}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 109513567139862777499677618588552334701263890}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 109513836278338360810341758657142843793487583}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 109515181987803362064513135277878568452019885}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 109521910962332782866764186627330077328302847}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 109555566518503468295829576828465029310226030}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 109724111814782207944467184753592511295457245}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 110573580029419725121143140877738805885875054}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 114996475748067798579736114947338750374718687}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 142595264882979563844964491038787206333791056}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 543959438081999965602054955428186322207689611643379103556}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355564399829496121243310296202}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355564399761493711067431988438}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355564399761493673903756190644}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355564399761493673903754741220}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 456306716654592415162236481493472554967237135}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 456307651171226591580612790625261464142284940}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 456312323800331315985853414699477645946503339}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 456335688438795857506131218343416676239831928}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 456452547530617563968203134897611030163749167}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 457037741903973101290396184743210698865289867}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 459986366409404149450083600936169555202218313}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 475319212579565402942755817705810635336121160}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 114076281994810639003766237715730214219920544}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 109513567139862777499677618588552334701263890}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 109513836278338360810341758657142843793487583}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 109515181987803362064513135277878568452019885}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 109521910962332782866764186627330077328302847}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 109555566518503468295829576828465029310226030}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 109724111814782207944467184753592511295457245}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 110573580029419725121143140877738805885875054}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 114996475748067798579736114947338750374718687}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 142595264882979563844964491038787206333791056}, {"parameter": "", "name": "improved_johnson", "value": 109513513312304355564399761493708236135600640}], "known_codes": [], "upper_bound": 109513513312304355564399761493673903754741220, "classified": false, "lower_bound": 108420289965710977906690845315120244248046875, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 108420217248550443400745280086994171142578125}, {"parameter": "", "name": "sphere_covering", "value": 13780071979090448952922540335873003}, {"parameter": "", "name": "graham_sloane", "value": 149522431802453712794535285399450}, {"parameter": "", "name": "multicomponent", "value": 108420217248550443415297195315361022951171876}, {"parameter": "", "name": "XuChen2018", "value": 108420289965710977906690845017097020371093749}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 108420289965710977906690845017097020371093749}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 108420289965710977906690845017097020371093750}, {"parameter": "", "name": "two_pivot_block_construction", "value": 108420272759730091167517038871790054665093120}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 108420289965710977906690845017097020371093749}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 108420289965710977906690845017100835068359375}, {"parameter": "(9,),(6,),(4,)", "name": "CKMP2019_Cor_45", "value": 108420289965710977906690845017100835068359375}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 108420289965710977906690845315120244248046875}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 108420289965710977906690845315120244248046875}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 108420289965710977906690845315120244248046875}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 108420289965710977906690845315120244248046875}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 108420289965710977906690845017100835068359375}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 108420289965710977906690845017100835068359375}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 108420289965710977906690845017097020371093750}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 108420289965710977906690845017097020371093750}, {"parameter": "9", "name": "linkage_GLT", "value": 108420217248550443400745280086994171142578126}, {"parameter": "9", "name": "improved_linkage", "value": 108420217248550443415297202825551261825566445}, {"parameter": "10", "name": "improved_linkage", "value": 55511151231257827028632168613867742025}, {"parameter": "11", "name": "improved_linkage", "value": 28421709430404007438659913066251}, {"parameter": "12", "name": "improved_linkage", "value": 28650916647166013717651369156376}, {"parameter": "13", "name": "improved_linkage", "value": 28423535549089312553405761718751}, {"parameter": "14", "name": "improved_linkage", "value": 28421727025324731445312500000001}, {"parameter": "15", "name": "improved_linkage", "value": 28421724098744317740211562500001}, {"parameter": "9,0", "name": "generalized_linkage", "value": 108420289965710977906690845017097020371093750}, {"parameter": "9,1", "name": "generalized_linkage", "value": 108420217248550741705552132844995389025218750}, {"parameter": "9,2", "name": "generalized_linkage", "value": 108420217248550443400746501944102433500423250}, {"parameter": "9,3", "name": "generalized_linkage", "value": 108420217248550443400745289925816288071293945}, {"parameter": "9,4", "name": "generalized_linkage", "value": 108420217248550443400745280164460390768214681}, {"parameter": "9,5", "name": "generalized_linkage", "value": 108420217248550443400745287537579380469304525}, {"parameter": "9,6", "name": "generalized_linkage", "value": 108420217248550443415297202825551261825566445}, {"parameter": "10,1", "name": "generalized_linkage", "value": 55512084925299604290357017911220531250}, {"parameter": "10,2", "name": "generalized_linkage", "value": 55511151231258591903417934748777548250}, {"parameter": "10,3", "name": "generalized_linkage", "value": 55511151231257827021182209044710922070}, {"parameter": "10,4", "name": "generalized_linkage", "value": 55511151231257827021181583564760269001}, {"parameter": "10,5", "name": "generalized_linkage", "value": 55511151231257827021181587219483378751}, {"parameter": "10,6", "name": "generalized_linkage", "value": 55511151231257827028632168613867742025}, {"parameter": "11,2", "name": "generalized_linkage", "value": 28422187634543171831186295985750}, {"parameter": "11,3", "name": "generalized_linkage", "value": 28421709430404085664699557622070}, {"parameter": "11,4", "name": "generalized_linkage", "value": 28421709430404007434844970784501}, {"parameter": "11,5", "name": "generalized_linkage", "value": 28421709430404007434844972672001}, {"parameter": "11,6", "name": "generalized_linkage", "value": 28421709430404007438659913066251}, {"parameter": "12,3", "name": "generalized_linkage", "value": 28650916647175793070346593856445}, {"parameter": "12,4", "name": "generalized_linkage", "value": 28650916647166013717651367268876}, {"parameter": "12,5", "name": "generalized_linkage", "value": 28650916647166013717651367187501}, {"parameter": "12,6", "name": "generalized_linkage", "value": 28650916647166013717651369156376}, {"parameter": "13,4", "name": "generalized_linkage", "value": 28423535549089312553405761800126}, {"parameter": "13,5", "name": "generalized_linkage", "value": 28423535549089312553405761718751}, {"parameter": "13,6", "name": "generalized_linkage", "value": 28423535549089312553405761718751}, {"parameter": "14,5", "name": "generalized_linkage", "value": 28421727025324731445312500000001}, {"parameter": "14,6", "name": "generalized_linkage", "value": 28421727025324731445312500000001}, {"parameter": "15,6", "name": "generalized_linkage", "value": 28421724098744317740211562500001}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 108420289965710977906690845017097020371093750}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 108420217248550741705552132844995389025218750}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420217248550443400746501944102433500423250}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217248550443400745289925816288071293945}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217248550443400745280164460390768214681}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217248550443400745287537579380469304525}, {"parameter": "[9, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 108420217248550443415297202825551261825566445}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 55512084925299604290357017911220531250}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151231258591903417934748777548250}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827021182209044710922070}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827021181583564760269001}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827021181587219483378751}, {"parameter": "[10, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827028632168613867742025}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 28422187634543171831186295985750}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404085664699557622070}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007434844970784501}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007434844972672001}, {"parameter": "[11, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007438659913066251}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 28650916647175793070346593856445}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 28650916647166013717651367268876}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 28650916647166013717651367187501}, {"parameter": "[12, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 28650916647166013717651369156376}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 28423535549089312553405761800126}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 28423535549089312553405761718751}, {"parameter": "[13, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 28423535549089312553405761718751}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 28421727025324731445312500000001}, {"parameter": "[14, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 28421727025324731445312500000001}, {"parameter": "[15, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 28421724098744317740211562500001}, {"parameter": "[9, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 72717188956229927884165904546005859375}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 72717188956215375976388118291123046875}, {"parameter": "[9, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 72717188956215375976388118291123046875}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 72717188956215375969014998936875000000}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 72717188956215375968937541508896484375}, {"parameter": "[9, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 72717188956215375968937541508896484375}, {"parameter": "[9, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 72717188956215375978697649274169921875}, {"parameter": "[9, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 72717188956215375968937537733859375000}, {"parameter": "[9, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 72717188956215375968937537694201171875}, {"parameter": "[9, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 72717188956215375968937541539660156250}, {"parameter": "", "name": "JohnsonLB", "value": 4336810466299994196462185663870461519850760}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4336810910389203399112673697795547206778880}], "request": [5, 18, 6, 9], "liftedmrdsizebound": 108420290838127622489747708534713011851238375, "comments": "", "equal_bound_constraints": []}