{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "", "name": "singleton", "value": 7906721240160746987619507371870782509541}, {"parameter": "6", "name": "ilp_2", "value": 5559837962890984557458549832601454887775}, {"parameter": "7", "name": "ilp_2", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "9", "name": "ilp_3", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "10", "name": "ilp_3", "value": 22773203190285674976295944754611661572399455}, {"parameter": "", "name": "anticode", "value": 5559837962890984557458549832601454887775}, {"parameter": "", "name": "linear_programming_bound", "value": 5559837962890984557458549832601454887775}, {"parameter": "", "name": "sphere_packing", "value": 1138672376192466547352945425929868872823087}, {"parameter": "1", "name": "ilp_1", "value": 5559828518212562661848122742762388773125}, {"parameter": "2", "name": "ilp_1", "value": 5559828518212562661848122742762392377624}, {"parameter": "3", "name": "ilp_1", "value": 5559828518212562661848122747183330259996}, {"parameter": "4", "name": "ilp_1", "value": 5559828518212562662236007328910548664778}, {"parameter": "5", "name": "ilp_1", "value": 5559828518214195948111255522694726410855}, {"parameter": "11", "name": "ilp_4", "value": 22770727312731103866915151104079474718546260}, {"parameter": "12", "name": "ilp_4", "value": 22770727312731103866915151104079474718546260}, {"parameter": "13", "name": "ilp_4", "value": 22770727312730718985548295578878247357466100}, {"parameter": "14", "name": "ilp_4", "value": 22770727312730718975557239188491472710682937}, {"parameter": "15", "name": "ilp_4", "value": 22770727312730718975557234351232208050467580}, {"parameter": "16", "name": "ilp_4", "value": 22770727312730718985229427212774333412608950}, {"parameter": "17", "name": "ilp_4", "value": 1423320109184065652789223696086857576318722}, {"parameter": "18", "name": "ilp_4", "value": 88957172780321735157479914493051265328463}, {"parameter": "", "name": "johnson_1", "value": 5559828518212562661848122742762388773125}, {"parameter": "", "name": "johnson_2", "value": 88957172780321735157479914493051265328463}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 22770727312731103866915151104079474718546260}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 22770727312731103866915151104079474718546260}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 22770727312730718985548295578878247357466100}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 22770727312730718975557239188491472710682937}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 22770727312730718975557234351232208050467580}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 22770727312730718985229427212774333412608950}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1423320109184065652789223696086857576318722}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 88957172780321735157479914493051265328463}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1138672376192466547352945425929868872823087}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1138464692514235852794110948261008974573277}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1138467937620766656358861287726971337146219}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1138480965953278211375234144113759052094221}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1138533082271098057975720626649879381037960}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1138741595265758074518029444328435811855684}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1139576411553196620798046385115562086115496}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 285781049336762553915316569674645149505892}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 72294727468490929295786558709501586602870}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 18977525441696438744533773388786478555094}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 5930399004825330641235682735788780170619}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 5559839205384343358805465343021931278020}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 5559844175362443269866889808542232519481}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 5559864055349478488429912832212419413874}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 5559943576491806698411858751026133002128}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 5560261680169278366591406736382044015420}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 5561534400684057642437199067385208437575}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 5566630180384588772431727376540570132189}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 5587091967483823727275055645955840283266}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 5670217705358753064560932209015219430219}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 6024536268147661373292804905670289136043}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 7906721240160746987619507371870782509541}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 5559828518214195948111255522694726410855}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 5559828518212562662236007328910548664778}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 5559828518212562661848122747183330259996}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 5559828518212562661848122654794750840638}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 5559828518212562661848122654794747562564}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1138672376192466547352945425929868872823087}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1138724503621586842025287618078834044638644}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1138933061073774821887212840108096007982680}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1139768055388768936282255315669767721150383}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1143120311968089801067339060747348836620094}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1156728877222489319293452970063193326630382}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1214565276958068844954493926907564303998451}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 1518206306623763137385502171304707235269201}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 22773528967609356518506360052133529550605202}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 22774832155201343108402648211490590913378160}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 22780046158630183498314559001415042915739540}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 22800922240841441712562959179999184409501387}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 22884748919897454652748342582786455270414083}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 23225294786138627812226697355090322748658345}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 24676871227676108629378276859691759542742839}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 32388362598469313692303194069198582021263845}, {"parameter": "", "name": "improved_johnson", "value": 5559828518212562661848122742762388773117}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 355829963668705434377633083658488307260705}], "known_codes": [], "upper_bound": 5559828518212562661848122654794747562564, "classified": false, "lower_bound": 5444538640116100471600559642931306852352, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 5444517870735015415413993718908291383296}, {"parameter": "", "name": "sphere_covering", "value": 233028156054043898699942642809597}, {"parameter": "", "name": "graham_sloane", "value": 5523202368290233198005815834421}, {"parameter": "", "name": "multicomponent", "value": 5444517870814243577928258337976812044289}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 5444517870849438169775781183352446021632}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 5444538640116100471600559642931306852352}, {"parameter": "", "name": "two_pivot_block_construction", "value": 5444538640001677717238772178487152214016}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 5192325764708825058920778637601791}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 5444517870763921589411496166784637759488}, {"parameter": "(11,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 5444517870763921589411712339566751543296}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5444517870763921589411428612790227202048}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 5444517870763921589411712339566751543296}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5444517870763921589411424109259319308288}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 5444517870763921589411424113588646342656}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1329227995812817455688701336627081216}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329227995812817455675190537744969728}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329227995812817455688701336627081216}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329227995812817455742744532155527168}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329227995812817455670704530303643648}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329227995812817455670968413094309888}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 324520341083032067437759123058688}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 324520341083032067173876332392448}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 324520341083032139213878184275968}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 324520341083032085170682655830016}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 324520341083032071659883773718528}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 324520341083032085170682655830016}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 5273620147866310362032721079463936}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 5273620147866310362028391752429568}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5273620147866310650258699184664576}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 5273620147866310366531922660323328}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5273620147866310650258699184664576}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 5273620147866310434085917070880768}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 5444517870763921589411424109190599831552}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1329227995812817455670686938117599232}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 324520341083032067156284146348032}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 5273620147866310362028323032952832}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 5444517870763921589411424109190599831552}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1329227995812817455670686938117599232}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 324520341083032067156284146348032}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 5273620147866310362028323032952832}, {"parameter": "8", "name": "linkage_GLT", "value": 5444517870735015415413993718908291449857}, {"parameter": "9", "name": "linkage_GLT", "value": 1329227995784915872903807060280344577}, {"parameter": "10", "name": "linkage_GLT", "value": 324518553658426726783156020576257}, {"parameter": "11", "name": "linkage_GLT", "value": 5273505725111948574563878878314497}, {"parameter": "8", "name": "improved_linkage", "value": 5444517870814244012209203317293813755904}, {"parameter": "9", "name": "improved_linkage", "value": 1329227995786124803335125300068483072}, {"parameter": "10", "name": "improved_linkage", "value": 324518553658445173598894784069722}, {"parameter": "11", "name": "improved_linkage", "value": 5273505725111948574845355217782032}, {"parameter": "12", "name": "improved_linkage", "value": 5193571517278032163937323100149413}, {"parameter": "13", "name": "improved_linkage", "value": 5192321996962227675449082748404737}, {"parameter": "14", "name": "improved_linkage", "value": 5192317030454216878665216028573697}, {"parameter": "15", "name": "improved_linkage", "value": 5192316665651014058340809038626817}, {"parameter": "16", "name": "improved_linkage", "value": 5192325319570856239793594211237889}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5444517870763921589411424109190599831552}, {"parameter": "8,1", "name": "generalized_linkage", "value": 5444517870735461522613168202071309678400}, {"parameter": "8,2", "name": "generalized_linkage", "value": 5444517870735022366166985319393014877632}, {"parameter": "8,3", "name": "generalized_linkage", "value": 5444517870735015496008131681565994336250}, {"parameter": "8,4", "name": "generalized_linkage", "value": 5444517870735016624344425037148079521792}, {"parameter": "8,5", "name": "generalized_linkage", "value": 5444517870814244012209203317293813755904}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1329227995812817455670686938117599232}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1329227995786692191034805661249914432}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1329227995784922688591387075930448140}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1329227995784915874133577187414009360}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1329227995784915891350622799043838042}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1329227995786124803335125300068483072}, {"parameter": "10,0", "name": "generalized_linkage", "value": 324520341083032067156284146348032}, {"parameter": "10,1", "name": "generalized_linkage", "value": 324518553658854134585726057072192}, {"parameter": "10,2", "name": "generalized_linkage", "value": 324518553658433491672853310699292}, {"parameter": "10,3", "name": "generalized_linkage", "value": 324518553658426726801925339248117}, {"parameter": "10,4", "name": "generalized_linkage", "value": 324518553658426727064632360043792}, {"parameter": "10,5", "name": "generalized_linkage", "value": 324518553658445173598894784069722}, {"parameter": "11,0", "name": "generalized_linkage", "value": 5273620147866310362028323032952832}, {"parameter": "11,1", "name": "generalized_linkage", "value": 5273505725118788758096489415198272}, {"parameter": "11,2", "name": "generalized_linkage", "value": 5273505725111948574970421275002652}, {"parameter": "11,3", "name": "generalized_linkage", "value": 5273505725111948574563879169119505}, {"parameter": "11,4", "name": "generalized_linkage", "value": 5273505725111948574563883174336165}, {"parameter": "11,5", "name": "generalized_linkage", "value": 5273505725111948574845355217782032}, {"parameter": "12,1", "name": "generalized_linkage", "value": 5193571517387481735248495117354560}, {"parameter": "12,2", "name": "generalized_linkage", "value": 5193571517278032165563493043406620}, {"parameter": "12,3", "name": "generalized_linkage", "value": 5193571517278032163937318804145217}, {"parameter": "12,4", "name": "generalized_linkage", "value": 5193571517278032163937318804194305}, {"parameter": "12,5", "name": "generalized_linkage", "value": 5193571517278032163937323100149413}, {"parameter": "13,2", "name": "generalized_linkage", "value": 5192321996962227681953784357979932}, {"parameter": "13,3", "name": "generalized_linkage", "value": 5192321996962227675449082748408081}, {"parameter": "13,4", "name": "generalized_linkage", "value": 5192321996962227675449082748338177}, {"parameter": "13,5", "name": "generalized_linkage", "value": 5192321996962227675449082748404737}, {"parameter": "14,3", "name": "generalized_linkage", "value": 5192317030454216878665216028853313}, {"parameter": "14,4", "name": "generalized_linkage", "value": 5192317030454216878665216028573697}, {"parameter": "14,5", "name": "generalized_linkage", "value": 5192317030454216878665216028573697}, {"parameter": "15,4", "name": "generalized_linkage", "value": 5192316665651014058340809038626817}, {"parameter": "15,5", "name": "generalized_linkage", "value": 5192316665651014058340809038626817}, {"parameter": "16,5", "name": "generalized_linkage", "value": 5192325319570856239793594211237889}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5444517870763921589411424109190599831552}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5444517870735461522613168202071309678400}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5444517870735022366166985319393014877632}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5444517870735015496008131681565994336250}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5444517870735016624344425037148079521792}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5444517870814244012209203317293813755904}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995812817455670686938117599232}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995786692191034805661249914432}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784922688591387075930448140}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915874133577187414009360}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915891350622799043838042}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1329227995786124803335125300068483072}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324520341083032067156284146348032}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658854134585726057072192}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658433491672853310699292}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726801925339248117}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426727064632360043792}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 324518553658445173598894784069722}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5273620147866310362028323032952832}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5273505725118788758096489415198272}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5273505725111948574970421275002652}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5273505725111948574563879169119505}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5273505725111948574563883174336165}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5273505725111948574845355217782032}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5193571517387481735248495117354560}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5193571517278032165563493043406620}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5193571517278032163937318804145217}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5193571517278032163937318804194305}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5193571517278032163937323100149413}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192321996962227681953784357979932}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192321996962227675449082748408081}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192321996962227675449082748338177}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192321996962227675449082748404737}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192317030454216878665216028853313}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192317030454216878665216028573697}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192317030454216878665216028573697}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192316665651014058340809038626817}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192316665651014058340809038626817}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192325319570856239793594211237889}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 5192404547733370432073593717260288}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192376087131622838127782339964928}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192376087131622838127782339964928}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192404992871339323258372181618688}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192325320779781987350629348016128}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296860178034393404817970720768}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296860178034393404817970720768}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192325765917750878535407812374528}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192325320779781987350629348016128}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296860178034393404817970720768}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296860178034393404817970720768}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192325765917750878535407812374528}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192325319651449992594037204320256}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296859049702398648225827024896}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296859049702398648225827024896}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192325764789418883778815668678656}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192325319570874614480073882861568}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969127020534262505566208}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969127020534262505566208}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192325764708843505664852347219968}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192325319570874614480073882861568}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969127020534262505566208}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969127020534262505566208}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192325764708843505664852347219968}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296874605446818781041246547968}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296865919827913587191910658048}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296865919827913587191910658048}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296867654728708748211380760576}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969109803554362044870656}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969109803554362044870656}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296867654727479265513108615168}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969108574071663772725248}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969108574071663772725248}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296867654746214239962969878528}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969127309046113633988608}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969127309046113633988608}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192297304966819616658623374716928}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192297304966819616658623374716928}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969214633350427397746688}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969214633350427397746688}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969108573808953508130816}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969108573808953508130816}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969108574076066114203648}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969108574076066114203648}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969127025062760058351616}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969127025062760058351616}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192325320005137112995692640104448}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858975913958785349752352768}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969108575408529253756928}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969108573809246993084416}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969108574071732872114176}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858969127020623572140453888}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 79257273022850832100555911168}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 79257273022850832100555911168}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 79257273022850832100555911168}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79256064115477961545090756608}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79256064115477961545090756608}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79256064115477961545090756608}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 79256064115477961545090756608}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 79256064115477961545090756608}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 79256064115477961545090756608}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79256064098260981644630061056}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79256064098260981644630061056}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256064098260981644630061056}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031498946357915648}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031498946357915648}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031498946357915648}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031498946357915648}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031498946357915648}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031498946357915648}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79256070911046022646843731968}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256070911046022646843731968}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031236236093321216}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031236236093321216}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031217475676172288}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031217475676172288}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031503348699394048}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031503348699394048}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 79257813060914469290211176448}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256064097135191085962129408}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031217471667531776}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031217475743346688}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 79256064097031499015457304576}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1788633549606731831010029568}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1788633549606731831010029568}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1788633531160269232277188608}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1788633531160269232277188608}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1788633531160269232277188608}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1788633531160269232277188608}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1788633531160006522012594176}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1788633531160006522012594176}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1788633531159987761595445248}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1788633531159987761595445248}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1788633531159987761595445248}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1788633531159987761595445248}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1788633537820702157649113088}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1788633531159987757586804736}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1788633531159987757300543488}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1788633531159987761662619648}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 114423982195520036100596461568}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 114423982195519754629914718208}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 114423982195519754629914718208}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 114423982195519754625906077696}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 114423982195519754625619816448}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 114423982195519754625619816448}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 56923281001344769710572437504}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5316932270501054556765827333677308160}], "request": [4, 19, 6, 8], "liftedmrdsizebound": 5444548493794049279123585657698627076581, "comments": "", "equal_bound_constraints": []}