{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "", "name": "singleton", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "6", "name": "ilp_2", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "7", "name": "ilp_2", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "9", "name": "ilp_3", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "10", "name": "ilp_3", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "", "name": "anticode", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "", "name": "linear_programming_bound", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "", "name": "sphere_packing", "value": 1180840485523221610985118119518932406201256471633088285154020}, {"parameter": "1", "name": "ilp_1", "value": 1799787311515736756328086388687120967999082563843159655331}, {"parameter": "2", "name": "ilp_1", "value": 1799787311515736756328086388687120967999082563845876924731}, {"parameter": "3", "name": "ilp_1", "value": 1799787311515736756328086388687120968216421702335952558388}, {"parameter": "4", "name": "ilp_1", "value": 1799787311515736756328086388687120968216421702335952558388}, {"parameter": "5", "name": "ilp_1", "value": 1799787311515736757496158901053158299854142413952217939059}, {"parameter": "11", "name": "ilp_4", "value": 11808393623703854618668539603031351017349035184799394678604039}, {"parameter": "12", "name": "ilp_4", "value": 11808393623703854618668539603031351017349035184799394678604039}, {"parameter": "13", "name": "ilp_4", "value": 11808393623703854618667284116462104083961437680957814948942934}, {"parameter": "14", "name": "ilp_4", "value": 11808393623703854618667284116386774429196664417856024230148898}, {"parameter": "15", "name": "ilp_4", "value": 11808393623703854618667284116386774429121812005503911821701531}, {"parameter": "16", "name": "ilp_4", "value": 11808393623703854618667284116458881806305710097281188361271479}, {"parameter": "17", "name": "ilp_4", "value": 145782772608549321024755863740005334275617277780884585475495}, {"parameter": "", "name": "johnson_1", "value": 1799787311515736756328086388687120967999082563843159655331}, {"parameter": "", "name": "johnson_2", "value": 145782772608549321024755863740005334275617277780884585475495}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 11808393623703854618668539603031351017349035184799394678604039}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 11808393623703854618668539603031351017349035184799394678604039}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 11808393623703854618667284116462104083961437680957814948942934}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 11808393623703854618667284116386774429196664417856024230148898}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 11808393623703854618667284116386774429121812005503911821701531}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 11808393623703854618667284116458881806305710097281188361271479}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 145782772608549321024755863740005334275617277780884585475495}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1180840485523221610985118119518932406201256471633088285154020}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1180838513157215550388810694573251300597736842666292419714110}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1180838537540408570062155749380349102007710311316402353895138}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1180838756992861633049660013665918755040336380029586737984589}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1180840732068609772201739114382098377263259010930317415283501}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1180858508047664282014608767851818564974513788425248382529113}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1181018515945842879052241891467501100824491225426713789611966}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 131384721566561143488955231840017452144049696531260349896622}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 14760505387060192191492775238722816537409630703575611603433}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1799787316154929036499800354414014115675473059534752730674}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1799787320743134362637695883664874275872616159625758875039}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1799787362036983255840904401348598463730034936766240834790}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1799787733681700889620050842797154847361317557353589605618}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1799791078490444796429114625165384248774182764969134814756}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1799821182278250004740405552667360653146289205407505168810}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1800092157612695986530004060906076344887147856062863724190}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1802534280991113238084405937300079823989666961740137745836}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1824787752900442549078546546500287846404472074539065540208}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 2050069762911386221695293524269464063566943065726695501256}, {"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": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1799787311515736757496158901053158299854142413952217939059}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1799787311515736756328086388687120968216421702335952558388}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1799787311515736756328086388687120968216421702335952558388}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1799787311515736756328086388687120967999082563845876924731}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1799787311515736756328086388687120967999082563759476827763}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1180840485523221610985118119518932406201256471633088285154020}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1180840680592426890353776712495150986046410519726489192700556}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1180842655671754976940159242256418206223080238739270716166565}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1180860431683029607149413703031702083149597971995890316065695}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1181020439871237368245590280266817143206038034074452934895903}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1182462467267034448118636638901603411575648142347781241387569}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1195600939095035630042069007751946726499721572460340978312619}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1328445487540477922605067322165944003573262058425297508253228}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 11808404882325150649301327186320348762319707201400791203577530}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 11808407320690171108138597991763892597498723099466467239833038}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 11808429266016592595456574056564357025720642875601809635336879}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 11808626777294668521059117968412073636354921301541473940109694}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 11810404649401475625586722154682458122923106705327089420915042}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 11826427447400601439557498415049824207946878882051715774306242}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 11972432721472669049349850472425573207488396468866931575420426}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 13450510800516607551580304140693425977457834105921803525145670}, {"parameter": "", "name": "improved_johnson", "value": 1799787311515736756328086388687120967999082563843159655296}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 145782772943030048753215469681148055187522367610981032186640}], "known_codes": [], "upper_bound": 1799787311515736756328086388687120967999082563759476827763, "classified": false, "lower_bound": 1797010304552828906132227712701292762916333299089237082112, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1797010299914431210413179829509605039731475627537851106401}, {"parameter": "", "name": "sphere_covering", "value": 5594530182731367206127402343512859505957562920}, {"parameter": "", "name": "graham_sloane", "value": 8850719496692354233894548740102872806404310}, {"parameter": "", "name": "multicomponent", "value": 1797010299914431210560988658923950963047560690764423255844}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1797010299914441165723263759009689112192028089859861687202}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1797010304552828906132227712701292762916333299089237082112}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 6362685459865446204861526038554759414900421761}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431210431909333355992454905479544574450082091}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431210431909333355992454905479544574450082091}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431210431909333355991816773934929594371175203}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431210431909333355998198089381079395160244083}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431210431909333355991737007508529903560978411}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431210431909333355991737008842704439534303931}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3381391913536382230033559717184090302972429783846403}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 3381391913536382230033559717183214951059377684972731}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3381391913536382230033559717901003519762098761383771}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 3381391913536382230033559717901003519762098761383771}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3381391913536382230033559717183214951059377684972731}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 3381391913536382230033559717184090302972429783846403}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 6372640751219871858558901224441848270573789211}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 6372640751219871858558901223107673734600463691}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 6372640751219871858565362304980223226199729363}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 6372640751219871858558980989534073425410660483}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6372640751219871858559619121078688405489567371}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 6372640751219871858559619121078688405489567371}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1797010299914431210431909333355991737007491852721861311842}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 3381391913536382230033559717183105532070246172613522}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 6372640751219871858558901223090996552900797122}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1797010299914431210431909333355991737007491852721861311842}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 3381391913536382230033559717183105532070246172613522}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 6372640751219871858558901223090996552900797122}, {"parameter": "8", "name": "linkage_GLT", "value": 1797010299914431210413179829509605039731475627537851106402}, {"parameter": "9", "name": "linkage_GLT", "value": 3381391913522726342930221472392241170198527451848562}, {"parameter": "10", "name": "linkage_GLT", "value": 6362685441135942358474828762538534230890216322}, {"parameter": "8", "name": "improved_linkage", "value": 1797010299914431210560988659305471391628669559286606480481}, {"parameter": "9", "name": "improved_linkage", "value": 3381391913522726342933655156221409046767887551853552}, {"parameter": "10", "name": "improved_linkage", "value": 6362685441135942358474908528981840165075519087}, {"parameter": "11", "name": "improved_linkage", "value": 6371413552512859485246643476103074188289796855}, {"parameter": "12", "name": "improved_linkage", "value": 6362697415729334583256098206517846846475038775}, {"parameter": "13", "name": "improved_linkage", "value": 6362685459407377453505173553487191217075356527}, {"parameter": "14", "name": "improved_linkage", "value": 6362685457582171190838640695667500706659538432}, {"parameter": "15", "name": "improved_linkage", "value": 6362685457559145803406327862881714685272391681}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1797010299914431210431909333355991737007491852721861311842}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1797010299914431210413205560284136053646066804716583709452}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1797010299914431210413179864752611673073529142415963264685}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1797010299914431210413179829552526086611305917702304646745}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1797010299914431210413179832943288868899352196897951111392}, {"parameter": "8,5", "name": "generalized_linkage", "value": 1797010299914431210560988659305471391628669559286606480481}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3381391913536382230033559717183105532070246172613522}, {"parameter": "9,1", "name": "generalized_linkage", "value": 3381391913522726342934138473180507624634852071628402}, {"parameter": "9,2", "name": "generalized_linkage", "value": 3381391913522726342930222070144239333970689300392092}, {"parameter": "9,3", "name": "generalized_linkage", "value": 3381391913522726342930221472393238252590334174525217}, {"parameter": "9,4", "name": "generalized_linkage", "value": 3381391913522726342930221472472007613504461637151327}, {"parameter": "9,5", "name": "generalized_linkage", "value": 3381391913522726342933655156221409046767887551853552}, {"parameter": "10,0", "name": "generalized_linkage", "value": 6372640751219871858558901223090996552900797122}, {"parameter": "10,1", "name": "generalized_linkage", "value": 6362685441136259640910348651898976476361228642}, {"parameter": "10,2", "name": "generalized_linkage", "value": 6362685441135942358474838871824743669329934722}, {"parameter": "10,3", "name": "generalized_linkage", "value": 6362685441135942358474828762538557425415899085}, {"parameter": "10,4", "name": "generalized_linkage", "value": 6362685441135942358474828762540387254566457805}, {"parameter": "10,5", "name": "generalized_linkage", "value": 6362685441135942358474908528981840165075519087}, {"parameter": "11,1", "name": "generalized_linkage", "value": 6371413552538559410868788381121682261327544172}, {"parameter": "11,2", "name": "generalized_linkage", "value": 6371413552512859485246734459678984866714938732}, {"parameter": "11,3", "name": "generalized_linkage", "value": 6371413552512859485246643476101221164614093455}, {"parameter": "11,4", "name": "generalized_linkage", "value": 6371413552512859485246643476101221164656661142}, {"parameter": "11,5", "name": "generalized_linkage", "value": 6371413552512859485246643476103074188289796855}, {"parameter": "12,2", "name": "generalized_linkage", "value": 6362697415729334583256917058719598921488301005}, {"parameter": "12,3", "name": "generalized_linkage", "value": 6362697415729334583256098206517846846436775752}, {"parameter": "12,4", "name": "generalized_linkage", "value": 6362697415729334583256098206517846846431933005}, {"parameter": "12,5", "name": "generalized_linkage", "value": 6362697415729334583256098206517846846475038775}, {"parameter": "13,3", "name": "generalized_linkage", "value": 6362685459407377453505173553487191217118941331}, {"parameter": "13,4", "name": "generalized_linkage", "value": 6362685459407377453505173553487191217075356527}, {"parameter": "13,5", "name": "generalized_linkage", "value": 6362685459407377453505173553487191217075356527}, {"parameter": "14,4", "name": "generalized_linkage", "value": 6362685457582171190838640695667500706659538432}, {"parameter": "14,5", "name": "generalized_linkage", "value": 6362685457582171190838640695667500706659538432}, {"parameter": "15,5", "name": "generalized_linkage", "value": 6362685457559145803406327862881714685272391681}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210431909333355991737007491852721861311842}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210413205560284136053646066804716583709452}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210413179864752611673073529142415963264685}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210413179829552526086611305917702304646745}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210413179832943288868899352196897951111392}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210560988659305471391628669559286606480481}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381391913536382230033559717183105532070246172613522}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342934138473180507624634852071628402}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930222070144239333970689300392092}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930221472393238252590334174525217}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930221472472007613504461637151327}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342933655156221409046767887551853552}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6372640751219871858558901223090996552900797122}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362685441136259640910348651898976476361228642}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135942358474838871824743669329934722}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135942358474828762538557425415899085}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135942358474828762540387254566457805}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135942358474908528981840165075519087}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6371413552538559410868788381121682261327544172}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6371413552512859485246734459678984866714938732}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6371413552512859485246643476101221164614093455}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6371413552512859485246643476101221164656661142}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6371413552512859485246643476103074188289796855}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362697415729334583256917058719598921488301005}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362697415729334583256098206517846846436775752}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362697415729334583256098206517846846431933005}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362697415729334583256098206517846846475038775}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685459407377453505173553487191217118941331}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459407377453505173553487191217075356527}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459407377453505173553487191217075356527}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685457582171190838640695667500706659538432}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685457582171190838640695667500706659538432}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685457559145803406327862881714685272391681}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362685607674275619207449354637969621283719363}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685607674275619207449354637969621283719363}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685607674275619207449354637969621283719363}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865449638545346331067244072749511043}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865449638545346331067244072749511043}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865449638545346331067244072749511043}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865449638545346331067244072749511043}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865449638545346331067244072749511043}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865449638545346331067244072749511043}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446247782572795130627012217162086}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446247782572795130627012217162086}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446247782572795130627012217162086}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861605804997836287410285123}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861605804997836287410285123}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861605804997836287410285123}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861605804997836287410285123}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861605804997836287410285123}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861605804997836287410285123}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865481447801832059539938202792396803}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865481447801832059539938202792396803}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861527035635274713054434406}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861527035635274713054434406}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861526038556612435089273603}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861526038556612435089273603}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861605914418678439111496173}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861605914418678439111496173}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459891141731160091996893011457172661763}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204862344752256693204123967683}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861526038554782577652244326}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861526038556614976998148653}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865446204861605805147956976390795726}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 13803695936186274534472957566582953151843}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 13803695936186274534472957566582953151843}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590793946888158797613925923}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590793946888158797613925923}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590793946888158797613925923}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590793946888158797613925923}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590715177525597223258075206}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590715177525597223258075206}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590714180446934945292914403}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590714180446934945292914403}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590714180446934945292914403}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590714180446934945292914403}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 13803695932753187647326407102011896179043}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590714180445105087855885126}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590714180445081925147109283}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 13803695932752590714180446937487201789453}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9955310083932933767972519508023852369533443}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9955310083932933767892753066800000048521923}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9955310083932933767892753066800000048521923}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 9955310083932933767892753064970142611492646}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9955310083932933767892753064946979902716803}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9955310083932933767892753064946979902716803}, {"parameter": "", "name": "JohnsonLB", "value": 1797010299914431530893519709942777025098942369987467022764}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 273892745702307213074772487598305009090506596101771524}], "request": [9, 18, 6, 8], "liftedmrdsizebound": 1797010305213266958566701910087840090946508497150305640211, "comments": "", "equal_bound_constraints": []}