{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2122605755496989866141807971203282490337105187301}, {"parameter": "", "name": "singleton", "value": 1753501675591663698472421}, {"parameter": "4", "name": "ilp_2", "value": 1210495424694010438389461}, {"parameter": "5", "name": "ilp_2", "value": 1274274078835901677662057558815}, {"parameter": "6", "name": "ilp_2", "value": 1357382294937297224884018746232351944}, {"parameter": "7", "name": "ilp_2", "value": 1518206306623763137385502171304707235269201}, {"parameter": "9", "name": "ilp_3", "value": 24291387778773301588924456932322615789898321}, {"parameter": "10", "name": "ilp_3", "value": 347491420910854754150982861488056874184}, {"parameter": "11", "name": "ilp_3", "value": 5219451126297706558518047044705063}, {"parameter": "12", "name": "ilp_3", "value": 79331404956419475605581855892}, {"parameter": "", "name": "anticode", "value": 1210495424694010438389461}, {"parameter": "", "name": "linear_programming_bound", "value": 1210495424694010438389461}, {"parameter": "", "name": "sphere_packing", "value": 56891829523972188330216248978}, {"parameter": "1", "name": "ilp_1", "value": 1210495424682168633823381}, {"parameter": "2", "name": "ilp_1", "value": 1210495424682168640490898}, {"parameter": "3", "name": "ilp_1", "value": 1210495424694010438389461}, {"parameter": "13", "name": "ilp_4", "value": 79292632272233698201181672874}, {"parameter": "14", "name": "ilp_4", "value": 79292632121404135826761866900}, {"parameter": "15", "name": "ilp_4", "value": 79292632121401834912166968983}, {"parameter": "16", "name": "ilp_4", "value": 79292632121401834912166968983}, {"parameter": "17", "name": "ilp_4", "value": 309746293109832168366994687}, {"parameter": "", "name": "johnson_1", "value": 1210495424682168633823381}, {"parameter": "", "name": "johnson_2", "value": 309746293109832168366994687}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 2122605755496989866141807971203282490337105187301}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 24291387778773301588924456932322615789898321}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 347491420910854754150982861488056874184}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 5219451126297706558518047044705063}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 79331404956419475605581855892}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 79292632272233698201181672874}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 79292632121404135826761866900}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 79292632121401834912166968983}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 79292632121401834912166968983}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 309746293109832168366994687}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1518206306623763137385502171304707235269201}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 69499079536775477264383132722562065769}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 3976795777508450601377531804262377}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 238934745799710622181489780021}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 238506280832603223561983450348}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 238549958880022149035493905862}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 238724840865278627262196716638}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 239426940482607328168597406862}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 3792497417351887653121735156}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 62219570472841275023478332}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 1215212306023598542928617}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1357382294937297224884018746232351944}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 248559514431526749037042237736300}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 56891829523972188330216248978}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 56892643231506760741375869208}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 56895885738593742754081986691}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 56908908964517693508436604180}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 56961051995954233962268848556}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 3572293837784780159775991592}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 226603812870934898813629600}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 15049316827429110707513588}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1234434287690006888096733}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 1274274078835901677662057558815}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 933534999424880349608492292}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 930803359359405290448408835}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 930815452210685089949358763}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 930871337614372308662038658}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 931094940781519759659733987}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 233639894315464944709696972}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 58621866513538835986924548}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 14886842929249490135219205}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 3965697585753564308711538}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 1316412127738043109603921}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 1210495424694010438389461}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1210496571231883455925149}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1210501157400792561272615}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1210519502355105781283995}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 1210592886631458517903899}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1210886495099820422001807}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1212062071892172913313237}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 1216782737190111458296449}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 1235963771977727426740828}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 1317778805181819032312858}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 1753501675591663698472421}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2122605755496989866141807971203282490337105187301}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1518206306623763137385502171304707235269201}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1357382294937297224884018746232351944}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1274274078835901677662057558815}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1210495424694010438389461}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1210495424694010438389461}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1210495424682168640490898}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1210495424682168633823381}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 24291387778773301588924456932322615789898321}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 69499079536775477264383132722562065769}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 248559514431526749037042237736300}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 933534999424880349608492292}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 934208715995670197103711808}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 936956380712188566144162451}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 948110590920715896298391547}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 995515975796998040347931267}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1244394020351851512938451870}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 347491420910854754150982861488056874184}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 3976795777508450601377531804262377}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 56891829523972188330216248978}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 56898667428095730743673211923}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 56950810037625277896589366956}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 57160185608402920512545865255}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 58010773690610632243156527536}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 61636402260716658070811231868}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 80897469368059637672158022025}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 5219451126297706558518047044705063}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 238934745799710622181489780021}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 238905348518172946511430079951}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 238962772554594496248102855713}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 239192702366792487422371296497}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 240116014075803094462075560145}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 243867651681995130239368867387}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 259870673252726472925952472326}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 86298617264263059684245841515}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 79331404956419475605581855892}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 79332610526668668770373469506}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 79337433101660833528933308978}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 79356728106703917652087009736}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 79433983481620559466508904782}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 79744215383075177180665685190}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 81004816673199282208948356489}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 86382975689192317076711362999}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 115057361291389776393497498085}, {"parameter": "", "name": "improved_johnson", "value": 1210495424682168633823373}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 309747179304465755279963087}], "known_codes": [], "upper_bound": 1210495424682168633823373, "classified": false, "lower_bound": 1208925819614646358791297, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1208925819614629174706176}, {"parameter": "", "name": "sphere_covering", "value": 194578605478103}, {"parameter": "", "name": "graham_sloane", "value": 285543}, {"parameter": "", "name": "multicomponent", "value": 1208925819614629174771713}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 2, 4, 8, 9, 10, 11, 12), (1, 3, 5, 8, 9, 10, 13, 15), (1, 3, 6, 8, 11, 12, 14, 16), (2, 6, 7, 8, 9, 13, 14, 17), (4, 5, 6, 10, 11, 13, 16, 17), (0, 5, 7, 9, 11, 14, 15, 16), (3, 4, 7, 10, 12, 14, 15, 17), (0, 1, 2, 12, 13, 15, 16, 17)]", "name": "ef_computation", "value": 1208925819614646358791297}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1208925819614629174706177}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1208925819614629174706177}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 4722366482869645213697}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 18446744073709551617}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1208925819614629174706177}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 4722366482869645213697}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 18446744073709551617}, {"parameter": "8", "name": "linkage_GLT", "value": 1208925819614629174706177}, {"parameter": "9", "name": "linkage_GLT", "value": 4722366482869645213697}, {"parameter": "10", "name": "linkage_GLT", "value": 18446744073709551617}, {"parameter": "8", "name": "improved_linkage", "value": 1208925819614629174771713}, {"parameter": "9", "name": "improved_linkage", "value": 4722366482869645213697}, {"parameter": "10", "name": "improved_linkage", "value": 18446744073709551617}, {"parameter": "11", "name": "improved_linkage", "value": 281474976710657}, {"parameter": "12", "name": "improved_linkage", "value": 4294967297}, {"parameter": "13", "name": "improved_linkage", "value": 4295032833}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1208925819614629174707201}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1208925819614629174706177}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1208925819614629174706177}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1208925819614629174771713}, {"parameter": "9,0", "name": "generalized_linkage", "value": 4722366482869645217857}, {"parameter": "9,1", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "9,2", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "9,3", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "10,0", "name": "generalized_linkage", "value": 18446744073709568257}, {"parameter": "10,1", "name": "generalized_linkage", "value": 18446744073709551617}, {"parameter": "10,2", "name": "generalized_linkage", "value": 18446744073709551617}, {"parameter": "10,3", "name": "generalized_linkage", "value": 18446744073709551617}, {"parameter": "11,1", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "11,2", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "11,3", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4294967297}, {"parameter": "12,3", "name": "generalized_linkage", "value": 4294967297}, {"parameter": "13,3", "name": "generalized_linkage", "value": 4295032833}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614629174707201}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614629174706177}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614629174706177}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614629174771713}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645217857}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18446744073709568257}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18446744073709551617}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446744073709551617}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18446744073709551617}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4294967297}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4294967297}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4295032833}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4295033857}, {"parameter": "", "name": "JohnsonLB", "value": 1208921207933009850789905}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 295147905196532715780}], "request": [4, 18, 10, 8], "liftedmrdsizebound": 1208925819615826347604561, "comments": "", "equal_bound_constraints": []}