{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2122605755496989866141807971203282490337105187301}, {"parameter": "", "name": "singleton", "value": 1930351405154232225472089767795511781}, {"parameter": "6", "name": "ilp_2", "value": 1357382294937297224884018746232351944}, {"parameter": "7", "name": "ilp_2", "value": 1518206306623763137385502171304707235269201}, {"parameter": "9", "name": "ilp_3", "value": 24291387778773301588924456932322615789898321}, {"parameter": "10", "name": "ilp_3", "value": 347491420910854754150982861488056874184}, {"parameter": "", "name": "anticode", "value": 1357382294937297224884018746232351944}, {"parameter": "", "name": "linear_programming_bound", "value": 1357382294937297224884018746232351944}, {"parameter": "", "name": "sphere_packing", "value": 69499079536775477264383132722562065769}, {"parameter": "1", "name": "ilp_1", "value": 1357378411431924807939705361080589161}, {"parameter": "2", "name": "ilp_1", "value": 1357378411431924807939705361081134291}, {"parameter": "3", "name": "ilp_1", "value": 1357378411431924807939713819508204693}, {"parameter": "4", "name": "ilp_1", "value": 1357378411431924807939713819508204693}, {"parameter": "5", "name": "ilp_1", "value": 1357378411435342677374143966628363174}, {"parameter": "11", "name": "ilp_4", "value": 347453642026512027893987873718971389913}, {"parameter": "12", "name": "ilp_4", "value": 347453642026512027893987873718971389913}, {"parameter": "13", "name": "ilp_4", "value": 347453642026506155071797107471675432438}, {"parameter": "14", "name": "ilp_4", "value": 347453642026506154919345721845917779088}, {"parameter": "15", "name": "ilp_4", "value": 347453642026506154919345648035216616593}, {"parameter": "16", "name": "ilp_4", "value": 347453642026506155066931563494610441990}, {"parameter": "17", "name": "ilp_4", "value": 21718136136524743981962543548980311375}, {"parameter": "", "name": "johnson_1", "value": 1357378411431924807939705361080589161}, {"parameter": "", "name": "johnson_2", "value": 21718136136524743981962543548980311375}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 2122605755496989866141807971203282490337105187301}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 24291387778773301588924456932322615789898321}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 347491420910854754150982861488056874184}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 347453642026512027893987873718971389913}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 347453642026512027893987873718971389913}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 347453642026506155071797107471675432438}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 347453642026506154919345721845917779088}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 347453642026506154919345648035216616593}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 347453642026506155066931563494610441990}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 21718136136524743981962543548980311375}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1518206306623763137385502171304707235269201}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 69499079536775477264383132722562065769}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 69486552620405157357869613215876520570}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 69487347078440540525827421352529924990}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 69490528005195338792005874344625554020}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 69503254625370557580440255145078825640}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 69554207755767256583119497141302114933}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 69758769553659434977324865595107842167}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 17650328218397002096093594181690325944}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 4633134108992092683745184733978456710}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1357382294937297224884018746232351944}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1357383508310567576491287660277935231}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1357388361821870554339157477947588592}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1357407776158632038765407673412879939}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1357485438170754703693093247870019895}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1357796160878625179968771174136101853}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1359040247423057988412695503419707966}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1364035799723436559456432431230234627}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1384330164484838000559614233460067929}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1470833699236137759227288733756856492}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1930351405154232225472089767795511781}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2122605755496989866141807971203282490337105187301}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1518206306623763137385502171304707235269201}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1357382294937297224884018746232351944}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1357378411435342677374143966628363174}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1357378411431924807939713819508204693}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1357378411431924807939713819508204693}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1357378411431924807939705361081134291}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1357378411431924807939705361071151833}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 24291387778773301588924456932322615789898321}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 69499079536775477264383132722562065769}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 69501465746800214985490639389111044786}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 69514194916553607443041617668479816930}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 69565158256612996372993988629784371344}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 69769761075581151072319823361884980920}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 70600351055281441409297492743477209786}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 74130357835319744319902410700603524184}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 92662876598201030492627903796694437843}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 347491420910854754150982861488056874184}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 347496391834465921998970106588250800893}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 347516276723609714883877974163977606457}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 347595835400020464866010458312822287545}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 347914376320899929448149841831119782303}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 349193458586387396306384158426446596115}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 354389729226467498216899302506060489433}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 376538813706676472325570049131132399159}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 494205307747746503853075131001823990245}, {"parameter": "", "name": "improved_johnson", "value": 1357378411431924807939705361080589154}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 21718198272847676097479595203640789570}], "known_codes": [], "upper_bound": 1357378411431924807939705361071151833, "classified": false, "lower_bound": 1329233066406659598935247113888464896, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1329227995784915872903807060280344576}, {"parameter": "", "name": "sphere_covering", "value": 56891829523972188330216248979}, {"parameter": "", "name": "graham_sloane", "value": 1348437756722789456385425568}, {"parameter": "", "name": "multicomponent", "value": 1329227995786124798723421693750018049}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1329227997572340478244180188406116352}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1329233066406659598935247113888464896}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 79228596795209597286010744831}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1329227995785350153850192652653981696}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329227995785350153850192652653981696}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329227995785350153849348227723849728}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329227995785350153853570352374509568}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329227995785350153849066769927008256}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329227995785350153849067027625046016}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 324518581560009493680626043875328}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 324518581560009493667431904342016}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 324518581560009494788933764673536}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 324518581560009494788933764673536}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 324518581560009493667431904342016}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 324518581560009493680626043875328}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 81015587119604710996547629056}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 81015587119604710738849591296}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 81015587119609214321297092608}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 81015587119604992196646432768}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 81015587119605836621576564736}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 81015587119605836621576564736}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1329227995785350153849066752747139072}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 324518581560009493663033857830912}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 81015587119604710721669722112}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1329227995785350153849066752747139072}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 324518581560009493663033857830912}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 81015587119604710721669722112}, {"parameter": "8", "name": "linkage_GLT", "value": 1329227995784915872903807060280344577}, {"parameter": "9", "name": "linkage_GLT", "value": 324518553658426726783156020576257}, {"parameter": "10", "name": "linkage_GLT", "value": 79228162514264337593543950337}, {"parameter": "8", "name": "improved_linkage", "value": 1329227995786124803335125300068483072}, {"parameter": "9", "name": "improved_linkage", "value": 324518553658445173598894784069722}, {"parameter": "10", "name": "improved_linkage", "value": 79228162514264619069883417872}, {"parameter": "11", "name": "improved_linkage", "value": 80467311479369332501913802405}, {"parameter": "12", "name": "improved_linkage", "value": 79247612263153566954610033665}, {"parameter": "13", "name": "improved_linkage", "value": 79228546096225397879777263617}, {"parameter": "14", "name": "improved_linkage", "value": 79228470313327283915179687937}, {"parameter": "15", "name": "improved_linkage", "value": 79228464746872162755444473857}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1329227995785350153849066752747139072}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1329227995784922784726784704756889152}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1329227995784915978989403896835127820}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1329227995784915874133577187414009360}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1329227995784915891350622799043838042}, {"parameter": "8,5", "name": "generalized_linkage", "value": 1329227995786124803335125300068483072}, {"parameter": "9,0", "name": "generalized_linkage", "value": 324518581560009493663033857830912}, {"parameter": "9,1", "name": "generalized_linkage", "value": 324518553658453413854128490956352}, {"parameter": "9,2", "name": "generalized_linkage", "value": 324518553658426832382944840780572}, {"parameter": "9,3", "name": "generalized_linkage", "value": 324518553658426726801925339248117}, {"parameter": "9,4", "name": "generalized_linkage", "value": 324518553658426727064632360043792}, {"parameter": "9,5", "name": "generalized_linkage", "value": 324518553658445173598894784069722}, {"parameter": "10,0", "name": "generalized_linkage", "value": 81015587119604710721669722112}, {"parameter": "10,1", "name": "generalized_linkage", "value": 79228162941672140163580446272}, {"parameter": "10,2", "name": "generalized_linkage", "value": 79228162514264439227979990812}, {"parameter": "10,3", "name": "generalized_linkage", "value": 79228162514264337593834755345}, {"parameter": "10,4", "name": "generalized_linkage", "value": 79228162514264337597839972005}, {"parameter": "10,5", "name": "generalized_linkage", "value": 79228162514264619069883417872}, {"parameter": "11,1", "name": "generalized_linkage", "value": 80467318319552865108154664512}, {"parameter": "11,2", "name": "generalized_linkage", "value": 80467311479369739040014468892}, {"parameter": "11,3", "name": "generalized_linkage", "value": 80467311479369332497617785105}, {"parameter": "11,4", "name": "generalized_linkage", "value": 80467311479369332497617847297}, {"parameter": "11,5", "name": "generalized_linkage", "value": 80467311479369332501913802405}, {"parameter": "12,2", "name": "generalized_linkage", "value": 79247612263155193128849245980}, {"parameter": "12,3", "name": "generalized_linkage", "value": 79247612263153566954609984577}, {"parameter": "12,4", "name": "generalized_linkage", "value": 79247612263153566954609967105}, {"parameter": "12,5", "name": "generalized_linkage", "value": 79247612263153566954610033665}, {"parameter": "13,3", "name": "generalized_linkage", "value": 79228546096225397879777333521}, {"parameter": "13,4", "name": "generalized_linkage", "value": 79228546096225397879777263617}, {"parameter": "13,5", "name": "generalized_linkage", "value": 79228546096225397879777263617}, {"parameter": "14,4", "name": "generalized_linkage", "value": 79228470313327283915179687937}, {"parameter": "14,5", "name": "generalized_linkage", "value": 79228470313327283915179687937}, {"parameter": "15,5", "name": "generalized_linkage", "value": 79228464746872162755444473857}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995785350153849066752747139072}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784922784726784704756889152}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915978989403896835127820}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915874133577187414009360}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915891350622799043838042}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1329227995786124803335125300068483072}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518581560009493663033857830912}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658453413854128490956352}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426832382944840780572}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726801925339248117}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426727064632360043792}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 324518553658445173598894784069722}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 81015587119604710721669722112}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228162941672140163580446272}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264439227979990812}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264337593834755345}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264337597839972005}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264619069883417872}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80467318319552865108154664512}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 80467311479369739040014468892}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 80467311479369332497617785105}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 80467311479369332497617847297}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 80467311479369332501913802405}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79247612263155193128849245980}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79247612263153566954609984577}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79247612263153566954609967105}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79247612263153566954610033665}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228546096225397879777333521}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228546096225397879777263617}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228546096225397879777263617}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228470313327283915179687937}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228470313327283915179687937}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228464746872162755444473857}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 79229805721029211915185451008}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 79229805721029211915185451008}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 79229805721029211915185451008}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228596813656341359720296448}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228596813656341359720296448}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228596813656341359720296448}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228596813656341359720296448}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228596813656341359720296448}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228596813656341359720296448}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228596796439361459259600896}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228596796439361459259600896}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596796439361459259600896}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209878760987455488}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209878760987455488}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209878760987455488}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209878760987455488}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209878760987455488}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209878760987455488}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228596901269157524612476928}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596901269157524612476928}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209616050722861056}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209616050722861056}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209597290305712128}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209597290305712128}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209883163328933888}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209883163328933888}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228603600594592446967083008}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596795211215626468487168}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209597286297071616}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209597290372886528}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228596795209878830086844416}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 29110527033238580721512448}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 29110527033238580721512448}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 29110508586775981988671488}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 29110508586775981988671488}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 29110508586775981988671488}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 29110508586775981988671488}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 29110508586513271724077056}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 29110508586513271724077056}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 29110508586494511306928128}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 29110508586494511306928128}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 29110508586494511306928128}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 29110508586494511306928128}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 29110508690468121592885248}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 29110508586494507298287616}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 29110508586494507012026368}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 29110508586494511374102528}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1787424623787398676812034048}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1787424623787117206130290688}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1787424623787117206130290688}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1787424623787117202121650176}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1787424623787117201835388928}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1787424623787117201835388928}, {"parameter": "", "name": "JohnsonLB", "value": 1329227995789751502395306874058571840}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5192316670412862968651649655953664}], "request": [4, 18, 6, 8], "liftedmrdsizebound": 1329235472005390497420562295972965861, "comments": "", "equal_bound_constraints": []}