{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "", "name": "singleton", "value": 1140747634121270227670449517400445860666056}, {"parameter": "6", "name": "ilp_2", "value": 876107661519621300531765374210814893791135}, {"parameter": "7", "name": "ilp_2", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "9", "name": "ilp_3", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "10", "name": "ilp_3", "value": 547567611418261424891277474450051364364269260}, {"parameter": "", "name": "anticode", "value": 876107661519621300531765374210814893791135}, {"parameter": "", "name": "linear_programming_bound", "value": 876107661519621300531765374210814893791135}, {"parameter": "", "name": "sphere_packing", "value": 91261455473190185491726142338436148019594293}, {"parameter": "1", "name": "ilp_1", "value": 876107302665887853581984285378377475023967}, {"parameter": "2", "name": "ilp_1", "value": 876107302665887853581984285378377480978059}, {"parameter": "3", "name": "ilp_1", "value": 876107302665887853581984286309359565894156}, {"parameter": "4", "name": "ilp_1", "value": 876107302665887853581984286309359565894156}, {"parameter": "5", "name": "ilp_1", "value": 876107302665922848121930904185581219196683}, {"parameter": "11", "name": "ilp_4", "value": 547550655570675217989811515783661304454064257}, {"parameter": "12", "name": "ilp_4", "value": 547550655570675217989811515783661304454064257}, {"parameter": "13", "name": "ilp_4", "value": 547550655570675177228146348676604614957171754}, {"parameter": "14", "name": "ilp_4", "value": 547550655570675177227869701395807569385129596}, {"parameter": "15", "name": "ilp_4", "value": 547550655570675177227869701343289030240311472}, {"parameter": "16", "name": "ilp_4", "value": 547550655570675177228125819142581593961057483}, {"parameter": "17", "name": "ilp_4", "value": 21902693691112941902879193359035470236628899}, {"parameter": "", "name": "johnson_1", "value": 876107302665887853581984285378377475023967}, {"parameter": "", "name": "johnson_2", "value": 21902693691112941902879193359035470236628899}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 547567611418261424891277474450051364364269260}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 547550655570675217989811515783661304454064257}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 547550655570675217989811515783661304454064257}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 547550655570675177228146348676604614957171754}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 547550655570675177227869701395807569385129596}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 547550655570675177227869701343289030240311472}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 547550655570675177228125819142581593961057483}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 21902693691112941902879193359035470236628899}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 91261455473190185491726142338436148019594293}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 91256820262692239921907162798620000702978314}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 91257007097807859264408842856721291278175507}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 91257941571951208376989551213766060302509403}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 91262614229761164652150073182666558555724486}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 91285984698237240307447470700918878235093403}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 91403016811608221347057744364648994477161301}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 18399445904404562183376399569645611801947616}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3802541500118744130469097126452961168550261}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 876107661519621300531765374210814893791135}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 876107747640108026174494597178639601670321}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 876108178242760346555845943282144724091910}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 876110331261489266628330578819027363919151}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 876121096491818567793440528844816393376418}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 876174926060800940091147232570778203682887}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 876444159366411497329052899332444322328558}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 877792465830152992899601900089276490118873}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 884587927263215292855644373702720929201941}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 919969545038261684525937516790493980818133}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1140747634121270227670449517400445860666056}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 876107661519621300531765374210814893791135}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 876107302665922848121930904185581219196683}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 876107302665887853581984286309359565894156}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 876107302665887853581984286309359565894156}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 876107302665887853581984285378377480978059}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 876107302665887853581984285378377357836167}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 91261455473190185491726142338436148019594293}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 91262203096694865565513052708747091712552914}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 91266876018646392409002595214449534184246349}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 91290247808306772162088740581256669304033303}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 91407286539532301367207618296268764051596442}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 91997010725320587889251942215322514981925795}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 95063576441096568754475171127255596389466748}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 114076281994810639003766237715680622393746784}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 547567611418261424891277474450051364364269260}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 547568957121112239497010806115721743060004848}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 547575685720803191157532196604224000036053077}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 547609330855316403949714845919736786842692244}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 547777609946410376335315773701520996832642338}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 548620343001813898944600684477134446963159445}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 552867717522439899861805638175838129214225828}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 574982378740922457072887242001389666502735358}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 712977784594148279816735342927316866304884806}, {"parameter": "", "name": "improved_johnson", "value": 876107302665887853581984285378377475023953}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 21902702662460871112879952298741647227120128}], "known_codes": [], "upper_bound": 876107302665887853581984285378377357836167, "classified": false, "lower_bound": 867362182077840679822534739559109441355776, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 867361737988403547205962240695953369140625}, {"parameter": "", "name": "sphere_covering", "value": 2756040360016861947932915864746872}, {"parameter": "", "name": "graham_sloane", "value": 29904474111611875016702868629851}, {"parameter": "", "name": "multicomponent", "value": 867361737988412642152979969978485107421876}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 867361738025703503737220452084511095531250}, {"parameter": "", "name": "two_pivot_block_construction", "value": 867362182077840679822534739559109441355776}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 3552716061446350478564136876781249}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 867361737988405929851812087927692784984375}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 867361737988405929851812087927692784984375}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 867361737988405929851811849509113683421875}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 867361737988405929851813280020588292796875}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 867361737988405929851811789905231847484375}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 867361737988405929851811789923542394359375}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 55511151529562633873941968808214671875}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 55511151529562633873940061459581859375}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 55511151529562633874237607846300609375}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 55511151529562633874237607846300609375}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 55511151529562633873940061459581859375}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 55511151529562633873941968808214671875}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3590013635331759140763252550609375}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 3590013635331759140744942003734375}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3590013635331760630860298449046875}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 3590013635331759200348823839671875}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3590013635331759438767402941234375}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 3590013635331759438767402941234375}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 867361737988405929851811789904468908031250}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 55511151529562633873939584622423656250}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 3590013635331759140744179064281250}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 867361737988405929851811789904468908031250}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 55511151529562633873939584622423656250}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 3590013635331759140744179064281250}, {"parameter": "8", "name": "linkage_GLT", "value": 867361737988403547205962240695953369140626}, {"parameter": "9", "name": "linkage_GLT", "value": 55511151231257827021181583404541015626}, {"parameter": "10", "name": "linkage_GLT", "value": 3552713678800500929355621337890626}, {"parameter": "8", "name": "improved_linkage", "value": 867361737988412642157636585237327916895633}, {"parameter": "9", "name": "improved_linkage", "value": 55511151231257850304257974463391093912}, {"parameter": "10", "name": "improved_linkage", "value": 3552713678800500988960303012503775}, {"parameter": "11", "name": "improved_linkage", "value": 3581144483177922666072998056660931}, {"parameter": "12", "name": "improved_linkage", "value": 3552941525261849164962768555081251}, {"parameter": "13", "name": "improved_linkage", "value": 3552715878165552020072937011718751}, {"parameter": "14", "name": "improved_linkage", "value": 3552715513772407543683929443359376}, {"parameter": "15", "name": "improved_linkage", "value": 3552715497790836474432716800000001}, {"parameter": "8,0", "name": "generalized_linkage", "value": 867361737988405929851811789904468908031250}, {"parameter": "8,1", "name": "generalized_linkage", "value": 867361737988403566444151193856373971517000}, {"parameter": "8,2", "name": "generalized_linkage", "value": 867361737988403547358473452195472659654045}, {"parameter": "8,3", "name": "generalized_linkage", "value": 867361737988403547206932366494889372770025}, {"parameter": "8,4", "name": "generalized_linkage", "value": 867361737988403547229245317087012219218912}, {"parameter": "8,5", "name": "generalized_linkage", "value": 867361737988412642157636585237327916895633}, {"parameter": "9,0", "name": "generalized_linkage", "value": 55511151529562633873939584622423656250}, {"parameter": "9,1", "name": "generalized_linkage", "value": 55511151231257857606707976406871298250}, {"parameter": "9,2", "name": "generalized_linkage", "value": 55511151231257827070450771009153328320}, {"parameter": "9,3", "name": "generalized_linkage", "value": 55511151231257827021184067084324641081}, {"parameter": "9,4", "name": "generalized_linkage", "value": 55511151231257827021241188086215628775}, {"parameter": "9,5", "name": "generalized_linkage", "value": 55511151231257850304257974463391093912}, {"parameter": "10,0", "name": "generalized_linkage", "value": 3590013635331759140744179064281250}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3552713679565383165706965574423250}, {"parameter": "10,2", "name": "generalized_linkage", "value": 3552713678800500945001560212309570}, {"parameter": "10,3", "name": "generalized_linkage", "value": 3552713678800500929355627746581901}, {"parameter": "10,4", "name": "generalized_linkage", "value": 3552713678800500929355773935567181}, {"parameter": "10,5", "name": "generalized_linkage", "value": 3552713678800500988960303012503775}, {"parameter": "11,1", "name": "generalized_linkage", "value": 3581144502301198960467852351767000}, {"parameter": "11,2", "name": "generalized_linkage", "value": 3581144483177922744302700045903320}, {"parameter": "11,3", "name": "generalized_linkage", "value": 3581144483177922666072845459000651}, {"parameter": "11,4", "name": "generalized_linkage", "value": 3581144483177922666072845459378126}, {"parameter": "11,5", "name": "generalized_linkage", "value": 3581144483177922666072998056660931}, {"parameter": "12,2", "name": "generalized_linkage", "value": 3552941525261849556112201704106445}, {"parameter": "12,3", "name": "generalized_linkage", "value": 3552941525261849164962768554768876}, {"parameter": "12,4", "name": "generalized_linkage", "value": 3552941525261849164962768554687501}, {"parameter": "12,5", "name": "generalized_linkage", "value": 3552941525261849164962768555081251}, {"parameter": "13,3", "name": "generalized_linkage", "value": 3552715878165552020072937012125651}, {"parameter": "13,4", "name": "generalized_linkage", "value": 3552715878165552020072937011718751}, {"parameter": "13,5", "name": "generalized_linkage", "value": 3552715878165552020072937011718751}, {"parameter": "14,4", "name": "generalized_linkage", "value": 3552715513772407543683929443359376}, {"parameter": "14,5", "name": "generalized_linkage", "value": 3552715513772407543683929443359376}, {"parameter": "15,5", "name": "generalized_linkage", "value": 3552715497790836474432716800000001}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 867361737988405929851811789904468908031250}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 867361737988403566444151193856373971517000}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 867361737988403547358473452195472659654045}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 867361737988403547206932366494889372770025}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 867361737988403547229245317087012219218912}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 867361737988412642157636585237327916895633}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 55511151529562633873939584622423656250}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257857606707976406871298250}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827070450771009153328320}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827021184067084324641081}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827021241188086215628775}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257850304257974463391093912}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3590013635331759140744179064281250}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552713679565383165706965574423250}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713678800500945001560212309570}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713678800500929355627746581901}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552713678800500929355773935567181}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552713678800500988960303012503775}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3581144502301198960467852351767000}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3581144483177922744302700045903320}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3581144483177922666072845459000651}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3581144483177922666072845459378126}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3581144483177922666072998056660931}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552941525261849556112201704106445}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552941525261849164962768554768876}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552941525261849164962768554687501}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552941525261849164962768555081251}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552715878165552020072937012125651}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552715878165552020072937011718751}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552715878165552020072937011718751}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552715513772407543683929443359376}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552715513772407543683929443359376}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552715497790836474432716800000001}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552725156393368207846516027171875}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552725156393368207846516027171875}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552725156393368207846516027171875}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552716061469633542929523839671875}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552716061469633542929523839671875}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552716061469633542929523839671875}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552716061469633542929523839671875}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552716061469633542929523839671875}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552716061469633542929523839671875}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552716061447320603762501134593750}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552716061447320603762501134593750}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061447320603762501134593750}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350538168781652171875}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350538168781652171875}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350538168781652171875}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350538168781652171875}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350538168781652171875}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350538168781652171875}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552716061598851909677570714671875}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061598851909677570714671875}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350481047657384593750}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350481047657384593750}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350478564289464671875}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350478564289464671875}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350538645771398265625}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350538645771398265625}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716080531806921413270714671875}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350868967800527171875}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350478564143234593750}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350478564290685765625}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3552716061446350538172604281468750}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 307399777153551648983995921875}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 307399777153551648983995921875}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 307399753870546888241808421875}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 307399753870546888241808421875}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 307399753870546888241808421875}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 307399753870546888241808421875}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 307399753870489767117540843750}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 307399753870489767117540843750}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 307399753870487283749620921875}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 307399753870487283749620921875}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 307399753870487283749620921875}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 307399753870487283749620921875}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 307399753919365321768495921875}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 307399753870487283603390843750}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 307399753870487283597033421875}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 307399753870487283750842015625}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 37299956554541335358589464671875}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 37299956554541275754097277171875}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 37299956554541275754097277171875}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 37299956554541275753951047093750}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 37299956554541275753944689671875}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 37299956554541275753944689671875}, {"parameter": "", "name": "JohnsonLB", "value": 867361737988449060190215178524314604524708}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1387779491369659989312757862049631022500}], "request": [5, 18, 6, 8], "liftedmrdsizebound": 867362326675119429382682488123566156412931, "comments": "", "equal_bound_constraints": []}