{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4165817792093527797314451}, {"parameter": "", "name": "singleton", "value": 4052305562169692070035}, {"parameter": "7", "name": "ilp_2", "value": 2035084412356388762733}, {"parameter": "9", "name": "ilp_3", "value": 8152285307423733458541}, {"parameter": "", "name": "anticode", "value": 2035084412356388762733}, {"parameter": "", "name": "linear_programming_bound", "value": 2035084412356388762733}, {"parameter": "", "name": "sphere_packing", "value": 4165817792093527797314451}, {"parameter": "1", "name": "ilp_1", "value": 2035084412356388762733}, {"parameter": "2", "name": "ilp_1", "value": 2035084412356388762733}, {"parameter": "3", "name": "ilp_1", "value": 2035084412356388762733}, {"parameter": "4", "name": "ilp_1", "value": 2035084412356388762733}, {"parameter": "5", "name": "ilp_1", "value": 2035084412356388762733}, {"parameter": "6", "name": "ilp_1", "value": 2035084412356388762733}, {"parameter": "10", "name": "ilp_4", "value": 8152285307423733458541}, {"parameter": "11", "name": "ilp_4", "value": 8152191875103122092694}, {"parameter": "12", "name": "ilp_4", "value": 8152191875103122092694}, {"parameter": "13", "name": "ilp_4", "value": 8152191873348244401206}, {"parameter": "14", "name": "ilp_4", "value": 8152191873328320867627}, {"parameter": "15", "name": "ilp_4", "value": 8152191873328311823084}, {"parameter": "16", "name": "ilp_4", "value": 8152191873345744382933}, {"parameter": "17", "name": "ilp_4", "value": 4064200835201645955485}, {"parameter": "", "name": "johnson_1", "value": 2035084412356388762733}, {"parameter": "", "name": "johnson_2", "value": 4064200835201645955485}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 4165817792093527797314451}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 8152285307423733458541}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 8152285307423733458541}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 8152191875103122092694}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 8152191875103122092694}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 8152191873348244401206}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 8152191873328320867627}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 8152191873328311823084}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 8152191873345744382933}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 4064200835201645955485}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2036075174723851157617}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 2038059596341392433402}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 2042040066711615930418}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2050047835159646042968}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2066253274066980843271}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2099445113736725519069}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2169134103253138153124}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2323378578970177243343}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 2708587236789853893422}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 4052305562169692070035}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 4165817792093527797314451}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 8152285307423733458541}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 8168254524480391114679}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 8200381385933607992219}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 8265399276010385855388}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 8398577914898770723149}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 8678239198225264649414}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 9297422374018371603219}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 10844977723659921102844}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 16256896431763117598611}, {"parameter": "", "name": "improved_johnson", "value": 2035084412356388762733}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 4068177548347635824326}], "known_codes": [], "upper_bound": 2035084412356388762733, "classified": false, "lower_bound": 1316667538397101428149, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1180591620717411303424}, {"parameter": "", "name": "sphere_covering", "value": 7984608528328828070}, {"parameter": "", "name": "graham_sloane", "value": 15891394361449772824}, {"parameter": "", "name": "multicomponent", "value": 1180663679410977636609}, {"parameter": "", "name": "construction_ST_B", "value": 1264523986075003754906}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1192116747680191840256}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1270875697963647074304}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1264524188070556092608}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1316667538397101428149}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1259297653705244934144}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 21702674122639244971}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1264601087568682942805}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1183847550767414738944}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1183847550800700735488}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1183847550783520866304}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1183847550766877868032}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1183847550766342045696}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 9564613568144834560}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 9564613572406247424}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 9564613602471018496}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 9564613572406247424}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 9564613568144834560}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 36096766529715011584}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 36096766530250833920}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 36096766546893832192}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 36096766564073701376}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 36096766530787704832}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1183847550766340997120}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 9564613568111280128}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 36096766529713963008}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1183847550766340997120}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 9564613568111280128}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 36096766529713963008}, {"parameter": "8", "name": "linkage_GLT", "value": 1180591620717411303765}, {"parameter": "9", "name": "linkage_GLT", "value": 9223372036854775809}, {"parameter": "10", "name": "linkage_GLT", "value": 24571639566933426177}, {"parameter": "8", "name": "improved_linkage", "value": 1180673226494044043573}, {"parameter": "9", "name": "improved_linkage", "value": 9223689569059572463}, {"parameter": "10", "name": "improved_linkage", "value": 24571640797640845506}, {"parameter": "11", "name": "improved_linkage", "value": 27451128583480262125}, {"parameter": "12", "name": "improved_linkage", "value": 21634867098907590269}, {"parameter": "13", "name": "improved_linkage", "value": 20602206795988040950}, {"parameter": "14", "name": "improved_linkage", "value": 20647844206901985621}, {"parameter": "15", "name": "improved_linkage", "value": 20809790573553582081}, {"parameter": "16", "name": "improved_linkage", "value": 20891078817981478145}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1183847550766340997120}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1181596961312434575360}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1180795919692135430336}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1180639208944432036968}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1180602606011836243004}, {"parameter": "8,5", "name": "generalized_linkage", "value": 1180593843442844880009}, {"parameter": "8,6", "name": "generalized_linkage", "value": 1180673226494044043573}, {"parameter": "9,0", "name": "generalized_linkage", "value": 9564613568111280128}, {"parameter": "9,1", "name": "generalized_linkage", "value": 9350180375889224704}, {"parameter": "9,2", "name": "generalized_linkage", "value": 9241659101593465984}, {"parameter": "9,3", "name": "generalized_linkage", "value": 9225125185474344840}, {"parameter": "9,4", "name": "generalized_linkage", "value": 9223561636162453102}, {"parameter": "9,5", "name": "generalized_linkage", "value": 9223390497466065758}, {"parameter": "9,6", "name": "generalized_linkage", "value": 9223689569059572463}, {"parameter": "10,0", "name": "generalized_linkage", "value": 36096766529713963008}, {"parameter": "10,1", "name": "generalized_linkage", "value": 24577945795708834816}, {"parameter": "10,2", "name": "generalized_linkage", "value": 24572724304458100672}, {"parameter": "10,3", "name": "generalized_linkage", "value": 24571713065583100912}, {"parameter": "10,4", "name": "generalized_linkage", "value": 24571642833399788958}, {"parameter": "10,5", "name": "generalized_linkage", "value": 24571639715635003315}, {"parameter": "10,6", "name": "generalized_linkage", "value": 24571640797640845506}, {"parameter": "11,1", "name": "generalized_linkage", "value": 27554961738543879168}, {"parameter": "11,2", "name": "generalized_linkage", "value": 27451154770643237056}, {"parameter": "11,3", "name": "generalized_linkage", "value": 27451130691650372872}, {"parameter": "11,4", "name": "generalized_linkage", "value": 27451128645009504292}, {"parameter": "11,5", "name": "generalized_linkage", "value": 27451128579923075267}, {"parameter": "11,6", "name": "generalized_linkage", "value": 27451128583480262125}, {"parameter": "12,2", "name": "generalized_linkage", "value": 21635079649751877824}, {"parameter": "12,3", "name": "generalized_linkage", "value": 21634867124014409448}, {"parameter": "12,4", "name": "generalized_linkage", "value": 21634867099826593038}, {"parameter": "12,5", "name": "generalized_linkage", "value": 21634867098900299274}, {"parameter": "12,6", "name": "generalized_linkage", "value": 21634867098907590269}, {"parameter": "13,3", "name": "generalized_linkage", "value": 20602206897177563880}, {"parameter": "13,4", "name": "generalized_linkage", "value": 20602206795993459670}, {"parameter": "13,5", "name": "generalized_linkage", "value": 20602206795988030379}, {"parameter": "13,6", "name": "generalized_linkage", "value": 20602206795988040950}, {"parameter": "14,4", "name": "generalized_linkage", "value": 20647844206913028566}, {"parameter": "14,5", "name": "generalized_linkage", "value": 20647844206901985535}, {"parameter": "14,6", "name": "generalized_linkage", "value": 20647844206901985621}, {"parameter": "15,5", "name": "generalized_linkage", "value": 20809790573553582335}, {"parameter": "15,6", "name": "generalized_linkage", "value": 20809790573553582081}, {"parameter": "16,6", "name": "generalized_linkage", "value": 20891078817981478145}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1183847550766340997120}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181596961312434575360}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180795919692135430336}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1180639208944432036968}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180602606011836243004}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1180593843442844880009}, {"parameter": "[8, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1180673226494044043573}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9564613568111280128}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9350180375889224704}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9241659101593465984}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9225125185474344840}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 9223561636162453102}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 9223390497466065758}, {"parameter": "[9, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 9223689569059572463}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 36096766529713963008}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 24577945795708834816}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 24572724304458100672}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 24571713065583100912}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 24571642833399788958}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 24571639715635003315}, {"parameter": "[10, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 24571640797640845506}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 27554961738543879168}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 27451154770643237056}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 27451130691650372872}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 27451128645009504292}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 27451128579923075267}, {"parameter": "[11, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 27451128583480262125}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 21635079649751877824}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 21634867124014409448}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 21634867099826593038}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 21634867098900299274}, {"parameter": "[12, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 21634867098907590269}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 20602206897177563880}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 20602206795993459670}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 20602206795988030379}, {"parameter": "[13, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 20602206795988040950}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 20647844206913028566}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 20647844206901985535}, {"parameter": "[14, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 20647844206901985621}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 20809790573553582335}, {"parameter": "[15, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 20809790573553582081}, {"parameter": "[16, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 20891078817981478145}, {"parameter": "[8, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 20963136249935167488}, {"parameter": "[8, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 18528349849709150208}, {"parameter": "[8, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 21774731716677173248}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 20893048980734214144}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 18458262580508196864}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 21704644447476219904}, {"parameter": "[8, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 20891360130873950208}, {"parameter": "[8, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 18456573730647932928}, {"parameter": "[8, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 21702955597615955968}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 20900892896686768128}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 18466106496460750848}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 21712488363428773888}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 20891086352478633984}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 18456299952252616704}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 21702681819220639744}, {"parameter": "[8, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 20891453589362311168}, {"parameter": "[8, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 18456667189136293888}, {"parameter": "[8, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 21703049056104316928}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 20933688064368181248}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 18498901664142163968}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 21745283531110187008}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 20891116992775323648}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 18456330592549306368}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 21702712459517329408}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 20891088907984175104}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 18456302507758157824}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 21702684374726180864}, {"parameter": "[8, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 20891497526877749248}, {"parameter": "[8, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 18456711126651731968}, {"parameter": "[8, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 21703092993619755008}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 21065272048629055488}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 18630485648403038208}, {"parameter": "[8, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 21876867515371061248}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20891245098899079168}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 18456458698673061888}, {"parameter": "[8, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 21702840565641084928}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 20891129721816875008}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 18456343321590857728}, {"parameter": "[8, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 21702725188558880768}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 20891090109400612864}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 18456303709174595584}, {"parameter": "[8, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 21702685576142618624}, {"parameter": "[8, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 20891408777770696704}, {"parameter": "[8, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 18456622377544679424}, {"parameter": "[8, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 21703004244512702464}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 19150962325431418880}, {"parameter": "[8, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 19131865961508077568}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 18476069062534922240}, {"parameter": "[8, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 18456972698611580928}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 18475610326874357760}, {"parameter": "[8, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 18456513962951016448}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 18475445669801656320}, {"parameter": "[8, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 18456349305878315008}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 18475397646364540928}, {"parameter": "[8, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 18456301282441199616}, {"parameter": "[8, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 18475702984322285568}, {"parameter": "[8, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 18456606620398944256}, {"parameter": "[8, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 20900626837858910208}, {"parameter": "[8, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 18458931215459647488}, {"parameter": "[8, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 18457198626931621888}, {"parameter": "[8, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 18456539944272867328}, {"parameter": "[8, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 18456337218254267904}, {"parameter": "[8, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 18456300851581745920}, {"parameter": "[8, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 18456607316770570752}, {"parameter": "[9, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 413580600271142912}, {"parameter": "[9, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 413580600271142912}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 413315617968848896}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 413315617968848896}, {"parameter": "[9, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 413300224806060032}, {"parameter": "[9, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 413300224806060032}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 413468888171773952}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 413468888171773952}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 413299189718941696}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 413299189718941696}, {"parameter": "[9, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 413300589878280192}, {"parameter": "[9, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 413300589878280192}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 414793929203351552}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 414793929203351552}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 413299788430671872}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 413299788430671872}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 413299211109892096}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 413299211109892096}, {"parameter": "[9, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 413300761509199872}, {"parameter": "[9, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 413300761509199872}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 425587756784648192}, {"parameter": "[9, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 425587756784648192}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 413304964372201472}, {"parameter": "[9, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 413304964372201472}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 413300008612626432}, {"parameter": "[9, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 413300008612626432}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 413299221166391296}, {"parameter": "[9, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 413299221166391296}, {"parameter": "[9, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 413300414833000448}, {"parameter": "[9, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 413300414833000448}, {"parameter": "[9, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 508498347560763392}, {"parameter": "[9, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 413347127761190912}, {"parameter": "[9, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 413306903128492032}, {"parameter": "[9, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 413300112126477312}, {"parameter": "[9, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 413299200853332736}, {"parameter": "[9, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 413300353281649920}, {"parameter": "[10, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 11621111029350498304}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 11621110062982856704}, {"parameter": "[10, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 11621109934133837824}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11621112714957389824}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 11621109930358964224}, {"parameter": "[10, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 11621109935559901184}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11621159319822106624}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 11621109940718239744}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 11621109930531651584}, {"parameter": "[10, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 11621109936230334464}, {"parameter": "[10, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 11621924278244491264}, {"parameter": "[10, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 11621110122768492544}, {"parameter": "[10, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 11621109944330530304}, {"parameter": "[10, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 11621109930612836864}, {"parameter": "[10, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 11621109934876130560}, {"parameter": "[8, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 4961008233390014464}, {"parameter": "", "name": "JohnsonLB", "value": 1313839741858150813629}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 164605143266886565638}], "request": [2, 18, 4, 8], "liftedmrdsizebound": 1476143566213181125701, "comments": "", "equal_bound_constraints": []}