{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "", "name": "singleton", "value": 329554457}, {"parameter": "1", "name": "ilp_2", "value": 282475256}, {"parameter": "2", "name": "ilp_2", "value": 79792282116228682}, {"parameter": "3", "name": "ilp_2", "value": 22539372127845845843828154}, {"parameter": "4", "name": "ilp_2", "value": 6366868871609193609238795149585652}, {"parameter": "5", "name": "ilp_2", "value": 1798589884190150002785121446008073549395012}, {"parameter": "6", "name": "ilp_2", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "7", "name": "ilp_2", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "8", "name": "ilp_2", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "10", "name": "ilp_3", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "11", "name": "ilp_3", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "12", "name": "ilp_3", "value": 174336204453177705031744800404702901452809419500220008}, {"parameter": "13", "name": "ilp_3", "value": 4318414327221944730615762926479352150838631064}, {"parameter": "14", "name": "ilp_3", "value": 107007965503935626058134307830085289706}, {"parameter": "15", "name": "ilp_3", "value": 2651734600856349756137662623659}, {"parameter": "16", "name": "ilp_3", "value": 65712375623475595914577}, {"parameter": "17", "name": "ilp_3", "value": 1628413644028857}, {"parameter": "", "name": "anticode", "value": 282475256}, {"parameter": "", "name": "linear_programming_bound", "value": 282475256}, {"parameter": "", "name": "sphere_packing", "value": 18863648755372954531336877}, {"parameter": "", "name": "DrakeFreeman", "value": 282475253}, {"parameter": "", "name": "partial_spread_5", "value": 282475255}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 282475250}, {"parameter": "", "name": "spread_bound", "value": 282475256}, {"parameter": "", "name": "XiaFuJohnson1", "value": 282475256}, {"parameter": "18", "name": "ilp_4", "value": 1628413644028857}, {"parameter": "", "name": "johnson_1", "value": 282475256}, {"parameter": "", "name": "johnson_2", "value": 1628413644028857}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 174336204453177705031744800404702901452809419500220008}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 4318414327221944730615762926479352150838631064}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 107007965503935626058134307830085289706}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2651734600856349756137662623659}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 65712375623475595914577}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1628413644028857}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 1628413644028857}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6173707140496789605410811742574515386483937410725151138259271}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1049075808009556338976210623171027141244511350515018243}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 181449009950865549304230592433403936475804718660}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 31462252811812367016037103509806531697290}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 5457362717023654872903484540897863}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 946709984485822240844744757}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 164280943119541388426}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 164692674745160209574}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 203551709917283}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 282475256}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 149867991217930664506524991731234113196816268264199103}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 178265698314250001433136615845768556856005965595}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 215830872315384564491751242034467786909762}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 261967179576587646579695154263908867}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 318081477146606175019219096296}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 386254650611308488364828}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 386412305406577756953534}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 3293854056252430371}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 28568672456847}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 282475415}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 3703044782034689233474374821074045452448054229}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 30833013101843384605049839905207382605383}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 261312267971047686824947089609240703}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 2220195244971538957781888980232}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 18870385314706139575646134}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 18871504869182128528947802}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1123292946048716561124}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 67029761207229369}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 4071056090203}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 282476456}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1798589884190150002785121446008073549395012}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 91727350599470687229899575550190509972}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 5346312559446725327613521829295427}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 317173052379181951618638222661}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 18863648755372954531336877}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 18863809020150326478923228}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 7856646634912230077173}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 3273645852170565443}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 1367444848536592}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 581391648901}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 282492057}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 6366868871609193609238795149585652}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 2273069937215055275457006245234}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 927405138115213450229456422}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 385132284973102866370975}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 385132752431811508360239}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 1122378114054204454839}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 3272823421533426514}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 9545999869707488}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 27917837448005}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 83088066866}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 282592920}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 22539372127845845843828154}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 56348430518595169135705}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 160938041874927769334}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 160938069722265432388}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 3274909956713217061}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 66903044247222309}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 1367396222434681}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 27917407089527}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 571406404374}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 11903725652}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 283301194}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 79792282116228682}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 1399864603399086}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 1399864637480400}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 195991078111969}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 28487109290991}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 4067960718456}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 581374531265}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 83086810833}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 11903724708}, {"parameter": "7, 11", "name": "Ahlswede_Aydinian", "value": 1735323437}, {"parameter": "7, 12", "name": "Ahlswede_Aydinian", "value": 288360150}, {"parameter": "8, 1", "name": "Ahlswede_Aydinian", "value": 282475256}, {"parameter": "8, 2", "name": "Ahlswede_Aydinian", "value": 282475256}, {"parameter": "8, 3", "name": "Ahlswede_Aydinian", "value": 282475262}, {"parameter": "8, 4", "name": "Ahlswede_Aydinian", "value": 282475305}, {"parameter": "8, 5", "name": "Ahlswede_Aydinian", "value": 282475606}, {"parameter": "8, 6", "name": "Ahlswede_Aydinian", "value": 282477706}, {"parameter": "8, 7", "name": "Ahlswede_Aydinian", "value": 282492413}, {"parameter": "8, 8", "name": "Ahlswede_Aydinian", "value": 282595399}, {"parameter": "8, 9", "name": "Ahlswede_Aydinian", "value": 283318112}, {"parameter": "8, 10", "name": "Ahlswede_Aydinian", "value": 288467427}, {"parameter": "8, 11", "name": "Ahlswede_Aydinian", "value": 329554457}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1798589884190150002785121446008073549395012}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 6366868871609193609238795149585652}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 22539372127845845843828154}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 79792282116228682}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 282475256}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 6173707140496789605410811742574515386483937410725151138259271}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 149867991217930664506524991731234113196816268264199103}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 3703044782034689233474374821074045452448054229}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 91727350599470687229899575550190509972}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 2273069937215055275457006245234}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 56348430518595169135705}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1399864603399086}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1424861973204131}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 1628413678617664}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1049075808009556338976210623171027141244511350515018243}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 178265698314250001433136615845768556856005965595}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 30833013101843384605049839905207382605383}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 5346312559446725327613521829295427}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 927405138115213450229456422}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 160938041874927769334}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 161398849237525746591}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 164692702802392936841}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 1628414324275456}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 174336204453177705031744800404702901452809419500220008}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 181449009950865549304230592433403936475804718660}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 215830872315384564491751242034467786909762}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 261312267971047686824947089609240703}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 317173052379181951618638222661}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 385132284973102866370975}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 385289481660910939682068}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 386412773437340039106950}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 23468795132272445486}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1628422395007381}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 4318414327221944730615762926479352150838631064}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 31462252811812367016037103509806531697290}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 261967179576587646579695154263908867}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 2220195244971538957781888980232}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 18863648755372954531336877}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 18863808627644722713814374}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 18871665217035811827620097}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 7882996643654585945685}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 3351607313357688881}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 1628477720336642}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 107007965503935626058134307830085289706}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 5457362717023654872903484540897863}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 318081477146606175019219096296}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 18870385314706139575646134}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 18863809020150326478923228}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 18864931341023068476948045}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 55029261111767895996133}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 160908713521925057696}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 478989816438760562}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 1629188796468451}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 2651734600856349756137662623659}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 946709984485822240844744757}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 386254650611308488364828}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 385289882667024842554463}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 385293156407787014893154}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 7871544317537861219495}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 160939827856542434567}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 3294058606055561133}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 68625898927151536}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 1633855530644779}, {"parameter": "7, 3, o", "name": "Ahlswede_Aydinian", "value": 65712375623475595914577}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 164280943119541388426}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 161407080932971096130}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 161407276434071431492}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 23460558859501941499}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 3350339857306635965}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 478986421162701247}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 68625635951533180}, {"parameter": "7, 11, o", "name": "Ahlswede_Aydinian", "value": 10007453679819306}, {"parameter": "7, 12, o", "name": "Ahlswede_Aydinian", "value": 1667199272351600}, {"parameter": "8, 2, o", "name": "Ahlswede_Aydinian", "value": 1628413644028857}, {"parameter": "8, 3, o", "name": "Ahlswede_Aydinian", "value": 1628413683674501}, {"parameter": "8, 4, o", "name": "Ahlswede_Aydinian", "value": 1628413961194057}, {"parameter": "8, 5, o", "name": "Ahlswede_Aydinian", "value": 1628415903833266}, {"parameter": "8, 6, o", "name": "Ahlswede_Aydinian", "value": 1628429502421033}, {"parameter": "8, 7, o", "name": "Ahlswede_Aydinian", "value": 1628524698087912}, {"parameter": "8, 8, o", "name": "Ahlswede_Aydinian", "value": 1629191339939939}, {"parameter": "8, 9, o", "name": "Ahlswede_Aydinian", "value": 1633871208116795}, {"parameter": "8, 10, o", "name": "Ahlswede_Aydinian", "value": 1667299041680997}, {"parameter": "8, 11, o", "name": "Ahlswede_Aydinian", "value": 1939395353553757}, {"parameter": "", "name": "improved_johnson", "value": 282475250}], "known_codes": [], "upper_bound": 282475250, "classified": false, "lower_bound": 282475250, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 282475249}, {"parameter": "", "name": "sphere_covering", "value": 43}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 282475250}, {"parameter": "", "name": "multicomponent", "value": 282475250}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7, 8), (10, 11, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 282475250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 282475249}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 282475250}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 40353608}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 282475250}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 40353608}, {"parameter": "9", "name": "linkage_GLT", "value": 282475250}, {"parameter": "10", "name": "linkage_GLT", "value": 40353608}, {"parameter": "9", "name": "improved_linkage", "value": 282475250}, {"parameter": "10", "name": "improved_linkage", "value": 40353608}, {"parameter": "9,0", "name": "generalized_linkage", "value": 282475250}, {"parameter": "10,0", "name": "generalized_linkage", "value": 40353608}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282475250}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40353608}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7}], "request": [7, 19, 18, 9], "liftedmrdsizebound": 282475250, "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "partial_spread_2", "value": 282475250}, {"parameter": "", "name": "partial_spread_NS", "value": 282475250}]}