{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "", "name": "singleton", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "5", "name": "ilp_2", "value": 1430439749471773741278053246836102458152685246}, {"parameter": "6", "name": "ilp_2", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "8", "name": "ilp_3", "value": 798875037925854097918750242504356573615959908209727068964}, {"parameter": "9", "name": "ilp_3", "value": 374981222780868641657754085477654260512141397069053}, {"parameter": "", "name": "anticode", "value": 1430439749471773741278053246836102458152685246}, {"parameter": "", "name": "linear_programming_bound", "value": 1430439749471773741278053246836102458152685246}, {"parameter": "", "name": "sphere_packing", "value": 5208074677648610096832140585244383402384596089705}, {"parameter": "1", "name": "ilp_1", "value": 1430439740146367920555923003986416956675756166}, {"parameter": "2", "name": "ilp_1", "value": 1430439740146367920555923003986416973704932864}, {"parameter": "3", "name": "ilp_1", "value": 1430439740146367920555923003986416973704932864}, {"parameter": "4", "name": "ilp_1", "value": 1430439740146367929088483669099969232020447807}, {"parameter": "10", "name": "ilp_4", "value": 374979971146002923445703308919011865232294245660509}, {"parameter": "11", "name": "ilp_4", "value": 374979971144799968781269847202029818620767543739013}, {"parameter": "12", "name": "ilp_4", "value": 374979971144799968487877728785983533647314452351602}, {"parameter": "13", "name": "ilp_4", "value": 374979971144799968487877588889988965926460218778082}, {"parameter": "14", "name": "ilp_4", "value": 374979971144799968487877724289754531727381367731233}, {"parameter": "15", "name": "ilp_4", "value": 5859070414270331879704287564099839094066864732378}, {"parameter": "16", "name": "ilp_4", "value": 91548144050122171829512648301864190133325828671}, {"parameter": "", "name": "johnson_1", "value": 1430439740146367920555923003986416956675756166}, {"parameter": "", "name": "johnson_2", "value": 91548144050122171829512648301864190133325828671}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 798875037925854097918750242504356573615959908209727068964}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 374981222780868641657754085477654260512141397069053}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 374979971146002923445703308919011865232294245660509}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 374979971144799968781269847202029818620767543739013}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 374979971144799968487877728785983533647314452351602}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 374979971144799968487877588889988965926460218778082}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 374979971144799968487877724289754531727381367731233}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 5859070414270331879704287564099839094066864732378}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 91548144050122171829512648301864190133325828671}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 5208074677648610096832140585244383402384596089705}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5208074711601279643147390382176399097519317286509}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 5208074983222651950544502346022391001050613585174}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 5208077156194650370214071244552277161292658849510}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 5208094540035915447629262047299412852759675128830}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 5208233614943937400694590363633024936111205866789}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 651165865009908449372465403066352362415132773209}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 81535376816884697568398262082997381063094133524}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 10333475489462836089440663503444306321559632340}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1430439749471773741278053246836102458152685246}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1430439750783123916939949602187983272482693132}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1430439761273925400242738323793922500135538734}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1430439845200342259152889833179163851761723498}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1430440516611996649808290006645721995067501207}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1430445887925681092986110672856866068500153240}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1430488859743952916572276289682166548613790939}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1430832718073538638100973094675321766447429687}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1433588957339082168101055661797051894945903874}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1455988176120791320906108668332580891646682656}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1430439749471773741278053246836102458152685246}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1430439740146367929088483669099969232020447807}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1430439740146367920555923003986416973704932864}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1430439740146367920555923003986416973704932864}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1430439740146367920555923003986416956675756166}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 798875037925854097918750242504356573615959908209727068964}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 5208074677648610096832140585244383402384596089705}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 5208091789916346388685382138134879315917036848978}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 5208230865214251815357215848588666322494511841932}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 5209343735049989456688741270938766865476221450905}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5218263844127082736698839755274754030502545085570}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 5290739730371081193702453326005534158755841054163}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 5952082191740081289300713153122071193816641908727}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 374981222780868641657754085477654260512141397069053}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 374981398792096218350395150070878772145737355281214}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 374982806887277797337329822326096527487565451742756}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 374994071991842686162588914458909892997258151581360}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 375084214792907368972126609063857691557676178338190}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 375806765682610803763715670819786951309882469943623}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 381678746084760160724350738069950844546731426685157}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 435352316509302207932941670577738326850779860686473}, {"parameter": "", "name": "improved_johnson", "value": 1430439740146367920555923003986416956675756145}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 732385195372449957821814855662884973848280900102}], "known_codes": [], "upper_bound": 1430439740146367920555923003986416956675756145, "classified": false, "lower_bound": 1427247703339824504317286302786023739979637248, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1427247692705959881058285969449495136382746624}, {"parameter": "", "name": "sphere_covering", "value": 1147466977154004718731103784180272342}, {"parameter": "", "name": "graham_sloane", "value": 2643255615349004611980780519081831}, {"parameter": "", "name": "multicomponent", "value": 1427247692706000445877493272790347428931829761}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1427247692705959973218752016214719363234308608}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1427247703339824504317286302786023739979637248}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1427247703339783847337612952679951618625503232}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 85070592468753390219727845900120920575}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1427247692705960619577060324486610683170562560}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1427247692705960619577060397120665473401922048}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1427247692705960619577060323333724362935804416}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1427247692705960619577060323351703577073197568}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 43556142965880145822655911896130501911040}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 43556142965880145822655911896130501911040}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 43556142965880145822654776989024404546048}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 43556142965880145822655911896130501911040}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329227997224917673571548459446215168}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329227997224917672436641353348850176}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329227997224917673571548459446215168}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329227997224917673571548459446215168}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 85236785886687403700080714260340711936}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 85236785886687403700062735046203318784}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 85236785886687403773849676156669436416}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 85236785886687403701215621366438076928}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1427247692705960619577060323333689178563715584}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 43556142965880145822654758974625895064064}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 1329227997224917672418626954839368192}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 85236785886687403700062699861831229952}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1427247692705960619577060323333689178563715584}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 43556142965880145822654758974625895064064}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 1329227997224917672418626954839368192}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 85236785886687403700062699861831229952}, {"parameter": "7", "name": "linkage_GLT", "value": 1427247692705959881058285969449495136384847873}, {"parameter": "8", "name": "linkage_GLT", "value": 43556142965880123323311949751266331066369}, {"parameter": "9", "name": "linkage_GLT", "value": 1329227995784915872903807060280344577}, {"parameter": "10", "name": "linkage_GLT", "value": 85236785794526937653297475634979667969}, {"parameter": "7", "name": "improved_linkage", "value": 1427247692706000445877844739358252892396626432}, {"parameter": "8", "name": "improved_linkage", "value": 43556142965880142666125207741487691071489}, {"parameter": "9", "name": "improved_linkage", "value": 1329227995784915882127179174585630720}, {"parameter": "10", "name": "improved_linkage", "value": 85236785794526937653297480033042993208}, {"parameter": "11", "name": "improved_linkage", "value": 85070916962924934455324181096397017089}, {"parameter": "12", "name": "improved_linkage", "value": 85070592444589487139037838506408804353}, {"parameter": "13", "name": "improved_linkage", "value": 85070592364240088503319180377623363585}, {"parameter": "14", "name": "improved_linkage", "value": 85070592467313431691145540020067106817}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1427247692705960619577060323333689178563715584}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1427247692705959882497947974109692989843673664}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1427247692705959881058592932496831330610905088}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1427247692705959881077628782707485357742751745}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1427247692706000445877844739358252892396626432}, {"parameter": "8,0", "name": "generalized_linkage", "value": 43556142965880145822654758974625895064064}, {"parameter": "8,1", "name": "generalized_linkage", "value": 43556142965880123675563067817919133071736}, {"parameter": "8,2", "name": "generalized_linkage", "value": 43556142965880123323312096123211858378808}, {"parameter": "8,3", "name": "generalized_linkage", "value": 43556142965880123323321173123380636352512}, {"parameter": "8,4", "name": "generalized_linkage", "value": 43556142965880142666125207741487691071489}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1329227997224917672418626954839368192}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1329227995784915874244918999083759992}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1329227995784915872903807130212012545}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1329227995784915872903811458343669816}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1329227995784915882127179174585630720}, {"parameter": "10,0", "name": "generalized_linkage", "value": 85236785886687403700062699861831229952}, {"parameter": "10,1", "name": "generalized_linkage", "value": 85236785794526937664026371704962529656}, {"parameter": "10,2", "name": "generalized_linkage", "value": 85236785794526937653297475634979934273}, {"parameter": "10,3", "name": "generalized_linkage", "value": 85236785794526937653297475634981769217}, {"parameter": "10,4", "name": "generalized_linkage", "value": 85236785794526937653297480033042993208}, {"parameter": "11,1", "name": "generalized_linkage", "value": 85070916962924934541155350215813347704}, {"parameter": "11,2", "name": "generalized_linkage", "value": 85070916962924934455324181096397046273}, {"parameter": "11,3", "name": "generalized_linkage", "value": 85070916962924934455324181096394915841}, {"parameter": "11,4", "name": "generalized_linkage", "value": 85070916962924934455324181096397017089}, {"parameter": "12,2", "name": "generalized_linkage", "value": 85070592444589487139037838506425847873}, {"parameter": "12,3", "name": "generalized_linkage", "value": 85070592444589487139037838506408804353}, {"parameter": "12,4", "name": "generalized_linkage", "value": 85070592444589487139037838506408804353}, {"parameter": "13,3", "name": "generalized_linkage", "value": 85070592364240088503319180377623363585}, {"parameter": "13,4", "name": "generalized_linkage", "value": 85070592364240088503319180377623363585}, {"parameter": "14,4", "name": "generalized_linkage", "value": 85070592467313431691145540020067106817}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705960619577060323333689178563715584}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959882497947974109692989843673664}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881058592932496831330610905088}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881077628782707485357742751745}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1427247692706000445877844739358252892396626432}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880145822654758974625895064064}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123675563067817919133071736}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323312096123211858378808}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323321173123380636352512}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880142666125207741487691071489}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227997224917672418626954839368192}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915874244918999083759992}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807130212012545}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903811458343669816}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915882127179174585630720}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85236785886687403700062699861831229952}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85236785794526937664026371704962529656}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85236785794526937653297475634979934273}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85236785794526937653297475634981769217}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236785794526937653297480033042993208}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070916962924934541155350215813347704}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070916962924934455324181096397046273}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070916962924934455324181096394915841}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070916962924934455324181096397017089}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487139037838506425847873}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487139037838506408804353}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487139037838506408804353}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070592364240088503319180377623363585}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070592364240088503319180377623363585}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070592467313431691145540020067106817}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070633032132638994342272726493822976}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070632295054174635752409545236455936}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070632295054174635752409545236455936}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070633033572597523068693794625593856}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070592467332774504115258898786549760}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730254310145525395717529182720}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730254310145525395717529182720}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070592468772733032841679966918320640}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070592467332774504115258898786549760}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730254310145525395717529182720}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730254310145525395717529182720}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070592468772733032841679966918320640}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730260579888345825295539384832}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730235274295456320214527549952}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730235274295456320214527549952}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730260272934524438768600494592}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967341634933687588659712}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967341634933687588659712}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730260272934524438768600494592}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967341634933687588659712}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967341634933687588659712}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674623833132650335443788288}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731674623833132650335443788288}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967332557933036669936128}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967332557933036669936128}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967332411566048780395008}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967332411566048780395008}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967341652952484144652800}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967341652952484144652800}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070592467313783157569334624783081984}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234968018893276243232989696}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967332411561720529199616}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967332411566057372426752}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234967341634968949387600384}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564861049459263905320861868544}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564861049459263905320861868544}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564861049459263905320861868544}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564841706655373443290921345536}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564841706655373443290921345536}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564841706655373443290921345536}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564841706655373443290921345536}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564841706655373443290921345536}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564841706655373443290921345536}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564841706646296442640002621952}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564841706646296442640002621952}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564841706646150075652113080832}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564841706646150075652113080832}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564841706646150075652113080832}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564841706646150075652113080832}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564842058210451472809549537792}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564841706646150071323861885440}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564841706646150071254068666880}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564841706646150075660705112576}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1459344621852025998209098240}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1459344621852025998209098240}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1459344612628658359400833536}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1459344612628658359400833536}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1459344612628658359400833536}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1459344612628658359400833536}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1459344612628654031149638144}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1459344612628653961356419584}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1459344612628653961356419584}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 92179846648034297685709857280}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 92179846648034293287665443328}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 92179846648034293287665443328}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1474176974472652752051748470784}, {"parameter": "", "name": "JohnsonLB", "value": 1427247618269191562505855354915233308610428928}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 43556143291032502281863517517074652089280}], "request": [8, 17, 6, 7], "liftedmrdsizebound": 1427247705103145631655923911894353304133345857, "comments": "", "equal_bound_constraints": []}