{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1062420886295749238054775964833257559060031974208854903203322306}, {"parameter": "", "name": "singleton", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "8", "name": "ilp_2", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "10", "name": "ilp_3", "value": 435167639587905181708726842169330934330476772076768429013}, {"parameter": "", "name": "anticode", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "", "name": "linear_programming_bound", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "", "name": "sphere_packing", "value": 1062420886295749238054775964833257559060031974208854903203322306}, {"parameter": "1", "name": "ilp_1", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "2", "name": "ilp_1", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "3", "name": "ilp_1", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "4", "name": "ilp_1", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "5", "name": "ilp_1", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "6", "name": "ilp_1", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "7", "name": "ilp_1", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "11", "name": "ilp_4", "value": 435166748364561053424826955442488491374990031531970769433}, {"parameter": "12", "name": "ilp_4", "value": 435166748364561053424826955442488491374990031531970769433}, {"parameter": "13", "name": "ilp_4", "value": 435166748364561053424826955442488491374990031531970769433}, {"parameter": "14", "name": "ilp_4", "value": 435166748364561053424826842620022385367611851376261418737}, {"parameter": "15", "name": "ilp_4", "value": 435166748364561053424826842619832976461177597805650953424}, {"parameter": "16", "name": "ilp_4", "value": 435166748364561053424826842619832976459307603334083952527}, {"parameter": "17", "name": "ilp_4", "value": 435166748364561053424826842619832976459307602376659038279}, {"parameter": "18", "name": "ilp_4", "value": 435166748364561053424826842620022154379240839533202210154}, {"parameter": "", "name": "johnson_1", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "", "name": "johnson_2", "value": 435166748364561053424826842620022154379240839533202210154}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1062420886295749238054775964833257559060031974208854903203322306}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 435167639587905181708726842169330934330476772076768429013}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 435166748364561053424826955442488491374990031531970769433}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 435166748364561053424826955442488491374990031531970769433}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 435166748364561053424826955442488491374990031531970769433}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 435166748364561053424826842620022385367611851376261418737}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 435166748364561053424826842619832976461177597805650953424}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 435166748364561053424826842619832976459307603334083952527}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 435166748364561053424826842619832976459307602376659038279}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 435166748364561053424826842620022154379240839533202210154}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 87033527917566434529802865519283310506350567388209024984}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 87033563566444712702571132290398598981036876180063687469}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 87033741811274157206975838795681817151579239498729109915}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 87034633046372859800326490753171302451675728732535858120}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 87039089495670757816354957566962860547210545370492309669}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 87061378589443476829443219796059760657504026296138475860}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 87172995512522852500230071295580366344774269556555805812}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 87735400774086608076470575232392267290449297590430749802}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 90659907894258461337285514884074041598804512034503924795}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1062420886295749238054775964833257559060031974208854903203322306}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 435167639587905181708726842169330934330476772076768429013}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 435167817832588609140367728205626247939336802629997568715}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 435168709058196021678496247911652915568999624248472299950}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 435173165240990664156872604192248020187007850530057201669}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 435195447523990287999808795306463518093787916159881026022}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 435306893175516760421981485179839046115796671951959977876}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 435864978707039931606062206037588643374908608211691147223}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 438677009666633381940791955436419634362387349803397535172}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 453299570416559352558052332933276710975442128676356422298}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 543959438081999965602054955428186322207689611643379103556}, {"parameter": "", "name": "improved_johnson", "value": 87033520787794283315474169340051447322451460490995304526}], "known_codes": [], "upper_bound": 87033520787794283315474169340051447322451460490995304526, "classified": false, "lower_bound": 82857418316609426935359109104035114463034035070083878426, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 82718061255302767487140869206996285356581211090087890625}, {"parameter": "", "name": "sphere_covering", "value": 178244756436491353400609209695407583965688952443796}, {"parameter": "", "name": "graham_sloane", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "", "name": "multicomponent", "value": 82718061255411187704389448072106461048126220703126953126}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 82724941068905264985532311600084810920041084289550781250}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 82857418316609426935359109104035114463034035070083878426}, {"parameter": "", "name": "two_pivot_block_construction", "value": 82850622250904212594169271527415901448337330052257546240}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 212195136267234869696158803820733349800109863281249}, {"parameter": "(10,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 82718061692202221146925798285174936216693401336669921875}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 82718061692202221146925798285189488094668865203857421875}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 82718061692202221146925798294269883197169780731201171875}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 82718061692202221146925798285538734060149669647216796875}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 82718061692202221146925798285174959462504863739013671875}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 82718061692202221146925798285174936179442882537841796875}, {"parameter": "(9,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 7091571839311073476209473713695473952770233154296875}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 7091571839311073476209473713718757014751434326171875}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 7091571839311073476209474077493354659557342529296875}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 7091571839311073476209482808642491679668426513671875}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 7091571839311073476209473728247389178752899169921875}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 7091571839311073476209473713695511203289031982421875}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 82718061692202221146925798285174936179440498352050781250}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 7091571839311073476209473713695473950386047363281250}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 82718061692202221146925798285174936179440498352050781250}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 7091571839311073476209473713695473950386047363281250}, {"parameter": "9", "name": "linkage_GLT", "value": 82718061255302767487140869206996285356581211090087890626}, {"parameter": "10", "name": "linkage_GLT", "value": 211758236813575084767080625169910490512847900390626}, {"parameter": "9", "name": "improved_linkage", "value": 82718061255411411341284040138977201491398481658127781664}, {"parameter": "10", "name": "improved_linkage", "value": 211758236813630710278000329094017388282175352086813}, {"parameter": "11", "name": "improved_linkage", "value": 220581040412393125677739570125996419808106735680909}, {"parameter": "12", "name": "improved_linkage", "value": 213801959035919697527106123768103720319443614355900}, {"parameter": "13", "name": "improved_linkage", "value": 212212649460503989502058175276041046872012713917626}, {"parameter": "14", "name": "improved_linkage", "value": 212115121497015181419960208586417138580359082051556}, {"parameter": "15", "name": "improved_linkage", "value": 212191768316378382029834373222917318344116212972001}, {"parameter": "16", "name": "improved_linkage", "value": 212194484404388138225165440854841980697631835937501}, {"parameter": "17", "name": "improved_linkage", "value": 212195027623380726525226825814981578202912185546876}, {"parameter": "9,0", "name": "generalized_linkage", "value": 82718061692202221146925798285174936179440498352050781250}, {"parameter": "9,1", "name": "generalized_linkage", "value": 82718061273648675525660903587439083944359357116699218750}, {"parameter": "9,2", "name": "generalized_linkage", "value": 82718061256015110205410605675884274887157667290683593750}, {"parameter": "9,3", "name": "generalized_linkage", "value": 82718061255331049456152033689440222254778856114901000000}, {"parameter": "9,4", "name": "generalized_linkage", "value": 82718061255303896578966116608054766598626718805197800000}, {"parameter": "9,5", "name": "generalized_linkage", "value": 82718061255302812320705867194003915905918559893507337005}, {"parameter": "9,6", "name": "generalized_linkage", "value": 82718061255302769211531707717817932670412060241090472453}, {"parameter": "9,7", "name": "generalized_linkage", "value": 82718061255411411341284040138977201491398481658127781664}, {"parameter": "10,0", "name": "generalized_linkage", "value": 7091571839311073476209473713695473950386047363281250}, {"parameter": "10,1", "name": "generalized_linkage", "value": 211758378839279253724079547441036700546691894531250}, {"parameter": "10,2", "name": "generalized_linkage", "value": 211758237998929436029865692730657117389877792968750}, {"parameter": "10,3", "name": "generalized_linkage", "value": 211758236822766489820019998309118041400918891156250}, {"parameter": "10,4", "name": "generalized_linkage", "value": 211758236813647958199950464771737732214089392279500}, {"parameter": "10,5", "name": "generalized_linkage", "value": 211758236813575662870678848641890807819662261263000}, {"parameter": "10,6", "name": "generalized_linkage", "value": 211758236813575089209944563991274383913069955674929}, {"parameter": "10,7", "name": "generalized_linkage", "value": 211758236813630710278000329094017388282175352086813}, {"parameter": "11,1", "name": "generalized_linkage", "value": 221025577391126562703664037951510229294250488281250}, {"parameter": "11,2", "name": "generalized_linkage", "value": 220581040414216746824605306042959995461288925781250}, {"parameter": "11,3", "name": "generalized_linkage", "value": 220581040412396165011908730661992960956564718968750}, {"parameter": "11,4", "name": "generalized_linkage", "value": 220581040412393130355557949137821507286080688620750}, {"parameter": "11,5", "name": "generalized_linkage", "value": 220581040412393125656674190872006777059820002037820}, {"parameter": "11,6", "name": "generalized_linkage", "value": 220581040412393125649271057282032398251331952582900}, {"parameter": "11,7", "name": "generalized_linkage", "value": 220581040412393125677739570125996419808106735680909}, {"parameter": "12,2", "name": "generalized_linkage", "value": 213801960176047189177625769829240589179428574218750}, {"parameter": "12,3", "name": "generalized_linkage", "value": 213801959035919698461098569445664094374190609593750}, {"parameter": "12,4", "name": "generalized_linkage", "value": 213801959035919697527416961288061575556198203623250}, {"parameter": "12,5", "name": "generalized_linkage", "value": 213801959035919697527106204837645770638964249301670}, {"parameter": "12,6", "name": "generalized_linkage", "value": 213801959035919697527106109220827981064662271231531}, {"parameter": "12,7", "name": "generalized_linkage", "value": 213801959035919697527106123768103720319443614355900}, {"parameter": "13,3", "name": "generalized_linkage", "value": 212212649460504106258574258926979670224604183812500}, {"parameter": "13,4", "name": "generalized_linkage", "value": 212212649460503989502058194376038448108910399154500}, {"parameter": "13,5", "name": "generalized_linkage", "value": 212212649460503989502058175277296744726898023075320}, {"parameter": "13,6", "name": "generalized_linkage", "value": 212212649460503989502058175276033655527106060658986}, {"parameter": "13,7", "name": "generalized_linkage", "value": 212212649460503989502058175276041046872012713917626}, {"parameter": "14,4", "name": "generalized_linkage", "value": 212115121497015181419960686092601721450087703842000}, {"parameter": "14,5", "name": "generalized_linkage", "value": 212115121497015181419960208586417154098494847660320}, {"parameter": "14,6", "name": "generalized_linkage", "value": 212115121497015181419960208586417138576706249589031}, {"parameter": "14,7", "name": "generalized_linkage", "value": 212115121497015181419960208586417138580359082051556}, {"parameter": "15,5", "name": "generalized_linkage", "value": 212191768316378382029834373222917395954084396488445}, {"parameter": "15,6", "name": "generalized_linkage", "value": 212191768316378382029834373222917318344116211425781}, {"parameter": "15,7", "name": "generalized_linkage", "value": 212191768316378382029834373222917318344116212972001}, {"parameter": "16,6", "name": "generalized_linkage", "value": 212194484404388138225165440854841980697631836425781}, {"parameter": "16,7", "name": "generalized_linkage", "value": 212194484404388138225165440854841980697631835937501}, {"parameter": "17,7", "name": "generalized_linkage", "value": 212195027623380726525226825814981578202912185546876}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 82718061692202221146925798285174936179440498352050781250}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 82718061273648675525660903587439083944359357116699218750}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 82718061256015110205410605675884274887157667290683593750}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 82718061255331049456152033689440222254778856114901000000}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 82718061255303896578966116608054766598626718805197800000}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 82718061255302812320705867194003915905918559893507337005}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 82718061255302769211531707717817932670412060241090472453}, {"parameter": "[9, 10],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 82718061255411411341284040138977201491398481658127781664}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7091571839311073476209473713695473950386047363281250}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 211758378839279253724079547441036700546691894531250}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 211758237998929436029865692730657117389877792968750}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 211758236822766489820019998309118041400918891156250}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758236813647958199950464771737732214089392279500}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236813575662870678848641890807819662261263000}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758236813575089209944563991274383913069955674929}, {"parameter": "[10, 9],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 211758236813630710278000329094017388282175352086813}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 221025577391126562703664037951510229294250488281250}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 220581040414216746824605306042959995461288925781250}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 220581040412396165011908730661992960956564718968750}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 220581040412393130355557949137821507286080688620750}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 220581040412393125656674190872006777059820002037820}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 220581040412393125649271057282032398251331952582900}, {"parameter": "[11, 8],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 220581040412393125677739570125996419808106735680909}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 213801960176047189177625769829240589179428574218750}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 213801959035919698461098569445664094374190609593750}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 213801959035919697527416961288061575556198203623250}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 213801959035919697527106204837645770638964249301670}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 213801959035919697527106109220827981064662271231531}, {"parameter": "[12, 7],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 213801959035919697527106123768103720319443614355900}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 212212649460504106258574258926979670224604183812500}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 212212649460503989502058194376038448108910399154500}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212212649460503989502058175277296744726898023075320}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212212649460503989502058175276033655527106060658986}, {"parameter": "[13, 6],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 212212649460503989502058175276041046872012713917626}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 212115121497015181419960686092601721450087703842000}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212115121497015181419960208586417154098494847660320}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212115121497015181419960208586417138576706249589031}, {"parameter": "[14, 5],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 212115121497015181419960208586417138580359082051556}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212191768316378382029834373222917395954084396488445}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212191768316378382029834373222917318344116211425781}, {"parameter": "[15, 4],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 212191768316378382029834373222917318344116212972001}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212194484404388138225165440854841980697631836425781}, {"parameter": "[16, 3],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 212194484404388138225165440854841980697631835937501}, {"parameter": "[17, 2],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195027623380726525226825814981578202912185546876}, {"parameter": "[9, 2, 8],[0, 7, 1]", "name": "generalized_linkage_multipleblocks", "value": 212195244687452118246602204566013436794281005859375}, {"parameter": "[9, 2, 8],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 212195244687452118246602204566013436794281005859375}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 212195136268955715384327796458389978885650634765625}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 212195136268955715384327796458389978885650634765625}, {"parameter": "[9, 3, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 212195136267290380847390061647754531383514404296875}, {"parameter": "[9, 3, 7],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 212195136267290380847390061647754531383514404296875}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 212195136311976834709076520924579720973968505859375}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 212195136311976834709076520924579720973968505859375}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234870577231796163257580280303955078125}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234870577231796163257580280303955078125}, {"parameter": "[9, 4, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 212195136267292693692416670204263549327850341796875}, {"parameter": "[9, 4, 6],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 212195136267292693692416670204263549327850341796875}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 212195137394426992669698684879701953411102294921875}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195137394426992669698684879701953411102294921875}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234892604044890434604506969451904296875}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234892604044890434604506969451904296875}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234870613941272425588589191436767578125}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234870613941272425588589191436767578125}, {"parameter": "[9, 5, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 212195136267290916596908315953921895503997802734375}, {"parameter": "[9, 5, 5],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195136267290916596908315953921895503997802734375}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195164488643473969739085001062970638275146484375}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195164488643473969739085001062970638275146484375}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195136267235446818525766273152451992034912109375}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195136267235446818525766273152451992034912109375}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234893558490785184961181163787841796875}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234893558490785184961181163787841796875}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234870585735212516989927768707275390625}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234870585735212516989927768707275390625}, {"parameter": "[9, 6, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195136267290499968938978178557377338409423828125}, {"parameter": "[9, 6, 4],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195136267290499968938978178557377338409423828125}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195841800704759212491076632004600048065185546875}, {"parameter": "[9, 7, 3],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195841800704759212491076632004600048065185546875}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195136267249319057364191893837314128875732421875}, {"parameter": "[9, 7, 3],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267249319057364191893837314128875732421875}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195136267235470864047550048654817104339599609375}, {"parameter": "[9, 7, 3],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267235470864047550048654817104339599609375}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234892825133602574610562496185302734375}, {"parameter": "[9, 7, 3],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234892825133602574610562496185302734375}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234870579122493387660757183074951171875}, {"parameter": "[9, 7, 3],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234870579122493387660757183074951171875}, {"parameter": "[9, 7, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195136267290474402568517368451503849029541015625}, {"parameter": "[9, 7, 3],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267290474402568517368451503849029541015625}, {"parameter": "[9, 8, 2],[0, 1, 7]", "name": "generalized_linkage_multipleblocks", "value": 212212748375382142389634649908295732021331787109375}, {"parameter": "[9, 8, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267596102832742236182857029170989990234375}, {"parameter": "[9, 8, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267249921082947526119673811127899169921875}, {"parameter": "[9, 8, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267235452388452226378973263425217529296875}, {"parameter": "[9, 8, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234892653202993131352654505581923828125}, {"parameter": "[9, 8, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267234870578716703955706779182650927734375}, {"parameter": "[9, 8, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 212195136267290494495072332515312178702044011718750}, {"parameter": "[10, 2, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917771151144067747097864728450775146484375}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715644426623160413868706703186035156250}, {"parameter": "[10, 3, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715640021258198701247554302215576171875}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917716217123772706415906529903411865234375}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715639992838759369619172096252441406250}, {"parameter": "[10, 4, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715640022442375354871135234832763671875}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917788357381240528341785054683685302734375}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715639993131980310186725139617919921875}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715639992838853952176850318908691406250}, {"parameter": "[10, 5, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715640021532502454593759059906005859375}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 6879813710926819184865046148667574744701385498046875}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715640030067792133711551189422607421875}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715639993144291800141331462860107421875}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715639992838781278808559364318847656250}, {"parameter": "[10, 6, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715640021319188934292818073272705078125}, {"parameter": "[10, 7, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 6879813712055658171016476725908516988964080810546875}, {"parameter": "[10, 7, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715644653851463842189157993743896484375}, {"parameter": "[10, 7, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715640031619016198617149509914794921875}, {"parameter": "[10, 7, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715639993134832154878561210233974609375}, {"parameter": "[10, 7, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715639992838764241031065887560363281250}, {"parameter": "[10, 7, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 6879813710917715640021306098952616883299065478515625}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 3314296734225608956247283037951258211621137539043339525}], "request": [5, 19, 4, 9], "liftedmrdsizebound": 82899017929237711853924029889735346088080058304182417806, "comments": "", "equal_bound_constraints": []}