{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 791614563787525746761491781638123230424}, {"parameter": "", "name": "singleton", "value": 40216143252770054194345243936096486}, {"parameter": "8", "name": "ilp_2", "value": 26812578369717035183629988539429726}, {"parameter": "10", "name": "ilp_3", "value": 26812578369717035183629988539429726}, {"parameter": "", "name": "anticode", "value": 26812578369717035183629988539429726}, {"parameter": "", "name": "linear_programming_bound", "value": 26812578369717035183629988539429726}, {"parameter": "", "name": "sphere_packing", "value": 791614563787525746761491781638123230424}, {"parameter": "1", "name": "ilp_1", "value": 26809853914123033861796852085483344}, {"parameter": "2", "name": "ilp_1", "value": 26809853914123033861796852085493282}, {"parameter": "3", "name": "ilp_1", "value": 26809853914123033861796852281192801}, {"parameter": "4", "name": "ilp_1", "value": 26809853914123033861797397326639608}, {"parameter": "5", "name": "ilp_1", "value": 26809853914123034152653814424328568}, {"parameter": "6", "name": "ilp_1", "value": 26809853914123034152653814424328568}, {"parameter": "7", "name": "ilp_1", "value": 26809853914123034152653814424328568}, {"parameter": "11", "name": "ilp_4", "value": 26809853914123034152653814424328568}, {"parameter": "12", "name": "ilp_4", "value": 26809853914123034152653814424328568}, {"parameter": "13", "name": "ilp_4", "value": 26809853914123034152653814424328568}, {"parameter": "14", "name": "ilp_4", "value": 26809853914123033861797397326639608}, {"parameter": "15", "name": "ilp_4", "value": 26809853914123033861743437827405726}, {"parameter": "16", "name": "ilp_4", "value": 26809853914123033861743437641632993}, {"parameter": "17", "name": "ilp_4", "value": 26809853914123033861743437641623560}, {"parameter": "", "name": "johnson_1", "value": 26809853914123033861796852085483344}, {"parameter": "", "name": "johnson_2", "value": 26809853914123033861743437641623560}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 791614563787525746761491781638123230424}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 26812578369717035183629988539429726}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 26809853914123034152653814424328568}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 26809853914123034152653814424328568}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 26809853914123034152653814424328568}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 26809853914123033861797397326639608}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 26809853914123033861743437827405726}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 26809853914123033861743437641632993}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 26809853914123033861743437641623560}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 26812578369717035183629988539429726}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 26813486470306365619657726717880533}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 26816211141183421789743346940360481}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 26824388477259403711543762946610837}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 26848950436051463527933304877109794}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 26922906940004961081237763469230454}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 27147241415032507270425534824721628}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 27843251076305206897112658249263798}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 30163256759270412308825195151222819}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 40216143252770054194345243936096486}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 791614563787525746761491781638123230424}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 26812578369717035183629988539429726}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 26809853914123034152653814424328568}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 26809853914123034152653814424328568}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 26809853914123034152653814424328568}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 26809853914123033861797397326639608}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 26809853914123033861743437827405726}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 26809853914123033861743437641632993}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 26809853914123033861743437641623560}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 26812578369717035183629988539429726}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 26813486470306365619657726717880533}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 26816211141183421789743346940360481}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 26824388477259403711543762946610837}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 26848950436051463527933304877109794}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 26922906940004961081237763469230454}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 27147241415032507270425534824721628}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 27843251076305206897112658249263798}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 30163256759270412308825195151222819}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 40216143252770054194345243936096486}, {"parameter": "", "name": "improved_johnson", "value": 26809853914123033861796852085483344}], "known_codes": [], "upper_bound": 26809853914123033861743437641623560, "classified": false, "lower_bound": 22973916815652041702935563292591869, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 22528399544939174411840147874772641}, {"parameter": "", "name": "sphere_covering", "value": 2724670914572336715746136237972}, {"parameter": "", "name": "graham_sloane", "value": 4086591124151006421536962090855}, {"parameter": "", "name": "multicomponent", "value": 22528399603088911564974843249582421}, {"parameter": "", "name": "CossidentePavese14_theorem311", "value": 22973916815652041656416821800663690}, {"parameter": "", "name": "XuChen2018", "value": 22973916815652041652904018193592161}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 22973916815652041652904018193592161}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 22973916815652041652904018193592162}, {"parameter": "", "name": "two_pivot_block_construction", "value": 22810004532709068082958655972966400}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 22973916815652041652904018193592161}, {"parameter": "(9,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 22973916815652041652904028653945365}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 22973916815652041653109909325686811}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 22973916815652041702935563292591869}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 22973916815652041702935563292591869}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 22973916815652041653109909325686811}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 22973916815652041652904028653945365}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 22973916815652041652904018193592162}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 22973916815652041652904018193592162}, {"parameter": "9", "name": "linkage_GLT", "value": 22528399544939174411840147874772642}, {"parameter": "9", "name": "improved_linkage", "value": 22528399604226819488140659999003064}, {"parameter": "10", "name": "improved_linkage", "value": 1144561276441584704819550194703}, {"parameter": "11", "name": "improved_linkage", "value": 1287493326984462315986411534718}, {"parameter": "12", "name": "improved_linkage", "value": 1217310169140015543860917396699}, {"parameter": "13", "name": "improved_linkage", "value": 1169764677658297163630825361715}, {"parameter": "14", "name": "improved_linkage", "value": 1161793188262011674149857749584}, {"parameter": "15", "name": "improved_linkage", "value": 1166425156327861162572731576965}, {"parameter": "16", "name": "improved_linkage", "value": 1166958718036822980141227415910}, {"parameter": "9,0", "name": "generalized_linkage", "value": 22973916815652041652904018193592162}, {"parameter": "9,1", "name": "generalized_linkage", "value": 22528402147774382783725042029341334}, {"parameter": "9,2", "name": "generalized_linkage", "value": 22528399873606241944787096429395998}, {"parameter": "9,3", "name": "generalized_linkage", "value": 22528399579471861199743200356515149}, {"parameter": "9,4", "name": "generalized_linkage", "value": 22528399548590381340174982776065784}, {"parameter": "9,5", "name": "generalized_linkage", "value": 22528399545328997625919317797544270}, {"parameter": "9,6", "name": "generalized_linkage", "value": 22528399544978314125569284681250229}, {"parameter": "9,7", "name": "generalized_linkage", "value": 22528399604226819488140659999003064}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3112994276981016837385287554388}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1144565017555383609013036266840}, {"parameter": "10,3", "name": "generalized_linkage", "value": 1144561429426936532443456982922}, {"parameter": "10,4", "name": "generalized_linkage", "value": 1144561278835779401399282297343}, {"parameter": "10,5", "name": "generalized_linkage", "value": 1144561273616441758897796663310}, {"parameter": "10,6", "name": "generalized_linkage", "value": 1144561273436931670145261811987}, {"parameter": "10,7", "name": "generalized_linkage", "value": 1144561276441584704819550194703}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1288414380078380833433791891830}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1287493327562027521595406104322}, {"parameter": "11,4", "name": "generalized_linkage", "value": 1287493326992245910127727480218}, {"parameter": "11,5", "name": "generalized_linkage", "value": 1287493326984399259409104209225}, {"parameter": "11,6", "name": "generalized_linkage", "value": 1287493326984310904620151871412}, {"parameter": "11,7", "name": "generalized_linkage", "value": 1287493326984462315986411534718}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1217310216125591376436988397609}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1217310169140025252089638529357}, {"parameter": "12,5", "name": "generalized_linkage", "value": 1217310169140015579411305968023}, {"parameter": "12,6", "name": "generalized_linkage", "value": 1217310169140015536217387583924}, {"parameter": "12,7", "name": "generalized_linkage", "value": 1217310169140015543860917396699}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1169764677658559842913473663464}, {"parameter": "13,5", "name": "generalized_linkage", "value": 1169764677658297163648053505904}, {"parameter": "13,6", "name": "generalized_linkage", "value": 1169764677658297163630437516696}, {"parameter": "13,7", "name": "generalized_linkage", "value": 1169764677658297163630825361715}, {"parameter": "14,5", "name": "generalized_linkage", "value": 1161793188262011674308683988284}, {"parameter": "14,6", "name": "generalized_linkage", "value": 1161793188262011674149857730723}, {"parameter": "14,7", "name": "generalized_linkage", "value": 1161793188262011674149857749584}, {"parameter": "15,6", "name": "generalized_linkage", "value": 1166425156327861162572731586805}, {"parameter": "15,7", "name": "generalized_linkage", "value": 1166425156327861162572731576965}, {"parameter": "16,7", "name": "generalized_linkage", "value": 1166958718036822980141227415910}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22973916815652041652904018193592162}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528402147774382783725042029341334}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399873606241944787096429395998}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528399579471861199743200356515149}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528399548590381340174982776065784}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528399545328997625919317797544270}, {"parameter": "[9, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528399544978314125569284681250229}, {"parameter": "[9, 9],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 22528399604226819488140659999003064}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3112994276981016837385287554388}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144565017555383609013036266840}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144561429426936532443456982922}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561278835779401399282297343}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144561273616441758897796663310}, {"parameter": "[10, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1144561273436931670145261811987}, {"parameter": "[10, 8],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 1144561276441584704819550194703}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1288414380078380833433791891830}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287493327562027521595406104322}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1287493326992245910127727480218}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1287493326984399259409104209225}, {"parameter": "[11, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1287493326984310904620151871412}, {"parameter": "[11, 7],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 1287493326984462315986411534718}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217310216125591376436988397609}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1217310169140025252089638529357}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1217310169140015579411305968023}, {"parameter": "[12, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1217310169140015536217387583924}, {"parameter": "[12, 6],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 1217310169140015543860917396699}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1169764677658559842913473663464}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1169764677658297163648053505904}, {"parameter": "[13, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1169764677658297163630437516696}, {"parameter": "[13, 5],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 1169764677658297163630825361715}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1161793188262011674308683988284}, {"parameter": "[14, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1161793188262011674149857730723}, {"parameter": "[14, 4],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 1161793188262011674149857749584}, {"parameter": "[15, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1166425156327861162572731586805}, {"parameter": "[15, 3],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 1166425156327861162572731576965}, {"parameter": "[16, 2],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 1166958718036822980141227415910}, {"parameter": "[9, 2, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 446661890136035081598815958906117}, {"parameter": "[9, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 446661832024704143743917106598307}, {"parameter": "[9, 3, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 446661831989252391265307102214591}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 446661832370339368202411336452929}, {"parameter": "[9, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 446661831986300029789015129504521}, {"parameter": "[9, 4, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 446661831989621323878867126054009}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 446661835558837180885080739299015}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 446661831986317589877642802838355}, {"parameter": "[9, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 446661831986300273457357164779119}, {"parameter": "[9, 5, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 446661831989440168881036604949232}, {"parameter": "[9, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 446661864455242285993877421868989}, {"parameter": "[9, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 446661831986479582348947109570197}, {"parameter": "[9, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 446661831986320026438219092091237}, {"parameter": "[9, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 446661831986300153810201152140072}, {"parameter": "[9, 6, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 446661831989317445656964378938395}, {"parameter": "[9, 7, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 446662124166140463771474230697039}, {"parameter": "[9, 7, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 446661831987947671822356081611175}, {"parameter": "[9, 7, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 446661831986502248422019765532771}, {"parameter": "[9, 7, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 446661831986318830026978425780064}, {"parameter": "[9, 7, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 446661831986300072755386696064365}, {"parameter": "[9, 7, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 446661831989296869849482277780135}, {"parameter": "", "name": "JohnsonLB", "value": 7621910000064572078205748606288382}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7622044638754570649315685907198554}], "request": [3, 18, 4, 9], "liftedmrdsizebound": 23076495232051686732297947460981165, "comments": "", "equal_bound_constraints": []}