{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "", "name": "singleton", "value": 208236637980093164825596972398144064919402131047044800}, {"parameter": "7", "name": "ilp_2", "value": 178488578433745869088635016758666983840843713555427425}, {"parameter": "9", "name": "ilp_3", "value": 1249420075574901929205229152021472688459473002631049226}, {"parameter": "", "name": "anticode", "value": 178488578433745869088635016758666983840843713555427425}, {"parameter": "", "name": "linear_programming_bound", "value": 178488578433745869088635016758666983840843713555427425}, {"parameter": "", "name": "sphere_packing", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "1", "name": "ilp_1", "value": 178488551895065667735607691920376642777813252133274588}, {"parameter": "2", "name": "ilp_1", "value": 178488551895065667735607691920376642777813252140090693}, {"parameter": "3", "name": "ilp_1", "value": 178488551895065667735607691920376642777822719674147177}, {"parameter": "4", "name": "ilp_1", "value": 178488551895065667735607691920769794743861759518793158}, {"parameter": "5", "name": "ilp_1", "value": 178488551895065667735607691920769794743861759518793158}, {"parameter": "6", "name": "ilp_1", "value": 178488551895065667735607691920769794743861759518793158}, {"parameter": "10", "name": "ilp_4", "value": 1249420075574901929205229152021472688459473002631049226}, {"parameter": "11", "name": "ilp_4", "value": 1249420075574680957712677665614504608990799581327967753}, {"parameter": "12", "name": "ilp_4", "value": 1249420075574680957712677665614504608990799581327967753}, {"parameter": "13", "name": "ilp_4", "value": 1249420075574680957712677658040760571780944384617694954}, {"parameter": "14", "name": "ilp_4", "value": 1249420075574680957712677658040756767430359543385991827}, {"parameter": "15", "name": "ilp_4", "value": 1249420075574680957712677658040756767430331047323328866}, {"parameter": "16", "name": "ilp_4", "value": 1249420075574680957712677658040760407478868888078955837}, {"parameter": "", "name": "johnson_1", "value": 178488551895065667735607691920376642777813252133274588}, {"parameter": "", "name": "johnson_2", "value": 1249420075574680957712677658040760407478868888078955837}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1249420075574901929205229152021472688459473002631049226}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1249420075574901929205229152021472688459473002631049226}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1249420075574680957712677665614504608990799581327967753}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1249420075574680957712677665614504608990799581327967753}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1249420075574680957712677658040760571780944384617694954}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1249420075574680957712677658040756767430359543385991827}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1249420075574680957712677658040756767430331047323328866}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1249420075574680957712677658040760407478868888078955837}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 178488578433745869088635016758666983840843713555427425}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 178488582224982043966185155564424382048022077231390185}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 178488608763639777722725862894268030761692730168140146}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 178488794534464885356843229679536588392319457685499091}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 178490094941068326139363597229032973758491617416319514}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 178499198317880568866121803967362683819961564490769734}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 178562947965187220828896554646457051024707236319726244}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 179010473683416733026947517904490762987937424951381978}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 182207085888557777220038496776087152854204491008533865}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 208236637980093164825596972398144064919402131047044800}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 178488578433745869088635016758666983840843713555427425}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 178488551895065667735607691920769794743861759518793158}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 178488551895065667735607691920769794743861759518793158}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 178488551895065667735607691920769794743861759518793158}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 178488551895065667735607691920376642777822719674147177}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 178488551895065667735607691920376642746873350843502311}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 178488551895065667735607691920376642746873350836730894}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 1249420075574901929205229152021472688459473002631049226}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1249420261345671794214216120367660479107576322491168882}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1249421561742607651405299789110401861592342154748637701}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1249430664596952598383047365788435987957608311860385170}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1249494388291490955040059067408149409905368190000783447}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1249940636220931050534838923143134030971296210514823051}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1253073319052583557587701285570163283672919340675534698}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1275449624925031657365679374196107903986278817739871732}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1457656682593206254625520215609835679814733442935195206}, {"parameter": "", "name": "improved_johnson", "value": 178488551895065667735607691920376642777813252133274567}], "known_codes": [], "upper_bound": 178488551895065667735607691920376642746873350836730894, "classified": false, "lower_bound": 174337639457780160435944016251675115274177486729274446, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 174251498233690814305510551794710260107945042018748343}, {"parameter": "", "name": "sphere_covering", "value": 185770797486450920031416689804771421781871437585}, {"parameter": "", "name": "graham_sloane", "value": 216732554100846341408822827225378918525605881606}, {"parameter": "", "name": "multicomponent", "value": 174251498233727517673727847024579164562930954914805947}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 174253261354008023869038337944787913435709145579337828}, {"parameter": "", "name": "two_pivot_block_construction", "value": 174324103024621507321578103040232776252811644204220416}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 211692217258428253193267459078747441053499582401}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 174251498338294270308372107332807742757941186024551545}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 174251498338294270308372107355346891467402063546000393}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 174251498338294270308372107490582933211555612073179887}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 174251498338294270308372107332873263539073339738276687}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 174251498338294270308372107332807551188108700643510287}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1974707931011988919423879439441017839288806156229}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1974707931011988919423879505153368803927900922629}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1974707931011988919424037214823041286200235825829}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1974707931011988919423901978781297132651708646335}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1974707931011988919423879439632587671774187197487}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 174251498338294270308372107332807551176709805458137144}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 1974707931011988919423879439441006440393620783086}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 174251498338294270308372107332807551176709805458137144}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 1974707931011988919423879439441006440393620783086}, {"parameter": "8", "name": "linkage_GLT", "value": 174251498233690814305510551794710260107945042018748344}, {"parameter": "9", "name": "linkage_GLT", "value": 211587613802425391637729361787678676290060193602}, {"parameter": "8", "name": "improved_linkage", "value": 174251498233727535812555967795674953764217240783908614}, {"parameter": "9", "name": "improved_linkage", "value": 211587613802431761582234949760786957270608036869}, {"parameter": "10", "name": "improved_linkage", "value": 215995688325322416104326072881897305283090520355}, {"parameter": "11", "name": "improved_linkage", "value": 212294153658753699971063773301086292594543664804}, {"parameter": "12", "name": "improved_linkage", "value": 211694353223398053606499769607931649003590258404}, {"parameter": "13", "name": "improved_linkage", "value": 211690124135068271959939940952117668657890629155}, {"parameter": "14", "name": "improved_linkage", "value": 211691923486416479476799317327791777447313296069}, {"parameter": "15", "name": "improved_linkage", "value": 211692180536921207777266954371627713594695421072}, {"parameter": "8,0", "name": "generalized_linkage", "value": 174251498338294270308372107332807551176709805458137144}, {"parameter": "8,1", "name": "generalized_linkage", "value": 174251498235876294652807428984358754754817266044450844}, {"parameter": "8,2", "name": "generalized_linkage", "value": 174251498233734666992380170741946022129236387630479244}, {"parameter": "8,3", "name": "generalized_linkage", "value": 174251498233691706417811767684770269983527470240517446}, {"parameter": "8,4", "name": "generalized_linkage", "value": 174251498233690832459694935348784789287954667064794997}, {"parameter": "8,5", "name": "generalized_linkage", "value": 174251498233690814668597388613224727279960933245814619}, {"parameter": "8,6", "name": "generalized_linkage", "value": 174251498233727535812555967795674953764217240783908614}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1974707931011988919423879439441006440393620783086}, {"parameter": "9,1", "name": "generalized_linkage", "value": 211587620062257814474151508994250526704339102402}, {"parameter": "9,2", "name": "generalized_linkage", "value": 211587613821062482762714647069101001856278902502}, {"parameter": "9,3", "name": "generalized_linkage", "value": 211587613802478777018703708232504366290141510102}, {"parameter": "9,4", "name": "generalized_linkage", "value": 211587613802425546390827107463729988842985562704}, {"parameter": "9,5", "name": "generalized_linkage", "value": 211587613802425392079714461496233238032190855201}, {"parameter": "9,6", "name": "generalized_linkage", "value": 211587613802431761582234949760786957270608036869}, {"parameter": "10,1", "name": "generalized_linkage", "value": 216010724429375117512361964710054168843643067386}, {"parameter": "10,2", "name": "generalized_linkage", "value": 215995688325330023076766683937659600519250262502}, {"parameter": "10,3", "name": "generalized_linkage", "value": 215995688325322419336324371094823505253543168202}, {"parameter": "10,4", "name": "generalized_linkage", "value": 215995688325322416104540755078030295982429310202}, {"parameter": "10,5", "name": "generalized_linkage", "value": 215995688325322416103221647022362754447613331204}, {"parameter": "10,6", "name": "generalized_linkage", "value": 215995688325322416104326072881897305283090520355}, {"parameter": "11,2", "name": "generalized_linkage", "value": 212294153661363047030720443851402720069749402986}, {"parameter": "11,3", "name": "generalized_linkage", "value": 212294153658753699971252224913168875327011175702}, {"parameter": "11,4", "name": "generalized_linkage", "value": 212294153658753699971063784522445267665263014202}, {"parameter": "11,5", "name": "generalized_linkage", "value": 212294153658753699971063773110062221645344288909}, {"parameter": "11,6", "name": "generalized_linkage", "value": 212294153658753699971063773301086292594543664804}, {"parameter": "12,3", "name": "generalized_linkage", "value": 211694353223398053615733986249012102925313705704}, {"parameter": "12,4", "name": "generalized_linkage", "value": 211694353223398053606499769608026645884034626704}, {"parameter": "12,5", "name": "generalized_linkage", "value": 211694353223398053606499769607931616467431123260}, {"parameter": "12,6", "name": "generalized_linkage", "value": 211694353223398053606499769607931649003590258404}, {"parameter": "13,4", "name": "generalized_linkage", "value": 211690124135068271959939940952782880327223658455}, {"parameter": "13,5", "name": "generalized_linkage", "value": 211690124135068271959939940952117668657885705054}, {"parameter": "13,6", "name": "generalized_linkage", "value": 211690124135068271959939940952117668657890629155}, {"parameter": "14,5", "name": "generalized_linkage", "value": 211691923486416479476799317327791777447314256868}, {"parameter": "14,6", "name": "generalized_linkage", "value": 211691923486416479476799317327791777447313296069}, {"parameter": "15,6", "name": "generalized_linkage", "value": 211692180536921207777266954371627713594695421072}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 174251498338294270308372107332807551176709805458137144}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 174251498235876294652807428984358754754817266044450844}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 174251498233734666992380170741946022129236387630479244}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 174251498233691706417811767684770269983527470240517446}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690832459694935348784789287954667064794997}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690814668597388613224727279960933245814619}, {"parameter": "[8, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 174251498233727535812555967795674953764217240783908614}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1974707931011988919423879439441006440393620783086}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 211587620062257814474151508994250526704339102402}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 211587613821062482762714647069101001856278902502}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587613802478777018703708232504366290141510102}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802425546390827107463729988842985562704}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802425392079714461496233238032190855201}, {"parameter": "[9, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 211587613802431761582234949760786957270608036869}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 216010724429375117512361964710054168843643067386}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 215995688325330023076766683937659600519250262502}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 215995688325322419336324371094823505253543168202}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 215995688325322416104540755078030295982429310202}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 215995688325322416103221647022362754447613331204}, {"parameter": "[10, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 215995688325322416104326072881897305283090520355}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 212294153661363047030720443851402720069749402986}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 212294153658753699971252224913168875327011175702}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 212294153658753699971063784522445267665263014202}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212294153658753699971063773110062221645344288909}, {"parameter": "[11, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212294153658753699971063773301086292594543664804}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 211694353223398053615733986249012102925313705704}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 211694353223398053606499769608026645884034626704}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211694353223398053606499769607931616467431123260}, {"parameter": "[12, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 211694353223398053606499769607931649003590258404}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 211690124135068271959939940952782880327223658455}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211690124135068271959939940952117668657885705054}, {"parameter": "[13, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 211690124135068271959939940952117668657890629155}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211691923486416479476799317327791777447314256868}, {"parameter": "[14, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 211691923486416479476799317327791777447313296069}, {"parameter": "[15, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692180536921207777266954371627713594695421072}, {"parameter": "[8, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 211692253961796470487392900308958473087159771203}, {"parameter": "[8, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 211692253961796470487392900308958473087159771203}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 211692217258791161121639273673934702856435350459}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 211692217258791161121639273673934702856435350459}, {"parameter": "[8, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 211692217258434619999028368106733182488638806403}, {"parameter": "[8, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 211692217258434619999028368106733182488638806403}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 211692217276573646465343744917180609876490561603}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 211692217276573646465343744917180609876490561603}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428253256219836510650917892901636859}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428253256219836510650917892901636859}, {"parameter": "[8, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 211692217258434752640792044801602803755072846503}, {"parameter": "[8, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 211692217258434752640792044801602803755072846503}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 211692218150090738204688970782588478430341036803}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 211692218150090738204688970782588478430341036803}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428256340885784858993079789887676803}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428256340885784858993079789887676803}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428253257531344146312861395966562559}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428253257531344146312861395966562559}, {"parameter": "[8, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 211692217258434641259261643308715058479929468503}, {"parameter": "[8, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 211692217258434641259261643308715058479929468503}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 211692260965168234749179761502588791266666571203}, {"parameter": "[8, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692260965168234749179761502588791266666571203}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428407866860703914347439013713192003}, {"parameter": "[8, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428407866860703914347439013713192003}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428256406461155270947889888664756903}, {"parameter": "[8, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428256406461155270947889888664756903}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428253256430049022181933962134816559}, {"parameter": "[8, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428253256430049022181933962134816559}, {"parameter": "[8, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 211692217258434623210885376898464898760079300305}, {"parameter": "[8, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692217258434623210885376898464898760079300305}, {"parameter": "[8, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 211694358137143388313623734032495819088055404803}, {"parameter": "[8, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692217258435834849595501610016503739505606403}, {"parameter": "[8, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428411089226670875697112619969792103}, {"parameter": "[8, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428256351396408612941916982110178903}, {"parameter": "[8, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692217258428253256251594042177353707048122073}, {"parameter": "[8, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 211692217258434623083629421516362655044949888256}, {"parameter": "[9, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912938111886036427911524537572360002287}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745522046588581107054659340458686}, {"parameter": "[9, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745081379946557782716783526077487}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931899755344465984751694248603432687}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745080275595516031348363786538686}, {"parameter": "[9, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745081402955463671522809895637587}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912984952788437149642692669064567592687}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745080302349830339405770215587887}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745080275597112541332927418578686}, {"parameter": "[9, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745081383634496581506539126659587}, {"parameter": "[9, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 1763120353931188487471423016110022080027036967087}, {"parameter": "[9, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745089505275151210613283011747887}, {"parameter": "[9, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745080302908808300787822592187987}, {"parameter": "[9, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745080275595771924920321587378686}, {"parameter": "[9, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 1763120353912931745081380503707458619166230401789}, {"parameter": "", "name": "JohnsonLB", "value": 174337639457780160435944016251675115274177486729274446}, {"parameter": "", "name": "JohnsonLB_special", "value": 174337639457780160435944016251675115274177486729274446}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 3557669327965985885874243913156811057237726901148781}], "request": [7, 17, 4, 8], "liftedmrdsizebound": 174339991079371281794323685970370563768246303857119316, "comments": "", "equal_bound_constraints": []}