{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 246614610741341843}, {"parameter": "", "name": "singleton", "value": 955841412523283}, {"parameter": "6", "name": "ilp_2", "value": 482611762703213}, {"parameter": "8", "name": "ilp_3", "value": 967116120554281}, {"parameter": "", "name": "anticode", "value": 482611762703213}, {"parameter": "", "name": "linear_programming_bound", "value": 482611762703213}, {"parameter": "", "name": "sphere_packing", "value": 246614610741341843}, {"parameter": "1", "name": "ilp_1", "value": 482606231446225}, {"parameter": "2", "name": "ilp_1", "value": 482606231446373}, {"parameter": "3", "name": "ilp_1", "value": 482606231550261}, {"parameter": "4", "name": "ilp_1", "value": 482606231550261}, {"parameter": "5", "name": "ilp_1", "value": 482611762703213}, {"parameter": "9", "name": "ilp_4", "value": 959545739962858}, {"parameter": "10", "name": "ilp_4", "value": 959501338903671}, {"parameter": "11", "name": "ilp_4", "value": 959500693602493}, {"parameter": "12", "name": "ilp_4", "value": 959500692490145}, {"parameter": "13", "name": "ilp_4", "value": 959500692481725}, {"parameter": "14", "name": "ilp_4", "value": 959500692481725}, {"parameter": "", "name": "johnson_1", "value": 482606231446225}, {"parameter": "", "name": "johnson_2", "value": 959500692481725}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 246614610741341843}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 967116120554281}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 959545739962858}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 959501338903671}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 959500693602493}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 959500692490145}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 959500692481725}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 959500692481725}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 482611762703213}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 483550594620283}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 485439259197297}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 489261197596663}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 497088507057158}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 513519298981003}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 549870179675738}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 640557430496991}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 955841412523283}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 246614610741341843}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 482611762703213}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 482611762703213}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 482606231550261}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 482606231550261}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 482606231446373}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 482606231445193}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 967116120554281}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 970908674237578}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 978583722189162}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 994303694073112}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1027309086646118}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1100360899005129}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1282800435286338}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1919209135381395}, {"parameter": "", "name": "improved_johnson", "value": 482606231446221}], "known_codes": [], "upper_bound": 482606231445193, "classified": false, "lower_bound": 317532204796655, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 281474976710656}, {"parameter": "", "name": "sphere_covering", "value": 3807484997011}, {"parameter": "", "name": "graham_sloane", "value": 7526310334829}, {"parameter": "", "name": "multicomponent", "value": 281509338546305}, {"parameter": "q^48 + q^44 + q^42 + 8*q^40 + 2*q^38 + 9*q^36 + 4*q^35 + 5*q^34 + 12*q^33 + 28*q^32 + q^31 + 5*q^30 + 3*q^29 + 10*q^28 + 5*q^27 + 6*q^26 + 14*q^25 + 29*q^24 + 5*q^23 + 9*q^22 + 15*q^21 + 29*q^20 + 32*q^19 + 30*q^18 + 51*q^17 + 45*q^16 + 7*q^15 + 13*q^14 + 10*q^13 + 4*q^12 + 8*q^11 + 5*q^10 + 4*q^9 + 2*q^8 + q^7 + 2*q^6 + 3*q^5 + 4*q^4 + 5*q^3 + 4*q^2 + 2*q + 1", "name": "greedy_multicomponent", "value": 313890227593181}, {"parameter": "", "name": "EF_special", "value": 313923840120169}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 291783413384192}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 313939996903443}, {"parameter": "", "name": "two_pivot_block_construction", "value": 300239688826880}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 4975857984511}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 282052789232640}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 282052804961280}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 282052792378368}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 282052788249600}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 14706483250176}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 14706487378944}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 14706499961856}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 14706484233216}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 282052788184064}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 14706483184640}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 282052788184064}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 14706483184640}, {"parameter": "7", "name": "linkage_GLT", "value": 281474976710657}, {"parameter": "8", "name": "linkage_GLT", "value": 4398046511105}, {"parameter": "7", "name": "improved_linkage", "value": 281513549261301}, {"parameter": "8", "name": "improved_linkage", "value": 4398346281069}, {"parameter": "9", "name": "improved_linkage", "value": 5806798167233}, {"parameter": "10", "name": "improved_linkage", "value": 6407554358590}, {"parameter": "11", "name": "improved_linkage", "value": 4997599199401}, {"parameter": "12", "name": "improved_linkage", "value": 4911431106561}, {"parameter": "13", "name": "improved_linkage", "value": 4937286482561}, {"parameter": "7,0", "name": "generalized_linkage", "value": 282052788184064}, {"parameter": "7,1", "name": "generalized_linkage", "value": 281683311376832}, {"parameter": "7,2", "name": "generalized_linkage", "value": 281532772091376}, {"parameter": "7,3", "name": "generalized_linkage", "value": 281485571710942}, {"parameter": "7,4", "name": "generalized_linkage", "value": 281477075100411}, {"parameter": "7,5", "name": "generalized_linkage", "value": 281513549261301}, {"parameter": "8,0", "name": "generalized_linkage", "value": 14706483184640}, {"parameter": "8,1", "name": "generalized_linkage", "value": 4420201805504}, {"parameter": "8,2", "name": "generalized_linkage", "value": 4401713271656}, {"parameter": "8,3", "name": "generalized_linkage", "value": 4398516415924}, {"parameter": "8,4", "name": "generalized_linkage", "value": 4398082256719}, {"parameter": "8,5", "name": "generalized_linkage", "value": 4398346281069}, {"parameter": "9,1", "name": "generalized_linkage", "value": 5994305419968}, {"parameter": "9,2", "name": "generalized_linkage", "value": 5806979122536}, {"parameter": "9,3", "name": "generalized_linkage", "value": 5806809756774}, {"parameter": "9,4", "name": "generalized_linkage", "value": 5806796524162}, {"parameter": "9,5", "name": "generalized_linkage", "value": 5806798167233}, {"parameter": "10,2", "name": "generalized_linkage", "value": 6408307966056}, {"parameter": "10,3", "name": "generalized_linkage", "value": 6407554673430}, {"parameter": "10,4", "name": "generalized_linkage", "value": 6407554345367}, {"parameter": "10,5", "name": "generalized_linkage", "value": 6407554358590}, {"parameter": "11,3", "name": "generalized_linkage", "value": 4997599879318}, {"parameter": "11,4", "name": "generalized_linkage", "value": 4997599199359}, {"parameter": "11,5", "name": "generalized_linkage", "value": 4997599199401}, {"parameter": "12,4", "name": "generalized_linkage", "value": 4911431106687}, {"parameter": "12,5", "name": "generalized_linkage", "value": 4911431106561}, {"parameter": "13,5", "name": "generalized_linkage", "value": 4937286482561}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282052788184064}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 281683311376832}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 281532772091376}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 281485571710942}, {"parameter": "[7, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 281477075100411}, {"parameter": "[7, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 281513549261301}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14706483184640}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4420201805504}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4401713271656}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398516415924}, {"parameter": "[8, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398082256719}, {"parameter": "[8, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4398346281069}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5994305419968}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5806979122536}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5806809756774}, {"parameter": "[9, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5806796524162}, {"parameter": "[9, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5806798167233}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6408307966056}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6407554673430}, {"parameter": "[10, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6407554345367}, {"parameter": "[10, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6407554358590}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4997599879318}, {"parameter": "[11, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4997599199359}, {"parameter": "[11, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4997599199401}, {"parameter": "[12, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4911431106687}, {"parameter": "[12, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4911431106561}, {"parameter": "[13, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4937286482561}, {"parameter": "[7, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 5010217722880}, {"parameter": "[7, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 5010217722880}, {"parameter": "[7, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4977737032704}, {"parameter": "[7, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4977737032704}, {"parameter": "[7, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 4976126419968}, {"parameter": "[7, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 4976126419968}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4985181922304}, {"parameter": "[7, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4985181922304}, {"parameter": "[7, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4975872664576}, {"parameter": "[7, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4975872664576}, {"parameter": "[7, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 4976212403200}, {"parameter": "[7, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4976212403200}, {"parameter": "[7, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5015527842816}, {"parameter": "[7, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 5015527842816}, {"parameter": "[7, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4975930827776}, {"parameter": "[7, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4975930827776}, {"parameter": "[7, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4975877366784}, {"parameter": "[7, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4975877366784}, {"parameter": "[7, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4976249070592}, {"parameter": "[7, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4976249070592}, {"parameter": "[7, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 5133649921024}, {"parameter": "[7, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4976167905280}, {"parameter": "[7, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4975954160384}, {"parameter": "[7, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4975879372032}, {"parameter": "[7, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4976163013760}, {"parameter": "[8, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 10343064847360}, {"parameter": "[8, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 10342827869184}, {"parameter": "[8, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 10342798509056}, {"parameter": "[8, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10343118947328}, {"parameter": "[8, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 10342796657664}, {"parameter": "[8, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 10342799180800}, {"parameter": "[8, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10345573603328}, {"parameter": "[8, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10342798931712}, {"parameter": "[8, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 10342796736384}, {"parameter": "[8, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 10342799467264}, {"parameter": "", "name": "JohnsonLB", "value": 317532204796655}, {"parameter": "", "name": "JohnsonLB_special", "value": 317532204796655}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 78547054278112}], "request": [2, 15, 4, 7], "liftedmrdsizebound": 350497488482603, "comments": "", "equal_bound_constraints": []}