{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 207592149047991945127896428337152713645086345}, {"parameter": "", "name": "singleton", "value": 98987603216356624971042374274625033865}, {"parameter": "6", "name": "ilp_2", "value": 86614199277767115453624156235708310081}, {"parameter": "8", "name": "ilp_3", "value": 86614199277767115453624156235708310081}, {"parameter": "", "name": "anticode", "value": 86614199277767115453624156235708310081}, {"parameter": "", "name": "linear_programming_bound", "value": 86614199277767115453624156235708310081}, {"parameter": "", "name": "sphere_packing", "value": 207592149047991945127896428337152713645086345}, {"parameter": "1", "name": "ilp_1", "value": 86613910171548753253901749774270665327}, {"parameter": "2", "name": "ilp_1", "value": 86613910171548753253901749774270927856}, {"parameter": "3", "name": "ilp_1", "value": 86613910171548753253901750324851213249}, {"parameter": "4", "name": "ilp_1", "value": 86613910171548753383191123749117694976}, {"parameter": "5", "name": "ilp_1", "value": 86613910171684455898022210871054700671}, {"parameter": "9", "name": "ilp_4", "value": 86613910171684455898022210871054700671}, {"parameter": "10", "name": "ilp_4", "value": 86613910171548753383191123749117694976}, {"parameter": "11", "name": "ilp_4", "value": 86613910171548753253901750324851213249}, {"parameter": "12", "name": "ilp_4", "value": 86613910171548753253901723385878614640}, {"parameter": "13", "name": "ilp_4", "value": 86613910171548753253901723385878352447}, {"parameter": "", "name": "johnson_1", "value": 86613910171548753253901749774270665327}, {"parameter": "", "name": "johnson_2", "value": 86613910171548753253901723385878352447}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 207592149047991945127896428337152713645086345}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 86613910171684455898022210871054700671}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 86613910171548753383191123749117694976}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 86613910171548753253901750324851213249}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 86613910171548753253901723385878614640}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 86613910171548753253901723385878352447}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 86614235415923786098519543304448629903}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 86614524522262768778892172281996757461}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 86616837442456267842221605555315885301}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 86635345251912859207561821262880739844}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 86783692949702632500151543911054742633}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 87989017931366566807931991517699004642}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 98987603216356624971042374274625033865}, {"parameter": "0, 7, o", "name": "Ahlswede_Aydinian", "value": 207592149047991945127896428337152713645086345}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 86613910171684455898022210871054700671}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 86613910171548753383191123749117694976}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 86613910171548753253901750324851213249}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 86613910171548753253901723385878614640}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 86613910171548753253901723385878352447}, {"parameter": "1, 6, o", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 86614235415923786098519543304448629903}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 86614524522262768778892172281996757461}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 86616837442456267842221605555315885301}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 86635345251912859207561821262880739844}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 86783692949702632500151543911054742633}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 87989017931366566807931991517699004642}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 98987603216356624971042374274625033865}, {"parameter": "", "name": "improved_johnson", "value": 86613910171548753253901749774270665327}], "known_codes": [], "upper_bound": 86613910171548753253901723385878352447, "classified": false, "lower_bound": 85094651534950708209240964848376872960, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 85070591730234615865843651857942052864}, {"parameter": "", "name": "sphere_covering", "value": 289106338986304039475286616524581}, {"parameter": "", "name": "graham_sloane", "value": 330406929455483355655981195403849}, {"parameter": "", "name": "multicomponent", "value": 85070591730253958678957490322783862785}, {"parameter": "", "name": "CossidentePavese14_theorem311", "value": 85094651534950708208090698517090281033}, {"parameter": "", "name": "XuChen2018", "value": 85094651534950708208088043343770025983}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 85094651534950708208088043343770025983}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 85094651534950708208088043343770025984}, {"parameter": "", "name": "two_pivot_block_construction", "value": 85091365989509096128560760104970878976}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 85094651534950708208088043343770025983}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 85094651534950708208088078528142114816}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 85094651534950708209240964848376872960}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 85094651534950708209240964848376872960}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 85094651534950708208088078528142114816}, {"parameter": "(7, 7)", "name": "CKMP2019_Lem_41", "value": 85094651534950708208088043343770025984}, {"parameter": "(7, 7)", "name": "CKMP2019_Cor_42", "value": 85094651534950708208088043343770025984}, {"parameter": "7", "name": "linkage_GLT", "value": 85070591730234615865843651857942052865}, {"parameter": "7", "name": "improved_linkage", "value": 85070591730253964066489964001846872426}, {"parameter": "8", "name": "improved_linkage", "value": 40564819207312566557570543161937}, {"parameter": "9", "name": "improved_linkage", "value": 41208567370544852429316567334985}, {"parameter": "10", "name": "improved_linkage", "value": 40654086290496991224845207372289}, {"parameter": "11", "name": "improved_linkage", "value": 40575100253168730532375292805121}, {"parameter": "12", "name": "improved_linkage", "value": 40576117681814805214280154087425}, {"parameter": "7,0", "name": "generalized_linkage", "value": 85094651534950708208088043343770025984}, {"parameter": "7,1", "name": "generalized_linkage", "value": 85070591730414215970006647000732008448}, {"parameter": "7,2", "name": "generalized_linkage", "value": 85070591730237466652948865005181051392}, {"parameter": "7,3", "name": "generalized_linkage", "value": 85070591730234659727032249371797927736}, {"parameter": "7,4", "name": "generalized_linkage", "value": 85070591730234616539320458208905115929}, {"parameter": "7,5", "name": "generalized_linkage", "value": 85070591730253964066489964001846872426}, {"parameter": "8,1", "name": "generalized_linkage", "value": 41301898029382103596623411806208}, {"parameter": "8,2", "name": "generalized_linkage", "value": 40564819207989799034855277863424}, {"parameter": "8,3", "name": "generalized_linkage", "value": 40564819207304700255139724675960}, {"parameter": "8,4", "name": "generalized_linkage", "value": 40564819207303343426413550151377}, {"parameter": "8,5", "name": "generalized_linkage", "value": 40564819207312566557570543161937}, {"parameter": "9,2", "name": "generalized_linkage", "value": 41208567722097086438373103903232}, {"parameter": "9,3", "name": "generalized_linkage", "value": 41208567370544852465756396768120}, {"parameter": "9,4", "name": "generalized_linkage", "value": 41208567370544852424918815024201}, {"parameter": "9,5", "name": "generalized_linkage", "value": 41208567370544852429316567334985}, {"parameter": "10,3", "name": "generalized_linkage", "value": 40654086290496993839167216700280}, {"parameter": "10,4", "name": "generalized_linkage", "value": 40654086290496991224845205279305}, {"parameter": "10,5", "name": "generalized_linkage", "value": 40654086290496991224845207372289}, {"parameter": "11,4", "name": "generalized_linkage", "value": 40575100253168730532375293104713}, {"parameter": "11,5", "name": "generalized_linkage", "value": 40575100253168730532375292805121}, {"parameter": "12,5", "name": "generalized_linkage", "value": 40576117681814805214280154087425}, {"parameter": "[7, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85094651534950708208088043343770025984}, {"parameter": "[7, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730414215970006647000732008448}, {"parameter": "[7, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237466652948865005181051392}, {"parameter": "[7, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234659727032249371797927736}, {"parameter": "[7, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234616539320458208905115929}, {"parameter": "[7, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 85070591730253964066489964001846872426}, {"parameter": "[8, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 41301898029382103596623411806208}, {"parameter": "[8, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207989799034855277863424}, {"parameter": "[8, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304700255139724675960}, {"parameter": "[8, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819207303343426413550151377}, {"parameter": "[8, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 40564819207312566557570543161937}, {"parameter": "[9, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 41208567722097086438373103903232}, {"parameter": "[9, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 41208567370544852465756396768120}, {"parameter": "[9, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 41208567370544852424918815024201}, {"parameter": "[9, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 41208567370544852429316567334985}, {"parameter": "[10, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40654086290496993839167216700280}, {"parameter": "[10, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 40654086290496991224845205279305}, {"parameter": "[10, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 40654086290496991224845207372289}, {"parameter": "[11, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 40575100253168730532375293104713}, {"parameter": "[11, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 40575100253168730532375292805121}, {"parameter": "[12, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 40576117681814805214280154087425}, {"parameter": "[7, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 24100369554642458699073447125843968}, {"parameter": "[7, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 24100369535300318891398070729179136}, {"parameter": "[7, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 24100369535299654808611417185320960}, {"parameter": "[7, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 24100369535343410464689923593076736}, {"parameter": "[7, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 24100369535299645585560437725855744}, {"parameter": "[7, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 24100369535299654954982803121373184}, {"parameter": "[7, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 24100369538105898529721540604329984}, {"parameter": "[7, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 24100369535299645606108101076844544}, {"parameter": "[7, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 24100369535299645585565532783902720}, {"parameter": "[7, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 24100369535299654828908401987158016}, {"parameter": "", "name": "JohnsonLB", "value": 10636830184976688487177184062860899843}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 10636825746945030978060240759884546288}], "request": [8, 14, 4, 7], "liftedmrdsizebound": 85095135181637504320947235938456080969, "comments": "", "equal_bound_constraints": []}