{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "", "name": "singleton", "value": 73007841108236063781239140920167306681}, {"parameter": "6", "name": "ilp_2", "value": 56070890107604095060049745510788472626}, {"parameter": "7", "name": "ilp_2", "value": 114076515623519420687495684165384286631372234}, {"parameter": "9", "name": "ilp_3", "value": 570382811746420718362942830655860436280649792}, {"parameter": "10", "name": "ilp_3", "value": 1401772941689552786458973634018742731722}, {"parameter": "", "name": "anticode", "value": 56070890107604095060049745510788472626}, {"parameter": "", "name": "linear_programming_bound", "value": 56070890107604095060049745510788472626}, {"parameter": "", "name": "sphere_packing", "value": 1168146988908061669748438592959972920323}, {"parameter": "1", "name": "ilp_1", "value": 56070890107604094955676060578635600640}, {"parameter": "2", "name": "ilp_1", "value": 56070890107604094955676060578637050263}, {"parameter": "3", "name": "ilp_1", "value": 56070890107604094955676095395853233898}, {"parameter": "4", "name": "ilp_1", "value": 56070890107604095060049745510788472626}, {"parameter": "5", "name": "ilp_1", "value": 56070890107604095060049745510788472626}, {"parameter": "11", "name": "ilp_4", "value": 1401729534724176959121983870329795019149}, {"parameter": "12", "name": "ilp_4", "value": 1401729534724176959121983870329795019149}, {"parameter": "13", "name": "ilp_4", "value": 1401729534724176854772131727934328772510}, {"parameter": "14", "name": "ilp_4", "value": 1401729534724176854771423510968009574968}, {"parameter": "15", "name": "ilp_4", "value": 1401729534724176854771423510833562128524}, {"parameter": "16", "name": "ilp_4", "value": 1401729534724176854772079172332611519149}, {"parameter": "", "name": "johnson_1", "value": 56070890107604094955676060578635600640}, {"parameter": "", "name": "johnson_2", "value": 1401729534724176854772079172332611519149}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 570382811746420718362942830655860436280649792}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1401772941689552786458973634018742731722}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1401729534724176959121983870329795019149}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1401729534724176959121983870329795019149}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1401729534724176854772131727934328772510}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1401729534724176854771423510968009574968}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1401729534724176854771423510833562128524}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1401729534724176854772079172332611519149}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 114076515623519420687495684165384286631372234}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1168146988908061669748438592959972920323}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1168089571975778827491456434825422738882}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1168101532508671129189681161655065286510}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1168161342522495400883001430557033580194}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1168460484488357609127314646919609598819}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1169958495386112743069446749927916060159}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1177506536794928933206986899305253305363}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 243363229170703954108587861005769983660}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 58406906859355266032686252828265133444}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 56070890107604095060049745510788472626}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 56070917666171021828437688876747425103}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 56071055459355563997158352867919479565}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 56071744434026094796481212492313135318}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 56075189526088221854572524490055745426}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 56092420455883013675570011718444596011}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 56178712060727027848011049228965765875}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 56613621547912426750746392134535297031}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 58878044853660465810877035665952762853}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 73007841108236063781239140920167306681}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 114076515623519420687495684165384286631372234}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 56070890107604095060049745510788472626}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 56070890107604095060049745510788472626}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 56070890107604095060049745510788472626}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 56070890107604094955676095395853233898}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 56070890107604094955676060578637050263}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 56070890107604094955676060578618022470}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 570382811746420718362942830655860436280649792}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1168146988908061669748438592959972920323}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1168158950861842965184226309028590651893}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1168218764276290122408039392224549363149}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1168517923398184722543764400502525333536}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1170016020226951837567771268279182104181}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1177564495096048913344216683294888607102}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1216816561194671371395162724458719001951}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1460179250423845294346479579855111676444}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 1401772941689552786458973634018742731722}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 1401776386660276459613469199755597264406}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1401793611732609397578028656837877804597}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1401879742562487793753608609049012024573}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1402310533460911603184882111989959878107}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1404467912148721510035884776362596219629}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1415341099729110535489375460838836049410}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1471954135942467518698537242231686922397}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1825218456001772231793929085435472462931}, {"parameter": "", "name": "improved_johnson", "value": 56070890107604094955676060578635600630}], "known_codes": [], "upper_bound": 56070890107604094955676060578618022470, "classified": false, "lower_bound": 55511179652981815112516702902801137664, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 55511151231257827021181583404541015625}, {"parameter": "", "name": "sphere_covering", "value": 176386998446563949678823010269}, {"parameter": "", "name": "graham_sloane", "value": 1913886147163707032060209897}, {"parameter": "", "name": "multicomponent", "value": 55511151231257850304245948791504296876}, {"parameter": "", "name": "ChenHeWengXu2019_special_Table3", "value": 55511160040730079834424837423236913732}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 55511151529562633873939584622423656250}, {"parameter": "", "name": "two_pivot_block_construction", "value": 55511179652981815112516702902801137664}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 3552716061446350478564136876781249}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 55511151233640472870730887287511546875}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 55511151233640472870730887287511546875}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 55511151233640472870733176105870921875}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 55511151233640472870742712849034984375}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 55511151233640472870730792072667796875}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 55511151233640472870730792683019359375}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3553011983607353687357602159984375}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 3553011983607353687356991808421875}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3553011983607353699277768175609375}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 3553011983607353689741025011546875}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3553011983607353687452206652171875}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 3553011983607353687452206652171875}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 55511151233640472870730791920079906250}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 3553011983607353687356839220531250}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 55511151233640472870730791920079906250}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 3553011983607353687356839220531250}, {"parameter": "8", "name": "linkage_GLT", "value": 55511151231257827021181583404541015626}, {"parameter": "9", "name": "linkage_GLT", "value": 3552713678800500929355621337890626}, {"parameter": "8", "name": "improved_linkage", "value": 55511151231257850304257974463391093912}, {"parameter": "9", "name": "improved_linkage", "value": 3552713678800500988960303012503775}, {"parameter": "10", "name": "improved_linkage", "value": 9094947017729282531748067181}, {"parameter": "11", "name": "improved_linkage", "value": 9167729876935482025146878126}, {"parameter": "12", "name": "improved_linkage", "value": 9095530304670333862304687501}, {"parameter": "13", "name": "improved_linkage", "value": 9094952648103813171386718751}, {"parameter": "14", "name": "improved_linkage", "value": 9094951715257363311830859376}, {"parameter": "8,0", "name": "generalized_linkage", "value": 55511151233640472870730791920079906250}, {"parameter": "8,1", "name": "generalized_linkage", "value": 55511151231257827070040351898234798250}, {"parameter": "8,2", "name": "generalized_linkage", "value": 55511151231257827021575111296933988320}, {"parameter": "8,3", "name": "generalized_linkage", "value": 55511151231257827021184067084324641081}, {"parameter": "8,4", "name": "generalized_linkage", "value": 55511151231257827021241188086215628775}, {"parameter": "8,5", "name": "generalized_linkage", "value": 55511151231257850304257974463391093912}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3553011983607353687356839220531250}, {"parameter": "9,1", "name": "generalized_linkage", "value": 3552713678831086455748623668173250}, {"parameter": "9,2", "name": "generalized_linkage", "value": 3552713678800500929480749115609570}, {"parameter": "9,3", "name": "generalized_linkage", "value": 3552713678800500929355627746581901}, {"parameter": "9,4", "name": "generalized_linkage", "value": 3552713678800500929355773935567181}, {"parameter": "9,5", "name": "generalized_linkage", "value": 3552713678800500988960303012503775}, {"parameter": "10,1", "name": "generalized_linkage", "value": 9095711899965633723386923250}, {"parameter": "10,2", "name": "generalized_linkage", "value": 9094947017744928318024809570}, {"parameter": "10,3", "name": "generalized_linkage", "value": 9094947017729282379150406901}, {"parameter": "10,4", "name": "generalized_linkage", "value": 9094947017729282379150784376}, {"parameter": "10,5", "name": "generalized_linkage", "value": 9094947017729282531748067181}, {"parameter": "11,2", "name": "generalized_linkage", "value": 9167729877013711879733403320}, {"parameter": "11,3", "name": "generalized_linkage", "value": 9167729876935482025146500651}, {"parameter": "11,4", "name": "generalized_linkage", "value": 9167729876935482025146484376}, {"parameter": "11,5", "name": "generalized_linkage", "value": 9167729876935482025146878126}, {"parameter": "12,3", "name": "generalized_linkage", "value": 9095530304670333862304768876}, {"parameter": "12,4", "name": "generalized_linkage", "value": 9095530304670333862304687501}, {"parameter": "12,5", "name": "generalized_linkage", "value": 9095530304670333862304687501}, {"parameter": "13,4", "name": "generalized_linkage", "value": 9094952648103813171386718751}, {"parameter": "13,5", "name": "generalized_linkage", "value": 9094952648103813171386718751}, {"parameter": "14,5", "name": "generalized_linkage", "value": 9094951715257363311830859376}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 55511151233640472870730791920079906250}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827070040351898234798250}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827021575111296933988320}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827021184067084324641081}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827021241188086215628775}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257850304257974463391093912}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353687356839220531250}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552713678831086455748623668173250}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713678800500929480749115609570}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713678800500929355627746581901}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552713678800500929355773935567181}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552713678800500988960303012503775}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9095711899965633723386923250}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9094947017744928318024809570}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282379150406901}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282379150784376}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282531748067181}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9167729877013711879733403320}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9167729876935482025146500651}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 9167729876935482025146484376}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 9167729876935482025146878126}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9095530304670333862304768876}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 9095530304670333862304687501}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 9095530304670333862304687501}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 9094952648103813171386718751}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 9094952648103813171386718751}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 9094951715257363311830859376}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 11477616150342856281652171875}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 11477616150342856281652171875}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11477592867338095539464671875}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11477592867338095539464671875}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 11477592867338095539464671875}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 11477592867338095539464671875}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11477592867280974415197093750}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11477592867280974415197093750}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11477592867278491047277171875}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 11477592867278491047277171875}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 11477592867278491047277171875}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 11477592867278491047277171875}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 11477592867668894558339671875}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11477592867278490901047093750}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 11477592867278490894689671875}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 11477592867278491048498265625}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 298304830135881971249620921875}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 298304830135822366757433421875}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 298304830135822366757433421875}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 298304830135822366611203343750}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 298304830135822366604845921875}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 298304830135822366604845921875}, {"parameter": "", "name": "JohnsonLB", "value": 55511160040730079834424837575824726233}, {"parameter": "", "name": "JohnsonLB_special", "value": 55511160040730079834424837575824726233}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 444089437238442716465833471506022500}], "request": [5, 17, 6, 8], "liftedmrdsizebound": 55511188906729249291114640503866693431, "comments": "", "equal_bound_constraints": []}