{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1884649011792085827682980366254565}, {"parameter": "", "name": "singleton", "value": 106607206793565997285}, {"parameter": "3", "name": "ilp_2", "value": 75325711756433184065}, {"parameter": "4", "name": "ilp_2", "value": 337001524709330927871457873}, {"parameter": "6", "name": "ilp_3", "value": 1380695246734128811489362905681}, {"parameter": "7", "name": "ilp_3", "value": 1264141408839158406417655105}, {"parameter": "", "name": "anticode", "value": 75325711756433184065}, {"parameter": "", "name": "linear_programming_bound", "value": 75325711756433184065}, {"parameter": "", "name": "sphere_packing", "value": 988274442208787445659975}, {"parameter": "1", "name": "ilp_1", "value": 75325583798185265998}, {"parameter": "2", "name": "ilp_1", "value": 75325583798207394057}, {"parameter": "8", "name": "ilp_4", "value": 1255345368823431600385360137}, {"parameter": "9", "name": "ilp_4", "value": 1255336913125266998793404073}, {"parameter": "10", "name": "ilp_4", "value": 1255336913125266998793404073}, {"parameter": "11", "name": "ilp_4", "value": 78990736704352437680810693}, {"parameter": "12", "name": "ilp_4", "value": 4935735596219019865162117}, {"parameter": "13", "name": "ilp_4", "value": 308502019931390221344861}, {"parameter": "14", "name": "ilp_4", "value": 19283403760527206950130}, {"parameter": "15", "name": "ilp_4", "value": 1205208209347435844943}, {"parameter": "", "name": "johnson_1", "value": 75325583798185265998}, {"parameter": "", "name": "johnson_2", "value": 1205208209347435844943}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1884649011792085827682980366254565}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1380695246734128811489362905681}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1264141408839158406417655105}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1255345368823431600385360137}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1255336913125266998793404073}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1255336913125266998793404073}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 78990736704352437680810693}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 4935735596219019865162117}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 308502019931390221344861}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 19283403760527206950130}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1205208209347435844943}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 337001524709330927871457873}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 988274442208787445659975}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 988275147005493050085943}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 988277966202368137211040}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 988289243150713605319975}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 246178686023638130088578}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 61725610535720470867231}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 15439148166143087695776}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3871770616604007032624}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 979417443830472978123}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 257061548574898898670}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 80268903000192506961}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 75325711756433184065}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 75325728394967952943}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 75325794949168667595}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 75326061166957756095}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 75327126053894024820}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 75331385854132867458}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 75348429095957212929}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 75416666779214084333}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 75690656954502620617}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 76803507880426764822}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 81542828164216161114}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 106607206793565997285}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1884649011792085827682980366254565}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 337001524709330927871457873}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 75325711756433184065}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 75325583798207394057}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 75325583798185265998}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1380695246734128811489362905681}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 988274442208787445659975}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 991181129658025305603002}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1002980896439365301436592}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1053129903009982419811360}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1316412127738043109603921}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1264141408839158406417655105}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1265299892883131715499228671}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1269951717356862999022189053}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1288849753314719017178488903}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1369402614202326418584384079}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1797339217481455290934231525}, {"parameter": "", "name": "improved_johnson", "value": 75325583798185265993}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 308608571922501722024183}], "known_codes": [], "upper_bound": 75325583798185265993, "classified": false, "lower_bound": 73787329770646673061, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 73786976294838206464}, {"parameter": "", "name": "sphere_covering", "value": 12993927022454489}, {"parameter": "", "name": "graham_sloane", "value": 306501083015009}, {"parameter": "", "name": "multicomponent", "value": 73787257770888658945}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 73786976294838206465}, {"parameter": "", "name": "two_pivot_block_construction", "value": 73787257770888658944}, {"parameter": "(5, 11)", "name": "CKMP2019_Lem_41", "value": 73786976363558012400}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 1152921505680592936}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 18014398510530625}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 288511851128423425}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 4611971891450609665}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 73787260518593986561}, {"parameter": "(11, 5)", "name": "CKMP2019_Lem_41", "value": 73787329770646667265}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Lem_41", "value": 73786976363557683201}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Lem_41", "value": 73786976295911948289}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1152921505680588801}, {"parameter": "(5, 11)", "name": "CKMP2019_Cor_42", "value": 73786976363558012400}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 1152921505680592936}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 18014398510530625}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 288511851128423425}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 4611971891450609665}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 73787260518593986561}, {"parameter": "(11, 5)", "name": "CKMP2019_Cor_42", "value": 73787329770646667265}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Cor_42", "value": 73786976363557683201}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Cor_42", "value": 73786976295911948289}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1152921505680588801}, {"parameter": "5", "name": "linkage_ST", "value": 73787329770646667265}, {"parameter": "6", "name": "linkage_ST", "value": 73787260518593986561}, {"parameter": "7", "name": "linkage_ST", "value": 4611971891450609665}, {"parameter": "8", "name": "linkage_ST", "value": 288511851128423425}, {"parameter": "9", "name": "linkage_ST", "value": 18014398510530625}, {"parameter": "10", "name": "linkage_ST", "value": 1152921505680592936}, {"parameter": "11", "name": "linkage_ST", "value": 73786976363558012400}, {"parameter": "12", "name": "linkage_ST", "value": 4398067804160}, {"parameter": "13", "name": "linkage_ST", "value": 281476339467536}, {"parameter": "14", "name": "linkage_ST", "value": 18014485725940304}, {"parameter": "15", "name": "linkage_ST", "value": 1152927086460344384}, {"parameter": "5", "name": "construction_D", "value": 73787329770646667264}, {"parameter": "6", "name": "construction_D", "value": 73787260518593986560}, {"parameter": "7", "name": "construction_D", "value": 4611971891450609664}, {"parameter": "8", "name": "construction_D", "value": 288511851128422400}, {"parameter": "9", "name": "construction_D", "value": 18014398509481984}, {"parameter": "10", "name": "construction_D", "value": 1152921504606846976}, {"parameter": "11", "name": "construction_D", "value": 73786976294838206464}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 73786976363558012400}, {"parameter": "6", "name": "linkage_GLT", "value": 1152921505680592936}, {"parameter": "7", "name": "linkage_GLT", "value": 18014398510530625}, {"parameter": "8", "name": "linkage_GLT", "value": 288511851128423425}, {"parameter": "9", "name": "linkage_GLT", "value": 4611971891450609665}, {"parameter": "10", "name": "linkage_GLT", "value": 73787260518593986561}, {"parameter": "11", "name": "linkage_GLT", "value": 73787329770646667265}, {"parameter": "5", "name": "improved_linkage", "value": 73787257771177674000}, {"parameter": "6", "name": "improved_linkage", "value": 1152925902674651136}, {"parameter": "7", "name": "improved_linkage", "value": 18014467229287920}, {"parameter": "8", "name": "improved_linkage", "value": 288511852202168360}, {"parameter": "9", "name": "improved_linkage", "value": 4611971891451658305}, {"parameter": "10", "name": "improved_linkage", "value": 73787260518593987585}, {"parameter": "11", "name": "improved_linkage", "value": 73787329770646667265}, {"parameter": "12", "name": "improved_linkage", "value": 4611708345814876161}, {"parameter": "13", "name": "improved_linkage", "value": 288231771614756865}, {"parameter": "5,0", "name": "generalized_linkage", "value": 73786980761625592304}, {"parameter": "5,1", "name": "generalized_linkage", "value": 73786980692906010624}, {"parameter": "5,2", "name": "generalized_linkage", "value": 73787257771177674000}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1152921797739494056}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1152921573326652912}, {"parameter": "6,2", "name": "generalized_linkage", "value": 1152925902674651136}, {"parameter": "7,0", "name": "generalized_linkage", "value": 18014399651452033}, {"parameter": "7,1", "name": "generalized_linkage", "value": 18014399583227944}, {"parameter": "7,2", "name": "generalized_linkage", "value": 18014467229287920}, {"parameter": "8,0", "name": "generalized_linkage", "value": 288511851132900625}, {"parameter": "8,1", "name": "generalized_linkage", "value": 288511851129471041}, {"parameter": "8,2", "name": "generalized_linkage", "value": 288511852202168360}, {"parameter": "9,0", "name": "generalized_linkage", "value": 4611971891450615461}, {"parameter": "9,1", "name": "generalized_linkage", "value": 4611971891450610689}, {"parameter": "9,2", "name": "generalized_linkage", "value": 4611971891451658305}, {"parameter": "10,0", "name": "generalized_linkage", "value": 73787260518593992357}, {"parameter": "10,1", "name": "generalized_linkage", "value": 73787260518593986561}, {"parameter": "10,2", "name": "generalized_linkage", "value": 73787260518593987585}, {"parameter": "11,0", "name": "generalized_linkage", "value": 73787329770646673061}, {"parameter": "11,1", "name": "generalized_linkage", "value": 73787329770646667265}, {"parameter": "11,2", "name": "generalized_linkage", "value": 73787329770646667265}, {"parameter": "12,1", "name": "generalized_linkage", "value": 4611708345814876161}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4611708345814876161}, {"parameter": "13,2", "name": "generalized_linkage", "value": 288231771614756865}, {"parameter": "[5, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786980761625592304}, {"parameter": "[5, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692906010624}, {"parameter": "[5, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787257771177674000}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921797739494056}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326652912}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152925902674651136}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014399651452033}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014399583227944}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014467229287920}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 288511851132900625}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 288511851129471041}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 288511852202168360}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4611971891450615461}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611971891450610689}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611971891451658305}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787260518593992357}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787260518593986561}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787260518593987585}, {"parameter": "[11, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787329770646673061}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787329770646667265}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787329770646667265}, {"parameter": "[12, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611708345814876161}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611708345814876161}, {"parameter": "[13, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 288231771614756865}, {"parameter": "[5, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 288511851129821525}, {"parameter": "[5, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 288511851196584065}, {"parameter": "[5, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 288511920921909800}, {"parameter": "[5, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4611690416473903233}, {"parameter": "[5, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611690416473965633}, {"parameter": "[5, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611690416542060673}, {"parameter": "[5, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4611690416473903233}, {"parameter": "[5, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611690416473965633}, {"parameter": "[5, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611690416542060673}, {"parameter": "[5, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786980761604198529}, {"parameter": "[5, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980761604194369}, {"parameter": "[5, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786980761604260929}, {"parameter": "[5, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557687425}, {"parameter": "[5, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557683265}, {"parameter": "[5, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557749825}, {"parameter": "[5, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557687425}, {"parameter": "[5, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557683265}, {"parameter": "[5, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557749825}, {"parameter": "[5, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976364631442769}, {"parameter": "[5, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976364631425089}, {"parameter": "[5, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976364631425089}, {"parameter": "[5, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976295911966033}, {"parameter": "[5, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976295911948353}, {"parameter": "[5, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976295911948353}, {"parameter": "[5, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423593809}, {"parameter": "[5, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423576129}, {"parameter": "[5, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423576129}, {"parameter": "[5, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611686018495545409}, {"parameter": "[5, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611686018495545409}, {"parameter": "[5, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611686019502178369}, {"parameter": "[5, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611686019502178369}, {"parameter": "[5, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611687118007173185}, {"parameter": "[5, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611687118007173185}, {"parameter": "[5, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 288230376219935809}, {"parameter": "[5, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 288230377225520193}, {"parameter": "[5, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 288231475667574849}, {"parameter": "[6, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4507997673887333}, {"parameter": "[6, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4507997674161425}, {"parameter": "[6, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4507997960160593}, {"parameter": "[6, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 72057662757422417}, {"parameter": "[6, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057662757404945}, {"parameter": "[6, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057662757684497}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 72057662757422417}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057662757404945}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057662757684497}, {"parameter": "[6, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921797738382673}, {"parameter": "[6, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921797738365201}, {"parameter": "[6, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921797738365201}, {"parameter": "[6, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680606545}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680589073}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680589073}, {"parameter": "[6, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680606545}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680589073}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680589073}, {"parameter": "[6, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057594324189457}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594324189457}, {"parameter": "[6, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057594038976785}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594038976785}, {"parameter": "[6, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057595112718609}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057595112718609}, {"parameter": "[6, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4503599627650321}, {"parameter": "[6, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4503599628420369}, {"parameter": "[6, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4503600701179153}, {"parameter": "[7, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 70437463677269}, {"parameter": "[7, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 70437463655489}, {"parameter": "[7, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 70437464770625}, {"parameter": "[7, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1125900980655233}, {"parameter": "[7, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125900980585537}, {"parameter": "[7, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900980585537}, {"parameter": "[7, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1125900980655233}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125900980585537}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900980585537}, {"parameter": "[7, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125901048742977}, {"parameter": "[7, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125901048742977}, {"parameter": "[7, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125899907892289}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899907892289}, {"parameter": "[7, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125899907892289}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899907892289}, {"parameter": "[7, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 70368745293889}, {"parameter": "[7, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 70368744179777}, {"parameter": "[7, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 70368745228353}, {"parameter": "[8, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1127000492303973}, {"parameter": "[8, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1127000492216593}, {"parameter": "[8, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127000492216593}, {"parameter": "[8, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1126999419523345}, {"parameter": "[8, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999419523345}, {"parameter": "[8, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1126999419523345}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999419523345}, {"parameter": "[8, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999422948625}, {"parameter": "[8, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999418475793}, {"parameter": "[8, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999418475793}, {"parameter": "[9, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125969701115557}, {"parameter": "[9, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125969701115557}, {"parameter": "[9, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125969700068005}, {"parameter": "[9, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125969700068005}, {"parameter": "[10, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125904243759781}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1127069211717625}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1127069211690325}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127069211690325}, {"parameter": "[5, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1126999486629205}, {"parameter": "[5, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999486629205}, {"parameter": "[5, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1126999486629205}, {"parameter": "[5, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999486629205}, {"parameter": "[5, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999419869525}, {"parameter": "[5, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999418538325}, {"parameter": "[5, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999418538325}, {"parameter": "[5, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125901048746113}, {"parameter": "[5, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125901048746113}, {"parameter": "[5, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125901048746113}, {"parameter": "[5, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125901048746113}, {"parameter": "[5, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900980655233}, {"parameter": "[5, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900980655233}, {"parameter": "[5, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900980655233}, {"parameter": "[5, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900980655233}, {"parameter": "[5, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899975070849}, {"parameter": "[5, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899907961985}, {"parameter": "[5, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899907961985}, {"parameter": "[6, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100871636581}, {"parameter": "[6, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100871636581}, {"parameter": "[6, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100585654885}, {"parameter": "[6, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100585654885}, {"parameter": "[6, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099512973649}, {"parameter": "[6, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099512973649}, {"parameter": "[7, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075928405}, {"parameter": "", "name": "JohnsonLB", "value": 73769247703853039750}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1126180203813524}], "request": [4, 16, 6, 5], "liftedmrdsizebound": 73787382967054141669, "comments": "", "equal_bound_constraints": []}