{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4459723384904004537589585475440372}, {"parameter": "", "name": "singleton", "value": 38604583680520}, {"parameter": "2", "name": "ilp_2", "value": 23258466133332}, {"parameter": "3", "name": "ilp_2", "value": 115523157089617719092}, {"parameter": "4", "name": "ilp_2", "value": 621611624594098607599713243}, {"parameter": "6", "name": "ilp_3", "value": 12251987321164847630740619438023}, {"parameter": "7", "name": "ilp_3", "value": 44838013984134849517806475527}, {"parameter": "8", "name": "ilp_3", "value": 177711640790778366991306153}, {"parameter": "", "name": "anticode", "value": 23258466133332}, {"parameter": "", "name": "linear_programming_bound", "value": 23258466133332}, {"parameter": "", "name": "sphere_packing", "value": 5137286863805203869314997}, {"parameter": "1", "name": "ilp_1", "value": 23258436836659}, {"parameter": "9", "name": "ilp_4", "value": 176248919227517209819647195}, {"parameter": "10", "name": "ilp_4", "value": 176248919227517209819647195}, {"parameter": "11", "name": "ilp_4", "value": 6518820175328219427694265}, {"parameter": "12", "name": "ilp_4", "value": 241880715905852042507187}, {"parameter": "13", "name": "ilp_4", "value": 9011465744425965364318}, {"parameter": "14", "name": "ilp_4", "value": 333707782337293210126}, {"parameter": "15", "name": "ilp_4", "value": 12359340907253705698}, {"parameter": "16", "name": "ilp_4", "value": 457763576626408114}, {"parameter": "17", "name": "ilp_4", "value": 16955435465688329}, {"parameter": "18", "name": "ilp_4", "value": 627977924262530}, {"parameter": "", "name": "johnson_1", "value": 23258436836659}, {"parameter": "", "name": "johnson_2", "value": 627977924262530}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 4459723384904004537589585475440372}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 12251987321164847630740619438023}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 177711640790778366991306153}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 176248919227517209819647195}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 176248919227517209819647195}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6518820175328219427694265}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 241880715905852042507187}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 9011465744425965364318}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 333707782337293210126}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 12359340907253705698}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 457763576626408114}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 16955435465688329}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 627977924262530}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 621611624594098607599713243}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 5137286863805203869314997}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 56453725211113012692348}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 55059236911003840657902}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 55059442407033026336190}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6142655090478945700891}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 693593264668146277032}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 76972206016516693597}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 8556319157055254175}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 952124534582120450}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 106075443621116564}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 11883621232198841}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1353997796182512}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 162864478227766}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 24053606341988}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 115523157089617719092}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 2888079450556033905}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 2673265076829896588}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 2673269436361742125}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 954743755366543507}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 314758533349906908}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 105700619368921173}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 35195221203237204}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 11745944959847570}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 3919444969884262}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1311278362563969}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 441819497807668}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 152178018858128}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 56200159792514}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 26726251896001}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 23258466133332}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 23258470455793}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 23258483423182}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 23258522325417}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 23258639032713}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 23258989159913}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 23260039589346}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 23263191308200}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 23272650341342}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 23301062372825}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 23386614016377}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 23646140574046}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 24451449566678}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 27134449123665}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 38604583680520}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 4459723384904004537589585475440372}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 621611624594098607599713243}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 115523157089617719092}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 23258466133332}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 23258436836659}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 12251987321164847630740619438023}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5137286863805203869314997}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 2888079450556033905}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 2962129021838458466}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 3208972991028326821}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 4278629984708224117}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 56453725211113012692348}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 57080988026763110821337}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 59032472237038713354350}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 65591626337933016198504}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 94743400921916345047324}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 177711640790778366991306153}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 178418785755999274873389379}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 180566411086109376417845777}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 187254029550989964602947239}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 209793767885595267406867692}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 310804949350361548416923680}, {"parameter": "", "name": "improved_johnson", "value": 23258436836655}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1375273954420379747}], "known_codes": [], "upper_bound": 23258436836655, "classified": false, "lower_bound": 22880284121794, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 22876792454961}, {"parameter": "", "name": "sphere_covering", "value": 19221919278}, {"parameter": "", "name": "graham_sloane", "value": 5681022}, {"parameter": "", "name": "multicomponent", "value": 22880279770804}, {"parameter": "", "name": "construction_ST_A_1", "value": 22880284121794}, {"parameter": "[(0, 1, 2, 3, 4), (4, 5, 6, 7, 8), (2, 6, 9, 10, 11), (3, 8, 11, 12, 13), (0, 5, 10, 12, 14), (1, 7, 9, 12, 15), (1, 6, 13, 14, 16), (4, 10, 13, 15, 17), (2, 8, 14, 15, 18), (0, 8, 9, 16, 17), (3, 7, 10, 16, 18), (1, 5, 11, 17, 18)]", "name": "ef_computation", "value": 22880284107916}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 22876792454961}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 22877179934527}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 2541908881612}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 282434319532}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 31381591051}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 850775452894}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 22877179875694}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 22876835501683}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 22877184658420}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 22880279770804}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 22880280892735}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 22877179875694}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 22876835501683}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 22876797237931}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 22876792986403}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 22876806862918}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 2541908875051}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 2541870611299}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 2541866359771}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 2541865887379}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 282434319451}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 282430067923}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 282429595531}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 31381591051}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 31381118659}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 850775452894}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 22877179934527}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 2541908881612}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 282434319532}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 31381591051}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 850775452894}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 22877179875694}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 22876835501683}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 22877184658420}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 22880279770804}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 22880280892735}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 22877179875694}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 22876835501683}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 22876797237931}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 22876792986403}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 22876806862918}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 2541908875051}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 2541870611299}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 2541866359771}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 2541865887379}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 282434319451}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 282430067923}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 282429595531}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 31381591051}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 31381118659}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 850775452894}, {"parameter": "5", "name": "linkage_GLT", "value": 22877179934527}, {"parameter": "6", "name": "linkage_GLT", "value": 2541908881612}, {"parameter": "7", "name": "linkage_GLT", "value": 282434319532}, {"parameter": "8", "name": "linkage_GLT", "value": 31381591051}, {"parameter": "9", "name": "linkage_GLT", "value": 850775452894}, {"parameter": "10", "name": "linkage_GLT", "value": 22877179875694}, {"parameter": "11", "name": "linkage_GLT", "value": 22876835501683}, {"parameter": "12", "name": "linkage_GLT", "value": 22877184658420}, {"parameter": "13", "name": "linkage_GLT", "value": 22880279770804}, {"parameter": "14", "name": "linkage_GLT", "value": 22880280892735}, {"parameter": "5", "name": "improved_linkage", "value": 22880279771557}, {"parameter": "6", "name": "improved_linkage", "value": 2542253307895}, {"parameter": "7", "name": "improved_linkage", "value": 282472589764}, {"parameter": "8", "name": "improved_linkage", "value": 31385842660}, {"parameter": "9", "name": "improved_linkage", "value": 850775925286}, {"parameter": "10", "name": "improved_linkage", "value": 22877179934500}, {"parameter": "11", "name": "improved_linkage", "value": 22876835501926}, {"parameter": "12", "name": "improved_linkage", "value": 22877184658420}, {"parameter": "13", "name": "improved_linkage", "value": 22880279770804}, {"parameter": "14", "name": "improved_linkage", "value": 22880280892735}, {"parameter": "15", "name": "improved_linkage", "value": 847417932829}, {"parameter": "5,0", "name": "generalized_linkage", "value": 22877179934527}, {"parameter": "5,1", "name": "generalized_linkage", "value": 22880279771557}, {"parameter": "6,0", "name": "generalized_linkage", "value": 2541908881612}, {"parameter": "6,1", "name": "generalized_linkage", "value": 2542253307895}, {"parameter": "7,0", "name": "generalized_linkage", "value": 282434319532}, {"parameter": "7,1", "name": "generalized_linkage", "value": 282472589764}, {"parameter": "8,0", "name": "generalized_linkage", "value": 31381591051}, {"parameter": "8,1", "name": "generalized_linkage", "value": 31385842660}, {"parameter": "9,0", "name": "generalized_linkage", "value": 850775452894}, {"parameter": "9,1", "name": "generalized_linkage", "value": 850775925286}, {"parameter": "10,0", "name": "generalized_linkage", "value": 22877179875694}, {"parameter": "10,1", "name": "generalized_linkage", "value": 22877179934500}, {"parameter": "11,0", "name": "generalized_linkage", "value": 22876835501683}, {"parameter": "11,1", "name": "generalized_linkage", "value": 22876835501926}, {"parameter": "12,0", "name": "generalized_linkage", "value": 22877184658420}, {"parameter": "12,1", "name": "generalized_linkage", "value": 22877184658420}, {"parameter": "13,0", "name": "generalized_linkage", "value": 22880279770804}, {"parameter": "13,1", "name": "generalized_linkage", "value": 22880279770804}, {"parameter": "14,0", "name": "generalized_linkage", "value": 22880280892735}, {"parameter": "14,1", "name": "generalized_linkage", "value": 22880280892735}, {"parameter": "15,1", "name": "generalized_linkage", "value": 847417932829}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179934527}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279771557}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253307895}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282434319532}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472589764}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 31381591051}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 31385842660}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 850775452894}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 850775925286}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179875694}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876835501683}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876835501926}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877184658420}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877184658420}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279770804}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770804}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880280892735}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880280892735}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 847417932829}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 850775452894}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 850775925286}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179875694}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179875694}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876835501683}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876835501926}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876835501683}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876835501926}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876792986403}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876792986403}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876922126566}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876922126566}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876806862918}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876806862918}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279298412}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279298412}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 847302958594}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 847417749850}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 94530599560}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 94530658366}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541908875051}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908875294}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541908875051}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908875294}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541870611299}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541870611299}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541870611299}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541870611299}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541866359771}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541866359771}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541866359771}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541866359771}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541865887379}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541865887379}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541880236286}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541880236286}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 94143238120}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 94157527978}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 10503399925}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 10503400168}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282434319451}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282434319451}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282434319451}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282434319451}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282429595531}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282429595531}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282429595531}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282429595531}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 10460353447}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 10460412496}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1167044437}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1167044437}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 31381591051}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 31381591051}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 31381591051}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31381591051}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 31381118659}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 31381118659}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 31381118659}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31381118659}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1162261711}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1162261711}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 31510731214}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31510731214}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 850775452894}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 850775452894}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 850775452894}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 850775452894}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 31510200016}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31510200016}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 847303017400}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 847303017400}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 847302958594}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 847302958594}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31381118902}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 31510731214}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31510731214}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 850775452894}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 850775452894}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 850775452894}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 850775452894}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 31510200016}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31510200016}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 847303017400}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 847303017400}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 847303017400}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 847303017400}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 847302958594}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 847302958594}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 847302958594}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 847302958594}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31381118902}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31381118902}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3501192358}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3501192358}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3501133552}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3501133552}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3486843694}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3486843694}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 14408200}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 43584726}], "request": [3, 19, 8, 5], "liftedmrdsizebound": 22880458604532, "comments": "", "equal_bound_constraints": []}