{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 607103165780393916662042480418363450775178254934200}, {"parameter": "", "name": "singleton", "value": 2149207789489010647406518443408592558383021}, {"parameter": "5", "name": "ilp_2", "value": 1842193764596525898789596647507526960180600}, {"parameter": "7", "name": "ilp_3", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "", "name": "anticode", "value": 1842193764596525898789596647507526960180600}, {"parameter": "", "name": "linear_programming_bound", "value": 1842193764596525898789596647507526960180600}, {"parameter": "", "name": "sphere_packing", "value": 607103165780393916662042480418363450775178254934200}, {"parameter": "1", "name": "ilp_1", "value": 1842193764596525898789596647507526960180600}, {"parameter": "2", "name": "ilp_1", "value": 1842193764596525898789596647507526960180600}, {"parameter": "3", "name": "ilp_1", "value": 1842193764596525898789596647507526960180600}, {"parameter": "4", "name": "ilp_1", "value": 1842193764596525898789596647507526960180600}, {"parameter": "8", "name": "ilp_4", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "9", "name": "ilp_4", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "10", "name": "ilp_4", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "11", "name": "ilp_4", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "12", "name": "ilp_4", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "13", "name": "ilp_4", "value": 631867966973143752192581786994517322025546997}, {"parameter": "14", "name": "ilp_4", "value": 90267496656475242116485202916462816722968912}, {"parameter": "15", "name": "ilp_4", "value": 12895354473951631714625986055814500387876214}, {"parameter": "", "name": "johnson_1", "value": 1842193764596525898789596647507526960180600}, {"parameter": "", "name": "johnson_2", "value": 12895354473951631714625986055814500387876214}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 607103165780393916662042480418363450775178254934200}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 631867966973143752192581786994517322025546997}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 90267496656475242116485202916462816722968912}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 12895354473951631714625986055814500387876214}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1842193770186193341993142492728199600522026}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1842193809313866394201569142069340283612934}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1842194083207624299065285676278541617619784}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1842196000466210066703909274848019120983866}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1842209421388052633187678513060215171612791}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1842303373316642888186310129014771732868855}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1842961305237160627093160869357883791270052}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1847580019623504626849088311381730190577991}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1880570802317441989111741969823510485270624}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2149207789489010647406518443408592558383021}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 607103165780393916662042480418363450775178254934200}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 4423112597393166954414292024584272210343940600}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 4423144822669318394324270195266697085806475801}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 4423370412750856248737477341696004341288458265}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 4424950187864697641487300665659830914860904663}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 4436040288349911954780642890529774428025148680}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 4515255291781375641353537021904040665627228931}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 5160291746051272234978893428859106387360586971}, {"parameter": "", "name": "improved_johnson", "value": 1842193764596525898789596647507526960180600}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 631873134248577955880754913074212684626966726}], "known_codes": [], "upper_bound": 1842193764596525898789596647507526960180600, "classified": false, "lower_bound": 1799231895982079405219048786740663875885338, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1798465042647412146620280340569649349251249}, {"parameter": "", "name": "sphere_covering", "value": 93951130670450496837675565724612382728}, {"parameter": "", "name": "graham_sloane", "value": 109608720394176389606615587689136707384}, {"parameter": "", "name": "multicomponent", "value": 1798465049014217930068648618631756174366598}, {"parameter": "", "name": "construction_ST_B", "value": 1799214715185319803381932888092235581604362}, {"parameter": "", "name": "EF_special", "value": 1799231895982079405217983712681675184889205}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1798465042802150159816927145734365362552146}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1799214409473403391501820926908816888245845}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1799214715185319803363533428569709461972538}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1799231895982079405219048786740663875885338}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1799214403081848405398186333457050981367808}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 36721520180735322966957838627226342371297}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1799214721554778400475647446051941735740745}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1798483194610853344155395450131616827736395}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1798483194610853344146035338541309154347089}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1798483194610853344146007969827202004000347}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 107060005337991029775342180294266086217}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 107060005337991028625854792010867599811}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 107060005337991028434284959525486558553}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 764653529836320362736249369174499548249}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 764653529836320364073408167789881461007}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 764653529836320362736249369174499548249}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5248381737292569874852190381249489781413}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5248381737292569875043760213734870822671}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 5248381737292569876193247602018269309077}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 36719448931077316266096250059822899986747}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 36719448931077316266123618773930050333489}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 36719448931077316275483730364237723722795}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 1798483194610853344146007969793969073430746}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 107060005337991028434273560630301185410}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 764653529836320362732339548125916560200}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 5248381737292569874852178982354304408270}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 36719448931077316266096250026589969417146}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 1798483194610853344146007969793969073430746}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 107060005337991028434273560630301185410}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 764653529836320362732339548125916560200}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 5248381737292569874852178982354304408270}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 36719448931077316266096250026589969417146}, {"parameter": "6", "name": "linkage_GLT", "value": 1798465042647412146620280342198776391248250}, {"parameter": "7", "name": "linkage_GLT", "value": 107006904423598033356356300398792385554}, {"parameter": "8", "name": "linkage_GLT", "value": 764653371885174261087546360220802640200}, {"parameter": "9", "name": "linkage_GLT", "value": 5248381736841442406752971537379954379422}, {"parameter": "10", "name": "linkage_GLT", "value": 36719448776339303069449444861873956116250}, {"parameter": "6", "name": "improved_linkage", "value": 1798465049017356652208253448850618795380996}, {"parameter": "7", "name": "improved_linkage", "value": 107006904802603542066807612448700316150}, {"parameter": "8", "name": "improved_linkage", "value": 764653371885196811569978199851313563789}, {"parameter": "9", "name": "improved_linkage", "value": 5248381736841442406944645846192870915852}, {"parameter": "10", "name": "improved_linkage", "value": 36719448776339303069449446491000998113250}, {"parameter": "11", "name": "improved_linkage", "value": 36721200106397503187428967545839414143578}, {"parameter": "12", "name": "improved_linkage", "value": 36721512231448344227225561587788548726461}, {"parameter": "13", "name": "improved_linkage", "value": 5245924096822463760601813220981227240944}, {"parameter": "14", "name": "improved_linkage", "value": 749417601137919448216147774367718604804}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1798483194610853344146007969793969073430746}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1798465414025889187137270971010869299021280}, {"parameter": "6,2", "name": "generalized_linkage", "value": 1798465050208516767022808995944593442190138}, {"parameter": "6,3", "name": "generalized_linkage", "value": 1798465042669015460616776065357283813537800}, {"parameter": "6,4", "name": "generalized_linkage", "value": 1798465049017356652208253448850618795380996}, {"parameter": "7,0", "name": "generalized_linkage", "value": 107060005337991028434273560630301185410}, {"parameter": "7,1", "name": "generalized_linkage", "value": 107007990256640610326015023417859468256}, {"parameter": "7,2", "name": "generalized_linkage", "value": 107006907581739410153272364356556355638}, {"parameter": "7,3", "name": "generalized_linkage", "value": 107006904432618226329092152589355260407}, {"parameter": "7,4", "name": "generalized_linkage", "value": 107006904802603542066807612448700316150}, {"parameter": "8,0", "name": "generalized_linkage", "value": 764653529836320362732339548125916560200}, {"parameter": "8,1", "name": "generalized_linkage", "value": 764653372337840543192424406215062438821}, {"parameter": "8,2", "name": "generalized_linkage", "value": 764653371886490079385092152487594622749}, {"parameter": "8,3", "name": "generalized_linkage", "value": 764653371885174797967285345200021063331}, {"parameter": "8,4", "name": "generalized_linkage", "value": 764653371885196811569978199851313563789}, {"parameter": "9,0", "name": "generalized_linkage", "value": 5248381737292569874852178982354304408270}, {"parameter": "9,1", "name": "generalized_linkage", "value": 5248381736841634693308526080414346979521}, {"parameter": "9,2", "name": "generalized_linkage", "value": 5248381736841442485084425510210538844542}, {"parameter": "9,3", "name": "generalized_linkage", "value": 5248381736841442406784915460419431575029}, {"parameter": "9,4", "name": "generalized_linkage", "value": 5248381736841442406944645846192870915852}, {"parameter": "10,0", "name": "generalized_linkage", "value": 36719448931077316266096250026589969417146}, {"parameter": "10,1", "name": "generalized_linkage", "value": 36719448776339303147901741913109247404556}, {"parameter": "10,2", "name": "generalized_linkage", "value": 36719448776339303069454198035429628716349}, {"parameter": "10,3", "name": "generalized_linkage", "value": 36719448776339303069449445133534967563425}, {"parameter": "10,4", "name": "generalized_linkage", "value": 36719448776339303069449446491000998113250}, {"parameter": "11,1", "name": "generalized_linkage", "value": 36721200106397507031596165653010361850880}, {"parameter": "11,2", "name": "generalized_linkage", "value": 36721200106397503187428967822863193487938}, {"parameter": "11,3", "name": "generalized_linkage", "value": 36721200106397503187428967545827914463631}, {"parameter": "11,4", "name": "generalized_linkage", "value": 36721200106397503187428967545839414143578}, {"parameter": "12,2", "name": "generalized_linkage", "value": 36721512231448344227225563527052027413610}, {"parameter": "12,3", "name": "generalized_linkage", "value": 36721512231448344227225561587788548625969}, {"parameter": "12,4", "name": "generalized_linkage", "value": 36721512231448344227225561587788548726461}, {"parameter": "13,3", "name": "generalized_linkage", "value": 5245924096822463760601813220981227260551}, {"parameter": "13,4", "name": "generalized_linkage", "value": 5245924096822463760601813220981227240944}, {"parameter": "14,4", "name": "generalized_linkage", "value": 749417601137919448216147774367718604804}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1798483194610853344146007969793969073430746}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1798465414025889187137270971010869299021280}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1798465050208516767022808995944593442190138}, {"parameter": "[6, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1798465042669015460616776065357283813537800}, {"parameter": "[6, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1798465049017356652208253448850618795380996}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 107060005337991028434273560630301185410}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 107007990256640610326015023417859468256}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 107006907581739410153272364356556355638}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 107006904432618226329092152589355260407}, {"parameter": "[7, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 107006904802603542066807612448700316150}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 764653529836320362732339548125916560200}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 764653372337840543192424406215062438821}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 764653371886490079385092152487594622749}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 764653371885174797967285345200021063331}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 764653371885196811569978199851313563789}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5248381737292569874852178982354304408270}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5248381736841634693308526080414346979521}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5248381736841442485084425510210538844542}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5248381736841442406784915460419431575029}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5248381736841442406944645846192870915852}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 36719448931077316266096250026589969417146}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 36719448776339303147901741913109247404556}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 36719448776339303069454198035429628716349}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 36719448776339303069449445133534967563425}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36719448776339303069449446491000998113250}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 36721200106397507031596165653010361850880}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 36721200106397503187428967822863193487938}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721200106397503187428967545827914463631}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721200106397503187428967545839414143578}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 36721512231448344227225563527052027413610}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721512231448344227225561587788548625969}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512231448344227225561587788548726461}, {"parameter": "[13, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5245924096822463760601813220981227260551}, {"parameter": "[13, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5245924096822463760601813220981227240944}, {"parameter": "[14, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 749417601137919448216147774367718604804}, {"parameter": "[6, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 749054855205444913492029159873120232950}, {"parameter": "[6, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 749054852140864140312321884969107778909}, {"parameter": "[6, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 767206661212144668250109068449427897147}, {"parameter": "[6, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 5243338492570544682753364659022461543191}, {"parameter": "[6, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5243338495783466864573900590520272649594}, {"parameter": "[6, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5243338492718886091394193315616260195553}, {"parameter": "[6, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5261490301790166619331980499096580313791}, {"parameter": "[6, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 5243338471356697915876136884790274490383}, {"parameter": "[6, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5243338474569620097696672816288085596786}, {"parameter": "[6, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5243338471505039324516965541384073142745}, {"parameter": "[6, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5261490280576319852454752724864393260983}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 36721519788809309353030066470188726678403}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703375928884397149903436743203580764147}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703375932097319331723972674701391870550}, {"parameter": "[6, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703375929032738558544265399797379416509}, {"parameter": "[6, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721527738104019086482052583277699534747}, {"parameter": "[6, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 36721512231441897975902423601975419717147}, {"parameter": "[6, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703368371516985772775793874990273802891}, {"parameter": "[6, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368374729907954596329806488084909294}, {"parameter": "[6, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368371665327181416622531584072455253}, {"parameter": "[6, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721520180736607709354409715064392573491}, {"parameter": "[6, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 36721512234147588002417994339616787716854}, {"parameter": "[6, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703368374222675799291364612631641802598}, {"parameter": "[6, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368377435597981111900544129452909001}, {"parameter": "[6, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368374371017207932193269225440454960}, {"parameter": "[6, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721520183442297735869980452705760573198}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703801077907787078377109603093725332099}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703739415503744252926840179089525509491}, {"parameter": "[6, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703739415439731125589123809186471386402}, {"parameter": "[6, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703739569798942754169131882932861930061}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703429879837123337241575525350623283299}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368217433080511791306101346423460691}, {"parameter": "[6, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368217369067384453589731443369337602}, {"parameter": "[6, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368371728279013033597805189759881261}, {"parameter": "[6, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703429879774198270863692736536992577798}, {"parameter": "[6, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368217370155445413423312532792755190}, {"parameter": "[6, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368217306142318075706942629738632101}, {"parameter": "[6, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368371665353946655715016376129175760}, {"parameter": "[6, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 36703429882427168234624406079277133809645}, {"parameter": "[6, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368220023125409174136655272933987037}, {"parameter": "[6, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368219959112281836420285369879863948}, {"parameter": "[6, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368374318323910416428359116270407607}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 36721512235176537514918455004449571692051}, {"parameter": "[6, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 36721512231440613868607899272881526730283}, {"parameter": "[6, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36721512231441951404657083389151038201654}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368224185181809616055601867513173747}, {"parameter": "[6, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368220449258163305499870299468211979}, {"parameter": "[6, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368220450595699354683986568979683350}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368221095624547239933180703075613798}, {"parameter": "[6, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368217359700900929377449135030652030}, {"parameter": "[6, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368217361038436978561565404542123401}, {"parameter": "[6, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368221031335700797063891887027176869}, {"parameter": "[6, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368217295412054486508160318982215101}, {"parameter": "[6, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368217296749590535692276588493686472}, {"parameter": "[6, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36703368223682942350554355441100544932347}, {"parameter": "[6, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36703368219947018704243799709532499970579}, {"parameter": "[6, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36703368219948356240292983825802011441950}, {"parameter": "[6, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5243338470977883680466929153052225063240}, {"parameter": "[6, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243338470977879234752613245732418534937}, {"parameter": "[6, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5243338319977171538057680402664179054443}, {"parameter": "[6, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243338319977167092343364495344372526140}, {"parameter": "[6, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5243338316820606452690583426125379623090}, {"parameter": "[6, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243338316820602006976267518805573094787}, {"parameter": "[6, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5243338316757593396588601945333655653800}, {"parameter": "[6, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243338316757588950874286038013849125497}, {"parameter": "[6, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5243338319409327248650658927990270173974}, {"parameter": "[6, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5243338319409322802936343020670463645671}, {"parameter": "[6, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 749048488399684015606184561062842679446}, {"parameter": "[6, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 749048334123353164683276885326042604749}, {"parameter": "[6, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 749048331029450962116882251905394957995}, {"parameter": "[6, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 749048330966471611209814501922316695129}, {"parameter": "[6, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 749048333618227952260135935313205131307}, {"parameter": "[7, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 44568470061656488428031999002746751}, {"parameter": "[7, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 44568479455672494657080785839278850}, {"parameter": "[7, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 97668933538050539482231974055594553}, {"parameter": "[7, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 365023378494487899755975323193760498}, {"parameter": "[7, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973942216879514441293827277828450}, {"parameter": "[7, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973951610895520670342614114360549}, {"parameter": "[7, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 365074405693273565495493802330676252}, {"parameter": "[7, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 365023369501291123769764346136324147}, {"parameter": "[7, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973933223682738455082850220392099}, {"parameter": "[7, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973942617698744684131637056924198}, {"parameter": "[7, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 365074396700076789509282825273239901}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 365026526086528735056200347526037699}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311977089808920349741518851610105651}, {"parameter": "[7, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311977099202936355970567638446637750}, {"parameter": "[7, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 365077553285314400795718826662953453}, {"parameter": "[7, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 365023369478828415971624314614221298}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973933201220030656942818698289250}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973942595236036885991605534821349}, {"parameter": "[7, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 365074396677614081711142793751137052}, {"parameter": "[7, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 365023369501760689367878114418020998}, {"parameter": "[7, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973933224152304053196618502088950}, {"parameter": "[7, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973942618168310282245405338621049}, {"parameter": "[7, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 365074396700546355107396593554936752}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 313084541839560149913107375101072563}, {"parameter": "[7, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 313058839838596202316656105448334042}, {"parameter": "[7, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 313059300118551412459017145339322550}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311999184342998865244681961307199011}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482342034917648230691654460490}, {"parameter": "[7, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973942621990127790591731545448998}, {"parameter": "[7, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311999184316246370836773226700770962}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482315282423240321957048032441}, {"parameter": "[7, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973942595237633382682996939020949}, {"parameter": "[7, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 311999184338729162097564673085316365}, {"parameter": "[7, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482337765214501113403432577844}, {"parameter": "[7, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973942617720424643474443323566352}, {"parameter": "[7, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 365023369697217271996026710998147691}, {"parameter": "[7, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 365023369482584511347790590205472947}, {"parameter": "[7, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973491728394589769309310280646091}, {"parameter": "[7, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973491513761829121073189487971347}, {"parameter": "[7, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482530397551868349097840742942}, {"parameter": "[7, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973482315764791220112977048068198}, {"parameter": "[7, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482503084566021482711227321642}, {"parameter": "[7, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973482288451805373246590434646898}, {"parameter": "[7, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973482525557075093481024193347043}, {"parameter": "[7, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 311973482310924314445244903400672299}, {"parameter": "[7, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 44568091246796950631968818442132857}, {"parameter": "[7, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 44567649747776576958634141189140156}, {"parameter": "[7, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 44567640357052454886468252445791059}, {"parameter": "[7, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 44567640330272589835854110199839656}, {"parameter": "[7, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 44567640352746214526439365726150775}, {"parameter": "[8, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 318627602290447855542558327157041798}, {"parameter": "[8, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 318472875925447303447396206750242550}, {"parameter": "[8, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 318630825756385367044540871332183449}, {"parameter": "[8, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 318627602268445134280963035595915750}, {"parameter": "[8, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 318472875903444582185800915189116502}, {"parameter": "[8, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 318630825734382645782945579771057401}, {"parameter": "[8, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 318627602267908706833097449635592950}, {"parameter": "[8, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 318472875902908154737935329228793702}, {"parameter": "[8, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 318630825733846218335079993810734601}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 318627603583150576102077971392060950}, {"parameter": "[8, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 318472877218150024006915850985261702}, {"parameter": "[8, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 318630827049088087604060515567202601}, {"parameter": "[8, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 318627602267908519813052556816346198}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 318472875902907967717890436409546950}, {"parameter": "[8, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 318630825733846031315035100991487849}, {"parameter": "[8, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 318627602267908710824339178114103449}, {"parameter": "[8, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 318472875902908158729177057707304201}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 318630825733846222326321722289245100}, {"parameter": "[8, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 318473337340346537348560342998171151}, {"parameter": "[8, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 318473328134201468976257659273476744}, {"parameter": "[8, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 318472885109064210902064203738316157}, {"parameter": "[8, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 318472875902919142529761520013621750}, {"parameter": "[8, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 318472885109053036185217030932193808}, {"parameter": "[8, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 318472875902907967812914347207499401}, {"parameter": "[8, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 318472885109053223294514626803212855}, {"parameter": "[8, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 318472875902908154922211943078518448}, {"parameter": "[8, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 318627603583072096447909309601277750}, {"parameter": "[8, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 318472875906751865727111003152520408}, {"parameter": "[8, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 318472875902919375431387238102019401}, {"parameter": "[8, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 318472875902907967722277713780311504}, {"parameter": "[8, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 318472875902908154821871312567549950}, {"parameter": "[9, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780446839903316145690253}, {"parameter": "[9, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780446839903316145690253}, {"parameter": "[9, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780287188605763407359844}, {"parameter": "[9, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780287188605763407359844}, {"parameter": "[9, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780255260300349177186301}, {"parameter": "[9, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780255260300349177186301}, {"parameter": "[9, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 312274011955858511440218316777964495}, {"parameter": "[9, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312274011955858511440218316777964495}, {"parameter": "[9, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780255258943335538713060}, {"parameter": "[9, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780255258943335538713060}, {"parameter": "[9, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780255260334274172115952}, {"parameter": "[9, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780255260334274172115952}, {"parameter": "[9, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 312274012144142628068300856921948701}, {"parameter": "[9, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780255923838503475145759}, {"parameter": "[9, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780255258948989656475052}, {"parameter": "[9, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 312274011955780255260301915502559655}, {"parameter": "[10, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 312264902794361833671530142776422747}, {"parameter": "[10, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 312264902794361833670173129137949506}, {"parameter": "[10, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 312264902794361833669901743019799499}, {"parameter": "[10, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312264902794361838326072550588385147}, {"parameter": "[10, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 312264902794361833669901731485373890}, {"parameter": "[10, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 312264902794361833669901743308157198}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18456144502078769655611297577202089700}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18455990281814042269886585682268982356}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 18456147715000951476147229075013196103}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 312130366077871486277565151829178971}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 312130356901839143256858697123068100}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 312130366077871486277565151829178971}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312130356901839143256858697123068100}, {"parameter": "[6, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 312130356901839143256858697123068100}, {"parameter": "[6, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 311976136637111757532146802189960756}, {"parameter": "[6, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312133569824020963792790194934174503}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 18456141851632666192527284509186913292}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18456141851632666192527284509186913292}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 18456141850370463136248518056266571348}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18456141850370463136248518056266571348}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 312281926720463065897557524040999036}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312281926720463065897557524040999036}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 312281926720463065897557524040999036}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 312281926720463065897557524040999036}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 312281925458260009618791071120657092}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312281925458260009618791071120657092}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 312281925458260009618791071120657092}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 312281925458260009618791071120657092}, {"parameter": "[6, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 312281926720463065897557524040999036}, {"parameter": "[6, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312127706455735680172845629107891692}, {"parameter": "[6, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 312285139642644886433489021852105439}, {"parameter": "[6, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 312281925458260009618791071120657092}, {"parameter": "[6, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312127705193532623894079176187549748}, {"parameter": "[6, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 312285138380441830154722568931763495}, {"parameter": "[6, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36600001839496700936132285100020253556}, {"parameter": "[6, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36600001775260137842717741475610243212}, {"parameter": "[6, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 36600001775283135828476358809694182455}, {"parameter": "[6, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18456141914584497809502558114874339300}, {"parameter": "[6, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 18456141914584497809502558114874339300}, {"parameter": "[6, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18456141850347934716088014490464328956}, {"parameter": "[6, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 18456141850347934716088014490464328956}, {"parameter": "[6, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18456141850370932701846631824548268199}, {"parameter": "[6, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 18456141850370932701846631824548268199}, {"parameter": "[6, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 18456141914584497809502558114874339300}, {"parameter": "[6, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 18455987694319770423777846219941231956}, {"parameter": "[6, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 18456145127506679630038489612685445703}, {"parameter": "[6, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 18456141850347934716088014490464328956}, {"parameter": "[6, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 18455987630083207330363302595531221612}, {"parameter": "[6, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 18456145063270116536623945988275435359}, {"parameter": "[6, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 18456141850370932701846631824548268199}, {"parameter": "[6, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 18455987630106205316121919929615160855}, {"parameter": "[6, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 18456145063293114522382563322359374602}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 53052989864195638984966073648282500}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 53052989864195638984966073648282500}, {"parameter": "[7, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553586587253670284577732350452}, {"parameter": "[7, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553586587253670284577732350452}, {"parameter": "[7, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 106102426119341316501507538042111699}, {"parameter": "[7, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 106102426119264875590186692042765700}, {"parameter": "[7, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 53052989841732931186826042126179651}, {"parameter": "[7, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 53052989841732931186826042126179651}, {"parameter": "[7, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 53052989841656490275505196126833652}, {"parameter": "[7, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 53052989841656490275505196126833652}, {"parameter": "[8, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 312162335097370303838454820416199}, {"parameter": "", "name": "JohnsonLB", "value": 1799229702731148135586769243777750848549424}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 107059806909796100558352466083236576412}], "request": [7, 16, 4, 6], "liftedmrdsizebound": 1799378324409417144296330004955776921065776, "comments": "", "equal_bound_constraints": []}