{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 15581613321613605658849684840700396072369158}, {"parameter": "", "name": "singleton", "value": 263862583736385343242102717216527933566}, {"parameter": "8", "name": "ilp_2", "value": 175918319596418837104418782706924187646}, {"parameter": "10", "name": "ilp_3", "value": 527760917274542936554995422053258233043}, {"parameter": "", "name": "anticode", "value": 175918319596418837104418782706924187646}, {"parameter": "", "name": "linear_programming_bound", "value": 175918319596418837104418782706924187646}, {"parameter": "", "name": "sphere_packing", "value": 15581613321613605658849684840700396072369158}, {"parameter": "1", "name": "ilp_1", "value": 175918319596418837104418782706924187646}, {"parameter": "2", "name": "ilp_1", "value": 175918319596418837104418782706924187646}, {"parameter": "3", "name": "ilp_1", "value": 175918319596418837104418782706924187646}, {"parameter": "4", "name": "ilp_1", "value": 175918319596418837104418782706924187646}, {"parameter": "5", "name": "ilp_1", "value": 175918319596418837104418782706924187646}, {"parameter": "6", "name": "ilp_1", "value": 175918319596418837104418782706924187646}, {"parameter": "7", "name": "ilp_1", "value": 175918319596418837104418782706924187646}, {"parameter": "11", "name": "ilp_4", "value": 527707290906965109379343756660887202095}, {"parameter": "12", "name": "ilp_4", "value": 527707290906965109379343756660887202095}, {"parameter": "13", "name": "ilp_4", "value": 527707290906965109379343756660887202095}, {"parameter": "14", "name": "ilp_4", "value": 527707290906965103654319950071884437771}, {"parameter": "15", "name": "ilp_4", "value": 527707290906965103653257847262573405601}, {"parameter": "16", "name": "ilp_4", "value": 527707290906965103653257843605946791492}, {"parameter": "17", "name": "ilp_4", "value": 527707290906965103653257843605761100557}, {"parameter": "18", "name": "ilp_4", "value": 527707290906965103654309217908464786546}, {"parameter": "", "name": "johnson_1", "value": 175918319596418837104418782706924187646}, {"parameter": "", "name": "johnson_2", "value": 527707290906965103654309217908464786546}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 15581613321613605658849684840700396072369158}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 527760917274542936554995422053258233043}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 527707290906965109379343756660887202095}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 527707290906965109379343756660887202095}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 527707290906965109379343756660887202095}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 527707290906965103654319950071884437771}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 527707290906965103653257847262573405601}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 527707290906965103653257843605946791492}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 527707290906965103653257843605761100557}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 527707290906965103654309217908464786546}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 175920305556353503582344552437621760611}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 175926263705203077092657193128380864680}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 175944140573517374576697538536929359251}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 175997792983950871894999825862732891556}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 176158946724229567098922027638455711970}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 176644183562663025757929789488886887187}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 178116066975121962617175281703304879588}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 182682663683774588868271196890758856872}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 197904478701606767922595161377064205255}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 263862583736385343242102717216527933566}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 15581613321613605658849684840700396072369158}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 527760917274542936554995422053258233043}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 527778792932200065010175852674356758489}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 527832427171452797193871425788445859588}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 527993395314550207701257126119960585012}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 528476889350742033906504824976505406816}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 529932699036094335286544839935767776831}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 534348653417500808787939765015479290158}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 548049419029391888381396028183041023652}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 593718463718680625492930752897413887147}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 791614563787525746761491781638123230424}, {"parameter": "", "name": "improved_johnson", "value": 175918319596418837104418782706924187646}], "known_codes": [], "upper_bound": 175918319596418837104418782706924187646, "classified": false, "lower_bound": 150024595081884393007012600338236544880, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 147808829414345923316083210206383297601}, {"parameter": "", "name": "sphere_covering", "value": 17876263139554263142195361491476655}, {"parameter": "", "name": "graham_sloane", "value": 26812578369717035183629988539429726}, {"parameter": "", "name": "multicomponent", "value": 147808830558907199701233419268764197342}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 148145091405972308180694203887688842242}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 150024595081884393007012600338236544880}, {"parameter": "", "name": "two_pivot_block_construction", "value": 149656439781495352647490043484854812672}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 22973916815652041652904018193592161}, {"parameter": "(10,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 147809274931616636183324296953494572083}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 147809274931616636183474368711999116243}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 147809274931616636195481939535759045923}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 147809274931616636184675125794375109211}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 147809274931616636183326127096890968963}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 147809274931616636183324274108083176731}, {"parameter": "(9,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 358790391171324039022833860561376891}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 358790391171324039024686849369169123}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 358790391171324040373685546853309371}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 358790391171324051180499288237246083}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 358790391171324039172928464477316403}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 358790391171324039022856705972772243}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 147809274931616636183324274076702117122}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 358790391171324039022833829180317282}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 147809274931616636183324274076702117122}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 358790391171324039022833829180317282}, {"parameter": "9", "name": "linkage_GLT", "value": 147808829414345923316083210206383297602}, {"parameter": "10", "name": "linkage_GLT", "value": 22528399544939174411840147874772642}, {"parameter": "9", "name": "improved_linkage", "value": 147808830581482522363636639536578547174}, {"parameter": "10", "name": "improved_linkage", "value": 22528399604226819488140659999003064}, {"parameter": "11", "name": "improved_linkage", "value": 25341731155035183721479745829088483}, {"parameter": "12", "name": "improved_linkage", "value": 23960316059182925948769077799910197}, {"parameter": "13", "name": "improved_linkage", "value": 23024478150348263071745218824544012}, {"parameter": "14", "name": "improved_linkage", "value": 22867575324561175782291650061305701}, {"parameter": "15", "name": "improved_linkage", "value": 22958746352001291262919075629404553}, {"parameter": "16", "name": "improved_linkage", "value": 22969248447118786718119779227336848}, {"parameter": "17", "name": "improved_linkage", "value": 22972749679052994149506233097345360}, {"parameter": "9,0", "name": "generalized_linkage", "value": 147809274931616636183324274076702117122}, {"parameter": "9,1", "name": "generalized_linkage", "value": 147808887043720271877986651682688729314}, {"parameter": "9,2", "name": "generalized_linkage", "value": 147808835530856705379496776268755834765}, {"parameter": "9,3", "name": "generalized_linkage", "value": 147808830067504923033140176874713669488}, {"parameter": "9,4", "name": "generalized_linkage", "value": 147808829485722885754716689289317750250}, {"parameter": "9,5", "name": "generalized_linkage", "value": 147808829422049404782999126390902666037}, {"parameter": "9,6", "name": "generalized_linkage", "value": 147808829415116662702075116863998293100}, {"parameter": "9,7", "name": "generalized_linkage", "value": 147808830581482522363636639536578547174}, {"parameter": "10,0", "name": "generalized_linkage", "value": 358790391171324039022833829180317282}, {"parameter": "10,1", "name": "generalized_linkage", "value": 22530367977942724591182647212630602}, {"parameter": "10,2", "name": "generalized_linkage", "value": 22528482443600749924727971630286874}, {"parameter": "10,3", "name": "generalized_linkage", "value": 22528402448034482637098991082161381}, {"parameter": "10,4", "name": "generalized_linkage", "value": 22528399647169460484562573737955890}, {"parameter": "10,5", "name": "generalized_linkage", "value": 22528399548567527677171406375746110}, {"parameter": "10,6", "name": "generalized_linkage", "value": 22528399545059604300237491894703681}, {"parameter": "10,7", "name": "generalized_linkage", "value": 22528399604226819488140659999003064}, {"parameter": "11,1", "name": "generalized_linkage", "value": 25825879588343206328962039547441568}, {"parameter": "11,2", "name": "generalized_linkage", "value": 25341732076085267045141641091750208}, {"parameter": "11,3", "name": "generalized_linkage", "value": 25341731167823417470018971732957720}, {"parameter": "11,4", "name": "generalized_linkage", "value": 25341731155179861378435017742766635}, {"parameter": "11,5", "name": "generalized_linkage", "value": 25341731155033861973009192570638176}, {"parameter": "11,6", "name": "generalized_linkage", "value": 25341731155032191409149971647739776}, {"parameter": "11,7", "name": "generalized_linkage", "value": 25341731155035183721479745829088483}, {"parameter": "12,2", "name": "generalized_linkage", "value": 23960390968950076982387686706924589}, {"parameter": "12,3", "name": "generalized_linkage", "value": 23960316059229911372255065902349041}, {"parameter": "12,4", "name": "generalized_linkage", "value": 23960316059183140918863009721350129}, {"parameter": "12,5", "name": "generalized_linkage", "value": 23960316059182926603046924112883552}, {"parameter": "12,6", "name": "generalized_linkage", "value": 23960316059182925799251535500766880}, {"parameter": "12,7", "name": "generalized_linkage", "value": 23960316059182925948769077799910197}, {"parameter": "13,3", "name": "generalized_linkage", "value": 23024478151618589965865908818247686}, {"parameter": "13,4", "name": "generalized_linkage", "value": 23024478150348263334416708370650070}, {"parameter": "13,5", "name": "generalized_linkage", "value": 23024478150348263072127996742059450}, {"parameter": "13,6", "name": "generalized_linkage", "value": 23024478150348263071737875675632465}, {"parameter": "13,7", "name": "generalized_linkage", "value": 23024478150348263071745218824544012}, {"parameter": "14,4", "name": "generalized_linkage", "value": 22867575324561178147445814657106650}, {"parameter": "14,5", "name": "generalized_linkage", "value": 22867575324561175782291808475521410}, {"parameter": "14,6", "name": "generalized_linkage", "value": 22867575324561175782291649721883049}, {"parameter": "14,7", "name": "generalized_linkage", "value": 22867575324561175782291650061305701}, {"parameter": "15,5", "name": "generalized_linkage", "value": 22958746352001291262919552124304173}, {"parameter": "15,6", "name": "generalized_linkage", "value": 22958746352001291262919075629392253}, {"parameter": "15,7", "name": "generalized_linkage", "value": 22958746352001291262919075629404553}, {"parameter": "16,6", "name": "generalized_linkage", "value": 22969248447118786718119779227346688}, {"parameter": "16,7", "name": "generalized_linkage", "value": 22969248447118786718119779227336848}, {"parameter": "17,7", "name": "generalized_linkage", "value": 22972749679052994149506233097345360}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147809274931616636183324274076702117122}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808887043720271877986651682688729314}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808835530856705379496776268755834765}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 147808830067504923033140176874713669488}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 147808829485722885754716689289317750250}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 147808829422049404782999126390902666037}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 147808829415116662702075116863998293100}, {"parameter": "[9, 10],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 147808830581482522363636639536578547174}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 358790391171324039022833829180317282}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22530367977942724591182647212630602}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528482443600749924727971630286874}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528402448034482637098991082161381}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528399647169460484562573737955890}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22528399548567527677171406375746110}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 22528399545059604300237491894703681}, {"parameter": "[10, 9],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 22528399604226819488140659999003064}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 25825879588343206328962039547441568}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 25341732076085267045141641091750208}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 25341731167823417470018971732957720}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 25341731155179861378435017742766635}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 25341731155033861973009192570638176}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 25341731155032191409149971647739776}, {"parameter": "[11, 8],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 25341731155035183721479745829088483}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 23960390968950076982387686706924589}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 23960316059229911372255065902349041}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 23960316059183140918863009721350129}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 23960316059182926603046924112883552}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 23960316059182925799251535500766880}, {"parameter": "[12, 7],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 23960316059182925948769077799910197}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 23024478151618589965865908818247686}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 23024478150348263334416708370650070}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 23024478150348263072127996742059450}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 23024478150348263071737875675632465}, {"parameter": "[13, 6],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 23024478150348263071745218824544012}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22867575324561178147445814657106650}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22867575324561175782291808475521410}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 22867575324561175782291649721883049}, {"parameter": "[14, 5],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 22867575324561175782291650061305701}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22958746352001291262919552124304173}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 22958746352001291262919075629392253}, {"parameter": "[15, 4],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 22958746352001291262919075629404553}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 22969248447118786718119779227346688}, {"parameter": "[16, 3],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 22969248447118786718119779227336848}, {"parameter": "[17, 2],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 22972749679052994149506233097345360}, {"parameter": "[9, 2, 8],[0, 7, 1]", "name": "generalized_linkage_multipleblocks", "value": 22975061376925472490398904143288589}, {"parameter": "[9, 2, 8],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 22975061376925472490398904143288589}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 22973917571598622692424794168664359}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 22973917571598622692424794168664359}, {"parameter": "[9, 3, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 22973916873801778655944077883982331}, {"parameter": "[9, 3, 7],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 22973916873801778655944077883982331}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 22973924374736745708966720397189185}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 22973924374736745708966720397189185}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 22973916815690447718089179031674521}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 22973916815690447718089179031674521}, {"parameter": "[9, 4, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 22973916881063479288646027115246825}, {"parameter": "[9, 4, 6],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 22973916881063479288646027115246825}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22973987133939192741948576616699923}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 22973987133939192741948576616699923}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 22973916816036082942547673261529143}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 22973916816036082942547673261529143}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 22973916815695243842065459341586955}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 22973916815695243842065459341586955}, {"parameter": "[9, 5, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 22973916877497805466347880209921134}, {"parameter": "[9, 5, 5],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 22973916877497805466347880209921134}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 22974555901880876598393679641498165}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 22974555901880876598393679641498165}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 22973916819224580755230342664375229}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973916819224580755230342664375229}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 22973916816084041764370774626005549}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973916816084041764370774626005549}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 22973916815692888827093662567224854}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973916815692888827093662567224854}, {"parameter": "[9, 6, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 22973916875082244246934255638616463}, {"parameter": "[9, 6, 4],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973916875082244246934255638616463}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 22979667791489709794831667804006315}, {"parameter": "[9, 7, 3],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 22979667791489709794831667804006315}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973916848120985860339139346945203}, {"parameter": "[9, 7, 3],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973916848120985860339139346945203}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973916819670717071519429975719271}, {"parameter": "[9, 7, 3],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973916819670717071519429975719271}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973916816060492801920739623187390}, {"parameter": "[9, 7, 3],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973916816060492801920739623187390}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973916815691293425180723629083973}, {"parameter": "[9, 7, 3],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973916815691293425180723629083973}, {"parameter": "[9, 7, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 22973916874677250628264058540584883}, {"parameter": "[9, 7, 3],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973916874677250628264058540584883}, {"parameter": "[9, 8, 2],[0, 1, 7]", "name": "generalized_linkage_multipleblocks", "value": 23025148421058425463275662569176481}, {"parameter": "[9, 8, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973917107831884038116736155773253}, {"parameter": "[9, 8, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973916852175686102267479935013169}, {"parameter": "[9, 8, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973916819451653154590011557868358}, {"parameter": "[9, 8, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973916816044539587104509075145211}, {"parameter": "[9, 8, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973916815691025939683456314026593}, {"parameter": "[9, 8, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 22973916874912578986027076801158670}, {"parameter": "[10, 2, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 336263136245808032451528626945631237}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 336263136187776467956750600603186788}, {"parameter": "[10, 3, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 336263136187661249761195118088939711}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 336263136191232832359001001958661809}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 336263136187658301452273979135205908}, {"parameter": "[10, 4, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 336263136187661618693808678112779129}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 336263136287685957973594943116341849}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 336263136187658477053777929264828195}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 336263136187658302202022723859127748}, {"parameter": "[10, 5, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 336263136187661437538810847591674352}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 336263138917258809030664568273937423}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 336263136187663377380232971379402075}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 336263136187658499732526151173051797}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 336263136187658301833877628435622988}, {"parameter": "[10, 6, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 336263136187661314815586775365663515}, {"parameter": "[10, 7, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 336263209883261736612852012220680147}, {"parameter": "[10, 7, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 336263136187796973521626918929326253}, {"parameter": "[10, 7, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 336263136187664012008502429558398557}, {"parameter": "[10, 7, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 336263136187658488596702334203008544}, {"parameter": "[10, 7, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 336263136187658301584478199340005428}, {"parameter": "[10, 7, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 336263136187661294239779293264505255}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 16669411631970351281762390199074796291}], "request": [3, 19, 4, 9], "liftedmrdsizebound": 151405372496726051030210327365756399486, "comments": "", "equal_bound_constraints": []}