{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "", "name": "singleton", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "7", "name": "ilp_2", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "9", "name": "ilp_3", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "", "name": "anticode", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "", "name": "linear_programming_bound", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "", "name": "sphere_packing", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "1", "name": "ilp_1", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "2", "name": "ilp_1", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "3", "name": "ilp_1", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "4", "name": "ilp_1", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "5", "name": "ilp_1", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "6", "name": "ilp_1", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "10", "name": "ilp_4", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "11", "name": "ilp_4", "value": 514667012348782804628673186122455971815862221994477494804151023079429}, {"parameter": "12", "name": "ilp_4", "value": 514667012348782804628673186122455971815862221994477494804151023079429}, {"parameter": "13", "name": "ilp_4", "value": 514667012348782804628673186121142090522464268449317316365288515294552}, {"parameter": "14", "name": "ilp_4", "value": 514667012348782804628673186121142090433569414320987032624652509277432}, {"parameter": "15", "name": "ilp_4", "value": 514667012348782804628673186121142090433569414250073638098901132321637}, {"parameter": "16", "name": "ilp_4", "value": 514667012348782804628673186121142090519411529945190414024230346095384}, {"parameter": "17", "name": "ilp_4", "value": 57185222282264490539322917776062631480974243965112626848966835679386}, {"parameter": "", "name": "johnson_1", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "", "name": "johnson_2", "value": 57185222282264490539322917776062631480974243965112626848966835679386}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 514667012348782804628673186122455971815862221994477494804151023079429}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 514667012348782804628673186122455971815862221994477494804151023079429}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 514667012348782804628673186121142090522464268449317316365288515294552}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 514667012348782804628673186121142090433569414320987032624652509277432}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 514667012348782804628673186121142090433569414250073638098901132321637}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 514667012348782804628673186121142090519411529945190414024230346095384}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 57185222282264490539322917776062631480974243965112626848966835679386}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 6353913718122771773253162982232252248583968872822186768288161648478}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6353913732701046361978655337723998543424037329758543333985812020531}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 6353913863905520670833587023231516217514277044160664793495843383422}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 6353915044746033286944421761703747297114742072997455890148869059242}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 6353925672330397618787952401523240710543702824050751926103730494383}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 6354021322189517396181839171144903430326271544038972460489983520586}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 6354882300528426478172417427244634920606850956257507397976720500700}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 6362641618132682466695576843243281839001528597559650222055801266782}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 6433337622809231192122963713837214740106683400111864638163451443732}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 514667022976349368865722311411993627324625540711161844562223945066953}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 514667118624448447003655727742558130532312490294839596785979700491711}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 514667979458939964566877015398336593708730279801928205404594641237317}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 514675727098950774262786126588207948500818230151687397108653969948980}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 514745466357205233654659936837743247492124301812915686929329699888200}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 515373971198688215939879591730230568483445803463023580567828390239203}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 521100348643148715342482755275196480351489797854837396166724087751072}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "", "name": "improved_johnson", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 57185222413468983512204139826279765241879599035255992260963040000968}], "known_codes": [], "upper_bound": 6353913716502963489746387330456675787083336493117345879649493948026, "classified": false, "lower_bound": 6266755445572949210771538046911060250703242571284112409913460035888, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 6265787482177970379256224194341930332206694446810665274859598050801}, {"parameter": "", "name": "sphere_covering", "value": 1180840485523221610985118119518932406201256471633088285154021}, {"parameter": "", "name": "graham_sloane", "value": 1328445514972078526762298536522759938830891171759794118954394}, {"parameter": "", "name": "multicomponent", "value": 6265787482178244272001219535323516509560304221427977642662133991926}, {"parameter": "", "name": "construction_ST_B", "value": 6266742778311001873380585490469065010162892799460604201942124416574}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 6265787647974278405086375599991621551675714794668043081192712053202}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 6266742798505368728481814782530704686985272213909001874223666667686}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 6266742778311001873380675065089304466183222399559013817898245953934}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 6266755445572949210771538046911060250703242571284112409913460035888}, {"parameter": "", "name": "two_pivot_block_construction", "value": 6266742632708789998121819898653312469661051961444108883397886083072}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 11792253907987368401708134041900553850824946261392395520562561}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 6266742778311275807883809715767905942364252612630126994566337005626}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 6265787484247300628041454381603110820284270751820550594928347534407}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 6265787484247300628041454381603113323397384586786935706986039187055}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 6265787484247300628041454381603111098370269037238845648699829332967}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6265787484247300628041454381603110820246589722242580636248974704895}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6265787484247300628041454381603110820241879593557492056873110030007}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1310023315989409446635574623594912995008350920975434598234995}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1310023315989409446635574623598346678110745445768239858554027}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1310023315989409446635574626098068499283694534599153995550595}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1310023315989409446635574623598346678110745445768239858554027}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1310023315989409446635574623594912995008350920975434598234995}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 12103358189562486300128773041182794928549914587825072248895207}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 12103358189562486300128773041182799638678599676404448113570095}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 12103358189562486300128773041460923317993595941416898968198167}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 12103358189562486300128773043685950433543144031475185178052255}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 12103358189562486300128773041182837319708177646363127486399607}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 6265787484247300628041454381603110820241879593545334391414053101206}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 1310023315989409446635574623594912994290452933283582009464746}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 12103358189562486300128773041182794928549902430159613191966406}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 6265787484247300628041454381603110820241879593545334391414053101206}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 1310023315989409446635574623594912994290452933283582009464746}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 12103358189562486300128773041182794928549902430159613191966406}, {"parameter": "8", "name": "linkage_GLT", "value": 6265787482177970379256224194341930332206694446810665274859641635606}, {"parameter": "9", "name": "linkage_GLT", "value": 1310020508637620352391208095712502073964245732475093456566330}, {"parameter": "10", "name": "linkage_GLT", "value": 11937561881536656148723123349963325908202045052353280077964006}, {"parameter": "8", "name": "improved_linkage", "value": 6265787482178244319479469094517092533449840111122483530061166945684}, {"parameter": "9", "name": "improved_linkage", "value": 1310020508637626716179448345461952501368291635536232891415784}, {"parameter": "10", "name": "improved_linkage", "value": 11937561881536656148723271184380487200178981338743903056510902}, {"parameter": "11", "name": "improved_linkage", "value": 11808174401062845506926793030641615151628212304796045780606240}, {"parameter": "12", "name": "improved_linkage", "value": 11792253597438014527715473106940253133385476943586276297471630}, {"parameter": "13", "name": "improved_linkage", "value": 11792203432146408273243635373178407470267098019019436299233440}, {"parameter": "14", "name": "improved_linkage", "value": 11792225621298820976021245192756223240713965818791935844125622}, {"parameter": "15", "name": "improved_linkage", "value": 11792228086760715631946471747092781272237168454933119134596656}, {"parameter": "16", "name": "improved_linkage", "value": 11792228360700932513058406659544573990497434368734980306828644}, {"parameter": "8,0", "name": "generalized_linkage", "value": 6265787484247300628041454381603110820241879593545334391414053101206}, {"parameter": "8,1", "name": "generalized_linkage", "value": 6265787482203275050282280759633108519188553376501487790088227846826}, {"parameter": "8,2", "name": "generalized_linkage", "value": 6265787482178282403209513370949712159651183903582416397684835283416}, {"parameter": "8,3", "name": "generalized_linkage", "value": 6265787482177974230872040707241180866126751566539588297252052992216}, {"parameter": "8,4", "name": "generalized_linkage", "value": 6265787482177970426742801011827341458400756583247421365775068339778}, {"parameter": "8,5", "name": "generalized_linkage", "value": 6265787482177970379835328924204657532195588214987843838548169351206}, {"parameter": "8,6", "name": "generalized_linkage", "value": 6265787482178244319479469094517092533449840111122483530061166945684}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1310023315989409446635574623594912994290452933283582009464746}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1310020543777595956277389462212210445019667820920713182663134}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1310020508685307332783129210775284086260670740120354641666354}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1310020508637685669595024165645668447088147558148738643832544}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1310020508637620441866635964565217063694925670555181674858144}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1310020508637620352512432317784761495052000572785935865021869}, {"parameter": "9,6", "name": "generalized_linkage", "value": 1310020508637626716179448345461952501368291635536232891415784}, {"parameter": "10,0", "name": "generalized_linkage", "value": 12103358189562486300128773041182794928549902430159613191966406}, {"parameter": "10,1", "name": "generalized_linkage", "value": 11937561881541946719182427446253009632108169624558565517000310}, {"parameter": "10,2", "name": "generalized_linkage", "value": 11937561881536663497733181166745620063806063548211671824732810}, {"parameter": "10,3", "name": "generalized_linkage", "value": 11937561881536656149830937970607815289850790970205149507200030}, {"parameter": "10,4", "name": "generalized_linkage", "value": 11937561881536656148723291739831103586285510110459364166702220}, {"parameter": "10,5", "name": "generalized_linkage", "value": 11937561881536656148723123375311685887735025961817592886000920}, {"parameter": "10,6", "name": "generalized_linkage", "value": 11937561881536656148723271184380487200178981338743903056510902}, {"parameter": "11,1", "name": "generalized_linkage", "value": 11808174435774865414690174707153873037921947466912175159080026}, {"parameter": "11,2", "name": "generalized_linkage", "value": 11808174401062845507049714746958461706108897914506164978194570}, {"parameter": "11,3", "name": "generalized_linkage", "value": 11808174401062845506926811997468855012718438352491881129307230}, {"parameter": "11,4", "name": "generalized_linkage", "value": 11808174401062845506926793030955469219387618177825489373728050}, {"parameter": "11,5", "name": "generalized_linkage", "value": 11808174401062845506926793030638186179666790497527651449386475}, {"parameter": "11,6", "name": "generalized_linkage", "value": 11808174401062845506926793030641615151628212304796045780606240}, {"parameter": "12,2", "name": "generalized_linkage", "value": 11792253597438014617325572873095817009352507910065529475599816}, {"parameter": "12,3", "name": "generalized_linkage", "value": 11792253597438014527715473106975502027305482133438633868700488}, {"parameter": "12,4", "name": "generalized_linkage", "value": 11792253597438014527715473106940253736882776129364911565587020}, {"parameter": "12,5", "name": "generalized_linkage", "value": 11792253597438014527715473106940253133306806060016168973002590}, {"parameter": "12,6", "name": "generalized_linkage", "value": 11792253597438014527715473106940253133385476943586276297471630}, {"parameter": "13,3", "name": "generalized_linkage", "value": 11792203432146408273243635376033568480365161750746837614335016}, {"parameter": "13,4", "name": "generalized_linkage", "value": 11792203432146408273243635373178407470267222652201621184277448}, {"parameter": "13,5", "name": "generalized_linkage", "value": 11792203432146408273243635373178407470267098017398111577781615}, {"parameter": "13,6", "name": "generalized_linkage", "value": 11792203432146408273243635373178407470267098019019436299233440}, {"parameter": "14,4", "name": "generalized_linkage", "value": 11792225621298820976021245192756223240715087534136801656782418}, {"parameter": "14,5", "name": "generalized_linkage", "value": 11792225621298820976021245192756223240713965818791935805921657}, {"parameter": "14,6", "name": "generalized_linkage", "value": 11792225621298820976021245192756223240713965818791935844125622}, {"parameter": "15,5", "name": "generalized_linkage", "value": 11792228086760715631946471747092781272237168454933119139977495}, {"parameter": "15,6", "name": "generalized_linkage", "value": 11792228086760715631946471747092781272237168454933119134596656}, {"parameter": "16,6", "name": "generalized_linkage", "value": 11792228360700932513058406659544573990497434368734980306828644}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6265787484247300628041454381603110820241879593545334391414053101206}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265787482203275050282280759633108519188553376501487790088227846826}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178282403209513370949712159651183903582416397684835283416}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177974230872040707241180866126751566539588297252052992216}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177970426742801011827341458400756583247421365775068339778}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177970379835328924204657532195588214987843838548169351206}, {"parameter": "[8, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178244319479469094517092533449840111122483530061166945684}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1310023315989409446635574623594912994290452933283582009464746}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310020543777595956277389462212210445019667820920713182663134}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685307332783129210775284086260670740120354641666354}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637685669595024165645668447088147558148738643832544}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620441866635964565217063694925670555181674858144}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620352512432317784761495052000572785935865021869}, {"parameter": "[9, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637626716179448345461952501368291635536232891415784}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128773041182794928549902430159613191966406}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11937561881541946719182427446253009632108169624558565517000310}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11937561881536663497733181166745620063806063548211671824732810}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11937561881536656149830937970607815289850790970205149507200030}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11937561881536656148723291739831103586285510110459364166702220}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 11937561881536656148723123375311685887735025961817592886000920}, {"parameter": "[10, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 11937561881536656148723271184380487200178981338743903056510902}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11808174435774865414690174707153873037921947466912175159080026}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11808174401062845507049714746958461706108897914506164978194570}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11808174401062845506926811997468855012718438352491881129307230}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11808174401062845506926793030955469219387618177825489373728050}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 11808174401062845506926793030638186179666790497527651449386475}, {"parameter": "[11, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 11808174401062845506926793030641615151628212304796045780606240}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11792253597438014617325572873095817009352507910065529475599816}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11792253597438014527715473106975502027305482133438633868700488}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792253597438014527715473106940253736882776129364911565587020}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 11792253597438014527715473106940253133306806060016168973002590}, {"parameter": "[12, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792253597438014527715473106940253133385476943586276297471630}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11792203432146408273243635376033568480365161750746837614335016}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792203432146408273243635373178407470267222652201621184277448}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 11792203432146408273243635373178407470267098017398111577781615}, {"parameter": "[13, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792203432146408273243635373178407470267098019019436299233440}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792225621298820976021245192756223240715087534136801656782418}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 11792225621298820976021245192756223240713965818791935805921657}, {"parameter": "[14, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792225621298820976021245192756223240713965818791935844125622}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 11792228086760715631946471747092781272237168454933119139977495}, {"parameter": "[15, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792228086760715631946471747092781272237168454933119134596656}, {"parameter": "[16, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700932513058406659544573990497434368734980306828644}, {"parameter": "[8, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 11792228634593677508399240414364113709329794742975556031789443}, {"parameter": "[8, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 11790184851678806416421048023613761287994890383170505464480323}, {"parameter": "[8, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 11792254181880113397048967819248493114596481047473119163880807}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 11792228360701511517433550007770795654975650963509843441741213}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786640425455357617020443233640746603704792874432093}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987947406083277412655175060242337268007406573832577}, {"parameter": "[8, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700938875743847772958532920387022495429063322272323}, {"parameter": "[8, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786067783765655382208180499052118135624012754963203}, {"parameter": "[8, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987374764393575177842912325653708799926626454363687}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11792228360748410870717361362634678683923025667975909442842243}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11790184577833539778739168971884326262588121308170858875533123}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792253908034846759367088767519058089189711972473472574933607}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700932513071857240492879924580023529023613312137693}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061421093664849742527503245119169218562744828573}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987368401721584645377259329846709833521176444229057}, {"parameter": "[8, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700938955277413939547444721998340576120613628608807}, {"parameter": "[8, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786067863299221548797092300663436216315563061299687}, {"parameter": "[8, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987374843927141344431824127265026880618176760700171}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11792228364551888923412553706827637440514682244931330011879363}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11790184581637017831434361316077285019179777885126279444570243}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11792253911838324812062281111712016845781368549428893143970727}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700932514161356096487308742140437223422652543629123}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061422183163705736956320805532863617601976320003}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987368402811083501371688147407123527920215675720487}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700932513072025373032432927722212840723924769799657}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061421093832982282080506387308480918874202490537}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987368401721752777916812332988899145221487901891021}, {"parameter": "[8, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700938885452227332173750522656728068721600979516027}, {"parameter": "[8, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786067793474034941423398101321823708916550412206907}, {"parameter": "[8, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987374774101954737058129927923414373219164111607391}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792228672670139379024609984272254369668474662608491314126083}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790184889755268287046417593521901948333570302803440746816963}, {"parameter": "[8, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792254219956575267674337389156633774935160967106054446217447}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700932602518331130548377974172274365946390343667843}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061510540138739798025552837370006141339776358723}, {"parameter": "[8, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987368491168058535432757379438960670443953475759207}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700932514175142964410421069949148234704611872352807}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061422196950573660068648614243874899561305043687}, {"parameter": "[8, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987368402824870369294800475215834539202175004444171}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700932513071877763834016374550319908699249224590277}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061421093685373083663953215415548894198657281157}, {"parameter": "[8, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987368401721605168718395779817006213196812356681641}, {"parameter": "[8, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 11792228360700938876860413966828957893570028555670260522938217}, {"parameter": "[8, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786067784882221576078605472235124195865209955629097}, {"parameter": "[8, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792253907987374765510141371713337298836714860167823655029581}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790209844332576212184160166016273381518125028164833209230732}, {"parameter": "[8, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790209843905271966150087702336543154611828984839366408381443}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790184578213372914337759688670304532635133187086706073784332}, {"parameter": "[8, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786068668303687224990574305728837143761239272935043}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790184578213365757692460233669341852083316340816061692070576}, {"parameter": "[8, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061511658387769989611625177020297490594891221287}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790184578213365668218919083350785628377706306726620988576196}, {"parameter": "[8, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061422184846619671055401471410263401154187726907}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790184578213365667127739673823265793196973540983296312336936}, {"parameter": "[8, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061421093667210143535566290677497657829511487647}, {"parameter": "[8, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790184578213372030889221862181394329618459354595147182191986}, {"parameter": "[8, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786067784855149398501664102712163311269680381342697}, {"parameter": "[8, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 11792228360748410762617748021869477804103403961708773187705923}, {"parameter": "[8, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786648367510130361592549374042198486156138109385923}, {"parameter": "[8, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786068758893978532760198143201651752162171006806887}, {"parameter": "[8, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061510676639421838168639999643430684217637334907}, {"parameter": "[8, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061422183357258615121748712604761912998405901097}, {"parameter": "[8, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786061421093667152913435287533913966483399333793247}, {"parameter": "[8, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790184577786067784867123986013552738978388841463479125321619}, {"parameter": "[9, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 3081244540452270641441172708658926504525423443042848179}, {"parameter": "[9, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 3081244540452270641441172708658926504525423443042848179}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089706403545350113841216930219258446456664678}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089706403545350113841216930219258446456664678}, {"parameter": "[9, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585348114059764530021058070099418535929459}, {"parameter": "[9, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585348114059764530021058070099418535929459}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3081244534179045309759421676426110027571819811313734579}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3081244534179045309759421676426110027571819811313734579}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585200308045970916737602224308648405842278}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585200308045970916737602224308648405842278}, {"parameter": "[9, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585349961670089288297345864733487892607063}, {"parameter": "[9, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585349961670089288297345864733487892607063}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3081244599395328731851043145924935412967879847262457779}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3081244599395328731851043145924935412967879847262457779}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585202383439964667656808936780368436767859}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585202383439964667656808936780368436767859}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585200308081166175077994435738448132907958}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585200308081166175077994435738448132907958}, {"parameter": "[9, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585348339590985809691061327018931018483883}, {"parameter": "[9, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585348339590985809691061327018931018483883}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3081292148418581318779885764741784231118280194771905779}, {"parameter": "[9, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3081292148418581318779885764741784231118280194771905779}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089586717395080969603235281890048641670867059}, {"parameter": "[9, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089586717395080969603235281890048641670867059}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585202409417584245226292033545514217279063}, {"parameter": "[9, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585202409417584245226292033545514217279063}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585200308050267076750564173319135731932358}, {"parameter": "[9, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585200308050267076750564173319135731932358}, {"parameter": "[9, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585348139998237146098481787994355533365273}, {"parameter": "[9, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585348139998237146098481787994355533365273}, {"parameter": "[9, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 3115950682844117771118363773468432436846222778426964979}, {"parameter": "[9, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3081244534090691308456792427924128499676574545708955059}, {"parameter": "[9, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089586736358703661810140593075568478094015063}, {"parameter": "[9, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585202386610960299560097592925349080243883}, {"parameter": "[9, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585200308046465020517195180702439093136158}, {"parameter": "[9, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585348139369334945233022848091339817126873}, {"parameter": "[10, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654823685414392389904492900191594255902407}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675901928998321560211466240972000587867}, {"parameter": "[10, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675876588411727801469329466045721694087}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654844236907770894707202610878834925067527}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675876584978632737293167377383174072347}, {"parameter": "[10, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675876588454648848225905333643038434411}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234380760802735122935933715596188156693634008967}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675876588889150771235245032755452900807}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675876584978640096744450793057941397711}, {"parameter": "[10, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675876588416967020997331842887779408831}, {"parameter": "[10, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 165796585342241637936216542716133942377803133654270658976327}, {"parameter": "[10, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675902280938917236956037294576679141447}, {"parameter": "[10, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675876588938039604975259729800370052011}, {"parameter": "[10, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675876584978633635635211506262199985331}, {"parameter": "[10, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 165796585342234379654675876588412330367054198925062539605421}, {"parameter": "[8, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 4087839817450041101342464497609298360394053852937135867844}, {"parameter": "", "name": "JohnsonLB", "value": 6266755429396762890221172439151470939366919870125909345841999705227}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 8596372353337206238779589352449047936686175792377420015118741171}], "request": [9, 18, 4, 8], "liftedmrdsizebound": 6266890402797464185566206973147545099125659606133239574437727208926, "comments": "", "equal_bound_constraints": []}