{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "", "name": "singleton", "value": 587953159580355890974683988909617412559591458771}, {"parameter": "5", "name": "ilp_2", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "7", "name": "ilp_3", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "", "name": "anticode", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "", "name": "linear_programming_bound", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "", "name": "sphere_packing", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "1", "name": "ilp_1", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "2", "name": "ilp_1", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "3", "name": "ilp_1", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "4", "name": "ilp_1", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "8", "name": "ilp_4", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "9", "name": "ilp_4", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "10", "name": "ilp_4", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "11", "name": "ilp_4", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "12", "name": "ilp_4", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "13", "name": "ilp_4", "value": 380993735915096986276633646095458166401677798313593}, {"parameter": "14", "name": "ilp_4", "value": 42332707255510503207996922868124632360386485997044}, {"parameter": "15", "name": "ilp_4", "value": 4703634031582059559756519617875974828819637214998}, {"parameter": "", "name": "johnson_1", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "", "name": "johnson_2", "value": 4703634031582059559756519617875974828819637214998}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 380993735915096986276633646095458166401677798313593}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 42332707255510503207996922868124632360386485997044}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 4703634031582059559756519617875974828819637214998}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 522626014301028472442299776805244924475778599367}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 522626015500111841476287925678451882916042466047}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 522626026291862410381960958002767278927727212237}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 522626123417637586119360648590027606008019648726}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 522626997551238673302246945734690642173518563368}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 522634864885235632547702093022786109160597594583}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 522705681551391935767762222261866899200359996742}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 523343896206122933097809502057652260963997092896}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 529158739757292512127071134274051859248889382334}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 587953159580355890974683988909617412559591458771}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 3428955731030789894753200289567984797608992545023616}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3429007349386073932434122438413159317999212616874872}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 3429471984527200956640544085170054832500397393030109}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 3433659373998077501868552356748431405192459618056047}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3471811144731649631312682907424454919139072134483763}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3857567937595016308705834953070576178084351138070085}, {"parameter": "", "name": "improved_johnson", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 380994436105350684921763604195923492784326511509588}], "known_codes": [], "upper_bound": 522626014167796987333721908341359424390012284056, "classified": false, "lower_bound": 515457138460139773028759563895406751585607978830, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 515377520732011331036461129765621272702107522001}, {"parameter": "", "name": "sphere_covering", "value": 7867319197667145452992620454692833425798263}, {"parameter": "", "name": "graham_sloane", "value": 8850717440619537723538822654066196184850090}, {"parameter": "", "name": "multicomponent", "value": 515377520879820160493198211357070781058082783366}, {"parameter": "", "name": "construction_ST_B", "value": 515456096352804642639664496683977583177420495370}, {"parameter": "", "name": "EF_special", "value": 515457138460139773028759130033330465293577720745}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 515377520734089853104919586233712339759137740402}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 515456084526526654493118320729850867228628516725}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 515456096352804642639651732107733245654328557850}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 515457138460139773028759563895406751585607978830}, {"parameter": "", "name": "two_pivot_block_construction", "value": 515456084378464312642106792004676347707890073600}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 6363788540927123266364143433344234403159733121}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 515456096500636003888279651005106959523558135136}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 515378623831802511944356905518466317737988035362}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 515378623831802511944350453299515210717190199050}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 515378623831802511944350444436578944084877954962}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 8729479070442486780378120379242572148192051}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 8729479070442486779739988834627592069285163}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 8729479070442486779660223742402437232413891}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 79533568271053298479743346502347402435107129}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 79533568271053298480460259719137071412644497}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 79533568271053298479743346502347402435107129}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 707205993835607705065625566237031784325011027}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 707205993835607705065705331329256939161882299}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 707205993835607705066343462873871919240789187}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 6363683967586268379863693309972848843874558562}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6363683967586268379863702172909115476186802650}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6363683967586268379870154391860222496984638962}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 515378623831802511944350444436577091064689103121}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 8729479070442486779660222391550719559421802}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 79533568271053298479742361731445218823874248}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 707205993835607705065625564886180066652018938}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 6363683967586268379863693309970995823685706721}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 515378623831802511944350444436577091064689103121}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 8729479070442486779660222391550719559421802}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 79533568271053298479742361731445218823874248}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 707205993835607705065625564886180066652018938}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 6363683967586268379863693309970995823685706721}, {"parameter": "6", "name": "linkage_GLT", "value": 515377520732011331036461129765771390892419586321}, {"parameter": "7", "name": "linkage_GLT", "value": 8727963568087712425891397479477009865834362}, {"parameter": "8", "name": "linkage_GLT", "value": 79533566166588911801611318080691550306874568}, {"parameter": "9", "name": "linkage_GLT", "value": 707205993832756514117859799303034692013788138}, {"parameter": "10", "name": "linkage_GLT", "value": 6363683965507746311405236841879928766655488321}, {"parameter": "6", "name": "improved_linkage", "value": 515377520879845748197753106701907663082815135457}, {"parameter": "7", "name": "improved_linkage", "value": 8727963570591301318989457850547712763586733}, {"parameter": "8", "name": "improved_linkage", "value": 79533566166588954200117801991115945788358575}, {"parameter": "9", "name": "improved_linkage", "value": 707205993832756514117939579422942246223646376}, {"parameter": "10", "name": "improved_linkage", "value": 6363683965507746311405236842030046956967552640}, {"parameter": "11", "name": "improved_linkage", "value": 6363776393271986204560843542698276711595874192}, {"parameter": "12", "name": "improved_linkage", "value": 6363788367839987679769166443005698717330120095}, {"parameter": "13", "name": "improved_linkage", "value": 707087450616665050681733274719802023833505605}, {"parameter": "14", "name": "improved_linkage", "value": 78565270490614169514996975590313634802670097}, {"parameter": "6,0", "name": "generalized_linkage", "value": 515378623831802511944350444436577091064689103121}, {"parameter": "6,1", "name": "generalized_linkage", "value": 515377534367173307998297555606576048001369185680}, {"parameter": "6,2", "name": "generalized_linkage", "value": 515377520900147072255569050279296012046735784572}, {"parameter": "6,3", "name": "generalized_linkage", "value": 515377520732239157625733053259388732375650142845}, {"parameter": "6,4", "name": "generalized_linkage", "value": 515377520879845748197753106701907663082815135457}, {"parameter": "7,0", "name": "generalized_linkage", "value": 8729479070442486779660222391550719559421802}, {"parameter": "7,1", "name": "generalized_linkage", "value": 8727982297367203601633071123487033959280169}, {"parameter": "7,2", "name": "generalized_linkage", "value": 8727963593748972714747424505504583849966408}, {"parameter": "7,3", "name": "generalized_linkage", "value": 8727963568122479201208204027481022598156069}, {"parameter": "7,4", "name": "generalized_linkage", "value": 8727963570591301318989457850547712763586733}, {"parameter": "8,0", "name": "generalized_linkage", "value": 79533568271053298479742361731445218823874248}, {"parameter": "8,1", "name": "generalized_linkage", "value": 79533566169444508687102537635189089279564829}, {"parameter": "8,2", "name": "generalized_linkage", "value": 79533566166592823514918945074638812026247204}, {"parameter": "8,3", "name": "generalized_linkage", "value": 79533566166588912390468383118349173269998543}, {"parameter": "8,4", "name": "generalized_linkage", "value": 79533566166588954200117801991115945788358575}, {"parameter": "9,0", "name": "generalized_linkage", "value": 707205993835607705065625564886180066652018938}, {"parameter": "9,1", "name": "generalized_linkage", "value": 707205993832756954653683473466400379856070861}, {"parameter": "9,2", "name": "generalized_linkage", "value": 707205993832756514184117297816385384623070722}, {"parameter": "9,3", "name": "generalized_linkage", "value": 707205993832756514117869771654417122446565737}, {"parameter": "9,4", "name": "generalized_linkage", "value": 707205993832756514117939579422942246223646376}, {"parameter": "10,0", "name": "generalized_linkage", "value": 6363683967586268379863693309970995823685706721}, {"parameter": "10,1", "name": "generalized_linkage", "value": 6363683965507746311471552637719400269845977945}, {"parameter": "10,2", "name": "generalized_linkage", "value": 6363683965507746311405237977595555980507550244}, {"parameter": "10,3", "name": "generalized_linkage", "value": 6363683965507746311405236841898696955078698910}, {"parameter": "10,4", "name": "generalized_linkage", "value": 6363683965507746311405236842030046956967552640}, {"parameter": "11,1", "name": "generalized_linkage", "value": 6363776393271986209932424125851288175175890480}, {"parameter": "11,2", "name": "generalized_linkage", "value": 6363776393271986204560843542717272423851548984}, {"parameter": "11,3", "name": "generalized_linkage", "value": 6363776393271986204560843542698276464815001399}, {"parameter": "11,4", "name": "generalized_linkage", "value": 6363776393271986204560843542698276711595874192}, {"parameter": "12,2", "name": "generalized_linkage", "value": 6363788367839987679769166443176662670755047212}, {"parameter": "12,3", "name": "generalized_linkage", "value": 6363788367839987679769166443005698717329648441}, {"parameter": "12,4", "name": "generalized_linkage", "value": 6363788367839987679769166443005698717330120095}, {"parameter": "13,3", "name": "generalized_linkage", "value": 707087450616665050681733274719802023833572034}, {"parameter": "13,4", "name": "generalized_linkage", "value": 707087450616665050681733274719802023833505605}, {"parameter": "14,4", "name": "generalized_linkage", "value": 78565270490614169514996975590313634802670097}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 515378623831802511944350444436577091064689103121}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 515377534367173307998297555606576048001369185680}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 515377520900147072255569050279296012046735784572}, {"parameter": "[6, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 515377520732239157625733053259388732375650142845}, {"parameter": "[6, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 515377520879845748197753106701907663082815135457}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8729479070442486779660222391550719559421802}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8727982297367203601633071123487033959280169}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8727963593748972714747424505504583849966408}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8727963568122479201208204027481022598156069}, {"parameter": "[7, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8727963570591301318989457850547712763586733}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79533568271053298479742361731445218823874248}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79533566169444508687102537635189089279564829}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79533566166592823514918945074638812026247204}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79533566166588912390468383118349173269998543}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79533566166588954200117801991115945788358575}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 707205993835607705065625564886180066652018938}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 707205993832756954653683473466400379856070861}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 707205993832756514184117297816385384623070722}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 707205993832756514117869771654417122446565737}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 707205993832756514117939579422942246223646376}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863693309970995823685706721}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6363683965507746311471552637719400269845977945}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6363683965507746311405237977595555980507550244}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363683965507746311405236841898696955078698910}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363683965507746311405236842030046956967552640}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6363776393271986209932424125851288175175890480}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6363776393271986204560843542717272423851548984}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363776393271986204560843542698276464815001399}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363776393271986204560843542698276711595874192}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6363788367839987679769166443176662670755047212}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788367839987679769166443005698717329648441}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788367839987679769166443005698717330120095}, {"parameter": "[13, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 707087450616665050681733274719802023833572034}, {"parameter": "[13, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 707087450616665050681733274719802023833505605}, {"parameter": "[14, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 78565270490614169514996975590313634802670097}, {"parameter": "[6, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 78551822022911842473715536690297866327076246}, {"parameter": "[6, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 78551821997677313945731156334821063073784675}, {"parameter": "[6, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79654919712799734068260564354319115025251762}, {"parameter": "[6, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 706965051318243032867896181796394918272075549}, {"parameter": "[6, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 706965051344184873746357824849129079160575232}, {"parameter": "[6, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 706965051318950345218373444493652275907283661}, {"parameter": "[6, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 708068149034072765340902852513150327858750748}, {"parameter": "[6, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 706965051092959037418504437677993439524349139}, {"parameter": "[6, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 706965051118900878296966080730727600412848822}, {"parameter": "[6, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 706965051093666349768981700375250797159557251}, {"parameter": "[6, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 708068148808788769891511108394748849111024338}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6363788535946557900519011883450100087475112963}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362685611317894657795364835834360474672456723}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685611343836498673826478887094635560956406}, {"parameter": "[6, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685611318601970145842098531617832307664835}, {"parameter": "[6, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788709033724390268371506551115884259131922}, {"parameter": "[6, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6363788367839960634210186855067856597481199773}, {"parameter": "[6, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362685443211297391486539807452116984678543533}, {"parameter": "[6, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685443237239232365001450504851145567043216}, {"parameter": "[6, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685443212004703837017070149374342313751645}, {"parameter": "[6, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788540927127123959546478168872394265218732}, {"parameter": "[6, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 6363788367862766780624145246045122402482305366}, {"parameter": "[6, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362685443234103537900498198429382789679649126}, {"parameter": "[6, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685443260045378778959841482116950568148809}, {"parameter": "[6, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685443234810850250975461126640147314857238}, {"parameter": "[6, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788540949933270373504869146138199266324325}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362700775486125164374716069824897120403749763}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362699073960777552802016350249179965367675123}, {"parameter": "[6, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362699073960461725315357638479581821735152682}, {"parameter": "[6, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362699076036480673546873797796811926733524275}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362687142661961659297368529017017604160565283}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441136614047724668809441300449124490643}, {"parameter": "[6, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441136298220238010097671702305491968202}, {"parameter": "[6, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685443212317168469526256988932410490339795}, {"parameter": "[6, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362687142661649242884711145906891091013925326}, {"parameter": "[6, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441136301631312011426331173935977850686}, {"parameter": "[6, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135985803825352714561575792345328245}, {"parameter": "[6, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685443212004752056868873878805897343699838}, {"parameter": "[6, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362687142684181414647599382764298215002716435}, {"parameter": "[6, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441158833803074899663188581059966641795}, {"parameter": "[6, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441158517975588240951418982916334119354}, {"parameter": "[6, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685443234536923819757110736213021332490947}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6363788367869096871817659768050567241862465203}, {"parameter": "[6, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788367839956777283470801548700891737754413}, {"parameter": "[6, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788367839960730568310720755245817250952726}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441190735018082459538246634522308202323}, {"parameter": "[6, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441161594923548270571744768172183491533}, {"parameter": "[6, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685441161598876833110490951313097696689846}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441165402729926025653623974159425913126}, {"parameter": "[6, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441136262635391836687122107809301202336}, {"parameter": "[6, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685441136266588676676606328652734814400649}, {"parameter": "[6, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441165086312587837003969050485066585085}, {"parameter": "[6, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135946218053648037467184134941874295}, {"parameter": "[6, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135950171338487956673729060455072608}, {"parameter": "[6, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441187614388704039520971481694800365762}, {"parameter": "[6, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441158474294169850554469615344675654972}, {"parameter": "[6, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685441158478247454690473676160270188853285}, {"parameter": "[6, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 706965051090455887939042325168969713043540910}, {"parameter": "[6, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965051090455881920859404770692857593757531}, {"parameter": "[6, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 706965049041077933379175757781501293300641233}, {"parameter": "[6, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049041077927360992837383224437850857854}, {"parameter": "[6, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 706965049015421142558241330337468690298521982}, {"parameter": "[6, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015421136540058409939191834848738603}, {"parameter": "[6, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 706965049015108570723526880391134987168305709}, {"parameter": "[6, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015108564705343959992858131718522330}, {"parameter": "[6, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 706965049037636974808623460990549401537551948}, {"parameter": "[6, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049037636968790440540592272546087768569}, {"parameter": "[6, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 78551674214082428135140429301102649999272886}, {"parameter": "[6, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 78551672138450719042893917558710560822584595}, {"parameter": "[6, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 78551672113105783710129504483694569987586002}, {"parameter": "[6, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 78551672112793270097200830946338091903575591}, {"parameter": "[6, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 78551672135321716524686625860464897417930413}, {"parameter": "[7, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1330284818598100493540423930353565131779}, {"parameter": "[7, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1330284854231951969416742113823385848262}, {"parameter": "[7, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2845784322658972071911262281421655144611}, {"parameter": "[7, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 13487501241011546677673411430673687058262}, {"parameter": "[7, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972518068036251764734100631362611698022}, {"parameter": "[7, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972518103670103240610418814832432414505}, {"parameter": "[7, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 13488017572097123343104938982430701710854}, {"parameter": "[7, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 13487501206293188050271340752466546266643}, {"parameter": "[7, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972518033317893137332029953155470906403}, {"parameter": "[7, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972518068951744613208348136625291622886}, {"parameter": "[7, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 13488017537378764715702868304223560919235}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 13487526863111935778627282552801380798083}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972543690136640865687971753490305437843}, {"parameter": "[7, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972543725770492341564289936960126154326}, {"parameter": "[7, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 13488043194197512444058810104558395450675}, {"parameter": "[7, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 13487501206250862300479447584410339789462}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972518033275567387540136785099264429222}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972518068909418863416454968569085145705}, {"parameter": "[7, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 13488017537336438965910975136167354442054}, {"parameter": "[7, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 13487501206293717938752700416549568573766}, {"parameter": "[7, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972518033318423025813389617238493213526}, {"parameter": "[7, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972518068952274501689707800708313930009}, {"parameter": "[7, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 13488017537379294604184227968306583226358}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 11991500937689824018170217966587035616243}, {"parameter": "[7, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11991241523299356721711413714338468059932}, {"parameter": "[7, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11991244409593049184555615167347697655126}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972774597054406199245040042174010496003}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182663938902786235789925442939692}, {"parameter": "[7, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972518068957631365630437242934672534886}, {"parameter": "[7, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972774597006194514635560835739854965282}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182615727218176756583491287408971}, {"parameter": "[7, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972518068909419681020958036500517004165}, {"parameter": "[7, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972774597048533894397006966260324180275}, {"parameter": "[7, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182658066597938202714011756623964}, {"parameter": "[7, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972518068951759060782404167020986219158}, {"parameter": "[7, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 13487501206738931843720457674753208281613}, {"parameter": "[7, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 13487501206256161012344743594290723882323}, {"parameter": "[7, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515218287068496879032114064504927853}, {"parameter": "[7, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515217804297665503318033602020528563}, {"parameter": "[7, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515183099036123772552199733334182176}, {"parameter": "[7, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182616265292396838119270849782886}, {"parameter": "[7, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515183050220171102636955897506059312}, {"parameter": "[7, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182567449339726922875435021660022}, {"parameter": "[7, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515183092552551234276023157862011772}, {"parameter": "[7, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182609781719858561942695377612482}, {"parameter": "[7, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330282315447959620647441660120051094811}, {"parameter": "[7, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330279500411851779896353378411009846814}, {"parameter": "[7, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330279464782771794762623179794086932763}, {"parameter": "[7, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330279464734542848941533596890835525690}, {"parameter": "[7, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330279464776875856897158454037194119689}, {"parameter": "[8, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 12124249824174593532870043352278501852806}, {"parameter": "[8, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 12122171344692475079316624636000751612566}, {"parameter": "[8, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12124275805168120013539461086231973730809}, {"parameter": "[8, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 12124249824132791130711177544759508887146}, {"parameter": "[8, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 12122171344650672677157758828481758646906}, {"parameter": "[8, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12124275805126317611380595278712980765149}, {"parameter": "[8, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 12124249824132202454361270225636717282966}, {"parameter": "[8, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12122171344650084000807851509358967042726}, {"parameter": "[8, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 12124275805125728935030687959590189160969}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12124249828043301896073051566526301406646}, {"parameter": "[8, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12122171348561183442519632850248551166406}, {"parameter": "[8, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12124275809036828376742469300479773284649}, {"parameter": "[8, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 12124249824132202375702675651891357931706}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12122171344650083922149256935613607691466}, {"parameter": "[8, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12124275805125728856372093385844829809709}, {"parameter": "[8, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12124249824132202455358348887914682443769}, {"parameter": "[8, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 12122171344650084001804930171636932203529}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12124275805125728936027766621868154321772}, {"parameter": "[8, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 12122174234473367392560733398734814419319}, {"parameter": "[8, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 12122174199274068621173404667799155643630}, {"parameter": "[8, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12122171379849390051852495357133963106655}, {"parameter": "[8, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12122171344650091280465166626198304330966}, {"parameter": "[8, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12122171379849382693550433746780700738978}, {"parameter": "[8, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12122171344650083922163105015845041963289}, {"parameter": "[8, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 12122171379849382772222365899767700714207}, {"parameter": "[8, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12122171344650084000835037168832041938518}, {"parameter": "[8, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12124249828043235571415641452201502839126}, {"parameter": "[8, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 12122171344655455399690402642561019196030}, {"parameter": "[8, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12122171344650091372457790502942529561289}, {"parameter": "[8, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12122171344650083922149634507823073588538}, {"parameter": "[8, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12122171344650084000820369610120231464485}, {"parameter": "[9, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887219913638092101585798675}, {"parameter": "[9, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887219913638092101585798675}, {"parameter": "[9, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887150117981638008727543344}, {"parameter": "[9, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887150117981638008727543344}, {"parameter": "[9, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887140147345109864372934435}, {"parameter": "[9, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887140147345109864372934435}, {"parameter": "[9, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396953375071803398227738182459}, {"parameter": "[9, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396953375071803398227738182459}, {"parameter": "[9, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887140147213777023184368144}, {"parameter": "[9, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887140147213777023184368144}, {"parameter": "[9, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887140147346986043783777718}, {"parameter": "[9, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887140147346986043783777718}, {"parameter": "[9, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976598455831984260056393306247787866115}, {"parameter": "[9, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887140271827711254378835659}, {"parameter": "[9, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887140147214011545169428234}, {"parameter": "[9, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887140147345161018987412947}, {"parameter": "[10, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11976472604398851315516069315485370597042}, {"parameter": "[10, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976472604398851315515937982644182030751}, {"parameter": "[10, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976472604398851315515919221132503134402}, {"parameter": "[10, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976472604398851316637613693538644069522}, {"parameter": "[10, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976472604398851315515919220885377223551}, {"parameter": "[10, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976472604398851315515919221136033496965}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1114901317076555120990825245732383714346404}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1114899241729284844059381026999512634371764}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1114901343018395999452468298466544602846087}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11974613101188374801337594230637066097053}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974613066042120412333411259899831715524}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11974613101188374801337594230637066097053}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974613066042120412333411259899831715524}, {"parameter": "[6, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974613066042120412333411259899831715524}, {"parameter": "[6, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972537718771843480889192527028751740884}, {"parameter": "[6, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974639007882998873976463994060720215207}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1114901294552013171454695508412036632995054}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1114901294552013171454695508412036632995054}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1114901294548197967209926050095750134006964}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1114901294548197967209926050095750134006964}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976665888770447807647892672423830338814}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976665888770447807647892672423830338814}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976665888770447807647892672423830338814}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976665888770447807647892672423830338814}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976665884955243562878434356137331350724}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976665884955243562878434356137331350724}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976665884955243562878434356137331350724}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976665884955243562878434356137331350724}, {"parameter": "[6, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976665888770447807647892672423830338814}, {"parameter": "[6, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974590541500170876203673939552750364174}, {"parameter": "[6, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976691830611326269290945406584718838497}, {"parameter": "[6, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976665884955243562878434356137331350724}, {"parameter": "[6, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974590537684966631434215623266251376084}, {"parameter": "[6, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976691826796122024521487090298219850407}, {"parameter": "[6, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2217825923527720527610929963709717612239444}, {"parameter": "[6, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2217825923211398306957444769627247039795854}, {"parameter": "[6, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2217825923211441220745455025499445958970327}, {"parameter": "[6, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1114901294864477803963882347970104809583204}, {"parameter": "[6, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1114901294864477803963882347970104809583204}, {"parameter": "[6, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1114901294548155583310397153887634237139614}, {"parameter": "[6, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1114901294548155583310397153887634237139614}, {"parameter": "[6, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1114901294548198497098407409759833156314087}, {"parameter": "[6, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1114901294548198497098407409759833156314087}, {"parameter": "[6, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1114901294864477803963882347970104809583204}, {"parameter": "[6, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1114899219517207527032438129237233729608564}, {"parameter": "[6, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1114901320806318682425525400704265698082887}, {"parameter": "[6, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1114901294548155583310397153887634237139614}, {"parameter": "[6, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1114899219200885306378952935154763157164974}, {"parameter": "[6, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1114901320489996461772040206621795125639297}, {"parameter": "[6, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1114901294548198497098407409759833156314087}, {"parameter": "[6, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1114899219200928220166963191026962076339447}, {"parameter": "[6, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1114901320490039375560050462493994044813770}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1515011402844195391297086288821503301124}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1515011402844195391297086288821503301124}, {"parameter": "[7, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 28229868900478357775489510427940884}, {"parameter": "[7, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 28229868900478357775489510427940884}, {"parameter": "[7, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3029994575777164554444503920076372184183}, {"parameter": "[7, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3029994575777099225727623961490794091524}, {"parameter": "[7, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1515011402801869641505193120765296823943}, {"parameter": "[7, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1515011402801869641505193120765296823943}, {"parameter": "[7, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1515011402801804312788313162179718731284}, {"parameter": "[7, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1515011402801804312788313162179718731284}, {"parameter": "[8, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4179776790312741950560901908395709767}, {"parameter": "", "name": "JohnsonLB", "value": 515457030501812365547756630402694786367171509580}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 8729476533218666432002376576885061211273656}], "request": [9, 16, 4, 6], "liftedmrdsizebound": 515468237171450786498756643677962470955118691406, "comments": "", "equal_bound_constraints": []}