{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "", "name": "singleton", "value": 11140256209730412546658078532854767895273286916056}, {"parameter": "7", "name": "ilp_2", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "9", "name": "ilp_3", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "", "name": "anticode", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "", "name": "linear_programming_bound", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "", "name": "sphere_packing", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "1", "name": "ilp_1", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "2", "name": "ilp_1", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "3", "name": "ilp_1", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "4", "name": "ilp_1", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "5", "name": "ilp_1", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "6", "name": "ilp_1", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "10", "name": "ilp_4", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "11", "name": "ilp_4", "value": 222805808648094899593929445146425658944631323444405}, {"parameter": "12", "name": "ilp_4", "value": 222805808648094899593929445146425658944631323444405}, {"parameter": "13", "name": "ilp_4", "value": 222805808648094899593885771933746615669606862488152}, {"parameter": "14", "name": "ilp_4", "value": 222805808648094899593885771612392275920226841182556}, {"parameter": "15", "name": "ilp_4", "value": 222805808648094899593885771612392228168609547965681}, {"parameter": "16", "name": "ilp_4", "value": 222805808648094899593885771915076900059821217938240}, {"parameter": "17", "name": "ilp_4", "value": 44561052217262971497298199321608739799649327210154}, {"parameter": "", "name": "johnson_1", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "", "name": "johnson_2", "value": 44561052217262971497298199321608739799649327210154}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 222805808648094899593929445146425658944631323444405}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 222805808648094899593929445146425658944631323444405}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 222805808648094899593885771933746615669606862488152}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 222805808648094899593885771612392275920226841182556}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 222805808648094899593885771612392228168609547965681}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 222805808648094899593885771915076900059821217938240}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 44561052217262971497298199321608739799649327210154}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 8912228695689860754380008156202320471001500278409}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 8912232346103222810053347880339487090044638914765}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 8912250598214889023313536607756505156683336223362}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 8912341859894632701056155746557564506535945680951}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 8912798196330446377600682478593973338994891560139}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 8915080579659468287979956079261443252513308848656}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 8926510052919346324966763964107913871369207223690}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 8984099845874656330764903257483964343122872730318}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 9283566646383783807596443367588013622749497888948}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 11140256209730412546658078532854767895273286916056}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 222806264960979358000613154261912042391925624525991}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 222808546525402054252214716384607009410959070476394}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 222819955048456699291492335457593800149058663629171}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 222877015192823466439370454722758145741170343855789}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 223162754838664667461492305204464048305083612947596}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 224602513952820031084190501672334307044493447081262}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 232089261223568529934304009012982318602824963762523}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "", "name": "improved_johnson", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 44561070469479304822973987360954658075699306484108}], "known_codes": [], "upper_bound": 8912227965607547189813197095059243988277565617026, "classified": false, "lower_bound": 8484599639617517977059919631386329281416928756276, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 8470329472543003390683225006796419620513916015625}, {"parameter": "", "name": "sphere_covering", "value": 91261455473190185491726142338436148019594294}, {"parameter": "", "name": "graham_sloane", "value": 114076515623519420687495684165384286631372235}, {"parameter": "", "name": "multicomponent", "value": 8470329473930782171473765629343748092651367578126}, {"parameter": "", "name": "construction_ST_B", "value": 8483925472036176945012952133905715667284451998198}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 8470357695613032218300571447430630093811035156250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 8483931942894799034131932320265550976989746093750}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 8483925472036177131107811601693367315609906468750}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 8484599639617517977059919631386329281416928756276}, {"parameter": "", "name": "two_pivot_block_construction", "value": 8483903718492590095127955767992330107032736628736}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 543266137593995600669320808802734802245686849}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 8483925473426183151796067249961197376251221110026}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 8470330637594354634066890602136109959075927734375}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 8470330637594354634066893511587833057830810546875}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 8470330637594354634066891183281396519134521484375}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 8470330637594354634066890601391051899383544921875}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 8470330637594354634066890601204787479827880859375}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 108429234647921847019804913581849334716796875}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 108429234647921847019828196348191497802734375}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 108429234647921847022715296329499481201171875}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 108429234647921847019828196348191497802734375}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 108429234647921847019804913581849334716796875}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 592911643707578644165085820932847259521484375}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 592911643707578644165086007197266815185546875}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 592911643707578644165667897541886566162109375}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 592911643707578644167996203978425262451171875}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 592911643707578644165086752255326507568359375}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 8470330637594354634066890601204787384460449218750}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 108429234647921847019804913283826110839843750}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 592911643707578644165085820932751892089843750}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 8470330637594354634066890601204787384460449218750}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 108429234647921847019804913283826110839843750}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 592911643707578644165085820932751892089843750}, {"parameter": "8", "name": "linkage_GLT", "value": 8470329472543003390683225006796419620513916422526}, {"parameter": "9", "name": "linkage_GLT", "value": 108420217248550443400745280086994171142578126}, {"parameter": "10", "name": "linkage_GLT", "value": 564688573678751026818645186722278594970703126}, {"parameter": "8", "name": "improved_linkage", "value": 8470329473933645401958681224646456456420898437500}, {"parameter": "9", "name": "improved_linkage", "value": 108420217252110477835922293951534772218561246}, {"parameter": "10", "name": "improved_linkage", "value": 564688573678751035932216685865695718688260106}, {"parameter": "11", "name": "improved_linkage", "value": 547333015109785492313699842981353719767868826}, {"parameter": "12", "name": "improved_linkage", "value": 543264383131192071232362650394567603111164526}, {"parameter": "13", "name": "improved_linkage", "value": 543176426414283748674229718744754945320313306}, {"parameter": "14", "name": "improved_linkage", "value": 543211191841567583305690108597278594971110026}, {"parameter": "15", "name": "improved_linkage", "value": 543218145016023844076629802853869781494140626}, {"parameter": "16", "name": "improved_linkage", "value": 543219535654475085097670639026165008544921876}, {"parameter": "8,0", "name": "generalized_linkage", "value": 8470330637594354634066890601204787384460449218750}, {"parameter": "8,1", "name": "generalized_linkage", "value": 8470329518062369775385028258514147108701816406250}, {"parameter": "8,2", "name": "generalized_linkage", "value": 8470329474352489776444547116083166852349144750000}, {"parameter": "8,3", "name": "generalized_linkage", "value": 8470329472615282346684378298572534049403293973250}, {"parameter": "8,4", "name": "generalized_linkage", "value": 8470329472545872734373483385221014285502019364670}, {"parameter": "8,5", "name": "generalized_linkage", "value": 8470329472543113751750715494226220379147271492376}, {"parameter": "8,6", "name": "generalized_linkage", "value": 8470329473933645401958681224646456456420898437500}, {"parameter": "9,0", "name": "generalized_linkage", "value": 108429234647921847019804913283826110839843750}, {"parameter": "9,1", "name": "generalized_linkage", "value": 108420595959870282467998590082526976425781250}, {"parameter": "9,2", "name": "generalized_linkage", "value": 108420220188866389849759578736567262086468750}, {"parameter": "9,3", "name": "generalized_linkage", "value": 108420217271868470904372671725569119835204500}, {"parameter": "9,4", "name": "generalized_linkage", "value": 108420217248735491266085082799082054148488070}, {"parameter": "9,5", "name": "generalized_linkage", "value": 108420217248551865117899146460065471081467161}, {"parameter": "9,6", "name": "generalized_linkage", "value": 108420217252110477835922293951534772218561246}, {"parameter": "10,0", "name": "generalized_linkage", "value": 592911643707578644165085820932751892089843750}, {"parameter": "10,1", "name": "generalized_linkage", "value": 564688574261377602702748987880767397324218750}, {"parameter": "10,2", "name": "generalized_linkage", "value": 564688573683612464939944381596498448329906250}, {"parameter": "10,3", "name": "generalized_linkage", "value": 564688573678758556418423002384768758785245750}, {"parameter": "10,4", "name": "generalized_linkage", "value": 564688573678751038681849365632088896657545820}, {"parameter": "10,5", "name": "generalized_linkage", "value": 564688573678751026836865330873931164096178106}, {"parameter": "10,6", "name": "generalized_linkage", "value": 564688573678751035932216685865695718688260106}, {"parameter": "11,1", "name": "generalized_linkage", "value": 547333379367173492881201254877164980332031250}, {"parameter": "11,2", "name": "generalized_linkage", "value": 547333015109786986224295902751059007367406250}, {"parameter": "11,3", "name": "generalized_linkage", "value": 547333015109785494800340329258124385440985750}, {"parameter": "11,4", "name": "generalized_linkage", "value": 547333015109785492314441680022043300996499170}, {"parameter": "11,5", "name": "generalized_linkage", "value": 547333015109785492313676747046822370128560431}, {"parameter": "11,6", "name": "generalized_linkage", "value": 547333015109785492313699842981353719767868826}, {"parameter": "12,2", "name": "generalized_linkage", "value": 543264383131378821977432678078962643597875000}, {"parameter": "12,3", "name": "generalized_linkage", "value": 543264383131192071232515440673300362806967000}, {"parameter": "12,4", "name": "generalized_linkage", "value": 543264383131192071232362700861407861537805820}, {"parameter": "12,5", "name": "generalized_linkage", "value": 543264383131192071232362650337844009046991986}, {"parameter": "12,6", "name": "generalized_linkage", "value": 543264383131192071232362650394567603111164526}, {"parameter": "13,3", "name": "generalized_linkage", "value": 543176426414283748678049525696475951732748250}, {"parameter": "13,4", "name": "generalized_linkage", "value": 543176426414283748674229718745375663121566570}, {"parameter": "13,5", "name": "generalized_linkage", "value": 543176426414283748674229718744754830996089681}, {"parameter": "13,6", "name": "generalized_linkage", "value": 543176426414283748674229718744754945320313306}, {"parameter": "14,4", "name": "generalized_linkage", "value": 543211191841567583305690108600382955551254070}, {"parameter": "14,5", "name": "generalized_linkage", "value": 543211191841567583305690108597278594970800781}, {"parameter": "14,6", "name": "generalized_linkage", "value": 543211191841567583305690108597278594971110026}, {"parameter": "15,5", "name": "generalized_linkage", "value": 543218145016023844076629802853869781494238281}, {"parameter": "15,6", "name": "generalized_linkage", "value": 543218145016023844076629802853869781494140626}, {"parameter": "16,6", "name": "generalized_linkage", "value": 543219535654475085097670639026165008544921876}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8470330637594354634066890601204787384460449218750}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8470329518062369775385028258514147108701816406250}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329474352489776444547116083166852349144750000}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329472615282346684378298572534049403293973250}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329472545872734373483385221014285502019364670}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329472543113751750715494226220379147271492376}, {"parameter": "[8, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 8470329473933645401958681224646456456420898437500}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 108429234647921847019804913283826110839843750}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 108420595959870282467998590082526976425781250}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420220188866389849759578736567262086468750}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217271868470904372671725569119835204500}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217248735491266085082799082054148488070}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217248551865117899146460065471081467161}, {"parameter": "[9, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 108420217252110477835922293951534772218561246}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578644165085820932751892089843750}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 564688574261377602702748987880767397324218750}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 564688573683612464939944381596498448329906250}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 564688573678758556418423002384768758785245750}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 564688573678751038681849365632088896657545820}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 564688573678751026836865330873931164096178106}, {"parameter": "[10, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 564688573678751035932216685865695718688260106}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 547333379367173492881201254877164980332031250}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 547333015109786986224295902751059007367406250}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 547333015109785494800340329258124385440985750}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 547333015109785492314441680022043300996499170}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 547333015109785492313676747046822370128560431}, {"parameter": "[11, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 547333015109785492313699842981353719767868826}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 543264383131378821977432678078962643597875000}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 543264383131192071232515440673300362806967000}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 543264383131192071232362700861407861537805820}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 543264383131192071232362650337844009046991986}, {"parameter": "[12, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 543264383131192071232362650394567603111164526}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 543176426414283748678049525696475951732748250}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 543176426414283748674229718745375663121566570}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 543176426414283748674229718744754830996089681}, {"parameter": "[13, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 543176426414283748674229718744754945320313306}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 543211191841567583305690108600382955551254070}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 543211191841567583305690108597278594970800781}, {"parameter": "[14, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 543211191841567583305690108597278594971110026}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 543218145016023844076629802853869781494238281}, {"parameter": "[15, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 543218145016023844076629802853869781494140626}, {"parameter": "[16, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 543219535654475085097670639026165008544921876}, {"parameter": "[8, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 543220923433255866528794253337383270263671875}, {"parameter": "[8, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 542102476884763492459944213218903778076171875}, {"parameter": "[8, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 543267525372776382114996338342319915771484375}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 543219535764609209125934252607822418212890625}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 542101089216116835057084212489342926025390625}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 543266137704129724712136337612759063720703125}, {"parameter": "[8, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 543219535658027798761919224727153778076171875}, {"parameter": "[8, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 542101089109535424693069184608674285888671875}, {"parameter": "[8, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 543266137597548314348121309732090423583984375}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 543219538517954988763973200786113739013671875}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 542101091969462614695123160667634246826171875}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 543266140457475504350175285791050384521484375}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 543219535654475367026476273405551910400390625}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 542101089105982992957626233287072418212890625}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 543266137593995882612678358410488555908203125}, {"parameter": "[8, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 543219535658175828119579786527156829833984375}, {"parameter": "[8, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 542101089109683454050729746408677337646484375}, {"parameter": "[8, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 543266137597696343705781871532093475341796875}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 543219607790338600692644799220561981201171875}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 542101161241846226623794759102082489013671875}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 543266209729859116278846884225498626708984375}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 543219535654482415591672146785259246826171875}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 542101089105990041522822106666779754638671875}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 543266137594002931177874231790195892333984375}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 543219535654475378774086097347736358642578125}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 542101089105983004705236057229256866455078125}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 543266137593995894360288182352673004150390625}, {"parameter": "[8, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 543219535658062086730942214000225067138671875}, {"parameter": "[8, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 542101089109569712662092173881745574951171875}, {"parameter": "[8, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 543266137597582602317144299005161712646484375}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 543221341266191444928750479686260223388671875}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 542102894717699070859900439567780731201171875}, {"parameter": "[8, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 543267943205711960514952564691196868896484375}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 543219535654659752893718684184551239013671875}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 542101089106167378824868644066071746826171875}, {"parameter": "[8, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 543266137594180268479920769189487884521484375}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 543219535654482721028746618497371673583984375}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 542101089105990346959896578378892181396484375}, {"parameter": "[8, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 543266137594003236614948703502308319091796875}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 543219535654475369747569495069980621337890625}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 542101089105982995678719454951501129150390625}, {"parameter": "[8, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 543266137593995885333771580074917266845703125}, {"parameter": "[8, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 543219535658035422544407304155826568603515625}, {"parameter": "[8, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 542101089109543048475557264037347076416015625}, {"parameter": "[8, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 543266137597555938130609389160763214111328125}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 542146187671177382681583442016936767578125000}, {"parameter": "[8, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 542146173355024912628872025795197723388671875}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 542101103426757547060861304718352783203125000}, {"parameter": "[8, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089110605077008149888496613739013671875}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 542101103422327543349990492173263061523437500}, {"parameter": "[8, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089106175073297279075951524017333984375}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 542101103422142582323776394908465087890625000}, {"parameter": "[8, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089105990112271064978686726043701171875}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 542101103422135463615361027762794921875000000}, {"parameter": "[8, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089105982993562649611541055877685546875}, {"parameter": "[8, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 542101103425694942095128749876369140625000000}, {"parameter": "[8, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089109542472042417333654630096435546875}, {"parameter": "[8, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 543219538517705579093661007042145965576171875}, {"parameter": "[8, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089221398388562304817063874481201171875}, {"parameter": "[8, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089110797675098175899350005853271484375}, {"parameter": "[8, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089106169161091817759008375985888671875}, {"parameter": "[8, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089105990057253389720877514029666015625}, {"parameter": "[8, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089105982993516903877556180705266015625}, {"parameter": "[8, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 542101089109542699881121580993270835246484375}, {"parameter": "[9, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 10405181704898743535663665772674560546875}, {"parameter": "[9, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 10405181704898743535663665772674560546875}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 10405178153603876469928504468200683593750}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 10405178153603876469928504468200683593750}, {"parameter": "[9, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 10405178152194159682180465699432373046875}, {"parameter": "[9, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 10405178152194159682180465699432373046875}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 10405178336866586114551605225799560546875}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 10405178336866586114551605225799560546875}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185068367320777417419433593750}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185068367320777417419433593750}, {"parameter": "[9, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 10405178152194538637336076737640380859375}, {"parameter": "[9, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 10405178152194538637336076737640380859375}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10405201420281467260028900147674560546875}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10405201420281467260028900147674560546875}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185537519857467652557373046875}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185537519857467652557373046875}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185068518660308362243652343750}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185068518660308362243652343750}, {"parameter": "[9, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 10405178152194247459381164551971435546875}, {"parameter": "[9, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 10405178152194247459381164551971435546875}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10408090361798707680387710572479248046875}, {"parameter": "[9, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 10408090361798707680387710572479248046875}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10405178152244631061953200074432373046875}, {"parameter": "[9, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 10405178152244631061953200074432373046875}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185557219169317753265380859375}, {"parameter": "[9, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185557219169317753265380859375}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185068402375480288513183593750}, {"parameter": "[9, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185068402375480288513183593750}, {"parameter": "[9, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 10405178152194179199063635182769775390625}, {"parameter": "[9, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 10405178152194179199063635182769775390625}, {"parameter": "[9, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 10768741056459410696033358521697998046875}, {"parameter": "[9, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 10405178159640321346088676192987060546875}, {"parameter": "[9, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 10405178152247112985882394535840380859375}, {"parameter": "[9, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185542082799610786728435546875}, {"parameter": "[9, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 10405178152185068375115039879984299218750}, {"parameter": "[9, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 10405178152194177723394796960990019921875}, {"parameter": "[10, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576244044016307671433685302734375}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234967253363211518524169921875}, {"parameter": "[10, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234949092573006516693115234375}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576246786870683510667083740234375}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234949069336493378875732421875}, {"parameter": "[10, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234949093543131715057373046875}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 28224515631583692573780103919602630615234375}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234949099594713718841552734375}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234949069338433008392333984375}, {"parameter": "[10, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234949092797716150482177734375}, {"parameter": "[10, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 28224515636243216023415379034441888427734375}, {"parameter": "[10, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234968160809201835088427734375}, {"parameter": "[10, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234949100857409301646560546875}, {"parameter": "[10, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234949069336942654329144921875}, {"parameter": "[10, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 28224515631576234949092622969737606992578125}, {"parameter": "[8, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 2238286605779231283260677194595336914062500}, {"parameter": "", "name": "JohnsonLB", "value": 8484595291506236717478069185881149641572208757277}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 67876797328461828424492762337267703137992153155}], "request": [5, 18, 4, 8], "liftedmrdsizebound": 8488859208257611134819708087814286834295355457526, "comments": "", "equal_bound_constraints": []}