{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1825218456001772231793929085435472462931}, {"parameter": "", "name": "singleton", "value": 4672499438759279108929231093087931}, {"parameter": "6", "name": "ilp_2", "value": 3738049311772877158427071881632651}, {"parameter": "8", "name": "ilp_3", "value": 18690284836587329317132885695046617}, {"parameter": "", "name": "anticode", "value": 3738049311772877158427071881632651}, {"parameter": "", "name": "linear_programming_bound", "value": 3738049311772877158427071881632651}, {"parameter": "", "name": "sphere_packing", "value": 1825218456001772231793929085435472462931}, {"parameter": "1", "name": "ilp_1", "value": 3738049311678806055783484918707694}, {"parameter": "2", "name": "ilp_1", "value": 3738049311678806055783484919020918}, {"parameter": "3", "name": "ilp_1", "value": 3738049311678806055784217631617526}, {"parameter": "4", "name": "ilp_1", "value": 3738049311678806055784217631617526}, {"parameter": "5", "name": "ilp_1", "value": 3738049311772877158427071881632651}, {"parameter": "9", "name": "ilp_4", "value": 18689327893513741192194728522962558}, {"parameter": "10", "name": "ilp_4", "value": 18689327881754823499830677584808412}, {"parameter": "11", "name": "ilp_4", "value": 18689327881754523685277689934722654}, {"parameter": "12", "name": "ilp_4", "value": 18689327881754523683751201451897754}, {"parameter": "13", "name": "ilp_4", "value": 18689327881754523683751200229925779}, {"parameter": "14", "name": "ilp_4", "value": 18689327881754523685181825231341404}, {"parameter": "", "name": "johnson_1", "value": 3738049311678806055783484918707694}, {"parameter": "", "name": "johnson_2", "value": 18689327881754523685181825231341404}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1825218456001772231793929085435472462931}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 18690284836587329317132885695046617}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 18689327893513741192194728522962558}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 18689327881754823499830677584808412}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 18689327881754523685277689934722654}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 18689327881754523683751201451897754}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 18689327881754523683751200229925779}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 18689327881754523685181825231341404}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 3738049311772877158427071881632651}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 3738056966925496160569698414368773}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 3738095243158905686588039560787558}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 3738286636084562692061330311916749}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 3739243894771423517839052824299395}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3744037551356466666379602974382110}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3768191385604298084404858978637280}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 3893791066049506522213134660908397}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 4672499438759279108929231093087931}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 1825218456001772231793929085435472462931}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 3738049311772877158427071881632651}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 3738049311772877158427071881632651}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 3738049311678806055784217631617526}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 3738049311678806055784217631617526}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 3738049311678806055783484919020918}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 3738049311678806055783484913629504}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 18690284836587329317132885695046617}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 18690476225593991759592159559346525}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 18691433229425167785583994835228858}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 18696219718994407690056858538852246}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 18720188985613507520103089823535937}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 18840963151710081479689792279898495}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 19468988557760821654711619613194646}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 23362736428829868448189697999416056}, {"parameter": "", "name": "improved_johnson", "value": 3738049311678806055783484918707679}], "known_codes": [], "upper_bound": 3738049311678806055783484913629504, "classified": false, "lower_bound": 3560034435177013864540601075983121, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 3552713678800500929355621337890625}, {"parameter": "", "name": "sphere_covering", "value": 191390966510956743667487502656}, {"parameter": "", "name": "graham_sloane", "value": 239235033472903543542533976401}, {"parameter": "", "name": "multicomponent", "value": 3552713681710883975505828857500001}, {"parameter": "", "name": "EF_special", "value": 3558699030750375431966367668488876}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 3553009142935023901857085800781250}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 3558699030838267109468908231148586}, {"parameter": "", "name": "two_pivot_block_construction", "value": 3558407130208797497483608960532480}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 227842759466890194419785156249}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3552714147884524587585929794921875}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3552714147884524647095207138671875}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3552714147884524589874748154296875}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3552714147884524587490714951171875}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 522837809966204561095810546875}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 522837809966206945129013671875}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 522837809966264165587998046875}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 522837809966204656310654296875}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 3552714147884524587490562363281250}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 522837809966204560943222656250}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 3552714147884524587490562363281250}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 522837809966204560943222656250}, {"parameter": "7", "name": "linkage_GLT", "value": 3552713678800500929355621337890626}, {"parameter": "8", "name": "linkage_GLT", "value": 227373675443232059478759765626}, {"parameter": "7", "name": "improved_linkage", "value": 3552713681716850921251920774534211}, {"parameter": "8", "name": "improved_linkage", "value": 227373675480558950331697225953}, {"parameter": "9", "name": "improved_linkage", "value": 236835330724716664208059175786}, {"parameter": "10", "name": "improved_linkage", "value": 229568105414509773260556953156}, {"parameter": "11", "name": "improved_linkage", "value": 227777777517216682434082112626}, {"parameter": "12", "name": "improved_linkage", "value": 227825261553573366259765625001}, {"parameter": "13", "name": "improved_linkage", "value": 227839843116898393487780156251}, {"parameter": "7,0", "name": "generalized_linkage", "value": 3552714147884524587490562363281250}, {"parameter": "7,1", "name": "generalized_linkage", "value": 3552713698491089204730922801390625}, {"parameter": "7,2", "name": "generalized_linkage", "value": 3552713679563965823815659367473875}, {"parameter": "7,3", "name": "generalized_linkage", "value": 3552713678830579748340648038570395}, {"parameter": "7,4", "name": "generalized_linkage", "value": 3552713678801658062972062399160793}, {"parameter": "7,5", "name": "generalized_linkage", "value": 3552713681716850921251920774534211}, {"parameter": "8,0", "name": "generalized_linkage", "value": 522837809966204560943222656250}, {"parameter": "8,1", "name": "generalized_linkage", "value": 227373827884547835362672093750}, {"parameter": "8,2", "name": "generalized_linkage", "value": 227373676713513845951999857625}, {"parameter": "8,3", "name": "generalized_linkage", "value": 227373675453008038977598276795}, {"parameter": "8,4", "name": "generalized_linkage", "value": 227373675443306578279741188241}, {"parameter": "8,5", "name": "generalized_linkage", "value": 227373675480558950331697225953}, {"parameter": "9,1", "name": "generalized_linkage", "value": 236854416181640156929263890625}, {"parameter": "9,2", "name": "generalized_linkage", "value": 236835330726670538264143607625}, {"parameter": "9,3", "name": "generalized_linkage", "value": 236835330724719418832146000320}, {"parameter": "9,4", "name": "generalized_linkage", "value": 236835330724716191336289008586}, {"parameter": "9,5", "name": "generalized_linkage", "value": 236835330724716664208059175786}, {"parameter": "10,2", "name": "generalized_linkage", "value": 229568105463384062559185013875}, {"parameter": "10,3", "name": "generalized_linkage", "value": 229568105414509774247716269695}, {"parameter": "10,4", "name": "generalized_linkage", "value": 229568105414509773254712385906}, {"parameter": "10,5", "name": "generalized_linkage", "value": 229568105414509773260556953156}, {"parameter": "11,3", "name": "generalized_linkage", "value": 227777777517216687400741582195}, {"parameter": "11,4", "name": "generalized_linkage", "value": 227777777517216682434082050781}, {"parameter": "11,5", "name": "generalized_linkage", "value": 227777777517216682434082112626}, {"parameter": "12,4", "name": "generalized_linkage", "value": 227825261553573366259765644531}, {"parameter": "12,5", "name": "generalized_linkage", "value": 227825261553573366259765625001}, {"parameter": "13,5", "name": "generalized_linkage", "value": 227839843116898393487780156251}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3552714147884524587490562363281250}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552713698491089204730922801390625}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713679563965823815659367473875}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713678830579748340648038570395}, {"parameter": "[7, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552713678801658062972062399160793}, {"parameter": "[7, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552713681716850921251920774534211}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 522837809966204560943222656250}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 227373827884547835362672093750}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373676713513845951999857625}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675453008038977598276795}, {"parameter": "[8, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675443306578279741188241}, {"parameter": "[8, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 227373675480558950331697225953}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 236854416181640156929263890625}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 236835330726670538264143607625}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 236835330724719418832146000320}, {"parameter": "[9, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 236835330724716191336289008586}, {"parameter": "[9, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 236835330724716664208059175786}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 229568105463384062559185013875}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 229568105414509774247716269695}, {"parameter": "[10, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 229568105414509773254712385906}, {"parameter": "[10, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 229568105414509773260556953156}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 227777777517216687400741582195}, {"parameter": "[11, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227777777517216682434082050781}, {"parameter": "[11, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 227777777517216682434082112626}, {"parameter": "[12, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227825261553573366259765644531}, {"parameter": "[12, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 227825261553573366259765625001}, {"parameter": "[13, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 227839843116898393487780156251}, {"parameter": "[7, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 227845669849935867790146484375}, {"parameter": "[7, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 227845669849935867790146484375}, {"parameter": "[7, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227842760621730186942978515625}, {"parameter": "[7, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227842760621730186942978515625}, {"parameter": "[7, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 227842759504143097404404296875}, {"parameter": "[7, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 227842759504143097404404296875}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227842789492346146110458984375}, {"parameter": "[7, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227842789492346146110458984375}, {"parameter": "[7, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227842759466904976371689453125}, {"parameter": "[7, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227842759466904976371689453125}, {"parameter": "[7, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 227842759505693295005722656250}, {"parameter": "[7, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 227842759505693295005722656250}, {"parameter": "[7, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227843515633862134269638671875}, {"parameter": "[7, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 227843515633862134269638671875}, {"parameter": "[7, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227842759467274520255966796875}, {"parameter": "[7, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 227842759467274520255966796875}, {"parameter": "[7, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227842759466905591490097656250}, {"parameter": "[7, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 227842759466905591490097656250}, {"parameter": "[7, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 227842759504502632810898437500}, {"parameter": "[7, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 227842759504502632810898437500}, {"parameter": "[7, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 227861663409195219186630859375}, {"parameter": "[7, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 227842759476569131660615234375}, {"parameter": "[7, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 227842759467290513130122656250}, {"parameter": "[7, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 227842759466905119035338750000}, {"parameter": "[7, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 227842759504209305488205937500}, {"parameter": "[8, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 295467044943271077819443359375}, {"parameter": "[8, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 295467044906092561431503906250}, {"parameter": "[8, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 295467044906018651671982421875}, {"parameter": "[8, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 295467044915700706237412109375}, {"parameter": "[8, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 295467044906018175786972656250}, {"parameter": "[8, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 295467044906018671514511718750}, {"parameter": "[8, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 295467046125551754369599609375}, {"parameter": "[8, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 295467044906018298771226171875}, {"parameter": "[8, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 295467044906018175826594218750}, {"parameter": "[8, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 295467044906018656274035625000}, {"parameter": "", "name": "JohnsonLB", "value": 3560034435177013864540601075983121}, {"parameter": "", "name": "JohnsonLB_special", "value": 3560034435177013864540601075983121}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 142347981751845792045826022761280}], "request": [5, 15, 4, 7], "liftedmrdsizebound": 3560485021159624222886882673745931, "comments": "", "equal_bound_constraints": []}