{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 263862583736385343242102717216527933566}, {"parameter": "", "name": "singleton", "value": 4467854961017673003571751798888920}, {"parameter": "7", "name": "ilp_2", "value": 2979040833396016204058829634499542}, {"parameter": "9", "name": "ilp_3", "value": 26812578369717035183629988539429726}, {"parameter": "", "name": "anticode", "value": 2979040833396016204058829634499542}, {"parameter": "", "name": "linear_programming_bound", "value": 2979040833396016204058829634499542}, {"parameter": "", "name": "sphere_packing", "value": 263862583736385343242102717216527933566}, {"parameter": "1", "name": "ilp_1", "value": 2979040833396016204058829634499542}, {"parameter": "2", "name": "ilp_1", "value": 2979040833396016204058829634499542}, {"parameter": "3", "name": "ilp_1", "value": 2979040833396016204058829634499542}, {"parameter": "4", "name": "ilp_1", "value": 2979040833396016204058829634499542}, {"parameter": "5", "name": "ilp_1", "value": 2979040833396016204058829634499542}, {"parameter": "6", "name": "ilp_1", "value": 2979040833396016204058829634499542}, {"parameter": "10", "name": "ilp_4", "value": 26812578369717035183629988539429726}, {"parameter": "11", "name": "ilp_4", "value": 26812577262364808926606153215985029}, {"parameter": "12", "name": "ilp_4", "value": 26812577262364808926606153215985029}, {"parameter": "13", "name": "ilp_4", "value": 26812577262364776305394674272928264}, {"parameter": "14", "name": "ilp_4", "value": 26812577262364776291151390291473550}, {"parameter": "15", "name": "ilp_4", "value": 26812577262364776291151199809868071}, {"parameter": "16", "name": "ilp_4", "value": 26812577262364776304131129182635656}, {"parameter": "17", "name": "ilp_4", "value": 8936315281428152561778309896126594}, {"parameter": "", "name": "johnson_1", "value": 2979040833396016204058829634499542}, {"parameter": "", "name": "johnson_2", "value": 8936315281428152561778309896126594}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 263862583736385343242102717216527933566}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 26812578369717035183629988539429726}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 26812578369717035183629988539429726}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 26812577262364808926606153215985029}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 26812577262364808926606153215985029}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 26812577262364776305394674272928264}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 26812577262364776291151390291473550}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 26812577262364776291151199809868071}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 26812577262364776304131129182635656}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 8936315281428152561778309896126594}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2979074457256592778100550875963873}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 2979175333392549230130001963297059}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 2979478002794474083664973673716984}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2980386380109224538380463951472874}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2983114838427071911120581821971414}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2991330269832836407523417132185143}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 3016250327230671061784945902353779}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 3093565593551543405656936211416136}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3351274308943359001756191697040318}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 4467854961017673003571751798888920}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 263862583736385343242102717216527933566}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 26812578369717035183629988539429726}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 26815303132940135725805080506694327}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 26823480746392170871560442587358472}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 26848043540360378048549831495272960}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 26922002577456323859389599429945695}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 27146344905439653878861897110459971}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 27842380549645672016090735144841137}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 30162490523434015879652954148909248}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 40216143252770054194345243936096486}, {"parameter": "", "name": "improved_johnson", "value": 2979040833396016204058829634499542}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 8936617971374344620598950695161114}], "known_codes": [], "upper_bound": 2979040833396016204058829634499542, "classified": false, "lower_bound": 2540681546251523549771895302399518, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 2503155504993241601315571986085849}, {"parameter": "", "name": "sphere_covering", "value": 908254407700180725030655754868}, {"parameter": "", "name": "graham_sloane", "value": 1362150902749290549869436524052}, {"parameter": "", "name": "multicomponent", "value": 2503156028340886786341850686069214}, {"parameter": "", "name": "construction_ST_B", "value": 2534836007158973077019364384307846}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 2503795272526993615215529949861706}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 2535085180810433447014451376679254}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 2534836007174297006476517040615438}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 2540681546251523549771895302399518}, {"parameter": "", "name": "two_pivot_block_construction", "value": 2534444948796683398556610281340928}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 3510046897472625147947633928641}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 2534836537121138399731153735006570}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 2503231868070421714184752903027239}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 2503231868070421764010406869932297}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2503231868070421730656043470599159}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2503231868070421714047492148297473}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2503231868070421713978865257716991}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1147164108639209380627392874563}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1147164108639211232800293116961}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1147164108639259411325203264827}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1147164108639211232800293116961}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1147164108639209380627392874563}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 4502596413126962025134379096759}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 4502596413126962093761269677241}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 4502596413126978702312591978927}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4502596413127012056675991312065}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 4502596413126962231022024407007}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 2503231868070421713978861770932590}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 1147164108639209379780104265120}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 4502596413126962025130892312358}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 2503231868070421713978861770932590}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 1147164108639209379780104265120}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 4502596413126962025130892312358}, {"parameter": "8", "name": "linkage_GLT", "value": 2503155504993241601315571986093230}, {"parameter": "9", "name": "linkage_GLT", "value": 1144561273430837494885949696428}, {"parameter": "10", "name": "linkage_GLT", "value": 3862828879374948125172928536502}, {"parameter": "8", "name": "improved_linkage", "value": 2503156038686773176336523356878892}, {"parameter": "9", "name": "improved_linkage", "value": 1144561354761762757766314123552}, {"parameter": "10", "name": "improved_linkage", "value": 3862828879387338575192230110896}, {"parameter": "11", "name": "improved_linkage", "value": 3651930152902523708012256195882}, {"parameter": "12", "name": "improved_linkage", "value": 3509296603554752873893852736446}, {"parameter": "13", "name": "improved_linkage", "value": 3494629472177116014035210609962}, {"parameter": "14", "name": "improved_linkage", "value": 3499429055742341159733388011376}, {"parameter": "15", "name": "improved_linkage", "value": 3501029648463062703872774707126}, {"parameter": "16", "name": "improved_linkage", "value": 3501563260663712461943773155124}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2503231868070421713978861770932590}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2503163800071455560327348294925277}, {"parameter": "8,2", "name": "generalized_linkage", "value": 2503156397598331912325750169136392}, {"parameter": "8,3", "name": "generalized_linkage", "value": 2503155603044121176613279666571263}, {"parameter": "8,4", "name": "generalized_linkage", "value": 2503155515559829768225973931716244}, {"parameter": "8,5", "name": "generalized_linkage", "value": 2503155506050543629733016723638474}, {"parameter": "8,6", "name": "generalized_linkage", "value": 2503156038686773176336523356878892}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1147164108639209379780104265120}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1144898361351735359580156523968}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1144573172979931763460213376815}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1144561693589837197640584748730}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1144561288400439315668070428241}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1144561273926455495658012672227}, {"parameter": "9,6", "name": "generalized_linkage", "value": 1144561354761762757766314123552}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4502596413126962025130892312358}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3862832623499494239300015106914}, {"parameter": "10,2", "name": "generalized_linkage", "value": 3862829036669194159529290615242}, {"parameter": "10,3", "name": "generalized_linkage", "value": 3862828881195871885278840005049}, {"parameter": "10,4", "name": "generalized_linkage", "value": 3862828879395797858052844683204}, {"parameter": "10,5", "name": "generalized_linkage", "value": 3862828879375176320293886951595}, {"parameter": "10,6", "name": "generalized_linkage", "value": 3862828879387338575192230110896}, {"parameter": "11,1", "name": "generalized_linkage", "value": 3652234643663938405390067412885}, {"parameter": "11,2", "name": "generalized_linkage", "value": 3651930153480239382092643002961}, {"parameter": "11,3", "name": "generalized_linkage", "value": 3651930152910479538348970850649}, {"parameter": "11,4", "name": "generalized_linkage", "value": 3651930152902551694331196469896}, {"parameter": "11,5", "name": "generalized_linkage", "value": 3651930152902521927170360506840}, {"parameter": "11,6", "name": "generalized_linkage", "value": 3651930152902523708012256195882}, {"parameter": "12,2", "name": "generalized_linkage", "value": 3509296619174113601412943526880}, {"parameter": "12,3", "name": "generalized_linkage", "value": 3509296603554762589627439222904}, {"parameter": "12,4", "name": "generalized_linkage", "value": 3509296603554752917001539450404}, {"parameter": "12,5", "name": "generalized_linkage", "value": 3509296603554752873655244436707}, {"parameter": "12,6", "name": "generalized_linkage", "value": 3509296603554752873893852736446}, {"parameter": "13,3", "name": "generalized_linkage", "value": 3494629472177203496655165604935}, {"parameter": "13,4", "name": "generalized_linkage", "value": 3494629472177116014052805016495}, {"parameter": "13,5", "name": "generalized_linkage", "value": 3494629472177116014035189036854}, {"parameter": "13,6", "name": "generalized_linkage", "value": 3494629472177116014035210609962}, {"parameter": "14,4", "name": "generalized_linkage", "value": 3499429055742341159786310364476}, {"parameter": "14,5", "name": "generalized_linkage", "value": 3499429055742341159733388007275}, {"parameter": "14,6", "name": "generalized_linkage", "value": 3499429055742341159733388011376}, {"parameter": "15,5", "name": "generalized_linkage", "value": 3501029648463062703872774710405}, {"parameter": "15,6", "name": "generalized_linkage", "value": 3501029648463062703872774707126}, {"parameter": "16,6", "name": "generalized_linkage", "value": 3501563260663712461943773155124}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503231868070421713978861770932590}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503163800071455560327348294925277}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156397598331912325750169136392}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155603044121176613279666571263}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2503155515559829768225973931716244}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 2503155506050543629733016723638474}, {"parameter": "[8, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 2503156038686773176336523356878892}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1147164108639209379780104265120}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1144898361351735359580156523968}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144573172979931763460213376815}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144561693589837197640584748730}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561288400439315668070428241}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144561273926455495658012672227}, {"parameter": "[9, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1144561354761762757766314123552}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4502596413126962025130892312358}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3862832623499494239300015106914}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3862829036669194159529290615242}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3862828881195871885278840005049}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3862828879395797858052844683204}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3862828879375176320293886951595}, {"parameter": "[10, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 3862828879387338575192230110896}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3652234643663938405390067412885}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3651930153480239382092643002961}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3651930152910479538348970850649}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3651930152902551694331196469896}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3651930152902521927170360506840}, {"parameter": "[11, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 3651930152902523708012256195882}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3509296619174113601412943526880}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3509296603554762589627439222904}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3509296603554752917001539450404}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3509296603554752873655244436707}, {"parameter": "[12, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 3509296603554752873893852736446}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3494629472177203496655165604935}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3494629472177116014052805016495}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3494629472177116014035189036854}, {"parameter": "[13, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 3494629472177116014035210609962}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3499429055742341159786310364476}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3499429055742341159733388007275}, {"parameter": "[14, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 3499429055742341159733388011376}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3501029648463062703872774710405}, {"parameter": "[15, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 3501029648463062703872774707126}, {"parameter": "[16, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 3501563260663712461943773155124}, {"parameter": "[8, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 3502086608296589727845689667523}, {"parameter": "[8, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 3434217513824087482732427427363}, {"parameter": "[8, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 3510570245105652508484847447543}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 3501564297627322366651104379695}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433695203154820121537842139535}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3510047934436385147290262159715}, {"parameter": "[8, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 3501563340430005444180986019363}, {"parameter": "[8, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433694245957503199067723779203}, {"parameter": "[8, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 3510046977239068224820143799383}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3501573628732823516516414577603}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3433704534260321271403152337443}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3510057265541886297155572357623}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3501563260821612018276216230415}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3433694166349109773162953990255}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3510046897630674798915374010435}, {"parameter": "[8, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 3501563350399291120607667636183}, {"parameter": "[8, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 3433694255926788875494405396023}, {"parameter": "[8, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 3510046987208353901246825416203}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3501659601555048469272611487843}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3433790507082546224159349247683}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3510143238364111249911769267863}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3501563262243819837381515012643}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3433694167771317592268252772483}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3510046899052882618020672792663}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3501563260841365213489376855475}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3433694166368862968376114615315}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3510046897650427994128534635495}, {"parameter": "[8, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 3501563345499992833232276068710}, {"parameter": "[8, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 3433694251027490588119013828550}, {"parameter": "[8, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3510046982309055613871433848730}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3502436633308498400538084913923}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3434567538835996155424822673763}, {"parameter": "[8, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3510920270117561181177242693943}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3501563275347435479044791372483}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3433694180874933233931529132323}, {"parameter": "[8, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3510046912156498259683949152503}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3501563262441321914116752303063}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3433694167968819669003490062903}, {"parameter": "[8, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3510046899250384694755910083083}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3501563260831657718025898713366}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3433694166359155472912636473206}, {"parameter": "[8, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3510046897640720498665056493386}, {"parameter": "[8, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 3501563342186533734970902142065}, {"parameter": "[8, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3433694247714031489857639901905}, {"parameter": "[8, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3510046978995596515610059922085}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 3441524552356906987554145941126}, {"parameter": "[8, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 3441493514661264074942051461443}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3433725337002484918061877761286}, {"parameter": "[8, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433694299306842005449783281603}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3433725220405780528745083523226}, {"parameter": "[8, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433694182710137616132989043543}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3433725205567402308923222648073}, {"parameter": "[8, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433694167871759396311128168390}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3433725204048233080193623216104}, {"parameter": "[8, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433694166352590167581528736421}, {"parameter": "[8, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3433725285068948534461417103019}, {"parameter": "[8, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433694247373305621849322623336}, {"parameter": "[8, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 3501573606562110004845840982563}, {"parameter": "[8, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433695354934920845248520856483}, {"parameter": "[8, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433694315943778622469863586423}, {"parameter": "[8, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433694181808246148827161827910}, {"parameter": "[8, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433694167806116272588501352145}, {"parameter": "[8, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433694166351915051549809772144}, {"parameter": "[8, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3433694247484802698832843521437}, {"parameter": "[9, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 3126262607842322303877943575}, {"parameter": "[9, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 3126262607842322303877943575}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3126183327705863793645232254}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3126183327705863793645232254}, {"parameter": "[9, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 3126182853556910890425009015}, {"parameter": "[9, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 3126182853556910890425009015}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3126197549934149481930053655}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3126197549934149481930053655}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3126182841473366238922153854}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3126182841473366238922153854}, {"parameter": "[9, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 3126182855076387445283518635}, {"parameter": "[9, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 3126182855076387445283518635}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3126593947476106604813688855}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3126593947476106604813688855}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3126182843641058402569202295}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3126182843641058402569202295}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3126182841482629927718730654}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3126182841482629927718730654}, {"parameter": "[9, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 3126182854329657025015969242}, {"parameter": "[9, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3126182854329657025015969242}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3137371250674075570926126135}, {"parameter": "[9, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3137371250674075570926126135}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3126182904058303023377445495}, {"parameter": "[9, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3126182904058303023377445495}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3126182843921242313007385515}, {"parameter": "[9, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3126182843921242313007385515}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3126182841478077387433606134}, {"parameter": "[9, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3126182841478077387433606134}, {"parameter": "[9, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3126182853824633538007681797}, {"parameter": "[9, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3126182853824633538007681797}, {"parameter": "[9, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 3425821623273095893187751735}, {"parameter": "[9, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3126184546689486984506253975}, {"parameter": "[9, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3126182911889491443656012715}, {"parameter": "[9, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3126182843783548941875909082}, {"parameter": "[9, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3126182841474998445278396334}, {"parameter": "[9, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3126182853772701535567761468}, {"parameter": "[10, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 640356289880521961412322172199}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 640356289868588511396116316159}, {"parameter": "[10, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 640356289868366148973454095239}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 640356289888764791703516208839}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 640356289868364330127239157599}, {"parameter": "[10, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 640356289868366380565674009659}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 640356291580466168463740172039}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 640356289868367405310947037479}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 640356289868364334398334815219}, {"parameter": "[10, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 640356289868366266752166881546}, {"parameter": "[10, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 640356429687839737141734502119}, {"parameter": "[10, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 640356289868625247313196728679}, {"parameter": "[10, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 640356289868367793921417860699}, {"parameter": "[10, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 640356289868364332299350763626}, {"parameter": "[10, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 640356289868366189778613001301}, {"parameter": "[8, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 136282308141570202710977508324}, {"parameter": "", "name": "JohnsonLB", "value": 2540550613420791688850520662325023}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 94099494613070177558493634001019}], "request": [3, 18, 4, 8], "liftedmrdsizebound": 2564038520711714550166916401238806, "comments": "", "equal_bound_constraints": []}