{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 3961427432158861458003}, {"parameter": "", "name": "singleton", "value": 715795115}, {"parameter": "2", "name": "ilp_2", "value": 295565950}, {"parameter": "3", "name": "ilp_2", "value": 5534303530639}, {"parameter": "4", "name": "ilp_2", "value": 120896860626815438}, {"parameter": "6", "name": "ilp_3", "value": 62879800510458118381}, {"parameter": "7", "name": "ilp_3", "value": 1485349618357278386}, {"parameter": "8", "name": "ilp_3", "value": 40774303249023328}, {"parameter": "", "name": "anticode", "value": 295565950}, {"parameter": "", "name": "linear_programming_bound", "value": 295565950}, {"parameter": "", "name": "sphere_packing", "value": 3900013913069752}, {"parameter": "1", "name": "ilp_1", "value": 295511830}, {"parameter": "9", "name": "ilp_4", "value": 39497612736333752}, {"parameter": "10", "name": "ilp_4", "value": 39497612736333752}, {"parameter": "11", "name": "ilp_4", "value": 4787642577862173}, {"parameter": "12", "name": "ilp_4", "value": 603618232883326}, {"parameter": "13", "name": "ilp_4", "value": 77739312738989}, {"parameter": "14", "name": "ilp_4", "value": 9682117894674}, {"parameter": "15", "name": "ilp_4", "value": 1208058685932}, {"parameter": "16", "name": "ilp_4", "value": 151076734400}, {"parameter": "17", "name": "ilp_4", "value": 18919250111}, {"parameter": "18", "name": "ilp_4", "value": 2364365175}, {"parameter": "", "name": "johnson_1", "value": 295511830}, {"parameter": "", "name": "johnson_2", "value": 2364365175}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 3961427432158861458003}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 62879800510458118381}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1485349618357278386}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 40774303249023328}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 39497612736333752}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 39497612736333752}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 4787642577862173}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 603618232883326}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 77739312738989}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 9682117894674}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1208058685932}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 151076734400}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 18919250111}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 2364365175}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 120896860626815438}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 3900013913069752}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 185725919039403}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 174047211640902}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 154812133455512}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 42264512421032}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 11216609571974}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2771654544821}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 693267862541}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 175851910346}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 44572158865}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 11496812065}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3074598003}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 891116085}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 327189414}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 5534303530639}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 368969333020}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 321387849946}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 305569069150}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 178640391425}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 85159490209}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 43694734110}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 21649594336}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 10949208155}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 5519198551}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 2825887808}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1477429441}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 811997848}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 497993943}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 409035141}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 295565950}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 295579481}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 295606545}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 295660683}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 295769000}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 295985798}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 296420051}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 297291195}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 299044097}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 302592872}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 309866573}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 325154364}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 359007890}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 442950042}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 715795115}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 3961427432158861458003}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 120896860626815438}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 5534303530639}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 295565950}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 295511830}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 62879800510458118381}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3900013913069752}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 368969333020}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 395274217756}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 461147970334}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 691694248993}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1485349618357278386}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 185725919039403}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 195011005395189}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 215902076375749}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 269868329257876}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 472212828636589}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 40774303249023328}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 41924901862911442}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 44369878895969840}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 49914513946721069}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 64467748273284408}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 120843139740969555}, {"parameter": "", "name": "improved_johnson", "value": 295511829}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 307423767287}], "known_codes": [], "upper_bound": 295511829, "classified": false, "lower_bound": 269503083, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 268435456}, {"parameter": "", "name": "sphere_covering", "value": 1907489}, {"parameter": "", "name": "graham_sloane", "value": 27488}, {"parameter": "", "name": "multicomponent", "value": 269488129}, {"parameter": "", "name": "construction_ST_A_1", "value": 269503083}, {"parameter": "[(0, 1, 2, 3, 4), (4, 5, 6, 7, 8), (2, 6, 9, 10, 11), (3, 8, 11, 12, 13), (0, 5, 10, 12, 14), (1, 7, 9, 12, 15), (1, 6, 13, 14, 16), (4, 10, 13, 15, 17), (2, 8, 14, 15, 18), (0, 8, 9, 16, 17), (3, 7, 10, 16, 18), (1, 5, 11, 17, 18)]", "name": "ef_computation", "value": 269502259}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 268435456}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 268698633}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 67174657}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 16793617}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 4198401}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 34604033}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 268697633}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 268500993}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 268713985}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 269488129}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 269493249}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 268697633}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 268500993}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 268451841}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 268439553}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 268469249}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 67174401}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 67125249}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 67112961}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 67109889}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 16793601}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 16781313}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 16778241}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 4198401}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 4195329}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 34604033}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 268698633}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 67174657}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 16793617}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 4198401}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 34604033}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 268697633}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 268500993}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 268713985}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 269488129}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 269493249}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 268697633}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 268500993}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 268451841}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 268439553}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 268469249}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 67174401}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 67125249}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 67112961}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 67109889}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 16793601}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 16781313}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 16778241}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 4198401}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 4195329}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 34604033}, {"parameter": "5", "name": "linkage_GLT", "value": 268698633}, {"parameter": "6", "name": "linkage_GLT", "value": 67174657}, {"parameter": "7", "name": "linkage_GLT", "value": 16793617}, {"parameter": "8", "name": "linkage_GLT", "value": 4198401}, {"parameter": "9", "name": "linkage_GLT", "value": 34604033}, {"parameter": "10", "name": "linkage_GLT", "value": 268697633}, {"parameter": "11", "name": "linkage_GLT", "value": 268500993}, {"parameter": "12", "name": "linkage_GLT", "value": 268713985}, {"parameter": "13", "name": "linkage_GLT", "value": 269488129}, {"parameter": "14", "name": "linkage_GLT", "value": 269493249}, {"parameter": "5", "name": "improved_linkage", "value": 269488167}, {"parameter": "6", "name": "improved_linkage", "value": 67372041}, {"parameter": "7", "name": "improved_linkage", "value": 16843009}, {"parameter": "8", "name": "improved_linkage", "value": 4210705}, {"parameter": "9", "name": "improved_linkage", "value": 34607105}, {"parameter": "10", "name": "improved_linkage", "value": 268698625}, {"parameter": "11", "name": "improved_linkage", "value": 268501025}, {"parameter": "12", "name": "improved_linkage", "value": 268713985}, {"parameter": "13", "name": "improved_linkage", "value": 269488129}, {"parameter": "14", "name": "improved_linkage", "value": 269493249}, {"parameter": "15", "name": "improved_linkage", "value": 33686753}, {"parameter": "5,0", "name": "generalized_linkage", "value": 268698633}, {"parameter": "5,1", "name": "generalized_linkage", "value": 269488167}, {"parameter": "6,0", "name": "generalized_linkage", "value": 67174657}, {"parameter": "6,1", "name": "generalized_linkage", "value": 67372041}, {"parameter": "7,0", "name": "generalized_linkage", "value": 16793617}, {"parameter": "7,1", "name": "generalized_linkage", "value": 16843009}, {"parameter": "8,0", "name": "generalized_linkage", "value": 4198401}, {"parameter": "8,1", "name": "generalized_linkage", "value": 4210705}, {"parameter": "9,0", "name": "generalized_linkage", "value": 34604033}, {"parameter": "9,1", "name": "generalized_linkage", "value": 34607105}, {"parameter": "10,0", "name": "generalized_linkage", "value": 268697633}, {"parameter": "10,1", "name": "generalized_linkage", "value": 268698625}, {"parameter": "11,0", "name": "generalized_linkage", "value": 268500993}, {"parameter": "11,1", "name": "generalized_linkage", "value": 268501025}, {"parameter": "12,0", "name": "generalized_linkage", "value": 268713985}, {"parameter": "12,1", "name": "generalized_linkage", "value": 268713985}, {"parameter": "13,0", "name": "generalized_linkage", "value": 269488129}, {"parameter": "13,1", "name": "generalized_linkage", "value": 269488129}, {"parameter": "14,0", "name": "generalized_linkage", "value": 269493249}, {"parameter": "14,1", "name": "generalized_linkage", "value": 269493249}, {"parameter": "15,1", "name": "generalized_linkage", "value": 33686753}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 268698633}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 269488167}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 67174657}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 67372041}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16793617}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16843009}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4198401}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4210705}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 34604033}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 34607105}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 268697633}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 268698625}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 268500993}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 268501025}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 268713985}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 268713985}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 269488129}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 269488129}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 269493249}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 269493249}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 33686753}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 34604033}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34607105}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 268697633}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 268698625}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 268697633}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 268698625}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 268500993}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 268501025}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 268500993}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 268501025}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 268451841}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 268451841}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 268451841}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 268451841}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 268439553}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 268439553}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 268570625}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 268570625}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 268469249}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 268469249}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 269485057}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 269485057}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 33587233}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 33685537}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 8650785}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 8651777}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 67174401}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 67174433}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 67174401}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 67174433}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 67125249}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 67125249}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 67125249}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 67125249}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 67112961}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 67112961}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 67112961}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 67112961}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 67109889}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 67109889}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 67142657}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 67142657}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8389665}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 8421409}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2162689}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2162721}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16793601}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16793601}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16793601}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16793601}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16781313}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16781313}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16781313}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16781313}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16778241}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16778241}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16778241}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16778241}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2097185}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2098209}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 540673}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 540673}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4198401}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4198401}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4198401}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4198401}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4195329}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4195329}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4195329}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4195329}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 524321}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 524321}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4329473}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4329473}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 34604033}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 34604033}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 34604033}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34604033}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4325409}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4325409}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 33588225}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 33588225}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 33587233}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 33587233}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4195361}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4329473}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4329473}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 34604033}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 34604033}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 34604033}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34604033}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4325409}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4325409}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 33588225}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 33588225}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 33588225}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 33588225}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 33587233}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 33587233}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 33587233}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 33587233}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4195361}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4195361}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1082369}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1082369}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1081377}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1081377}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1049633}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1049633}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 33825}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 69890}], "request": [2, 19, 8, 5], "liftedmrdsizebound": 269713486, "comments": "", "equal_bound_constraints": []}