{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 518946525150879134496915}, {"parameter": "", "name": "singleton", "value": 120843139740969555}, {"parameter": "5", "name": "ilp_2", "value": 46414431022602681}, {"parameter": "6", "name": "ilp_2", "value": 126726868168712853357}, {"parameter": "8", "name": "ilp_3", "value": 2035084412356388762733}, {"parameter": "9", "name": "ilp_3", "value": 11947657998178407609}, {"parameter": "", "name": "anticode", "value": 46414431022602681}, {"parameter": "", "name": "linear_programming_bound", "value": 46414431022602681}, {"parameter": "", "name": "sphere_packing", "value": 998091170600549553}, {"parameter": "1", "name": "ilp_1", "value": 46366258890030778}, {"parameter": "2", "name": "ilp_1", "value": 46366258890030811}, {"parameter": "3", "name": "ilp_1", "value": 46366258894463721}, {"parameter": "4", "name": "ilp_1", "value": 46366268578155128}, {"parameter": "10", "name": "ilp_4", "value": 11854225677567041762}, {"parameter": "11", "name": "ilp_4", "value": 11852628153765674979}, {"parameter": "12", "name": "ilp_4", "value": 11852620546509477995}, {"parameter": "13", "name": "ilp_4", "value": 11852620488928000249}, {"parameter": "14", "name": "ilp_4", "value": 11852620523809087729}, {"parameter": "15", "name": "ilp_4", "value": 2953421690479820456}, {"parameter": "16", "name": "ilp_4", "value": 743447625395584087}, {"parameter": "17", "name": "ilp_4", "value": 185544235993120955}, {"parameter": "", "name": "johnson_1", "value": 46366258890030778}, {"parameter": "", "name": "johnson_2", "value": 185544235993120955}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 518946525150879134496915}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 11947657998178407609}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 11854225677567041762}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 11852628153765674979}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 11852620546509477995}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 11852620488928000249}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 11852620523809087729}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2953421690479820456}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 743447625395584087}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 185544235993120955}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 126726868168712853357}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 998091170600549553}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 998575152256799062}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 999544525053553630}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1001488927777062063}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1005400516412344131}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1013316082047771616}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 508707334118895632}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 264325145555415079}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 141104935621274912}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 82308801368258598}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 61365175905076029}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 46414431022602681}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 46431166768221447}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 46464666368216990}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 46531778205384919}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 46666454051598436}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 46937627513816051}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 47487367750015593}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 48617297301506845}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 51006401535547127}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 56369224946918086}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 70144073512631193}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 120843139740969555}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 518946525150879134496915}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 126726868168712853357}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 46414431022602681}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 46366268578155128}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 46366258894463721}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 46366258890030811}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 46366258890028714}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 998091170600549553}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1006008613311464706}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1022226408367123730}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1056282936221372361}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1131689761079553851}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1320182364593281218}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1979631442193303405}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 11947657998178407609}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 12018145655984769895}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 12161076742035021101}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 12454998280819173947}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 13077091014035876541}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 14476597031089344009}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 18090714003878762614}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 31627961868755063955}, {"parameter": "", "name": "improved_johnson", "value": 46366258890030775}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 744723629564546268}], "known_codes": [], "upper_bound": 46366258890028714, "classified": false, "lower_bound": 36107259887151304, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 36028797018963968}, {"parameter": "", "name": "sphere_covering", "value": 17422072129066}, {"parameter": "", "name": "graham_sloane", "value": 7551694649481}, {"parameter": "", "name": "multicomponent", "value": 36029896532688897}, {"parameter": "q^55 + q^46 + 2*q^41 + q^40 + q^39 + 4*q^38 + 4*q^37 + 2*q^36 + 4*q^35 + 2*q^34 + 6*q^33 + 5*q^32 + 4*q^31 + q^30 + 7*q^29 + 2*q^28 + 4*q^27 + 7*q^26 + 4*q^25 + 4*q^24 + 10*q^23 + 4*q^22 + 5*q^21 + 6*q^20 + 6*q^19 + 8*q^18 + 5*q^17 + 6*q^16 + 3*q^15 + 3*q^14 + 2*q^13 + 4*q^12 + 2*q^11 + 5*q^10 + q^9 + q^8 + 3*q^7 + q^6 + q^2 + 2*q", "name": "greedy_multicomponent", "value": 36107259887151304}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 36028846219397064}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 36100314475202504}, {"parameter": "", "name": "two_pivot_block_construction", "value": 36099303470530560}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 565833630153947}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 36031680699907624}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 36031680729267752}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 36031680695778856}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 36031680696761896}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1126006031986248}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1126006036180552}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1126006028316232}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1126006031986248}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 35187387958216}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 35187385861064}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 35187385861064}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 35187387958216}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 159441405784008}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 159441402113992}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 159441409978312}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 159441405784008}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 574440947779528}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 574440946796488}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 574440980285384}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 574440950925256}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 36031680695713320}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1126006027791944}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 35187383763912}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 159441401589704}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 574440946730952}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 36031680695713320}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1126006027791944}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 35187383763912}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 159441401589704}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 574440946730952}, {"parameter": "7", "name": "linkage_GLT", "value": 36028797018980685}, {"parameter": "8", "name": "linkage_GLT", "value": 1125899906842769}, {"parameter": "9", "name": "linkage_GLT", "value": 35184372088833}, {"parameter": "10", "name": "linkage_GLT", "value": 159429186027521}, {"parameter": "11", "name": "linkage_GLT", "value": 574391746297857}, {"parameter": "7", "name": "improved_linkage", "value": 36029898875065548}, {"parameter": "8", "name": "improved_linkage", "value": 1125934439084744}, {"parameter": "9", "name": "improved_linkage", "value": 35184641146177}, {"parameter": "10", "name": "improved_linkage", "value": 159429188132597}, {"parameter": "11", "name": "improved_linkage", "value": 574391746314573}, {"parameter": "12", "name": "improved_linkage", "value": 565077304410257}, {"parameter": "13", "name": "improved_linkage", "value": 564254149181441}, {"parameter": "14", "name": "improved_linkage", "value": 565776254894081}, {"parameter": "15", "name": "improved_linkage", "value": 141037581002241}, {"parameter": "7,0", "name": "generalized_linkage", "value": 36031680695713320}, {"parameter": "7,1", "name": "generalized_linkage", "value": 36029169967035750}, {"parameter": "7,2", "name": "generalized_linkage", "value": 36028808050315113}, {"parameter": "7,3", "name": "generalized_linkage", "value": 36028831551206088}, {"parameter": "7,4", "name": "generalized_linkage", "value": 36029898875065548}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1126006027791944}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1125924982309190}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1125899993150781}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1125900175899969}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1125934439084744}, {"parameter": "9,0", "name": "generalized_linkage", "value": 35187383763912}, {"parameter": "9,1", "name": "generalized_linkage", "value": 35184808800702}, {"parameter": "9,2", "name": "generalized_linkage", "value": 35184372774229}, {"parameter": "9,3", "name": "generalized_linkage", "value": 35184374193909}, {"parameter": "9,4", "name": "generalized_linkage", "value": 35184641146177}, {"parameter": "10,0", "name": "generalized_linkage", "value": 159441401589704}, {"parameter": "10,1", "name": "generalized_linkage", "value": 159429192062942}, {"parameter": "10,2", "name": "generalized_linkage", "value": 159429186039845}, {"parameter": "10,3", "name": "generalized_linkage", "value": 159429186044237}, {"parameter": "10,4", "name": "generalized_linkage", "value": 159429188132597}, {"parameter": "11,0", "name": "generalized_linkage", "value": 574440946730952}, {"parameter": "11,1", "name": "generalized_linkage", "value": 574391758380510}, {"parameter": "11,2", "name": "generalized_linkage", "value": 574391746298025}, {"parameter": "11,3", "name": "generalized_linkage", "value": 574391746298001}, {"parameter": "11,4", "name": "generalized_linkage", "value": 574391746314573}, {"parameter": "12,1", "name": "generalized_linkage", "value": 565077328587230}, {"parameter": "12,2", "name": "generalized_linkage", "value": 565077304410453}, {"parameter": "12,3", "name": "generalized_linkage", "value": 565077304410113}, {"parameter": "12,4", "name": "generalized_linkage", "value": 565077304410257}, {"parameter": "13,2", "name": "generalized_linkage", "value": 564254149182121}, {"parameter": "13,3", "name": "generalized_linkage", "value": 564254149181441}, {"parameter": "13,4", "name": "generalized_linkage", "value": 564254149181441}, {"parameter": "14,3", "name": "generalized_linkage", "value": 565776254894081}, {"parameter": "14,4", "name": "generalized_linkage", "value": 565776254894081}, {"parameter": "15,4", "name": "generalized_linkage", "value": 141037581002241}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 36031680695713320}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 36029169967035750}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 36028808050315113}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 36028831551206088}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36029898875065548}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1126006027791944}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125924982309190}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899993150781}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1125900175899969}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1125934439084744}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 35187383763912}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 35184808800702}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 35184372774229}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 35184374193909}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 35184641146177}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 159441401589704}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 159429192062942}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 159429186039845}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 159429186044237}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 159429188132597}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 574440946730952}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 574391758380510}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 574391746298025}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 574391746298001}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 574391746314573}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 565077328587230}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 565077304410453}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 565077304410113}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 565077304410257}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 564254149182121}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 564254149181441}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 564254149181441}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 565776254894081}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 565776254894081}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 141037581002241}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 141859079939072}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 141837172482760}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 141862012433224}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 144720676732456}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 565810547523584}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 563006393115648}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 562984485659336}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 563009325609800}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 565867989909032}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 565810547523584}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 563006393115648}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 562984485659336}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 563009325609800}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 565867989909032}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 563289743619344}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 562962166772600}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 562961131774664}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 562985971725128}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 563279006201104}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 562951429354360}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950394356424}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 562975234306888}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 563279006201104}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 562951429354360}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950394356424}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 562975234306888}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 563327534940504}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 563321669952200}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 563321669952200}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 562956076892504}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950211904200}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950211904200}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 562955993006424}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950128018120}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950128018120}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 562956294996312}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950430008008}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950430008008}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 565776360284872}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 565776360284872}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 562953028608712}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 562953028608712}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950126592712}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950126592712}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950128296648}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950128296648}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950399812296}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950399812296}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 140759740810952}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 140737683532232}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 140737661615944}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 140737662994760}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 140737930304840}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4526085432320}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4433138118088}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4433138118088}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4538527198792}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4491994129408}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4399046815176}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4399046815176}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4504435895880}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4491994129408}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4399046815176}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4399046815176}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4504435895880}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4403255574648}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398864362952}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398864362952}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4403171688568}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398780476872}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398780476872}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4403171688568}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398780476872}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398780476872}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4423354346952}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4423354346952}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398779051464}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398779051464}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398778396104}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398778396104}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398780755400}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398780755400}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4492457562568}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398970379464}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398778384968}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398778398280}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398780519496}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 37639848904}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 37639848904}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 37639848904}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 37373510600}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37373510600}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 37373510600}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 37373510600}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 37373510600}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 37373510600}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37372085192}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 37372085192}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37371429832}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 37371429832}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 37371429832}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 37371429832}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 37756924616}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 37371418696}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 37371413576}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 37371432008}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 51140800456}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 51140800456}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51138719688}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 51138719688}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 51138719688}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 51138719688}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 51138714184}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 51138703432}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 51138703432}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 84258539464}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 84258523208}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 84258523208}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2882942493696}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2882942493696}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 78788085760}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 78788085760}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5686830563328}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5686830563328}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2882676155392}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2882676155392}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2882676155392}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2882676155392}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 187628898304}, {"parameter": "", "name": "JohnsonLB", "value": 35964059723344923}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 565916646921500}], "request": [2, 18, 6, 7], "liftedmrdsizebound": 36283263176185312, "comments": "", "equal_bound_constraints": []}