{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "", "name": "singleton", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "6", "name": "ilp_2", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "7", "name": "ilp_2", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "9", "name": "ilp_3", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "10", "name": "ilp_3", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "", "name": "anticode", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "", "name": "linear_programming_bound", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "", "name": "sphere_packing", "value": 125994038568097314959943997826068420660792210195409100508392}, {"parameter": "1", "name": "ilp_1", "value": 59972161658980017911833633471071903136098573569319642257}, {"parameter": "2", "name": "ilp_1", "value": 59972161658980017911833633471071903136098573571151468542}, {"parameter": "3", "name": "ilp_1", "value": 59972161658980017911833633471071903138890167341104540623}, {"parameter": "4", "name": "ilp_1", "value": 59972161658980017911833633576022353625350887065433273424}, {"parameter": "5", "name": "ilp_1", "value": 59972161658980018119441433234640903829890293562827569349}, {"parameter": "11", "name": "ilp_4", "value": 7055635672387191352233390532245233842330386844014792597421293}, {"parameter": "12", "name": "ilp_4", "value": 7055635672387191352233390532245233842330386844014792597421293}, {"parameter": "13", "name": "ilp_4", "value": 7055635672387191351995176627419884345516074439675293275310484}, {"parameter": "14", "name": "ilp_4", "value": 7055635672387191351995176519700963377812031732616083887091486}, {"parameter": "15", "name": "ilp_4", "value": 7055635672387191351995176519700962363190262470420128060784132}, {"parameter": "16", "name": "ilp_4", "value": 7055635672387191351995176621569998841056159876118569368221207}, {"parameter": "17", "name": "ilp_4", "value": 143993162466725554739261708628376726702855621028025786484022}, {"parameter": "18", "name": "ilp_4", "value": 2938635896098855465177150903717545051297565218647605436795}, {"parameter": "", "name": "johnson_1", "value": 59972161658980017911833633471071903136098573569319642257}, {"parameter": "", "name": "johnson_2", "value": 2938635896098855465177150903717545051297565218647605436795}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 7055635672387191352233390532245233842330386844014792597421293}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 7055635672387191352233390532245233842330386844014792597421293}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 7055635672387191351995176627419884345516074439675293275310484}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 7055635672387191351995176519700963377812031732616083887091486}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 7055635672387191351995176519700962363190262470420128060784132}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 7055635672387191351995176621569998841056159876118569368221207}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 143993162466725554739261708628376726702855621028025786484022}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 2938635896098855465177150903717545051297565218647605436795}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 125994038568097314959943997826068420660792210195409100508392}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 125993121008967002066648521398498131559884255832102601025648}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 125993123684066970390660270237143420539848109739715379696897}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 125993142417413070764917417931122801122145004915329299066361}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 125993273550991773152352597244056677983993679998165001284341}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 125994191493685835065637481363127488405340976881900475385044}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 126000617467080602874268439406577101525606824670444628182032}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 18006645317776085564552162657032910828260218225474261283044}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 2578824520012144040260239762283684065104057754726508378548}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 374982184465419093566183103189773589486850325439160259783}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 61221571632493778482969863250436121014121274565939828799}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 59972162418731039687084633915616912487215438891464097089}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 59972162626706121172313351362299957264309893044496430569}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 59972164082531727540160465059177155630555085494776658076}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 59972174273312734706454368602261845942510717034226673346}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 59972245608866151952181006740939521680286393812950935840}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 59972744961972095630386380103704095988346205235677312292}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 59976240641095160078082442074705354349879994529725552614}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 60000720560880327188051070652943237090118584829886731787}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 60172579585541111031384781063479011238342515976517053479}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 61400582257730430596993883875449888968842774872483752235}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 59972161658980018119441433234640903829890293562827569349}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 59972161658980017911833633576022353625350887065433273424}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 59972161658980017911833633471071903138890167341104540623}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 59972161658980017911833633471071903108729788250531549854}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 59972161658980017911833633471071903108729788248740060426}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 125994038568097314959943997826068420660792210195409100508392}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 125994169702744817487076637975494001962379456356021337756579}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 125995087652920550605378890864167807500813436193516600988531}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 126001513678690458206442992356185616110572252246763230012222}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 126046514219153383986306495148831611008347909140400162208449}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 126362420268866565736206037499847888650016654442542999627734}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 128618892052392355981629823087494428468804908242826716858581}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 7055666331091131083880907442913050911888458031394028541927867}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 7055674723708622178497327802449626017192211303282066637287226}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 7055733472528960724418236171363811755955867454979622274711239}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 7056144738669924930350944002953675133824810885772239939592790}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 7059024797685729697347078535413766732495432706881843807009274}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 7079243987509587284968489121115199588597997684295332767137468}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 7223718351461085098737630695059855843978036045662096470891422}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "", "name": "improved_johnson", "value": 59972161658980017911833633471071903136098573569319642237}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 20570451772043796981285992665120609205533267606939468714363}], "known_codes": [], "upper_bound": 59972161658980017911833633471071903108729788248740060426, "classified": false, "lower_bound": 59768265375269326467147552428035525393253055933143788954, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 59768263894155949306790119265585619217025149412430681649}, {"parameter": "", "name": "sphere_covering", "value": 3638079626611341126949638191699521526630810362}, {"parameter": "", "name": "graham_sloane", "value": 12895374247499033541097009828208088584218916}, {"parameter": "", "name": "multicomponent", "value": 59768263894155986010158336559711060638817412826657284852}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 59768263894155993146801593669804551649291289869062244946}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 59768265375269326467147552428035525393253055933143788954}, {"parameter": "", "name": "two_pivot_block_construction", "value": 59768265375269289562264330744563703376080422961848254464}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 211587620080509140646885507691933116979921166401}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 59768263894155955584873868274742225107816134842258412859}, {"parameter": "(11,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 59768263894155955584873868274744985027035403282024273665}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 59768263894155955584873868274741774508759927750051741707}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 59768263894155955584873868274744985027035403282024273665}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 59768263894155955584873868274741765121281218515895346507}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 59768263894155955584873868274741765121838135966380720065}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 508021860739623737930863618019759090106593081772441}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 508021860739623737930863617963434208080706555938547}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 508021860739623737930863618019759090106593081772441}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 508021860739623737930863618414033264287798762609699}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 508021860739623737930863617954050637564107384620947}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 508021860739623737930863617954238308974439368047299}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 4318114695208797479944580691246495426434805651}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 4318114695208797479944580503575085094451379299}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 4318114695208797479945040486201808785829368051}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 4318114695208797479944646212027627580148530793}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4318114695208797479944589887145601693622696899}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 4318114695208797479944646212027627580148530793}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 212204567855433145702364491607529784371228408113}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 212204567855433145702364491606972866920743034555}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 212204567855433145702367711512727051686871961713}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 212204567855433145702364500994451576154899429755}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 212204567855433145702367711512727051686871961713}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 212204567855433145702364951593507783247106100907}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 59768263894155955584873868274741765121279590102297436058}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 508021860739623737930863617954046727743058801632898}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 4318114695208797479944580499665264045868391250}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 212204567855433145702364491606971238507145124106}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 59768263894155955584873868274741765121279590102297436058}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 508021860739623737930863617954046727743058801632898}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 4318114695208797479944580499665264045868391250}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 212204567855433145702364491606971238507145124106}, {"parameter": "8", "name": "linkage_GLT", "value": 59768263894155949306790119265585619217025149412436463258}, {"parameter": "9", "name": "linkage_GLT", "value": 508021860739623365322188197652216501772434524836002}, {"parameter": "10", "name": "linkage_GLT", "value": 4318114567396436564035293097707728087552248850}, {"parameter": "11", "name": "linkage_GLT", "value": 212204524015421671298145559174705098050513560810}, {"parameter": "8", "name": "improved_linkage", "value": 59768263894155986010159422431092021898729568830017621652}, {"parameter": "9", "name": "improved_linkage", "value": 508021860739623371688994116336629768206864224325793}, {"parameter": "10", "name": "improved_linkage", "value": 4318114567396436565139720799403479106597531752}, {"parameter": "11", "name": "improved_linkage", "value": 212204524015421671298145559366286334871645527023}, {"parameter": "12", "name": "improved_linkage", "value": 211589413159139185865185351471107270420943969800}, {"parameter": "13", "name": "improved_linkage", "value": 211587619811136550598153700414252423444698976623}, {"parameter": "14", "name": "improved_linkage", "value": 211587619061680858097688936034898769647378286104}, {"parameter": "15", "name": "improved_linkage", "value": 211587619045763816263047232767382884509645012993}, {"parameter": "16", "name": "improved_linkage", "value": 211587620062257814475685892318762924609316234404}, {"parameter": "8,0", "name": "generalized_linkage", "value": 59768263894155955584873868274741765121279590102297436058}, {"parameter": "8,1", "name": "generalized_linkage", "value": 59768263894155949325047016902709864407011624964282426549}, {"parameter": "8,2", "name": "generalized_linkage", "value": 59768263894155949306843327490814375052418473417950487863}, {"parameter": "8,3", "name": "generalized_linkage", "value": 59768263894155949306790251907352592876722536750907331949}, {"parameter": "8,4", "name": "generalized_linkage", "value": 59768263894155949306796486071504303630291583842130171441}, {"parameter": "8,5", "name": "generalized_linkage", "value": 59768263894155986010159422431092021898729568830017621652}, {"parameter": "9,0", "name": "generalized_linkage", "value": 508021860739623737930863617954046727743058801632898}, {"parameter": "9,1", "name": "generalized_linkage", "value": 508021860739623372951340823733562668778634885030410}, {"parameter": "9,2", "name": "generalized_linkage", "value": 508021860739623365325355376913819870825839721540901}, {"parameter": "9,3", "name": "generalized_linkage", "value": 508021860739623365322188220661123043990383667137401}, {"parameter": "9,4", "name": "generalized_linkage", "value": 508021860739623365322189302079918197523453570118904}, {"parameter": "9,5", "name": "generalized_linkage", "value": 508021860739623371688994116336629768206864224325793}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4318114695208797479944580499665264045868391250}, {"parameter": "10,1", "name": "generalized_linkage", "value": 4318114567396436628697345727237351021399210546}, {"parameter": "10,2", "name": "generalized_linkage", "value": 4318114567396436564224296192231126289128590458}, {"parameter": "10,3", "name": "generalized_linkage", "value": 4318114567396436564035293101699036991058738849}, {"parameter": "10,4", "name": "generalized_linkage", "value": 4318114567396436564035293289288964908684215063}, {"parameter": "10,5", "name": "generalized_linkage", "value": 4318114567396436565139720799403479106597531752}, {"parameter": "11,0", "name": "generalized_linkage", "value": 212204567855433145702364491606971238507145124106}, {"parameter": "11,1", "name": "generalized_linkage", "value": 212204524015421674466613048760519364410058464810}, {"parameter": "11,2", "name": "generalized_linkage", "value": 212204524015421671298145559403537912303100045610}, {"parameter": "11,3", "name": "generalized_linkage", "value": 212204524015421671298145559174705098744884801709}, {"parameter": "11,4", "name": "generalized_linkage", "value": 212204524015421671298145559174705131283726745709}, {"parameter": "11,5", "name": "generalized_linkage", "value": 212204524015421671298145559366286334871645527023}, {"parameter": "12,1", "name": "generalized_linkage", "value": 211589413159139341120280716352606895718074221797}, {"parameter": "12,2", "name": "generalized_linkage", "value": 211589413159139185865185353072936970979979783301}, {"parameter": "12,3", "name": "generalized_linkage", "value": 211589413159139185865185351471107237187731625594}, {"parameter": "12,4", "name": "generalized_linkage", "value": 211589413159139185865185351471107237187736566509}, {"parameter": "12,5", "name": "generalized_linkage", "value": 211589413159139185865185351471107270420943969800}, {"parameter": "13,2", "name": "generalized_linkage", "value": 211587619811136550598153711627060594014579788615}, {"parameter": "13,3", "name": "generalized_linkage", "value": 211587619811136550598153700414252423444699079915}, {"parameter": "13,4", "name": "generalized_linkage", "value": 211587619811136550598153700414252423444693195015}, {"parameter": "13,5", "name": "generalized_linkage", "value": 211587619811136550598153700414252423444698976623}, {"parameter": "14,3", "name": "generalized_linkage", "value": 211587619061680858097688936034898769647419480404}, {"parameter": "14,4", "name": "generalized_linkage", "value": 211587619061680858097688936034898769647378286104}, {"parameter": "14,5", "name": "generalized_linkage", "value": 211587619061680858097688936034898769647378286104}, {"parameter": "15,4", "name": "generalized_linkage", "value": 211587619045763816263047232767382884509645012993}, {"parameter": "15,5", "name": "generalized_linkage", "value": 211587619045763816263047232767382884509645012993}, {"parameter": "16,5", "name": "generalized_linkage", "value": 211587620062257814475685892318762924609316234404}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59768263894155955584873868274741765121279590102297436058}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59768263894155949325047016902709864407011624964282426549}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59768263894155949306843327490814375052418473417950487863}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 59768263894155949306790251907352592876722536750907331949}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 59768263894155949306796486071504303630291583842130171441}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 59768263894155986010159422431092021898729568830017621652}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623737930863617954046727743058801632898}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623372951340823733562668778634885030410}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623365325355376913819870825839721540901}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623365322188220661123043990383667137401}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623365322189302079918197523453570118904}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623371688994116336629768206864224325793}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4318114695208797479944580499665264045868391250}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436628697345727237351021399210546}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564224296192231126289128590458}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564035293101699036991058738849}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564035293289288964908684215063}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436565139720799403479106597531752}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 212204567855433145702364491606971238507145124106}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 212204524015421674466613048760519364410058464810}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 212204524015421671298145559403537912303100045610}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 212204524015421671298145559174705098744884801709}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 212204524015421671298145559174705131283726745709}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212204524015421671298145559366286334871645527023}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 211589413159139341120280716352606895718074221797}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 211589413159139185865185353072936970979979783301}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 211589413159139185865185351471107237187731625594}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 211589413159139185865185351471107237187736566509}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211589413159139185865185351471107270420943969800}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 211587619811136550598153711627060594014579788615}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587619811136550598153700414252423444699079915}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587619811136550598153700414252423444693195015}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587619811136550598153700414252423444698976623}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587619061680858097688936034898769647419480404}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587619061680858097688936034898769647378286104}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587619061680858097688936034898769647378286104}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587619045763816263047232767382884509645012993}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587619045763816263047232767382884509645012993}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587620062257814475685892318762924609316234404}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 211587656765626031769810873562437411903015446403}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 211587650505794694803235764469303303441349521603}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 211587650505794694803235764469303303441349521603}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587656783877357941010948922144149013587136811}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 211587620062264181281446341360212121304494481603}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 211587613802432844314871232267078012842828556803}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587613802432844314871232267078012842828556803}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587620080515507452646416719918858415066172011}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 211587620062264181281446341360212121304494481603}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 211587613802432844314871232267078012842828556803}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587613802432844314871232267078012842828556803}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587620080515507452646416719918858415066172011}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 211587620062257947117449109027096001135789297702}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426610150873999933961892674123372902}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426610150873999933961892674123372902}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587620080509273288649184386802738246360988110}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 211587620062257814476789860006470300515660556803}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477510214750913336192053994632003}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477510214750913336192053994632003}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587620080509140647989935366177037626232247211}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 211587620062257814476789860006470300515660556803}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477510214750913336192053994632003}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477510214750913336192053994632003}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587620080509140647989935366177037626232247211}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587613802540494530161901623128184776274102459}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802479685732828060343966858189042307203}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802479685732828060343966858189042307203}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587613802487286306467173424142404021290688158}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509133332144981077434058892902}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509133332144981077434058892902}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587613802487286306444164709834829375487542459}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509110323430673502788255747203}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509110323430673502788255747203}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 211587613802487286307551812289834563201519679267}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477510217971010673236614287884011}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477510217971010673236614287884011}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613820683219889547355510466608894882396803}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613820683219889547355510466608894882396803}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477518340168938490586262718462403}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477518340168938490586262718462403}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509110323243083546369098412902}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509110323243083546369098412902}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509110323431232081885269600811}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509110323431232081885269600811}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477510214760305470801628021557702}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477510214760305470801628021557702}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587620062258900347066393783639974986984396803}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426480676043991970594411962816472003}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509110324840161536313505657603}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509110323243095183431600893702}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477509110323430675132009214037702}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 211587613802426477510214750944699969787651766216}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703747192775306652088422744093076209699}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703747192775306652088422744093076209699}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703747192775306652088422744093076209699}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703740825970650170734680923304242284899}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703740825970650170734680923304242284899}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703740825970650170734680923304242284899}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703740825970650170734680923304242284899}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703740825970650170734680923304242284899}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703740825970650170734680923304242284899}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969568751966325808684306545798}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969568751966325808684306545798}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969568751966325808684306545798}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743252018234038503400099}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743252018234038503400099}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743252018234038503400099}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743252018234038503400099}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743252018234038503400099}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743252018234038503400099}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703740829136698070966211887401822680099}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740829136698070966211887401822680099}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743064428277619346065798}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743064428277619346065798}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743060437035890867555299}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743060437035890867555299}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743252576813135517253707}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743252576813135517253707}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703748432943086843188526761669804209699}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969546292455347235600042835299}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743060437003350289585798}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743060437035987762330507}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 36703740825969545743252019863259461690598}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 127818727722774624104187198039760665603}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 127818727722774624104187198039760665603}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196621524508774021780803}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196621524508774021780803}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196621524508774021780803}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196621524508774021780803}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196433934552354864446502}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196433934552354864446502}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196429943310626385936003}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196429943310626385936003}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196429943310626385936003}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196429943310626385936003}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 127818727721858650064270949928184971203}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196429943278085807966502}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196429943277393461131203}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 127818727721670196429943310723280711211}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 43840017859773200190343651336371806172107}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 43840017859773200190152070138224170327307}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 43840017859773200190152070138224170327307}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 43840017859773200190152070105683592357806}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 43840017859773200190152070104991245522507}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 43840017859773200190152070104991245522507}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 12519671212482777477791325069240034651204}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 3556153113302899695331647823694760007875948862728064}], "request": [7, 19, 6, 8], "liftedmrdsizebound": 59768265669278714266551156449613452828036657467109952379, "comments": "", "equal_bound_constraints": []}