{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 32385932129579122653905315624401024370889189}, {"parameter": "", "name": "singleton", "value": 6822861635108183247077}, {"parameter": "3", "name": "ilp_2", "value": 4746678719517314605075}, {"parameter": "4", "name": "ilp_2", "value": 80900118436346461335215564097}, {"parameter": "5", "name": "ilp_2", "value": 1447764006800970059077233164763990609}, {"parameter": "7", "name": "ilp_3", "value": 5930403246581051575518277902289145645649}, {"parameter": "8", "name": "ilp_3", "value": 1357382294937297224884018746232351944}, {"parameter": "9", "name": "ilp_3", "value": 326215403734029614247541155066655}, {"parameter": "", "name": "anticode", "value": 4746678719517314605075}, {"parameter": "", "name": "linear_programming_bound", "value": 4746678719517314605075}, {"parameter": "", "name": "sphere_packing", "value": 1060633019394618630825707057556024}, {"parameter": "1", "name": "ilp_1", "value": 4746678719517248464065}, {"parameter": "2", "name": "ilp_1", "value": 4746678719517314605075}, {"parameter": "10", "name": "ilp_4", "value": 325417423131232688934096772869152}, {"parameter": "11", "name": "ilp_4", "value": 325417229072716922938216238422823}, {"parameter": "12", "name": "ilp_4", "value": 325417229072716922938216238422823}, {"parameter": "13", "name": "ilp_4", "value": 5087436749347395610850410581906}, {"parameter": "14", "name": "ilp_4", "value": 79636451200174656629601627025}, {"parameter": "15", "name": "ilp_4", "value": 1244300639251019084129978582}, {"parameter": "16", "name": "ilp_4", "value": 19442215959558657411338195}, {"parameter": "17", "name": "ilp_4", "value": 303785273679516413622847}, {"parameter": "", "name": "johnson_1", "value": 4746678719517248464065}, {"parameter": "", "name": "johnson_2", "value": 303785273679516413622847}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 32385932129579122653905315624401024370889189}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 5930403246581051575518277902289145645649}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1357382294937297224884018746232351944}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 326215403734029614247541155066655}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 325417423131232688934096772869152}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 325417229072716922938216238422823}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 325417229072716922938216238422823}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 5087436749347395610850410581906}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 79636451200174656629601627025}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1244300639251019084129978582}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 19442215959558657411338195}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 303785273679516413622847}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1447764006800970059077233164763990609}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1060633019394618630825707057556024}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 971097975564626223118985180738}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 964341654405901401145572537807}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 964337915811598605520883947947}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 964348943866421062666488589758}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 60683404889583495144761491452}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3792496064119136358454911847}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 237218913053649319523930869}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 14871320027533684420330359}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 940510705481951026147576}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 61718776370219165143280}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 4820845570090162869569}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 80900118436346461335215564097}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 237243762298346325618134119}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 237243815170964390244802592}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 237244026661634525087580228}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 237244872627481097823936117}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 59094843611283364817347615}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 14815285005643354345692200}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 3703818764618268048373898}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 926959900075848010168828}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 232586123067740570464431}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 59009854446869457279711}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 15671560754840611348613}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 5137213541788743153233}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 4746678719517314605075}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 4746678994744230009065}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 4746680095652149457387}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 4746684499287952572370}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 4746702113897170427195}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 4746772573390144024868}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 4747054428260688374811}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 4748182118186247479681}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 4752697209145464362512}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 4770827140546455363092}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 4844477331555639872573}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 5158351091592918898642}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 6822861635108183247077}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 32385932129579122653905315624401024370889189}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1447764006800970059077233164763990609}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 80900118436346461335215564097}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 4746678719517314605075}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 4746678719517314605075}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 4746678719517248464065}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 5930403246581051575518277902289145645649}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1060633019394618630825707057556024}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 237243762298346325618134119}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 237941133745562724134313888}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 240773765775559324955350413}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 252812451768279765605696459}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 316015549642473050685665097}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1357382294937297224884018746232351944}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 971097975564626223118985180738}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 971987910755441106832956221629}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 975561393153749688095563903537}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 990078665211196602115148487648}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1051958534017142472288421417785}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1380695246734128811489362905681}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 326215403734029614247541155066655}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 326293820673981304196908268419197}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 326607793850642808185353776216748}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 327868592371591592430461315346941}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 332991524184038598767712767448163}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 354844025281558706147520677723528}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 471276749188750005563056686387685}, {"parameter": "", "name": "improved_johnson", "value": 4746678719517248464065}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 77773772360908990529503902}], "known_codes": [], "upper_bound": 4746678719517248464065, "classified": false, "lower_bound": 4722366764344622977361, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4722366482869645213696}, {"parameter": "", "name": "sphere_covering", "value": 12597190852796414}, {"parameter": "", "name": "graham_sloane", "value": 299390575038}, {"parameter": "", "name": "multicomponent", "value": 4722366764344621928449}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4722366482869645213697}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690705}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 73786976294854983681}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1152921504606851073}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 18014398509481985}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 1153202979583557633}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 73786980692884717569}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 4722366501630062362625}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690705}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 73786976294854983681}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1152921504606851073}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 18014398509481985}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 1153202979583557633}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 73786980692884717569}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 4722366501630062362625}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "6", "name": "linkage_GLT", "value": 4722366482938364690705}, {"parameter": "7", "name": "linkage_GLT", "value": 73786976294854983681}, {"parameter": "8", "name": "linkage_GLT", "value": 1152921504606851073}, {"parameter": "9", "name": "linkage_GLT", "value": 18014398509481985}, {"parameter": "10", "name": "linkage_GLT", "value": 1153202979583557633}, {"parameter": "11", "name": "linkage_GLT", "value": 73786980692884717569}, {"parameter": "12", "name": "linkage_GLT", "value": 4722366501630062362625}, {"parameter": "6", "name": "improved_linkage", "value": 4722366764344622977361}, {"parameter": "7", "name": "improved_linkage", "value": 73786980692884721729}, {"parameter": "8", "name": "improved_linkage", "value": 1152921573326323985}, {"parameter": "9", "name": "improved_linkage", "value": 18014398526259201}, {"parameter": "10", "name": "improved_linkage", "value": 1153202979583561729}, {"parameter": "11", "name": "improved_linkage", "value": 73786980692884717569}, {"parameter": "12", "name": "improved_linkage", "value": 4722366501630062362625}, {"parameter": "13", "name": "improved_linkage", "value": 73786976364648202241}, {"parameter": "14", "name": "improved_linkage", "value": 1152921508919971841}, {"parameter": "6,0", "name": "generalized_linkage", "value": 4722366501630062437153}, {"parameter": "6,1", "name": "generalized_linkage", "value": 4722366487267691728961}, {"parameter": "6,2", "name": "generalized_linkage", "value": 4722366764344622977361}, {"parameter": "7,0", "name": "generalized_linkage", "value": 73786976299418386705}, {"parameter": "7,1", "name": "generalized_linkage", "value": 73786976363557683473}, {"parameter": "7,2", "name": "generalized_linkage", "value": 73786980692884721729}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1152921504607965457}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1152921504623624193}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1152921573326323985}, {"parameter": "9,0", "name": "generalized_linkage", "value": 18014398509482257}, {"parameter": "9,1", "name": "generalized_linkage", "value": 18014398509486081}, {"parameter": "9,2", "name": "generalized_linkage", "value": 18014398526259201}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1153202979583557905}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1153202979583557633}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1153202979583561729}, {"parameter": "11,0", "name": "generalized_linkage", "value": 73786980692884717841}, {"parameter": "11,1", "name": "generalized_linkage", "value": 73786980692884717569}, {"parameter": "11,2", "name": "generalized_linkage", "value": 73786980692884717569}, {"parameter": "12,0", "name": "generalized_linkage", "value": 4722366501630062362897}, {"parameter": "12,1", "name": "generalized_linkage", "value": 4722366501630062362625}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4722366501630062362625}, {"parameter": "13,1", "name": "generalized_linkage", "value": 73786976364648202241}, {"parameter": "13,2", "name": "generalized_linkage", "value": 73786976364648202241}, {"parameter": "14,2", "name": "generalized_linkage", "value": 1152921508919971841}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062437153}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728961}, {"parameter": "[6, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344622977361}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976299418386705}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557683473}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884721729}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607965457}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623624193}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326323985}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014398509482257}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014398509486081}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398526259201}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153202979583557905}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153202979583557633}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1153202979583561729}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717841}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717569}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717569}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062362897}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062362625}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062362625}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976364648202241}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976364648202241}, {"parameter": "[14, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921508919971841}, {"parameter": "[6, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153202979583562273}, {"parameter": "[6, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153202979583557905}, {"parameter": "[6, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1153202979584676113}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884735313}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717841}, {"parameter": "[6, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717841}, {"parameter": "[6, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884735313}, {"parameter": "[6, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717841}, {"parameter": "[6, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884717841}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062437153}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062362897}, {"parameter": "[6, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062362897}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364764961}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690705}, {"parameter": "[6, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690705}, {"parameter": "[6, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364764961}, {"parameter": "[6, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690705}, {"parameter": "[6, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690705}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976299418386705}, {"parameter": "[6, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976299418386705}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294854983953}, {"parameter": "[6, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976294854983953}, {"parameter": "[6, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294854983953}, {"parameter": "[6, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976294854983953}, {"parameter": "[6, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607965457}, {"parameter": "[6, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606851345}, {"parameter": "[6, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623628561}, {"parameter": "[7, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18018796555997729}, {"parameter": "[7, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18018796555993361}, {"parameter": "[7, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18018796555993361}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326341457}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326323985}, {"parameter": "[7, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326323985}, {"parameter": "[7, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326341457}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326323985}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326323985}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921509187027217}, {"parameter": "[7, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921509187027217}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623624465}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623624465}, {"parameter": "[7, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623624465}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623624465}, {"parameter": "[7, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398510600465}, {"parameter": "[7, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398509486353}, {"parameter": "[7, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398509486353}, {"parameter": "[8, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 281543696192033}, {"parameter": "[8, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 281543696187665}, {"parameter": "[8, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281543696187665}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 281474993488145}, {"parameter": "[8, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474993488145}, {"parameter": "[8, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 281474993488145}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474993488145}, {"parameter": "[8, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474977829137}, {"parameter": "[8, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474976715025}, {"parameter": "[8, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474976715025}, {"parameter": "[9, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68736254225}, {"parameter": "[9, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68736254225}, {"parameter": "[9, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719481105}, {"parameter": "[9, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719481105}, {"parameter": "[10, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68736258321}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68737376801}, {"parameter": "", "name": "JohnsonLB", "value": 4722078253610116841733}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 18014673455174660}], "request": [4, 18, 8, 6], "liftedmrdsizebound": 4722366789071051732561, "comments": "", "equal_bound_constraints": []}