{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "", "name": "singleton", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "6", "name": "ilp_2", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "8", "name": "ilp_3", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "", "name": "anticode", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "", "name": "linear_programming_bound", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "", "name": "sphere_packing", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "1", "name": "ilp_1", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "2", "name": "ilp_1", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "3", "name": "ilp_1", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "4", "name": "ilp_1", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "5", "name": "ilp_1", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "9", "name": "ilp_4", "value": 1328443293012423925566077489045653702909675868305116470758903}, {"parameter": "10", "name": "ilp_4", "value": 1328443293011965104266053070765259255946884058385633497458946}, {"parameter": "11", "name": "ilp_4", "value": 1328443293011965104074328568217680946583136158116431322114262}, {"parameter": "12", "name": "ilp_4", "value": 1328443293011965104074328550417124887751499280067802086221605}, {"parameter": "13", "name": "ilp_4", "value": 1328443293011965104074328550417124829594745771610357827315858}, {"parameter": "14", "name": "ilp_4", "value": 1328443293011965104074328567939250456190531699144152663324102}, {"parameter": "15", "name": "ilp_4", "value": 147605054171163576468121508989178017108644836570672670912931}, {"parameter": "16", "name": "ilp_4", "value": 16400561198282991572568124257532867549108391342676198939698}, {"parameter": "", "name": "johnson_1", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "", "name": "johnson_2", "value": 16400561198282991572568124257532867549108391342676198939698}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1328443293012423925566077489045653702909675868305116470758903}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1328443293011965104266053070765259255946884058385633497458946}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1328443293011965104074328568217680946583136158116431322114262}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1328443293011965104074328550417124887751499280067802086221605}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1328443293011965104074328550417124829594745771610357827315858}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1328443293011965104074328567939250456190531699144152663324102}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 147605054171163576468121508989178017108644836570672670912931}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 16400561198282991572568124257532867549108391342676198939698}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1822284615216079184779970030060641190016253731672358647350}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1822284619397081190962820942151650961433349966075589849857}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1822284657026100109958813760433191932428817151847970501263}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1822284995687340312314453327659972911472271289735279931544}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1822288043644166586887279491104506127820591493913030303034}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1822315475714431540809387205220026072528943512836334104573}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1822562401517580861927552305093540323697317357399396827764}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1824787748707946406516697395497533116659339713299380833477}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1845063133801427399848297214434938844644758053044435985784}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1328445761856535007270698221958201425421643895179095081293838}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1328447983820772732149271977457752292275608024406583373228687}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1328467981833399337395424380589656513114391763453574991770892}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1328647991044616807260200858462296200079579475262458209456440}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1330270271860235866244085233333171323747975632738282722779539}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1345051052624346331294460084237882139920414097597965189324726}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "", "name": "improved_johnson", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 147605054171164213622785258018438222619251756754672403261280}], "known_codes": [], "upper_bound": 1822284614751523407499502801942003204332031987427203025256, "classified": false, "lower_bound": 1797287909107754250279842359793367953350214940243153381903, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1797010299914431210413179829509605039731475627537851106401}, {"parameter": "", "name": "sphere_covering", "value": 3047956189907319780989494439537360383788900501399732}, {"parameter": "", "name": "graham_sloane", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "", "name": "multicomponent", "value": 1797010299920793895854318275023584861845034466472244550750}, {"parameter": "", "name": "construction_ST_B", "value": 1797284276169598270365855098936941383539690663405606230664}, {"parameter": "", "name": "EF_special", "value": 1797287909107750790631435583972090558986192090028734124332}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1797010300501475961220159869953670546110054911351329944802}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1797284234998413166787990974204760657422702615176529176645}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1797284276169598270365834219522907606470847444384269351135}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1797287909107754250279842359793367953350214940243153381903}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1797284234411369371681264619652362995907913031708517072896}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 273940295601383901166961977313464618272323944107582401}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1797284276169675875920861543477616418639935799422433823630}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1797010347465037253480569443590045891090178097184351951376}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1797010347465037253480569443590045891090178097184351951376}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1797010347465037253480569443547661193896851120343356450416}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1797010347465037253480569443547654732815111988305354517296}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3381457944885477141246922028934257255628909706243710}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3381457944885477141246964413631450582605750701744670}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3381457944885477141246922545820808393762773620822990}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3381457944885477141246922022474160137304420018544350}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 30812882284163593617730110969337767814607923656640110}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 30812882284163593617730111492684416071066277258918750}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 30812882284163593617730153360495058259909254339840430}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 30812882284163593617730110975797864932932413344339470}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 274311245946325830604990870832821818863243754850583856}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 274311245946325830604990870839282900602375792852516976}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 274311245946325830604990913223980093929352633848017936}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 274311245946325830604990913223980093929352633848017936}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1797010347465037253480569443547654732814961893670057518175}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 3381457944885477141246922022473175366402236407311469}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 30812882284163593617730110969336783043705740045407229}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 274311245946325830604990870832821818713149119553584735}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1797010347465037253480569443547654732814961893670057518175}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 3381457944885477141246922022473175366402236407311469}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 30812882284163593617730110969336783043705740045407229}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 274311245946325830604990870832821818713149119553584735}, {"parameter": "7", "name": "linkage_GLT", "value": 1797010299914431210413179829509605039731475650449549669215}, {"parameter": "8", "name": "linkage_GLT", "value": 3381391913522726342930221472392241170198527456691309}, {"parameter": "9", "name": "linkage_GLT", "value": 30812882194690202584619260040125961569575133308090109}, {"parameter": "10", "name": "linkage_GLT", "value": 274310658901575023624950426767315440133865306074746335}, {"parameter": "7", "name": "improved_linkage", "value": 1797010299920794998653429578960032443777378688677285955856}, {"parameter": "8", "name": "improved_linkage", "value": 3381391913534700933498242702205262561349781834315684}, {"parameter": "9", "name": "improved_linkage", "value": 30812882194690202587122848933224021940646118731635392}, {"parameter": "10", "name": "improved_linkage", "value": 274310658901575023624950427290752698906575705297484334}, {"parameter": "11", "name": "improved_linkage", "value": 273935719359431285322804956880609494020867691083948900}, {"parameter": "12", "name": "improved_linkage", "value": 273939650417027997025294174816004484920892919863060814}, {"parameter": "13", "name": "improved_linkage", "value": 273940165883671725484326888659517038056766395690763104}, {"parameter": "14", "name": "improved_linkage", "value": 273940223157755225434195993879912186354664811040747204}, {"parameter": "15", "name": "improved_linkage", "value": 30437801875679103879161310302028918435021562462931896}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1797010347465037253480569443547654732814961893670057518175}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1797010300501459928164971637398931645747031344258769404155}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1797010299921678584030322911509951444429284714035106484401}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1797010299914520564770637346874767450434753972298179421029}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1797010299914432300100921519441518024678070391686655614594}, {"parameter": "7,5", "name": "generalized_linkage", "value": 1797010299920794998653429578960032443777378688677285955856}, {"parameter": "8,0", "name": "generalized_linkage", "value": 3381457944885477141246922022473175366402236407311469}, {"parameter": "8,1", "name": "generalized_linkage", "value": 3381392720983007012559894576165624600480114727207359}, {"parameter": "8,2", "name": "generalized_linkage", "value": 3381391914628839687343672537209585799679833602819771}, {"parameter": "8,3", "name": "generalized_linkage", "value": 3381391913524241616910991549320246724646924779514561}, {"parameter": "8,4", "name": "generalized_linkage", "value": 3381391913522728395873113812801745448406574758981441}, {"parameter": "8,5", "name": "generalized_linkage", "value": 3381391913534700933498242702205262561349781834315684}, {"parameter": "9,0", "name": "generalized_linkage", "value": 30812882284163593617730110969336783043705740045407229}, {"parameter": "9,1", "name": "generalized_linkage", "value": 30812882194814639543215036681310280155425337083407096}, {"parameter": "9,2", "name": "generalized_linkage", "value": 30812882194690371430204985499293759161493121992772762}, {"parameter": "9,3", "name": "generalized_linkage", "value": 30812882194690202610284053150608902974396416462949638}, {"parameter": "9,4", "name": "generalized_linkage", "value": 30812882194690202584623123530532962945031796337268108}, {"parameter": "9,5", "name": "generalized_linkage", "value": 30812882194690202587122848933224021940646118731635392}, {"parameter": "10,0", "name": "generalized_linkage", "value": 274311245946325830604990870832821818713149119553584735}, {"parameter": "10,1", "name": "generalized_linkage", "value": 274310658901575042357305898013119268259720674950665031}, {"parameter": "10,2", "name": "generalized_linkage", "value": 274310658901575023627841217522946692008023462150478042}, {"parameter": "10,3", "name": "generalized_linkage", "value": 274310658901575023624950862005011694164028129421426604}, {"parameter": "10,4", "name": "generalized_linkage", "value": 274310658901575023624950426774585284057164091616078954}, {"parameter": "10,5", "name": "generalized_linkage", "value": 274310658901575023624950427290752698906575705297484334}, {"parameter": "11,1", "name": "generalized_linkage", "value": 273935719359444941235604255925696337182758295508668667}, {"parameter": "11,2", "name": "generalized_linkage", "value": 273935719359431285322805005232183975127695563023472507}, {"parameter": "11,3", "name": "generalized_linkage", "value": 273935719359431285322804956881437333757529018960947494}, {"parameter": "11,4", "name": "generalized_linkage", "value": 273935719359431285322804956880609398282950614963466060}, {"parameter": "11,5", "name": "generalized_linkage", "value": 273935719359431285322804956880609494020867691083948900}, {"parameter": "12,2", "name": "generalized_linkage", "value": 273939650417027997025298091294363923232469493922124401}, {"parameter": "12,3", "name": "generalized_linkage", "value": 273939650417027997025294174816004486459571321806399865}, {"parameter": "12,4", "name": "generalized_linkage", "value": 273939650417027997025294174816004484920872903503087508}, {"parameter": "12,5", "name": "generalized_linkage", "value": 273939650417027997025294174816004484920892919863060814}, {"parameter": "13,3", "name": "generalized_linkage", "value": 273940165883671725484326888659517051905078250236293557}, {"parameter": "13,4", "name": "generalized_linkage", "value": 273940165883671725484326888659517038056766395686518227}, {"parameter": "13,5", "name": "generalized_linkage", "value": 273940165883671725484326888659517038056766395690763104}, {"parameter": "14,4", "name": "generalized_linkage", "value": 273940223157755225434195993879912186354664811041345074}, {"parameter": "14,5", "name": "generalized_linkage", "value": 273940223157755225434195993879912186354664811040747204}, {"parameter": "15,5", "name": "generalized_linkage", "value": 30437801875679103879161310302028918435021562462931896}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797010347465037253480569443547654732814961893670057518175}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797010300501459928164971637398931645747031344258769404155}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797010299921678584030322911509951444429284714035106484401}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914520564770637346874767450434753972298179421029}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914432300100921519441518024678070391686655614594}, {"parameter": "[7, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1797010299920794998653429578960032443777378688677285955856}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381457944885477141246922022473175366402236407311469}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381392720983007012559894576165624600480114727207359}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391914628839687343672537209585799679833602819771}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913524241616910991549320246724646924779514561}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522728395873113812801745448406574758981441}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3381391913534700933498242702205262561349781834315684}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30812882284163593617730110969336783043705740045407229}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30812882194814639543215036681310280155425337083407096}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30812882194690371430204985499293759161493121992772762}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 30812882194690202610284053150608902974396416462949638}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 30812882194690202584623123530532962945031796337268108}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 30812882194690202587122848933224021940646118731635392}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990870832821818713149119553584735}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 274310658901575042357305898013119268259720674950665031}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 274310658901575023627841217522946692008023462150478042}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 274310658901575023624950862005011694164028129421426604}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 274310658901575023624950426774585284057164091616078954}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 274310658901575023624950427290752698906575705297484334}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 273935719359444941235604255925696337182758295508668667}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 273935719359431285322805005232183975127695563023472507}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273935719359431285322804956881437333757529018960947494}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273935719359431285322804956880609398282950614963466060}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273935719359431285322804956880609494020867691083948900}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 273939650417027997025298091294363923232469493922124401}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273939650417027997025294174816004486459571321806399865}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273939650417027997025294174816004484920872903503087508}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273939650417027997025294174816004484920892919863060814}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273940165883671725484326888659517051905078250236293557}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940165883671725484326888659517038056766395686518227}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940165883671725484326888659517038056766395690763104}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940223157755225434195993879912186354664811041345074}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223157755225434195993879912186354664811040747204}, {"parameter": "[15, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 30437801875679103879161310302028918435021562462931896}, {"parameter": "[7, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 30432533594316482536766662951860546544495294647344499}, {"parameter": "[7, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 30432533594440547004132779000856319034735701072190838}, {"parameter": "[7, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 30480084190433045611928389776052016556587110163265144}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 273940223158844724315531009291231342185838776551132413}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892745006356836973413394290035997602686291576841541}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745006480901440779510339031770092926698001687880}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273940295602473400048575121114227467614778107092762186}, {"parameter": "[7, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 273940223157767197949100427510257095583434242311621123}, {"parameter": "[7, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892745005279310606982812509061751000281757337330251}, {"parameter": "[7, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745005403375074348928558057523490522163762176590}, {"parameter": "[7, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273940295601395873682144539333253221012373572853250896}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 273940223247094115050152434398446551507287542580587675}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745094606227708034819397251206924135057606296803}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745094730292175400935446246979414375464031143142}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940295690722790783196546221442676936226873122217448}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 273940223157755225661705016444853478563124575998327701}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745005267338319587401443658133979972091024036829}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745005391402786953517492653906470212497448883168}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940295601383901394749128267849603992063906539957474}, {"parameter": "[7, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 273940223157767347585233360501246780627011998537588494}, {"parameter": "[7, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745005279460243115745500051436043859513563297622}, {"parameter": "[7, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745005403524710481861549047208534099919988143961}, {"parameter": "[7, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940295601396023318277472324242906055951329079218267}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 273940230403887908250336991311000366990758887846149843}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892752251400020908219376309805022407606402871858971}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892752251524085375585492358800794897846809296705310}, {"parameter": "[7, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940302847516583983381103133996492419698218387779616}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 273940223157755244112460339053347304723237535427662499}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745005267356770342724052151960140085050453371627}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745005391421237708840101147732630325456878217966}, {"parameter": "[7, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940295601383919845504450876343430152176865969292272}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 273940223157755225664551969476935053848546447972788870}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745005267338322434354475739709265393962998497998}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745005391402789800470524735481755634369423344337}, {"parameter": "[7, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940295601383901397596081299931179277485778514418643}, {"parameter": "[7, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 273940223157767216217129350575568907474287483195695536}, {"parameter": "[7, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745005279328875011735574373562891134998221404664}, {"parameter": "[7, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745005403393342377851623369335381375404646251003}, {"parameter": "[7, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940295601395891950173462398565032903226813737325309}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 273893332835278665279426140550812745919015141653983619}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 273893331931966980202811740032606569115060150662554980}, {"parameter": "[7, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 273893331942017528230775575206859890144884090993566038}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745898654054594153413765990168193456913661139219}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995342369517539013247783991389501922669710580}, {"parameter": "[7, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745005392917545502848422037312419325863000721638}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745898652558519809505273703979414384516308406534}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340873443195104755497802610429525316977895}, {"parameter": "[7, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745005391421471158939929751123640253465647988953}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745898652539835951647420863725518594764800213956}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340854759337246902657548714639773808785317}, {"parameter": "[7, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745005391402787301082076910869744463714139796375}, {"parameter": "[7, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745898664514001513021314470680163366018240127796}, {"parameter": "[7, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995352828924898620796264503359411027248699157}, {"parameter": "[7, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745005403376952862455970517824389234967579710215}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940223157755414293994653602689483748183648601885773}, {"parameter": "[7, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223157755227509303324700492899336866603542948083}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995463736505343518321367389837157898520052413}, {"parameter": "[7, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995463549720652189419170805425840853461114723}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995342556558520813294520454936780280855764440}, {"parameter": "[7, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995342369773829484392323870525463235796826750}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995341041344467490890036991938325841065076890}, {"parameter": "[7, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340854559776161987840407527008796006139200}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995341022865247618627041473457449339026514906}, {"parameter": "[7, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340836080556289724844889046132293967577216}, {"parameter": "[7, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995352997202956864385760272325694119040321772}, {"parameter": "[7, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995352810418265535483563687914377073981384082}, {"parameter": "[7, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432527231631043476209763687056190499420142035560819}, {"parameter": "[7, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432527221828786744887510175316098915680642077359062}, {"parameter": "[7, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432527221706056459706305754937887219359489123980936}, {"parameter": "[7, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704557843230629738222920644296629721978372}, {"parameter": "[7, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704539389583613037646098602104000715171690}, {"parameter": "[7, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432527221716513749821884798269538045326094308537886}, {"parameter": "[8, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 122480450933418144535776560670352286612419568019}, {"parameter": "[8, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264194577840624658096239599408568694118782491}, {"parameter": "[8, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 123295543693536980488843328399783038504014515478}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 122480438962955549487851230180691028923962858518}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264182607378029610170909109747311005662072990}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 123295531723074385440917997910121780815557805977}, {"parameter": "[8, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 122480438960905465129261765309213575467358548187}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264182605327945251581444238269857549057762659}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 123295531721024301082328533038644327358953495646}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 122480440475917489375431544218332776255017401235}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264184120339969497751223147389058336716615707}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 123295533236036325328498311947763528146612348694}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 122480438960902962402901831150047900410451909558}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264182605325442525221510079104182492151124030}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 123295531721021798355968598879478652302046857017}, {"parameter": "[8, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 122480438960905496414459920051799129553863762046}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264182605327976536779598980855411635562976518}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 123295531721024332367526687781229881445458709505}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 122481544900723025627413118098616966830467787923}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 57265288545145505749732797027673248912167002395}, {"parameter": "[8, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 123296637660841861580479885828047718722062735382}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 122480438960903278725658655954957578403712441051}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264182605325758847978334884013860485411655523}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 123295531721022114678725423684388330295307388510}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 122480438960902962408265416506107895813798854578}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264182605325442530585095435164177895498069050}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 123295531721021798361332184235538647705393802037}, {"parameter": "[8, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 122480438960905468948652801100018787019190316464}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264182605327949070972480029075069100889530936}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 123295531721024304901719568829449538910785263923}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58070535431414151112197126548873274252308440476}, {"parameter": "[8, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 58070412715496503283970197344477669160770871187}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264305321474314467064090892759207397184851564}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 57264182605556666638837161688363602305647282275}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264305321243410635066787697887514837797466895}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 57264182605325762806839858493491909746259897606}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264305321243090354103241907005911138633854379}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 57264182605325442525876312702610306047096285090}, {"parameter": "[8, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264305321245593472558886233457186546544294573}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 57264182605327945644331957029061581455006725284}, {"parameter": "[8, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 122480452596004922843559764201433993794432192259}, {"parameter": "[8, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 57264182773888129868265898156737182984179852443}, {"parameter": "[8, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 57264182605559556553436585712320027490795235590}, {"parameter": "[8, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 57264182605325759331288050245974320142378159672}, {"parameter": "[8, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 57264182605325442525288843867069032194000096530}, {"parameter": "[8, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 57264182605327945680258605848554001957020798810}, {"parameter": "[9, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 58069347346357470213650546121979372615665854358}, {"parameter": "[9, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 58069347346357470213650546121979372615665854358}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354970920974432255326182216608305010}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354970920974432255326182216608305010}, {"parameter": "[9, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058668900513405417580893280030}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058668900513405417580893280030}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58069347346380627825026210755219071178434522414}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58069347346380627825026210755219071178434522414}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058146360501936836736403090138}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058146360501936836736403090138}, {"parameter": "[9, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058675441471156710258214434841}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058675441471156710258214434841}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58069347514943315538200250353508697357892457630}, {"parameter": "[9, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 58069347514943315538200250353508697357892457630}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967063510581773657079935321787254}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967063510581773657079935321787254}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058146370595836496611106711977}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058146370595836496611106711977}, {"parameter": "[9, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058669699053190181146204188763}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058669699053190181146204188763}, {"parameter": "[9, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 58069470247260696177894445186788022080741582198}, {"parameter": "[9, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 58069347346355002305781170015822061203154838118}, {"parameter": "[9, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967063577635535078349174039301049}, {"parameter": "[9, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058146361734230450042254656355}, {"parameter": "[9, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 58069347346354967058668982627780984470773583655}, {"parameter": "[10, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 644396295193233646442233920656888150489215369008}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 644396295193233646441717841727308796318024111357}, {"parameter": "[10, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 644396295193233646441710573133279779083514216696}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 644396295193233646876285182081388115074848173592}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 644396295193233646441710573025380495274784916717}, {"parameter": "[10, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 644396295193233646441710573134647330859679330315}, {"parameter": "[10, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 644396295193236501548474268110440824750758139336}, {"parameter": "[10, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 644396295193233646441710663882615897402484000032}, {"parameter": "[10, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 644396295193233646441710573025399489013713738647}, {"parameter": "[10, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 644396295193233646441710573133446733915285772253}, {"parameter": "[7, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 47535436521838709686025745446037118335913414325700}, {"parameter": "[7, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 47535436521838709686025745446037118335913414325700}, {"parameter": "[7, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 57284033951367568410744250692535183428440034828}, {"parameter": "[7, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 57284033951367568410744250692535183428440034828}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 95013588997753764408229681237764681178732075323150}, {"parameter": "[7, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 95013588997753539124234231846020562777253327596740}, {"parameter": "[7, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 47535436509866422290614680042420098026247101032278}, {"parameter": "[7, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 47535436509866422290614680042420098026247101032278}, {"parameter": "[7, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 47535436509866197006619230650675979624768353305868}, {"parameter": "[7, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 47535436509866197006619230650675979624768353305868}, {"parameter": "[8, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 130432551953876647212491408253872245923754222428}, {"parameter": "", "name": "JohnsonLB", "value": 1797287867352894187455914591132491865239836178520020341790}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 273935057120395141119623494192282423246703186646697632}], "request": [9, 17, 4, 7], "liftedmrdsizebound": 1797326613871055312532526603829762008458519216113457247756, "comments": "", "equal_bound_constraints": []}