{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "", "name": "singleton", "value": 141230893062004209582620066337890070427615400864964870789817406400}, {"parameter": "7", "name": "ilp_2", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "9", "name": "ilp_3", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "", "name": "anticode", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "", "name": "linear_programming_bound", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "", "name": "sphere_packing", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "1", "name": "ilp_1", "value": 121055071836422817925005858346550980032427586164863606739302205178}, {"parameter": "2", "name": "ilp_1", "value": 121055071836422817925005858346550980032427586164863606739383584785}, {"parameter": "3", "name": "ilp_1", "value": 121055071836422817925005858346550980032427586168214915060212247819}, {"parameter": "4", "name": "ilp_1", "value": 121055071836422817925005858346550980033534390571882881308094002023}, {"parameter": "5", "name": "ilp_1", "value": 121055071836422817925005858425206512378423377376180027584168645066}, {"parameter": "6", "name": "ilp_1", "value": 121055071836422818080988305336064063798212630938620534984786471097}, {"parameter": "10", "name": "ilp_4", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "11", "name": "ilp_4", "value": 41521890791831003653222434551220271426398379742637130227865349545855}, {"parameter": "12", "name": "ilp_4", "value": 41521890791831003653222434551220271426398379742637130227865349545855}, {"parameter": "13", "name": "ilp_4", "value": 41521890791831003653222434299522560667538534052042891680469839391038}, {"parameter": "14", "name": "ilp_4", "value": 41521890791831003653222434299522434237819174084755764370766450416241}, {"parameter": "15", "name": "ilp_4", "value": 41521890791831003653222434299522434237818227077079947726078045822984}, {"parameter": "16", "name": "ilp_4", "value": 41521890791831003653222434299522555207299044542833116992977098404510}, {"parameter": "17", "name": "ilp_4", "value": 5931697676596194986322922831901148348195458554105999015024824644455}, {"parameter": "18", "name": "ilp_4", "value": 847385505793595683810893038249509065128408649417733629260339764165}, {"parameter": "", "name": "johnson_1", "value": 121055071836422817925005858346550980032427586164863606739302205178}, {"parameter": "", "name": "johnson_2", "value": 847385505793595683810893038249509065128408649417733629260339764165}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 41521890791831003653222434551220271426398379742637130227865349545855}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 41521890791831003653222434551220271426398379742637130227865349545855}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 41521890791831003653222434299522560667538534052042891680469839391038}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 41521890791831003653222434299522434237819174084755764370766450416241}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 41521890791831003653222434299522434237818227077079947726078045822984}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 41521890791831003653222434299522555207299044542833116992977098404510}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 5931697676596194986322922831901148348195458554105999015024824644455}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 847385505793595683810893038249509065128408649417733629260339764165}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 121055072256227900213514193111286538570889155555749063768463434950}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 121055072623557013985803453808600843942369544947541287050746360521}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 121055075194860872810675980416447678776811883299722288580160119705}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 121055093193990943108850055472371846286280024745837761167472358949}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 121055219188051303056770291338245123765952418731886569053556393066}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 121056101153817410104014658475332751301958332596339469908740496626}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 121062275274037291317438607957094625450821793398807552463158970403}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 121105511755901577478537840433199407074836989454678306721625029161}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 121409034024926161144856390522373653005067218392727925014500224963}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 123577050186175024657635666134280803236279867640375745948956581045}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 141230893062004209582620066337890070427615400864964870789817406400}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 121055071836422818080988305336064063798212630938620534984786471097}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 121055071836422817925005858425206512378423377376180027584168645066}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 121055071836422817925005858346550980033534390571882881308094002023}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 121055071836422817925005858346550979993772235361806268422845745008}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 121055071836422817925005858346550979993772235361247550869745137295}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 121055071836422817925005858346550979993772235361247550869433837609}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 41521896965546368154782320953979158815714958020777910010901687166320}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 41521940181553919736517645945399505123468896167363810644783253230488}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 41522242696125636518896661658003082557811099023058510359261280896927}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 41524360421558906425305514247397901308530090548449086274243978332082}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 41539190550235872459319732444346335750291317663849912219317594121580}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 41643298796912115076650185928384008526652701595768895941469249890091}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 42386929130267778426476718322605289864562342974899582819422439984774}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 48442204698869551020727053080024292969884004201593285092853285278206}, {"parameter": "", "name": "improved_johnson", "value": 121055071836422817925005858346550980032427586164863606739302205161}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 5931698684548335311931710020209074262337731129009130768951367057115}], "known_codes": [], "upper_bound": 121055071836422817925005858346550979993772235361247550869433837609, "classified": false, "lower_bound": 118231777761062718962220892216025575894811105121482204632859666129, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 118181386580595879976868414312001964434038548836769923458287039207}, {"parameter": "", "name": "sphere_covering", "value": 125994038568097314959943997826068420660792210195409100508393}, {"parameter": "", "name": "graham_sloane", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "", "name": "multicomponent", "value": 118181386580770131475102141829675692281063128001332854413201845154}, {"parameter": "", "name": "construction_ST_B", "value": 118230649342602739384811576212562806053129481507410329868841219312}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 118181387078866728563108747579596296393554684337458593277416975220}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 118230629323446004043243862379073070256764435325104655242935460384}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 118230649342602739384811883202614858050196253721995345292223930725}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 118231777761062718962220892216025575894811105121482204632859666129}, {"parameter": "", "name": "two_pivot_block_construction", "value": 118230628825004446718348349936783253111548281757938989957419892736}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 7035164366373109359343474422305431504447153050977760177672001}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 118230649342777063487836197729189552935672313049101078765671320728}, {"parameter": "(11,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 118181390068483369532947763235682795634758578057671183284125761309}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 118181390068483369532947763235683702526707862059158531710122268851}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 118181390068483369532947763235682811545143653215592013958266050915}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 118181390068483369532947763235682792983185507580052557311717422451}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 118181390068483369532947763235682792983027732198576257369185663715}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 143513977398386301163217308599049361661671719392869302547977}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 143513977398386301163217308617611319807307258849515851176441}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 143513977398386301163217308728984015333412704664234833203683}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 143513977398386301163217308599103320842327636658731647166083}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 143513977398386301163217308599049203895677164884710441810883}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1025452845851838644577507687273723017990242043608551091918789}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1025452845851838644577507687273777134936892515382572297273989}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1025452845851838644577507687403657829427977583388075483311589}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1025452845851838644577507687292285133901872137573356501284347}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1025452845851838644577507687273723175756236598116709952655883}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 7055655139722154056892398248830707920043722872277438369525321}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 7055655139722154056892398248830708077819104348577380901284057}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 7055655139722154056892398248849270035964739888034027449912521}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 7055655139722154056892398249740251600173583454551779306130457}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 7055655139722154056892398248833359650889581967203353309622915}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 118181390068483369532947763235682792983027732198017711505102379708}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 143513977398386301163217308599049203886289684547062687505234}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 1025452845851838644577507687273723017980854563270903337613140}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 7055655139722154056892398248830707920043722313731574286241314}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 118181390068483369532947763235682792983027732198017711505102379708}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 143513977398386301163217308599049203886289684547062687505234}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 1025452845851838644577507687273723017980854563270903337613140}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 7055655139722154056892398248830707920043722313731574286241314}, {"parameter": "8", "name": "linkage_GLT", "value": 118181386580595879976868414312001964434038548836769956802190030908}, {"parameter": "9", "name": "linkage_GLT", "value": 143503601609868434285603076356671071740077383739246072524150}, {"parameter": "10", "name": "linkage_GLT", "value": 1025452816206945306797313351767242204419505885721174142469044}, {"parameter": "11", "name": "linkage_GLT", "value": 7055156868873567816559130654498748403908221625061755156305302}, {"parameter": "8", "name": "improved_linkage", "value": 118181386580770217616326194472437908450290223952044100945016313653}, {"parameter": "9", "name": "improved_linkage", "value": 143503601610080126502861504609864339659142667725039527198452}, {"parameter": "10", "name": "improved_linkage", "value": 1025452816206945306834034858812658205384199541993372907629314}, {"parameter": "11", "name": "improved_linkage", "value": 7055156868873567816559130660868692909496194733342735704148569}, {"parameter": "12", "name": "improved_linkage", "value": 7035223742649777168041809120712395201415496238992060946622157}, {"parameter": "13", "name": "improved_linkage", "value": 7035083197650940824724669638519610140538045516939091492471757}, {"parameter": "14", "name": "improved_linkage", "value": 7035142995369366123085221463266659143709665682097563896620569}, {"parameter": "15", "name": "improved_linkage", "value": 7035151537910942639588225157084532268986078591025174573347572}, {"parameter": "16", "name": "improved_linkage", "value": 7035152758274236691012140672680848097499892813695082772588004}, {"parameter": "17", "name": "improved_linkage", "value": 1005021798283850526661290500831672956207693649674408055575247}, {"parameter": "8,0", "name": "generalized_linkage", "value": 118181390068483369532947763235682792983027732198017711505102379708}, {"parameter": "8,1", "name": "generalized_linkage", "value": 118181386651779445480453197178050733074858677365776364557372581110}, {"parameter": "8,2", "name": "generalized_linkage", "value": 118181386582049086743288396474423049858761773197198174650974442661}, {"parameter": "8,3", "name": "generalized_linkage", "value": 118181386580625527142753650258029842765684667451202324188097602475}, {"parameter": "8,4", "name": "generalized_linkage", "value": 118181386580596483299478324963871739458110095749034174058295479478}, {"parameter": "8,5", "name": "generalized_linkage", "value": 118181386580595892043324798042412396450309935557957113685538913778}, {"parameter": "8,6", "name": "generalized_linkage", "value": 118181386580770217616326194472437908450290223952044100945016313653}, {"parameter": "9,0", "name": "generalized_linkage", "value": 143513977398386301163217308599049203886289684547062687505234}, {"parameter": "9,1", "name": "generalized_linkage", "value": 143503810337113485647898742744856414816963347157535705499750}, {"parameter": "9,2", "name": "generalized_linkage", "value": 143503602216899560661343929210269726297139730298802511360352}, {"parameter": "9,3", "name": "generalized_linkage", "value": 143503601611637539040586199151334411874258165223498938545103}, {"parameter": "9,4", "name": "generalized_linkage", "value": 143503601609873577125527900913925392606493034092561478802517}, {"parameter": "9,5", "name": "generalized_linkage", "value": 143503601609868448974205894523071457617539892618752130747649}, {"parameter": "9,6", "name": "generalized_linkage", "value": 143503601610080126502861504609864339659142667725039527198452}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1025452845851838644577507687273723017980854563270903337613140}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1025452816295431290573159927121666447981591532457484899199228}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1025452816207198952985277400528171479765746685925409889489544}, {"parameter": "10,3", "name": "generalized_linkage", "value": 1025452816206945412103141446360151297912490236509568531626946}, {"parameter": "10,4", "name": "generalized_linkage", "value": 1025452816206945306841044240358749676784405843238971545574897}, {"parameter": "10,5", "name": "generalized_linkage", "value": 1025452816206945306797331193981802356332182180747688651462711}, {"parameter": "10,6", "name": "generalized_linkage", "value": 1025452816206945306834034858812658205384199541993372907629314}, {"parameter": "11,0", "name": "generalized_linkage", "value": 7055655139722154056892398248830707920043722313731574286241314}, {"parameter": "11,1", "name": "generalized_linkage", "value": 7055156868873603920387605653842693522169946008955405371454198}, {"parameter": "11,2", "name": "generalized_linkage", "value": 7055156868873567831914879775219349710141253081857691956189086}, {"parameter": "11,3", "name": "generalized_linkage", "value": 7055156868873567816565414373161948286924978168632826859457002}, {"parameter": "11,4", "name": "generalized_linkage", "value": 7055156868873567816559131026234260665275968659014889687135204}, {"parameter": "11,5", "name": "generalized_linkage", "value": 7055156868873567816559130654520414513495934969678354401336933}, {"parameter": "11,6", "name": "generalized_linkage", "value": 7055156868873567816559130660868692909496194733342735704148569}, {"parameter": "12,1", "name": "generalized_linkage", "value": 7035223742736463195143575442798993190532438677652993879762116}, {"parameter": "12,2", "name": "generalized_linkage", "value": 7035223742649777168042704134355463473454712134184610832722800}, {"parameter": "12,3", "name": "generalized_linkage", "value": 7035223742649777168041809175054844841763947557577953094719404}, {"parameter": "12,4", "name": "generalized_linkage", "value": 7035223742649777168041809120715562775034664921953221753647204}, {"parameter": "12,5", "name": "generalized_linkage", "value": 7035223742649777168041809120712394122761877495574124105225974}, {"parameter": "12,6", "name": "generalized_linkage", "value": 7035223742649777168041809120712395201415496238992060946622157}, {"parameter": "13,2", "name": "generalized_linkage", "value": 7035083197650940825031659690571607207310068424076315814534067}, {"parameter": "13,3", "name": "generalized_linkage", "value": 7035083197650940824724669638520062617701064599700403808307455}, {"parameter": "13,4", "name": "generalized_linkage", "value": 7035083197650940824724669638519610144452558657165137952201755}, {"parameter": "13,5", "name": "generalized_linkage", "value": 7035083197650940824724669638519610140537885875882886858143454}, {"parameter": "13,6", "name": "generalized_linkage", "value": 7035083197650940824724669638519610140538045516939091492471757}, {"parameter": "14,3", "name": "generalized_linkage", "value": 7035142995369366123085221463288830528541577762196897662981469}, {"parameter": "14,4", "name": "generalized_linkage", "value": 7035142995369366123085221463266659143709670338546004273422469}, {"parameter": "14,5", "name": "generalized_linkage", "value": 7035142995369366123085221463266659143709665682069874206509668}, {"parameter": "14,6", "name": "generalized_linkage", "value": 7035142995369366123085221463266659143709665682097563896620569}, {"parameter": "15,4", "name": "generalized_linkage", "value": 7035151537910942639588225157084532268986111186397763433412072}, {"parameter": "15,5", "name": "generalized_linkage", "value": 7035151537910942639588225157084532268986078591025174568423471}, {"parameter": "15,6", "name": "generalized_linkage", "value": 7035151537910942639588225157084532268986078591025174573347572}, {"parameter": "16,5", "name": "generalized_linkage", "value": 7035152758274236691012140672680848097499892813695082773548803}, {"parameter": "16,6", "name": "generalized_linkage", "value": 7035152758274236691012140672680848097499892813695082772588004}, {"parameter": "17,6", "name": "generalized_linkage", "value": 1005021798283850526661290500831672956207693649674408055575247}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 118181390068483369532947763235682792983027732198017711505102379708}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 118181386651779445480453197178050733074858677365776364557372581110}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 118181386582049086743288396474423049858761773197198174650974442661}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 118181386580625527142753650258029842765684667451202324188097602475}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 118181386580596483299478324963871739458110095749034174058295479478}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 118181386580595892043324798042412396450309935557957113685538913778}, {"parameter": "[8, 11],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 118181386580770217616326194472437908450290223952044100945016313653}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 143513977398386301163217308599049203886289684547062687505234}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 143503810337113485647898742744856414816963347157535705499750}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 143503602216899560661343929210269726297139730298802511360352}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 143503601611637539040586199151334411874258165223498938545103}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 143503601609873577125527900913925392606493034092561478802517}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 143503601609868448974205894523071457617539892618752130747649}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 143503601610080126502861504609864339659142667725039527198452}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1025452845851838644577507687273723017980854563270903337613140}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1025452816295431290573159927121666447981591532457484899199228}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1025452816207198952985277400528171479765746685925409889489544}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1025452816206945412103141446360151297912490236509568531626946}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1025452816206945306841044240358749676784405843238971545574897}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1025452816206945306797331193981802356332182180747688651462711}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1025452816206945306834034858812658205384199541993372907629314}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7055655139722154056892398248830707920043722313731574286241314}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7055156868873603920387605653842693522169946008955405371454198}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7055156868873567831914879775219349710141253081857691956189086}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7055156868873567816565414373161948286924978168632826859457002}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7055156868873567816559131026234260665275968659014889687135204}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7055156868873567816559130654520414513495934969678354401336933}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7055156868873567816559130660868692909496194733342735704148569}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7035223742736463195143575442798993190532438677652993879762116}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7035223742649777168042704134355463473454712134184610832722800}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035223742649777168041809175054844841763947557577953094719404}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035223742649777168041809120715562775034664921953221753647204}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035223742649777168041809120712394122761877495574124105225974}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035223742649777168041809120712395201415496238992060946622157}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7035083197650940825031659690571607207310068424076315814534067}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035083197650940824724669638520062617701064599700403808307455}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035083197650940824724669638519610144452558657165137952201755}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035083197650940824724669638519610140537885875882886858143454}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035083197650940824724669638519610140538045516939091492471757}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035142995369366123085221463288830528541577762196897662981469}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035142995369366123085221463266659143709670338546004273422469}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035142995369366123085221463266659143709665682069874206509668}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035142995369366123085221463266659143709665682097563896620569}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035151537910942639588225157084532268986111186397763433412072}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035151537910942639588225157084532268986078591025174568423471}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035151537910942639588225157084532268986078591025174573347572}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274236691012140672680848097499892813695082773548803}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274236691012140672680848097499892813695082772588004}, {"parameter": "[17, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1005021798283850526661290500831672956207693649674408055575247}, {"parameter": "[8, 2, 9],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 1004525386123595381458788138234828098541307971159916484616687}, {"parameter": "[8, 2, 9],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 1004525386136158256524731811054953583198666619248987079616787}, {"parameter": "[8, 2, 9],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1008013273010133353038959520835798286074163041907811300563587}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 7035152758286297184998863633303566728545596733057846926796859}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 7031676479498631881750041287027811890536195664811742695752059}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 7031676479511194756815984959847937375193554312900813290752159}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035164366385169853330212669628782078069050735559637511698959}, {"parameter": "[8, 3, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274448278625927811371853884285486727185603555955203}, {"parameter": "[8, 3, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 7031676479486782975377105465096099046276085658939499324910403}, {"parameter": "[8, 3, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499345850443049137916224530933444307028569919910503}, {"parameter": "[8, 3, 8],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035164366373320946957276847697069233808940729687394140857303}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 7035152758877261285781141701076781453953712045672087169630403}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 7031676480089595982532319354801026615944310977425982938585603}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7031676480102158857598263027621152100601669625515053533585703}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035164366976133954112490737401996803477166048173877754532503}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274236693104217374365981305073821077335232126523259}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 7031676479486571389855395028090226467064420009089127895478459}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499134264921338700910351951721778657178198490478559}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035164366373109361435566410691196654597275079837022711425359}, {"parameter": "[8, 4, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274452686700450708396319376033831674428192230955303}, {"parameter": "[8, 4, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 7031676479486787383451628362120564538024430606182087999910503}, {"parameter": "[8, 4, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499350258517572034940690022681789254271158594910603}, {"parameter": "[8, 4, 7],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035164366373325355031799744721534725557285676929982815857403}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7035152787906794146914588809918850569215213454602207694025603}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7031676509119128843665766463643095731205812386356103462980803}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676509131691718731710136463221215863171034445174057980903}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035164396005666815245937846244065918738667457103998278927703}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274236795616706666238860832609069112456533384665603}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7031676479486571492367884319963105994599668044210429153620803}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499134367433827992783231479257026692299499748620903}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035164366373109463948055702564076182132523114958323969567703}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274236693147802616563436237955811219867817870168959}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 7031676479486571389898980270287681399946410151621713639124159}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499134264964923943107806884603768799710784234124259}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035164366373109361479151652888651587479265222369608455071059}, {"parameter": "[8, 5, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274448985165784139680187218696808456923708978777303}, {"parameter": "[8, 5, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 7031676479486783681916961793404432380687407388677604747732503}, {"parameter": "[8, 5, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499346556982905466224557865344766036766675342732603}, {"parameter": "[8, 5, 6],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035164366373321653497133176005402568220262459425499563679403}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035154210777291921663850252799769450585819588413860413800003}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031677931989626618415027906524014612576418520167756182755203}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031677932002189493480971579344140097233777168256826777755303}, {"parameter": "[8, 6, 5],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035165818876164589995199289124984800109273590915650998702103}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274241831268910642307958246738215159562306668100803}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676479486576528020088296032203408728814091316202437056003}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499139403086031968852328893386172739405273032056103}, {"parameter": "[8, 6, 5],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035164366373114499600259678633173596261669162064097253002903}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274236797795968398215222761804892688097749986705703}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676479486571494547146051939467923795491619851645755660903}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499134369613089724759593408452850267940716350661003}, {"parameter": "[8, 6, 5],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035164366373109466127317434540438111328346690599540571607803}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274236693111203352166553011712100776034041516822959}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676479486571389862381005890798173702699707787937285778159}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499134264928324678710923658360058355877007880778259}, {"parameter": "[8, 6, 5],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035164366373109361442552388491768361235554778535832101725059}, {"parameter": "[8, 6, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274448385365348784033822654693306980124973183028305}, {"parameter": "[8, 6, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676479486783082116526437758067816683905911878868951983505}, {"parameter": "[8, 6, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499345957182470110578193301341264559967939546983605}, {"parameter": "[8, 6, 5],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035164366373321053696697820359038004216760982626763767930405}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031747660929277587072256920490491730660305147490864550417603}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031747626557252138874560104658054474808081457147060705865610}, {"parameter": "[8, 7, 4],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031747627172832284881608052813314456337617732158175785148903}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676513255831525678247993706561001157383593900238831979203}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883806077480551177874123745305159903556434987427210}, {"parameter": "[8, 7, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499386223487599126029383726834696178567550066710503}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676513255584812365345286401229723340168743696620470884903}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883559364167648470568792467487945053352816626332910}, {"parameter": "[8, 7, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499139510174696418724052449017481328363931705616203}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676513255579669973775689918589484443252677873470932551703}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883554221776078874086152228591028987529667087999710}, {"parameter": "[8, 7, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499134367783126822241412210120565262540782167283003}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676513255579567113042964427809182320478591547436400126873}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883554118915346148595371926468254901203632555574880}, {"parameter": "[8, 7, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499134264922394096750631907997791176214747634858173}, {"parameter": "[8, 7, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676513255791255144030648473724015835296161353626509729856}, {"parameter": "[8, 7, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883765806946333832641286759983072471009822665177863}, {"parameter": "[8, 7, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676479499345952953381780796546741512608746020937744461156}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274242653409117549088881826469289968100829540923259}, {"parameter": "[8, 8, 3],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152758274236795615581388841771693020990117274076935150403}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478895900982149432561550522396452986164800012843592059}, {"parameter": "[8, 8, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676478895895124355896401303412263004686313973260237819203}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883816452229367102955412633175768433631198872478559}, {"parameter": "[8, 8, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883810594435830942708302499727468582804446266705703}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883564399812831438202895126704298797558373267406159}, {"parameter": "[8, 8, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883558542019295277955784993255998946731620661633303}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883559347048893967707610060247735078931916451242761}, {"parameter": "[8, 8, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883553489255357807460499926799435228105163845469905}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883559244484648473311839259426907011037307644852936}, {"parameter": "[8, 8, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883553386691112313064729125978607160210555039080080}, {"parameter": "[8, 8, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883770934315029321065024986126710514592020623780926}, {"parameter": "[8, 8, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883765076521493160817914852678410663765268018008070}, {"parameter": "[8, 9, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1004525211872097252371429835585831841928338931979637905257145}, {"parameter": "[8, 9, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 1004525211281678003894254922278015871866616398875079709330845}, {"parameter": "[8, 9, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1004525211269331946615796203534896708413935125413337815679245}, {"parameter": "[8, 9, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1004525211269084287452563699022486875268600212734768652607047}, {"parameter": "[8, 9, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1004525211269079249257937825855165440169281421414560702889398}, {"parameter": "[8, 9, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1004525211269079146695800897336462059145537136701168800814620}, {"parameter": "[8, 9, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1004525211269290836783214458566030307232204382653080601284615}, {"parameter": "[9, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 11383798466993458537109091254098315156266261774015149487}, {"parameter": "[9, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 1219762462343766712127493286442411261762055687752021487}, {"parameter": "[9, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 11595549217090327116796207878424479820735099400812297987}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 11383798255420526081970617266545445453000398948030476286}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1219762250770834256989019298889541558496192861767348286}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 11595549005517394661657733890871610117469236574827624786}, {"parameter": "[9, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 11383798255405881438051916910494394598798617517615144687}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756189613070318942838490704294411431352016687}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 11595549005502750017739033534820559263267455144412293187}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11383798260546150561850961874864784048521649780214419887}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1219762255896458736869363907208880154017443693951291887}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11595549010643019141538078499190948712990487407011568387}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 11383798255405844737230421920732564562884159539644556286}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756152912248823953076660668379953453381428286}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 11595549005502713316917538545058729227352997166441704786}, {"parameter": "[9, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 11383798255405882202705288795668655686344977738417664787}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756190377723690828012751791840771652154536787}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 11595549005502750782392405419994820350813815365214813287}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11383800023653915837751180996929221585529586581714579887}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1219764019004224012769583029273317691025380495451451887}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11595550773750784417438297621255386249998424208511728387}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11383798255405845626354691757686972584832982321428495087}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756153801373093790031068690328776235165367087}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 11595549005502714206041808382013137249301819948225643587}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 11383798255405844737283478626203242510732666113260596286}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756152912301880658547338616228460026997468286}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 11595549005502713316970595250529407175201503740057744786}, {"parameter": "[9, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 11383798255405881560612930955612054919495085917779886787}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756189735631332987956151024990879831516758787}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 11595549005502750140300047579938219583963923544577035287}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11384404980458156830801442535056335862689799091842194287}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1220368975808465005819844567400431968185593005579066287}, {"parameter": "[9, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 11596155730555025410488559159382500527158636718639342787}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11383798255406151466532917493530954374393027326960655087}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756459641551319525875050479888821240697527087}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 11595549005503020046220034117857119038861864953757803587}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11383798255405845644931167538233828253896159378222055187}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756153819949569570577924359391953291958927187}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 11595549005502714224618284162559992918364997005019203687}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 11383798255405844737238926014042645355634556055909396286}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756152912257328046386741461130349969646268286}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 11595549005502713316926042638368810020103393682706544786}, {"parameter": "[9, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 11383798255405881456567633406633978388491933948301888189}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756189631586035438978074493987727862038760189}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 11595549005502750036254750030960143052960771575099036689}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1427807168883833403195410741079391781922211820277912682}, {"parameter": "[9, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 1427794827041612936250716238028848208627863095353786287}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219774592703619863440025634922321108829024377632147882}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762250861399396495331131871777535534675652708021487}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219774592598686498741764240779768433321744318031213582}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756466031797069737729224860027395593107087187}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219774592598374271295283446781508993649223111394075582}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756153804350588943730965420354874386469949187}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219774592598373379194803198930720934360810754503115481}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756152912250108695880177361066462029578989086}, {"parameter": "[9, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1219774592598410097797124683185919670610854837253399335}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756189630852430180135376097316506112329272940}, {"parameter": "[9, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 11383800018526161944247227402519031021915349587515545371}, {"parameter": "[9, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762286842841120701930879351642083923464865426741487}, {"parameter": "[9, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762250863592031256507946288678177929842576983021587}, {"parameter": "[9, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756460665799727942072527056621538171138109187}, {"parameter": "[9, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756153801822914286084095756739796118422171389}, {"parameter": "[9, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756152912250057793498024520168975977814169486}, {"parameter": "[9, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1219762250756189631164557406766012065388322585111037554}, {"parameter": "[10, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391323887377988933852674608666633286238051399}, {"parameter": "[10, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391323887377988933852674608666633286238051399}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287201843194576033420766517361077544289399}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287201843194576033420766517361077544289399}, {"parameter": "[10, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184016138445488142406441342687717086599}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184016138445488142406441342687717086599}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391330893721806354101918441611884789950286599}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391330893721806354101918441611884789950286599}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184009774733229148935677331553720924599}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184009774733229148935677331553720924599}, {"parameter": "[10, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184016271087251819101310963954151126699}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184016271087251819101310963954151126699}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1274817053496539915349799717255721737358406134709566599}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1274817053496539915349799717255721737358406134709566599}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184017353811607011080181135777756361799}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184017353811607011080181135777756361799}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184009774797677094330223011414858764699}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184009774797677094330223011414858764699}, {"parameter": "[10, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184016159705721417608423218679007748699}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184016159705721417608423218679007748699}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1274817306193310868855582690101755890997129093211980999}, {"parameter": "[10, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274817306193310868855582690101755890997129093211980999}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287202267597250711563545010935756371641799}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287202267597250711563545010935756371641799}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184017511773493772011213661739445921899}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184017511773493772011213661739445921899}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184009774743559065511087436990951386699}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184009774743559065511087436990951386699}, {"parameter": "[10, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184016141657345151198173058959157580501}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184016141657345151198173058959157580501}, {"parameter": "[10, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274903733538966301145888247336046331281552127705024283}, {"parameter": "[10, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391331036698474137144065351410524161716936199}, {"parameter": "[10, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287202647968551625370986586680638789201899}, {"parameter": "[10, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184017379130228145476987354199076943899}, {"parameter": "[10, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184009774734789725177879905508533294501}, {"parameter": "[10, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1274817053391287184016141530089195816070815244028168452}, {"parameter": "[11, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255947587175561935265389906138665300515}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255941242025418862812200197457832809722}, {"parameter": "[11, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255941220370905453911648085349831375715}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470256312768447524204476067372778137804515}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255941220369804782762189074849779651322}, {"parameter": "[11, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255941220370928462817536891376200935815}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546476518746930457271805209845566107920806115}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255941220434252180357585978206404679715}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255941220369804861023108518159022252122}, {"parameter": "[11, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255941220370909141850446875105431957815}, {"parameter": "[11, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 499494682135561512622480076204951145752749481247213031799}, {"parameter": "[11, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255942306756947796346342699171828001315}, {"parameter": "[11, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255941220435594912502170645708664639815}, {"parameter": "[11, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255941220369804795306091972221176828122}, {"parameter": "[11, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 499494682135546470255941220370906011061323987732535700017}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3477499754400742235829506696412733644021856617992421264004}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3477499754400742235829506696412733644021856617992421264004}, {"parameter": "[8, 2, 7, 2],[0, 6, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220966735438987007160420657895634620788371888190219204}, {"parameter": "[8, 2, 7, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1220966735438987007160420657895634620788371888190219204}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6953778541854459962941415966294992441757275013725222876860}, {"parameter": "[8, 3, 5, 3],[0, 6, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6953778541854457907552795797823967732865457219840252304004}, {"parameter": "[8, 3, 6, 2],[0, 5, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3477499754189156714119069690540154432356206767620991832060}, {"parameter": "[8, 3, 6, 2],[0, 5, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3477499754189156714119069690540154432356206767620991832060}, {"parameter": "[8, 3, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3477499754189154658730449522069129723464388973736021259204}, {"parameter": "[8, 3, 6, 2],[0, 6, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3477499754189154658730449522069129723464388973736021259204}, {"parameter": "[9, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 20328075747127668574883860439466766113553648703367817372}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 49242722934565871840758576724268390298851831784901596522302719}], "request": [7, 19, 4, 8], "liftedmrdsizebound": 118241404481974010777991093594410582552759634968983068944070930850, "comments": "", "equal_bound_constraints": []}