{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 21369772545260475331545384574852469714164}, {"parameter": "", "name": "singleton", "value": 75525744222315755534269847164}, {"parameter": "5", "name": "ilp_2", "value": 44838013984134849517806475527}, {"parameter": "6", "name": "ilp_2", "value": 26807348258708686616060475330394324}, {"parameter": "8", "name": "ilp_3", "value": 6515174556481852235227251394772094425}, {"parameter": "9", "name": "ilp_3", "value": 2648175818100539471690784023888667}, {"parameter": "", "name": "anticode", "value": 44838013984134849517806475527}, {"parameter": "", "name": "linear_programming_bound", "value": 44838013984134849517806475527}, {"parameter": "", "name": "sphere_packing", "value": 24526424388388076554611170685486}, {"parameter": "1", "name": "ilp_1", "value": 44838013984134849517806475527}, {"parameter": "2", "name": "ilp_1", "value": 44838013984134849517806475527}, {"parameter": "3", "name": "ilp_1", "value": 44838013984134849517806475527}, {"parameter": "4", "name": "ilp_1", "value": 44838013984134849517806475527}, {"parameter": "10", "name": "ilp_4", "value": 2645754034226785421909736362032381}, {"parameter": "11", "name": "ilp_4", "value": 2645751704060668622639100761320546}, {"parameter": "12", "name": "ilp_4", "value": 2645751703454252428420321710525973}, {"parameter": "13", "name": "ilp_4", "value": 2645751703453976287115740306273334}, {"parameter": "14", "name": "ilp_4", "value": 2645751703454195274991268914438826}, {"parameter": "15", "name": "ilp_4", "value": 294015884590000970010873875747331}, {"parameter": "16", "name": "ilp_4", "value": 32687622945548836181471243159016}, {"parameter": "17", "name": "ilp_4", "value": 3631780416534843611803886744463}, {"parameter": "18", "name": "ilp_4", "value": 403533351261768175024101512687}, {"parameter": "", "name": "johnson_1", "value": 44838013984134849517806475527}, {"parameter": "", "name": "johnson_2", "value": 403533351261768175024101512687}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 21369772545260475331545384574852469714164}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6515174556481852235227251394772094425}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2648175818100539471690784023888667}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 2645754034226785421909736362032381}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 2645751704060668622639100761320546}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 2645751703454252428420321710525973}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 2645751703453976287115740306273334}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 2645751703454195274991268914438826}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 294015884590000970010873875747331}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 32687622945548836181471243159016}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 3631780416534843611803886744463}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 403533351261768175024101512687}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 26807348258708686616060475330394324}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 24526424388388076554611170685486}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 24526516606049325222432462369920}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 24526793263193902582496916009683}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 24527623272076947353983067900843}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 24530113635819326335215799388364}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 24537587762220889740846941222904}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 8176695408230922477291983598606}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2735291401082968781044269200036}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 919230278922859043300213929247}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 314287684746503427169382956392}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 113482081951429211653940467954}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 50419690412017143260179460404}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 44838088774360854448517321526}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 44838313146254678319409357552}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 44838986272878614038060771717}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 44841005751237523118866589814}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 44847065072831162019176756199}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 44865251019856760741009236485}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 44919880798264793385698243055}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 45084420202709250672427611007}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 45583961018358064519225405154}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 47137904493115070094971514522}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 52358853756243192691244254531}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 75525744222315755534269847164}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 21369772545260475331545384574852469714164}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 26807348258708686616060475330394324}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 6515174556481852235227251394772094425}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 24526424388388076554611170685486}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 24548607240837433959714615308930}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 24616234001582593276238198575739}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 24821368503400402654379115880139}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 25457811362725952802574258548954}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 27579286662428773883758531597386}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 36772330329187835802092556180347}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 2648175818100539471690784023888667}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 2649252628472691320642085962793859}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 2652487332590436783744815068018782}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 2662230058904443796783888121338647}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 2691810053872334082236962367210383}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 2783836660231209163895034096825569}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 3093147815853560067436324067238561}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 4467854961017673003571751798888920}, {"parameter": "", "name": "improved_johnson", "value": 44838013984134849517806475525}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 10897040863544414580020757515391}], "known_codes": [], "upper_bound": 44838013984134849517806475525, "classified": false, "lower_bound": 42393314923753431509633199312, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 42391158275216203514294433201}, {"parameter": "", "name": "sphere_covering", "value": 450803948666887971601595}, {"parameter": "", "name": "graham_sloane", "value": 31638961233226848351586}, {"parameter": "", "name": "multicomponent", "value": 42391161229528932941920588993}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 42391158275477649401033189922}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 42393314923753431509633199312}, {"parameter": "", "name": "two_pivot_block_construction", "value": 42393312078603826847037784064}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 523393128384960447666834147}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 42391203770573803717638382287}, {"parameter": "(12,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 42391203770573826312001300767}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 42391203770573803435337985969}, {"parameter": "(12,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 42391203770573803445669199009}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 174449400760743021068967495}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 174449400760745280505259343}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 174449400760742742126215415}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 174449400760743021068967495}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 717898799885297051672109}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 717898799885297051672109}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 717898799885046003195237}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 717898799885297051672109}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 6703335534389956040415537}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 6703335534389704991938665}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6703335534389956040415537}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 6703335534389956040415537}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 58234573221658920434904723}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 58234573221658641492152643}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 58234573221661179871196571}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 58234573221658920434904723}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 523384495330478295020746077}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 523384495330478284689533037}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 523384495330501161352847835}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 523384495330478566989929355}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 42391203770573803435208845806}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 174449400760742738639431014}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 717898799885014622135628}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 6703335534389673610879056}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 58234573221658638005368242}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 523384495330478284560392874}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 42391203770573803435208845806}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 174449400760742738639431014}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 717898799885014622135628}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 6703335534389673610879056}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 58234573221658638005368242}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 523384495330478284560392874}, {"parameter": "7", "name": "linkage_GLT", "value": 42391158275216203524755523180}, {"parameter": "8", "name": "linkage_GLT", "value": 174449211009120179075960454}, {"parameter": "9", "name": "linkage_GLT", "value": 717897987691852588772518}, {"parameter": "10", "name": "linkage_GLT", "value": 6703335531163841662220968}, {"parameter": "11", "name": "linkage_GLT", "value": 58234573192613358939563548}, {"parameter": "12", "name": "linkage_GLT", "value": 523384495069032397821636154}, {"parameter": "7", "name": "improved_linkage", "value": 42391161229679012326410417585}, {"parameter": "8", "name": "improved_linkage", "value": 174449223167403342905442251}, {"parameter": "9", "name": "improved_linkage", "value": 717898037727746695688892}, {"parameter": "10", "name": "improved_linkage", "value": 6703335531186719642512903}, {"parameter": "11", "name": "improved_linkage", "value": 58234573192613369400653526}, {"parameter": "12", "name": "improved_linkage", "value": 523384495069032397826426100}, {"parameter": "13", "name": "improved_linkage", "value": 523374806927307940911496765}, {"parameter": "14", "name": "improved_linkage", "value": 523393125186275251765463530}, {"parameter": "15", "name": "improved_linkage", "value": 58152691465841242889127937}, {"parameter": "16", "name": "improved_linkage", "value": 6461410162872097657847809}, {"parameter": "7,0", "name": "generalized_linkage", "value": 42391203770573803435208845806}, {"parameter": "7,1", "name": "generalized_linkage", "value": 42391159969597881819945337617}, {"parameter": "7,2", "name": "generalized_linkage", "value": 42391158288775930817269385454}, {"parameter": "7,3", "name": "generalized_linkage", "value": 42391158287374486678128704945}, {"parameter": "7,4", "name": "generalized_linkage", "value": 42391161229679012326410417585}, {"parameter": "8,0", "name": "generalized_linkage", "value": 174449400760742738639431014}, {"parameter": "8,1", "name": "generalized_linkage", "value": 174449232179598365386356960}, {"parameter": "8,2", "name": "generalized_linkage", "value": 174449211015320111730285163}, {"parameter": "8,3", "name": "generalized_linkage", "value": 174449211059156073178089150}, {"parameter": "8,4", "name": "generalized_linkage", "value": 174449223167403342905442251}, {"parameter": "9,0", "name": "generalized_linkage", "value": 717898799885014622135628}, {"parameter": "9,1", "name": "generalized_linkage", "value": 717898016781477391898916}, {"parameter": "9,2", "name": "generalized_linkage", "value": 717897987694687544154558}, {"parameter": "9,3", "name": "generalized_linkage", "value": 717897987714730569062185}, {"parameter": "9,4", "name": "generalized_linkage", "value": 717898037727746695688892}, {"parameter": "10,0", "name": "generalized_linkage", "value": 6703335534389673610879056}, {"parameter": "10,1", "name": "generalized_linkage", "value": 6703335531205185167544354}, {"parameter": "10,2", "name": "generalized_linkage", "value": 6703335531163845589977507}, {"parameter": "10,3", "name": "generalized_linkage", "value": 6703335531163852123310946}, {"parameter": "10,4", "name": "generalized_linkage", "value": 6703335531186719642512903}, {"parameter": "11,0", "name": "generalized_linkage", "value": 58234573221658638005368242}, {"parameter": "11,1", "name": "generalized_linkage", "value": 58234573192613413604489556}, {"parameter": "11,2", "name": "generalized_linkage", "value": 58234573192613358945140749}, {"parameter": "11,3", "name": "generalized_linkage", "value": 58234573192613358944353494}, {"parameter": "11,4", "name": "generalized_linkage", "value": 58234573192613369400653526}, {"parameter": "12,0", "name": "generalized_linkage", "value": 523384495330478284560392874}, {"parameter": "12,1", "name": "generalized_linkage", "value": 523384495069032561818265720}, {"parameter": "12,2", "name": "generalized_linkage", "value": 523384495069032397821643534}, {"parameter": "12,3", "name": "generalized_linkage", "value": 523384495069032397821638422}, {"parameter": "12,4", "name": "generalized_linkage", "value": 523384495069032397826426100}, {"parameter": "13,1", "name": "generalized_linkage", "value": 523374806927308432903234737}, {"parameter": "13,2", "name": "generalized_linkage", "value": 523374806927307940911516637}, {"parameter": "13,3", "name": "generalized_linkage", "value": 523374806927307940911494497}, {"parameter": "13,4", "name": "generalized_linkage", "value": 523374806927307940911496765}, {"parameter": "14,2", "name": "generalized_linkage", "value": 523393125186275251765529959}, {"parameter": "14,3", "name": "generalized_linkage", "value": 523393125186275251765463530}, {"parameter": "14,4", "name": "generalized_linkage", "value": 523393125186275251765463530}, {"parameter": "15,3", "name": "generalized_linkage", "value": 58152691465841242889127937}, {"parameter": "15,4", "name": "generalized_linkage", "value": 58152691465841242889127937}, {"parameter": "16,4", "name": "generalized_linkage", "value": 6461410162872097657847809}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391203770573803435208845806}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391159969597881819945337617}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158288775930817269385454}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 42391158287374486678128704945}, {"parameter": "[7, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 42391161229679012326410417585}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 174449400760742738639431014}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 174449232179598365386356960}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 174449211015320111730285163}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 174449211059156073178089150}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 174449223167403342905442251}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 717898799885014622135628}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 717898016781477391898916}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987694687544154558}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 717897987714730569062185}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 717898037727746695688892}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6703335534389673610879056}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6703335531205185167544354}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6703335531163845589977507}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6703335531163852123310946}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6703335531186719642512903}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58234573221658638005368242}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58234573192613413604489556}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58234573192613358945140749}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 58234573192613358944353494}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 58234573192613369400653526}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523384495330478284560392874}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523384495069032561818265720}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523384495069032397821643534}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 523384495069032397821638422}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 523384495069032397826426100}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523374806927308432903234737}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523374806927307940911516637}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 523374806927307940911494497}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 523374806927307940911496765}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523393125186275251765529959}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 523393125186275251765463530}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 523393125186275251765463530}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 58152691465841242889127937}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 58152691465841242889127937}, {"parameter": "[16, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6461410162872097657847809}, {"parameter": "[7, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 6464036211444503289082449}, {"parameter": "[7, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6464036211801121894857039}, {"parameter": "[7, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6464057033448112842143649}, {"parameter": "[7, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6509531559533145047043489}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149769961873033906891625}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149749170216797903770535}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149749170573416509545125}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149769992220407456831735}, {"parameter": "[7, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58195244518305439661731575}, {"parameter": "[7, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149769961873033906891625}, {"parameter": "[7, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149749170216797903770535}, {"parameter": "[7, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149749170573416509545125}, {"parameter": "[7, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149769992220407456831735}, {"parameter": "[7, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58195244518305439661731575}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 523350129016500271361649873}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347646966190814012382413}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347646585965796138469553}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347646595777156804658273}, {"parameter": "[7, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347667417424147751944883}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 523350115507983094631728983}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633457673637282461523}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633077448619408548663}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633087259980074737383}, {"parameter": "[7, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347653908906971022023993}, {"parameter": "[7, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 523350115507983094631728983}, {"parameter": "[7, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633457673637282461523}, {"parameter": "[7, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633077448619408548663}, {"parameter": "[7, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633087259980074737383}, {"parameter": "[7, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347653908906971022023993}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 523349338824455469116873157}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 523349327321631010702335312}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 523349327321069988749348457}, {"parameter": "[7, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 523349327330933537504187117}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347644536949977343718147}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633034125518929180302}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633033564496976193447}, {"parameter": "[7, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347633043428045731032107}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347644530773243380878677}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027948784966340832}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027387763013353977}, {"parameter": "[7, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347633037251311768192637}, {"parameter": "[7, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347644582657808668730225}, {"parameter": "[7, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633079833350254192380}, {"parameter": "[7, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633079272328301205525}, {"parameter": "[7, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347633089135877056044185}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523393125181894772200919151}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 523393125180720540206295501}, {"parameter": "[7, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 523393125180720540206295501}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633803250460283436909}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633802076228288813259}, {"parameter": "[7, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347633802076228288813259}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633028541952971240679}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027367720976617029}, {"parameter": "[7, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347633027367720976617029}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633028562852756940273}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027388620762316623}, {"parameter": "[7, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347633027388620762316623}, {"parameter": "[7, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633078643655659172907}, {"parameter": "[7, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633077469423664549257}, {"parameter": "[7, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347633077469423664549257}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149757804211923857350319}, {"parameter": "[7, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149757804211923857350319}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149737003398643422088553}, {"parameter": "[7, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149737003398643422088553}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149737003047349740632795}, {"parameter": "[7, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149737003047349740632795}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149737003067318865790307}, {"parameter": "[7, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149737003067318865790307}, {"parameter": "[7, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149737053079477773545315}, {"parameter": "[7, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149737053079477773545315}, {"parameter": "[7, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6461081898742301462771301}, {"parameter": "[7, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6461081889598538808131079}, {"parameter": "[7, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6461081889233861197737855}, {"parameter": "[7, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6461081889253900710103809}, {"parameter": "[7, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6461081939265165204783768}, {"parameter": "[8, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 26601058661450025884535}, {"parameter": "[8, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 26600972064031115985069}, {"parameter": "[8, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 26601061909843598899977}, {"parameter": "[8, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 26790723646976128477095}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 239488854454352044389879}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 239299465899196094257737}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299379301777184358271}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299469147589667273179}, {"parameter": "[8, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239489130884722196850297}, {"parameter": "[8, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 239488854454352044389879}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 239299465899196094257737}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299379301777184358271}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299469147589667273179}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239489130884722196850297}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 239302799366599236631635}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299335945217509874767}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299335469842840652995}, {"parameter": "[8, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299425315655323567903}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 239302793189865273792165}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299329768483547035297}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329293108877813525}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299419138921360728433}, {"parameter": "[8, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 239302793189865273792165}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299329768483547035297}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329293108877813525}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299419138921360728433}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 239320503367656416451234}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 239320498257378722317185}, {"parameter": "[8, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 239320498257378722317185}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299334383344535210626}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329273066841076577}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329273066841076577}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299334380520239845816}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329270242545711767}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329270242545711767}, {"parameter": "[8, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 239299334404244320910220}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329293966626776171}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329293966626776171}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 239488804462421501158653}, {"parameter": "[8, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 239488804462421501158653}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299338949695801241947}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299338949695801241947}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329270233381543163}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329270233381543163}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329270242937915225}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329270242937915225}, {"parameter": "[8, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239299329293142253371207}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239299329293142253371207}, {"parameter": "[8, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588901035605524724215}, {"parameter": "[8, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588814402997968391377}, {"parameter": "[8, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588814398573403840381}, {"parameter": "[8, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588814398582534670357}, {"parameter": "[8, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 26588814421450462840341}, {"parameter": "[9, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 110251861771969212633}, {"parameter": "[9, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 109469378628643987107}, {"parameter": "[9, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109469378628643987107}, {"parameter": "[9, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 110281213838644724295}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 110201853103662667887}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419369960337442361}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419369960337442361}, {"parameter": "[9, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 110231205170338179549}, {"parameter": "[9, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 110201853103662667887}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419369960337442361}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419369960337442361}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 110231205170338179549}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 109423645342692243705}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419349918300705413}, {"parameter": "[9, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419349918300705413}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109423642518396878895}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419347094005340603}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419347094005340603}, {"parameter": "[9, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109423642518396878895}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419347094005340603}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419347094005340603}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 109448394330551059809}, {"parameter": "[9, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109448394330551059809}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419347084841171999}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419347084841171999}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419347083549770369}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419347083549770369}, {"parameter": "[9, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419347094397544061}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419347094397544061}, {"parameter": "[9, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 110202188178902841117}, {"parameter": "[9, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419360365322310707}, {"parameter": "[9, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419347083545580077}, {"parameter": "[9, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419347083549949703}, {"parameter": "[9, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109419347094020601489}, {"parameter": "[10, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 113524824538371448233}, {"parameter": "[10, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 113524824538371448233}, {"parameter": "[10, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 113524824538371448233}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 113524801672039346475}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 113524801672039346475}, {"parameter": "[10, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 113524801672039346475}, {"parameter": "[10, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 113524801672039346475}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 113524801672039346475}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 113524801672039346475}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 113524801665501027852}, {"parameter": "[10, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 113524801665501027852}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 113524801661583776241}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 113524801661583776241}, {"parameter": "[10, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 113524801661583776241}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 113524801661583776241}, {"parameter": "[10, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 113524841510960281173}, {"parameter": "[10, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 113524801661580786612}, {"parameter": "[10, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 113524801661578995459}, {"parameter": "[10, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 113524801661583955575}, {"parameter": "[11, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109607668678789234965}, {"parameter": "[11, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109607668678789234965}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109607668668333664731}, {"parameter": "[11, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109607668668333664731}, {"parameter": "[11, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109607668668333664731}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109607668668333664731}, {"parameter": "[11, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109607668668334257408}, {"parameter": "[11, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109607668668328883949}, {"parameter": "[11, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109607668668328883949}, {"parameter": "[12, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109688141955447392427}, {"parameter": "[12, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109688141955442611645}, {"parameter": "[12, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109688141955442611645}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 45601631887609753206966}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 45601631887609753206966}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 45601631887609753206966}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 130279699470927383136}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 130279699470927383136}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 130279699470927383136}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 130279699470927383136}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109488043234924262046}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109488043234924262046}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109488043234924262046}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 45622373535177449783310}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 45622373535177449783310}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 45622373535177449783310}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 45622373535177449783310}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 151021347038623959480}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 151021347038623959480}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 151021347038623959480}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 151021347038623959480}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 151021347038623959480}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 151021347038623959480}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 151021347038623959480}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 151021347038623959480}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 130229690802620838390}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 130229690802620838390}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 130229690802620838390}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 130229690802620838390}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 130229690802620838390}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 130229690802620838390}, {"parameter": "[7, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2612650750493746867632}, {"parameter": "[7, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2612650747669451502822}, {"parameter": "[7, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2612650747669451502822}, {"parameter": "[7, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2591859094257743746542}, {"parameter": "[7, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2591859094257743746542}, {"parameter": "[7, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2591859091433448381732}, {"parameter": "[7, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2591859091433448381732}, {"parameter": "[7, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2591859091433448381732}, {"parameter": "[7, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2591859091433448381732}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 189611883644772922704}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 189611883644772922704}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 223328488822790562}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 223328488822790562}, {"parameter": "[8, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 379000415934390953088}, {"parameter": "[8, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 379000415934390953088}, {"parameter": "[8, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 189611860778440820946}, {"parameter": "[8, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 189611860778440820946}, {"parameter": "[8, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 189611860778440820946}, {"parameter": "[8, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 189611860778440820946}, {"parameter": "[9, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1565705077968515598}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 19384939765857262709315709}], "request": [3, 19, 6, 7], "liftedmrdsizebound": 42395119214984350579196320969, "comments": "", "equal_bound_constraints": []}