{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "", "name": "singleton", "value": 18266877872505055585959373506477770853}, {"parameter": "4", "name": "ilp_2", "value": 15338829685176301053982478623483262665}, {"parameter": "5", "name": "ilp_2", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "7", "name": "ilp_3", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "8", "name": "ilp_3", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "", "name": "anticode", "value": 15338829685176301053982478623483262665}, {"parameter": "", "name": "linear_programming_bound", "value": 15338829685176301053982478623483262665}, {"parameter": "", "name": "sphere_packing", "value": 1579036649185606989016058003170000440540200}, {"parameter": "1", "name": "ilp_1", "value": 15338829498456941323191016876916934947}, {"parameter": "2", "name": "ilp_1", "value": 15338829498456941323191016903759673666}, {"parameter": "3", "name": "ilp_1", "value": 15338829498456941376289997387757741036}, {"parameter": "9", "name": "ilp_4", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "10", "name": "ilp_4", "value": 4332845745019391275732158792116126245937927590}, {"parameter": "11", "name": "ilp_4", "value": 4332845745019373091172653380429479770187689993}, {"parameter": "12", "name": "ilp_4", "value": 4332845745019373091172653380429479770187689993}, {"parameter": "13", "name": "ilp_4", "value": 88424673998169862598736348672881925270469328}, {"parameter": "14", "name": "ilp_4", "value": 1804590489790565542597955552380515568204277}, {"parameter": "15", "name": "ilp_4", "value": 36828530220070730894694445403570487010109}, {"parameter": "16", "name": "ilp_4", "value": 751602638981350880611518959049974125005}, {"parameter": "", "name": "johnson_1", "value": 15338829498456941323191016876916934947}, {"parameter": "", "name": "johnson_2", "value": 751602638981350880611518959049974125005}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 4332845745019391275732158792116126245937927590}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 4332845745019373091172653380429479770187689993}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 4332845745019373091172653380429479770187689993}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 88424673998169862598736348672881925270469328}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1804590489790565542597955552380515568204277}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 36828530220070730894694445403570487010109}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 751602638981350880611518959049974125005}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1579036649185606989016058003170000440540200}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1578472946507992832882388916865817853001788}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1578472951872404623465189382993159068570994}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1578473186554992612864726403159323183702278}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1578474829346757559279849607924348296691455}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 225576937867844297437809947474792665616034}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 32226651980171856493520922085767030942566}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 4605484427752936120907751853161477347347}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 659575088614262554344176905667124781478}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 95907528540974903035659131112271972512}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 15658255495168494582615252181951216799}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 15338829685176301053982478623483262665}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 15338829692772631790363092794194658382}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 15338829745946947132648669111864946730}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 15338830118167163722090509982332117525}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 15338832723709130326959000565458173022}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 15338850962524970047824114824989771234}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 15338978635317458132359926370577854746}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 15339872397866917588741082042120030520}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 15346131333894470102078343552653942166}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 15390071568920638591644887594167451028}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 15704039907651759342053098716727378081}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 18266877872505055585959373506477770853}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 15338829685176301053982478623483262665}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 15338829498456941376289997387757741036}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 15338829498456941323191016903759673666}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 15338829498456941323191016876916934947}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1579036649185606989016058003170000440540200}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1579117183517447347006022846339839635928729}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1579681153938420126887487839133168182112221}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1583640254562808663077500317764473898086837}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1611919544735260527199972445287187421599896}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 4332881824443045200966662430996475237104811380}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 4333134380409640404585622151399802267143123484}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 4334903006649774065577255047442656171000605294}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 4347319484742923714313284802915910463089810411}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 4436040288625423428223211429491486547889884760}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 5160291746051272234978893428859106387360586971}, {"parameter": "", "name": "improved_johnson", "value": 15338829498456941323191016876916934940}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 257800018077939426026048068841578164247050}], "known_codes": [], "upper_bound": 15338829498456941323191016876916934940, "classified": false, "lower_bound": 15286701011865696133769150164214433946, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 15286700631942576193765185769276826401}, {"parameter": "", "name": "sphere_covering", "value": 2234270785721737942669345827541}, {"parameter": "", "name": "graham_sloane", "value": 7918968724360181165572872548}, {"parameter": "", "name": "multicomponent", "value": 15286700633047003868010734829180036052}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 15286700631942576193860447835191508802}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 15286701011865696133769150164214433946}, {"parameter": "", "name": "two_pivot_block_construction", "value": 15286701010761278864076273642983391232}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 311973491514311480873987994521745649}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 15286700641172345303339472533843718091}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 15286700641172345303339704486134632449}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6366805761458198844355440051370107}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 6366805761458198845979106087770613}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2651730845892423927750576149195}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 2651730845892424127148159566801}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 130314734567062930996255429594001}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 130314734567062930796857846176395}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6366859929843544582645999805119413}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 6366859929843544581022333768718907}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 311973491123868957168651654484189249}, {"parameter": "(6,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 311973491123868957168419702193274891}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 15286700641172345303339471855620645242}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 6366805761458198844350692489860164}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 2651730845892423894517645579594}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 130314734567062930763624915606794}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 6366859929843544581017586207208964}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 311973491123868957168419023970202042}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 15286700641172345303339471855620645242}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 6366805761458198844350692489860164}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 2651730845892423894517645579594}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 130314734567062930763624915606794}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 6366859929843544581017586207208964}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 311973491123868957168419023970202042}, {"parameter": "6", "name": "linkage_GLT", "value": 15286700631942576193766814182920875642}, {"parameter": "7", "name": "linkage_GLT", "value": 6366805760909027985741448980628964}, {"parameter": "8", "name": "linkage_GLT", "value": 2651730845859653471779023499594}, {"parameter": "9", "name": "linkage_GLT", "value": 130314734567062928819501168623594}, {"parameter": "10", "name": "linkage_GLT", "value": 6366859929843544567408719689263364}, {"parameter": "11", "name": "linkage_GLT", "value": 311973491123868957073156958055519642}, {"parameter": "6", "name": "improved_linkage", "value": 15286700633047003895460936788322109304}, {"parameter": "7", "name": "improved_linkage", "value": 6366805761369014533690749456337541}, {"parameter": "8", "name": "improved_linkage", "value": 2651730846051234708827581375896}, {"parameter": "9", "name": "improved_linkage", "value": 130314734567062930447914812672834}, {"parameter": "10", "name": "improved_linkage", "value": 6366859929843544567408733530668326}, {"parameter": "11", "name": "improved_linkage", "value": 311973491123868957073156958055637634}, {"parameter": "12", "name": "improved_linkage", "value": 311973491514376932842649006462888456}, {"parameter": "13", "name": "improved_linkage", "value": 6366805918763017054189696465801541}, {"parameter": "14", "name": "improved_linkage", "value": 129934814676803411639658488255048}, {"parameter": "6,0", "name": "generalized_linkage", "value": 15286700641172345303339471855620645242}, {"parameter": "6,1", "name": "generalized_linkage", "value": 15286700631943045759377191784920843446}, {"parameter": "6,2", "name": "generalized_linkage", "value": 15286700631943036180313135083593939941}, {"parameter": "6,3", "name": "generalized_linkage", "value": 15286700633047003895460936788322109304}, {"parameter": "7,0", "name": "generalized_linkage", "value": 6366805761458198844350692489860164}, {"parameter": "7,1", "name": "generalized_linkage", "value": 6366805760909031976983276703913692}, {"parameter": "7,2", "name": "generalized_linkage", "value": 6366805760909219566978483697218296}, {"parameter": "7,3", "name": "generalized_linkage", "value": 6366805761369014533690749456337541}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2651730845892423894517645579594}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2651730845859653709172959902014}, {"parameter": "8,2", "name": "generalized_linkage", "value": 2651730845859655100192667430842}, {"parameter": "8,3", "name": "generalized_linkage", "value": 2651730846051234708827581375896}, {"parameter": "9,0", "name": "generalized_linkage", "value": 130314734567062930763624915606794}, {"parameter": "9,1", "name": "generalized_linkage", "value": 130314734567062928819515339582893}, {"parameter": "9,2", "name": "generalized_linkage", "value": 130314734567062928819515010028556}, {"parameter": "9,3", "name": "generalized_linkage", "value": 130314734567062930447914812672834}, {"parameter": "10,0", "name": "generalized_linkage", "value": 6366859929843544581017586207208964}, {"parameter": "10,1", "name": "generalized_linkage", "value": 6366859929843544567408719690104057}, {"parameter": "10,2", "name": "generalized_linkage", "value": 6366859929843544567408719689381356}, {"parameter": "10,3", "name": "generalized_linkage", "value": 6366859929843544567408733530668326}, {"parameter": "11,0", "name": "generalized_linkage", "value": 311973491123868957168419023970202042}, {"parameter": "11,1", "name": "generalized_linkage", "value": 311973491123868957073156958061404542}, {"parameter": "11,2", "name": "generalized_linkage", "value": 311973491123868957073156958055519642}, {"parameter": "11,3", "name": "generalized_linkage", "value": 311973491123868957073156958055637634}, {"parameter": "12,1", "name": "generalized_linkage", "value": 311973491514376932842649006469753706}, {"parameter": "12,2", "name": "generalized_linkage", "value": 311973491514376932842649006462888456}, {"parameter": "12,3", "name": "generalized_linkage", "value": 311973491514376932842649006462888456}, {"parameter": "13,2", "name": "generalized_linkage", "value": 6366805918763017054189696465801541}, {"parameter": "13,3", "name": "generalized_linkage", "value": 6366805918763017054189696465801541}, {"parameter": "14,3", "name": "generalized_linkage", "value": 129934814676803411639658488255048}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 15286700641172345303339471855620645242}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 15286700631943045759377191784920843446}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 15286700631943036180313135083593939941}, {"parameter": "[6, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 15286700633047003895460936788322109304}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805761458198844350692489860164}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909031976983276703913692}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909219566978483697218296}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805761369014533690749456337541}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845892423894517645579594}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653709172959902014}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192667430842}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234708827581375896}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 130314734567062930763624915606794}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 130314734567062928819515339582893}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 130314734567062928819515010028556}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 130314734567062930447914812672834}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366859929843544581017586207208964}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366859929843544567408719690104057}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366859929843544567408719689381356}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366859929843544567408733530668326}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973491123868957168419023970202042}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973491123868957073156958061404542}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973491123868957073156958055519642}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973491123868957073156958055637634}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973491514376932842649006469753706}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973491514376932842649006462888456}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973491514376932842649006462888456}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805918763017054189696465801541}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805918763017054189696465801541}, {"parameter": "[14, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934814676803411639658488255048}, {"parameter": "[6, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 129935915874797930866612191729699}, {"parameter": "[6, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 129935915874797932816387413336443}, {"parameter": "[6, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 129935915953249672261894065055413}, {"parameter": "[6, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 129945145643906838323904794816491}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805761369281251542158854005603}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805761369014522609248320060059}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761369015191064744062539595}, {"parameter": "[6, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805761447466930510250714258565}, {"parameter": "[6, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805761369281251542158854005603}, {"parameter": "[6, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805761369014522609248320060059}, {"parameter": "[6, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761369015191064744062539595}, {"parameter": "[6, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805761447466930510250714258565}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482285105325478216578432940901}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482285011936913336238557620951}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482285011936899449758054898501}, {"parameter": "[6, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482285011937568222659066011693}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482284635951461334190717658451}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542562896453850842338501}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542562882567370339616051}, {"parameter": "[6, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542563551340271350729243}, {"parameter": "[6, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482284635951461334190717658451}, {"parameter": "[6, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542562896453850842338501}, {"parameter": "[6, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542562882567370339616051}, {"parameter": "[6, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542563551340271350729243}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973491514311219377085892470128949}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973491514311219363199411967406499}, {"parameter": "[6, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973491514311219363199411967406499}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542375306464198754434599}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542375292577718251712149}, {"parameter": "[6, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542375292577718251712149}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542371316850883873834549}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542371302964403371112099}, {"parameter": "[6, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542371302964403371112099}, {"parameter": "[6, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542563456628128523532957}, {"parameter": "[6, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542563442741648020810507}, {"parameter": "[6, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542563442741648020810507}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760987479726501906475282403}, {"parameter": "[6, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805760987479726501906475282403}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909027985781028085379253}, {"parameter": "[6, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909027985781028085379253}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909027987380278091157195}, {"parameter": "[6, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909027987380278091157195}, {"parameter": "[6, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909219568608461320228165}, {"parameter": "[6, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909219568608461320228165}, {"parameter": "[6, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123686951633837656099}, {"parameter": "[6, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123020156864286902157}, {"parameter": "[6, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123021751267549416037}, {"parameter": "[6, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934811447314601359648846078459}, {"parameter": "[7, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 54117416029156491973101472899}, {"parameter": "[7, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 54117416024488696084868280051}, {"parameter": "[7, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 54117416029170140499090458843}, {"parameter": "[7, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 54117965195347265666271273813}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730847918353098128814577603}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051236964688605412859}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234742835537438403}, {"parameter": "[7, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730846055916187249759617195}, {"parameter": "[7, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730847918353098128814577603}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051236964688605412859}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234742835537438403}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730846055916187249759617195}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863741959255173416951}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644753183449534501}, {"parameter": "[7, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644753183449534501}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859752345940292816901}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655139868568934451}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655139868568934451}, {"parameter": "[7, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859752345940292816901}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655139868568934451}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655139868568934451}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651731395025839801766057233603}, {"parameter": "[7, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651731395025839801766057233603}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653545379965953653}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653545379965953653}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653511468812311203}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653511468812311203}, {"parameter": "[7, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655144629971731595}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655144629971731595}, {"parameter": "[7, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 54116956042619986909088138499}, {"parameter": "[7, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 54116956037952151345195660949}, {"parameter": "[7, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 54116956037952151358789061707}, {"parameter": "[7, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 54116956037953779772359795237}, {"parameter": "[8, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539564546806595915835299}, {"parameter": "[8, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539531872201370576837651}, {"parameter": "[8, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539531872201370576837651}, {"parameter": "[8, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539564642346377276475643}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340308151391271693755}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292598403608333699}, {"parameter": "[8, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340292598403608333699}, {"parameter": "[8, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340308151391271693755}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292598403608333699}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340292598403608333699}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340291207381927207601}, {"parameter": "[8, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340291207381927207601}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290970003851710451}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340290970003851710451}, {"parameter": "[8, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290970003851710451}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340290970003851710451}, {"parameter": "[8, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539372965852947271980899}, {"parameter": "[8, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340290969992028221249}, {"parameter": "[8, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340290969990010540899}, {"parameter": "[8, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340290970003892181707}, {"parameter": "[9, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22605244237859710279310843}, {"parameter": "[9, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22605244237859710279310843}, {"parameter": "[9, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22605244237859710279310843}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22605244236231310522687595}, {"parameter": "[9, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22605244236231310522687595}, {"parameter": "[9, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22605244236231310522687595}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22605244236231310522687595}, {"parameter": "[9, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22605244236231310811045294}, {"parameter": "[9, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22605244236231296681518043}, {"parameter": "[9, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22605244236231296681518043}, {"parameter": "[10, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539532069543255577391189}, {"parameter": "[10, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539532069543255577391189}, {"parameter": "[10, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539532069543241736221637}, {"parameter": "[10, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539532069543241736221637}, {"parameter": "[11, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539341024574595181864491}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9252308380600615854589214548}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9252308380600615854589214548}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9252308380600615854589214548}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22617984279507235779842500}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22617984279507235779842500}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22617984279507235779842500}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22617984279507235779842500}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539533205581226135741748}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539533205581226135741748}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539533205581226135741748}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22618058762331458824411300}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22618058762331458824411300}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22618058762331458824411300}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22618058762331458824411300}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539607688405449180310548}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539607688405449180310548}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539607688405449180310548}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539607688405449180310548}, {"parameter": "[6, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22632729536327465152792950}, {"parameter": "[6, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22632729536293553999150500}, {"parameter": "[6, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22632729536293553999150500}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 549362436985669431369700}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 549362436985669431369700}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 200918530922525995348}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 200918530922525995348}, {"parameter": "[7, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2063367461927813318452}, {"parameter": "[7, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2063367461927813318452}, {"parameter": "[8, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 65351394341962312948}, {"parameter": "", "name": "JohnsonLB", "value": 15286682448648116777322700955860187839}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 18562116448148584806236945961849}], "request": [7, 17, 6, 6], "liftedmrdsizebound": 15286701085743480284514893324421517283, "comments": "", "equal_bound_constraints": []}