{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 543959438081999965602054955428186322207689611643379103556}, {"parameter": "", "name": "singleton", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "8", "name": "ilp_2", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "10", "name": "ilp_3", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "", "name": "anticode", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "", "name": "linear_programming_bound", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "", "name": "sphere_packing", "value": 543959438081999965602054955428186322207689611643379103556}, {"parameter": "1", "name": "ilp_1", "value": 222805352347396524114869936804773290378496532420544}, {"parameter": "2", "name": "ilp_1", "value": 222805352347396524114869936804773290378496532918545}, {"parameter": "3", "name": "ilp_1", "value": 222805352347396524114869936804773290379469204606749}, {"parameter": "4", "name": "ilp_1", "value": 222805352347396524114869936804773408644530380047284}, {"parameter": "5", "name": "ilp_1", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "6", "name": "ilp_1", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "7", "name": "ilp_1", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "11", "name": "ilp_4", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "12", "name": "ilp_4", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "13", "name": "ilp_4", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "14", "name": "ilp_4", "value": 222805352347396524114869936804773408644530380047284}, {"parameter": "15", "name": "ilp_4", "value": 222805352347396524114869936804676431294366518808386}, {"parameter": "16", "name": "ilp_4", "value": 222805352347396524114869936804676431293409081736985}, {"parameter": "17", "name": "ilp_4", "value": 222805352347396524114869936804676431293409081246784}, {"parameter": "", "name": "johnson_1", "value": 222805352347396524114869936804773290378496532420544}, {"parameter": "", "name": "johnson_2", "value": 222805352347396524114869936804676431293409081246784}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 543959438081999965602054955428186322207689611643379103556}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869936804773408644530380047284}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869936804676431294366518808386}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869936804676431293409081736985}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869936804676431293409081246784}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 222805899914821039067831991420114272611957515892861}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 222806356221537691363573194019293292972859032873976}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 222808637783156738954027421778443964703875302763420}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 222820046292191130856655929344514924615654616556972}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 222877106366406361473668132700006461733490105202707}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 223162845660229967458547796315345784810986364706138}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 224602602982402577768833189118221926166888287462581}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 232089340443403494725919708025624251516182731565143}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 543959438081999965602054955428186322207689611643379103556}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869994569870139776825584350876}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869936804773408644530380047284}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869936804676431294366518808386}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869936804676431293409081736985}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 222805352347396524114869936804676431293409081246784}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 222805899914821039067831991420114272611957515892861}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 222806356221537691363573194019293292972859032873976}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 222808637783156738954027421778443964703875302763420}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 222820046292191130856655929344514924615654616556972}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 222877106366406361473668132700006461733490105202707}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 223162845660229967458547796315345784810986364706138}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 224602602982402577768833189118221926166888287462581}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 232089340443403494725919708025624251516182731565143}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "", "name": "improved_johnson", "value": 222805352347396524114869936804773290378496532420544}], "known_codes": [], "upper_bound": 222805352347396524114869936804676431293409081246784, "classified": false, "lower_bound": 212195136267234869696158806731116395473480224609375, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 211758236813575084767080625169910490512847900390625}, {"parameter": "", "name": "sphere_covering", "value": 456306716654592415162236481493472554967237136}, {"parameter": "", "name": "graham_sloane", "value": 570382811746420718362942830655860436280649793}, {"parameter": "", "name": "multicomponent", "value": 211758236813630595918311897548846900466918945312501}, {"parameter": "", "name": "CossidentePavese14_theorem311", "value": 212195136267234869696158803852310987194218825951656}, {"parameter": "", "name": "XuChen2018", "value": 212195136267234869696158803820733349800109863281249}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 212195136267234869696158803820733349800109863281249}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 212195136267234869696158803820733349800109863281250}, {"parameter": "", "name": "two_pivot_block_construction", "value": 212097592962312593680779958345221691121969542463488}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 212195136267234869696158803820733349800109863281249}, {"parameter": "(9,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 212195136267234869696158803820733350276947021484375}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 212195136267234869696158803821664672374725341796875}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 212195136267234869696158806731116395473480224609375}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 212195136267234869696158806731116395473480224609375}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 212195136267234869696158803821664672374725341796875}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 212195136267234869696158803820733350276947021484375}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 212195136267234869696158803820733349800109863281250}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 212195136267234869696158803820733349800109863281250}, {"parameter": "9", "name": "linkage_GLT", "value": 211758236813575084767080625169910490512847900390626}, {"parameter": "9", "name": "improved_linkage", "value": 211758236813630710278000329094017388282175352086813}, {"parameter": "10", "name": "improved_linkage", "value": 108420217248578923297789006778618531540368409}, {"parameter": "11", "name": "improved_linkage", "value": 112937492691145280346997392775190049083105900}, {"parameter": "12", "name": "improved_linkage", "value": 109466603026390885133878335372700564960011376}, {"parameter": "13", "name": "improved_linkage", "value": 108652876523778042625053785741333044628926556}, {"parameter": "14", "name": "improved_linkage", "value": 108602942206471772887019626796245574953206376}, {"parameter": "15", "name": "improved_linkage", "value": 108642185377985731599275199090133666992187501}, {"parameter": "16", "name": "improved_linkage", "value": 108643576015046726771284705717679094117187501}, {"parameter": "9,0", "name": "generalized_linkage", "value": 212195136267234869696158803820733349800109863281250}, {"parameter": "9,1", "name": "generalized_linkage", "value": 211758236822592484138484244229543687344787597656250}, {"parameter": "9,2", "name": "generalized_linkage", "value": 211758236813951368506018035588687060268360214843750}, {"parameter": "9,3", "name": "generalized_linkage", "value": 211758236813589673582037794022145311369675811468750}, {"parameter": "9,4", "name": "generalized_linkage", "value": 211758236813575663127896236985425537936126152167000}, {"parameter": "9,5", "name": "generalized_linkage", "value": 211758236813575107713574294644893214760571888813000}, {"parameter": "9,6", "name": "generalized_linkage", "value": 211758236813575085649957433525437930868020231889429}, {"parameter": "9,7", "name": "generalized_linkage", "value": 211758236813630710278000329094017388282175352086813}, {"parameter": "10,1", "name": "generalized_linkage", "value": 250445921417507442323016406297028015136718750}, {"parameter": "10,2", "name": "generalized_linkage", "value": 108420217831177019284849081245482973496093750}, {"parameter": "10,3", "name": "generalized_linkage", "value": 108420217253405657289656833222191466547093750}, {"parameter": "10,4", "name": "generalized_linkage", "value": 108420217248588034030556524004726460738370750}, {"parameter": "10,5", "name": "generalized_linkage", "value": 108420217248550739525879746799553757586197820}, {"parameter": "10,6", "name": "generalized_linkage", "value": 108420217248550445674669944589594098614911025}, {"parameter": "10,7", "name": "generalized_linkage", "value": 108420217248578923297789006778618531540368409}, {"parameter": "11,2", "name": "generalized_linkage", "value": 112939316312320625965381642885399643417968750}, {"parameter": "11,3", "name": "generalized_linkage", "value": 112937492691146774243040341637701463422093750}, {"parameter": "11,4", "name": "generalized_linkage", "value": 112937492691145282818448347086833025442998250}, {"parameter": "11,5", "name": "generalized_linkage", "value": 112937492691145280336245616593547927929726670}, {"parameter": "11,6", "name": "generalized_linkage", "value": 112937492691145280332426784008370970097009656}, {"parameter": "11,7", "name": "generalized_linkage", "value": 112937492691145280346997392775190049083105900}, {"parameter": "12,3", "name": "generalized_linkage", "value": 109466603027324877594132328437254439633031250}, {"parameter": "12,4", "name": "generalized_linkage", "value": 109466603026390885134031118244597054701498250}, {"parameter": "12,5", "name": "generalized_linkage", "value": 109466603026390885133878378429604331787231570}, {"parameter": "12,6", "name": "generalized_linkage", "value": 109466603026390885133878327921175756866424611}, {"parameter": "12,7", "name": "generalized_linkage", "value": 109466603026390885133878335372700564960011376}, {"parameter": "13,4", "name": "generalized_linkage", "value": 108652876523778042644153790609134911375717000}, {"parameter": "13,5", "name": "generalized_linkage", "value": 108652876523778042625053785741950064977035320}, {"parameter": "13,6", "name": "generalized_linkage", "value": 108652876523778042625053785741329232851073406}, {"parameter": "13,7", "name": "generalized_linkage", "value": 108652876523778042625053785741333044628926556}, {"parameter": "14,5", "name": "generalized_linkage", "value": 108602942206471772887019626811767562230472820}, {"parameter": "14,6", "name": "generalized_linkage", "value": 108602942206471772887019626796245574951269531}, {"parameter": "14,7", "name": "generalized_linkage", "value": 108602942206471772887019626796245574953206376}, {"parameter": "15,6", "name": "generalized_linkage", "value": 108642185377985731599275199090133666992675781}, {"parameter": "15,7", "name": "generalized_linkage", "value": 108642185377985731599275199090133666992187501}, {"parameter": "16,7", "name": "generalized_linkage", "value": 108643576015046726771284705717679094117187501}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234869696158803820733349800109863281250}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 211758236822592484138484244229543687344787597656250}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 211758236813951368506018035588687060268360214843750}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 211758236813589673582037794022145311369675811468750}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758236813575663127896236985425537936126152167000}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236813575107713574294644893214760571888813000}, {"parameter": "[9, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758236813575085649957433525437930868020231889429}, {"parameter": "[9, 9],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 211758236813630710278000329094017388282175352086813}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 250445921417507442323016406297028015136718750}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420217831177019284849081245482973496093750}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217253405657289656833222191466547093750}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217248588034030556524004726460738370750}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217248550739525879746799553757586197820}, {"parameter": "[10, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 108420217248550445674669944589594098614911025}, {"parameter": "[10, 8],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 108420217248578923297789006778618531540368409}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 112939316312320625965381642885399643417968750}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 112937492691146774243040341637701463422093750}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 112937492691145282818448347086833025442998250}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 112937492691145280336245616593547927929726670}, {"parameter": "[11, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 112937492691145280332426784008370970097009656}, {"parameter": "[11, 7],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 112937492691145280346997392775190049083105900}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 109466603027324877594132328437254439633031250}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 109466603026390885134031118244597054701498250}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466603026390885133878378429604331787231570}, {"parameter": "[12, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 109466603026390885133878327921175756866424611}, {"parameter": "[12, 6],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 109466603026390885133878335372700564960011376}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108652876523778042644153790609134911375717000}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108652876523778042625053785741950064977035320}, {"parameter": "[13, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 108652876523778042625053785741329232851073406}, {"parameter": "[13, 5],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 108652876523778042625053785741333044628926556}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108602942206471772887019626811767562230472820}, {"parameter": "[14, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 108602942206471772887019626796245574951269531}, {"parameter": "[14, 4],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 108602942206471772887019626796245574953206376}, {"parameter": "[15, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 108642185377985731599275199090133666992675781}, {"parameter": "[15, 3],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 108642185377985731599275199090133666992187501}, {"parameter": "[16, 2],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 108643576015046726771284705717679094117187501}, {"parameter": "[9, 2, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 437007873932544630752837223124127864837646484375}, {"parameter": "[9, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 437007873877034360594571738627176761627197265625}, {"parameter": "[9, 3, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033507943288826506953716278076171875}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 437007873877056387407666009974103450775146484375}, {"parameter": "[9, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033479522030505475025653839111328125}, {"parameter": "[9, 4, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033509127465480130534648895263671875}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 437007873877610601888541848522048473358154296875}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033479533308233779292583465576171875}, {"parameter": "[9, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033479522049300726871967315673828125}, {"parameter": "[9, 5, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033508217592579853158473968505859375}, {"parameter": "[9, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 437007873891482840726967469206910610198974609375}, {"parameter": "[9, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033479817066047987721920013427734375}, {"parameter": "[9, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033479533796910077404766082763671875}, {"parameter": "[9, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033479522034859224198764801025390625}, {"parameter": "[9, 6, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033508004279059552217487335205078125}, {"parameter": "[9, 7, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 437007874238266616105011758226625652313232421875}, {"parameter": "[9, 7, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033486919652333261639710662841796875}, {"parameter": "[9, 7, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033479829377355141014977224365234375}, {"parameter": "[9, 7, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033479533421431199908266566005859375}, {"parameter": "[9, 7, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033479522031473512004548265685546875}, {"parameter": "[9, 7, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 437007873877033507991189077876282713127978515625}, {"parameter": "", "name": "JohnsonLB", "value": 42422993833991237339710664512494555433924809470913}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 42422998198087589885299598156931646407084643781380}], "request": [5, 18, 4, 9], "liftedmrdsizebound": 212221484760367355873067689916928165648734601375785, "comments": "", "equal_bound_constraints": []}