{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "", "name": "singleton", "value": 365015887882785053079719041834672291056}, {"parameter": "5", "name": "ilp_2", "value": 280353734208548278360038273757809566376}, {"parameter": "6", "name": "ilp_2", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "8", "name": "ilp_3", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "9", "name": "ilp_3", "value": 109513513312304355768254719250504246386128876}, {"parameter": "", "name": "anticode", "value": 280353734208548278360038273757809566376}, {"parameter": "", "name": "linear_programming_bound", "value": 280353734208548278360038273757809566376}, {"parameter": "", "name": "sphere_packing", "value": 730097206108725145069772253321837589717901}, {"parameter": "1", "name": "ilp_1", "value": 280353664757615558313195678473301626397}, {"parameter": "2", "name": "ilp_1", "value": 280353664757615558313195678473330953649}, {"parameter": "3", "name": "ilp_1", "value": 280353664757615558313218575741979392635}, {"parameter": "4", "name": "ilp_1", "value": 280353664757616678135630151495932331635}, {"parameter": "10", "name": "ilp_4", "value": 109507906219848599517769944559237692183018755}, {"parameter": "11", "name": "ilp_4", "value": 109507906073468351626173543723686556708267078}, {"parameter": "12", "name": "ilp_4", "value": 109507906073467361700000022668924362296082655}, {"parameter": "13", "name": "ilp_4", "value": 109507906073467361687333022375084796939586756}, {"parameter": "14", "name": "ilp_4", "value": 109507906073467361698974740762787701006050987}, {"parameter": "15", "name": "ilp_4", "value": 4380394120438446916976769780808121822567750}, {"parameter": "16", "name": "ilp_4", "value": 175221104550264962419409806255916600970092}, {"parameter": "17", "name": "ilp_4", "value": 7008840622190600173736124482104684644524}, {"parameter": "", "name": "johnson_1", "value": 280353664757615558313195678473301626397}, {"parameter": "", "name": "johnson_2", "value": 7008840622190600173736124482104684644524}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 109507906219848599517769944559237692183018755}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 109507906073468351626173543723686556708267078}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 109507906073467361700000022668924362296082655}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 109507906073467361687333022375084796939586756}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 109507906073467361698974740762787701006050987}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 4380394120438446916976769780808121822567750}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 175221104550264962419409806255916600970092}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 7008840622190600173736124482104684644524}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 730097206108725145069772253321837589717901}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 730097265915232104552561264844582364281713}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 730097564947913874987759844865993612315149}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 730099060114997062025660109043514717586606}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 730106536042272535098912968726784515006954}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 730143917975284148883274016843604939206355}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 146057202685994630889886076691750550012325}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 29250326914840235629019021716530140518917}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 5887791322541861999945825014697005982131}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1216810505546458861962982383133758279904}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 292031377588413298236896009382591832029}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 280353734208548278360038273757809566376}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 280353739719115931855546338349429332138}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 280353767271956997363718758380063108215}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 280353905036232275706130001944999041847}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 280354593859357441925265811684845710741}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 280358038018703194248955465945933918213}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 280375259908499809911168084910921392309}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 280461396692909949333280268727887666957}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 280892765093723771565297033559370762009}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 283066856803905361263426149551981788337}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 294386492059304680775564219248023730811}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 365015887882785053079719041834672291056}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 280353734208548278360038273757809566376}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 280353664757616678135630151495932331635}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 280353664757615558313218575741979392635}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 280353664757615558313195678473330953649}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 280353664757615558313195678472862167647}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 730097206108725145069772253321837589717901}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 730134589475150925195794513841363790664784}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 730321563746506502950974063322744078715245}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 731257873366792192788732223416928098338713}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 735975665708593474251069026504285294191424}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 760508185805443353304467094967685040291249}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 109514859031029930661541557345733131706289139}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 109521588051869901383407338191169780155037440}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 109555243839785480447954833622571166329200865}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 109723790299604934518770070173138497572033630}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 110573264453950683444737811486820954541196494}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 114996193132821420513334795577257042726795364}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 142595264882979563844964491038787206333791056}, {"parameter": "", "name": "improved_johnson", "value": 280353664757615558313195678473301626387}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 175221460533177570716396857075675495004793}], "known_codes": [], "upper_bound": 280353664757615558313195678472862167647, "classified": false, "lower_bound": 277555898273931997862551572409926204500, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 277555756156289135105907917022705078125}, {"parameter": "", "name": "sphere_covering", "value": 22049610782367013168770711461819}, {"parameter": "", "name": "graham_sloane", "value": 239235185348801790265883271610}, {"parameter": "", "name": "multicomponent", "value": 277555756165384082123637676239013671876}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 277555756156289898824785115805922298250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 277555898273931997862551572409926204500}, {"parameter": "", "name": "two_pivot_block_construction", "value": 277555898264909066117850548774715260928}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 17763580304242344496067336743695605}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 277555756168199374945759590444654246250}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 277555756168199374946055229482740183750}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 277555756168199374945757206411451121250}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 277555756168199374945757301626294871250}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 88817841973860200113921598313782625}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 88817841973860200123458341477845125}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 88817841973860200111556486009095125}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 88817841973860200113921598313782625}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 28421709431625866927293119563875}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 28421709431625865019944486751375}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 28421709431625865019944486751375}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 28421709431625866927293119563875}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 716236172623747086215552943782625}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 716236172623747083850440639095125}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 716236172623747095752296107845125}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 716236172623747086215552943782625}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 17764716235287521872975913344173250}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 17764716235287521872880698500423250}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 17764716235287522170903769789485750}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 17764716235287521875264731703548250}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 277555756168199374945757206258863230625}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 88817841973860200111537412522767000}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 28421709431625864543107328548250}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 716236172623747083831367152767000}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 17764716235287521872880545912532625}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 277555756168199374945757206258863230625}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 88817841973860200111537412522767000}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 28421709431625864543107328548250}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 716236172623747083831367152767000}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 17764716235287521872880545912532625}, {"parameter": "7", "name": "linkage_GLT", "value": 277555756156289135105907917028808988145}, {"parameter": "8", "name": "linkage_GLT", "value": 88817841970012523233890533447344376}, {"parameter": "9", "name": "linkage_GLT", "value": 28421709430404007434844970703126}, {"parameter": "10", "name": "linkage_GLT", "value": 716236172593198716640472412109376}, {"parameter": "11", "name": "linkage_GLT", "value": 17764716234523802995681762695312501}, {"parameter": "7", "name": "improved_linkage", "value": 277555756165384086780252458397252833133}, {"parameter": "8", "name": "improved_linkage", "value": 88817841972922908230811514326204500}, {"parameter": "9", "name": "improved_linkage", "value": 28421709430441260356943320718751}, {"parameter": "10", "name": "improved_linkage", "value": 716236172593198717117309865506250}, {"parameter": "11", "name": "improved_linkage", "value": 17764716234523802995681768799222520}, {"parameter": "12", "name": "improved_linkage", "value": 17763579390826635062694549560625626}, {"parameter": "13", "name": "improved_linkage", "value": 17763577508139617741584777832031251}, {"parameter": "14", "name": "improved_linkage", "value": 17763580303472783684929656982421876}, {"parameter": "15", "name": "improved_linkage", "value": 710543099558167294886543360000001}, {"parameter": "7,0", "name": "generalized_linkage", "value": 277555756168199374945757206258863230625}, {"parameter": "7,1", "name": "generalized_linkage", "value": 277555756156384447583347230111902625000}, {"parameter": "7,2", "name": "generalized_linkage", "value": 277555756156289256215157658758605878251}, {"parameter": "7,3", "name": "generalized_linkage", "value": 277555756156292045490904838003584017000}, {"parameter": "7,4", "name": "generalized_linkage", "value": 277555756165384086780252458397252833133}, {"parameter": "8,0", "name": "generalized_linkage", "value": 88817841973860200111537412522767000}, {"parameter": "8,1", "name": "generalized_linkage", "value": 88817841970165275408928044382844525}, {"parameter": "8,2", "name": "generalized_linkage", "value": 88817841970012524784089094440506250}, {"parameter": "8,3", "name": "generalized_linkage", "value": 88817841970012560486812631797281251}, {"parameter": "8,4", "name": "generalized_linkage", "value": 88817841972922908230811514326204500}, {"parameter": "9,0", "name": "generalized_linkage", "value": 28421709431625864543107328548250}, {"parameter": "9,1", "name": "generalized_linkage", "value": 28421709430413861372468115340820}, {"parameter": "9,2", "name": "generalized_linkage", "value": 28421709430404007454688782178145}, {"parameter": "9,3", "name": "generalized_linkage", "value": 28421709430404007911682424100000}, {"parameter": "9,4", "name": "generalized_linkage", "value": 28421709430441260356943320718751}, {"parameter": "10,0", "name": "generalized_linkage", "value": 716236172623747083831367152767000}, {"parameter": "10,1", "name": "generalized_linkage", "value": 716236172593198717266112582015820}, {"parameter": "10,2", "name": "generalized_linkage", "value": 716236172593198716640473693860651}, {"parameter": "10,3", "name": "generalized_linkage", "value": 716236172593198716640478516019395}, {"parameter": "10,4", "name": "generalized_linkage", "value": 716236172593198717117309865506250}, {"parameter": "11,0", "name": "generalized_linkage", "value": 17764716235287521872880545912532625}, {"parameter": "11,1", "name": "generalized_linkage", "value": 17764716234523802998809964826156445}, {"parameter": "11,2", "name": "generalized_linkage", "value": 17764716234523802995681762695393876}, {"parameter": "11,3", "name": "generalized_linkage", "value": 17764716234523802995681762695391251}, {"parameter": "11,4", "name": "generalized_linkage", "value": 17764716234523802995681768799222520}, {"parameter": "12,1", "name": "generalized_linkage", "value": 17763579390826635078335561496078320}, {"parameter": "12,2", "name": "generalized_linkage", "value": 17763579390826635062694549560953776}, {"parameter": "12,3", "name": "generalized_linkage", "value": 17763579390826635062694549560546876}, {"parameter": "12,4", "name": "generalized_linkage", "value": 17763579390826635062694549560625626}, {"parameter": "13,2", "name": "generalized_linkage", "value": 17763577508139617741584777834065751}, {"parameter": "13,3", "name": "generalized_linkage", "value": 17763577508139617741584777832031251}, {"parameter": "13,4", "name": "generalized_linkage", "value": 17763577508139617741584777832031251}, {"parameter": "14,3", "name": "generalized_linkage", "value": 17763580303472783684929656982421876}, {"parameter": "14,4", "name": "generalized_linkage", "value": 17763580303472783684929656982421876}, {"parameter": "15,4", "name": "generalized_linkage", "value": 710543099558167294886543360000001}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 277555756168199374945757206258863230625}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 277555756156384447583347230111902625000}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 277555756156289256215157658758605878251}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 277555756156292045490904838003584017000}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 277555756165384086780252458397252833133}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 88817841973860200111537412522767000}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 88817841970165275408928044382844525}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012524784089094440506250}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012560486812631797281251}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 88817841972922908230811514326204500}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 28421709431625864543107328548250}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 28421709430413861372468115340820}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007454688782178145}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007911682424100000}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 28421709430441260356943320718751}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 716236172623747083831367152767000}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 716236172593198717266112582015820}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 716236172593198716640473693860651}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 716236172593198716640478516019395}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 716236172593198717117309865506250}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 17764716235287521872880545912532625}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 17764716234523802998809964826156445}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 17764716234523802995681762695393876}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17764716234523802995681762695391251}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 17764716234523802995681768799222520}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763579390826635078335561496078320}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763579390826635062694549560953776}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763579390826635062694549560546876}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763579390826635062694549560625626}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763577508139617741584777834065751}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763577508139617741584777832031251}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763577508139617741584777832031251}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763580303472783684929656982421876}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763580303472783684929656982421876}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 710543099558167294886543360000001}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 710551830859559134706118271484375}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 710551830707119866401113691438875}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 710551830860780615710149463782625}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 710563740946957764442739576121250}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 17763580306383165240486907958984375}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763568397065328912004091904296875}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568396912889643699087324251375}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568397066550393008123096595125}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763580307152727541740713208933750}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 17763580306383165240486907958984375}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763568397065328912004091904296875}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568396912889643699087324251375}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568397066550393008123096595125}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763580307152727541740713208933750}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763568417904141641209428276193125}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394123674323057021993198875}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394123615785628713789095125}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394277276534937749561438875}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763568417783069706509416069161875}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002602388357009786167625}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002543850928701582063875}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394156204600237737354407625}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763568417783069706509416069161875}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002602388357009786167625}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002543850928701582063875}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394156204600237737354407625}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568489316495786971890670827000}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568489314925032645620527376375}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568489314925032645620527376375}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394004078902549588424733250}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002508148223318281282625}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002508148223318281282625}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394004077352828824264577000}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002506598502554121126375}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002506598502554121126375}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394004114903755032760670750}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002544149428762617220125}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002544149428762617220125}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763580303472784146061147871126375}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763580303472784146061147871126375}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394003726596981680097688875}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394003726596981680097688875}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002506598045559492220125}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002506598045559492220125}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002506598506374921907625}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002506598506374921907625}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002543853335897626985750}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002543853335897626985750}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735912543356671349394563875}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735760102152734721177376375}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735760102137138736064563875}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735760102137595602511360750}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735760139390044781171907625}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 227380402917566302675888671875}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 227376585875136501342814876375}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227376585875136501342814876375}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227380433503155379728196595125}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 227377492571773532290146484375}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373675529343730957072688875}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675529343730957072688875}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227377523157362609342454407625}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 227377492571773532290146484375}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373675529343730957072688875}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675529343730957072688875}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227377523157362609342454407625}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373676959404080384585386375}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675493641025573771907625}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675493641025573771907625}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373676957854359620425230125}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675492091304809611751375}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675492091304809611751375}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373676957854359620425230125}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675492091304809611751375}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675492091304809611751375}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373828234396012573283626375}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373828234396012573283626375}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675492090847814982845125}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675492090847814982845125}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675492090827978557063875}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675492090827978557063875}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373675492091308630412532625}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675492091308630412532625}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227377492583379397799221126375}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675494045929478816438875}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675492090827972707532625}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675492090827978605970125}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675492091304840423860750}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2911642155684617338313875}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2911642155684617338313875}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2911642155684617338313875}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2911604903258469877376375}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2911604903258469877376375}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2911604903258469877376375}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2911604903258469877376375}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2911604903258469877376375}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2911604903258469877376375}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2911604902801475248470125}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2911604902801475248470125}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2911604902781638822688875}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2911604902781638822688875}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2911604902781638822688875}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2911604902781638822688875}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2911614678389267011751375}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2911604902781632973157625}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2911604902781632719251375}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2911604902781638871595125}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2964251730609473842220125}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2964251730609473842220125}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2964251730132642787532625}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2964251730132642787532625}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2964251730132642787532625}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2964251730132642787532625}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2964251730132637955579500}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2964251730132636684095125}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2964251730132636684095125}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3674289985063169203548250}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3674289985063163100110750}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3674289985063163100110750}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11912533139066164400742187500}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11912533139066164400742187500}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3215302737681584687500000}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3215302737681584687500000}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 23821850938142221069335937500}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 23821850938142221069335937500}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11912533101813738253281250000}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11912533101813738253281250000}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11912533101813738253281250000}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11912533101813738253281250000}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7634219830519475312500000}, {"parameter": "", "name": "JohnsonLB", "value": 277555187721919534135101715468264203278}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 17763580308026953044695808092675975}], "request": [5, 18, 6, 7], "liftedmrdsizebound": 277555944476717040270188186657978038300, "comments": "", "equal_bound_constraints": []}