{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 16447146727193329004058368902159475477287925292359143177690227084224353929}, {"parameter": "", "name": "singleton", "value": 122540791367385816847328484466902844685204927676575001337492657801}, {"parameter": "8", "name": "ilp_2", "value": 107223193345197007407998284067134011916955457034958022906249028161}, {"parameter": "10", "name": "ilp_3", "value": 107223193345197007407998284067134011916955457034958022906249028161}, {"parameter": "", "name": "anticode", "value": 107223193345197007407998284067134011916955457034958022906249028161}, {"parameter": "", "name": "linear_programming_bound", "value": 107223193345197007407998284067134011916955457034958022906249028161}, {"parameter": "", "name": "sphere_packing", "value": 16447146727193329004058368902159475477287925292359143177690227084224353929}, {"parameter": "1", "name": "ilp_1", "value": 107223187753071699611430532672104706297916360232376487550181846839}, {"parameter": "2", "name": "ilp_1", "value": 107223187753071699611430532672104706297916360232376487550201232696}, {"parameter": "3", "name": "ilp_1", "value": 107223187753071699611430532672104706297916360232379089477164056036}, {"parameter": "4", "name": "ilp_1", "value": 107223187753071699611430532672104706297916369658706396615474415183}, {"parameter": "5", "name": "ilp_1", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "6", "name": "ilp_1", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "7", "name": "ilp_1", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "11", "name": "ilp_4", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "12", "name": "ilp_4", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "13", "name": "ilp_4", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "14", "name": "ilp_4", "value": 107223187753071699611430532672104706297916369658706396615474415183}, {"parameter": "15", "name": "ilp_4", "value": 107223187753071699611430532672104706297863167467384907991807386641}, {"parameter": "16", "name": "ilp_4", "value": 107223187753071699611430532672104706297863167467382317970500383208}, {"parameter": "17", "name": "ilp_4", "value": 107223187753071699611430532672104706297863167467382317970481086055}, {"parameter": "", "name": "johnson_1", "value": 107223187753071699611430532672104706297916360232376487550181846839}, {"parameter": "", "name": "johnson_2", "value": 107223187753071699611430532672104706297863167467382317970481086055}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 16447146727193329004058368902159475477287925292359143177690227084224353929}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 107223193345197007407998284067134011916955457034958022906249028161}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672104706297916369658706396615474415183}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672104706297863167467384907991807386641}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672104706297863167467382317970500383208}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672104706297863167467382317970481086055}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 107223193345197007407998284067134011916955457034958022906249028161}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 107223194044212639552757145716486018615271345587460905787753106107}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 107223199636338024819385749173177728666168665130565222227332241992}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 107223244373362105910101559580208833319496582440475037318098105934}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 107223602270898693044499761623056387160074499609333482125479733265}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 107226465537206068107475961760637131736677920753000609942966009660}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 107249377173946141702863618544179367205774565407096479190479350110}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 107433023358140506496292131702540673800676571241839956638537215869}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 108925148603503479816725440027504281238177244047474507862654984597}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 122540791367385816847328484466902844685204927676575001337492657801}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 16447146727193329004058368902159475477287925292359143177690227084224353929}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 107223193345197007407998284067134011916955457034958022906249028161}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672106973570088336077151331306821194753}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672104706297916369658706396615474415183}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672104706297863167467384907991807386641}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672104706297863167467382317970500383208}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672104706297863167467382317970481086055}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 107223193345197007407998284067134011916955457034958022906249028161}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 107223194044212639552757145716486018615271345587460905787753106107}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 107223199636338024819385749173177728666168665130565222227332241992}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 107223244373362105910101559580208833319496582440475037318098105934}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 107223602270898693044499761623056387160074499609333482125479733265}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 107226465537206068107475961760637131736677920753000609942966009660}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 107249377173946141702863618544179367205774565407096479190479350110}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 107433023358140506496292131702540673800676571241839956638537215869}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 108925148603503479816725440027504281238177244047474507862654984597}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 122540791367385816847328484466902844685204927676575001337492657801}, {"parameter": "", "name": "improved_johnson", "value": 107223187753071699611430532672104706297916360232376487550181846839}], "known_codes": [], "upper_bound": 107223187753071699611430532672104706297863167467382317970481086055, "classified": false, "lower_bound": 105342076388007705792562679545704178557661605228144984187966849024, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 105312291668557186697918027683670432318895095400549111254310977536}, {"parameter": "", "name": "sphere_covering", "value": 5592125385266645715653492031014667163204897808411152280312}, {"parameter": "", "name": "graham_sloane", "value": 6391000345071413092335406568674195419778152655915749559390}, {"parameter": "", "name": "multicomponent", "value": 105312291668557192543924577007282429652188084692425987432571207681}, {"parameter": "", "name": "CossidentePavese14_theorem311", "value": 105342076388007705792562679545704138086285816717655470742556780105}, {"parameter": "", "name": "XuChen2018", "value": 105342076388007705792562679545704137992842397924804136293464276991}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 105342076388007705792562679545704137992842397924804136293464276991}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 105342076388007705792562679545704137992842397924804136293464276992}, {"parameter": "", "name": "two_pivot_block_construction", "value": 105338008955899935614292508482442721298669351302876851444624916480}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 105342076388007705792562679545704137992842397924804136293464276991}, {"parameter": "(9,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 105342076388007705792562679545704137992842397934027508330319052800}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 105342076388007705792562679545704137994080337964089516568363401216}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 105342076388007705792562679545704178557661605228144984187966849024}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 105342076388007705792562679545704178557661605228144984187966849024}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 105342076388007705792562679545704137994080337964089516568363401216}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 105342076388007705792562679545704137992842397934027508330319052800}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 105342076388007705792562679545704137992842397924804136293464276992}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 105342076388007705792562679545704137992842397924804136293464276992}, {"parameter": "9", "name": "linkage_GLT", "value": 105312291668557186697918027683670432318895095400549111254310977537}, {"parameter": "9", "name": "improved_linkage", "value": 105312291668557192545577568956931241418685154638980207373595507809}, {"parameter": "10", "name": "improved_linkage", "value": 784637716923335139047911618468122306001113048507230936423}, {"parameter": "11", "name": "improved_linkage", "value": 797092242194230245466423726057009185393297374661030298688}, {"parameter": "12", "name": "improved_linkage", "value": 786364393430995927262669755032692556360756444236665434625}, {"parameter": "13", "name": "improved_linkage", "value": 784863098767856119563605263764288894001388711753004917897}, {"parameter": "14", "name": "improved_linkage", "value": 784832654347642653298177896975094623390284856677334286849}, {"parameter": "15", "name": "improved_linkage", "value": 784859203497011439840151960939899794463416024578626945025}, {"parameter": "16", "name": "improved_linkage", "value": 784859577747219292948815547027967632005679986638789279745}, {"parameter": "9,0", "name": "generalized_linkage", "value": 105342076388007705792562679545704137992842397924804136293464276992}, {"parameter": "9,1", "name": "generalized_linkage", "value": 105312291668560660786347694528427713625995137273931154548791967744}, {"parameter": "9,2", "name": "generalized_linkage", "value": 105312291668557241855250534150385007643210139382958345836925288448}, {"parameter": "9,3", "name": "generalized_linkage", "value": 105312291668557187548152216655376120217476921161581894369537687552}, {"parameter": "9,4", "name": "generalized_linkage", "value": 105312291668557186711174437133876917706538984945953883429907833344}, {"parameter": "9,5", "name": "generalized_linkage", "value": 105312291668557186698124752927101627298731467981501954550933962240}, {"parameter": "9,6", "name": "generalized_linkage", "value": 105312291668557186697921208179640093721867386547808221547854406239}, {"parameter": "9,7", "name": "generalized_linkage", "value": 105312291668557192545577568956931241418685154638980207373595507809}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1697128308390245184407579799873230995656345482175214256128}, {"parameter": "10,2", "name": "generalized_linkage", "value": 784637716936616767711403456023198787724560326175437619200}, {"parameter": "10,3", "name": "generalized_linkage", "value": 784637716923361448002561879625664848884575663865353469952}, {"parameter": "10,4", "name": "generalized_linkage", "value": 784637716923335146244348393960708520727358117955866735104}, {"parameter": "10,5", "name": "generalized_linkage", "value": 784637716923335095578241677182951505032566700564923861880}, {"parameter": "10,6", "name": "generalized_linkage", "value": 784637716923335095479663568420022460756741966156031948352}, {"parameter": "10,7", "name": "generalized_linkage", "value": 784637716923335139047911618468122306001113048507230936423}, {"parameter": "11,2", "name": "generalized_linkage", "value": 797092677514319312961025497773661249973503661202703646720}, {"parameter": "11,3", "name": "generalized_linkage", "value": 797092242194230246258266031359368599523153370533798346752}, {"parameter": "11,4", "name": "generalized_linkage", "value": 797092242194230245466619743802578789736806613190327280128}, {"parameter": "11,5", "name": "generalized_linkage", "value": 797092242194230245466423448655512489496688678002234213176}, {"parameter": "11,6", "name": "generalized_linkage", "value": 797092242194230245466423401469152512473685520090670552137}, {"parameter": "11,7", "name": "generalized_linkage", "value": 797092242194230245466423726057009185393297374661030298688}, {"parameter": "12,3", "name": "generalized_linkage", "value": 786364393430999170749038372746391705453095833854419927040}, {"parameter": "12,4", "name": "generalized_linkage", "value": 786364393430995927262669755769996323053013465310925562368}, {"parameter": "12,5", "name": "generalized_linkage", "value": 786364393430995927262669755032712951137219600550786841464}, {"parameter": "12,6", "name": "generalized_linkage", "value": 786364393430995927262669755032690138490711569301844331793}, {"parameter": "12,7", "name": "generalized_linkage", "value": 786364393430995927262669755032692556360756444236665434625}, {"parameter": "13,4", "name": "generalized_linkage", "value": 784863098767856119563605641266492975294565845412315800064}, {"parameter": "13,5", "name": "generalized_linkage", "value": 784863098767856119563605263764288894012078965907889474424}, {"parameter": "13,6", "name": "generalized_linkage", "value": 784863098767856119563605263764288894001370698560901588041}, {"parameter": "13,7", "name": "generalized_linkage", "value": 784863098767856119563605263764288894001388711753004917897}, {"parameter": "14,5", "name": "generalized_linkage", "value": 784832654347642653298177896975094624075616902903183068024}, {"parameter": "14,6", "name": "generalized_linkage", "value": 784832654347642653298177896975094623390284856677200335433}, {"parameter": "14,7", "name": "generalized_linkage", "value": 784832654347642653298177896975094623390284856677334286849}, {"parameter": "15,6", "name": "generalized_linkage", "value": 784859203497011439840151960939899794463416024578646118985}, {"parameter": "15,7", "name": "generalized_linkage", "value": 784859203497011439840151960939899794463416024578626945025}, {"parameter": "16,7", "name": "generalized_linkage", "value": 784859577747219292948815547027967632005679986638789279745}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792562679545704137992842397924804136293464276992}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 105312291668560660786347694528427713625995137273931154548791967744}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557241855250534150385007643210139382958345836925288448}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557187548152216655376120217476921161581894369537687552}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557186711174437133876917706538984945953883429907833344}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557186698124752927101627298731467981501954550933962240}, {"parameter": "[9, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557186697921208179640093721867386547808221547854406239}, {"parameter": "[9, 9],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557192545577568956931241418685154638980207373595507809}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1697128308390245184407579799873230995656345482175214256128}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637716936616767711403456023198787724560326175437619200}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716923361448002561879625664848884575663865353469952}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335146244348393960708520727358117955866735104}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335095578241677182951505032566700564923861880}, {"parameter": "[10, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335095479663568420022460756741966156031948352}, {"parameter": "[10, 8],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335139047911618468122306001113048507230936423}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 797092677514319312961025497773661249973503661202703646720}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 797092242194230246258266031359368599523153370533798346752}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 797092242194230245466619743802578789736806613190327280128}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 797092242194230245466423448655512489496688678002234213176}, {"parameter": "[11, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 797092242194230245466423401469152512473685520090670552137}, {"parameter": "[11, 7],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 797092242194230245466423726057009185393297374661030298688}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 786364393430999170749038372746391705453095833854419927040}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 786364393430995927262669755769996323053013465310925562368}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364393430995927262669755032712951137219600550786841464}, {"parameter": "[12, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 786364393430995927262669755032690138490711569301844331793}, {"parameter": "[12, 6],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 786364393430995927262669755032692556360756444236665434625}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 784863098767856119563605641266492975294565845412315800064}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784863098767856119563605263764288894012078965907889474424}, {"parameter": "[13, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 784863098767856119563605263764288894001370698560901588041}, {"parameter": "[13, 5],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 784863098767856119563605263764288894001388711753004917897}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784832654347642653298177896975094624075616902903183068024}, {"parameter": "[14, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 784832654347642653298177896975094623390284856677200335433}, {"parameter": "[14, 4],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 784832654347642653298177896975094623390284856677334286849}, {"parameter": "[15, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 784859203497011439840151960939899794463416024578646118985}, {"parameter": "[15, 3],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 784859203497011439840151960939899794463416024578626945025}, {"parameter": "[16, 2],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 784859577747219292948815547027967632005679986638789279745}, {"parameter": "[9, 2, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 29785504088241863986296665119056389644935402181534220887785472}, {"parameter": "[9, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017982926939943892823908206309381298039325458432}, {"parameter": "[9, 3, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979790897650349455028927848999206863488679936}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236018186421238340968741519143346759922176453771264}, {"parameter": "[9, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979747341531073429322669688104625986659680256}, {"parameter": "[9, 4, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979791589015385281211954669818637247823478784}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236031232350071767035050830214719426849392128163840}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979747343047224100544551179131929305179750400}, {"parameter": "[9, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979747341531449457499925909883003279847194624}, {"parameter": "[9, 5, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979790993500150199249474881762460784840933376}, {"parameter": "[9, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236866347016330096707804415815554373378174252744704}, {"parameter": "[9, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979747440246968335717912996961771966999560192}, {"parameter": "[9, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979747343071665931884138137506993519567306752}, {"parameter": "[9, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979747341531125561299261693148351594334519296}, {"parameter": "[9, 6, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979790910161555111015334071822203440825630720}, {"parameter": "[9, 7, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 29785504088290313481771446605052802101330041106964901573689344}, {"parameter": "[9, 7, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979753662336096966547312475290006184662138880}, {"parameter": "[9, 7, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979747441814258088832580894999625624459411456}, {"parameter": "[9, 7, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979747343050612678997789950643959204109352960}, {"parameter": "[9, 7, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979747341531080234072135325070662739112755200}, {"parameter": "[9, 7, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 29785504088236017979790908471550296397645514791620366984806400}, {"parameter": "", "name": "JohnsonLB", "value": 13167306842584212420871648743059863880525344172330233637643435041}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 13167306854854097620966347824626542078843268330877783114493886984}], "request": [8, 18, 4, 9], "liftedmrdsizebound": 105342675246460027617833780442836000132734777941630469148666237520, "comments": "", "equal_bound_constraints": []}