{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "", "name": "singleton", "value": 95030372653688550}, {"parameter": "2", "name": "ilp_2", "value": 79792282116228682}, {"parameter": "3", "name": "ilp_2", "value": 22539372127845845843828154}, {"parameter": "4", "name": "ilp_2", "value": 6366868871609193609238795149585652}, {"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": "14", "name": "ilp_3", "value": 107007965503935626058134307830085289706}, {"parameter": "15", "name": "ilp_3", "value": 2651734600856349756137662623659}, {"parameter": "16", "name": "ilp_3", "value": 65712375623475595914577}, {"parameter": "", "name": "anticode", "value": 79792282116228682}, {"parameter": "", "name": "linear_programming_bound", "value": 79792282116228682}, {"parameter": "", "name": "sphere_packing", "value": 261312267971047686824947089609240703}, {"parameter": "1", "name": "ilp_1", "value": 79792270252265578}, {"parameter": "17", "name": "ilp_4", "value": 65712365852992036889598}, {"parameter": "18", "name": "ilp_4", "value": 65712365852992036889598}, {"parameter": "", "name": "johnson_1", "value": 79792270252265578}, {"parameter": "", "name": "johnson_2", "value": 65712365852992036889598}, {"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": 107007965503935626058134307830085289706}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2651734600856349756137662623659}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 65712375623475595914577}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 65712365852992036889598}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 65712365852992036889598}, {"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": 31462252811812367016037103509806531697290}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 5457362717023654872903484540897863}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 946709984485822240844744757}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 947047109457418435085307053}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 949420660756249066473747672}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 8214049166559432294214}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 79792327029800992}, {"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": 215830872315384564491751242034467786909762}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 261967179576587646579695154263908867}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 318081477146606175019219096296}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 318097699983039437741924507246}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 318227535643754672272541635338}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 18988482328325814501931568}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1152854894556432248820}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 79792704134779240}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 3703044782034689233474374821074045452448054229}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 30833013101843384605049839905207382605383}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 261312267971047686824947089609240703}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 2220195244971538957781888980232}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 2220100832275177321074767758689}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 2220232547859277421430708997977}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 925108125164674151582175332}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 386427042657222725197098}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 164287578469428868505}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 79797692410788822}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1798589884190150002785121446008073549395012}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 91727350599470687229899575550190509972}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 5346312559446725327613521829295427}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 317173052379181951618638222661}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 317060208280308619762710245384}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 317062902010686687457741623740}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 924546615939980880151578788}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 2696669072637467362004203}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 7886565984169959260385}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 23471693993056790630}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 79830255264436440}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 6366868871609193609238795149585652}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 2273069937215055275457006245234}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 927405138115213450229456422}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 925087748505393085023084006}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 925088871341211243081294267}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 18898614437095103555142505}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 386258927463331687354369}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 7886051568854475266235}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 161410690278023034454}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 3362707506961789159}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 80058919306744736}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 22539372127845845843828154}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 56348430518595169135705}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 55362686404975152651044}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 55362695984459308741508}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 8046913232693255401132}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 1149099763012763616697}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 164224286314405196409}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 23470167629634723268}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 3362684160839093114}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 490365657570133452}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 81692776532238950}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 79792282116228682}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 79792282393747943}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 79792284336382824}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 79792297934829298}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 79792393124067931}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 79793059454290533}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 79797724037921286}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 79830389460332941}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 80059702801979510}, {"parameter": "7, 11", "name": "Ahlswede_Aydinian", "value": 81697665220702386}, {"parameter": "7, 12", "name": "Ahlswede_Aydinian", "value": 95030372653688550}, {"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": 6366868871609193609238795149585652}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 22539372127845845843828154}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 79792282116228682}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 79792270252265578}, {"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": 91727350599470687229899575550190509972}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 2273069937215055275457006245234}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 56348430518595169135705}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 56489601457288247640963}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 57498344318579877067082}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 65712393303396635445248}, {"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": 30833013101843384605049839905207382605383}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 5346312559446725327613521829295427}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 927405138115213450229456422}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 927778198809253603503448693}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 930435636861747400447745936}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 949424116357324772216148749}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 65712728757085074885851}, {"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": 215830872315384564491751242034467786909762}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 261312267971047686824947089609240703}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 317173052379181951618638222661}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 317180314877018542834213617917}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 317312087891929190466057424135}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 318237195053832575591609927077}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 135297768250492082968087605}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 65715029730223970999413}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 4318414327221944730615762926479352150838631064}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 31462252811812367016037103509806531697290}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 261967179576587646579695154263908867}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 2220195244971538957781888980232}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 2219704412693490932656941770863}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 2219836431605426036420554649484}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 2220760971485084572436301508197}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 6493626436492620607609138985}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 19329973167198097027248587}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 65744203237984062174657}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 107007965503935626058134307830085289706}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 5457362717023654872903484540897863}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 318081477146606175019219096296}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 317626325617133741337275740877}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 317629013808087219768616953298}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 317647911458694500554835240181}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 6494558571966479742952756756}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 132928392002230685885718930}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 2769343329387351712764221}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 65935887098869549216204}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 2651734600856349756137662623659}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 946709984485822240844744757}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 946710148648317104982195204}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 946711297787175952965617580}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 946719341827533621580831458}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 135198482128158549082643238}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 19328873335118589095069286}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 2769315481893304816746094}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 403858307465630728885224}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 67305536519895750204479}, {"parameter": "7, 3, o", "name": "Ahlswede_Aydinian", "value": 65712375623475595914577}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 65712377247816555370700}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 65712388618205238410264}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 65712468211022395292300}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 65713025365464938139935}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 65716925677976256114708}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 65744239209528885102470}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 65935991405684602018801}, {"parameter": "7, 11, o", "name": "Ahlswede_Aydinian", "value": 67306140476458313116372}, {"parameter": "7, 12, o", "name": "Ahlswede_Aydinian", "value": 78490432990886231801200}, {"parameter": "", "name": "improved_johnson", "value": 79792270252265536}], "known_codes": [], "upper_bound": 79792270252265536, "classified": false, "lower_bound": 79792266297612002, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 79792266297612001}, {"parameter": "", "name": "sphere_covering", "value": 98832}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 79792266297612002}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7, 8), (10, 11, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 79792266297612002}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 79792266297612001}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 79792266297612002}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 1628413597910450}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 79792266297612002}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 1628413597910450}, {"parameter": "", "name": "construction_1", "value": 79792266297612002}, {"parameter": "9", "name": "linkage_GLT", "value": 79792266297612002}, {"parameter": "10", "name": "linkage_GLT", "value": 1628413597910450}, {"parameter": "9", "name": "improved_linkage", "value": 79792266297612002}, {"parameter": "10", "name": "improved_linkage", "value": 1628413597910450}, {"parameter": "11", "name": "improved_linkage", "value": 40353608}, {"parameter": "9,0", "name": "generalized_linkage", "value": 79792266297612002}, {"parameter": "9,1", "name": "generalized_linkage", "value": 79792266297612002}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1628413597910450}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1628413597910450}, {"parameter": "11,1", "name": "generalized_linkage", "value": 40353608}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792266297612002}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792266297612002}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1628413597910450}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628413597910450}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40353608}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 13841287208}], "request": [7, 19, 16, 9], "liftedmrdsizebound": 79792266297612002, "comments": "", "equal_bound_constraints": []}