{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 6802376752511981034135502513716198679876614477449}, {"parameter": "", "name": "singleton", "value": 50681462910057431534320730090844329858697}, {"parameter": "5", "name": "ilp_2", "value": 44346449255878400518397724362473110781618}, {"parameter": "7", "name": "ilp_3", "value": 22705392824638696612188877956815408503792193}, {"parameter": "", "name": "anticode", "value": 44346449255878400518397724362473110781618}, {"parameter": "", "name": "linear_programming_bound", "value": 44346449255878400518397724362473110781618}, {"parameter": "", "name": "sphere_packing", "value": 6802376752511981034135502513716198679876614477449}, {"parameter": "1", "name": "ilp_1", "value": 44346446943030839670943602899281102018111}, {"parameter": "2", "name": "ilp_1", "value": 44346446943030839670943602899282039739393}, {"parameter": "3", "name": "ilp_1", "value": 44346446943030839670943602899282039739393}, {"parameter": "4", "name": "ilp_1", "value": 44346446943030839670943602899282039739393}, {"parameter": "8", "name": "ilp_4", "value": 22705392824638696612188877956815408503792193}, {"parameter": "9", "name": "ilp_4", "value": 22705392824638696612188877956815408503792193}, {"parameter": "10", "name": "ilp_4", "value": 22705392824638696612188877956815408503792193}, {"parameter": "11", "name": "ilp_4", "value": 22705392824638696612188877956815408503792193}, {"parameter": "12", "name": "ilp_4", "value": 22705392824638696612188877956815408503792193}, {"parameter": "13", "name": "ilp_4", "value": 2838163445472570669953195524104244467407725}, {"parameter": "14", "name": "ilp_4", "value": 354771596359866097000568713806987911307847}, {"parameter": "", "name": "johnson_1", "value": 44346446943030839670943602899281102018111}, {"parameter": "", "name": "johnson_2", "value": 354771596359866097000568713806987911307847}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 6802376752511981034135502513716198679876614477449}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 22705392824638696612188877956815408503792193}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 22705392824638696612188877956815408503792193}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 22705392824638696612188877956815408503792193}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22705392824638696612188877956815408503792193}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 22705392824638696612188877956815408503792193}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 22705392824638696612188877956815408503792193}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 2838163445472570669953195524104244467407725}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 354771596359866097000568713806987911307847}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 44346449255878400518397724362473110781618}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 44346449544976627753516012320165209853661}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 44346451857762581329674314300451230335645}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 44346470360058894436641515318333758249094}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 44346618378985209261278545729821302744934}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 44347802565968649318168704039210871773542}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 44357278339058005145977687788342277928111}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 44433230550615429090632752637412489236642}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 45050342011976675597088176758997148724739}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 50681462910057431534320730090844329858697}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 6802376752511981034135502513716198679876614477449}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 44346449255878400518397724362473110781618}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 44346446943030839670943602899282039739393}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 44346446943030839670943602899282039739393}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 44346446943030839670943602899282039739393}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 44346446943030839670943602899281102018111}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 22705392824638696612188877956815408503792193}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 22705468612348783851569698339137687182325639}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 22706074932243788410772200459557562830035355}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 22710926657403562143633027449552264649527763}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 22749815228414896139011378815605465169940167}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 23065784867624436143568860498151112278246302}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 25949007804224083420097621839124559742097033}, {"parameter": "", "name": "improved_johnson", "value": 44346446943030839670943602899281102018089}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2838174103079767596836008141192946655499350}], "known_codes": [], "upper_bound": 44346446943030839670943602899281102018089, "classified": false, "lower_bound": 43568437940567164003988318617949226622311, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 43556142965880123323311949751266331066368}, {"parameter": "", "name": "sphere_covering", "value": 1184182476033448897260701549311469195}, {"parameter": "", "name": "graham_sloane", "value": 1353346228472253772712775510450060880}, {"parameter": "", "name": "multicomponent", "value": 43556143006444942535337657082099198328833}, {"parameter": "", "name": "construction_ST_B", "value": 43566781983411221308139791347767492739072}, {"parameter": "", "name": "EF_special", "value": 43566963852751451455533741586485379191945}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 43556143012973967091786720147754048028672}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 43566779473653494893487105717378957967360}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 43566781983411221308139793962012195081080}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 43566963852752158504511827652740340200969}, {"parameter": "", "name": "two_pivot_block_construction", "value": 43566779386628811960328019846279452426240}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 85094664144230615776723638058837569535}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 43566782023985946454199350277547000893441}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 43556167038294119323813125547894689759232}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 43556167038294119323232053109572838883328}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 43556167038294119323222829772720356196352}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329275824190655008548679776256917504}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329275824190655073112284034240348160}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329275824190654999343322137911623680}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 10802614270978311911248684180123156480}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 10802614270978311985017646076451880960}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 10802614270978311920454041818468450304}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 85117739651018404471541475309229178880}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 85117739651018404480764812161711865856}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 85117739651018405061837250483562741760}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 43556167038294119323222829737535984107520}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 1329275824190654999325307739402141696}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 10802614270978311911230669781613674496}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 85117739651018404471541440124857090048}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 43556167038294119323222829737535984107520}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 1329275824190654999325307739402141696}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 10802614270978311911230669781613674496}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 85117739651018404471541440124857090048}, {"parameter": "6", "name": "linkage_GLT", "value": 43556142965880123323311949751335088590849}, {"parameter": "7", "name": "linkage_GLT", "value": 1329227995784915872903807060280610881}, {"parameter": "8", "name": "linkage_GLT", "value": 10802614179000916184498545507444981761}, {"parameter": "9", "name": "linkage_GLT", "value": 85117692557174635996771043637140127745}, {"parameter": "6", "name": "improved_linkage", "value": 43556143006456395791248580130280625611581}, {"parameter": "7", "name": "improved_linkage", "value": 1329227997023206018074763118423834624}, {"parameter": "8", "name": "improved_linkage", "value": 10802614179000920908182556916993354392}, {"parameter": "9", "name": "improved_linkage", "value": 85117692557174635996789062602904195648}, {"parameter": "10", "name": "improved_linkage", "value": 85092159980209897154067468361092337665}, {"parameter": "11", "name": "improved_linkage", "value": 85094326214400047306860496968522928193}, {"parameter": "12", "name": "improved_linkage", "value": 85094650823493577580469827703383523329}, {"parameter": "13", "name": "improved_linkage", "value": 10636826369834780034076323229260316673}, {"parameter": "6,0", "name": "generalized_linkage", "value": 43556167038294119323222829737535984107520}, {"parameter": "6,1", "name": "generalized_linkage", "value": 43556143342533966690222557728041088090112}, {"parameter": "6,2", "name": "generalized_linkage", "value": 43556142971755765239110551981953279373120}, {"parameter": "6,3", "name": "generalized_linkage", "value": 43556142965970518503909429543510805839872}, {"parameter": "6,4", "name": "generalized_linkage", "value": 43556143006456395791248580130280625611581}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1329275824190654999325307739402141696}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1329228733092481133065778455200801280}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1329227997222125518199708867687042560}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1329227995787679228050481646078334296}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1329227997023206018074763118423834624}, {"parameter": "8,0", "name": "generalized_linkage", "value": 10802614270978311911230669781613674496}, {"parameter": "8,1", "name": "generalized_linkage", "value": 10802614179183723431977134771419128320}, {"parameter": "8,2", "name": "generalized_linkage", "value": 10802614179001267255416068697301601144}, {"parameter": "8,3", "name": "generalized_linkage", "value": 10802614179000916268845324249046840384}, {"parameter": "8,4", "name": "generalized_linkage", "value": 10802614179000920908182556916993354392}, {"parameter": "9,0", "name": "generalized_linkage", "value": 85117739651018404471541440124857090048}, {"parameter": "9,1", "name": "generalized_linkage", "value": 85117692557174679931430887472820789760}, {"parameter": "9,2", "name": "generalized_linkage", "value": 85117692557174636007648951585212541304}, {"parameter": "9,3", "name": "generalized_linkage", "value": 85117692557174635996773618537674416713}, {"parameter": "9,4", "name": "generalized_linkage", "value": 85117692557174635996789062602904195648}, {"parameter": "10,1", "name": "generalized_linkage", "value": 85092159980212708982984505491908076032}, {"parameter": "10,2", "name": "generalized_linkage", "value": 85092159980209897154067795072905563000}, {"parameter": "10,3", "name": "generalized_linkage", "value": 85092159980209897154067468302307669129}, {"parameter": "10,4", "name": "generalized_linkage", "value": 85092159980209897154067468361092337665}, {"parameter": "11,2", "name": "generalized_linkage", "value": 85094326214400047306863111213225003896}, {"parameter": "11,3", "name": "generalized_linkage", "value": 85094326214400047306860496968522699337}, {"parameter": "11,4", "name": "generalized_linkage", "value": 85094326214400047306860496968522928193}, {"parameter": "12,3", "name": "generalized_linkage", "value": 85094650823493577580469827703383560777}, {"parameter": "12,4", "name": "generalized_linkage", "value": 85094650823493577580469827703383523329}, {"parameter": "13,4", "name": "generalized_linkage", "value": 10636826369834780034076323229260316673}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43556167038294119323222829737535984107520}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 43556143342533966690222557728041088090112}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43556142971755765239110551981953279373120}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 43556142965970518503909429543510805839872}, {"parameter": "[6, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 43556143006456395791248580130280625611581}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329275824190654999325307739402141696}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228733092481133065778455200801280}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997222125518199708867687042560}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995787679228050481646078334296}, {"parameter": "[7, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1329227997023206018074763118423834624}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 10802614270978311911230669781613674496}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 10802614179183723431977134771419128320}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 10802614179001267255416068697301601144}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 10802614179000916268845324249046840384}, {"parameter": "[8, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 10802614179000920908182556916993354392}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85117739651018404471541440124857090048}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85117692557174679931430887472820789760}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85117692557174636007648951585212541304}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85117692557174635996773618537674416713}, {"parameter": "[9, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85117692557174635996789062602904195648}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85092159980212708982984505491908076032}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85092159980209897154067795072905563000}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85092159980209897154067468302307669129}, {"parameter": "[10, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85092159980209897154067468361092337665}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85094326214400047306863111213225003896}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094326214400047306860496968522699337}, {"parameter": "[11, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094326214400047306860496968522928193}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094650823493577580469827703383560777}, {"parameter": "[12, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094650823493577580469827703383523329}, {"parameter": "[13, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 10636826369834780034076323229260316673}, {"parameter": "[6, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 10633864622876691545726055150925119488}, {"parameter": "[6, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 10633864624333482135460487058469683200}, {"parameter": "[6, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 10657936945094534197451290646398369792}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 85094650913860782596663358512670179328}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591912382395992831162699757912064}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591913839186582565594607302475776}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094664234600238644556398195231162368}, {"parameter": "[6, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 85094650824729099768115978719933235200}, {"parameter": "[6, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591823250713164283782907020967936}, {"parameter": "[6, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591824707503754018214814565531648}, {"parameter": "[6, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094664145468555816009018402494218240}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 85094656697494243231365269244484780032}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070597696015856627533073431572512768}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070597697472647217267505339117076480}, {"parameter": "[6, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094670018233699279258308927045763072}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 85094650823491504461583847929134710784}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591822013117857751652116222443520}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591823469908447486084023767007232}, {"parameter": "[6, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094664144230960509476887611695693824}, {"parameter": "[6, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 85094650824748749535051199313667424256}, {"parameter": "[6, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591823270362931219003500755156992}, {"parameter": "[6, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591824727153520953435408299720704}, {"parameter": "[6, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094664145488205582944238996228407296}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070974988388070158803281181795155968}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070968288610948817235263175324860416}, {"parameter": "[6, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070968381842745713154580467198722048}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070598430037295703882445191819296768}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730260174362314427185349001216}, {"parameter": "[6, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591823491971258233744477222862848}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070598430015238365062375189044527104}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730238117023494357182574231552}, {"parameter": "[6, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591823469913919413674474448093184}, {"parameter": "[6, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070598431253513606907732679771291648}, {"parameter": "[6, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731476392265339714673300996096}, {"parameter": "[6, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591824708189161259031965174857728}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094650823516717458475062162710331392}, {"parameter": "[6, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094650823491509834716139043906387968}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731696629792013683285525528576}, {"parameter": "[6, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731671422168254760166721585152}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730282936812925897180083650560}, {"parameter": "[6, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730257729189166974061279707136}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730260518519108707358806376448}, {"parameter": "[6, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730235310895349784240002433024}, {"parameter": "[6, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591731498427494118760369270554624}, {"parameter": "[6, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591731473219870359837250466611200}, {"parameter": "[6, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 10633824058057834348270747855294824448}, {"parameter": "[6, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 10633823967738934090671406737589534720}, {"parameter": "[6, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10633823966302097038946839859977519104}, {"parameter": "[6, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10633823966280021909270568755728744448}, {"parameter": "[6, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 10633823967517962510602941729710276608}, {"parameter": "[7, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 371600881304170210874961036312576}, {"parameter": "[7, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 324519971198570175158573709656064}, {"parameter": "[7, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 372348197337592433664110041497600}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 371599646126715317973428587200512}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518736021115282257041260544000}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 372346962160137540762577592385536}, {"parameter": "[7, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 371599643368853291977555782402048}, {"parameter": "[7, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518733263253256261168455745536}, {"parameter": "[7, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 372346959402275514766704787587072}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 371601080209487702879198056022016}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 324520170103887667162810729365504}, {"parameter": "[7, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 372348396242909925668347061207040}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 371599643364141463917814184148992}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518733258541428201426857492480}, {"parameter": "[7, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 372346959397563686706963189334016}, {"parameter": "[7, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 371599643368928249889753736937472}, {"parameter": "[7, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518733263328214173366410280960}, {"parameter": "[7, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 372346959402350472678902742122496}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 325257069627238740970566089179136}, {"parameter": "[7, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 325255632826405437009423769534464}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 324520170064845323793065796435968}, {"parameter": "[7, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518733264012019831923476791296}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 324520170059374899438488655757312}, {"parameter": "[7, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518733258541595477346336112640}, {"parameter": "[7, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 324520170064089174843438160150528}, {"parameter": "[7, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518733263255870882295840505856}, {"parameter": "[7, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 371599822964235088489828927143936}, {"parameter": "[7, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518736069579656389578226139136}, {"parameter": "[7, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518733264099021564380188508160}, {"parameter": "[7, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518733258541434036209875681280}, {"parameter": "[7, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518733263254453539554627158016}, {"parameter": "[8, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 329761599562342292714155090378752}, {"parameter": "[8, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 329761599562342292714155090378752}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 329761599557704251630708330332160}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 329761599557704251630708330332160}, {"parameter": "[8, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 329761599557619944245683954647040}, {"parameter": "[8, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 329761599557619944245683954647040}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 329761599908496574736681773301760}, {"parameter": "[8, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 329761599908496574736681773301760}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 329761599557619926552961315766272}, {"parameter": "[8, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 329761599557619926552961315766272}, {"parameter": "[8, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 329761599557619944531625697345536}, {"parameter": "[8, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 329761599557619944531625697345536}, {"parameter": "[8, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 329761779508514888876763431829504}, {"parameter": "[8, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 329761599557621264719477070364672}, {"parameter": "[8, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 329761599557619926558067262488576}, {"parameter": "[8, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 329761599557619944255657942712320}, {"parameter": "[9, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 371792072822638286323373422936064}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 371792072822638270882450597740544}, {"parameter": "[9, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 371792072822638268309043632930816}, {"parameter": "[9, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 371792072822648976250249540272128}, {"parameter": "[9, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 371792072822638268308984730484736}, {"parameter": "[9, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 371792072822638268309044723712000}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 24383704826299588153860792191549440}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 24383704826299588153860792191549440}, {"parameter": "[6, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 324703347912984321664979279282176}, {"parameter": "[6, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 324703347912984321664979279282176}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 48442705067090885453925814305292288}, {"parameter": "[6, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 48442705066750875067159199849906176}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 24383703588704281621730001393025024}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 24383703588704281621730001393025024}, {"parameter": "[6, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 24383703588364271234963386937638912}, {"parameter": "[6, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 24383703588364271234963386937638912}, {"parameter": "[7, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 94163417356170049286204777562112}, {"parameter": "", "name": "JohnsonLB", "value": 43568437940567164003988318617949226622311}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 10636831490204419398198846978980315136}], "request": [8, 15, 4, 6], "liftedmrdsizebound": 43568708888583307075629919079622727504449, "comments": "", "equal_bound_constraints": []}