{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "", "name": "singleton", "value": 2149207789489010647406518443408592558383021}, {"parameter": "5", "name": "ilp_2", "value": 1798589884190150002785121446008073549395012}, {"parameter": "6", "name": "ilp_2", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "7", "name": "ilp_2", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "8", "name": "ilp_2", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "10", "name": "ilp_3", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "11", "name": "ilp_3", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "12", "name": "ilp_3", "value": 174336204453177705031744800404702901452809419500220008}, {"parameter": "13", "name": "ilp_3", "value": 4318414327221944730615762926479352150838631064}, {"parameter": "", "name": "anticode", "value": 1798589884190150002785121446008073549395012}, {"parameter": "", "name": "linear_programming_bound", "value": 1798589884190150002785121446008073549395012}, {"parameter": "", "name": "sphere_packing", "value": 178265698314250001433136615845768556856005965595}, {"parameter": "1", "name": "ilp_1", "value": 1798589884190149555142706586166667972614536}, {"parameter": "2", "name": "ilp_1", "value": 1798589884190149555142706586166668092225520}, {"parameter": "3", "name": "ilp_1", "value": 1798589884190149555142707558092902604528881}, {"parameter": "4", "name": "ilp_1", "value": 1798589884190150002785121446008073549395012}, {"parameter": "14", "name": "ilp_4", "value": 4318290717740393111038979446739840843587814253}, {"parameter": "15", "name": "ilp_4", "value": 4318290717740343737899100130111387175770649902}, {"parameter": "16", "name": "ilp_4", "value": 4318290717740343737898086579063170621266243435}, {"parameter": "17", "name": "ilp_4", "value": 4318290717740343737898086579038053911934750287}, {"parameter": "18", "name": "ilp_4", "value": 4318290717740343737898086579062480116595183142}, {"parameter": "", "name": "johnson_1", "value": 1798589884190149555142706586166667972614536}, {"parameter": "", "name": "johnson_2", "value": 4318290717740343737898086579062480116595183142}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 174336204453177705031744800404702901452809419500220008}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 4318414327221944730615762926479352150838631064}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 4318290717740393111038979446739840843587814253}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 4318290717740343737899100130111387175770649902}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 4318290717740343737898086579063170621266243435}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 4318290717740343737898086579038053911934750287}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 4318290717740343737898086579062480116595183142}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6173707140496789605410811742574515386483937410725151138259271}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1049075808009556338976210623171027141244511350515018243}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 181449009950865549304230592433403936475804718660}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 181449198803042718491990231473066759024208961854}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 181450520779220013246344021638955233019734705680}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 181459775152341782784821334900569352701397311688}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 181524582205256298834215802400442827991854637605}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 181979530964996266380592240967741155565551783635}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 540026626343054593559465444922807604037166175}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1799339080006908842271302774551433474693365}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 149867991217930664506524991731234113196816268264199103}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 178265698314250001433136615845768556856005965595}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 178264429834530304119139479602158496259183703382}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 178264641874201074030284644262934208793826691741}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 178266126186779317573014331784105454795845899683}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 178276516991266643360012050696203660530035516713}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 178349282840799054281401707241638490837815964445}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 3650217443239431948356039432847439808315789826}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 76014837938570395851810741727606540278745134}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1804600126545575982182336481891047149729355}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 3703044782034689233474374821074045452448054229}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 3703044873531390491066485772615406650906500017}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 3703045514008410348355471431506002909604017009}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 3703049997352991009051783836480185440308972113}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 3703081381031699224202417069528424132905415706}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 3703301079848970033827594013305701579924578937}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 529258394875595229160851505425646851779444008}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 75829314185690999981265311855622382635300009}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 11057780128263420132645972675856703938468541}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1798589884190150002785121446008073549395012}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1798589890554421235203870877388135519536766}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1798589935104320965994302705188549829976811}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 1798590246953673170636812115340020508287273}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1798592429901788972717257780100806648293953}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1798607710668468800637090578509791625219099}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 1798714682399197674973196431785005342660172}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 1799463796478755945239955507720280150911534}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 1804722925987652832246181946293079467757529}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 1842303698468643178914025264628293075941454}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 2149207789489010647406518443408592558383021}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1798589884190150002785121446008073549395012}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1798589884190150002785121446008073549395012}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1798589884190149555142707558092902604528881}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1798589884190149555142706586166668092225520}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1798589884190149555142706586166664017960952}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 6173707140496789605410811742574515386483937410725151138259271}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 149867991217930664506524991731234113196816268264199103}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 3703044782034689233474374821074045452448054229}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 3703071210551130423806246273285044216643199669}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3703260075300013382453578213280403225742398208}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3704582668155944466458849564603169288511496189}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 3713867336299397012133146237293940078257808729}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 3780186394438154854037305285269857382217337000}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 4320213008832670904996417304467222791737574296}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1049075808009556338976210623171027141244511350515018243}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 178265698314250001433136615845768556856005965595}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 178265166039050073264248121040663875114908413139}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 178266650357316947548339383025414301877007907271}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 178277041201627644941986509244426115550386613051}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 178349807330069278520022759283033350475912839296}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 178860655251945355083351357667527854650638595171}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 182510872150636381362103851915578865906028655530}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 4332845747159677930584464684965896560935741044}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 174336204453177705031744800404702901452809419500220008}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 181449009950865549304230592433403936475804718660}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 181447719370309911060828318670924861648315788983}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 181447939052164616037726262492747425627824000463}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 181449476849220340081727126921093974513107514386}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 181460242068862932582243336473534293396848631986}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 181535629991804485956914246016623054961718523088}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 182064887835594094793985115316570652677820875745}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 26549738617517045116652337504663057040390338970}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 4423111939740045691165284391519488792388767088}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 4318414327221944730615762926479352150838631064}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 4318414434190930059520204716445515121175004499}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 4318415182973957241851365056435040866137596718}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 4318420424461511645900421213914735464373050501}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 4318457115186237383652698093583442327764885706}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 4318713965540627316493509046299300554252502711}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 4320512667117523632270024341624333764678046080}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 4333140391192794803719984570515382368265850419}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 4423375877865066598560661968378267300579982269}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 5160291746051272234978893428859106387360586971}, {"parameter": "", "name": "improved_johnson", "value": 1798589884190149555142706586166667972614515}], "known_codes": [], "upper_bound": 1798589884190149555142706586166664017960952, "classified": false, "lower_bound": 1798465042647412146620280340569649631726842, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1798465042647412146620280340569649349251249}, {"parameter": "", "name": "sphere_covering", "value": 18863648755372954531336878}, {"parameter": "", "name": "graham_sloane", "value": 4863002812172}, {"parameter": "", "name": "multicomponent", "value": 1798465042647412146620280340569649389604857}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1798465042647412146620280340569649356137033}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1798465042647412092786324660206101831090176}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1798465042647412146620280340569649349251250}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 107006904423598033356356300384937784808}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1798465042647412146620280340569649349251250}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 107006904423598033356356300384937784808}, {"parameter": "9", "name": "linkage_GLT", "value": 1798465042647412146620280340569649349251250}, {"parameter": "10", "name": "linkage_GLT", "value": 107006904423598033356356300384937784808}, {"parameter": "9", "name": "improved_linkage", "value": 1798465042647412146620280340569649389604857}, {"parameter": "10", "name": "improved_linkage", "value": 107006904423598033356356300384937784808}, {"parameter": "11", "name": "improved_linkage", "value": 2651730845859653471779023381602}, {"parameter": "12", "name": "improved_linkage", "value": 65712362363534280139544}, {"parameter": "13", "name": "improved_linkage", "value": 1628413597910450}, {"parameter": "14", "name": "improved_linkage", "value": 1628413638264057}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1798465042647412146620280340569649631726842}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1798465042647412146620280340569649349369242}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1798465042647412146620280340569649349251250}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1798465042647412146620280340569649349251250}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1798465042647412146620280340569649389604857}, {"parameter": "10,0", "name": "generalized_linkage", "value": 107006904423598033356356300398779189770}, {"parameter": "10,1", "name": "generalized_linkage", "value": 107006904423598033356356300384937902800}, {"parameter": "10,2", "name": "generalized_linkage", "value": 107006904423598033356356300384937784808}, {"parameter": "10,3", "name": "generalized_linkage", "value": 107006904423598033356356300384937784808}, {"parameter": "10,4", "name": "generalized_linkage", "value": 107006904423598033356356300384937784808}, {"parameter": "11,1", "name": "generalized_linkage", "value": 2651730845859653471779024207546}, {"parameter": "11,2", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "11,3", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "11,4", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "12,2", "name": "generalized_linkage", "value": 65712362363534280139544}, {"parameter": "12,3", "name": "generalized_linkage", "value": 65712362363534280139544}, {"parameter": "12,4", "name": "generalized_linkage", "value": 65712362363534280139544}, {"parameter": "13,3", "name": "generalized_linkage", "value": 1628413597910450}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1628413597910450}, {"parameter": "14,4", "name": "generalized_linkage", "value": 1628413638264057}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1798465042647412146620280340569649631726842}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1798465042647412146620280340569649349369242}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1798465042647412146620280340569649349251250}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1798465042647412146620280340569649349251250}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1798465042647412146620280340569649389604857}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 107006904423598033356356300398779189770}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 107006904423598033356356300384937902800}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 107006904423598033356356300384937784808}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 107006904423598033356356300384937784808}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 107006904423598033356356300384937784808}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779024207546}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280139544}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280139544}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280139544}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1628413597910450}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1628413597910450}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1628413638264057}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1628413920739649}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 107006904423598033356356533015451772021}], "request": [7, 19, 10, 9], "liftedmrdsizebound": 1798465042647412146621882933045464963266465, "comments": "", "equal_bound_constraints": []}