{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "", "name": "singleton", "value": 36121735336208679823466411064327588635221204800}, {"parameter": "5", "name": "ilp_2", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "7", "name": "ilp_3", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "", "name": "anticode", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "", "name": "linear_programming_bound", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "", "name": "sphere_packing", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "1", "name": "ilp_1", "value": 30961750509860258487648033622645124017925683549}, {"parameter": "2", "name": "ilp_1", "value": 30961750509860258487648033622645124018208766293}, {"parameter": "3", "name": "ilp_1", "value": 30961750509860258487648033642762521263434838209}, {"parameter": "4", "name": "ilp_1", "value": 30961750509860258527543013108781118271649448208}, {"parameter": "8", "name": "ilp_4", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "9", "name": "ilp_4", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "10", "name": "ilp_4", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "11", "name": "ilp_4", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "12", "name": "ilp_4", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "13", "name": "ilp_4", "value": 74338634484018593472800221163458673549815705939746}, {"parameter": "14", "name": "ilp_4", "value": 10619880719508437543606263724021759287994714510503}, {"parameter": "15", "name": "ilp_4", "value": 1517125559273189929766502534745992449783371485792}, {"parameter": "16", "name": "ilp_4", "value": 216732254320624464312983986140434607093104904207}, {"parameter": "", "name": "johnson_1", "value": 30961750509860258487648033622645124017925683549}, {"parameter": "", "name": "johnson_2", "value": 216732254320624464312983986140434607093104904207}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 74338634484018593472800221163458673549815705939746}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 10619880719508437543606263724021759287994714510503}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1517125559273189929766502534745992449783371485792}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 216732254320624464312983986140434607093104904207}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 30961750617231381840626865326157368638112241665}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 30961750711176922606055692040293777396783996015}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 30961751368795723927070548662258391536543499031}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 30961755972128115361950237461303005394478299834}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 30961788195493182653518400001588905476364150223}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 30962013760926704733421479960547616904460091355}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 30963592810991319650792191238837019814028728566}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 30974650672785053081077590241237262814438274732}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 31052277405515591337810898715565707633482454353}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 31606753490532986420544296590796595937575384549}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 36121735336208679823466411064327588635221204800}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 30961750509860258527543013108781118271649448208}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 30961750509860258487648033642762521263434838209}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 30961750509860258487648033622645124018208766293}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 30961750509860258487648033622645124008038965799}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 520378565505462203480591959515193773871986398769703}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 520405105953461710468660434855120288685570142098576}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 520590964919309456354277154919634590945670149880426}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 521895704175788181355401566138198649374681204401237}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 531215270292915991794920649621581259782584066029582}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 607103165780393916662042480418363450775178254934200}, {"parameter": "", "name": "improved_johnson", "value": 30961750509860258487648033622645124017925683549}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 74339253461982474209050296266135219421103201762257}], "known_codes": [], "upper_bound": 30961750509860258487648033622645124008038965799, "classified": false, "lower_bound": 30239690475770808604751881256801280488268311358, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 30226801971775055948247051683954096612865741943}, {"parameter": "", "name": "sphere_covering", "value": 1579036649185606989016058003170000440540201}, {"parameter": "", "name": "graham_sloane", "value": 1842193764596525898789596647507526960180600}, {"parameter": "", "name": "multicomponent", "value": 30226802078781960750663777497556410074928854296}, {"parameter": "", "name": "construction_ST_B", "value": 30239401718119669943019675403120195969811149373}, {"parameter": "", "name": "EF_special", "value": 30239690475766567624866522189453324986367024243}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 30226801971828131150063870287762285468810387592}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 30239396577471884214991880067961292261144386685}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 30239401718119669943019675403133770814203991616}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 30239690475770808604751881256801280488268311358}, {"parameter": "", "name": "two_pivot_block_construction", "value": 30239396472596628921584550676200436411712667648}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 4320250229598645144485669089853626184654088625}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 30239401825171160576794206790088555370667641839}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 30228937633977264528700647773530116702610955757}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 30228937633977264528697429208842923186849018957}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 30228937633977264528697427867774536153398105357}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1804709043262956990479112249272149489093099}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1804709043262956990028513193065057282421947}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1804709043262956990019125792519675825728299}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 12851547442340458272003612876890943362329496}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 12851547442340458272059937758916829888163390}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 12851547442340458271994252765300635688940190}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 88209551905274531449012034138911671800609990}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 88209551905274531449077719132527865999833190}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 88209551905274531449021394250501979473999296}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 617143775584089404701433466678472562756709841}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 617143775584089404701442854079017944213403489}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 617143775584089404701893453135225036420074641}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 4320212471370635054314649206607252741113157175}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4320212471370635054314650547675639774564070775}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 4320212471370635054317869112362833290326007575}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 30228937633977264528697427867774303522884118150}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1804709043262956990019125712727409528116298}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 12851547442340458271994225396553295608023847}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 88209551905274531449012006770164331719693647}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 617143775584089404701433466598680296459097840}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 4320212471370635054314649206607020110599169968}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 30228937633977264528697427867774303522884118150}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1804709043262956990019125712727409528116298}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 12851547442340458271994225396553295608023847}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 88209551905274531449012006770164331719693647}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 617143775584089404701433466598680296459097840}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 4320212471370635054314649206607020110599169968}, {"parameter": "6", "name": "linkage_GLT", "value": 30226801971775055948247051875628405425782278374}, {"parameter": "7", "name": "linkage_GLT", "value": 1798465042647412146620280342198776391248250}, {"parameter": "8", "name": "linkage_GLT", "value": 12851529221274123806098391676231041809921447}, {"parameter": "9", "name": "linkage_GLT", "value": 88209551851094122530297192628744893255048847}, {"parameter": "10", "name": "linkage_GLT", "value": 617143775583934666688236819793515580445796944}, {"parameter": "11", "name": "linkage_GLT", "value": 4320212471317559852497830602798831254654524320}, {"parameter": "6", "name": "improved_linkage", "value": 30226802078827587392411916492973722976961927785}, {"parameter": "7", "name": "improved_linkage", "value": 1798465049017356652208253448850618795380996}, {"parameter": "8", "name": "improved_linkage", "value": 12851529221274502811607102127543091717852043}, {"parameter": "9", "name": "improved_linkage", "value": 88209551851094122552847675060584523765972436}, {"parameter": "10", "name": "improved_linkage", "value": 617143775583934666688237011467824393362333374}, {"parameter": "11", "name": "improved_linkage", "value": 4320212471317559852497830602800460381696521320}, {"parameter": "12", "name": "improved_linkage", "value": 4320249192517666249988860095241734968844366036}, {"parameter": "13", "name": "improved_linkage", "value": 617177724067066038971042723635220403669823107}, {"parameter": "14", "name": "improved_linkage", "value": 88168231356275085163181569506587726136468148}, {"parameter": "15", "name": "improved_linkage", "value": 12594623271874552179916350022109552168125459}, {"parameter": "6,0", "name": "generalized_linkage", "value": 30228937633977264528697427867774303522884118150}, {"parameter": "6,1", "name": "generalized_linkage", "value": 30226845664452879765070999232404789640306624032}, {"parameter": "6,2", "name": "generalized_linkage", "value": 30226802098854390580239011885186381395835875686}, {"parameter": "6,3", "name": "generalized_linkage", "value": 30226801972138142785065566151126111871295137522}, {"parameter": "6,4", "name": "generalized_linkage", "value": 30226802078827587392411916492973722976961927785}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1804709043262956990019125712727409528116298}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1798592795911925541128298711489767772038768}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1798465414202745126777455265784952542548538}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1798465042799014350104460865395154361788449}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1798465049017356652208253448850618795380996}, {"parameter": "8,0", "name": "generalized_linkage", "value": 12851547442340458271994225396553295608023847}, {"parameter": "8,1", "name": "generalized_linkage", "value": 12851529274501993352392143035339469617379543}, {"parameter": "8,2", "name": "generalized_linkage", "value": 12851529221428935896379772301377720445583419}, {"parameter": "8,3", "name": "generalized_linkage", "value": 12851529221274186969999683259036089388693589}, {"parameter": "8,4", "name": "generalized_linkage", "value": 12851529221274502811607102127543091717852043}, {"parameter": "9,0", "name": "generalized_linkage", "value": 88209551905274531449012006770164331719693647}, {"parameter": "9,1", "name": "generalized_linkage", "value": 88209551851116304490798641662246469974635094}, {"parameter": "9,2", "name": "generalized_linkage", "value": 88209551851094131741092381635841180266338790}, {"parameter": "9,3", "name": "generalized_linkage", "value": 88209551851094122534055542475948560701267795}, {"parameter": "9,4", "name": "generalized_linkage", "value": 88209551851094122552847675060584523765972436}, {"parameter": "10,0", "name": "generalized_linkage", "value": 617143775584089404701433466598680296459097840}, {"parameter": "10,1", "name": "generalized_linkage", "value": 617143775583934676110357695646874064171467643}, {"parameter": "10,2", "name": "generalized_linkage", "value": 617143775583934666688785140542017181207103290}, {"parameter": "10,3", "name": "generalized_linkage", "value": 617143775583934666688236851737438619922992551}, {"parameter": "10,4", "name": "generalized_linkage", "value": 617143775583934666688237011467824393362333374}, {"parameter": "11,0", "name": "generalized_linkage", "value": 4320212471370635054314649206607020110599169968}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4320212471317559852501674769996938439456832368}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4320212471317559852497830636071051091461875019}, {"parameter": "11,3", "name": "generalized_linkage", "value": 4320212471317559852497830602799102915665971495}, {"parameter": "11,4", "name": "generalized_linkage", "value": 4320212471317559852497830602800460381696521320}, {"parameter": "12,1", "name": "generalized_linkage", "value": 4320249192517666250177224320447164374031816332}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4320249192517666249988860095243674218468572538}, {"parameter": "12,3", "name": "generalized_linkage", "value": 4320249192517666249988860095241734957344686089}, {"parameter": "12,4", "name": "generalized_linkage", "value": 4320249192517666249988860095241734968844366036}, {"parameter": "13,2", "name": "generalized_linkage", "value": 617177724067066038971042723648795248062545250}, {"parameter": "13,3", "name": "generalized_linkage", "value": 617177724067066038971042723635220403669722615}, {"parameter": "13,4", "name": "generalized_linkage", "value": 617177724067066038971042723635220403669823107}, {"parameter": "14,3", "name": "generalized_linkage", "value": 88168231356275085163181569506587726136487755}, {"parameter": "14,4", "name": "generalized_linkage", "value": 88168231356275085163181569506587726136468148}, {"parameter": "15,4", "name": "generalized_linkage", "value": 12594623271874552179916350022109552168125459}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30228937633977264528697427867774303522884118150}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30226845664452879765070999232404789640306624032}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30226802098854390580239011885186381395835875686}, {"parameter": "[6, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 30226801972138142785065566151126111871295137522}, {"parameter": "[6, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 30226802078827587392411916492973722976961927785}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1804709043262956990019125712727409528116298}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1798592795911925541128298711489767772038768}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1798465414202745126777455265784952542548538}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1798465042799014350104460865395154361788449}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1798465049017356652208253448850618795380996}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12851547442340458271994225396553295608023847}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12851529274501993352392143035339469617379543}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 12851529221428935896379772301377720445583419}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12851529221274186969999683259036089388693589}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12851529221274502811607102127543091717852043}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 88209551905274531449012006770164331719693647}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 88209551851116304490798641662246469974635094}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 88209551851094131741092381635841180266338790}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 88209551851094122534055542475948560701267795}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 88209551851094122552847675060584523765972436}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 617143775584089404701433466598680296459097840}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 617143775583934676110357695646874064171467643}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 617143775583934666688785140542017181207103290}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 617143775583934666688236851737438619922992551}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 617143775583934666688237011467824393362333374}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4320212471370635054314649206607020110599169968}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4320212471317559852501674769996938439456832368}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4320212471317559852497830636071051091461875019}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4320212471317559852497830602799102915665971495}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4320212471317559852497830602800460381696521320}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4320249192517666250177224320447164374031816332}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4320249192517666249988860095243674218468572538}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4320249192517666249988860095241734957344686089}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4320249192517666249988860095241734968844366036}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 617177724067066038971042723648795248062545250}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 617177724067066038971042723635220403669722615}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 617177724067066038971042723635220403669823107}, {"parameter": "[14, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 88168231356275085163181569506587726136487755}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 88168231356275085163181569506587726136468148}, {"parameter": "[15, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12594623271874552179916350022109552168125459}, {"parameter": "[6, 2, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 12589380466902673497352445003002978785603641}, {"parameter": "[6, 2, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 12589380457399749821901046369512250106723047}, {"parameter": "[6, 2, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14725024507644889074751502560494840400919757}, {"parameter": "[6, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 88124805974642351813004839323071830657608958}, {"parameter": "[6, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 88124805614097488429185458137889669452139349}, {"parameter": "[6, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 88124805604594564753734059504398940773258755}, {"parameter": "[6, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 90260449654839704006584515695381531067455465}, {"parameter": "[6, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 88124805618101229202099272121551462861064902}, {"parameter": "[6, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 88124805257556365818279890936369301655595293}, {"parameter": "[6, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 88124805248053442142828492302878572976714699}, {"parameter": "[6, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 90260449298298581395678948493861163270911409}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 616873654788772188459391869037117922547009903}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 616873655166769270228396100841903901404216450}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 616873654806224406844576719656721740198746841}, {"parameter": "[6, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 616873654796721483169125321023231011519866247}, {"parameter": "[6, 4, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 619009298846966622421975777214213601814062957}, {"parameter": "[6, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 616873527772098105444007575351056872449180311}, {"parameter": "[6, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 616873528150095187213011807155842851306386858}, {"parameter": "[6, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 616873527789550323829192425970660690100917249}, {"parameter": "[6, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 616873527780047400153741027337169961422036655}, {"parameter": "[6, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 619009171830292539406591483528152551716233365}, {"parameter": "[6, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 616873527817572637719654772738595344420255860}, {"parameter": "[6, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 616873528195569719488659004543381323277462407}, {"parameter": "[6, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 616873527835024856104839623358199162071992798}, {"parameter": "[6, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 616873527825521932429388224724708433393112204}, {"parameter": "[6, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 619009171875767071682238680915691023687308914}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4318208908741281673503853007282988978276736851}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318158238547471929973589068452214225074149795}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318158238494783142647627866105680948453435398}, {"parameter": "[6, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318158238487044410548249389368779940039176570}, {"parameter": "[6, 5, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318158256637772892409792798261677544530865995}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4318165237659466155022998558570590765337465651}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318114567465656411492734619739816012134878595}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318114567412967624166773417393282735514164198}, {"parameter": "[6, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318114567405228892067394940656381727099905370}, {"parameter": "[6, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114585555957373928938349549279331591594795}, {"parameter": "[6, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 4318165237652063083888707026349455926465978502}, {"parameter": "[6, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318114567458253340358443087518681173263391446}, {"parameter": "[6, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318114567405564553032481885172147896642677049}, {"parameter": "[6, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318114567397825820933103408435246888228418221}, {"parameter": "[6, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114585548554302794646817328144492720107646}, {"parameter": "[6, 5, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4318165237964182347155191190409490802251546205}, {"parameter": "[6, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318114567770372603624927251578716049048959149}, {"parameter": "[6, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318114567717683816298966049232182772428244752}, {"parameter": "[6, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318114567709945084199587572495281764013985924}, {"parameter": "[6, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114585860673566061130981388179368505675349}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4320249214105207626757067987547454918148469843}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4320249192516760442233011646701775935130056243}, {"parameter": "[6, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4320249192516756782584485854167930287691189046}, {"parameter": "[6, 6, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4320249192516911076225728023942955589373937405}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318114589356085619383946000233078315528522547}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318114567767638434859889659387399332510108947}, {"parameter": "[6, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318114567767634775211363866853553685071241750}, {"parameter": "[6, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114567767789068852606036628578986753990109}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318114588992602297022657573505503401038082646}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318114567404155112498601232659824418019669046}, {"parameter": "[6, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318114567404151452850075440125978770580801849}, {"parameter": "[6, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114567404305746491317609901004072263550208}, {"parameter": "[6, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318114588985038778527500444545584118481822725}, {"parameter": "[6, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396591594003444103699905135463409125}, {"parameter": "[6, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396587934354918311166059488024541928}, {"parameter": "[6, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396742227996160480941084789707290287}, {"parameter": "[6, 6, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318114589296997649264796038019005268896053947}, {"parameter": "[6, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318114567708550464740739697173326285877640347}, {"parameter": "[6, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318114567708546805092213904639480638438773150}, {"parameter": "[6, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114567708701098733456074414505940121521509}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 616873527772260097408051286137743361285564857}, {"parameter": "[6, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 616873527772076512783005288915550902212700360}, {"parameter": "[6, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 616873527772076514116719583687746844171191260}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 616873510007177314565745579903340136396606604}, {"parameter": "[6, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 616873510006993729940699582681147677323742107}, {"parameter": "[6, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 616873510006993731274413877453343619282233007}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 616873509635810588837391987710526922097357507}, {"parameter": "[6, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 616873509635627004212345990488334463024493010}, {"parameter": "[6, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 616873509635627005546060285260530404982983910}, {"parameter": "[6, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 616873509628397165800049968476861388834358297}, {"parameter": "[6, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 616873509628213581175003971254668929761493800}, {"parameter": "[6, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 616873509628213582508718266026864871719984700}, {"parameter": "[6, 7, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 616873509940371001761298910429429430518309223}, {"parameter": "[6, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 616873509940187417136252913207236971445444726}, {"parameter": "[6, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 616873509940187418469967207979432913403935626}, {"parameter": "[6, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 88124805611734423472399381476302265260902998}, {"parameter": "[6, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 88124805611734423441201386276952652583511398}, {"parameter": "[6, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 88124787461278375192170216333543473272875645}, {"parameter": "[6, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 88124787461278375160972221134193860595484045}, {"parameter": "[6, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 88124787097283874962436454106237698279914299}, {"parameter": "[6, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 88124787097283874931238458906888085602522699}, {"parameter": "[6, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 88124787089874417307570840388478523731992265}, {"parameter": "[6, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 88124787089874417276372845189128911054600665}, {"parameter": "[6, 8, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 88124787401850899075800106705483157359897787}, {"parameter": "[6, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 88124787401850899044602111506133544682506187}, {"parameter": "[6, 9, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12589273459998249899330230787845218709489331}, {"parameter": "[6, 9, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 12589255669892650056153530171765227687614289}, {"parameter": "[6, 9, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12589255306092925378973054323504247355399159}, {"parameter": "[6, 9, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12589255298683108403687644064459815707557417}, {"parameter": "[6, 9, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12589255343121504120628990938119768356401847}, {"parameter": "[7, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 749108852854730468776018308427095117750}, {"parameter": "[7, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 749107798685340137600397104375067118253}, {"parameter": "[7, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6993055313315790541367852001889882582699}, {"parameter": "[7, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 5243391518170974750139549133715228317592}, {"parameter": "[7, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5243392623367563866980909856246393232843}, {"parameter": "[7, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5243391569198173535805288652194365233346}, {"parameter": "[7, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11487339083828623939572743549709180697792}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 5243391367022316536139301242310895566335}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5243392472218905652980661964842060481586}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5243391418049515321805040760790032482089}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11487338932679965725572495658304847946535}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42945005767554019150626914686090809249651}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703792638929670226739951373077319734499}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703793744126259343581312095608484649750}, {"parameter": "[7, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703792689956869012405690891556456650253}, {"parameter": "[7, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 42947740204587319416173145789071272114699}, {"parameter": "[7, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 42944634395814684310645628990048521488402}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703421267190335386758665677035031973250}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703422372386924503600026399566196888501}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703421318217534172424405195514168889004}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 42947368832847984576191860093028984353450}, {"parameter": "[7, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 42944634398512643343441492283165752393702}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703421269888294419554528970152262878550}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703422375084883536395889692683427793801}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703421320915493205220268488631399794304}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 42947368835545943608987723386146215258750}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 36852270403730098739651729417195375414499}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 36831059470265703423907915867015476119763}, {"parameter": "[7, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36831059448246156734402106540185743964050}, {"parameter": "[7, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36831112545478064793215286927973930685453}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 36724579179617160159696147909759945895251}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368246152764843952334359580046600515}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368224133218154446525032750314444802}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703421321365126213259705420538501166205}, {"parameter": "[7, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 36724579176469755945100093192048292358450}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368243005360629356279641868393063714}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368220985813939850470315038660908001}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703421318217721998663650702826847629404}, {"parameter": "[7, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 36724579179114833854140946067743674475997}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368245650438538397132517563775181261}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368223630891848891323190734043025548}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703421320862799907704503578522229746951}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42944635680907062059391094844553124344051}, {"parameter": "[7, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 42944634395805887040017869041436325875595}, {"parameter": "[7, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 42944634396265979191562444195870523273702}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703370587753042318100019367539778605651}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703369302651867298726793564422980137195}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703369303111959450271368718857177535302}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703369505617888806089951334197613028950}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368220516713786716725531080814560494}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368220976805938261300685515011958601}, {"parameter": "[7, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703369502404543334191967815515210505250}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368217303368314818742012398412036794}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368217763460466363317166832609434901}, {"parameter": "[7, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703369505048411554003497337655132907499}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368219947236534630271534538334439043}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368220407328686174846688972531837150}, {"parameter": "[7, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5243391366645030935021123861490982759992}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243391366643501676601505179130334952441}, {"parameter": "[7, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5243339424726782992726972417353644480043}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243339424725253734307353734992996672492}, {"parameter": "[7, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5243338319917480755058727772587366567090}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243338319915951496639109090226718759539}, {"parameter": "[7, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5243338316766856411719024551493429955543}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243338316765327153299405869132782147992}, {"parameter": "[7, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5243338319410855882941689278908406794774}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243338319409326624522070596547758987223}, {"parameter": "[7, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 749102486048973392475901285494112905798}, {"parameter": "[7, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 749049417366688422717950950258255023245}, {"parameter": "[7, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 749048334123180822998549596648349633947}, {"parameter": "[7, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 749048330974210182525375148234549793298}, {"parameter": "[7, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 749048333618231773845863511190500472859}, {"parameter": "[8, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 5352573758302718684011780508589274165092}, {"parameter": "[8, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5352573761526184621523282491133449306743}, {"parameter": "[8, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5370794669909504415712209625495987969790}, {"parameter": "[8, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 37486218779280301603021020174823892071750}, {"parameter": "[8, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 37468015377164351649577291871084367343798}, {"parameter": "[8, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 37468015380387817587088793853628542485449}, {"parameter": "[8, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37486236288771137381277720987991081148496}, {"parameter": "[8, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 37486218779217191450207081852177874974550}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 37468015377101241496763353548438350246598}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 37468015380324707434274855530982525388249}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 37486236288708027228463782665345064051296}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37486218933954082127833371256304578706550}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37468015531838132174389642952565053978598}, {"parameter": "[8, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468015535061598111901144935109229120249}, {"parameter": "[8, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 37486236443444917906090072069471767783296}, {"parameter": "[8, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 37486218779217169447485820256886313848502}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 37468015377101219494042091953146789120550}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468015380324685431553593935690964262201}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 37486236288708005225742521070053502925248}, {"parameter": "[8, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 37486218779217191919772679965946156671401}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 37468015377101241966328951662206631943449}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468015380324707903840453644750807085100}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 37486236288708027698029380779113345748147}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37468077246337108654505066434608046212744}, {"parameter": "[8, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468068426943509768104014496428583350015}, {"parameter": "[8, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 37468068584884134561099239338409440596507}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37468024041778974230401242146825366023638}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468015222385375344000190208645903160909}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 37468015380326000136995415050626760407401}, {"parameter": "[8, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 37468024041777659536138889113357877786137}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468015222384060649737837175178414923408}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 37468015380324685442733062017159272169900}, {"parameter": "[8, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 37468024041777681549360641969987397646640}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468015222384082662959590031807934783911}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 37468015380324707455954814873788792030403}, {"parameter": "[8, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 37486218779292133234994965624630116765758}, {"parameter": "[8, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 37486218779218484074447987203160319210502}, {"parameter": "[8, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468015222900734410923765669240264236800}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 37468015222827085250376787247770466681544}, {"parameter": "[8, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468015222449845760122160434813871264257}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 37468015222376196599575182013344073709001}, {"parameter": "[8, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468015222448503654553134007889258890104}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 37468015222374854494006155586419461334848}, {"parameter": "[8, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 37468015222448525666633221311609074823558}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 37468015222374876506086242890139277268302}, {"parameter": "[8, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5352573757925215155327311770147088638350}, {"parameter": "[8, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5352573603659187689899907809052096690601}, {"parameter": "[8, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5352573603198851498349325069855716275048}, {"parameter": "[8, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5352573603197535528048154351084532727750}, {"parameter": "[8, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5352573603197557541484778095603744310620}, {"parameter": "[9, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 36738725232585613790267785241224312575197}, {"parameter": "[9, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341246854710298898892118548045}, {"parameter": "[9, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36738726338299038101425232873356233284096}, {"parameter": "[9, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 36738725232585595007452279459112478286756}, {"parameter": "[9, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341228071894793116780284259604}, {"parameter": "[9, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36738726338299019318609727091244398995655}, {"parameter": "[9, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 36738725232585591251119075780346791126349}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341224315561589438014597099197}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36738726338299015562276523412478711835248}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36738725232594798012430244750610744872255}, {"parameter": "[9, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36738672158350431076872758408278550845103}, {"parameter": "[9, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738726338308222323587692382742665581154}, {"parameter": "[9, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36738725232585591250959424482794052795940}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341224315401938140461858768788}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738726338299015562116872114925973504839}, {"parameter": "[9, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36738725232585591251123067022075269636848}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341224315565580679743075609696}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738726338299015562280514654207190345747}, {"parameter": "[9, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36738672183659761390744493288498598898740}, {"parameter": "[9, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738672180501869114050041173678148696797}, {"parameter": "[9, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36738672161499116670320641867835679575382}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341224393626189753015229373439}, {"parameter": "[9, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36738672161499116592097055456582889567539}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341224315402603341762439365596}, {"parameter": "[9, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36738672161499116592256225829448897025886}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341224315561773714628446823943}, {"parameter": "[9, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738725233036718719026701993940574740797}, {"parameter": "[9, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341412677742817835555373357645}, {"parameter": "[9, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341224395256513010928006515496}, {"parameter": "[9, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341224315401968852969779494020}, {"parameter": "[9, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36738672158341224315561673373997935855445}, {"parameter": "[10, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266287831257970535831547}, {"parameter": "[10, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266287831257970535831547}, {"parameter": "[10, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266128179960417797501138}, {"parameter": "[10, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266128179960417797501138}, {"parameter": "[10, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266096251655003567327595}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266096251655003567327595}, {"parameter": "[10, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316813890090994640100229147}, {"parameter": "[10, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316813890090994640100229147}, {"parameter": "[10, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266096250297989928854354}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266096250297989928854354}, {"parameter": "[10, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266096251688928562257246}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266096251688928562257246}, {"parameter": "[10, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36719448931086546100392030807374747447389}, {"parameter": "[10, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266100906197411379289995}, {"parameter": "[10, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266096250303644046616346}, {"parameter": "[10, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266096251656569892700949}, {"parameter": "[11, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36721253181599320006032777363095102098929}, {"parameter": "[11, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721253181599320006032776006081463625688}, {"parameter": "[11, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721253181599320006032775734695345475681}, {"parameter": "[11, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721253181599320006065368935277512081923}, {"parameter": "[11, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721253181599320006032775734683811050072}, {"parameter": "[11, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721253181599320006032775734695633833380}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2171346944525065171213013548660248651115300}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2171328800665140259009886918933263505201044}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2171328800668353181191707454864761316307447}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2171346961977283556397864168264066302852238}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 36721832995479298098626752723948092908164}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721824204933384669983464852391611900427}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721824362357395546846704789329650003303}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36721832995479298098626752723948092908164}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721824204933384669983464852391611900427}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721824362357395546846704789329650003303}, {"parameter": "[6, 2, 6, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721824204997616896384609797574554676524}, {"parameter": "[6, 2, 6, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721824204924208637640444145936905789556}, {"parameter": "[6, 2, 6, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703680345072704693257980070589408762268}, {"parameter": "[6, 2, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703680344999296434513814418951759875300}, {"parameter": "[6, 2, 6, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36722202202079385900616414583553411883071}, {"parameter": "[6, 2, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36722202202005977641872248931915762996103}, {"parameter": "[6, 2, 7, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243383038619516448569660965504203734000}, {"parameter": "[6, 2, 7, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243383041832438630390196897002014840403}, {"parameter": "[6, 2, 7, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5261544350762813836546910296307001385194}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2171346632702731544884642495221331161890508}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2171328488842806632681515865494346015976252}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2171347010699813313888874300007310019097055}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2171346632554234617516501900801705852520852}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2171328488694309705313375271074720706606596}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2171347010551316386520733705587684709727399}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36739656396735759239781745145899495586364}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721512536810847036655115418914349672108}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36740034393817528244013549931878352792911}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36739656396735759239781745145899495586364}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721512536810847036655115418914349672108}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36740034393817528244013549931878352792911}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36739656248238831871641150726274186216708}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721512388313919668514520999289040302452}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36740034245320600875872955512253043423255}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36739656248238831871641150726274186216708}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721512388313919668514520999289040302452}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36740034245320600875872955512253043423255}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721513616361876160698209108633587534387}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512536810847036655115418914349672108}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703369756436963957571579381648441620131}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368676885934833528485691929203757852}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721891613443645164930013894612444740934}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721890533892616040886920204893206878655}, {"parameter": "[6, 3, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721513467864948792557614689008278164731}, {"parameter": "[6, 3, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512388313919668514520999289040302452}, {"parameter": "[6, 3, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703369607940036589430984962023132250475}, {"parameter": "[6, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368528389007465387891272303894388196}, {"parameter": "[6, 3, 5, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721891464946717796789419474987135371278}, {"parameter": "[6, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721890385395688672746325785267897508999}, {"parameter": "[6, 3, 6, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512536810847036655115418914349672108}, {"parameter": "[6, 3, 6, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368676885934833528485691929203757852}, {"parameter": "[6, 3, 6, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368680098857015349021623427014864255}, {"parameter": "[6, 3, 6, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721529989029232221505735022732001409046}, {"parameter": "[6, 3, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512388313919668514520999289040302452}, {"parameter": "[6, 3, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368528389007465387891272303894388196}, {"parameter": "[6, 3, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368531601929647208427203801705494599}, {"parameter": "[6, 3, 6, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721529840532304853365140603106692039390}, {"parameter": "[6, 4, 2, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2171346640108951582790166459656851144305700}, {"parameter": "[6, 4, 2, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2171346640108951582790166459656851144305700}, {"parameter": "[6, 4, 2, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2171346632551584171413038816788637837344444}, {"parameter": "[6, 4, 2, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2171346632551584171413038816788637837344444}, {"parameter": "[6, 4, 2, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2171346632554289861439554387526279205344151}, {"parameter": "[6, 4, 2, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2171346632554289861439554387526279205344151}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36739663802955797145305709581419478001556}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36739663802955797145305709581419478001556}, {"parameter": "[6, 4, 3, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36739663802955797145305709581419478001556}, {"parameter": "[6, 4, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36739663802955797145305709581419478001556}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36739656245588385768178066713206171040300}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36739656245588385768178066713206171040300}, {"parameter": "[6, 4, 3, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36739656245588385768178066713206171040300}, {"parameter": "[6, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36739656245588385768178066713206171040300}, {"parameter": "[6, 4, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36739656248294075794693637450847539040007}, {"parameter": "[6, 4, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36739656248294075794693637450847539040007}, {"parameter": "[6, 4, 3, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36739656248294075794693637450847539040007}, {"parameter": "[6, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36739656248294075794693637450847539040007}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36739663802955797145305709581419478001556}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36739663802955797145305709581419478001556}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721519943030884942179079854434332087300}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721519943030884942179079854434332087300}, {"parameter": "[6, 4, 4, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36740041800037566149537514367398335208103}, {"parameter": "[6, 4, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36740041800037566149537514367398335208103}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36739656245588385768178066713206171040300}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36739656245588385768178066713206171040300}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721512385663473565051436986221025126044}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512385663473565051436986221025126044}, {"parameter": "[6, 4, 4, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36740034242670154772409871499185028246847}, {"parameter": "[6, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36740034242670154772409871499185028246847}, {"parameter": "[6, 4, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36739656248294075794693637450847539040007}, {"parameter": "[6, 4, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36739656248294075794693637450847539040007}, {"parameter": "[6, 4, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721512388369163591567007723862393125751}, {"parameter": "[6, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512388369163591567007723862393125751}, {"parameter": "[6, 4, 4, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36740034245375844798925442236826396246554}, {"parameter": "[6, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36740034245375844798925442236826396246554}, {"parameter": "[6, 4, 5, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36739663802955797145305709581419478001556}, {"parameter": "[6, 4, 5, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721519943030884942179079854434332087300}, {"parameter": "[6, 4, 5, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721519946243807123999615785932143193703}, {"parameter": "[6, 4, 5, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36739681255174182330156329185237129738494}, {"parameter": "[6, 4, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36739656245588385768178066713206171040300}, {"parameter": "[6, 4, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512385663473565051436986221025126044}, {"parameter": "[6, 4, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512388876395746871972917718836232447}, {"parameter": "[6, 4, 5, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36739673697806770953028686317023822777238}, {"parameter": "[6, 4, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36739656248294075794693637450847539040007}, {"parameter": "[6, 4, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512388369163591567007723862393125751}, {"parameter": "[6, 4, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512391582085773387543655360204232154}, {"parameter": "[6, 4, 5, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36739673700512460979544257054665190776945}, {"parameter": "[6, 5, 2, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 87392138901797805134591583489077679242308}, {"parameter": "[6, 5, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 87391767703727141393456049411334577193508}, {"parameter": "[6, 5, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 87391767703664216327078166622520946488007}, {"parameter": "[6, 5, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 87391767706317186290838879965261087719854}, {"parameter": "[6, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 87373996121423922055508047451811771190331}, {"parameter": "[6, 5, 3, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 87373995041872892931464953762092533328052}, {"parameter": "[6, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 87373624923353258314372513374068669141531}, {"parameter": "[6, 5, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 87373623843802229190329419684349431279252}, {"parameter": "[6, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 87373624923290333247994630585255038436030}, {"parameter": "[6, 5, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 87373623843739304123951536895535800573751}, {"parameter": "[6, 5, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 87373624925943303211755343927995179667877}, {"parameter": "[6, 5, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 87373623846392274087712250238275941805598}, {"parameter": "[6, 5, 4, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 87374003678207717665065537628208787339316}, {"parameter": "[6, 5, 4, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373994887661804236422249756652306331579}, {"parameter": "[6, 5, 4, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373995045085815113285489693590344434455}, {"parameter": "[6, 5, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373632480137053923930003550465685290516}, {"parameter": "[6, 5, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373623689591140495286715678909204282779}, {"parameter": "[6, 5, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373623847015151372149955615847242385655}, {"parameter": "[6, 5, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373632480074128857552120761652054585015}, {"parameter": "[6, 5, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373623689528215428908832890095573577278}, {"parameter": "[6, 5, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373623846952226305772072827033611680154}, {"parameter": "[6, 5, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373632482727098821312834104392195816862}, {"parameter": "[6, 5, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373623692181185392669546232835714809125}, {"parameter": "[6, 5, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 87373623849605196269532786169773752912001}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6241631204532752730942273598646787842500}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6241578155096475122556958917150871910452}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6241632309729341847783634321177952757751}, {"parameter": "[7, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 365029628542405858037026029556264907}, {"parameter": "[7, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 365026472126198669995604137382395300}, {"parameter": "[7, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 365029628542405858037026029556264907}, {"parameter": "[7, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 365026472126198669995604137382395300}, {"parameter": "[7, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 365026472126198669995604137382395300}, {"parameter": "[7, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 311977035848590284680922641466463252}, {"parameter": "[7, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 366131668715315511356326668547310551}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6241631201890037621198897030102909760499}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6241631201890037621198897030102909760499}, {"parameter": "[7, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6241631201881044424422910819125852324148}, {"parameter": "[7, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6241631201881044424422910819125852324148}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 418073265688697311933717089420245347}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 418073265688697311933717089420245347}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 418073265688697311933717089420245347}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 418073265688697311933717089420245347}, {"parameter": "[7, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 418073256695500535947506112362808996}, {"parameter": "[7, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 418073256695500535947506112362808996}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 418073256695500535947506112362808996}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 418073256695500535947506112362808996}, {"parameter": "[7, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 418073265688697311933717089420245347}, {"parameter": "[7, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 365023829411088926619035593504313299}, {"parameter": "[7, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 419178462277814153294439620585160598}, {"parameter": "[7, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 418073256695500535947506112362808996}, {"parameter": "[7, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 365023820417892150632824616446876948}, {"parameter": "[7, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 419178453284617377308228643527724247}, {"parameter": "[7, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12482844333661978585921160568140731552852}, {"parameter": "[7, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12482844330505370885602075992107819736451}, {"parameter": "[7, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12482844330505393817875472245907623536151}, {"parameter": "[7, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6241631205037629662034197255127242037700}, {"parameter": "[7, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6241631205037629662034197255127242037700}, {"parameter": "[7, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6241631201881021961715112679094330221299}, {"parameter": "[7, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6241631201881021961715112679094330221299}, {"parameter": "[7, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6241631201881044893988508932894134020999}, {"parameter": "[7, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6241631201881044893988508932894134020999}, {"parameter": "[7, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6241631205037629662034197255127242037700}, {"parameter": "[7, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6241578155601352053648882573631326105652}, {"parameter": "[7, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6241632310234218778875557977658406952951}, {"parameter": "[7, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6241631201881021961715112679094330221299}, {"parameter": "[7, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6241578152444744353329797997598414289251}, {"parameter": "[7, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6241632307077611078556473401625495136550}, {"parameter": "[7, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6241631201881044893988508932894134020999}, {"parameter": "[7, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6241578152444767285603194251398218088951}, {"parameter": "[7, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6241632307077634010829869655425298936250}, {"parameter": "[8, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18522184445920565432562067427620668199}, {"parameter": "[8, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 18522184445920565432562067427620668199}, {"parameter": "[8, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 318782329970611988833763688095940247}, {"parameter": "[8, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 318782329970611988833763688095940247}, {"parameter": "[8, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36725586561848516155028775875584270103}, {"parameter": "[8, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36725586561847979727580910289623947303}, {"parameter": "[8, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 18522184445898562711300472136059542151}, {"parameter": "[8, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 18522184445898562711300472136059542151}, {"parameter": "[8, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 18522184445898026283852606550099219351}, {"parameter": "[8, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 18522184445898026283852606550099219351}, {"parameter": "[9, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 418422951817119661020032954883773406}, {"parameter": "", "name": "JohnsonLB", "value": 30239653613802295360754562970591328170054399319}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 257050588846186003620547331397780495361414}], "request": [7, 17, 4, 6], "liftedmrdsizebound": 30242151498721686765528499594388030232472914924, "comments": "", "equal_bound_constraints": []}