{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1140674654304411569828223908172341508228556}, {"parameter": "", "name": "singleton", "value": 19100611156944225555440431}, {"parameter": "3", "name": "ilp_2", "value": 14697481021288871704003876}, {"parameter": "4", "name": "ilp_2", "value": 3737762710286671044279965021773276}, {"parameter": "6", "name": "ilp_3", "value": 292031401511626105946805916070747953975}, {"parameter": "7", "name": "ilp_3", "value": 89713194873265917550603425140775573}, {"parameter": "", "name": "anticode", "value": 14697481021288871704003876}, {"parameter": "", "name": "linear_programming_bound", "value": 14697481021288871704003876}, {"parameter": "", "name": "sphere_packing", "value": 4785867762508181321339704410191}, {"parameter": "1", "name": "ilp_1", "value": 14697481021288871704003876}, {"parameter": "2", "name": "ilp_1", "value": 14697481021288871704003876}, {"parameter": "8", "name": "ilp_4", "value": 89365939326631870315061030462484294}, {"parameter": "9", "name": "ilp_4", "value": 89365874586699885851753006338024084}, {"parameter": "10", "name": "ilp_4", "value": 89365874586699885851753006338024084}, {"parameter": "11", "name": "ilp_4", "value": 3588307245229372727850675964624228}, {"parameter": "12", "name": "ilp_4", "value": 143523179927343514217116207433853}, {"parameter": "13", "name": "ilp_4", "value": 5741029264851312005907091465444}, {"parameter": "14", "name": "ilp_4", "value": 229648168951051830589537930143}, {"parameter": "15", "name": "ilp_4", "value": 9185922092473125302083003749}, {"parameter": "16", "name": "ilp_4", "value": 367436935953307150383487899}, {"parameter": "", "name": "johnson_1", "value": 14697481021288871704003876}, {"parameter": "", "name": "johnson_2", "value": 367436935953307150383487899}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1140674654304411569828223908172341508228556}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 292031401511626105946805916070747953975}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 89713194873265917550603425140775573}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 89365939326631870315061030462484294}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 89365874586699885851753006338024084}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 89365874586699885851753006338024084}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 3588307245229372727850675964624228}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 143523179927343514217116207433853}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 5741029264851312005907091465444}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 229648168951051830589537930143}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 9185922092473125302083003749}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 367436935953307150383487899}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 3737762710286671044279965021773276}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 4785867762508181321339704410191}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 4785867840819441294922415377998}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 4785868232375779605105448092104}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 4785870190158432213245058350210}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 955705754670509980103363600332}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 191378346727919589537436741270}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 38275274892322094651020803092}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 7657389170605840229634058531}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1533434980679964439487823683}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 308663674918661434985736557}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 63787742136982008348419329}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 15304976901014638191223276}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 14697481021288871704003876}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 14697481078711251942656264}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 14697481365823158926712345}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 14697482801382838616860934}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 14697489979184856316144604}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 14697525868285426255595349}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 14697705316050340718307616}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 14698602611430118602122031}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 14703090502657593859710181}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 14725565373154554426581390}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 14838832158889130625912625}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 15428397740885186352207949}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 19100611156944225555440431}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1140674654304411569828223908172341508228556}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 3737762710286671044279965021773276}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 14697481021288871704003876}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 14697481021288871704003876}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 14697481021288871704003876}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 292031401511626105946805916070747953975}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 4785867762508181321339704410191}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 4792003097747224163789096239040}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 4822919246254359547352742193233}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 4983683218385975282158602357551}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 5980419841651310318708214413276}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 89713194873265917550603425140775573}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 89740763586460806896771224445622475}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 89878826288340347985557750863462289}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 90574662305298144111588119550680376}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 94197648486373874303414919487089673}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 116805081731088587940522831693775431}, {"parameter": "", "name": "improved_johnson", "value": 14697481021288871704003876}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1148313912241275506378476385079}], "known_codes": [], "upper_bound": 14697481021288871704003876, "classified": false, "lower_bound": 14551924236965179443379681, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 14551915228366851806640625}, {"parameter": "", "name": "sphere_covering", "value": 723799929371769867365}, {"parameter": "", "name": "graham_sloane", "value": 7838656536991959598}, {"parameter": "", "name": "multicomponent", "value": 14551922678951263427737501}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 14551915228366851806640626}, {"parameter": "", "name": "two_pivot_block_construction", "value": 14551922678951263378341888}, {"parameter": "(5, 12)", "name": "CKMP2019_Lem_41", "value": 14551915228843689260037500}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 116415321830749514066700}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 931322574645996109435}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 23290514945983896484501}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 582084119319915771487501}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 14551922707557678222656251}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 14551924185085296630859376}, {"parameter": "(12, 5)", "name": "CKMP2019_Lem_41", "value": 14551924236965179443359376}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Lem_41", "value": 14551915228843688964843751}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Lem_41", "value": 14551915228370666503906251}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Lem_41", "value": 14551915228366882324218751}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Lem_41", "value": 116415321830749511718751}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Lem_41", "value": 116415321826965332031251}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Lem_41", "value": 931322574645996093751}, {"parameter": "(5, 12)", "name": "CKMP2019_Cor_42", "value": 14551915228843689260037500}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 116415321830749514066700}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 931322574645996109435}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 23290514945983896484501}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 582084119319915771487501}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 14551922707557678222656251}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 14551924185085296630859376}, {"parameter": "(12, 5)", "name": "CKMP2019_Cor_42", "value": 14551924236965179443359376}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Cor_42", "value": 14551915228843688964843751}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Cor_42", "value": 14551915228370666503906251}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Cor_42", "value": 14551915228366882324218751}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Cor_42", "value": 116415321830749511718751}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Cor_42", "value": 116415321826965332031251}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Cor_42", "value": 931322574645996093751}, {"parameter": "5", "name": "linkage_ST", "value": 14551924236965179443359376}, {"parameter": "6", "name": "linkage_ST", "value": 14551924185085296630859376}, {"parameter": "7", "name": "linkage_ST", "value": 14551922707557678222656251}, {"parameter": "8", "name": "linkage_ST", "value": 582084119319915771487501}, {"parameter": "9", "name": "linkage_ST", "value": 23290514945983896484501}, {"parameter": "10", "name": "linkage_ST", "value": 931322574645996109435}, {"parameter": "11", "name": "linkage_ST", "value": 116415321830749514066700}, {"parameter": "12", "name": "linkage_ST", "value": 14551915228843689260037500}, {"parameter": "13", "name": "linkage_ST", "value": 59604681674613150}, {"parameter": "14", "name": "linkage_ST", "value": 7450585209326726400}, {"parameter": "15", "name": "linkage_ST", "value": 931323151165841818250}, {"parameter": "16", "name": "linkage_ST", "value": 116415393480682373067181}, {"parameter": "5", "name": "construction_D", "value": 14551924236965179443359375}, {"parameter": "6", "name": "construction_D", "value": 14551924185085296630859375}, {"parameter": "7", "name": "construction_D", "value": 14551922707557678222656250}, {"parameter": "8", "name": "construction_D", "value": 582084119319915771484375}, {"parameter": "9", "name": "construction_D", "value": 23290514945983886718750}, {"parameter": "10", "name": "construction_D", "value": 931322574615478515625}, {"parameter": "11", "name": "construction_D", "value": 116415321826934814453125}, {"parameter": "12", "name": "construction_D", "value": 14551915228366851806640625}, {"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": "17", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 14551915228843689260037500}, {"parameter": "6", "name": "linkage_GLT", "value": 116415321830749514066700}, {"parameter": "7", "name": "linkage_GLT", "value": 931322574645996109435}, {"parameter": "8", "name": "linkage_GLT", "value": 23290514945983896484501}, {"parameter": "9", "name": "linkage_GLT", "value": 582084119319915771487501}, {"parameter": "10", "name": "linkage_GLT", "value": 14551922707557678222656251}, {"parameter": "11", "name": "linkage_GLT", "value": 14551924185085296630859376}, {"parameter": "12", "name": "linkage_GLT", "value": 14551924236965179443359376}, {"parameter": "5", "name": "improved_linkage", "value": 14551922678952061133367025}, {"parameter": "6", "name": "improved_linkage", "value": 116415381431616489066275}, {"parameter": "7", "name": "improved_linkage", "value": 931323051452931912500}, {"parameter": "8", "name": "improved_linkage", "value": 23290514949798586332325}, {"parameter": "9", "name": "improved_linkage", "value": 582084119319946289078185}, {"parameter": "10", "name": "improved_linkage", "value": 14551922707557678232422001}, {"parameter": "11", "name": "improved_linkage", "value": 14551924185085296630862501}, {"parameter": "12", "name": "improved_linkage", "value": 14551924236965179443359376}, {"parameter": "13", "name": "improved_linkage", "value": 582076969478644042968751}, {"parameter": "14", "name": "improved_linkage", "value": 23283078779146020000001}, {"parameter": "5,0", "name": "generalized_linkage", "value": 14551915288448370934646875}, {"parameter": "5,1", "name": "generalized_linkage", "value": 14551915287971533481253775}, {"parameter": "5,2", "name": "generalized_linkage", "value": 14551922678952061133367025}, {"parameter": "6,0", "name": "generalized_linkage", "value": 116415324310304262890450}, {"parameter": "6,1", "name": "generalized_linkage", "value": 116415322303772267850000}, {"parameter": "6,2", "name": "generalized_linkage", "value": 116415381431616489066275}, {"parameter": "7,0", "name": "generalized_linkage", "value": 931322673828175991935}, {"parameter": "7,1", "name": "generalized_linkage", "value": 931322578430178129200}, {"parameter": "7,2", "name": "generalized_linkage", "value": 931323051452931912500}, {"parameter": "8,0", "name": "generalized_linkage", "value": 23290514946142834082026}, {"parameter": "8,1", "name": "generalized_linkage", "value": 23290514946014404312560}, {"parameter": "8,2", "name": "generalized_linkage", "value": 23290514949798586332325}, {"parameter": "9,0", "name": "generalized_linkage", "value": 582084119319915834960931}, {"parameter": "9,1", "name": "generalized_linkage", "value": 582084119319915781250126}, {"parameter": "9,2", "name": "generalized_linkage", "value": 582084119319946289078185}, {"parameter": "10,0", "name": "generalized_linkage", "value": 14551922707557678222676556}, {"parameter": "10,1", "name": "generalized_linkage", "value": 14551922707557678222659376}, {"parameter": "10,2", "name": "generalized_linkage", "value": 14551922707557678232422001}, {"parameter": "11,0", "name": "generalized_linkage", "value": 14551924185085296630879681}, {"parameter": "11,1", "name": "generalized_linkage", "value": 14551924185085296630859376}, {"parameter": "11,2", "name": "generalized_linkage", "value": 14551924185085296630862501}, {"parameter": "12,0", "name": "generalized_linkage", "value": 14551924236965179443379681}, {"parameter": "12,1", "name": "generalized_linkage", "value": 14551924236965179443359376}, {"parameter": "12,2", "name": "generalized_linkage", "value": 14551924236965179443359376}, {"parameter": "13,1", "name": "generalized_linkage", "value": 582076969478644042968751}, {"parameter": "13,2", "name": "generalized_linkage", "value": 582076969478644042968751}, {"parameter": "14,2", "name": "generalized_linkage", "value": 23283078779146020000001}, {"parameter": "[5, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915288448370934646875}, {"parameter": "[5, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915287971533481253775}, {"parameter": "[5, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551922678952061133367025}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 116415324310304262890450}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 116415322303772267850000}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 116415381431616489066275}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322673828175991935}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322578430178129200}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931323051452931912500}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23290514946142834082026}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23290514946014404312560}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 23290514949798586332325}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 582084119319915834960931}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 582084119319915781250126}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 582084119319946289078185}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551922707557678222676556}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551922707557678222659376}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551922707557678232422001}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551924185085296630879681}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551924185085296630859376}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551924185085296630862501}, {"parameter": "[12, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551924236965179443379681}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551924236965179443359376}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551924236965179443359376}, {"parameter": "[13, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 582076969478644042968751}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 582076969478644042968751}, {"parameter": "[14, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 23283078779146020000001}, {"parameter": "[5, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 23290514946022031742156}, {"parameter": "[5, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 23290514949829103538810}, {"parameter": "[5, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 23290515426636038029200}, {"parameter": "[5, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 582076668739318897284626}, {"parameter": "[5, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 582076668739320078140876}, {"parameter": "[5, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 582076668743164064476310}, {"parameter": "[5, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 582076668739318897284626}, {"parameter": "[5, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 582076668739320078140876}, {"parameter": "[5, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 582076668743164064476310}, {"parameter": "[5, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915288448333740250251}, {"parameter": "[5, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915288448333740628251}, {"parameter": "[5, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915288448334970719001}, {"parameter": "[5, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915228843688964859626}, {"parameter": "[5, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915228843688965237626}, {"parameter": "[5, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915228843690195328376}, {"parameter": "[5, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915228843688964859626}, {"parameter": "[5, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915228843688965237626}, {"parameter": "[5, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915228843690195328376}, {"parameter": "[5, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915228847503662191401}, {"parameter": "[5, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915228847503662109501}, {"parameter": "[5, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915228847503662503251}, {"parameter": "[5, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915228370666503988276}, {"parameter": "[5, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915228370666503906376}, {"parameter": "[5, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915228370666504300126}, {"parameter": "[5, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915240291595459066401}, {"parameter": "[5, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915240291595458984501}, {"parameter": "[5, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915240291595459378251}, {"parameter": "[5, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915228370697021894001}, {"parameter": "[5, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915228370697021484501}, {"parameter": "[5, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915228370697021484501}, {"parameter": "[5, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915228462249756269001}, {"parameter": "[5, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915228462249755859501}, {"parameter": "[5, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915228462249755859501}, {"parameter": "[5, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915526393920898847126}, {"parameter": "[5, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915526393920898437626}, {"parameter": "[5, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915526393920898437626}, {"parameter": "[5, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 582076609138520517578251}, {"parameter": "[5, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 582076609138520517578251}, {"parameter": "[5, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 582076609230042734375126}, {"parameter": "[5, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 582076609230042734375126}, {"parameter": "[5, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 582076907158051123047001}, {"parameter": "[5, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 582076907158051123047001}, {"parameter": "[5, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 23283064369232227347001}, {"parameter": "[5, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 23283064460754443547001}, {"parameter": "[5, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 23283076286323255312626}, {"parameter": "[6, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 186324119567934179556}, {"parameter": "[6, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 186324119574228597651}, {"parameter": "[6, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 186324139434824664060}, {"parameter": "[6, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4656613349914550863276}, {"parameter": "[6, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4656613349914552816276}, {"parameter": "[6, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4656613349920908285151}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4656613349914550863276}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4656613349914552816276}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4656613349920908285151}, {"parameter": "[6, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 116415324310302734457026}, {"parameter": "[6, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 116415324310302734375651}, {"parameter": "[6, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 116415324310302736410026}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 116415321830749511800776}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 116415321830749511719401}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 116415321830749513753776}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 116415321830749511800776}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 116415321830749511719401}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 116415321830749513753776}, {"parameter": "[6, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 116415321846801758236301}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 116415321846801757813151}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 116415321846801757813151}, {"parameter": "[6, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 116415321826965332455051}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 116415321826965332031901}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 116415321826965332031901}, {"parameter": "[6, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 116415321922332764095676}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 116415321922332763672526}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 116415321922332763672526}, {"parameter": "[6, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4656612873083750000651}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4656612873083750000651}, {"parameter": "[6, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4656612873107919922526}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4656612873107919922526}, {"parameter": "[6, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4656612968446054688151}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4656612968446054688151}, {"parameter": "[6, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 186264514929455160026}, {"parameter": "[6, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 186264514953613675651}, {"parameter": "[6, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 186264610290576360026}, {"parameter": "[7, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490592956543069531}, {"parameter": "[7, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490592956553131376}, {"parameter": "[7, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1490592988291425251}, {"parameter": "[7, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252906799316815876}, {"parameter": "[7, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252906799316409501}, {"parameter": "[7, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252906799326568876}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252906799316815876}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252906799316409501}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252906799326568876}, {"parameter": "[7, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322673828125409626}, {"parameter": "[7, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322673828125003251}, {"parameter": "[7, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322673828125003251}, {"parameter": "[7, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322574645996503376}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322574645996097001}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574645996097001}, {"parameter": "[7, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322574645996503376}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322574645996097001}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574645996097001}, {"parameter": "[7, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252903016367190751}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252903016367190751}, {"parameter": "[7, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252902984628909501}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902984628909501}, {"parameter": "[7, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252903015146487626}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252903015146487626}, {"parameter": "[7, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1490116119394928251}, {"parameter": "[7, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1490116119394537626}, {"parameter": "[7, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1490116149902740751}, {"parameter": "[8, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 37264827728271988931}, {"parameter": "[8, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37264827728271500651}, {"parameter": "[8, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37264827728322363151}, {"parameter": "[8, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 931620597869875097651}, {"parameter": "[8, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 931620597869873063151}, {"parameter": "[8, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931620597869873063151}, {"parameter": "[8, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 931620597869875097651}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931620597869873063151}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931620597869873063151}, {"parameter": "[8, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 931620597998300797526}, {"parameter": "[8, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931620597998300797526}, {"parameter": "[8, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 931620597839365250651}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931620597839365250651}, {"parameter": "[8, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931620597839365250651}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931620597839365250651}, {"parameter": "[8, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 37264823913625097526}, {"parameter": "[8, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37264823913574238151}, {"parameter": "[8, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37264823913584003776}, {"parameter": "[9, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 931334590942383441986}, {"parameter": "[9, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931334590942382832806}, {"parameter": "[9, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931334590942382832806}, {"parameter": "[9, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 931334590911875020306}, {"parameter": "[9, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931334590911875020306}, {"parameter": "[9, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931334590911875020306}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931334590911875020306}, {"parameter": "[9, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931334590911928710931}, {"parameter": "[9, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931334590911865257806}, {"parameter": "[9, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931334590911865257806}, {"parameter": "[10, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931323053283701192181}, {"parameter": "[10, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931323053283701192181}, {"parameter": "[10, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931323053283691429681}, {"parameter": "[10, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931323053283691429681}, {"parameter": "[11, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252925913818382806}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 37265304565429808586}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37265304565429691406}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37265304565441897656}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 931620601684570804656}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 931620601684570316406}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931620601684570316406}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 931620601684570804656}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931620601684570316406}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931620601684570316406}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 931620597877500003906}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931620597877500003906}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 931620597840585941406}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931620597840585941406}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931620597840585941406}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931620597840585941406}, {"parameter": "[5, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 37264823913586428906}, {"parameter": "[5, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37264823913574616406}, {"parameter": "[5, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37264823914805085156}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322673828125492156}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322673828125015876}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322673828125015876}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322673828125492156}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322673828125015876}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322673828125015876}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322669984140640876}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322669984140640876}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322669984140640876}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322669984140640876}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322669984140640876}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322669984140640876}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322669984140640876}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322669984140640876}, {"parameter": "[5, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322669982959784626}, {"parameter": "[5, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322669982910565876}, {"parameter": "[5, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322669982910565876}, {"parameter": "[5, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322669982959784626}, {"parameter": "[5, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322669982910565876}, {"parameter": "[5, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322669982910565876}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322578461923844001}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322578461923844001}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322574647226578376}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574647226578376}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322574647226578376}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574647226578376}, {"parameter": "[5, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322578460693769001}, {"parameter": "[5, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322578460693769001}, {"parameter": "[5, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574645996503376}, {"parameter": "[5, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574645996503376}, {"parameter": "[5, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574645996503376}, {"parameter": "[5, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574645996503376}, {"parameter": "[5, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902985850085151}, {"parameter": "[5, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902984629382026}, {"parameter": "[5, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252903015146960151}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 298138458252578736}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 298138458251973306}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 298138458251973306}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298118597666035806}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 298118597666035806}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 298118597666035806}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 298118597666035806}, {"parameter": "[6, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 298118591371679556}, {"parameter": "[6, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 298118591310648306}, {"parameter": "[6, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 298118591310648306}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023260752035151}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 298023260752035151}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023260752035151}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 298023260752035151}, {"parameter": "[6, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 298023254396647651}, {"parameter": "[6, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 298023254396647651}, {"parameter": "[6, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 298023254396647651}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 298023254396647651}, {"parameter": "[6, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 298023230236491401}, {"parameter": "[6, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 298023223888835151}, {"parameter": "[6, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 298023223888835151}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 95429697366406}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 95429697366406}, {"parameter": "[7, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 95397959478906}, {"parameter": "[7, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 95397959478906}, {"parameter": "[7, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 95367451975251}, {"parameter": "[7, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 95367451975251}, {"parameter": "[8, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 95398010351431}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 95399192014836}, {"parameter": "", "name": "JohnsonLB", "value": 14550993665140240906382371}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7451062036135354655}], "request": [5, 17, 6, 5], "liftedmrdsizebound": 14551925007878532332784181, "comments": "", "equal_bound_constraints": []}