{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 15581613321613605658849684840700396072369158}, {"parameter": "", "name": "singleton", "value": 1279025522911365763892449}, {"parameter": "5", "name": "ilp_2", "value": 722331636178349220572324}, {"parameter": "6", "name": "ilp_2", "value": 43186113765358582685279626462}, {"parameter": "7", "name": "ilp_2", "value": 2648175818100539471690784023888667}, {"parameter": "8", "name": "ilp_2", "value": 175918319596418837104418782706924187646}, {"parameter": "10", "name": "ilp_3", "value": 527760917274542936554995422053258233043}, {"parameter": "11", "name": "ilp_3", "value": 23833941145700966956295729942680421}, {"parameter": "12", "name": "ilp_3", "value": 1166044087363061005689614967841}, {"parameter": "13", "name": "ilp_3", "value": 58509841166994421738625696}, {"parameter": "", "name": "anticode", "value": 722331636178349220572324}, {"parameter": "", "name": "linear_programming_bound", "value": 722331636178349220572324}, {"parameter": "", "name": "sphere_packing", "value": 328185866788297691732865283}, {"parameter": "1", "name": "ilp_1", "value": 722331634588980915707452}, {"parameter": "2", "name": "ilp_1", "value": 722331634588980915762976}, {"parameter": "3", "name": "ilp_1", "value": 722331634588996662129324}, {"parameter": "4", "name": "ilp_1", "value": 722331636178349220572324}, {"parameter": "14", "name": "ilp_4", "value": 58399328634796291287828880}, {"parameter": "15", "name": "ilp_4", "value": 58399328103744886632312795}, {"parameter": "16", "name": "ilp_4", "value": 58399328103710197527544207}, {"parameter": "17", "name": "ilp_4", "value": 58399328103710195765960936}, {"parameter": "18", "name": "ilp_4", "value": 58399328103710197315747868}, {"parameter": "", "name": "johnson_1", "value": 722331634588980915707452}, {"parameter": "", "name": "johnson_2", "value": 58399328103710197315747868}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 15581613321613605658849684840700396072369158}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 527760917274542936554995422053258233043}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 23833941145700966956295729942680421}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1166044087363061005689614967841}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 58509841166994421738625696}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 58399328634796291287828880}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 58399328103744886632312795}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 58399328103710197527544207}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 58399328103710195765960936}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 58399328103710197315747868}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 17876263139554263142195361491476654}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 2422011730247599576700746215571}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 355518634124001532703114759}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 355627045984792129137863114}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 355952640325858059227502726}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 356933126049407927164586566}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 359907262740428050308710042}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 369134680285417878628540972}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 14808601117643069626925326}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 731248856398935661579736}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 2648175818100539471690784023888667}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 807382826433411991819465009622}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 328185866788297691732865283}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 327930152869970872985925617}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 328063168855913389016872929}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 328463611982433292691512158}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 329669720211838675549172542}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 333331583272749064344044969}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 38308319460020951561321165}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 4732034029500433127775922}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 759309352356246643116991}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 43186113765358582685279626462}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 39512184269088350327829551}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 39514115676294174294814575}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 39519910769314675776234521}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 39537303894572013227624520}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 39589553982589826602630231}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 39746943272640853150019997}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 13391959693072162110707045}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 4632928720921505175790557}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 1729766539764217565664179}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 722331636178349220572324}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 722343684918365804637303}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 722379832961264347695759}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 722488293498087261244697}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 722813822848912657549325}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 723791742381780179230344}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 726737533569659011633472}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 735684547165971483475073}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 763550102146174302257290}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 857513549405876666383439}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 1279025522911365763892449}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 15581613321613605658849684840700396072369158}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 2648175818100539471690784023888667}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 43186113765358582685279626462}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 722331636178349220572324}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 722331636178349220572324}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 722331634588996662129324}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 722331634588980915762976}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 722331634588980915353140}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 527760917274542936554995422053258233043}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 17876263139554263142195361491476654}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 807382826433411991819465009622}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 39512184269088350327829551}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 39544347827934822497273504}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 39653281273443333717445776}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 39983713951922944526107275}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 41008901326579202629782835}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 44426179554259866442101160}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 59234153723835403368445628}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 23833941145700966956295729942680421}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 2422011730247599576700746215571}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 328185866788297691732865283}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 328111723951081747284624935}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 328512307989228886434228039}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 329718841532633513357153851}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 333382006258099031984490265}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 344778468961035366213468059}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 383082696224923324818269274}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 61515400979889193683644796}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 1166044087363061005689614967841}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 355518634124001532703114759}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 355245621751603528338212942}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 355401932350258016494913897}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 355871897029169916294590627}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 357287543390355982591569303}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 361586894361854903360308583}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 374974714588561865648728181}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 140145502661249937720159733}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 69186857259145159193289656}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 58509841166994421738625696}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 58512774538819478721614388}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 58521575988769962544080782}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 58547992354379095593813305}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 58627349741184882696390922}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 58866400528208609751754058}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 59592470335625828103637454}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 61854015384928736279789705}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 69482163945855862801288718}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 103741619611085612124067759}, {"parameter": "", "name": "improved_johnson", "value": 722331634588980915707443}], "known_codes": [], "upper_bound": 722331634588980915353140, "classified": false, "lower_bound": 717897987692700029157376, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 717897987691852588770249}, {"parameter": "", "name": "sphere_covering", "value": 117072572948832}, {"parameter": "", "name": "graham_sloane", "value": 17077609}, {"parameter": "", "name": "multicomponent", "value": 717897987691852588789933}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 717897987691852588781739}, {"parameter": "", "name": "two_pivot_block_construction", "value": 717897987692700029157376}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 717897987691852588770250}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 2954312706550833698644}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 717897987691852588770250}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 2954312706550833698644}, {"parameter": "9", "name": "linkage_GLT", "value": 717897987691852588770250}, {"parameter": "10", "name": "linkage_GLT", "value": 2954312706550833698644}, {"parameter": "9", "name": "improved_linkage", "value": 717897987691852588789933}, {"parameter": "10", "name": "improved_linkage", "value": 2954312706550833698644}, {"parameter": "11", "name": "improved_linkage", "value": 150094635296999122}, {"parameter": "12", "name": "improved_linkage", "value": 7625597484988}, {"parameter": "13", "name": "improved_linkage", "value": 387420490}, {"parameter": "14", "name": "improved_linkage", "value": 387440173}, {"parameter": "9,0", "name": "generalized_linkage", "value": 717897987691852588829326}, {"parameter": "9,1", "name": "generalized_linkage", "value": 717897987691852588771006}, {"parameter": "9,2", "name": "generalized_linkage", "value": 717897987691852588770250}, {"parameter": "9,3", "name": "generalized_linkage", "value": 717897987691852588770250}, {"parameter": "9,4", "name": "generalized_linkage", "value": 717897987691852588789933}, {"parameter": "10,0", "name": "generalized_linkage", "value": 2954312706550834230838}, {"parameter": "10,1", "name": "generalized_linkage", "value": 2954312706550833699400}, {"parameter": "10,2", "name": "generalized_linkage", "value": 2954312706550833698644}, {"parameter": "10,3", "name": "generalized_linkage", "value": 2954312706550833698644}, {"parameter": "10,4", "name": "generalized_linkage", "value": 2954312706550833698644}, {"parameter": "11,1", "name": "generalized_linkage", "value": 150094635297001390}, {"parameter": "11,2", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "11,3", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "11,4", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "12,2", "name": "generalized_linkage", "value": 7625597484988}, {"parameter": "12,3", "name": "generalized_linkage", "value": 7625597484988}, {"parameter": "12,4", "name": "generalized_linkage", "value": 7625597484988}, {"parameter": "13,3", "name": "generalized_linkage", "value": 387420490}, {"parameter": "13,4", "name": "generalized_linkage", "value": 387420490}, {"parameter": "14,4", "name": "generalized_linkage", "value": 387440173}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 717897987691852588829326}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987691852588771006}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987691852588770250}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 717897987691852588770250}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 717897987691852588789933}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2954312706550834230838}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2954312706550833699400}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2954312706550833698644}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2954312706550833698644}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2954312706550833698644}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635297001390}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7625597484988}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7625597484988}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7625597484988}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 387440173}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 387499249}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2954312706550962838809}], "request": [3, 19, 10, 9], "liftedmrdsizebound": 717897987693359060938177, "comments": "", "equal_bound_constraints": []}