{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2042880353039758115797506899680}, {"parameter": "", "name": "singleton", "value": 103741619611085612124067759}, {"parameter": "6", "name": "ilp_2", "value": 69193888126261960296623320}, {"parameter": "8", "name": "ilp_3", "value": 622829375926755523108996006}, {"parameter": "", "name": "anticode", "value": 69193888126261960296623320}, {"parameter": "", "name": "linear_programming_bound", "value": 69193888126261960296623320}, {"parameter": "", "name": "sphere_packing", "value": 2042880353039758115797506899680}, {"parameter": "1", "name": "ilp_1", "value": 69186857259145159193289656}, {"parameter": "2", "name": "ilp_1", "value": 69186857259145159193291063}, {"parameter": "3", "name": "ilp_1", "value": 69186857259145159943889760}, {"parameter": "4", "name": "ilp_1", "value": 69186857259145159943889760}, {"parameter": "5", "name": "ilp_1", "value": 69186857259145159943889760}, {"parameter": "9", "name": "ilp_4", "value": 622259772798685123789010134}, {"parameter": "10", "name": "ilp_4", "value": 622259541284068647539455879}, {"parameter": "11", "name": "ilp_4", "value": 622259541076414508166009454}, {"parameter": "12", "name": "ilp_4", "value": 622259541076383817422434766}, {"parameter": "13", "name": "ilp_4", "value": 622259541076383813914176527}, {"parameter": "14", "name": "ilp_4", "value": 622259541076406737218584122}, {"parameter": "15", "name": "ilp_4", "value": 207588686990077251158458781}, {"parameter": "", "name": "johnson_1", "value": 69186857259145159193289656}, {"parameter": "", "name": "johnson_2", "value": 207588686990077251158458781}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 2042880353039758115797506899680}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 622829375926755523108996006}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 622259772798685123789010134}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 622259541284068647539455879}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 622259541076414508166009454}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 622259541076383817422434766}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 622259541076383813914176527}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 622259541076406737218584122}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 207588686990077251158458781}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 69196229710097965720485122}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 69203255412598339834835740}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 69224341082797558241372117}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 69287675259521570329703279}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 69478375045817224079168171}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 70056825175925975609582903}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 71851447419800158827993349}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 77832905925607276128360521}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 103741619611085612124067759}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 2042880353039758115797506899680}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 69186857259145159943889760}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 69186857259145159943889760}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 69186857259145159943889760}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 69186857259145159193291063}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 69186857259145159193151812}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 622829375926755523108996006}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 623019301534377017982885718}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 623589773984657757952551601}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 625307476891981340840198907}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 630517836487521973347971370}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 646683254747330776842754768}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 700567366384181175324680500}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 934054234760012359481199283}, {"parameter": "", "name": "improved_johnson", "value": 69186857259145159193289650}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 207609783401356730553901714}], "known_codes": [], "upper_bound": 69186857259145159193151812, "classified": false, "lower_bound": 59287645076300512124230423, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 58149737003040059690390169}, {"parameter": "", "name": "sphere_covering", "value": 63308535873831624629905}, {"parameter": "", "name": "graham_sloane", "value": 94914565060462591147363}, {"parameter": "", "name": "multicomponent", "value": 58149846422052067999987309}, {"parameter": "", "name": "construction_ST_B", "value": 58885682131381627167122706}, {"parameter": "", "name": "EF_special", "value": 59021591907098096238648717}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 58164581276900000386318746}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 58891451621700636988544133}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 58885682130998846828486298}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 59021599901810630842384564}, {"parameter": "", "name": "two_pivot_block_construction", "value": 58876608698692412746235904}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 244610417268016819309475}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 58885693210054019368836415}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 58155048091078306268721462}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 58155048091085084577597006}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 58155048091077741409648500}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 58155048091077459109252182}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 79947626411850666193845}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 79947626414382071668971}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 79947626414382071668971}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 79947626411850666193845}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 283796149145198204004462}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 283796149145480504400780}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 283796149152823672349286}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 283796149146045363473742}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 58155048091077458980112019}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 79947626411840205840642}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 283796149145198074864299}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 58155048091077458980112019}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 79947626411840205840642}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 283796149145198074864299}, {"parameter": "7", "name": "linkage_GLT", "value": 58149737003040059690392627}, {"parameter": "8", "name": "linkage_GLT", "value": 79766443076872509863362}, {"parameter": "9", "name": "linkage_GLT", "value": 268951875285257378935723}, {"parameter": "7", "name": "improved_linkage", "value": 58149848582764767268577604}, {"parameter": "8", "name": "improved_linkage", "value": 79766494073090383527981}, {"parameter": "9", "name": "improved_linkage", "value": 268951875308543293959179}, {"parameter": "10", "name": "improved_linkage", "value": 254509219129994674174735}, {"parameter": "11", "name": "improved_linkage", "value": 243401257237250354958985}, {"parameter": "12", "name": "improved_linkage", "value": 243578895800404250085229}, {"parameter": "13", "name": "improved_linkage", "value": 243913329206983793856781}, {"parameter": "14", "name": "improved_linkage", "value": 244024857935473495920346}, {"parameter": "7,0", "name": "generalized_linkage", "value": 58155048091077458980112019}, {"parameter": "7,1", "name": "generalized_linkage", "value": 58150313066506682705950944}, {"parameter": "7,2", "name": "generalized_linkage", "value": 58149798241195956055258179}, {"parameter": "7,3", "name": "generalized_linkage", "value": 58149743620454676971423886}, {"parameter": "7,4", "name": "generalized_linkage", "value": 58149737665990892048030229}, {"parameter": "7,5", "name": "generalized_linkage", "value": 58149848582764767268577604}, {"parameter": "8,0", "name": "generalized_linkage", "value": 79947626411840205840642}, {"parameter": "8,1", "name": "generalized_linkage", "value": 79789823487875307709359}, {"parameter": "8,2", "name": "generalized_linkage", "value": 79767262630380531351186}, {"parameter": "8,3", "name": "generalized_linkage", "value": 79766471219418023476371}, {"parameter": "8,4", "name": "generalized_linkage", "value": 79766444008309110801641}, {"parameter": "8,5", "name": "generalized_linkage", "value": 79766494073090383527981}, {"parameter": "9,0", "name": "generalized_linkage", "value": 283796149145198074864299}, {"parameter": "9,1", "name": "generalized_linkage", "value": 268952135198417194990923}, {"parameter": "9,2", "name": "generalized_linkage", "value": 268951886104984853123124}, {"parameter": "9,3", "name": "generalized_linkage", "value": 268951875407701106273547}, {"parameter": "9,4", "name": "generalized_linkage", "value": 268951875286544777603332}, {"parameter": "9,5", "name": "generalized_linkage", "value": 268951875308543293959179}, {"parameter": "10,1", "name": "generalized_linkage", "value": 254516264706021140225520}, {"parameter": "10,2", "name": "generalized_linkage", "value": 254509219169757142263846}, {"parameter": "10,3", "name": "generalized_linkage", "value": 254509219130518467916827}, {"parameter": "10,4", "name": "generalized_linkage", "value": 254509219129985886175225}, {"parameter": "10,5", "name": "generalized_linkage", "value": 254509219129994674174735}, {"parameter": "11,2", "name": "generalized_linkage", "value": 243401257595678086776339}, {"parameter": "11,3", "name": "generalized_linkage", "value": 243401257237251002349291}, {"parameter": "11,4", "name": "generalized_linkage", "value": 243401257237250352558604}, {"parameter": "11,5", "name": "generalized_linkage", "value": 243401257237250354958985}, {"parameter": "12,3", "name": "generalized_linkage", "value": 243578895800406207713538}, {"parameter": "12,4", "name": "generalized_linkage", "value": 243578895800404250083864}, {"parameter": "12,5", "name": "generalized_linkage", "value": 243578895800404250085229}, {"parameter": "13,4", "name": "generalized_linkage", "value": 243913329206983793857873}, {"parameter": "13,5", "name": "generalized_linkage", "value": 243913329206983793856781}, {"parameter": "14,5", "name": "generalized_linkage", "value": 244024857935473495920346}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58155048091077458980112019}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58150313066506682705950944}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149798241195956055258179}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149743620454676971423886}, {"parameter": "[7, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149737665990892048030229}, {"parameter": "[7, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 58149848582764767268577604}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79947626411840205840642}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79789823487875307709359}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79767262630380531351186}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766471219418023476371}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79766444008309110801641}, {"parameter": "[8, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79766494073090383527981}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 283796149145198074864299}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 268952135198417194990923}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 268951886104984853123124}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 268951875407701106273547}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 268951875286544777603332}, {"parameter": "[9, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 268951875308543293959179}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 254516264706021140225520}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 254509219169757142263846}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 254509219130518467916827}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 254509219129985886175225}, {"parameter": "[10, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 254509219129994674174735}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 243401257595678086776339}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 243401257237251002349291}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 243401257237250352558604}, {"parameter": "[11, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 243401257237250354958985}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 243578895800406207713538}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 243578895800404250083864}, {"parameter": "[12, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 243578895800404250085229}, {"parameter": "[13, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 243913329206983793857873}, {"parameter": "[13, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 243913329206983793856781}, {"parameter": "[14, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 244024857935473495920346}, {"parameter": "[7, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 244134276916979410794567}, {"parameter": "[7, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 239410908955321620993117}, {"parameter": "[7, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 244719836257148331671142}, {"parameter": "[7, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 244025508337934185431549}, {"parameter": "[7, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 239302140376276395630099}, {"parameter": "[7, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 244611067678103106308124}, {"parameter": "[7, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 244024907959392997435065}, {"parameter": "[7, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 239301539997735207633615}, {"parameter": "[7, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 244610467299561918311640}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 244031359077604541707299}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239307991115946751905849}, {"parameter": "[7, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 244616918417773462583874}, {"parameter": "[7, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 244024858225246200349851}, {"parameter": "[7, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 239301490263588410548401}, {"parameter": "[7, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 244610417565415121226426}, {"parameter": "[7, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 244024914159003752729496}, {"parameter": "[7, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 239301546197345962928046}, {"parameter": "[7, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 244610473499172673606071}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 244085064065629003532241}, {"parameter": "[7, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239361696103971213730791}, {"parameter": "[7, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 244670623405797924408816}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 244024860900481532017101}, {"parameter": "[7, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239301492938823742215651}, {"parameter": "[7, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 244610420240650452893676}, {"parameter": "[7, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 244024858262098024684020}, {"parameter": "[7, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239301490300440234882570}, {"parameter": "[7, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 244610417602266945560595}, {"parameter": "[7, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 244024911139403133266283}, {"parameter": "[7, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 239301543177745343464833}, {"parameter": "[7, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 244610470479572054142858}, {"parameter": "[7, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 239849609138469976130424}, {"parameter": "[7, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 239843126931752238998949}, {"parameter": "[7, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239307999702006053860992}, {"parameter": "[7, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 239301517495288316729517}, {"parameter": "[7, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239307975513892514875545}, {"parameter": "[7, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 239301493307174777744070}, {"parameter": "[7, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239307972489208814239458}, {"parameter": "[7, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 239301490282491077107983}, {"parameter": "[7, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 239308023062064191384673}, {"parameter": "[7, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 239301540855346454253198}, {"parameter": "[7, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 244027018663420477479183}, {"parameter": "[7, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 239301737628268554966951}, {"parameter": "[7, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 239301520906530024271314}, {"parameter": "[7, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 239301493127764640726733}, {"parameter": "[7, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 239301490268686236888618}, {"parameter": "[7, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 239301540892486264934367}, {"parameter": "[8, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 290652355644307336197}, {"parameter": "[8, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 290652355644307336197}, {"parameter": "[8, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 290603239170906534930}, {"parameter": "[8, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 290603239170906534930}, {"parameter": "[8, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 290602346976000791451}, {"parameter": "[8, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 290602346976000791451}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 290629992371511816873}, {"parameter": "[8, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 290629992371511816873}, {"parameter": "[8, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 290602324517622464610}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 290602324517622464610}, {"parameter": "[8, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 290602349810756509464}, {"parameter": "[8, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 290602349810756509464}, {"parameter": "[8, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 291372899740470192033}, {"parameter": "[8, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 291372899740470192033}, {"parameter": "[8, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 290602336750453102599}, {"parameter": "[8, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 290602336750453102599}, {"parameter": "[8, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 290602324569469848570}, {"parameter": "[8, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 290602324569469848570}, {"parameter": "[8, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 290602348430052065265}, {"parameter": "[8, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 290602348430052065265}, {"parameter": "[8, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 311404992473137908987}, {"parameter": "[8, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 290602676442894327279}, {"parameter": "[8, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 290602338318119920896}, {"parameter": "[8, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 290602324544216909490}, {"parameter": "[8, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 290602347368141279160}, {"parameter": "[9, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 14967251420670829663344}, {"parameter": "[9, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14967251399059739945946}, {"parameter": "[9, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 14967251397804497561586}, {"parameter": "[9, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14967251512920325837926}, {"parameter": "[9, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14967251397794615947632}, {"parameter": "[9, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 14967251397805793746185}, {"parameter": "[9, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 14967261024622347235986}, {"parameter": "[9, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 14967251397846678401172}, {"parameter": "[9, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 14967251397794687661549}, {"parameter": "[9, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 14967251397805162422708}, {"parameter": "[7, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 9560526415137349049466}, {"parameter": "", "name": "JohnsonLB", "value": 59287645076300512124230423}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2186035570455744084630726}], "request": [3, 16, 4, 7], "liftedmrdsizebound": 59562168117173297545832347, "comments": "", "equal_bound_constraints": []}