{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1140747634121270227670449517400445860666056}, {"parameter": "", "name": "singleton", "value": 116805081731088587940522831693775431}, {"parameter": "5", "name": "ilp_2", "value": 93450048101071442160706359916710776}, {"parameter": "7", "name": "ilp_3", "value": 58407026476947940590366571983024210776}, {"parameter": "", "name": "anticode", "value": 93450048101071442160706359916710776}, {"parameter": "", "name": "linear_programming_bound", "value": 93450048101071442160706359916710776}, {"parameter": "", "name": "sphere_packing", "value": 1140747634121270227670449517400445860666056}, {"parameter": "1", "name": "ilp_1", "value": 93450048101071442160706359916710776}, {"parameter": "2", "name": "ilp_1", "value": 93450048101071442160706359916710776}, {"parameter": "3", "name": "ilp_1", "value": 93450048101071442160706359916710776}, {"parameter": "4", "name": "ilp_1", "value": 93450048101071442160706359916710776}, {"parameter": "8", "name": "ilp_4", "value": 58407026476947940590366571983024210776}, {"parameter": "9", "name": "ilp_4", "value": 58407026476947940590366571983024210776}, {"parameter": "10", "name": "ilp_4", "value": 58407026476947940590366571983024210776}, {"parameter": "11", "name": "ilp_4", "value": 58407026476947940590366571983024210776}, {"parameter": "12", "name": "ilp_4", "value": 58407026476947940590366571983024210776}, {"parameter": "13", "name": "ilp_4", "value": 11680687588010814429315497502957708129}, {"parameter": "14", "name": "ilp_4", "value": 2336252350782771334444494331789835500}, {"parameter": "15", "name": "ilp_4", "value": 467249321853910288122661779314397654}, {"parameter": "", "name": "johnson_1", "value": 93450048101071442160706359916710776}, {"parameter": "", "name": "johnson_2", "value": 467249321853910288122661779314397654}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1140747634121270227670449517400445860666056}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 58407026476947940590366571983024210776}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 58407026476947940590366571983024210776}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 58407026476947940590366571983024210776}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 58407026476947940590366571983024210776}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 58407026476947940590366571983024210776}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 58407026476947940590366571983024210776}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 11680687588010814429315497502957708129}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 2336252350782771334444494331789835500}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 467249321853910288122661779314397654}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 93450055754540251167858027163253733}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 93450094021903100562732429945279623}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 93450285359187457708554668401230565}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 93451242057362146919397734436071078}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 93456025842076830642867678889887456}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 93479952114013264115313528468070055}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 93599767474746238344941923928324345}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 94203481095394026090161667926878780}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 97342759722986092314098861254631996}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 116805081731088587940522831693775431}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1140747634121270227670449517400445860666056}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 58407026476947940590366571983024210776}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 58410017106878928940787402627888030055}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 58424974851609986928143660165178888987}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 58499878634792927828397426220335220330}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 58877297050794935039827348736155002466}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 60839872781799410533562203588510815473}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 73007841108236063781239140920167306681}, {"parameter": "", "name": "improved_johnson", "value": 93450048101071442160706359916710776}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 11681381371871053206537250565653026688}], "known_codes": [], "upper_bound": 93450048101071442160706359916710776, "classified": false, "lower_bound": 88967488594921579438014390756229526, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 88817841970012523233890533447265625}, {"parameter": "", "name": "sphere_covering", "value": 23924745456871544077792633682349}, {"parameter": "", "name": "graham_sloane", "value": 29904014780104605207507125369631}, {"parameter": "", "name": "multicomponent", "value": 88817851064960472285751342773453126}, {"parameter": "", "name": "construction_ST_B", "value": 88960405993277172629649822528545674}, {"parameter": "", "name": "EF_special", "value": 88967488594921579094529973785226401}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 88817842443518471100019970029906250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 88960187459292952098536052793578125}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 88960405993277169764046865780741570}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 88967488594921579438014390756229526}, {"parameter": "", "name": "two_pivot_block_construction", "value": 88960178255220871303508955559362560}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 3560054012036899085117580288874849}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 88960415102799461841587073447672026}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 88825182303248922879772433277562500}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 88825182303248921401577242847875000}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 88825182303248921389656466480687500}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 28481015785834830259310313109375}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 28481015785834591840731211546875}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 28481015785834532255159922484375}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 148029850711672268975022232640625}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 148029850711672564614060318578125}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 148029850711672268975022232640625}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 713327615235125281653315000609375}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 713327615235125341238886289671875}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 713327615235125579657465391234375}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3559044613921214022326183408812500}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3559044613921214034246959776000000}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3559044613921215512442150205687500}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 88825182303248921389656313892796875}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 28481015785834532236086436156250}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 148029850711672266590836441625000}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 713327615235125281634241514281250}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 3559044613921214022326030820921875}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 88825182303248921389656313892796875}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 28481015785834532236086436156250}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 148029850711672266590836441625000}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 713327615235125281634241514281250}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 3559044613921214022326030820921875}, {"parameter": "6", "name": "linkage_GLT", "value": 88817841970012523233894354941812651}, {"parameter": "7", "name": "linkage_GLT", "value": 28421709430404007434845215800626}, {"parameter": "8", "name": "linkage_GLT", "value": 148029357660561800003051757828776}, {"parameter": "9", "name": "linkage_GLT", "value": 713327611447311937808990478515626}, {"parameter": "10", "name": "linkage_GLT", "value": 3559044140415266156196594238281251}, {"parameter": "6", "name": "improved_linkage", "value": 88817851083584022377307656999540964}, {"parameter": "7", "name": "improved_linkage", "value": 28421712346753999331144407346711}, {"parameter": "8", "name": "improved_linkage", "value": 148029357661495043379401399046875}, {"parameter": "9", "name": "improved_linkage", "value": 713327611447311997532744244651632}, {"parameter": "10", "name": "improved_linkage", "value": 3559044140415266156200415732828276}, {"parameter": "11", "name": "improved_linkage", "value": 3559813127883434712886810547831876}, {"parameter": "12", "name": "improved_linkage", "value": 3560040955923619210720062255875651}, {"parameter": "13", "name": "improved_linkage", "value": 711999509740307479649312988281251}, {"parameter": "14", "name": "improved_linkage", "value": 142399554674115892555504302171876}, {"parameter": "6,0", "name": "generalized_linkage", "value": 88825182303248921389656313892796875}, {"parameter": "6,1", "name": "generalized_linkage", "value": 88818137483246650756033914046044000}, {"parameter": "6,2", "name": "generalized_linkage", "value": 88817853722295033219223367663750000}, {"parameter": "6,3", "name": "generalized_linkage", "value": 88817842060419372982675815983216791}, {"parameter": "6,4", "name": "generalized_linkage", "value": 88817851083584022377307656999540964}, {"parameter": "7,0", "name": "generalized_linkage", "value": 28481015785834532236086436156250}, {"parameter": "7,1", "name": "generalized_linkage", "value": 28424091811939682623386543876375}, {"parameter": "7,2", "name": "generalized_linkage", "value": 28421728378418566226463550049740}, {"parameter": "7,3", "name": "generalized_linkage", "value": 28421709575989974145389003265625}, {"parameter": "7,4", "name": "generalized_linkage", "value": 28421712346753999331144407346711}, {"parameter": "8,0", "name": "generalized_linkage", "value": 148029850711672266590836441625000}, {"parameter": "8,1", "name": "generalized_linkage", "value": 148029361486541098941396600545125}, {"parameter": "8,2", "name": "generalized_linkage", "value": 148029357690918705384938216602070}, {"parameter": "8,3", "name": "generalized_linkage", "value": 148029357660608444254743110033967}, {"parameter": "8,4", "name": "generalized_linkage", "value": 148029357661495043379401399046875}, {"parameter": "9,0", "name": "generalized_linkage", "value": 713327615235125281634241514281250}, {"parameter": "9,1", "name": "generalized_linkage", "value": 713327611453665663067728299720125}, {"parameter": "9,2", "name": "generalized_linkage", "value": 713327611447321673244338910066570}, {"parameter": "9,3", "name": "generalized_linkage", "value": 713327611447311952735748179199181}, {"parameter": "9,4", "name": "generalized_linkage", "value": 713327611447311997532744244651632}, {"parameter": "10,0", "name": "generalized_linkage", "value": 3559044613921214022326030820921875}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3559044140415275916159251921951375}, {"parameter": "10,2", "name": "generalized_linkage", "value": 3559044140415266159429094930262070}, {"parameter": "10,3", "name": "generalized_linkage", "value": 3559044140415266156197551589120156}, {"parameter": "10,4", "name": "generalized_linkage", "value": 3559044140415266156200415732828276}, {"parameter": "11,1", "name": "generalized_linkage", "value": 3559813127883678715031641384842000}, {"parameter": "11,2", "name": "generalized_linkage", "value": 3559813127883434712887803331522820}, {"parameter": "11,3", "name": "generalized_linkage", "value": 3559813127883434712886810366308431}, {"parameter": "11,4", "name": "generalized_linkage", "value": 3559813127883434712886810547831876}, {"parameter": "12,2", "name": "generalized_linkage", "value": 3560040955923619210725027401835320}, {"parameter": "12,3", "name": "generalized_linkage", "value": 3560040955923619210720062255863281}, {"parameter": "12,4", "name": "generalized_linkage", "value": 3560040955923619210720062255875651}, {"parameter": "13,3", "name": "generalized_linkage", "value": 711999509740307479649312988285156}, {"parameter": "13,4", "name": "generalized_linkage", "value": 711999509740307479649312988281251}, {"parameter": "14,4", "name": "generalized_linkage", "value": 142399554674115892555504302171876}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 88825182303248921389656313892796875}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 88818137483246650756033914046044000}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 88817853722295033219223367663750000}, {"parameter": "[6, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 88817842060419372982675815983216791}, {"parameter": "[6, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 88817851083584022377307656999540964}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 28481015785834532236086436156250}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 28424091811939682623386543876375}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 28421728378418566226463550049740}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 28421709575989974145389003265625}, {"parameter": "[7, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 28421712346753999331144407346711}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 148029850711672266590836441625000}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 148029361486541098941396600545125}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 148029357690918705384938216602070}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 148029357660608444254743110033967}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 148029357661495043379401399046875}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 713327615235125281634241514281250}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 713327611453665663067728299720125}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 713327611447321673244338910066570}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 713327611447311952735748179199181}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 713327611447311997532744244651632}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214022326030820921875}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3559044140415275916159251921951375}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3559044140415266159429094930262070}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3559044140415266156197551589120156}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559044140415266156200415732828276}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3559813127883678715031641384842000}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3559813127883434712887803331522820}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3559813127883434712886810366308431}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559813127883434712886810547831876}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3560040955923619210725027401835320}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560040955923619210720062255863281}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560040955923619210720062255875651}, {"parameter": "[13, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 711999509740307479649312988285156}, {"parameter": "[13, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 711999509740307479649312988281251}, {"parameter": "[14, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 142399554674115892555504302171876}, {"parameter": "[6, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 142118130582921024711429199218750}, {"parameter": "[6, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 142118112882735246423161984984375}, {"parameter": "[6, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 149457975335435922222384449437500}, {"parameter": "[6, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 710543294927703030735015869140625}, {"parameter": "[6, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 710543314465857860000430664062500}, {"parameter": "[6, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 710543296765672081712163449828125}, {"parameter": "[6, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 717883159218372757511385914281250}, {"parameter": "[6, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 710543207616211660533905029296875}, {"parameter": "[6, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 710543227154366489799319824218750}, {"parameter": "[6, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 710543209454180711511052609984375}, {"parameter": "[6, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 717883071906881387310275074437500}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3560052683901163280010223388671875}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552725875840188749462127685546875}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552725895378343578727542480468750}, {"parameter": "[6, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552725877678157800439275266234375}, {"parameter": "[6, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560065740130858476238497730687500}, {"parameter": "[6, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3560040955836074888706207275390625}, {"parameter": "[6, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552714147775100358158111572265625}, {"parameter": "[6, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552714167313255187423526367187500}, {"parameter": "[6, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552714149613069409135259152953125}, {"parameter": "[6, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560054012065770084934481617406250}, {"parameter": "[6, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3560040970965410113334655761718750}, {"parameter": "[6, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552714162904435582786560058593750}, {"parameter": "[6, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552714182442590412051974853515625}, {"parameter": "[6, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552714164742404633763707639281250}, {"parameter": "[6, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560054027195105309562930103734375}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3553081637273737580128011638671875}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3553008603613472528735318624296875}, {"parameter": "[6, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3553008602870719638754482841156250}, {"parameter": "[6, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553009073466839307549870969359375}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552786714141694695301351482421875}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713680481429643908658468046875}, {"parameter": "[6, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713679738676753927822684906250}, {"parameter": "[6, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552714150334796422723210813109375}, {"parameter": "[6, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552786713421170563049611980468750}, {"parameter": "[6, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713679760905511656918966093750}, {"parameter": "[6, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713679018152621676083182953125}, {"parameter": "[6, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552714149614272290471471311156250}, {"parameter": "[6, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552786728000046164341268474609375}, {"parameter": "[6, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713694339781112948575460234375}, {"parameter": "[6, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713693597028222967739677093750}, {"parameter": "[6, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552714164193147891763127805296875}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3560040979995754098802682849296875}, {"parameter": "[6, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560040955807263433745940440765625}, {"parameter": "[6, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560040955838466857421655750218750}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713721864179628282663318046875}, {"parameter": "[6, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713697675688963225920909515625}, {"parameter": "[6, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552713697706892386901636218968750}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713703770922068296548816093750}, {"parameter": "[6, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713679582431403239806407562500}, {"parameter": "[6, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552713679613634826915521717015625}, {"parameter": "[6, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713703018035295038339587578125}, {"parameter": "[6, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713678829544629981597179046875}, {"parameter": "[6, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552713678860748053657312488500000}, {"parameter": "[6, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713717566895938406106921562500}, {"parameter": "[6, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713693378405273349364513031250}, {"parameter": "[6, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552713693409608697025079822484375}, {"parameter": "[6, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 710543204706128259926303309906250}, {"parameter": "[6, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 710543204705830535662238313109375}, {"parameter": "[6, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 710542755421941673320804042328125}, {"parameter": "[6, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542755421643949056739045531250}, {"parameter": "[6, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 710542736513939711242177333343750}, {"parameter": "[6, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542736513641986978112336546875}, {"parameter": "[6, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 710542735789322275018388514984375}, {"parameter": "[6, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735789024550754323518187500}, {"parameter": "[6, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 710542750341394402747441493500000}, {"parameter": "[6, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542750341096678483376496703125}, {"parameter": "[6, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 142109035635905216230753693968750}, {"parameter": "[6, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 142108566101128947900656938109375}, {"parameter": "[6, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 142108547903957436858714929437500}, {"parameter": "[6, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 142108547180950651206400627046875}, {"parameter": "[6, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 142108561733949713439072785765625}, {"parameter": "[7, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 45481426260153090219482421875}, {"parameter": "[7, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 45481583782923529529859593750}, {"parameter": "[7, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 104784000902216886507578734375}, {"parameter": "[7, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 286448640432756095886230468750}, {"parameter": "[7, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 227377601518014704446777343750}, {"parameter": "[7, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227377759040785143757154515625}, {"parameter": "[7, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 286680176160078500734873656250}, {"parameter": "[7, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 286448496077757030487060546875}, {"parameter": "[7, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 227377457163015639047607421875}, {"parameter": "[7, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227377614685786078357984593750}, {"parameter": "[7, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 286680031805079435335703734375}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 286467405372362285614013671875}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 227396366457620894174560546875}, {"parameter": "[7, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227396523980391333484937718750}, {"parameter": "[7, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 286698941099684690462656859375}, {"parameter": "[7, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 286448495155732780456542968750}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227377456240991389017089843750}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227377613763761828327467015625}, {"parameter": "[7, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 286680030883055185305186156250}, {"parameter": "[7, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 286448496116559654235839843750}, {"parameter": "[7, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227377457201818262796386718750}, {"parameter": "[7, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227377614724588702106763890625}, {"parameter": "[7, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 286680031843882059084483031250}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 229869016626873330458624296875}, {"parameter": "[7, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 229751820895518791059593500000}, {"parameter": "[7, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 229755757754927466297437718750}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 227490873836663827284796171875}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373678105309287885765375000}, {"parameter": "[7, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227377614964717963123609593750}, {"parameter": "[7, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227490872636095097884161406250}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676904740558485130609375}, {"parameter": "[7, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227377613764149233722974828125}, {"parameter": "[7, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227490873561382134779913359375}, {"parameter": "[7, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373677830027595380882562500}, {"parameter": "[7, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227377614689436270618726781250}, {"parameter": "[7, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 286448502647518762505409515625}, {"parameter": "[7, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 286448495388404917375899046875}, {"parameter": "[7, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373835145532395806190765625}, {"parameter": "[7, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373827886418550676680296875}, {"parameter": "[7, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373684204994867289345062500}, {"parameter": "[7, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676945881022159834593750}, {"parameter": "[7, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373682953651134217079437500}, {"parameter": "[7, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373675694537289087568968750}, {"parameter": "[7, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373683877298433257606781250}, {"parameter": "[7, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676618184588128096312500}, {"parameter": "[7, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 45478516119077878353438109375}, {"parameter": "[7, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 45474893873144367754826781250}, {"parameter": "[7, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 45474736545614760656294671875}, {"parameter": "[7, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 45474735339931766358444843750}, {"parameter": "[7, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 45474736263800525995944078125}, {"parameter": "[8, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 237320303465994889993652343750}, {"parameter": "[8, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 236847003481359232120225218750}, {"parameter": "[8, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 237340024298688042405045140625}, {"parameter": "[8, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 237320302581223542947753906250}, {"parameter": "[8, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 236847002596587885074326781250}, {"parameter": "[8, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 237340023413916695359146703125}, {"parameter": "[8, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 237320302534731920022949218750}, {"parameter": "[8, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 236847002550096262149522093750}, {"parameter": "[8, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 237340023367425072434342015625}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 237320332837581956644042968750}, {"parameter": "[8, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 236847032852946298770615843750}, {"parameter": "[8, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 237340053670275109055435765625}, {"parameter": "[8, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 237320302534675294656738281250}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 236847002550039636783311156250}, {"parameter": "[8, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 237340023367368447068131078125}, {"parameter": "[8, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 237320302534734403390869140625}, {"parameter": "[8, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 236847002550098745517442015625}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 237340023367427555802261937500}, {"parameter": "[8, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 236850965058161591177161859375}, {"parameter": "[8, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 236850813592472703677842406250}, {"parameter": "[8, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 236847154017664931221107171875}, {"parameter": "[8, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 236847002551976043721787718750}, {"parameter": "[8, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 236847154015728648411292718750}, {"parameter": "[8, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 236847002550039760911973265625}, {"parameter": "[8, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 236847154015785383261146234375}, {"parameter": "[8, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 236847002550096495761826781250}, {"parameter": "[8, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 237320332827810092878037718750}, {"parameter": "[8, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 236847002793943373411701781250}, {"parameter": "[8, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 236847002552056846309134515625}, {"parameter": "[8, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 236847002550039648460188593750}, {"parameter": "[8, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 236847002550096368357043984375}, {"parameter": "[9, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 228268623476543249994688109375}, {"parameter": "[9, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 228268623476543249994688109375}, {"parameter": "[9, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 228268623476498545557432250000}, {"parameter": "[9, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 228268623476498545557432250000}, {"parameter": "[9, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 228268623476483649164609984375}, {"parameter": "[9, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 228268623476483649164609984375}, {"parameter": "[9, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 228268623486181072948789671875}, {"parameter": "[9, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 228268623486181072948789671875}, {"parameter": "[9, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 228268623476483646303526000000}, {"parameter": "[9, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 228268623476483646303526000000}, {"parameter": "[9, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 228268623476483649323545531250}, {"parameter": "[9, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 228268623476483649323545531250}, {"parameter": "[9, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 228268629576075508693391234375}, {"parameter": "[9, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 228268623476484265985279046875}, {"parameter": "[9, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 228268623476483646343257343750}, {"parameter": "[9, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 228268623476483649179561171875}, {"parameter": "[10, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 228252330934443167247861937500}, {"parameter": "[10, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 228252330934443164386777953125}, {"parameter": "[10, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 228252330934443163433408812500}, {"parameter": "[10, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 228252330934446266641773187500}, {"parameter": "[10, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 228252330934443163433225703125}, {"parameter": "[10, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 228252330934443163433418984375}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7555134179789848953247070312500}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7554665264073946583291992187500}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7555153717944678218661865234375}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 227857353162049132472900390625}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227857203099416035196289062500}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227857353162049132472900390625}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227857203099416035196289062500}, {"parameter": "[6, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227857203099416035196289062500}, {"parameter": "[6, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227388287383513665241210937500}, {"parameter": "[6, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227876741254245300611083984375}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7555119656745620399475097656250}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7555119656745620399475097656250}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7555119628805943161010742187500}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7555119628805943161010742187500}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 228311595771089851379394531250}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 228311595771089851379394531250}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 228311595771089851379394531250}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 228311595771089851379394531250}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 228311567831412612915039062500}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 228311567831412612915039062500}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 228311567831412612915039062500}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 228311567831412612915039062500}, {"parameter": "[6, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 228311595771089851379394531250}, {"parameter": "[6, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227842680055187481424316406250}, {"parameter": "[6, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 228331133925919116794189453125}, {"parameter": "[6, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 228311567831412612915039062500}, {"parameter": "[6, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227842652115510242959960937500}, {"parameter": "[6, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 228331105986241878329833984375}, {"parameter": "[6, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14881928439447164535522460937500}, {"parameter": "[6, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14881927688850998878479003906250}, {"parameter": "[6, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14881927689819276332855224609375}, {"parameter": "[6, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7555120378472633987426757812500}, {"parameter": "[6, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7555120378472633987426757812500}, {"parameter": "[6, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7555119627876468330383300781250}, {"parameter": "[6, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7555119627876468330383300781250}, {"parameter": "[6, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7555119628844745784759521484375}, {"parameter": "[6, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7555119628844745784759521484375}, {"parameter": "[6, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7555120378472633987426757812500}, {"parameter": "[6, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7554651462756731617471679687500}, {"parameter": "[6, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7555139916627463252841552734375}, {"parameter": "[6, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7555119627876468330383300781250}, {"parameter": "[6, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7554650712160565960428222656250}, {"parameter": "[6, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7555139166031297595798095703125}, {"parameter": "[6, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7555119628844745784759521484375}, {"parameter": "[6, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7554650713128843414804443359375}, {"parameter": "[6, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7555139166999575050174316406250}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59093153338214342813476562500}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59093153338214342813476562500}, {"parameter": "[7, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22114423472951374023437500}, {"parameter": "[7, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22114423472951374023437500}, {"parameter": "[7, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 118164191330931484222412109375}, {"parameter": "[7, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 118164191321692764282226562500}, {"parameter": "[7, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59093152416190092782958984375}, {"parameter": "[7, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59093152416190092782958984375}, {"parameter": "[7, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59093152406951372842773437500}, {"parameter": "[7, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59093152406951372842773437500}, {"parameter": "[8, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 961818761830916919677734375}, {"parameter": "", "name": "JohnsonLB", "value": 88966337010787595332208080385934925}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 28480357464589396150186277761875}], "request": [5, 16, 4, 6], "liftedmrdsizebound": 89012068708296646436835717016317026, "comments": "", "equal_bound_constraints": []}