{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1783202253071230934395807391969095566387830751237232265}, {"parameter": "", "name": "singleton", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "5", "name": "ilp_2", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "7", "name": "ilp_3", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "", "name": "anticode", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "", "name": "linear_programming_bound", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "", "name": "sphere_packing", "value": 1783202253071230934395807391969095566387830751237232265}, {"parameter": "1", "name": "ilp_1", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "2", "name": "ilp_1", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "3", "name": "ilp_1", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "4", "name": "ilp_1", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "8", "name": "ilp_4", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "9", "name": "ilp_4", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "10", "name": "ilp_4", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "11", "name": "ilp_4", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "12", "name": "ilp_4", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "13", "name": "ilp_4", "value": 744007518942869920533671287130386648023883622727}, {"parameter": "14", "name": "ilp_4", "value": 93001245442774567073531410603451878653488602624}, {"parameter": "15", "name": "ilp_4", "value": 11625154998260604417136762577034409440331502151}, {"parameter": "", "name": "johnson_1", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "", "name": "johnson_2", "value": 11625154998260604417136762577034409440331502151}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1783202253071230934395807391969095566387830751237232265}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 744007518942869920533671287130386648023883622727}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 93001245442774567073531410603451878653488602624}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 11625154998260604417136762577034409440331502151}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1453144450569932875490282880018554599413916648}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1453144460043103594352770747017817880319480731}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1453144535828473791713384584703868007843119557}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1453145142111719944219219625075086295919487769}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1453149992395901945343756937439306673839702680}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1453188795835011445820101616876340945961578608}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1453499297967892620613248654262581498783717626}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1455988100038524048707700791384070231149080726}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1476209608423241161737556935923060508882875959}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1783202253071230934395807391969095566387830751237232265}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 5952102369459772394138193117408487311886007230729}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 5952261312589730077205943414304359026792818868448}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 5953533163289254851823422274101306594364606819506}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 5963727569324187557781416920458466303878839553502}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 6046557118349576437285000602823631640242713502290}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 6802376752511981034135502513716198679876614477449}, {"parameter": "", "name": "improved_johnson", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 744010273967510161162589144140258899227449337518}], "known_codes": [], "upper_bound": 1453144449385786544316964956012162603522531905, "classified": false, "lower_bound": 1427602271526982761008299726644512165936067137, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1427247692705959881058285969449495136382746624}, {"parameter": "", "name": "sphere_covering", "value": 38803291157839538452035645278072968554940}, {"parameter": "", "name": "graham_sloane", "value": 44346449255878400518397724362473110781619}, {"parameter": "", "name": "multicomponent", "value": 1427247694035187878081141881656696870071959553}, {"parameter": "", "name": "construction_ST_B", "value": 1427596312032418901044317072535617073771438207}, {"parameter": "", "name": "EF_special", "value": 1427602271526982761008273790284715743116587585}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1427247692730072019766098599844410680546164736}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1427596228273618786772216834189879729417093120}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1427596312032418901043721909076105367932816248}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1427602271526982761008299726644512165936067137}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1427596226941052910316028554322885097103032320}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 22307053744495977868837386131028120726777280}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1427596313361971494649451303017192846316163648}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1427254001251925235785889868780797518661287936}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1427254001251925235785588227621704220073263104}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1427254001251925235785587637326175336344322048}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 43568491824438900649635546075931275427840}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 43568491824438900616578980695843758931968}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 43568491824438900611856758328162189574144}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 353980085911542390541120480996745719578624}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 353980085911542390578825625883408043081728}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 353980085911542390541120480996745719578624}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2789136549760592316110668472413483498733568}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2789136549760592316115390694781165068091392}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2789136549760592316148447260161252584587264}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 22306399209964281987368492803222836407435264}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 22306399209964281987369083098751720136376320}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 22306399209964281987670724257845018724401152}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 1427254001251925235785587637325893861367611392}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 43568491824438900611856614212974113718272}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 353980085911542390541046694020450881372160}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 2789136549760592316110668328298295422877696}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 22306399209964281987368492802941361430724608}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 1427254001251925235785587637325893861367611392}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 43568491824438900611856614212974113718272}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 353980085911542390541046694020450881372160}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 2789136549760592316110668328298295422877696}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 22306399209964281987368492802941361430724608}, {"parameter": "6", "name": "linkage_GLT", "value": 1427247692705959881058285969467514102146814528}, {"parameter": "7", "name": "linkage_GLT", "value": 43556142965880123323311949751335088590849}, {"parameter": "8", "name": "linkage_GLT", "value": 353980061417502021533648339187957162577985}, {"parameter": "9", "name": "linkage_GLT", "value": 2789136549713498472342193557901807705915393}, {"parameter": "10", "name": "linkage_GLT", "value": 22306399185852143279555862408025817267306497}, {"parameter": "6", "name": "improved_linkage", "value": 1427247694035563099426414841707025231368314910}, {"parameter": "7", "name": "improved_linkage", "value": 43556143006456395791248580130280625611581}, {"parameter": "8", "name": "improved_linkage", "value": 353980061417503259823793510144015305801728}, {"parameter": "9", "name": "improved_linkage", "value": 2789136549713498472346917241913217254288024}, {"parameter": "10", "name": "improved_linkage", "value": 22306399185852143279555862426044783031374400}, {"parameter": "11", "name": "improved_linkage", "value": 22306967051147686001209638117316473435492353}, {"parameter": "12", "name": "improved_linkage", "value": 22307052145473900401254682513475770339561537}, {"parameter": "13", "name": "improved_linkage", "value": 2788380211893968577252903676611216453664769}, {"parameter": "14", "name": "improved_linkage", "value": 348547506075894775089077969219896812765185}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1427254001251925235785587637325893861367611392}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1427247791446018608300516663710099972876414976}, {"parameter": "6,2", "name": "generalized_linkage", "value": 1427247694246230031075310551212768980319076352}, {"parameter": "6,3", "name": "generalized_linkage", "value": 1427247692708921948948445343467163179884547173}, {"parameter": "6,4", "name": "generalized_linkage", "value": 1427247694035563099426414841707025231368314910}, {"parameter": "7,0", "name": "generalized_linkage", "value": 43568491824438900611856614212974113718272}, {"parameter": "7,1", "name": "generalized_linkage", "value": 43556336188656485528632466390083965845504}, {"parameter": "7,2", "name": "generalized_linkage", "value": 43556143342645599845045115741271894392640}, {"parameter": "7,3", "name": "generalized_linkage", "value": 43556142966604523058236959045280272744448}, {"parameter": "7,4", "name": "generalized_linkage", "value": 43556143006456395791248580130280625611581}, {"parameter": "8,0", "name": "generalized_linkage", "value": 353980085911542390541046694020450881372160}, {"parameter": "8,1", "name": "generalized_linkage", "value": 353980061464701187128786721272582510879232}, {"parameter": "8,2", "name": "generalized_linkage", "value": 353980061417594025061863761368524079975936}, {"parameter": "8,3", "name": "generalized_linkage", "value": 353980061417502043645213196596053094602072}, {"parameter": "8,4", "name": "generalized_linkage", "value": 353980061417503259823793510144015305801728}, {"parameter": "9,0", "name": "generalized_linkage", "value": 2789136549760592316110668328298295422877696}, {"parameter": "9,1", "name": "generalized_linkage", "value": 2789136549713510172361783270562746404086272}, {"parameter": "9,2", "name": "generalized_linkage", "value": 2789136549713498475150770272727490483604344}, {"parameter": "9,3", "name": "generalized_linkage", "value": 2789136549713498472342868350150706284852288}, {"parameter": "9,4", "name": "generalized_linkage", "value": 2789136549713498472346917241913217254288024}, {"parameter": "10,0", "name": "generalized_linkage", "value": 22306399209964281987368492802941361430724608}, {"parameter": "10,1", "name": "generalized_linkage", "value": 22306399185852143282367691325063016840569344}, {"parameter": "10,2", "name": "generalized_linkage", "value": 22306399185852143279555949431325710797056376}, {"parameter": "10,3", "name": "generalized_linkage", "value": 22306399185852143279555862410600717801595465}, {"parameter": "10,4", "name": "generalized_linkage", "value": 22306399185852143279555862426044783031374400}, {"parameter": "11,1", "name": "generalized_linkage", "value": 22306967051147686181166774303955852968731136}, {"parameter": "11,2", "name": "generalized_linkage", "value": 22306967051147686001209638119930649380309880}, {"parameter": "11,3", "name": "generalized_linkage", "value": 22306967051147686001209638117316414650823817}, {"parameter": "11,4", "name": "generalized_linkage", "value": 22306967051147686001209638117316473435492353}, {"parameter": "12,2", "name": "generalized_linkage", "value": 22307052145473900401254682534389728094374776}, {"parameter": "12,3", "name": "generalized_linkage", "value": 22307052145473900401254682513475770339332681}, {"parameter": "12,4", "name": "generalized_linkage", "value": 22307052145473900401254682513475770339561537}, {"parameter": "13,3", "name": "generalized_linkage", "value": 2788380211893968577252903676611216453702217}, {"parameter": "13,4", "name": "generalized_linkage", "value": 2788380211893968577252903676611216453664769}, {"parameter": "14,4", "name": "generalized_linkage", "value": 348547506075894775089077969219896812765185}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1427254001251925235785587637325893861367611392}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1427247791446018608300516663710099972876414976}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1427247694246230031075310551212768980319076352}, {"parameter": "[6, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1427247692708921948948445343467163179884547173}, {"parameter": "[6, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1427247694035563099426414841707025231368314910}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43568491824438900611856614212974113718272}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 43556336188656485528632466390083965845504}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43556143342645599845045115741271894392640}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 43556142966604523058236959045280272744448}, {"parameter": "[7, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 43556143006456395791248580130280625611581}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 353980085911542390541046694020450881372160}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 353980061464701187128786721272582510879232}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 353980061417594025061863761368524079975936}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 353980061417502043645213196596053094602072}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 353980061417503259823793510144015305801728}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2789136549760592316110668328298295422877696}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2789136549713510172361783270562746404086272}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2789136549713498475150770272727490483604344}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2789136549713498472342868350150706284852288}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2789136549713498472346917241913217254288024}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987368492802941361430724608}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22306399185852143282367691325063016840569344}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22306399185852143279555949431325710797056376}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22306399185852143279555862410600717801595465}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306399185852143279555862426044783031374400}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22306967051147686181166774303955852968731136}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22306967051147686001209638119930649380309880}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22306967051147686001209638117316414650823817}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306967051147686001209638117316473435492353}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22307052145473900401254682534389728094374776}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307052145473900401254682513475770339332681}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052145473900401254682513475770339561537}, {"parameter": "[13, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2788380211893968577252903676611216453702217}, {"parameter": "[13, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2788380211893968577252903676611216453664769}, {"parameter": "[14, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 348547506075894775089077969219896812765185}, {"parameter": "[6, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 348450497396018940401574406735140130652160}, {"parameter": "[6, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 348450497027450767502279381803460581916672}, {"parameter": "[6, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 354759018920391498804036378215915913740288}, {"parameter": "[6, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2787593176836652951368971652923930968064000}, {"parameter": "[6, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2787593177218541863724314570895293077782528}, {"parameter": "[6, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2787593176849973690825019545963613529047040}, {"parameter": "[6, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2793901698742914422126776542376068860870656}, {"parameter": "[6, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2787593173915985968443131111875526782877696}, {"parameter": "[6, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2787593174297874880798474029846888892596224}, {"parameter": "[6, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2787593173929306707899179004915209343860736}, {"parameter": "[6, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2793901695822247439200936001327664675684352}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22307053685307930897643017140826218176708608}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300746762424380719768030001646144787054592}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300746762806269632123372919617506896773120}, {"parameter": "[6, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300746762437701459224077894685827348037632}, {"parameter": "[6, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307055284330642190525834891098282679861248}, {"parameter": "[6, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 22307052145473356945577436231535089623760896}, {"parameter": "[6, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300745222589806767702449092355016234106880}, {"parameter": "[6, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745222971695680057792010326378343825408}, {"parameter": "[6, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745222603127507158496985394698795089920}, {"parameter": "[6, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307053744496068238460253981807154126913536}, {"parameter": "[6, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 22307052145802936198116461592882033264164864}, {"parameter": "[6, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300745222919386020241474453701959874510848}, {"parameter": "[6, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745223301274932596817371673321984229376}, {"parameter": "[6, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745222932706759697522346741642435493888}, {"parameter": "[6, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307053744825647490999279343154097767317504}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300857982134471877489899426864426809032704}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300843911055502343602282974958788911562752}, {"parameter": "[6, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300843911049641677860628439719528109965312}, {"parameter": "[6, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300843935121216559329899317061662243815424}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300759269622166458779131797108195174907904}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745198543196924891515345202557277437952}, {"parameter": "[6, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198537336259149860809963296475840512}, {"parameter": "[6, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745222608911140619131687305430609690624}, {"parameter": "[6, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300759269616384259751483366300805956108288}, {"parameter": "[6, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745198537414725863866914395168058638336}, {"parameter": "[6, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198531554060122212379155907257040896}, {"parameter": "[6, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745222603128941591483256498041390891008}, {"parameter": "[6, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300759269940990684749792760349882920730624}, {"parameter": "[6, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745198862021150862176308444245023260672}, {"parameter": "[6, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198856160485120521773204984221663232}, {"parameter": "[6, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745222927735366589792650547118355513344}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22307052145908752271246936686597455013216256}, {"parameter": "[6, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307052145473266601512298043238739663912960}, {"parameter": "[6, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052145473359810902417287957703712047104}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745199342667210010084982216722063818752}, {"parameter": "[6, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198907181540275446338858006714515456}, {"parameter": "[6, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745198907274749665565583576970762649600}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745198972076077700096381391766393192448}, {"parameter": "[6, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198536590407965457738033051043889152}, {"parameter": "[6, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745198536683617355576982752015092023296}, {"parameter": "[6, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745198966199256485682972882856648376320}, {"parameter": "[6, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198530713586751044329524141299073024}, {"parameter": "[6, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745198530806796141163574243105347207168}, {"parameter": "[6, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745199290709666830718309257978172145664}, {"parameter": "[6, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198855223997096079665899262822842368}, {"parameter": "[6, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745198855317206486198910618226870976512}, {"parameter": "[6, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787593173875421354047770812277972562345984}, {"parameter": "[6, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593173875421149585933656568231152582656}, {"parameter": "[6, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787593150198863564919649134318237091889152}, {"parameter": "[6, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593150198863360457811978608495682125824}, {"parameter": "[6, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787593149822205352832364274753512870248448}, {"parameter": "[6, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149822205148370527119043771460485120}, {"parameter": "[6, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787593149816418490038507862401322086825984}, {"parameter": "[6, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149816418285576670706691580677062656}, {"parameter": "[6, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787593150140937191034181443292736853377024}, {"parameter": "[6, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593150140936986572344287582995443613696}, {"parameter": "[6, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 348449168168023155835807388468678722584576}, {"parameter": "[6, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 348449144103807848274228394547628981616640}, {"parameter": "[6, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 348449143732916479277017409699015521206272}, {"parameter": "[6, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 348449143727131381772370030510076973547520}, {"parameter": "[6, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 348449144051651318752296588456696575950848}, {"parameter": "[7, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 10633911612188239990770015906861940736}, {"parameter": "[7, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 10633912359504273412992805055867125760}, {"parameter": "[7, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22982723089875822831235766084527980544}, {"parameter": "[7, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 97412617634241660314826463563091017728}, {"parameter": "[7, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070639535519244551989824204046336000}, {"parameter": "[7, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070640282835277974212613353051521024}, {"parameter": "[7, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 97419451013206827392455574381712375808}, {"parameter": "[7, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 97412616911284677372164383022002470912}, {"parameter": "[7, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070638812562261609327743662957789184}, {"parameter": "[7, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070639559878295031550532811962974208}, {"parameter": "[7, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 97419450290249844449793493840623828992}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 97412993570435944383564495197835362304}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85071015471713528620727855838790680576}, {"parameter": "[7, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85071016219029562042950644987795865600}, {"parameter": "[7, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 97419826949401111461193606016456720384}, {"parameter": "[7, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 97412616910049499917271481489553358848}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070638811327084154434842130508677120}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070639558643117576657631279513862144}, {"parameter": "[7, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 97419450289014666994900592308174716928}, {"parameter": "[7, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 97412616911304327139099603615736659968}, {"parameter": "[7, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070638812581911376262964256691978240}, {"parameter": "[7, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070639559897944798485753405697163264}, {"parameter": "[7, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 97419450290269494216728714434358018048}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 85267202437172830081969964528361799680}, {"parameter": "[7, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 85263765532171922112666629395835518976}, {"parameter": "[7, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85263813358961260301621173789847715840}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85074028638288770129391327787496767488}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591733287862160087992654970486784}, {"parameter": "[7, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070639560077200349042537048982683648}, {"parameter": "[7, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85074028636854731207385057821431169024}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731853823238081722688904888320}, {"parameter": "[7, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070639558643161427036267082917085184}, {"parameter": "[7, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85074028638090550219140140701086384128}, {"parameter": "[7, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591733089642249836805568560103424}, {"parameter": "[7, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070639559878980438791349962572300288}, {"parameter": "[7, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 97412616923157544936777648170770104320}, {"parameter": "[7, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 97412616910226337437041997889893302272}, {"parameter": "[7, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070592480244991344289528406567813120}, {"parameter": "[7, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070592467313783844553878125691011072}, {"parameter": "[7, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591744805075808672814029833240576}, {"parameter": "[7, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731873868308937163748956438528}, {"parameter": "[7, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591743348187583688135544143609856}, {"parameter": "[7, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730416980083952485263266807808}, {"parameter": "[7, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591744583677368372942075261091840}, {"parameter": "[7, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731652469868637291794384289792}, {"parameter": "[7, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 10633871047548632791592163155149324288}, {"parameter": "[7, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 10633824715055268879810216398333673472}, {"parameter": "[7, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10633823967896567978833434356355956736}, {"parameter": "[7, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10633823966461690372193786277759025152}, {"parameter": "[7, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 10633823967697212508880396273627955200}, {"parameter": "[8, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 86445024755670657981259472012247564288}, {"parameter": "[8, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 86420913525222665242005868608627671040}, {"parameter": "[8, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 86445407473614276913628576828178038784}, {"parameter": "[8, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 86445024754454823339480404546593751040}, {"parameter": "[8, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 86420913524006830600226801142973857792}, {"parameter": "[8, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 86445407472398442271849509362524225536}, {"parameter": "[8, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 86445024754432722664340574606993653760}, {"parameter": "[8, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 86420913523984729925086971203373760512}, {"parameter": "[8, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 86445407472376341596709679422924128256}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 86445024846412926087772706780416573440}, {"parameter": "[8, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 86420913615964933348519103376796680192}, {"parameter": "[8, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 86445407564356545020141811596347047936}, {"parameter": "[8, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 86445024754432718026299491160233607168}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 86420913523984725287045887756613713920}, {"parameter": "[8, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 86445407472376336958668595976164081664}, {"parameter": "[8, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 86445024754432722739298486804948189184}, {"parameter": "[8, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 86420913523984730000044883401328295936}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 86445407472376341671667591620878663680}, {"parameter": "[8, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 86420961432851300104313663863243145216}, {"parameter": "[8, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 86420960697032134290456669669893603328}, {"parameter": "[8, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 86420914259804241893225987923406225408}, {"parameter": "[8, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 86420913523985076079368993730056683520}, {"parameter": "[8, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 86420914259803891102241375247534915584}, {"parameter": "[8, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 86420913523984725288384381054185373696}, {"parameter": "[8, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 86420914259803895741558586524108062720}, {"parameter": "[8, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 86420913523984729927701592330758520832}, {"parameter": "[8, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 86445024846410113668706216011517132800}, {"parameter": "[8, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 86420913524164676097683133811715211264}, {"parameter": "[8, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 86420913523985081648818359082512285696}, {"parameter": "[8, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 86420913523984725287092575994747289600}, {"parameter": "[8, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 86420913523984729926284249589545172992}, {"parameter": "[9, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018409193907922994502303744}, {"parameter": "[9, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018409193907922994502303744}, {"parameter": "[9, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018405146162649906447908864}, {"parameter": "[9, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018405146162649906447908864}, {"parameter": "[9, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018404471559454523366572032}, {"parameter": "[9, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018404471559454523366572032}, {"parameter": "[9, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85117739651021211494098935897447464960}, {"parameter": "[9, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85117739651021211494098935897447464960}, {"parameter": "[9, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018404471544013600541376512}, {"parameter": "[9, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018404471544013600541376512}, {"parameter": "[9, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018404471559740465109270528}, {"parameter": "[9, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018404471559740465109270528}, {"parameter": "[9, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85117739662535611941643900796320612352}, {"parameter": "[9, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018404482249381399483908096}, {"parameter": "[9, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018404471544054449205936128}, {"parameter": "[9, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018404471559464497354637312}, {"parameter": "[10, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85116272118917709784480398235007713280}, {"parameter": "[10, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85116272118917709784464957312182517760}, {"parameter": "[10, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85116272118917709784462383905217708032}, {"parameter": "[10, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85116272118917709870125949775137996800}, {"parameter": "[10, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85116272118917709784462383846315261952}, {"parameter": "[10, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85116272118917709784462383906308489216}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6392041917985479237005683508261536399360}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6392017858984000850401851312448624132096}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6392042299874391592348601479623646117888}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094976168048233487950138568672804864}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094975433822975414712132375234478080}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094976168048233487950138568672804864}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094975433822975414712132375234478080}, {"parameter": "[6, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094975433822975414712132375234478080}, {"parameter": "[6, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070916432344588810879936562322210816}, {"parameter": "[6, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85095357322735330757630103737344196608}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6392041593557295201446789485173151891456}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6392041593557295201446789485173151891456}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6392041593468163518618242105380414947328}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6392041593468163518618242105380414947328}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85118710007117326459650305099762237440}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85118710007117326459650305099762237440}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85118710007117326459650305099762237440}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85118710007117326459650305099762237440}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85118709917985643631102925307025293312}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85118709917985643631102925307025293312}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85118709917985643631102925307025293312}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85118709917985643631102925307025293312}, {"parameter": "[6, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85118710007117326459650305099762237440}, {"parameter": "[6, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094651005638939855818109286849970176}, {"parameter": "[6, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85119091896029681802568276461871955968}, {"parameter": "[6, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85118709917985643631102925307025293312}, {"parameter": "[6, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094650916507257027270729494113026048}, {"parameter": "[6, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85119091806897998974020896669135011840}, {"parameter": "[6, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12698964482891106537068630575978356146176}, {"parameter": "[6, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12698964477017103798298849154663006076928}, {"parameter": "[6, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12698964477018361043372316506047538790400}, {"parameter": "[6, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6392041599340928662081491395904966492160}, {"parameter": "[6, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6392041599340928662081491395904966492160}, {"parameter": "[6, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6392041593466925923311709974589616422912}, {"parameter": "[6, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6392041593466925923311709974589616422912}, {"parameter": "[6, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6392041593468183168385177325974149136384}, {"parameter": "[6, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6392041593468183168385177325974149136384}, {"parameter": "[6, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6392041599340928662081491395904966492160}, {"parameter": "[6, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6392017540339450275477659200092054224896}, {"parameter": "[6, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6392041981229841017424409367267076210688}, {"parameter": "[6, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6392041593466925923311709974589616422912}, {"parameter": "[6, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6392017534465447536707877778776704155648}, {"parameter": "[6, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6392041975355838278654627945951726141440}, {"parameter": "[6, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6392041593468183168385177325974149136384}, {"parameter": "[6, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6392017534466704781781345130161236869120}, {"parameter": "[6, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6392041975357095523728095297336258854912}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12342396780693425637246225850197606400}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12342396780693425637246225850197606400}, {"parameter": "[7, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 418681971009874409586491152924672}, {"parameter": "[7, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 418681971009874409586491152924672}, {"parameter": "[7, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 24684374878180663945189963676793176064}, {"parameter": "[7, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 24684374878177906083163967803988377600}, {"parameter": "[7, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12342396779458248182353324317748494336}, {"parameter": "[7, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12342396779458248182353324317748494336}, {"parameter": "[7, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12342396779455490320327328444943695872}, {"parameter": "[7, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12342396779455490320327328444943695872}, {"parameter": "[8, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 48552314472943547532045236498857984}, {"parameter": "", "name": "JohnsonLB", "value": 1427601589058154978182439433378017892285707372}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 43568461737709064283714018887978208112640}], "request": [8, 16, 4, 6], "liftedmrdsizebound": 1427659452885257143968604881651643313103610433, "comments": "", "equal_bound_constraints": []}