{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "", "name": "singleton", "value": 1106318862415031509992507967997199980871301}, {"parameter": "4", "name": "ilp_2", "value": 969940015036985851168134739798343427612463}, {"parameter": "5", "name": "ilp_2", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "6", "name": "ilp_2", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "8", "name": "ilp_3", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "9", "name": "ilp_3", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "10", "name": "ilp_3", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "", "name": "anticode", "value": 969940015036985851168134739798343427612463}, {"parameter": "", "name": "linear_programming_bound", "value": 969940015036985851168134739798343427612463}, {"parameter": "", "name": "sphere_packing", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1", "name": "ilp_1", "value": 969940004093631497183908766512698380241011}, {"parameter": "2", "name": "ilp_1", "value": 969940004093631497183908766513429244941435}, {"parameter": "3", "name": "ilp_1", "value": 969940004093631497204651038992794333220021}, {"parameter": "11", "name": "ilp_4", "value": 273919437752526964796638867549576787721737933585770070}, {"parameter": "12", "name": "ilp_4", "value": 273919437752268144780512362628434629480905273209532737}, {"parameter": "13", "name": "ilp_4", "value": 273919437752268144726400443235499600932444552143382407}, {"parameter": "14", "name": "ilp_4", "value": 273919437752268144726400443235499600932444552143382407}, {"parameter": "15", "name": "ilp_4", "value": 375774636014483917906765382958407597475737838847000}, {"parameter": "16", "name": "ilp_4", "value": 515465881051245087967203770404794709271519384964}, {"parameter": "17", "name": "ilp_4", "value": 707086262060575406044616164227742104266309993}, {"parameter": "", "name": "johnson_1", "value": 969940004093631497183908766512698380241011}, {"parameter": "", "name": "johnson_2", "value": 707086262060575406044616164227742104266309993}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 273919437752526964796638867549576787721737933585770070}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 273919437752268144780512362628434629480905273209532737}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 273919437752268144726400443235499600932444552143382407}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 273919437752268144726400443235499600932444552143382407}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 375774636014483917906765382958407597475737838847000}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 515465881051245087967203770404794709271519384964}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 707086262060575406044616164227742104266309993}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 3010327178077401028020940798031911614109942832723257}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 3010327240144129619876961456771402656410054746488280}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3010327799596327336079683139387918718715442887257928}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3010332834675465790450185097359152014666256053266682}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 37165092524097886012905050463753974654579774410726}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 458890804535896622447055394867748621709869311122}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 5672241187374621844086881914968640399832457424}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 70805752690616047273051138936410143737402295}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 971272145913779151648543133916499223550841}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 458759990005105188457604296688049975617314410318}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 458759990250417123451271564480497108871757588247}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 458760000775929710660998281634862465995832388430}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 458760095505703441802144219875946674703804922574}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 50980260362393665998516439052079498497804950342}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 5664557590537496417270646476241129586098420850}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 629491086204835450692739054533019460150128535}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 70038341032752501019035201685520872350741961}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 7878111128962874882163908817984499413880070}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 983411198276695286855864932158249993845039}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 969940015036985851168134739798343427612463}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 969940015067847724203996017723028503320354}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 969940015345604581606383422658637046260381}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 969940017845416304678378276415068551363657}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 969940040343722334817509052158942286163538}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 969940242828518927863877425070974077043295}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 969942065195116337060130072780921292536958}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 969958466772171535637761771313143154398981}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 970106103461056177980402619446466251935734}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 971436658289932734740077368841920626018074}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 983561293813794056300959791143396639676576}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 1106318862415031509992507967997199980871301}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 969940015036985851168134739798343427612463}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 969940004093631497204651038992794333220021}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 969940004093631497183908766513429244941435}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 969940004093631497183908766512698380241011}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 458829057338380209345102011341760780149888049655}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 458891229297353297489372135585205168967525221632}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 459451536048489081466884733850677395790037286070}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 464556553114376821599465043881236657192394516367}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 516173947890059411204736671861061073509533277325}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 3010332703549577740508789017614260236093257228093216}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 3010383055265054123973759237044411950737739605119059}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 3010836289689678776484272717322887485503878987440246}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 3014920994998010423864591335232728459569432458902573}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 3052142241763265048933993048381966677239541317577294}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 3428949924948156164295872437763311435058928918072050}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 273939773205043493549905612620903956884004797777816392}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 273940287964927643991121471285497324138814274465340336}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 273944920882331901067312688139255032239296077701044828}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 273986623494137977771415500299496972850350893674140915}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 274362462476069191335539382105752002341915423164466075}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 277787288753520016482176083867550404230402474648202524}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 312463067466939934510699888848526630609825159414503235}, {"parameter": "", "name": "improved_johnson", "value": 969940004093631497183908766512698380240988}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 57273988555589073979426444769030001359846606529}], "known_codes": [], "upper_bound": 969940004093631497183908766512698380240988, "classified": false, "lower_bound": 969773729787524126224454969524900463452449, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 969773729787523602876821942164080815560161}, {"parameter": "", "name": "sphere_covering", "value": 3010920746231251370979294451466}, {"parameter": "", "name": "graham_sloane", "value": 80888329910718630578229}, {"parameter": "", "name": "multicomponent", "value": 969773729787524126224454969524618029071683}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 969773729787523602876821942164080815560162}, {"parameter": "", "name": "two_pivot_block_construction", "value": 969773729787524102492179511941772164988928}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 969773729787523602876821942164080820343131}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 147808829414345923316083210206383297602}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 22528399544939174411840147874772642}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 3433683820292512484657849089282}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 2503156028340874628676109199597371}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 969773729787523602876821942164080820343131}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 147808829414345923316083210206383297602}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 22528399544939174411840147874772642}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 3433683820292512484657849089282}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 2503156028340874628676109199597371}, {"parameter": "7", "name": "linkage_GLT", "value": 969773729787523602876821942164080820343131}, {"parameter": "8", "name": "linkage_GLT", "value": 147808829414345923316083210206383297602}, {"parameter": "9", "name": "linkage_GLT", "value": 22528399544939174411840147874772642}, {"parameter": "10", "name": "linkage_GLT", "value": 3433683820292512484657849089282}, {"parameter": "11", "name": "linkage_GLT", "value": 2503156028340874628676109199597371}, {"parameter": "7", "name": "improved_linkage", "value": 969773729787524126224454969524900463452449}, {"parameter": "8", "name": "improved_linkage", "value": 147808829414345923425502199337896188981}, {"parameter": "9", "name": "improved_linkage", "value": 22528399544939174411863024667234164}, {"parameter": "10", "name": "improved_linkage", "value": 3433683820292512484657853872251}, {"parameter": "11", "name": "improved_linkage", "value": 2503156028340874628676109199597371}, {"parameter": "12", "name": "improved_linkage", "value": 2503155505711249007996556087215308}, {"parameter": "13", "name": "improved_linkage", "value": 2503155504993253775681089535136181}, {"parameter": "14", "name": "improved_linkage", "value": 2503155504993242952190459728843073}, {"parameter": "7,0", "name": "generalized_linkage", "value": 969773729787523602876821942370286145737071}, {"parameter": "7,1", "name": "generalized_linkage", "value": 969773729787523602876822094134613137457450}, {"parameter": "7,2", "name": "generalized_linkage", "value": 969773729787523602876931361153212328451541}, {"parameter": "7,3", "name": "generalized_linkage", "value": 969773729787524126224454969524900463452449}, {"parameter": "8,0", "name": "generalized_linkage", "value": 147808829414345923316083210206426410004}, {"parameter": "8,1", "name": "generalized_linkage", "value": 147808829414345923316083210492304461231}, {"parameter": "8,2", "name": "generalized_linkage", "value": 147808829414345923316083233083175759124}, {"parameter": "8,3", "name": "generalized_linkage", "value": 147808829414345923425502199337896188981}, {"parameter": "9,0", "name": "generalized_linkage", "value": 22528399544939174411840147917885044}, {"parameter": "9,1", "name": "generalized_linkage", "value": 22528399544939174411840147874832420}, {"parameter": "9,2", "name": "generalized_linkage", "value": 22528399544939174411840147879555611}, {"parameter": "9,3", "name": "generalized_linkage", "value": 22528399544939174411863024667234164}, {"parameter": "10,0", "name": "generalized_linkage", "value": 3433683820292512484657892201684}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3433683820292512484657849149060}, {"parameter": "10,2", "name": "generalized_linkage", "value": 3433683820292512484657849089282}, {"parameter": "10,3", "name": "generalized_linkage", "value": 3433683820292512484657853872251}, {"parameter": "11,0", "name": "generalized_linkage", "value": 2503156028340874628676109242709773}, {"parameter": "11,1", "name": "generalized_linkage", "value": 2503156028340874628676109199657149}, {"parameter": "11,2", "name": "generalized_linkage", "value": 2503156028340874628676109199597371}, {"parameter": "11,3", "name": "generalized_linkage", "value": 2503156028340874628676109199597371}, {"parameter": "12,1", "name": "generalized_linkage", "value": 2503155505711249007996556087275086}, {"parameter": "12,2", "name": "generalized_linkage", "value": 2503155505711249007996556087215308}, {"parameter": "12,3", "name": "generalized_linkage", "value": 2503155505711249007996556087215308}, {"parameter": "13,2", "name": "generalized_linkage", "value": 2503155504993253775681089535136181}, {"parameter": "13,3", "name": "generalized_linkage", "value": 2503155504993253775681089535136181}, {"parameter": "14,3", "name": "generalized_linkage", "value": 2503155504993242952190459728843073}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 969773729787523602876821942370286145737071}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 969773729787523602876822094134613137457450}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 969773729787523602876931361153212328451541}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 969773729787524126224454969524900463452449}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083210206426410004}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083210492304461231}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083233083175759124}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923425502199337896188981}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147917885044}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147874832420}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147879555611}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411863024667234164}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657892201684}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849149060}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849089282}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657853872251}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676109242709773}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676109199657149}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676109199597371}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676109199597371}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711249007996556087275086}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711249007996556087215308}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711249007996556087215308}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253775681089535136181}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253775681089535136181}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993242952190459728843073}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676144551767830}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676109242709773}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676109242709773}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676109242709773}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304707033662104}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304703541557461}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304703541557461}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304707033662104}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304703541557461}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304703541557461}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241753286104307504175}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241753286104307504175}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601338448821653213}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601338448821653213}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601338448821653213}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601338448821653213}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601521777316262759}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601315603802461319}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601315572033981221}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601315572033981221}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668768983133}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668768983133}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668768983133}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414049078885}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414049078885}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414049078885}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414049078885}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360823177727775}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537261406893}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537261406893}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419012008347926573}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419012008347926573}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418989131560254581}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418989131560254581}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22876840350333}, {"parameter": "", "name": "JohnsonLB", "value": 969773707259124595825868941024925989482224}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 202755595905170467694253214847632944}], "request": [9, 18, 8, 7], "liftedmrdsizebound": 969773729787524199912321159451235901109771, "comments": "", "equal_bound_constraints": []}