{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 29300431646768594471354099536120996132}, {"parameter": "", "name": "singleton", "value": 7101711092201899360}, {"parameter": "3", "name": "ilp_2", "value": 4125827038914918539}, {"parameter": "4", "name": "ilp_2", "value": 6830896973561523160436409}, {"parameter": "5", "name": "ilp_2", "value": 12251987321164847630740619438023}, {"parameter": "7", "name": "ilp_3", "value": 26807348258708686616060475330394324}, {"parameter": "8", "name": "ilp_3", "value": 32691888120376447092756677232188}, {"parameter": "9", "name": "ilp_3", "value": 43186113765358582685279626462}, {"parameter": "", "name": "anticode", "value": 4125827038914918539}, {"parameter": "", "name": "linear_programming_bound", "value": 4125827038914918539}, {"parameter": "", "name": "sphere_packing", "value": 33659319863367500196526865349}, {"parameter": "1", "name": "ilp_1", "value": 4125821863261139245}, {"parameter": "2", "name": "ilp_1", "value": 4125821863267235022}, {"parameter": "10", "name": "ilp_4", "value": 42829203734239916712674009714}, {"parameter": "11", "name": "ilp_4", "value": 42828720187292943708296686218}, {"parameter": "12", "name": "ilp_4", "value": 42828720187292943708296686218}, {"parameter": "13", "name": "ilp_4", "value": 1589158960818593384670051237}, {"parameter": "14", "name": "ilp_4", "value": 59205428966576329390655374}, {"parameter": "15", "name": "ilp_4", "value": 2192463797072415600003200}, {"parameter": "16", "name": "ilp_4", "value": 81201005577586904488249}, {"parameter": "17", "name": "ilp_4", "value": 3007511728804471421470}, {"parameter": "18", "name": "ilp_4", "value": 111397397333038983116}, {"parameter": "", "name": "johnson_1", "value": 4125821863261139245}, {"parameter": "", "name": "johnson_2", "value": 111397397333038983116}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 29300431646768594471354099536120996132}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 26807348258708686616060475330394324}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 32691888120376447092756677232188}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 43186113765358582685279626462}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 42829203734239916712674009714}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 42828720187292943708296686218}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 42828720187292943708296686218}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1589158960818593384670051237}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 59205428966576329390655374}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2192463797072415600003200}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 81201005577586904488249}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 3007511728804471421470}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 111397397333038983116}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 12251987321164847630740619438023}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 33659319863367500196526865349}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 123181562566925424309113520}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 121078917129941627515061836}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 121071945650740378409126135}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 121076035320273683168264172}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 13672135341447095182043593}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1517587401536328857562571}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 168799770948678819233138}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 18818104053374510935611}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2108173011017123894307}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 240231809292959792809}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 28910548084394296485}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 4278629984708224117}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 6830896973561523160436409}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 56453725211113012692348}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 56453818855491441191205}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 56454099790139309423587}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 56454942607696384095905}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 18612542350929806666453}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 6250935058901631207209}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 2081943226441343750932}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 695386997982339935065}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 232608493625355656081}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 78397530590448315781}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 27017794046759007952}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 9997160332538685470}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 4793649938940844801}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 4125827038914918539}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 4125829468595438422}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 4125836757650137718}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 4125858624932493049}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 4125924227843893380}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 4126121046157572033}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 4126711587326561251}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 4128483987226925218}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 4133808183709860663}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 4149843994703319495}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 4198527266753147594}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 4349951295737076481}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 4858386795364943824}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 7101711092201899360}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 29300431646768594471354099536120996132}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 12251987321164847630740619438023}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 6830896973561523160436409}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 4125827038914918539}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 4125821863267235022}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 4125821863261139245}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 26807348258708686616060475330394324}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 33659319863367500196526865349}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 56453725211113012692348}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 56924172323947978806036}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 58383764585556858982955}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 63249071437946671650473}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 84332055597306347456524}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 32691888120376447092756677232188}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 123181562566925424309113520}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 123632622550254706946295532}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 125006313105294877004747571}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 129280016377832811721608561}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 143644400295306181315247087}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 207485965738612690672606679}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 43186113765358582685279626462}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 43243237608670644249562790357}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 43415308533354955094630251075}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 43937894217069852358724135421}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 45565204349962743313919447358}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 51049832861681585614996399070}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 75628919722004322604209288760}, {"parameter": "", "name": "improved_johnson", "value": 4125821863261139242}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 27081933716194781586009}], "known_codes": [], "upper_bound": 4125821863261139242, "classified": false, "lower_bound": 4052562778621323226, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4052555153018976267}, {"parameter": "", "name": "sphere_covering", "value": 121778589874041}, {"parameter": "", "name": "graham_sloane", "value": 37324370805}, {"parameter": "", "name": "multicomponent", "value": 4052562778616992696}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4052555153018976268}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 4052555163479330227}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 150094635684419701}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 5559060567086965}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 205891132095379}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 5566686164040511}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 150094917726535603}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 4052556104911117741}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 4052555446296286441}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 4052555163479329471}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 4052555153406396757}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 150094635684419611}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 4052555163479330227}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 150094635684419701}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 5559060567086965}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 205891132095379}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 5566686164040511}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 150094917726535603}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 4052556104911117741}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 4052555446296286441}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 4052555163479329471}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 4052555153406396757}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 150094635684419611}, {"parameter": "6", "name": "linkage_GLT", "value": 4052555163479330227}, {"parameter": "7", "name": "linkage_GLT", "value": 150094635684419701}, {"parameter": "8", "name": "linkage_GLT", "value": 5559060567086965}, {"parameter": "9", "name": "linkage_GLT", "value": 205891132095379}, {"parameter": "10", "name": "linkage_GLT", "value": 5566686164040511}, {"parameter": "11", "name": "linkage_GLT", "value": 150094917726535603}, {"parameter": "12", "name": "linkage_GLT", "value": 4052556104911117741}, {"parameter": "13", "name": "linkage_GLT", "value": 4052555446296286441}, {"parameter": "6", "name": "improved_linkage", "value": 4052562778621323226}, {"parameter": "7", "name": "improved_linkage", "value": 150094917726595498}, {"parameter": "8", "name": "improved_linkage", "value": 5559071026909483}, {"parameter": "9", "name": "improved_linkage", "value": 205891519515229}, {"parameter": "10", "name": "improved_linkage", "value": 5566686164571952}, {"parameter": "11", "name": "improved_linkage", "value": 150094917726536332}, {"parameter": "12", "name": "improved_linkage", "value": 4052556104911117741}, {"parameter": "13", "name": "improved_linkage", "value": 4052555446296286441}, {"parameter": "14", "name": "improved_linkage", "value": 150094667128189258}, {"parameter": "15", "name": "improved_linkage", "value": 5559064110933112}, {"parameter": "6,0", "name": "generalized_linkage", "value": 4052556104911186627}, {"parameter": "6,1", "name": "generalized_linkage", "value": 4052555435448572644}, {"parameter": "6,2", "name": "generalized_linkage", "value": 4052562778621323226}, {"parameter": "7,0", "name": "generalized_linkage", "value": 150094670552271901}, {"parameter": "7,1", "name": "generalized_linkage", "value": 150094645757353081}, {"parameter": "7,2", "name": "generalized_linkage", "value": 150094917726595498}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5559060614916745}, {"parameter": "8,1", "name": "generalized_linkage", "value": 5559060953976103}, {"parameter": "8,2", "name": "generalized_linkage", "value": 5559071026909483}, {"parameter": "9,0", "name": "generalized_linkage", "value": 205891132161079}, {"parameter": "9,1", "name": "generalized_linkage", "value": 205891132626091}, {"parameter": "9,2", "name": "generalized_linkage", "value": 205891519515229}, {"parameter": "10,0", "name": "generalized_linkage", "value": 5566686164040601}, {"parameter": "10,1", "name": "generalized_linkage", "value": 5566686164041240}, {"parameter": "10,2", "name": "generalized_linkage", "value": 5566686164571952}, {"parameter": "11,0", "name": "generalized_linkage", "value": 150094917726535693}, {"parameter": "11,1", "name": "generalized_linkage", "value": 150094917726535603}, {"parameter": "11,2", "name": "generalized_linkage", "value": 150094917726536332}, {"parameter": "12,0", "name": "generalized_linkage", "value": 4052556104911117831}, {"parameter": "12,1", "name": "generalized_linkage", "value": 4052556104911117741}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4052556104911117741}, {"parameter": "13,0", "name": "generalized_linkage", "value": 4052555446296286531}, {"parameter": "13,1", "name": "generalized_linkage", "value": 4052555446296286441}, {"parameter": "13,2", "name": "generalized_linkage", "value": 4052555446296286441}, {"parameter": "14,1", "name": "generalized_linkage", "value": 150094667128189258}, {"parameter": "14,2", "name": "generalized_linkage", "value": 150094667128189258}, {"parameter": "15,2", "name": "generalized_linkage", "value": 5559064110933112}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052556104911186627}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555435448572644}, {"parameter": "[6, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052562778621323226}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094670552271901}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094645757353081}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094917726595498}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559060614916745}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060953976103}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559071026909483}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891132161079}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891132626091}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891519515229}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5566686164040601}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5566686164041240}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5566686164571952}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535693}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535603}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094917726536332}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052556104911117831}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052556104911117741}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052556104911117741}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555446296286531}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555446296286441}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555446296286441}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094667128189258}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094667128189258}, {"parameter": "[15, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559064110933112}, {"parameter": "[6, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5566686164041420}, {"parameter": "[6, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5566686164106940}, {"parameter": "[6, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5566686212401732}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094917726538150}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535693}, {"parameter": "[6, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094917726602032}, {"parameter": "[6, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094917726538150}, {"parameter": "[6, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535693}, {"parameter": "[6, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094917726602032}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052556104911126021}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052556104911117831}, {"parameter": "[6, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052556104911117831}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555163479337751}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555163479329561}, {"parameter": "[6, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555163479329561}, {"parameter": "[6, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555163479337751}, {"parameter": "[6, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555163479329561}, {"parameter": "[6, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555163479329561}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555188274249047}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555188274240857}, {"parameter": "[6, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555188274240857}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555153406405037}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555153406396847}, {"parameter": "[6, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555153406396847}, {"parameter": "[6, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555153406405037}, {"parameter": "[6, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555153406396847}, {"parameter": "[6, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555153406396847}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635345360343}, {"parameter": "[6, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094635345360343}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635297530653}, {"parameter": "[6, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094635297530653}, {"parameter": "[6, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635684951142}, {"parameter": "[6, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094635684951142}, {"parameter": "[6, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060566621953}, {"parameter": "[6, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060567087784}, {"parameter": "[6, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060953976832}, {"parameter": "[7, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 206173561632040}, {"parameter": "[7, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 206173561631221}, {"parameter": "[7, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 206173561697560}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559071026911274}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559071026908817}, {"parameter": "[7, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559071026908817}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559071026911274}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559071026908817}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559071026908817}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094670552271901}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094670552263711}, {"parameter": "[7, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094670552263711}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635684427891}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635684419701}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094635684419701}, {"parameter": "[7, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635684427891}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635684419701}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094635684419701}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060614916745}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060614916745}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060567087055}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060567087055}, {"parameter": "[7, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060567087055}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060567087055}, {"parameter": "[7, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891132161079}, {"parameter": "[7, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891132095469}, {"parameter": "[7, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891132626910}, {"parameter": "[8, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7636057839100}, {"parameter": "[8, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7636057838281}, {"parameter": "[8, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7636057838281}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891519517686}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891519515229}, {"parameter": "[8, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891519515229}, {"parameter": "[8, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891519517686}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891519515229}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891519515229}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891180455871}, {"parameter": "[8, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891180455871}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891132626181}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891132626181}, {"parameter": "[8, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891132626181}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891132626181}, {"parameter": "[8, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7625597551417}, {"parameter": "[8, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7625597485807}, {"parameter": "[8, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7625597485807}, {"parameter": "[9, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 282816957880}, {"parameter": "[9, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 282816957061}, {"parameter": "[9, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282816957061}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430068013}, {"parameter": "[9, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 282430068013}, {"parameter": "[9, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430068013}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282430068013}, {"parameter": "[9, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 282429602911}, {"parameter": "[9, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 282429537301}, {"parameter": "[9, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282429537301}, {"parameter": "[10, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 282817488502}, {"parameter": "[10, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282817488502}, {"parameter": "[10, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 282816957790}, {"parameter": "[10, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282816957790}, {"parameter": "[11, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282430068742}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 282865319011}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282865319011}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 282817024219}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282817024219}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282430136809}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282430136809}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 388019179}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 68640852365382}], "request": [3, 19, 8, 6], "liftedmrdsizebound": 4052564173055721337, "comments": "", "equal_bound_constraints": []}