{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 988615051072874322550386866436854764388885735727579997588502269428}, {"parameter": "", "name": "singleton", "value": 1086408630029793075132746383601600}, {"parameter": "3", "name": "ilp_2", "value": 909984534130369605914676459216754}, {"parameter": "4", "name": "ilp_2", "value": 88425300708082966748972386756719198769531817}, {"parameter": "5", "name": "ilp_2", "value": 8745928211390453570478381736408195906757893788424210453}, {"parameter": "7", "name": "ilp_3", "value": 7202656702921339695246048408728551289835022882094027973717204}, {"parameter": "8", "name": "ilp_3", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "9", "name": "ilp_3", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "", "name": "anticode", "value": 909984534130369605914676459216754}, {"parameter": "", "name": "linear_programming_bound", "value": 909984534130369605914676459216754}, {"parameter": "", "name": "sphere_packing", "value": 446038770474695112334315585808236529098578458840475}, {"parameter": "1", "name": "ilp_1", "value": 909984534074017423330104337844041}, {"parameter": "2", "name": "ilp_1", "value": 909984534074017423331255462404706}, {"parameter": "10", "name": "ilp_4", "value": 508152132298533458396287439321751846941332555948749}, {"parameter": "11", "name": "ilp_4", "value": 508152131564078804589366599509584183658170803102680}, {"parameter": "12", "name": "ilp_4", "value": 508152131564078804589366599509584183658170803102680}, {"parameter": "13", "name": "ilp_4", "value": 1481534464982832554660490080747954359525638839524}, {"parameter": "14", "name": "ilp_4", "value": 4320207673409430577780641360717975526963567464}, {"parameter": "15", "name": "ilp_4", "value": 12595355464465874990385079754946221322234455}, {"parameter": "16", "name": "ilp_4", "value": 36721154776837815432532016669276290725014}, {"parameter": "17", "name": "ilp_4", "value": 107058761527100628791612247529364752560}, {"parameter": "18", "name": "ilp_4", "value": 312124695209928849224655725470533164}, {"parameter": "", "name": "johnson_1", "value": 909984534074017423330104337844041}, {"parameter": "", "name": "johnson_2", "value": 312124695209928849224655725470533164}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 988615051072874322550386866436854764388885735727579997588502269428}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 7202656702921339695246048408728551289835022882094027973717204}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 508152132298533458396287439321751846941332555948749}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 508152131564078804589366599509584183658170803102680}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 508152131564078804589366599509584183658170803102680}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1481534464982832554660490080747954359525638839524}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 4320207673409430577780641360717975526963567464}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 12595355464465874990385079754946221322234455}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 36721154776837815432532016669276290725014}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 107058761527100628791612247529364752560}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 312124695209928849224655725470533164}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 8745928211390453570478381736408195906757893788424210453}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 446038770474695112334315585808236529098578458840475}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 25997290950687561930113503750415253628626211215}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 25960059204708676502041703830572769774143344998}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 25960058358866165456787992947067220852132001323}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 25960058910250440184454438346526606249347082050}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 530552632278688646049801251509076405979527259}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 10827524249531291645335253708705872886071850}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 220972142210661589497931779864436881928513}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 4509884265688527813465907373472326244656}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 92071321326317708817483973109538256663}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1883715622572094257261259737128265880}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 39129625989791773471630854077445906}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 912637550208316622959629269633193}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 88425300708082966748972386756719198769531817}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 31569189828267285777699300087300520511898}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 31569189830500739901581466527591335544283}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 31569189846134918776637194107288370260351}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 31569189955574171288174850916463632225226}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 4508044384102147202944689247188820298046}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 644231756717469175600305035074228089818}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 92032451230631471018589222175071951855}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 13147696300024294750616533557294652128}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1878351449708597143318669021548898062}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 268445446231874798553572804863903962}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 38459154163939654843047422055975312}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 5606249744431497730412161591140813}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 931595400194226671408923570315801}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 909984534130369605914676459216754}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 909984534139710842711381509780565}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 909984534205099500293025848488239}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 909984534662820103595276472847322}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 909984537866864338017303300131568}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 909984560295174532978855161282633}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 909984717293373044075252748887482}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 909985816282092795271657952736552}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 909993509268310108587693081196972}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 910047363365794472088285606600325}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 910424498617398373589799000010448}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 913072139636276256980472362732277}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 931990476348552812945815768859648}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 1086408630029793075132746383601600}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 988615051072874322550386866436854764388885735727579997588502269428}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 8745928211390453570478381736408195906757893788424210453}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 88425300708082966748972386756719198769531817}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 909984534130369605914676459216754}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 909984534074017423331255462404706}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 909984534074017423330104337844041}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 7202656702921339695246048408728551289835022882094027973717204}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 446038770474695112334315585808236529098578458840475}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 31569189828267285777699300087300520511898}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 31580464538919539886009617440662564677605}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 31659613572846753308120611927116397797866}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 32224963815183277247228444692853015101143}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 36828530074162577714239167361389047822604}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 25997290950687561930113503750415253628626211215}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 25998806207628125886949277464840765984578075175}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 26009417965259290244490151423884472978744135002}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 26083916835159605569698295305291160450788497273}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 26616241668294057068991594527689084230530919412}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 30961750509860258487648033622645124008038965799}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 508273123508532540863772165948148119172042698493384}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 508303278886143482787301503243459439638319989831388}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 508514454445972578916579634594733308494412157974525}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 509997003871330581285901486862361975393913450182318}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 520590964924669082313863239939823079635221964146095}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 607103165780393916662042480418363450775178254934200}, {"parameter": "", "name": "improved_johnson", "value": 909984534074017423330104337844030}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 5245886122238604645204542194722303532449}], "known_codes": [], "upper_bound": 909984534074017423330104337844030, "classified": false, "lower_bound": 909543680195573503184417845947542, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 909543680129861140820205019889143}, {"parameter": "", "name": "sphere_covering", "value": 18888281898134804504937533}, {"parameter": "", "name": "graham_sloane", "value": 4004886270338579670}, {"parameter": "", "name": "multicomponent", "value": 909543680195573503183753141315888}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 909543680129861140820205019889144}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 909543680129861699366069103291143}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 2651730845859655100192621294501}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 7730993719707444537978381609}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 22539340290692258087980899}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 7731059432069808058417233951}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 2651730846051234703159589796003}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 909543680131230136733073148990301}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 909543680130053282225863267498001}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 909543680129861699366069103173151}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 909543680129861142448618617799593}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 2651730845859655100192621292051}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 909543680129861699366069103291143}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 2651730845859655100192621294501}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 7730993719707444537978381609}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 22539340290692258087980899}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 7731059432069808058417233951}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 2651730846051234703159589796003}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 909543680131230136733073148990301}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 909543680130053282225863267498001}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 909543680129861699366069103173151}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 909543680129861142448618617799593}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 2651730845859655100192621292051}, {"parameter": "6", "name": "linkage_GLT", "value": 909543680129861699366069103291143}, {"parameter": "7", "name": "linkage_GLT", "value": 2651730845859655100192621294501}, {"parameter": "8", "name": "linkage_GLT", "value": 7730993719707444537978381609}, {"parameter": "9", "name": "linkage_GLT", "value": 22539340290692258087980899}, {"parameter": "10", "name": "linkage_GLT", "value": 7731059432069808058417233951}, {"parameter": "11", "name": "linkage_GLT", "value": 2651730846051234703159589796003}, {"parameter": "12", "name": "linkage_GLT", "value": 909543680131230136733073148990301}, {"parameter": "13", "name": "linkage_GLT", "value": 909543680130053282225863267498001}, {"parameter": "6", "name": "improved_linkage", "value": 909543680195573503184417845947542}, {"parameter": "7", "name": "improved_linkage", "value": 2651730846051234703159872391694}, {"parameter": "8", "name": "improved_linkage", "value": 7730993720265990388220496407}, {"parameter": "9", "name": "improved_linkage", "value": 22539340292320671685776149}, {"parameter": "10", "name": "improved_linkage", "value": 7731059432069808072258521152}, {"parameter": "11", "name": "improved_linkage", "value": 2651730846051234703159589913652}, {"parameter": "12", "name": "improved_linkage", "value": 909543680131230136733073148990301}, {"parameter": "13", "name": "improved_linkage", "value": 909543680130053282225863267498001}, {"parameter": "14", "name": "improved_linkage", "value": 2651730845863564959913760719694}, {"parameter": "15", "name": "improved_linkage", "value": 7730993719787274772944583952}, {"parameter": "6,0", "name": "generalized_linkage", "value": 909543680131230136733073438191143}, {"parameter": "6,1", "name": "generalized_linkage", "value": 909543680130052722051585868899236}, {"parameter": "6,2", "name": "generalized_linkage", "value": 909543680195573503184417845947542}, {"parameter": "7,0", "name": "generalized_linkage", "value": 2651730845863644713507507899501}, {"parameter": "7,1", "name": "generalized_linkage", "value": 2651730845860212017643106783601}, {"parameter": "7,2", "name": "generalized_linkage", "value": 2651730846051234703159872391694}, {"parameter": "8,0", "name": "generalized_linkage", "value": 7730993719707478449132026509}, {"parameter": "8,1", "name": "generalized_linkage", "value": 7730993719709072937735007307}, {"parameter": "8,2", "name": "generalized_linkage", "value": 7730993720265990388220496407}, {"parameter": "9,0", "name": "generalized_linkage", "value": 22539340290692258376223399}, {"parameter": "9,1", "name": "generalized_linkage", "value": 22539340290692271929150451}, {"parameter": "9,2", "name": "generalized_linkage", "value": 22539340292320671685776149}, {"parameter": "10,0", "name": "generalized_linkage", "value": 7731059432069808058417236401}, {"parameter": "10,1", "name": "generalized_linkage", "value": 7731059432069808058417351600}, {"parameter": "10,2", "name": "generalized_linkage", "value": 7731059432069808072258521152}, {"parameter": "11,0", "name": "generalized_linkage", "value": 2651730846051234703159589798453}, {"parameter": "11,1", "name": "generalized_linkage", "value": 2651730846051234703159589796003}, {"parameter": "11,2", "name": "generalized_linkage", "value": 2651730846051234703159589913652}, {"parameter": "12,0", "name": "generalized_linkage", "value": 909543680131230136733073148992751}, {"parameter": "12,1", "name": "generalized_linkage", "value": 909543680131230136733073148990301}, {"parameter": "12,2", "name": "generalized_linkage", "value": 909543680131230136733073148990301}, {"parameter": "13,0", "name": "generalized_linkage", "value": 909543680130053282225863267500451}, {"parameter": "13,1", "name": "generalized_linkage", "value": 909543680130053282225863267498001}, {"parameter": "13,2", "name": "generalized_linkage", "value": 909543680130053282225863267498001}, {"parameter": "14,1", "name": "generalized_linkage", "value": 2651730845863564959913760719694}, {"parameter": "14,2", "name": "generalized_linkage", "value": 2651730845863564959913760719694}, {"parameter": "15,2", "name": "generalized_linkage", "value": 7730993719787274772944583952}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680131230136733073438191143}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052722051585868899236}, {"parameter": "[6, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680195573503184417845947542}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507507899501}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643106783601}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159872391694}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707478449132026509}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937735007307}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220496407}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692258376223399}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929150451}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7731059432069808058417236401}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731059432069808058417351600}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731059432069808072258521152}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159589798453}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159589796003}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159589913652}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680131230136733073148992751}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680131230136733073148990301}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680131230136733073148990301}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680130053282225863267500451}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680130053282225863267498001}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680130053282225863267498001}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863564959913760719694}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863564959913760719694}, {"parameter": "[15, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787274772944583952}, {"parameter": "[6, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7731059432069808058417356500}, {"parameter": "[6, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731059432069808058705594100}, {"parameter": "[6, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731059432069841983412166052}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159590639146}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159589798453}, {"parameter": "[6, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159878156152}, {"parameter": "[6, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159590639146}, {"parameter": "[6, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159589798453}, {"parameter": "[6, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234703159878156152}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680131230136733073154997701}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680131230136733073148992751}, {"parameter": "[6, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680131230136733073148992751}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366069109180551}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366069103175601}, {"parameter": "[6, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366069103175601}, {"parameter": "[6, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366069109180551}, {"parameter": "[6, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366069103175601}, {"parameter": "[6, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366069103175601}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129865132061933504407043}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129865132061933498402093}, {"parameter": "[6, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129865132061933498402093}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861142448618623806993}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861142448618617802043}, {"parameter": "[6, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861142448618617802043}, {"parameter": "[6, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861142448618623806993}, {"parameter": "[6, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861142448618617802043}, {"parameter": "[6, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861142448618617802043}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653505704018313703}, {"parameter": "[6, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653505704018313703}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471792864671253}, {"parameter": "[6, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471792864671253}, {"parameter": "[6, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100206462581702}, {"parameter": "[6, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100206462581702}, {"parameter": "[6, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707444524425454557}, {"parameter": "[6, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707444537978501708}, {"parameter": "[6, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937735124956}, {"parameter": "[7, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539531871923638654400200}, {"parameter": "[7, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539531871923638654280101}, {"parameter": "[7, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539531871923638942637800}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388221221558}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220380865}, {"parameter": "[7, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220380865}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388221221558}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220380865}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220380865}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507507899501}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507501894551}, {"parameter": "[7, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507501894551}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192627299451}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621294501}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621294501}, {"parameter": "[7, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192627299451}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621294501}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621294501}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707478449132026509}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707478449132026509}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707444537978384059}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707444537978384059}, {"parameter": "[7, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707444537978384059}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707444537978384059}, {"parameter": "[7, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692258376223399}, {"parameter": "[7, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692258087983349}, {"parameter": "[7, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929270550}, {"parameter": "[8, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363546100}, {"parameter": "[8, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363426001}, {"parameter": "[8, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363426001}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671686616842}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[8, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[8, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671686616842}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290726183082795351}, {"parameter": "[8, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290726183082795351}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[8, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[8, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534568499693}, {"parameter": "[8, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280259643}, {"parameter": "[8, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280259643}, {"parameter": "[9, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164447400}, {"parameter": "[9, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164327301}, {"parameter": "[9, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164327301}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[9, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[9, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[9, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380854774551}, {"parameter": "[9, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566534501}, {"parameter": "[9, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566534501}, {"parameter": "[10, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 191582859808005614502}, {"parameter": "[10, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191582859808005614502}, {"parameter": "[10, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164444950}, {"parameter": "[10, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164444950}, {"parameter": "[11, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407821702}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 191582893719159377051}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191582893719159377051}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 191582859794452805099}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191582859794452805099}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231394696902445}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231394696902445}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1628427727677899}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 3219906314363793726549906}], "request": [7, 19, 8, 6], "liftedmrdsizebound": 909543680197166687347465895292893, "comments": "", "equal_bound_constraints": []}