{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "", "name": "singleton", "value": 2055893327496266957357670186770148926269239171925460767841525522246915721}, {"parameter": "8", "name": "ilp_2", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "10", "name": "ilp_3", "value": 14391253413099961127473366635863624130271163914515727962691272894779735744}, {"parameter": "", "name": "anticode", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "", "name": "linear_programming_bound", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "", "name": "sphere_packing", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "1", "name": "ilp_1", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "2", "name": "ilp_1", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "3", "name": "ilp_1", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "4", "name": "ilp_1", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "5", "name": "ilp_1", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "6", "name": "ilp_1", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "7", "name": "ilp_1", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "11", "name": "ilp_4", "value": 14391252662537606924701697928046771690293881395824959773226472896084349070}, {"parameter": "12", "name": "ilp_4", "value": 14391252662537606924701697928046771690293881395824959773226472896084349070}, {"parameter": "13", "name": "ilp_4", "value": 14391252662537606924701697928046771690293881395824959773226472896084349070}, {"parameter": "14", "name": "ilp_4", "value": 14391252662537606924701697928046467382173919028829335160078611841451948501}, {"parameter": "15", "name": "ilp_4", "value": 14391252662537606924701697928046467382166778351578893365560345015601071207}, {"parameter": "16", "name": "ilp_4", "value": 14391252662537606924701697928046467382166778351578545738784723671685263426}, {"parameter": "17", "name": "ilp_4", "value": 14391252662537606924701697928046467382166778351578545738782133651610866247}, {"parameter": "18", "name": "ilp_4", "value": 14391252662537606924701697928046467382173917763648750208597208711343444551}, {"parameter": "", "name": "johnson_1", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "", "name": "johnson_2", "value": 14391252662537606924701697928046467382173917763648750208597208711343444551}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 14391253413099961127473366635863624130271163914515727962691272894779735744}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 14391252662537606924701697928046771690293881395824959773226472896084349070}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 14391252662537606924701697928046771690293881395824959773226472896084349070}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 14391252662537606924701697928046771690293881395824959773226472896084349070}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 14391252662537606924701697928046467382173919028829335160078611841451948501}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 14391252662537606924701697928046467382166778351578893365560345015601071207}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 14391252662537606924701697928046467382166778351578545738784723671685263426}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 14391252662537606924701697928046467382166778351578545738782133651610866247}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 14391252662537606924701697928046467382173917763648750208597208711343444551}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1798906676637495064479331933811098769538497189690285130040138174628079831}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1798906688365031323270612807816534920812357701714513870476520606875963014}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1798906782185326898349009080084407517848469086051966209365007708906173551}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1798907532748043803025396736937889875129403316735279439797566131567122018}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1798913537272326585430478725563505539043129934033807390854029961304575726}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1798961574909675677786721772458528154502787414101773654151112223575396921}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1799345968388535422641488395084860280127763926401864816345369771965831867}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1802427040091209538110780264266209626923702126310970576860669532592405136}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 1827460747655031594569858922082111534907866125252141724038125418004110067}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 2055893327496266957357670186770148926269239171925460767841525522246915721}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 14391253413099961127473366635863624130271163914515727962691272894779735744}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 14391253506920255479274659571849585341564626862876492916014663449017034722}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 14391254257482654331674216631839691042156075546163322481544469896209356408}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 14391260261984663583521650264745973031548551078515920654477406541417575452}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 14391308298181117974716247909267184699791497602270897672492941667311653366}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 14391692599297448822895959657849152611005491397662493506182597148584901007}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 14394767747268699117714874848954580147221165684877806274280927208384559657}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 14419416322017400911908887543719785700654144731833180673208610341518669871}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 14619685991830197857207962860780341788677908361890987565316750157753264218}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 16447146727193329004058368902159475477287925292359143177690227084224353929}, {"parameter": "", "name": "improved_johnson", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}], "known_codes": [], "upper_bound": 1798906675171553042881882414037998226362064859395148088716360674350015041, "classified": false, "lower_bound": 1767286009936419984391665170809196907855921985408931899768042741180322945, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1766847064778384329583297500742918515827483896875618958121606201292619776}, {"parameter": "", "name": "sphere_covering", "value": 93820294963440004101360795185256649345354211875693558051992396075}, {"parameter": "", "name": "graham_sloane", "value": 107223193345197007407998284067134011916955457034958022906249028161}, {"parameter": "", "name": "multicomponent", "value": 1766847064778385114221014424078057551444127677959662134505017284111630337}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1766854887733727783859449764534714907580500112888935768837789999182118912}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1767286009936419984391665170809196907855921985408931899768042741180322945}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1767278529263067694187078101991773742855576219388246358086384262766919680}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 105342076388007705792562679545704137992842397924804136293464276991}, {"parameter": "(10,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 1766847064808169049033816595387570377861189570842264295490465307241218048}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1766847064808169049033816595387570377861514089376579909103414396466495488}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1766847064808169049033816595387570379190417566607837355280438300726263808}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1766847064808169049033816595387570377881958758257060792890753225762799616}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1766847064808169049033816595387570377861189650051083996640968833989869568}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1766847064808169049033816595387570377861189570822921556163607535284125696}, {"parameter": "(9,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 7928267635122833338961709824075423448534908412285052271347038683136}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 7928267635122833338961709824075423448614136574725529632645744427008}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 7928267635122833338961709824075444217722342551521779417037517357056}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 7928267635122833338961709824076752676530693328084169102112480821248}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 7928267635122833338961709824075423773053462070637992078208221052928}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 7928267635122833338961709824075423448534927755024379129118995775488}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1766847064808169049033816595387570377861189570822921482376631240445919232}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 7928267635122833338961709824075423448534908412211265295052200476672}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1766847064808169049033816595387570377861189570822921482376631240445919232}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 7928267635122833338961709824075423448534908412211265295052200476672}, {"parameter": "9", "name": "linkage_GLT", "value": 1766847064778384329583297500742918515827483896875618958121606201292619777}, {"parameter": "10", "name": "linkage_GLT", "value": 105312291668557186697918027683670432318895095400549111254310977537}, {"parameter": "9", "name": "improved_linkage", "value": 1766847064778385114442922029240981484563004266946688761885051104648004280}, {"parameter": "10", "name": "improved_linkage", "value": 105312291668557192545577568956931241418685154638980207373595507809}, {"parameter": "11", "name": "improved_linkage", "value": 106983909753735318255385692798139945184291123065944710008464170343}, {"parameter": "12", "name": "improved_linkage", "value": 105544042266406398134448793734804560624661161226305527430987498560}, {"parameter": "13", "name": "improved_linkage", "value": 105342541907661247798723449991283582888499217110113861909435757057}, {"parameter": "14", "name": "improved_linkage", "value": 105338455726749919081573143871815272936459690736037190778044589193}, {"parameter": "15", "name": "improved_linkage", "value": 105342019093258530245353879372098094960546677937735465920838533633}, {"parameter": "16", "name": "improved_linkage", "value": 105342069324271131817356443013170968025342450901728653797996101633}, {"parameter": "17", "name": "improved_linkage", "value": 105342075603148081264064616576968658187590535424381539284693286913}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1766847064808169049033816595387570377861189570822921482376631240445919232}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1766847064778858015151833952868246313410250849334255411746470665612427264}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1766847064778391633038939396455280013693535566303145504633729748979154944}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1766847064778384443481932066700982606194444367040939954716227224607653888}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1766847064778384331362473642618420233763493967662266141799061560614748160}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1766847064778384329611044631828702024592601978916727083150839610228417352}, {"parameter": "9,6", "name": "generalized_linkage", "value": 1766847064778384329583724379889431463866548181549943363591622909063329705}, {"parameter": "9,7", "name": "generalized_linkage", "value": 1766847064778385114442922029240981484563004266946688761885051104648004280}, {"parameter": "10,0", "name": "generalized_linkage", "value": 7928267635122833338961709824075423448534908412211265295052200476672}, {"parameter": "10,1", "name": "generalized_linkage", "value": 105312292581047778164828116611776554291167789044100162871520919552}, {"parameter": "10,2", "name": "generalized_linkage", "value": 105312291670368118281746418411775955745441151330504101943211720704}, {"parameter": "10,3", "name": "generalized_linkage", "value": 105312291668560676070494269457709146018295327170480436986710327296}, {"parameter": "10,4", "name": "generalized_linkage", "value": 105312291668557193498456031294285266246371304592166081152087892480}, {"parameter": "10,5", "name": "generalized_linkage", "value": 105312291668557186711173929937094102833995844413555587001582272000}, {"parameter": "10,6", "name": "generalized_linkage", "value": 105312291668557186697943515219865664109837428566940611551885029471}, {"parameter": "10,7", "name": "generalized_linkage", "value": 105312291668557192545577568956931241418685154638980207373595507809}, {"parameter": "11,1", "name": "generalized_linkage", "value": 107013817534631100711211500493558198901264526563342933430630350848}, {"parameter": "11,2", "name": "generalized_linkage", "value": 106983909753735753575474716724304100932957071108676733362616926208}, {"parameter": "11,3", "name": "generalized_linkage", "value": 106983909753735318363351935618180226760558004978691815825068523520}, {"parameter": "11,4", "name": "generalized_linkage", "value": 106983909753735318255411647180297620904504749850080797896850027008}, {"parameter": "11,5", "name": "generalized_linkage", "value": 106983909753735318255385655552373466345801140619769449425555438456}, {"parameter": "11,6", "name": "generalized_linkage", "value": 106983909753735318255385649231221453368818276480050731605164652096}, {"parameter": "11,7", "name": "generalized_linkage", "value": 106983909753735318255385692798139945184291123065944710008464170343}, {"parameter": "12,2", "name": "generalized_linkage", "value": 105544042268189523622655330814136787701895257719519771774116954112}, {"parameter": "12,3", "name": "generalized_linkage", "value": 105544042266406398134452037221172853739184841413951220800215056384}, {"parameter": "12,4", "name": "generalized_linkage", "value": 105544042266406398134448793835334578476665507455485749464959427072}, {"parameter": "12,5", "name": "generalized_linkage", "value": 105544042266406398134448793734807256767824914728847022844163605304}, {"parameter": "12,6", "name": "generalized_linkage", "value": 105544042266406398134448793734804236116055408571471832713230832713}, {"parameter": "12,7", "name": "generalized_linkage", "value": 105544042266406398134448793734804560624661161226305527430987498560}, {"parameter": "13,3", "name": "generalized_linkage", "value": 105342541907661247800384121345258589523147610043154058196308197376}, {"parameter": "13,4", "name": "generalized_linkage", "value": 105342541907661247798723449991283960390700879857158391096625472000}, {"parameter": "13,5", "name": "generalized_linkage", "value": 105342541907661247798723449991283582889956856693901188868142611320}, {"parameter": "13,6", "name": "generalized_linkage", "value": 105342541907661247798723449991283582888496803972827526064178531601}, {"parameter": "13,7", "name": "generalized_linkage", "value": 105342541907661247798723449991283582888499217110113861909435757057}, {"parameter": "14,4", "name": "generalized_linkage", "value": 105338455726749919081573143871839433089018813401127458352414466560}, {"parameter": "14,5", "name": "generalized_linkage", "value": 105338455726749919081573143871815272936459691421351182962971790200}, {"parameter": "14,6", "name": "generalized_linkage", "value": 105338455726749919081573143871815272936459690736019463528759796809}, {"parameter": "14,7", "name": "generalized_linkage", "value": 105338455726749919081573143871815272936459690736037190778044589193}, {"parameter": "15,5", "name": "generalized_linkage", "value": 105342019093258530245353879372098094960546683420391871471435008888}, {"parameter": "15,6", "name": "generalized_linkage", "value": 105342019093258530245353879372098094960546677937735465920721359433}, {"parameter": "15,7", "name": "generalized_linkage", "value": 105342019093258530245353879372098094960546677937735465920838533633}, {"parameter": "16,6", "name": "generalized_linkage", "value": 105342069324271131817356443013170968025342450901728653798015275593}, {"parameter": "16,7", "name": "generalized_linkage", "value": 105342069324271131817356443013170968025342450901728653797996101633}, {"parameter": "17,7", "name": "generalized_linkage", "value": 105342075603148081264064616576968658187590535424381539284693286913}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1766847064808169049033816595387570377861189570822921482376631240445919232}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1766847064778858015151833952868246313410250849334255411746470665612427264}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1766847064778391633038939396455280013693535566303145504633729748979154944}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1766847064778384443481932066700982606194444367040939954716227224607653888}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1766847064778384331362473642618420233763493967662266141799061560614748160}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1766847064778384329611044631828702024592601978916727083150839610228417352}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1766847064778384329583724379889431463866548181549943363591622909063329705}, {"parameter": "[9, 10],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 1766847064778385114442922029240981484563004266946688761885051104648004280}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7928267635122833338961709824075423448534908412211265295052200476672}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 105312292581047778164828116611776554291167789044100162871520919552}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 105312291670368118281746418411775955745441151330504101943211720704}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 105312291668560676070494269457709146018295327170480436986710327296}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557193498456031294285266246371304592166081152087892480}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557186711173929937094102833995844413555587001582272000}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557186697943515219865664109837428566940611551885029471}, {"parameter": "[10, 9],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557192545577568956931241418685154638980207373595507809}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 107013817534631100711211500493558198901264526563342933430630350848}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 106983909753735753575474716724304100932957071108676733362616926208}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 106983909753735318363351935618180226760558004978691815825068523520}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 106983909753735318255411647180297620904504749850080797896850027008}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 106983909753735318255385655552373466345801140619769449425555438456}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 106983909753735318255385649231221453368818276480050731605164652096}, {"parameter": "[11, 8],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 106983909753735318255385692798139945184291123065944710008464170343}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 105544042268189523622655330814136787701895257719519771774116954112}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 105544042266406398134452037221172853739184841413951220800215056384}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105544042266406398134448793835334578476665507455485749464959427072}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105544042266406398134448793734807256767824914728847022844163605304}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105544042266406398134448793734804236116055408571471832713230832713}, {"parameter": "[12, 7],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 105544042266406398134448793734804560624661161226305527430987498560}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342541907661247800384121345258589523147610043154058196308197376}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342541907661247798723449991283960390700879857158391096625472000}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342541907661247798723449991283582889956856693901188868142611320}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342541907661247798723449991283582888496803972827526064178531601}, {"parameter": "[13, 6],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342541907661247798723449991283582888499217110113861909435757057}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105338455726749919081573143871839433089018813401127458352414466560}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105338455726749919081573143871815272936459691421351182962971790200}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105338455726749919081573143871815272936459690736019463528759796809}, {"parameter": "[14, 5],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 105338455726749919081573143871815272936459690736037190778044589193}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342019093258530245353879372098094960546683420391871471435008888}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342019093258530245353879372098094960546677937735465920721359433}, {"parameter": "[15, 4],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342019093258530245353879372098094960546677937735465920838533633}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342069324271131817356443013170968025342450901728653798015275593}, {"parameter": "[16, 3],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342069324271131817356443013170968025342450901728653797996101633}, {"parameter": "[17, 2],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342075603148081264064616576968658187590535424381539284693286913}, {"parameter": "[9, 2, 8],[0, 7, 1]", "name": "generalized_linkage_multipleblocks", "value": 105342077172645422715897775025177815893800699937598566851468591104}, {"parameter": "[9, 2, 8],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 105342077172645422715897775025177815893800699937598566851468591104}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 105342076388008132551040780169356253468813551079445875825766825984}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342076388008132551040780169356253468813551079445875825766825984}, {"parameter": "[9, 3, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711638569228869315810807581728789936214917194448896}, {"parameter": "[9, 3, 7],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711638569228869315810807581728789936214917194448896}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342076388035445093432589740861508625921561086897198418551111680}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342076388035445093432589740861508625921561086897198418551111680}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792565859144140647241844999697135978735632121856}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792565859144140647241844999697135978735632121856}, {"parameter": "[9, 4, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711731362673196544699579635175834375798409910026240}, {"parameter": "[9, 4, 6],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711731362673196544699579635175834375798409910026240}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342076389786440021104726816874585870806757358526381377881899008}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076389786440021104726816874585870806757358526381377881899008}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792769353442537723159455936734514602872760434688}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792769353442537723159455936734514602872760434688}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792565909613788262553205957616954396792072437760}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792565909613788262553205957616954396792072437760}, {"parameter": "[9, 5, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711651433971354457801761236354293147205061591433216}, {"parameter": "[9, 5, 5],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711651433971354457801761236354293147205061591433216}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076501873633145775996568844349068388183453149749634400256000}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076501873633145775996568844349068388183453149749634400256000}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705805815282275963789468767008107181530088434827264}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705805815282275963789468767008107181530088434827264}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792772633969608281717467468425223805597797842944}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792772633969608281717467468425223805597797842944}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792565866141176101569944933088853514994346622976}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792565866141176101569944933088853514994346622976}, {"parameter": "[9, 6, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711640248454467003055849694093136698156741870747648}, {"parameter": "[9, 6, 4],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711640248454467003055849694093136698156741870747648}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342083675426628087350121927473864081308651604981722350794833920}, {"parameter": "[9, 7, 3],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342083675426628087350121927473864081308651604981722350794833920}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007706640929948534293462222352608942128058870559408128}, {"parameter": "[9, 7, 3],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007706640929948534293462222352608942128058870559408128}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705806025640345744521117516184483082281576306835456}, {"parameter": "[9, 7, 3],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705806025640345744521117516184483082281576306835456}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792769808249838866621609792512217003760306618368}, {"parameter": "[9, 7, 3],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792769808249838866621609792512217003760306618368}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792565860057458660128852653963214728881229529088}, {"parameter": "[9, 7, 3],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792565860057458660128852653963214728881229529088}, {"parameter": "[9, 7, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711640021625860476008502957849850011985067993202688}, {"parameter": "[9, 7, 3],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711640021625860476008502957849850011985067993202688}, {"parameter": "[9, 8, 2],[0, 1, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342542672263606764262930554199975881792599451787009738372284416}, {"parameter": "[9, 8, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007760088064703650801807220038123428861645597880352768}, {"parameter": "[9, 8, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007706654396050612650557641120598573037847898933428224}, {"parameter": "[9, 8, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705805844445999942580783258471186462846845425025024}, {"parameter": "[9, 8, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792769412808208118599453943731456946533340020736}, {"parameter": "[9, 8, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007705792565859934088308661761389299982164490849353728}, {"parameter": "[9, 8, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 105342076388007711640219432437627922011537461366049352897160806400}, {"parameter": "[10, 2, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913875033133441194838366931710949688642692979623985152}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187152372214861733989115756314115105159567638528}, {"parameter": "[10, 3, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126935427369659997094942135460365622224879616}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869200379501612000896629611579616629481133188317184}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126891871416537470861798458678760627930923008}, {"parameter": "[10, 4, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126936118734695823277968956279796006559678464}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913875985712048161849962650518856779251008307927711744}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126891969966331110187615689736518530928476160}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126891871419550847350769551012332087036346368}, {"parameter": "[10, 5, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126935523219460741315489168223619543577133056}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238917350897838349070268293147043138627533056416266846208}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126942524633346110240857694453489769046343680}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126891971533621692385282870123480912748347392}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126891871416955240811200142933274059297783808}, {"parameter": "[10, 6, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126935439880865653081348358283362199561830400}, {"parameter": "[10, 7, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 7822955344240696505058137195746337918378821300201167669756336013312}, {"parameter": "[10, 7, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187152832637497578981313824273982252528925933568}, {"parameter": "[10, 7, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126943328652984215171203143122829805073989632}, {"parameter": "[10, 7, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126891970183617901140850915916525759228805120}, {"parameter": "[10, 7, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126891871416592002073269659023027753753509888}, {"parameter": "[10, 7, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 7822955344238913869187126935438190860838463659801252779125721006080}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 27613843905270980538038894226408027771544998006329450908572827943547456}], "request": [8, 19, 4, 9], "liftedmrdsizebound": 1767356816657621955019101015583144915164615173738358066048117655861310601, "comments": "", "equal_bound_constraints": []}