{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 310804949350361548416923680}, {"parameter": "", "name": "singleton", "value": 9741692640081640}, {"parameter": "3", "name": "ilp_2", "value": 5869182720828016}, {"parameter": "4", "name": "ilp_2", "value": 1169670891729495515644}, {"parameter": "6", "name": "ilp_3", "value": 853859750962531726420120}, {"parameter": "7", "name": "ilp_3", "value": 3124829829689045659360}, {"parameter": "", "name": "anticode", "value": 5869182720828016}, {"parameter": "", "name": "linear_programming_bound", "value": 5869182720828016}, {"parameter": "", "name": "sphere_packing", "value": 9666737663298132259}, {"parameter": "1", "name": "ilp_1", "value": 5869045285084798}, {"parameter": "2", "name": "ilp_1", "value": 5869045285565072}, {"parameter": "8", "name": "ilp_4", "value": 3071479076499232684688}, {"parameter": "9", "name": "ilp_4", "value": 3071267646830052448328}, {"parameter": "10", "name": "ilp_4", "value": 3071267646830052448328}, {"parameter": "11", "name": "ilp_4", "value": 346778217723642606738}, {"parameter": "12", "name": "ilp_4", "value": 38480181407832039954}, {"parameter": "13", "name": "ilp_4", "value": 4276207990733351449}, {"parameter": "14", "name": "ilp_4", "value": 475413342489143881}, {"parameter": "15", "name": "ilp_4", "value": 52821120394334474}, {"parameter": "", "name": "johnson_1", "value": 5869045285084798}, {"parameter": "", "name": "johnson_2", "value": 52821120394334474}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 310804949350361548416923680}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 3124829829689045659360}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 3071479076499232684688}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 3071267646830052448328}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 3071267646830052448328}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 346778217723642606738}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 38480181407832039954}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 4276207990733351449}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 475413342489143881}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 52821120394334474}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 1169670891729495515644}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 9666737663298132259}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 9666845901184560054}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 9667170629387530059}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 9668144944908675075}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 3188296940624293718}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1071603019477311316}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 357740064439943108}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 120329965230721219}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 41124055404491240}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 14841083915225309}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 6575580207222661}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 5869182720828016}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 5869211435133654}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 5869297579414853}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 5869556024537599}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 5870331470434307}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 5872658803316050}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 5879649770457466}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 5900703707445957}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 5964603557880947}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 6163189601761609}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 6828308532757884}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 9741692640081640}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 310804949350361548416923680}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1169670891729495515644}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 5869182720828016}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 5869045285565072}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 5869045285084798}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 9666737663298132259}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 9747292890898216562}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 9997220551589518229}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 10830311697204135733}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 14440354542709017013}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 3124829829689045659360}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 3136307235017285176224}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 3171153896459221990656}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 3279565574439279375498}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 3643947527785951949509}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 5263390747480701708292}, {"parameter": "", "name": "improved_johnson", "value": 5869045285084796}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 4284363641655116714}], "known_codes": [], "upper_bound": 5869045285084796, "classified": false, "lower_bound": 5559443337999865, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 5559060566555523}, {"parameter": "", "name": "sphere_covering", "value": 4850659156542}, {"parameter": "", "name": "graham_sloane", "value": 335457712162}, {"parameter": "", "name": "multicomponent", "value": 5559343010440912}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 5559060566555524}, {"parameter": "", "name": "two_pivot_block_construction", "value": 5559343010441640}, {"parameter": "(5, 11)", "name": "CKMP2019_Lem_41", "value": 5559060954002688}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 205891146444309}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 7625597544064}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 68912806901608}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 617966286173632}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 5559352294183741}, {"parameter": "(11, 5)", "name": "CKMP2019_Lem_41", "value": 5559443337998656}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Lem_41", "value": 5559060953976013}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Lem_41", "value": 5559060580904431}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Lem_41", "value": 205891146443557}, {"parameter": "(5, 11)", "name": "CKMP2019_Cor_42", "value": 5559060954002688}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 205891146444309}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 7625597544064}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 68912806901608}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 617966286173632}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 5559352294183741}, {"parameter": "(11, 5)", "name": "CKMP2019_Cor_42", "value": 5559443337998656}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Cor_42", "value": 5559060953976013}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Cor_42", "value": 5559060580904431}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Cor_42", "value": 205891146443557}, {"parameter": "5", "name": "linkage_ST", "value": 5559443337998656}, {"parameter": "6", "name": "linkage_ST", "value": 5559352294183741}, {"parameter": "7", "name": "linkage_ST", "value": 617966286173632}, {"parameter": "8", "name": "linkage_ST", "value": 68912806901608}, {"parameter": "9", "name": "linkage_ST", "value": 7625597544064}, {"parameter": "10", "name": "linkage_ST", "value": 205891146444309}, {"parameter": "11", "name": "linkage_ST", "value": 5559060954002688}, {"parameter": "12", "name": "linkage_ST", "value": 10461089979}, {"parameter": "13", "name": "linkage_ST", "value": 282449429766}, {"parameter": "14", "name": "linkage_ST", "value": 7626134606310}, {"parameter": "15", "name": "linkage_ST", "value": 205905634386030}, {"parameter": "5", "name": "construction_D", "value": 5559443337998655}, {"parameter": "6", "name": "construction_D", "value": 5559352294183740}, {"parameter": "7", "name": "construction_D", "value": 617966286173631}, {"parameter": "8", "name": "construction_D", "value": 68912806901364}, {"parameter": "9", "name": "construction_D", "value": 7625597484987}, {"parameter": "10", "name": "construction_D", "value": 205891132094649}, {"parameter": "11", "name": "construction_D", "value": 5559060566555523}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 5559060954002688}, {"parameter": "6", "name": "linkage_GLT", "value": 205891146444309}, {"parameter": "7", "name": "linkage_GLT", "value": 7625597544064}, {"parameter": "8", "name": "linkage_GLT", "value": 68912806901608}, {"parameter": "9", "name": "linkage_GLT", "value": 617966286173632}, {"parameter": "10", "name": "linkage_GLT", "value": 5559352294183741}, {"parameter": "11", "name": "linkage_GLT", "value": 5559443337998656}, {"parameter": "5", "name": "improved_linkage", "value": 5559343015985289}, {"parameter": "6", "name": "improved_linkage", "value": 205901593184628}, {"parameter": "7", "name": "improved_linkage", "value": 7625984932152}, {"parameter": "8", "name": "improved_linkage", "value": 68912821251024}, {"parameter": "9", "name": "improved_linkage", "value": 617966286232708}, {"parameter": "10", "name": "improved_linkage", "value": 5559352294183984}, {"parameter": "11", "name": "improved_linkage", "value": 5559443337998656}, {"parameter": "12", "name": "improved_linkage", "value": 617716902169972}, {"parameter": "13", "name": "improved_linkage", "value": 68635211433139}, {"parameter": "5,0", "name": "generalized_linkage", "value": 5559071415076143}, {"parameter": "5,1", "name": "generalized_linkage", "value": 5559071027645502}, {"parameter": "5,2", "name": "generalized_linkage", "value": 5559343015985289}, {"parameter": "6,0", "name": "generalized_linkage", "value": 205892437913709}, {"parameter": "6,1", "name": "generalized_linkage", "value": 205891519541814}, {"parameter": "6,2", "name": "generalized_linkage", "value": 205901593184628}, {"parameter": "7,0", "name": "generalized_linkage", "value": 7625613494854}, {"parameter": "7,1", "name": "generalized_linkage", "value": 7625611834647}, {"parameter": "7,2", "name": "generalized_linkage", "value": 7625984932152}, {"parameter": "8,0", "name": "generalized_linkage", "value": 68912807101444}, {"parameter": "8,1", "name": "generalized_linkage", "value": 68912806960441}, {"parameter": "8,2", "name": "generalized_linkage", "value": 68912821251024}, {"parameter": "9,0", "name": "generalized_linkage", "value": 617966286174841}, {"parameter": "9,1", "name": "generalized_linkage", "value": 617966286173875}, {"parameter": "9,2", "name": "generalized_linkage", "value": 617966286232708}, {"parameter": "10,0", "name": "generalized_linkage", "value": 5559352294184950}, {"parameter": "10,1", "name": "generalized_linkage", "value": 5559352294183741}, {"parameter": "10,2", "name": "generalized_linkage", "value": 5559352294183984}, {"parameter": "11,0", "name": "generalized_linkage", "value": 5559443337999865}, {"parameter": "11,1", "name": "generalized_linkage", "value": 5559443337998656}, {"parameter": "11,2", "name": "generalized_linkage", "value": 5559443337998656}, {"parameter": "12,1", "name": "generalized_linkage", "value": 617716902169972}, {"parameter": "12,2", "name": "generalized_linkage", "value": 617716902169972}, {"parameter": "13,2", "name": "generalized_linkage", "value": 68635211433139}, {"parameter": "[5, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559071415076143}, {"parameter": "[5, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559071027645502}, {"parameter": "[5, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559343015985289}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205892437913709}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891519541814}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205901593184628}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7625613494854}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7625611834647}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7625984932152}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 68912807101444}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 68912806960441}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68912821251024}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 617966286174841}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 617966286173875}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 617966286232708}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559352294184950}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559352294183741}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559352294183984}, {"parameter": "[11, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559443337999865}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559443337998656}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559443337998656}, {"parameter": "[12, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 617716902169972}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 617716902169972}, {"parameter": "[13, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68635211433139}, {"parameter": "[5, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 68912806990180}, {"parameter": "[5, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68912808555520}, {"parameter": "[5, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68913208691844}, {"parameter": "[5, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 617683856637934}, {"parameter": "[5, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 617683856643982}, {"parameter": "[5, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 617683858291306}, {"parameter": "[5, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 617683856637934}, {"parameter": "[5, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 617683856643982}, {"parameter": "[5, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 617683858291306}, {"parameter": "[5, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559071414329999}, {"parameter": "[5, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559071414329243}, {"parameter": "[5, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559071414336047}, {"parameter": "[5, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559060953976796}, {"parameter": "[5, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060953976040}, {"parameter": "[5, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060953982844}, {"parameter": "[5, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559060953976796}, {"parameter": "[5, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060953976040}, {"parameter": "[5, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060953982844}, {"parameter": "[5, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559060968327467}, {"parameter": "[5, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060968324947}, {"parameter": "[5, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060968324947}, {"parameter": "[5, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559060580906978}, {"parameter": "[5, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060580904458}, {"parameter": "[5, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060580904458}, {"parameter": "[5, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559064067691379}, {"parameter": "[5, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559064067688859}, {"parameter": "[5, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559064067688859}, {"parameter": "[5, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 617673397937347}, {"parameter": "[5, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 617673397937347}, {"parameter": "[5, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 617673410691931}, {"parameter": "[5, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 617673410691931}, {"parameter": "[5, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 617676884721748}, {"parameter": "[5, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 617676884721748}, {"parameter": "[5, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68630379025087}, {"parameter": "[5, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68630391720622}, {"parameter": "[5, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68633864332291}, {"parameter": "[6, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2552326182715}, {"parameter": "[6, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2552326203736}, {"parameter": "[6, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2552331557539}, {"parameter": "[6, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179877998}, {"parameter": "[6, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179875541}, {"parameter": "[6, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22877179897654}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179877998}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179875541}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22877179897654}, {"parameter": "[6, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205892437847734}, {"parameter": "[6, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205892437845277}, {"parameter": "[6, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205892437845277}, {"parameter": "[6, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891146446104}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891146443647}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891146443647}, {"parameter": "[6, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891146446104}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891146443647}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891146443647}, {"parameter": "[6, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876797828511}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876797828511}, {"parameter": "[6, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876792514101}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876792514101}, {"parameter": "[6, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876806863008}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876806863008}, {"parameter": "[6, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2541865850533}, {"parameter": "[6, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2541865887712}, {"parameter": "[6, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2541880184131}, {"parameter": "[7, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 94530602839}, {"parameter": "[7, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 94530599587}, {"parameter": "[7, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 94530665440}, {"parameter": "[7, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 847302965938}, {"parameter": "[7, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 847302958621}, {"parameter": "[7, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 847302958621}, {"parameter": "[7, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 847302965938}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 847302958621}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847302958621}, {"parameter": "[7, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 847304611993}, {"parameter": "[7, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 847304611993}, {"parameter": "[7, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 847288668763}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 847288668763}, {"parameter": "[7, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 847288668763}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847288668763}, {"parameter": "[7, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 94143244951}, {"parameter": "[7, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 94143179341}, {"parameter": "[7, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 94143238390}, {"parameter": "[8, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 850789753411}, {"parameter": "[8, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 850789743571}, {"parameter": "[8, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850789743571}, {"parameter": "[8, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 850775453713}, {"parameter": "[8, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775453713}, {"parameter": "[8, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 850775453713}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775453713}, {"parameter": "[8, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775593924}, {"parameter": "[8, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775394907}, {"parameter": "[8, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775394907}, {"parameter": "[9, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 847690439098}, {"parameter": "[9, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847690439098}, {"parameter": "[9, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 847690380292}, {"parameter": "[9, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847690380292}, {"parameter": "[10, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847333074793}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 851177167972}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 851177163604}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 851177163604}, {"parameter": "[5, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 850777047580}, {"parameter": "[5, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 850777047580}, {"parameter": "[5, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 850777047580}, {"parameter": "[5, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850777047580}, {"parameter": "[5, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775482660}, {"parameter": "[5, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775401012}, {"parameter": "[5, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775401012}, {"parameter": "[5, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 847304612506}, {"parameter": "[5, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847304612506}, {"parameter": "[5, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 847304612506}, {"parameter": "[5, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847304612506}, {"parameter": "[5, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 847302965938}, {"parameter": "[5, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847302965938}, {"parameter": "[5, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 847302965938}, {"parameter": "[5, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847302965938}, {"parameter": "[5, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847290270403}, {"parameter": "[5, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847288676080}, {"parameter": "[5, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847288676080}, {"parameter": "[6, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3506507950}, {"parameter": "[6, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3506507950}, {"parameter": "[6, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3501156604}, {"parameter": "[6, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3501156604}, {"parameter": "[6, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3486868111}, {"parameter": "[6, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3486868111}, {"parameter": "[7, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 14477332}, {"parameter": "", "name": "JohnsonLB", "value": 5551727500214595}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 848524744839}], "request": [3, 16, 6, 5], "liftedmrdsizebound": 5559555460841464, "comments": "", "equal_bound_constraints": []}