{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 7906721240160746987619507371870782509541}, {"parameter": "", "name": "singleton", "value": 448896535558672700374937061}, {"parameter": "4", "name": "ilp_2", "value": 316016086469325338441235694}, {"parameter": "5", "name": "ilp_2", "value": 1413832016844407189325434651437222}, {"parameter": "7", "name": "ilp_3", "value": 1447852268844670754004670824367475281}, {"parameter": "8", "name": "ilp_3", "value": 331392142102236382239567595414849}, {"parameter": "", "name": "anticode", "value": 316016086469325338441235694}, {"parameter": "", "name": "linear_programming_bound", "value": 316016086469325338441235694}, {"parameter": "", "name": "sphere_packing", "value": 1035774556389832897595723657620}, {"parameter": "1", "name": "ilp_1", "value": 316015549642473050685665102}, {"parameter": "2", "name": "ilp_1", "value": 316015549642473050707712105}, {"parameter": "3", "name": "ilp_1", "value": 316015549642565885177678057}, {"parameter": "9", "name": "ilp_4", "value": 331392142102236382239567595414849}, {"parameter": "10", "name": "ilp_4", "value": 331392069187346465829928388965714}, {"parameter": "11", "name": "ilp_4", "value": 331392069169614511864099541600472}, {"parameter": "12", "name": "ilp_4", "value": 331392069169614511864099541600472}, {"parameter": "13", "name": "ilp_4", "value": 20707030980444266230212556286634}, {"parameter": "14", "name": "ilp_4", "value": 1294267239343722255911091539201}, {"parameter": "15", "name": "ilp_4", "value": 80900208549164267280858588215}, {"parameter": "16", "name": "ilp_4", "value": 5056244047586477561080063311}, {"parameter": "", "name": "johnson_1", "value": 316015549642473050685665102}, {"parameter": "", "name": "johnson_2", "value": 5056244047586477561080063311}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 7906721240160746987619507371870782509541}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 331392142102236382239567595414849}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 331392142102236382239567595414849}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 331392069187346465829928388965714}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 331392069169614511864099541600472}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 331392069169614511864099541600472}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 20707030980444266230212556286634}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1294267239343722255911091539201}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 80900208549164267280858588215}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 5056244047586477561080063311}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1413832016844407189325434651437222}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1035774556389832897595723657620}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1032740613529602994423281631372}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1032741482281528234272104596490}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1032753290588295490406744237293}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1032800534529362518114186739948}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 258959336703964566527891822715}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 64772433738054910199215905217}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 16243488777655320758568817876}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 4109121153135868121148973610}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1078615739027708539311844991}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 337001283667012899415009619}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 316016086469325338441235694}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 316016156897300693804072548}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 316016438609465692703156313}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 316017565462342943431110431}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 316022072941329050405951997}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 316040103936972552543310735}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 316112245198918957160106589}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 316401086984904991767708263}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 317560899174561714227295965}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 322272389099492073120563677}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 342350672664862080857636827}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 448896535558672700374937061}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 7906721240160746987619507371870782509541}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1413832016844407189325434651437222}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 316016086469325338441235694}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 316015549642565885177678057}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 316015549642473050707712105}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 316015549642473050685665102}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1035774556389832897595723657620}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1036533921356744214975580258354}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1039582548348237636831415723270}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1051958522074715389891218648981}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1104556408051859808681912640361}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1380695246734128811489362905681}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 331392142102236382239567595414849}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 331468010049526617654543170069177}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 331771773851458541607930354533143}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 332991519514256703629922251370691}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 337946736015857271979658038940495}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 359068341795197523036833814755575}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 471276749188750005563056686387685}, {"parameter": "", "name": "improved_johnson", "value": 316015549642473050685665097}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 323619294047550900229976084808}], "known_codes": [], "upper_bound": 316015549642473050685665097, "classified": false, "lower_bound": 309486208859711440279978012, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 309485009821345068724781056}, {"parameter": "", "name": "sphere_covering", "value": 3394631590017140845211}, {"parameter": "", "name": "graham_sloane", "value": 80367040746736387460}, {"parameter": "", "name": "multicomponent", "value": 309485028268089211153809409}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 309485009821346649159122972}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 309486208859711440279978012}, {"parameter": "", "name": "two_pivot_block_construction", "value": 309486190417469385763454976}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 19342919149626784846094416}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 309485115857137855763818048}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 309485115857137872675251776}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1208925923209216765543548}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1208925923209284411278460}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4722366585625323308828}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 4722366585638208210716}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 76756902090821400936476}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 76756902090808516034588}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1209223921881627910357020}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1209223921881560264622108}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 19342905775397997557465116}, {"parameter": "(6,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 19342905775397980646031388}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 309485115857137855495382592}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1208925923209215691801724}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 4722366585621028341532}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 76756902090804221067292}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 1209223921881559190880284}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 19342905775397980377595932}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 309485115857137855495382592}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1208925923209215691801724}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 4722366585621028341532}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 76756902090804221067292}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 1209223921881559190880284}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 19342905775397980377595932}, {"parameter": "6", "name": "linkage_GLT", "value": 309485009821345137444586992}, {"parameter": "7", "name": "linkage_GLT", "value": 1208925819614629191487529}, {"parameter": "8", "name": "linkage_GLT", "value": 4722366482869645217857}, {"parameter": "9", "name": "linkage_GLT", "value": 76756902090705444274177}, {"parameter": "10", "name": "linkage_GLT", "value": 1209223921881164082577409}, {"parameter": "11", "name": "linkage_GLT", "value": 19342905775396399943254017}, {"parameter": "6", "name": "improved_linkage", "value": 309485028268160807488274522}, {"parameter": "7", "name": "improved_linkage", "value": 1208925891672499656134657}, {"parameter": "8", "name": "improved_linkage", "value": 4722366764346165203100}, {"parameter": "9", "name": "improved_linkage", "value": 76756902090774164080112}, {"parameter": "10", "name": "improved_linkage", "value": 1209223921881164099358761}, {"parameter": "11", "name": "improved_linkage", "value": 19342905775396399943258177}, {"parameter": "12", "name": "improved_linkage", "value": 19342919167142087144505345}, {"parameter": "13", "name": "improved_linkage", "value": 1208930457566949614288897}, {"parameter": "14", "name": "improved_linkage", "value": 75558157265975269236737}, {"parameter": "6,0", "name": "generalized_linkage", "value": 309485115857137855495382592}, {"parameter": "6,1", "name": "generalized_linkage", "value": 309485009898188158681888348}, {"parameter": "6,2", "name": "generalized_linkage", "value": 309485009893402939206209537}, {"parameter": "6,3", "name": "generalized_linkage", "value": 309485028268160807488274522}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1208925923209215691801724}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1208925819633389681726704}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1208925819896105694695580}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1208925891672499656134657}, {"parameter": "8,0", "name": "generalized_linkage", "value": 4722366585621028341532}, {"parameter": "8,1", "name": "generalized_linkage", "value": 4722366482887920107113}, {"parameter": "8,2", "name": "generalized_linkage", "value": 4722366482938365019632}, {"parameter": "8,3", "name": "generalized_linkage", "value": 4722366764346165203100}, {"parameter": "9,0", "name": "generalized_linkage", "value": 76756902090804221067292}, {"parameter": "9,1", "name": "generalized_linkage", "value": 76756902090705462453585}, {"parameter": "9,2", "name": "generalized_linkage", "value": 76756902090705461055529}, {"parameter": "9,3", "name": "generalized_linkage", "value": 76756902090774164080112}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1209223921881559190880284}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1209223921881164082594881}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1209223921881164082581569}, {"parameter": "10,3", "name": "generalized_linkage", "value": 1209223921881164099358761}, {"parameter": "11,0", "name": "generalized_linkage", "value": 19342905775397980377595932}, {"parameter": "11,1", "name": "generalized_linkage", "value": 19342905775396399943323921}, {"parameter": "11,2", "name": "generalized_linkage", "value": 19342905775396399943254017}, {"parameter": "11,3", "name": "generalized_linkage", "value": 19342905775396399943258177}, {"parameter": "12,1", "name": "generalized_linkage", "value": 19342919167142087144598437}, {"parameter": "12,2", "name": "generalized_linkage", "value": 19342919167142087144505345}, {"parameter": "12,3", "name": "generalized_linkage", "value": 19342919167142087144505345}, {"parameter": "13,2", "name": "generalized_linkage", "value": 1208930457566949614288897}, {"parameter": "13,3", "name": "generalized_linkage", "value": 1208930457566949614288897}, {"parameter": "14,3", "name": "generalized_linkage", "value": 75558157265975269236737}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 309485115857137855495382592}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 309485009898188158681888348}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 309485009893402939206209537}, {"parameter": "[6, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485028268160807488274522}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925923209215691801724}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925819633389681726704}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925819896105694695580}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208925891672499656134657}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366585621028341532}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482887920107113}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938365019632}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366764346165203100}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 76756902090804221067292}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 76756902090705462453585}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 76756902090705461055529}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 76756902090774164080112}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1209223921881559190880284}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1209223921881164082594881}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209223921881164082581569}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209223921881164099358761}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342905775397980377595932}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342905775396399943323921}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342905775396399943254017}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342905775396399943258177}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342919167142087144598437}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342919167142087144505345}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342919167142087144505345}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208930457566949614288897}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208930457566949614288897}, {"parameter": "[14, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 75558157265975269236737}, {"parameter": "[6, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 75576310476308228456448}, {"parameter": "[6, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 75576310476408524527388}, {"parameter": "[6, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 75576336363892201542780}, {"parameter": "[6, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 75682346262774803572288}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925892209310215534288}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925891672255615980108}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925891678643704190748}, {"parameter": "[6, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208925917566127381206140}, {"parameter": "[6, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925892209310215534288}, {"parameter": "[6, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925891672255615980108}, {"parameter": "[6, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925891678643704190748}, {"parameter": "[6, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208925917566127381206140}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813227305965344392720}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813190677156680805852}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813190676736980324380}, {"parameter": "[6, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813190683155928864540}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813150744771679094288}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115963015507420}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115543315025948}, {"parameter": "[6, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813114121962263566108}, {"parameter": "[6, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813150744771679094288}, {"parameter": "[6, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115963015507420}, {"parameter": "[6, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115543315025948}, {"parameter": "[6, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813114121962263566108}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342919149119313785499100}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342919149118894085017628}, {"parameter": "[6, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342919149118894085017628}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813113853248455945692}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113852828755464220}, {"parameter": "[6, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813113852828755464220}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813113834556758273500}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113834137057792028}, {"parameter": "[6, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813113834137057792028}, {"parameter": "[6, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114120429781495260}, {"parameter": "[6, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813114120010081013788}, {"parameter": "[6, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342813114120010081013788}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925845502151427133468}, {"parameter": "[6, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208925845502151427133468}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614635297902620}, {"parameter": "[6, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614635297902620}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614700527718428}, {"parameter": "[6, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614700527718428}, {"parameter": "[6, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925819896175101775900}, {"parameter": "[6, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208925819896175101775900}, {"parameter": "[6, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 75557863732236061921308}, {"parameter": "[6, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 75557863725920519299100}, {"parameter": "[6, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 75557863725984602857500}, {"parameter": "[6, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 75557864007392191549468}, {"parameter": "[7, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 295219988058802864128}, {"parameter": "[7, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 295219962779563950108}, {"parameter": "[7, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 295219988460060624668}, {"parameter": "[7, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 295323557359907849340}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722368913086102812368}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764474259046988}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366764350795120668}, {"parameter": "[7, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366790031291795228}, {"parameter": "[7, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722368913086102812368}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764474259046988}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366764350795120668}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366790031291795228}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366503315344956892}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366501636235558940}, {"parameter": "[7, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366501636235558940}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366484623647284700}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482944537886748}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366482944537886748}, {"parameter": "[7, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366484623647284700}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482944537886748}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366482944537886748}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722470051923822346268}, {"parameter": "[7, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722470051923822346268}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482880398589980}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366482880398589980}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482875835187228}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366482875835187228}, {"parameter": "[7, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482945628405788}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366482945628405788}, {"parameter": "[7, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 295147930470938132508}, {"parameter": "[7, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 295147905185527140380}, {"parameter": "[7, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 295147905185543065628}, {"parameter": "[7, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 295147905254262444060}, {"parameter": "[8, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153304125862166528}, {"parameter": "[8, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203004277473308}, {"parameter": "[8, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1153203004277473308}, {"parameter": "[8, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153305730966685468}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922091898552908}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921598020239388}, {"parameter": "[8, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152921598020239388}, {"parameter": "[8, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922091898552908}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921598020239388}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152921598020239388}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921547571150876}, {"parameter": "[8, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152921547571150876}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921529317539868}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152921529317539868}, {"parameter": "[8, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921529317539868}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152921529317539868}, {"parameter": "[8, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153022675579371548}, {"parameter": "[8, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152921529305223196}, {"parameter": "[8, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152921529300766748}, {"parameter": "[8, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152921529317806108}, {"parameter": "[9, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1171217545589309468}, {"parameter": "[9, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1171217545589309468}, {"parameter": "[9, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1171217545589309468}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1171217476886609948}, {"parameter": "[9, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1171217476886609948}, {"parameter": "[9, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1171217476886609948}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1171217476886609948}, {"parameter": "[9, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1171217476887728156}, {"parameter": "[9, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1171217476869836828}, {"parameter": "[9, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1171217476869836828}, {"parameter": "[10, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1153206192207183900}, {"parameter": "[10, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153206192207183900}, {"parameter": "[10, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153206192190410780}, {"parameter": "[10, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153206192190410780}, {"parameter": "[11, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152928608100700188}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 107188494125525745664}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 107188494125525745664}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 107188494125525745664}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1179096820488454144}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1179096820488454144}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1179096820488454144}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1179096820488454144}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153215619974529024}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153215619974529024}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153215619974529024}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1179346181038634704}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1179346181038634704}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1179346181038634704}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1179346181038634704}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153464980524709584}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153464980524709584}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153464980524709584}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153464980524709584}, {"parameter": "[6, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1189557059289597456}, {"parameter": "[6, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1189557054726194704}, {"parameter": "[6, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1189557054726194704}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 103875877112233984}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 103875877112233984}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 332114520408064}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 332114520408064}, {"parameter": "[7, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2455501886486224}, {"parameter": "[7, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2455501886486224}, {"parameter": "[8, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 202361293471744}, {"parameter": "", "name": "JohnsonLB", "value": 309467301167794369467050834}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 18889557384457732774548}], "request": [4, 17, 6, 6], "liftedmrdsizebound": 309486742179917468300633168, "comments": "", "equal_bound_constraints": []}