{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2024243704924003025844684284218991557841381}, {"parameter": "", "name": "singleton", "value": 1930351405154232225472089767795511781}, {"parameter": "6", "name": "ilp_2", "value": 1447852268844670754004670824367475281}, {"parameter": "8", "name": "ilp_3", "value": 92663937053055757649104338943419160349}, {"parameter": "", "name": "anticode", "value": 1447852268844670754004670824367475281}, {"parameter": "", "name": "linear_programming_bound", "value": 1447852268844670754004670824367475281}, {"parameter": "", "name": "sphere_packing", "value": 2024243704924003025844684284218991557841381}, {"parameter": "1", "name": "ilp_1", "value": 1447852268844670754004670824367475281}, {"parameter": "2", "name": "ilp_1", "value": 1447852268844670754004670824367475281}, {"parameter": "3", "name": "ilp_1", "value": 1447852268844670754004670824367475281}, {"parameter": "4", "name": "ilp_1", "value": 1447852268844670754004670824367475281}, {"parameter": "5", "name": "ilp_1", "value": 1447852268844670754004670824367475281}, {"parameter": "9", "name": "ilp_4", "value": 92646969714700178151016817978643125438}, {"parameter": "10", "name": "ilp_4", "value": 92646968743820363798424122891255111646}, {"parameter": "11", "name": "ilp_4", "value": 92646968743702788538433912348034712417}, {"parameter": "12", "name": "ilp_4", "value": 92646968743702785878641293081803744145}, {"parameter": "13", "name": "ilp_4", "value": 92646968743702785878623237627705458583}, {"parameter": "14", "name": "ilp_4", "value": 92646968743702788240574390294902404386}, {"parameter": "15", "name": "ilp_4", "value": 23165719133432364238061158306966160446}, {"parameter": "16", "name": "ilp_4", "value": 5791346940240902685391478645166168403}, {"parameter": "", "name": "johnson_1", "value": 1447852268844670754004670824367475281}, {"parameter": "", "name": "johnson_2", "value": 5791346940240902685391478645166168403}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 2024243704924003025844684284218991557841381}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 92663937053055757649104338943419160349}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 92646969714700178151016817978643125438}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 92646968743820363798424122891255111646}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 92646968743702788538433912348034712417}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 92646968743702785878641293081803744145}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 92646968743702785878623237627705458583}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 92646968743702788240574390294902404386}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 23165719133432364238061158306966160446}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 5791346940240902685391478645166168403}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1447853304240667324140752031415219876}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1447857445839462407480460715494202379}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1447874012471587143907292762649210423}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1447940282791424286425123741056349414}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1448205424746763404581175056790477410}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1449266964317958563764846161815575477}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1453528730608967440887266915320597022}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1470829425148351093324294036181694020}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1544356532139207353165476714467469828}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1930351405154232225472089767795511781}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2024243704924003025844684284218991557841381}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 92663937053055757649104338943419160349}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 92668179118241942221259174836184714782}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 92685151263650642733886892123377352209}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 92753102059716545343260656617082708615}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 93025904517522766403949494758897575510}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 94133352543089002540732018119939034682}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 98840005806841962874431699555754954638}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 123549912998815788062283863044996567525}, {"parameter": "", "name": "improved_johnson", "value": 1447852268844670754004670824367475281}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 23165719149550257623156976120985408690}], "known_codes": [], "upper_bound": 1447852268844670754004670824367475281, "classified": false, "lower_bound": 1334910467554985714047715561596194368, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1329227995784915872903807060280344576}, {"parameter": "", "name": "sphere_covering", "value": 265126039963498869097372648125842}, {"parameter": "", "name": "graham_sloane", "value": 353479473567887241434186003991121}, {"parameter": "", "name": "multicomponent", "value": 1329228075013079567759769769282125825}, {"parameter": "", "name": "construction_ST_B", "value": 1334461091400408884047242243456750518}, {"parameter": "", "name": "EF_special", "value": 1334910466075153545917778842397704192}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1329229797557423985923786973513777152}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1334442456053724979487079010638233600}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1334461091400405838675093083864244800}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1334910467554985714047715561596194368}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1334440654591910802108058795304288256}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 5221122170065407151031922693455851}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1334461096079236816768787138716155925}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1329256821096446453579229991525154816}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329256821096446453579229991525154816}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329256821096446452430812086545678336}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329256821096446452426308555637784576}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 324996706515740142040236168314880}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 324996706515741290458141147791360}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 324996706515740209594230578872320}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 324996706515740137554228726988800}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1384360715246142564230280778874880}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1384360715246142636270282630758400}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1384360715246143717134193199677440}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1384360715246142568716288220200960}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 5296461823210445563196739767238656}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5296461823210445567700270675132416}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5296461823210446716118175654608896}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 5296461823210446716118175654608896}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1329256821096446452426308486918307840}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 324996706515740137536636540944384}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 1384360715246142564212688592830464}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 5296461823210445563196671047761920}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1329256821096446452426308486918307840}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 324996706515740137536636540944384}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 1384360715246142564212688592830464}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 5296461823210445563196671047761920}, {"parameter": "7", "name": "linkage_GLT", "value": 1329227995784915872903807060554072085}, {"parameter": "8", "name": "linkage_GLT", "value": 324518553658426726783156020593729}, {"parameter": "9", "name": "linkage_GLT", "value": 1384353683611740770771993444220929}, {"parameter": "10", "name": "linkage_GLT", "value": 5294660050702332543216757814329345}, {"parameter": "7", "name": "improved_linkage", "value": 1329228075443291188065957967984462814}, {"parameter": "8", "name": "improved_linkage", "value": 324518573106546434156860401516544}, {"parameter": "9", "name": "improved_linkage", "value": 1384353683612927717351631753917660}, {"parameter": "10", "name": "improved_linkage", "value": 5294660050702332615644541959903055}, {"parameter": "11", "name": "improved_linkage", "value": 5216407415569474684797489110164825}, {"parameter": "12", "name": "improved_linkage", "value": 5218971867028423726006468667818005}, {"parameter": "13", "name": "improved_linkage", "value": 5220246263445094047932024910529601}, {"parameter": "14", "name": "improved_linkage", "value": 5220564881991446897906903918051329}, {"parameter": "15", "name": "improved_linkage", "value": 1305122821163616680471824273211393}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1329256821096446452426308486918307840}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1329229795897607643481098245204275200}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1329228108353690835697432328255407552}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1329228002727048315524937409467088400}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1329227996193326386758654852280090624}, {"parameter": "7,5", "name": "generalized_linkage", "value": 1329228075443291188065957967984462814}, {"parameter": "8,0", "name": "generalized_linkage", "value": 324996706515740137536636540944384}, {"parameter": "8,1", "name": "generalized_linkage", "value": 324547548325346473204454909292544}, {"parameter": "8,2", "name": "generalized_linkage", "value": 324519000010876840930041439066176}, {"parameter": "8,3", "name": "generalized_linkage", "value": 324518560537056494458187186243428}, {"parameter": "8,4", "name": "generalized_linkage", "value": 324518553759317186052412344798476}, {"parameter": "8,5", "name": "generalized_linkage", "value": 324518573106546434156860401516544}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1384360715246142564212688592830464}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1384353802522269495682301359517696}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1384353685388272177076311055847232}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1384353683618479566078650431578108}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1384353683611765468646387084856379}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1384353683612927717351631753917660}, {"parameter": "10,0", "name": "generalized_linkage", "value": 5296461823210445563196671047761920}, {"parameter": "10,1", "name": "generalized_linkage", "value": 5294660051138296411419664859754496}, {"parameter": "10,2", "name": "generalized_linkage", "value": 5294660050704148721469202228228672}, {"parameter": "10,3", "name": "generalized_linkage", "value": 5294660050702339228913909755381644}, {"parameter": "10,4", "name": "generalized_linkage", "value": 5294660050702332549247967927378829}, {"parameter": "10,5", "name": "generalized_linkage", "value": 5294660050702332615644541959903055}, {"parameter": "11,1", "name": "generalized_linkage", "value": 5216407443477869362190758609907712}, {"parameter": "11,2", "name": "generalized_linkage", "value": 5216407415569476348263410810823232}, {"parameter": "11,3", "name": "generalized_linkage", "value": 5216407415569474686500236057560924}, {"parameter": "11,4", "name": "generalized_linkage", "value": 5216407415569474684794565467144185}, {"parameter": "11,5", "name": "generalized_linkage", "value": 5216407415569474684797489110164825}, {"parameter": "12,2", "name": "generalized_linkage", "value": 5218971867028450343126441996395072}, {"parameter": "12,3", "name": "generalized_linkage", "value": 5218971867028423726006859210768476}, {"parameter": "12,4", "name": "generalized_linkage", "value": 5218971867028423726006468489510549}, {"parameter": "12,5", "name": "generalized_linkage", "value": 5218971867028423726006468667818005}, {"parameter": "13,3", "name": "generalized_linkage", "value": 5220246263445094047933588181696604}, {"parameter": "13,4", "name": "generalized_linkage", "value": 5220246263445094047932024910517589}, {"parameter": "13,5", "name": "generalized_linkage", "value": 5220246263445094047932024910529601}, {"parameter": "14,4", "name": "generalized_linkage", "value": 5220564881991446897906903918056789}, {"parameter": "14,5", "name": "generalized_linkage", "value": 5220564881991446897906903918051329}, {"parameter": "15,5", "name": "generalized_linkage", "value": 1305122821163616680471824273211393}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329256821096446452426308486918307840}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329229795897607643481098245204275200}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228108353690835697432328255407552}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329228002727048315524937409467088400}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1329227996193326386758654852280090624}, {"parameter": "[7, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1329228075443291188065957967984462814}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324996706515740137536636540944384}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324547548325346473204454909292544}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324519000010876840930041439066176}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518560537056494458187186243428}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553759317186052412344798476}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 324518573106546434156860401516544}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1384360715246142564212688592830464}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1384353802522269495682301359517696}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1384353685388272177076311055847232}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1384353683618479566078650431578108}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1384353683611765468646387084856379}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1384353683612927717351631753917660}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5296461823210445563196671047761920}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5294660051138296411419664859754496}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5294660050704148721469202228228672}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5294660050702339228913909755381644}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5294660050702332549247967927378829}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5294660050702332615644541959903055}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5216407443477869362190758609907712}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5216407415569476348263410810823232}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5216407415569474686500236057560924}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5216407415569474684794565467144185}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5216407415569474684797489110164825}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5218971867028450343126441996395072}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5218971867028423726006859210768476}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5218971867028423726006468489510549}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5218971867028423726006468667818005}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5220246263445094047933588181696604}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5220246263445094047932024910517589}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220246263445094047932024910529601}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5220564881991446897906903918056789}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220564881991446897906903918051329}, {"parameter": "[15, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1305122821163616680471824273211393}, {"parameter": "[7, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1298155168139449706878022266650624}, {"parameter": "[7, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1298155282818330070345984867565568}, {"parameter": "[7, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1326978754326800693971644264218624}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 5220565288190227140517127266500608}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192298990077131554453703670890496}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192299104756011917921666271805440}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5221122576264482541547325668458496}, {"parameter": "[7, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 5220564901333964863835791360524288}, {"parameter": "[7, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192298603220869277772367764914176}, {"parameter": "[7, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192298717899749641240330365829120}, {"parameter": "[7, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5221122189408220264865989762482176}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5220571786955142771788172062883840}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192305488842047185724748467273728}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192305603520927549192711068188672}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5221129075029398172818370464841728}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5220564882015944174036790202597376}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192298583902848587973366606987264}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192298698581728951441329207902208}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5221122170090199575066988604555264}, {"parameter": "[7, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 5220564902619629138797052269953024}, {"parameter": "[7, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192298604506533552733628674342912}, {"parameter": "[7, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192298719185413916201591275257856}, {"parameter": "[7, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5221122190693884539827250671910912}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5220676875408916851747983928066048}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192410577295821265684560332455936}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192410691974701629152522933370880}, {"parameter": "[7, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 5221234163483172252778182330023936}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5220564882412597306094362898202624}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192298584299501720030939302592512}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192298698978382083498901903507456}, {"parameter": "[7, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5221122170486852707124561300160512}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5220564882017592059154843576565760}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192298583904496473091419980955648}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192298698583376836559382581870592}, {"parameter": "[7, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5221122170091847460185041978523648}, {"parameter": "[7, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 5220564901715297470536990008016896}, {"parameter": "[7, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192298603602201884473566412406784}, {"parameter": "[7, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192298718281082247941529013321728}, {"parameter": "[7, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5221122189789552871567188409974784}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5194124881096300148748381673488384}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5194088651521165743647936075530240}, {"parameter": "[7, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 5194090491016741674831012946771968}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192333095472030753588143177334784}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296865896896348487697579376640}, {"parameter": "[7, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192298705392472279670774450618368}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192333089085952899370914376843264}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296859510818494270468778885120}, {"parameter": "[7, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192298699006394425453545650126848}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192333088661776193958595711205376}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296859086641788858150113247232}, {"parameter": "[7, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192298698582217720041226984488960}, {"parameter": "[7, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192333108069126939369382426443776}, {"parameter": "[7, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296878493992534268936828485632}, {"parameter": "[7, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192298717989568465452013699727360}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5220564884202590214311024119513088}, {"parameter": "[7, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220564882096458343540262639239168}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296970108598844618813507371008}, {"parameter": "[7, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296968002466973848052027097088}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296868036141349145813864939520}, {"parameter": "[7, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296865930009478375052384665600}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296861176020209406117376163840}, {"parameter": "[7, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296859069888338635355895889920}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296860771173641100230499762176}, {"parameter": "[7, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858665041770329469019488256}, {"parameter": "[7, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296880188451357026445377404928}, {"parameter": "[7, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296878082319486255683897131008}, {"parameter": "[7, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1298075940082242036078966796713984}, {"parameter": "[7, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1298074331370363608815374494072832}, {"parameter": "[7, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1298074221709307969326620518383616}, {"parameter": "[7, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1298074215162416049477047904305152}, {"parameter": "[7, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1298074214763933293795424829620224}, {"parameter": "[7, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1298074234185946261465228227575808}, {"parameter": "[8, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 765284102652287694772616822784}, {"parameter": "[8, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 316959358111246753075634896896}, {"parameter": "[8, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 795084850183581937921491468288}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 765264860189461621685782315008}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 316940115648420679988800389120}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 795065607720755864834656960512}, {"parameter": "[8, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 765264761019765481423232827392}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 316940016478724539726250901504}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 795065508551059724572107472896}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 765271603311153344495317155840}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316946858770112402798335229952}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 795072350842447587644191801344}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 765264759845298756199045398528}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 316940015304257814502063472640}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 795065507376592999347920044032}, {"parameter": "[8, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 765264761098236201330536349696}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 316940016557195259633554423808}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 795065508629530444479410995200}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 765709049220714431321198297088}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 317384304679673489624216371200}, {"parameter": "[8, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 795509796752008674470072942592}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 765264760256866242266111410176}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 316940015715825300569129484288}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 795065507788160485414986055680}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 765264759845705861374345740288}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 316940015304664919677363814400}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 795065507377000104523220385792}, {"parameter": "[8, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 765264761043040176656460283904}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 316940016501999234959478358016}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 795065508574334419805334929408}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 345483580911267715549276143616}, {"parameter": "[8, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 345374119946965441010620956672}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 317049503379707016092088008704}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 316940042415404741553432821760}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 317049476707890453740545638400}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 316940015743588179201890451456}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 317049476268680837886838308864}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 316940015304378563348183121920}, {"parameter": "[8, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 317049477448508920234857463808}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 316940016484206645696202276864}, {"parameter": "[8, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 765292125080249429340485320704}, {"parameter": "[8, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 316941750778152989353200058368}, {"parameter": "[8, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 316940044217816180442047447040}, {"parameter": "[8, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 316940015724059869332330708992}, {"parameter": "[8, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 316940015304286255603592151040}, {"parameter": "[8, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 316940016484789734449919279104}, {"parameter": "[9, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 345008609120407710526816124928}, {"parameter": "[9, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 345008609120407710526816124928}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 345008607964387729376338247680}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 345008607964387729376338247680}, {"parameter": "[9, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 345008607939888147403442749440}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 345008607939888147403442749440}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 345008614647464268636418473984}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 345008614647464268636418473984}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 345008607939817589543265107968}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 345008607939817589543265107968}, {"parameter": "[9, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 345008607939892936876093341696}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 345008607939892936876093341696}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 345010350125027549943551754240}, {"parameter": "[9, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 345010350125027549943551754240}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 345008607940225492164069556224}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 345008607940225492164069556224}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 345008607939817689226503258112}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 345008607939817689226503258112}, {"parameter": "[9, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 345008607939889567978102980608}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 345008607939889567978102980608}, {"parameter": "[9, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 345120107401993674110033461248}, {"parameter": "[9, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 345008608046150636407313399808}, {"parameter": "[9, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 345008607940252704027120697344}, {"parameter": "[9, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 345008607939817619109668864000}, {"parameter": "[9, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 345008607939888482004637204480}, {"parameter": "[10, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 2124932911598341826521966051328}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2124932911598275772261415780352}, {"parameter": "[10, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 2124932911598269773325974634496}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2124932911604826209565610606592}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2124932911598269769294342520832}, {"parameter": "[10, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 2124932911598269773618300846080}, {"parameter": "[10, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2124932913301255202914609135616}, {"parameter": "[10, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2124932911598270169101306888192}, {"parameter": "[10, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 2124932911598269769318697091072}, {"parameter": "[10, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 2124932911598269773412679630848}, {"parameter": "[7, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 28586680792422828063473847500800}, {"parameter": "[7, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 28586680792422828063473847500800}, {"parameter": "[7, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 320382679327242000050251890688}, {"parameter": "[7, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 320382679327242000050251890688}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 56852959587497724327896285184000}, {"parameter": "[7, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 56852959563885891913548059115520}, {"parameter": "[7, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 28586661474402138264472689573888}, {"parameter": "[7, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 28586661474402138264472689573888}, {"parameter": "[7, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 28586661450790305850124463505408}, {"parameter": "[7, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 28586661450790305850124463505408}, {"parameter": "[8, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 896723563557938475447498047488}, {"parameter": "", "name": "JohnsonLB", "value": 1334890027145900952596240889626286872}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5214501108060617072190122352023892}], "request": [4, 17, 4, 7], "liftedmrdsizebound": 1337227453154349305553871437241527781, "comments": "", "equal_bound_constraints": []}