{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "", "name": "singleton", "value": 377502614721293061473789582165641}, {"parameter": "3", "name": "ilp_2", "value": 324529850211414949709827390050823}, {"parameter": "4", "name": "ilp_2", "value": 22306967528735135188671053153781612500189767}, {"parameter": "5", "name": "ilp_2", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "6", "name": "ilp_2", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "8", "name": "ilp_3", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "9", "name": "ilp_3", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "10", "name": "ilp_3", "value": 784856699062579021557952446926529882809235631476244565330}, {"parameter": "11", "name": "ilp_3", "value": 374157468676033728052378748335935945906647930015096}, {"parameter": "", "name": "anticode", "value": 324529850211414949709827390050823}, {"parameter": "", "name": "linear_programming_bound", "value": 324529850211414949709827390050823}, {"parameter": "", "name": "sphere_packing", "value": 1232083275024896794214452222635697334864687222}, {"parameter": "1", "name": "ilp_1", "value": 324529850027232786920220231812163}, {"parameter": "2", "name": "ilp_1", "value": 324529850027232786920220231812163}, {"parameter": "12", "name": "ilp_4", "value": 374150510470181366174966361098216340094279748945083}, {"parameter": "13", "name": "ilp_4", "value": 374150510467544101430068252303928812110618715010332}, {"parameter": "14", "name": "ilp_4", "value": 374150510467544101430068252303928812110618715010332}, {"parameter": "15", "name": "ilp_4", "value": 91345644364666977952749643905460511396507937715}, {"parameter": "16", "name": "ilp_4", "value": 22301192509319781048335901102917771601284359}, {"parameter": "17", "name": "ilp_4", "value": 5444707396157458361738487184255229090210}, {"parameter": "18", "name": "ilp_4", "value": 1329274265402059156962950668515315711}, {"parameter": "", "name": "johnson_1", "value": 324529850027232786920220231812163}, {"parameter": "", "name": "johnson_2", "value": 1329274265402059156962950668515315711}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 784856699062579021557952446926529882809235631476244565330}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 374157468676033728052378748335935945906647930015096}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 374150510470181366174966361098216340094279748945083}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 374150510467544101430068252303928812110618715010332}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 374150510467544101430068252303928812110618715010332}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 91345644364666977952749643905460511396507937715}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 22301192509319781048335901102917771601284359}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 5444707396157458361738487184255229090210}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 1329274265402059156962950668515315711}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 357896166368789264029914539124721793194602432908327995925715}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1343933333603370815652054840686428700242230523913110555}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 5116685771552055273329491620414033649382974572059}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 5116002520223105967699293998240607257889107585697}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 5116002785627661153867667706987949134940800826892}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 5116004920184255062006448363812895869312527739675}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 9992378153928072048040156834118422539563714409}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 19519192429968592854999542926804387191256016}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 38131566445818335403802866242683818581127}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 74603243587713305147835980857429278800}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 147733196304915868544385349368245942}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 324608945694404695124408703421953}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 41013724952470536964284450178671099062605234886968}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1232083275024896794214452222635697334864687222}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1230915319945703542931364548172329470983847533}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1230915311718760166036391865563010581224270260}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1230915383938726616997480777100329123428195507}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 19251239204010851906123650719617736193964377}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 300800596878449225784869237594856605610470}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 4700157229052139383254582255636818646907}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 73457745534156914869117210295606091777}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1149988249800250572770200133042675518}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 18249317674928248467235046486439002}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 325242947541454853389184473010689}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 22306967528735135188671053153781612500189767}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 4765427799414450133806177606228734317440}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 4765427799968017128402808586583286965370}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 4765427804396553089298269267970788729061}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 4765427839824841040296378351523255010174}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 595535358346286111983933937845837437140}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 74457613023977848530944028177158297107}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 9307202105835694508859702032345757203}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 1163439514277094606049800284659664665}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 145465367838953257637919166587314491}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 18218678317508323838596904027866626}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 2313404512310175897637173562767755}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 330395450833594764971608931869249}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 324529850211414949709827390050823}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 324529850216128256886142761697808}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 324529850253834714301046887782637}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 324529850555486373900673682894680}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 324529852968699668642890508971401}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 324529872274407175073651211423805}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 324530026720140730108387868214141}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 324531262290713417970303817761107}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 324541147156375936624829445404434}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 324620245355557474242590644839954}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 325254266886661453468945355941747}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 330406792218581144537677797005584}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 377502614721293061473789582165641}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 22306967528735135188671053153781612500189767}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 324529850211414949709827390050823}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 324529850027232786920220231812163}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 324529850027232786920220231812163}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 357896166368789264029914539124721793194602432908327995925715}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 41013724952470536964284450178671099062605234886968}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 4765427799414450133806177606228734317440}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 4766445915569948206835871829342034565309}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 4774607638027282917556374343195788384999}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 4840921632993021878427929157373091828989}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 5446036837046704936199768819477106525032}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1343933333603370815652054840686428700242230523913110555}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1232083275024896794214452222635697334864687222}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1232120280816443366771812826633153092829751982}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1232416463576013577608439756849592100754799822}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1234790553508189466568583518126766378775355987}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1254084155890755518554030834009128056002276889}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 1430439740146367920555923003986416956675756145}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 784856699062579021557952446926529882809235631476244565330}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 5116685771552055273329491620414033649382974572059}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 5116704985254208650037380121456450548908584247211}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 5116860834474080373891847401591662248191835553765}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 5118107932626059528013851025599203388154633374760}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 5128104237116658088245311439771040331194229768338}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 5209343735125665797328973428306990786140888146340}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 5952082191740081289300713153122071193816641908727}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 374157468676033728052378748335935945906647930015096}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 374157647044735900048950589304770026582000019731117}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 374159073999796511155732031223804234908739826875505}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 374170489988659080201100226372052648905916233332129}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 374261840201175874235684798039068686339257583302308}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 374994071997896288387847250774955919206132978815177}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 380944905344069989607104118959583263512076577109013}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 435352316509302207932941670577738326850779860686473}, {"parameter": "", "name": "improved_johnson", "value": 324529850027232786920220231812137}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 680588464442184084620191743102110027363}], "known_codes": [], "upper_bound": 324529850027232786920220231812137, "classified": false, "lower_bound": 324518553658435950155193026355202, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 324518553658426726783156020576256}, {"parameter": "", "name": "sphere_covering", "value": 4059845386233912001337}, {"parameter": "", "name": "graham_sloane", "value": 136653113}, {"parameter": "", "name": "multicomponent", "value": 324518553658435950155192875352065}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (1, 2, 7, 8, 9, 10, 11), (3, 4, 7, 11, 12, 13, 14), (0, 6, 8, 10, 12, 13, 15), (3, 5, 9, 10, 14, 15, 16), (4, 5, 8, 9, 12, 17, 18), (1, 6, 11, 14, 15, 17, 18), (0, 2, 7, 13, 16, 17, 18)]", "name": "ef_computation", "value": 324518553658435950155193026355202}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 324518553658426726783156020576257}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 324518553658426726783156022673409}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 633825300114114700748351602689}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1237940039285380274899124225}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 2417851639229258349412353}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 4722366482869645213697}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 19342822337206103650074625}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 324518553658426726783156022673409}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 633825300114114700748351602689}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1237940039285380274899124225}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 2417851639229258349412353}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 4722366482869645213697}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 19342822337206103650074625}, {"parameter": "7", "name": "linkage_GLT", "value": 324518553658426726783156022673409}, {"parameter": "8", "name": "linkage_GLT", "value": 633825300114114700748351602689}, {"parameter": "9", "name": "linkage_GLT", "value": 1237940039285380274899124225}, {"parameter": "10", "name": "linkage_GLT", "value": 2417851639229258349412353}, {"parameter": "11", "name": "linkage_GLT", "value": 4722366482869645213697}, {"parameter": "12", "name": "linkage_GLT", "value": 19342822337206103650074625}, {"parameter": "7", "name": "improved_linkage", "value": 324518553658435950155192875352065}, {"parameter": "8", "name": "improved_linkage", "value": 633825300114114705146398113793}, {"parameter": "9", "name": "improved_linkage", "value": 1237940039285380274901221377}, {"parameter": "10", "name": "improved_linkage", "value": 2417851639229258349412353}, {"parameter": "11", "name": "improved_linkage", "value": 4722366482869645213697}, {"parameter": "12", "name": "improved_linkage", "value": 19342822337206103650074625}, {"parameter": "13", "name": "improved_linkage", "value": 19342813113838464841809921}, {"parameter": "14", "name": "improved_linkage", "value": 19342813113834066797395969}, {"parameter": "7,0", "name": "generalized_linkage", "value": 324518553658426726783156022673409}, {"parameter": "7,1", "name": "generalized_linkage", "value": 324518553658426726787554067087361}, {"parameter": "7,2", "name": "generalized_linkage", "value": 324518553658435950155192875352065}, {"parameter": "8,0", "name": "generalized_linkage", "value": 633825300114114700748351602689}, {"parameter": "8,1", "name": "generalized_linkage", "value": 633825300114114700748353699841}, {"parameter": "8,2", "name": "generalized_linkage", "value": 633825300114114705146398113793}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1237940039285380274899124225}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1237940039285380274899124225}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1237940039285380274901221377}, {"parameter": "10,0", "name": "generalized_linkage", "value": 2417851639229258349412353}, {"parameter": "10,1", "name": "generalized_linkage", "value": 2417851639229258349412353}, {"parameter": "10,2", "name": "generalized_linkage", "value": 2417851639229258349412353}, {"parameter": "11,0", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "12,0", "name": "generalized_linkage", "value": 19342822337206103650074625}, {"parameter": "12,1", "name": "generalized_linkage", "value": 19342822337206103650074625}, {"parameter": "12,2", "name": "generalized_linkage", "value": 19342822337206103650074625}, {"parameter": "13,1", "name": "generalized_linkage", "value": 19342813113838464841809921}, {"parameter": "13,2", "name": "generalized_linkage", "value": 19342813113838464841809921}, {"parameter": "14,2", "name": "generalized_linkage", "value": 19342813113834066797395969}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156022673409}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726787554067087361}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950155192875352065}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114700748351602689}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114700748353699841}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114705146398113793}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380274899124225}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380274899124225}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380274901221377}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349412353}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349412353}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349412353}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342822337206103650074625}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342822337206103650074625}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342822337206103650074625}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813113838464841809921}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113838464841809921}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113834066797395969}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342822337206103650074625}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342822337206103650074625}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342822337206103650074625}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813113838464841809921}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113838464841809921}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813113838464841809921}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113838464841809921}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113834066797395969}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113834066797395969}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113834066797395969}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223376434901286913}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9223376434901286913}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 9223372036856872961}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9223372036856872961}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398048608257}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2417851641481058297315336}], "request": [8, 19, 10, 7], "liftedmrdsizebound": 324518553658435970743695512474113, "comments": "", "equal_bound_constraints": []}