{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1929880702992615813429218299211809253}, {"parameter": "", "name": "singleton", "value": 6822861635108183247077}, {"parameter": "3", "name": "ilp_2", "value": 4820845570090162869569}, {"parameter": "4", "name": "ilp_2", "value": 86272391606125817394457344593}, {"parameter": "6", "name": "ilp_3", "value": 1413832016844407189325434651437222}, {"parameter": "7", "name": "ilp_3", "value": 1294480879733022513573919292654}, {"parameter": "", "name": "anticode", "value": 4820845570090162869569}, {"parameter": "", "name": "linear_programming_bound", "value": 4820845570090162869569}, {"parameter": "", "name": "sphere_packing", "value": 252998227130476792399946604}, {"parameter": "1", "name": "ilp_1", "value": 4820845570090162869569}, {"parameter": "2", "name": "ilp_1", "value": 4820845570090162869569}, {"parameter": "8", "name": "ilp_4", "value": 1285473734220574840327719442231}, {"parameter": "9", "name": "ilp_4", "value": 1285465075585138697407030954031}, {"parameter": "10", "name": "ilp_4", "value": 1285465075585138697407030954031}, {"parameter": "11", "name": "ilp_4", "value": 80886519201760925522113629875}, {"parameter": "12", "name": "ilp_4", "value": 5054193551487494837490219592}, {"parameter": "13", "name": "ilp_4", "value": 315906087220825544527511703}, {"parameter": "14", "name": "ilp_4", "value": 19746206626596111125452368}, {"parameter": "15", "name": "ilp_4", "value": 1234133279860014049567999}, {"parameter": "16", "name": "ilp_4", "value": 77133402402361008222031}, {"parameter": "", "name": "johnson_1", "value": 4820845570090162869569}, {"parameter": "", "name": "johnson_2", "value": 77133402402361008222031}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1929880702992615813429218299211809253}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1413832016844407189325434651437222}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1294480879733022513573919292654}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1285473734220574840327719442231}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1285465075585138697407030954031}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1285465075585138697407030954031}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 80886519201760925522113629875}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5054193551487494837490219592}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 315906087220825544527511703}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 19746206626596111125452368}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1234133279860014049567999}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 77133402402361008222031}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 86272391606125817394457344593}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 252998227130476792399946604}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 252998272237428414687717905}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 252998452665395745956848909}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 252999174379838554557436116}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 63018870876234905231398557}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 15798872157279294089567049}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3949535111401396080745076}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 988275202321279581020457}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 247789789642199184942119}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 62683392649820232811286}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 16451925376966949324845}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 5137213541788743153233}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 4820845570090162869569}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 4820845836306673069666}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 4820846901172960426391}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 4820851160642054758314}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 4820868198581550802845}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 4820936351349449581616}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 4821208978580646765380}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 4822299746121064832775}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 4826666958104383661290}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 4844202330346208466509}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 4915424793761210767896}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 5218741309610475511337}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 6822861635108183247077}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1929880702992615813429218299211809253}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 86272391606125817394457344593}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 4820845570090162869569}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 4820845570090162869569}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 4820845570090162869569}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1413832016844407189325434651437222}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 252998227130476792399946604}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 253742157938999848076666787}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 256762897365843064290573037}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 269601039786051117117786665}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 337001283667012899415009617}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1294480879733022513573919292654}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1295667170012530783894919748110}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1300430648833081907411805101845}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1319782281294101076517603802038}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1402268610209202781689612194929}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1840477112202685809580351554021}, {"parameter": "", "name": "improved_johnson", "value": 4820845570090162869569}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 79003887410618262671416275}], "known_codes": [], "upper_bound": 4820845570090162869569, "classified": false, "lower_bound": 4722389346114433193637, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4722366482869645213696}, {"parameter": "", "name": "sphere_covering", "value": 831610643638599350}, {"parameter": "", "name": "graham_sloane", "value": 19616070477602243}, {"parameter": "", "name": "multicomponent", "value": 4722384497336874173441}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4722366482869645213697}, {"parameter": "", "name": "two_pivot_block_construction", "value": 4722384497336874172416}, {"parameter": "(5, 12)", "name": "CKMP2019_Lem_41", "value": 4722366487267713017856}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 73786976363558012400}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1152921505680592936}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 18464758472220082241}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 295166201052839019521}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 4722384673190015139841}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 4722389105321386704897}, {"parameter": "(12, 5)", "name": "CKMP2019_Lem_41", "value": 4722389346114433187841}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Lem_41", "value": 4722366487267691724801}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Lem_41", "value": 4722366482870718955521}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Lem_41", "value": 73786976363557683201}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Lem_41", "value": 73786976295911948289}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1152921505680588801}, {"parameter": "(5, 12)", "name": "CKMP2019_Cor_42", "value": 4722366487267713017856}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 73786976363558012400}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1152921505680592936}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 18464758472220082241}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 295166201052839019521}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 4722384673190015139841}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 4722389105321386704897}, {"parameter": "(12, 5)", "name": "CKMP2019_Cor_42", "value": 4722389346114433187841}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Cor_42", "value": 4722366487267691724801}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Cor_42", "value": 4722366482870718955521}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Cor_42", "value": 73786976363557683201}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Cor_42", "value": 73786976295911948289}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1152921505680588801}, {"parameter": "5", "name": "linkage_ST", "value": 4722389346114433187841}, {"parameter": "6", "name": "linkage_ST", "value": 4722389105321386704897}, {"parameter": "7", "name": "linkage_ST", "value": 4722384673190015139841}, {"parameter": "8", "name": "linkage_ST", "value": 295166201052839019521}, {"parameter": "9", "name": "linkage_ST", "value": 18464758472220082241}, {"parameter": "10", "name": "linkage_ST", "value": 1152921505680592936}, {"parameter": "11", "name": "linkage_ST", "value": 73786976363558012400}, {"parameter": "12", "name": "linkage_ST", "value": 4722366487267713017856}, {"parameter": "13", "name": "linkage_ST", "value": 281476339467536}, {"parameter": "14", "name": "linkage_ST", "value": 18014485725940304}, {"parameter": "15", "name": "linkage_ST", "value": 1152927086460344384}, {"parameter": "16", "name": "linkage_ST", "value": 73787329770646673061}, {"parameter": "5", "name": "construction_D", "value": 4722389346114433187840}, {"parameter": "6", "name": "construction_D", "value": 4722389105321386704896}, {"parameter": "7", "name": "construction_D", "value": 4722384673190015139840}, {"parameter": "8", "name": "construction_D", "value": 295166201052839018496}, {"parameter": "9", "name": "construction_D", "value": 18464758472219033600}, {"parameter": "10", "name": "construction_D", "value": 1152921504606846976}, {"parameter": "11", "name": "construction_D", "value": 73786976294838206464}, {"parameter": "12", "name": "construction_D", "value": 4722366482869645213696}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "17", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 4722366487267713017856}, {"parameter": "6", "name": "linkage_GLT", "value": 73786976363558012400}, {"parameter": "7", "name": "linkage_GLT", "value": 1152921505680592936}, {"parameter": "8", "name": "linkage_GLT", "value": 18464758472220082241}, {"parameter": "9", "name": "linkage_GLT", "value": 295166201052839019521}, {"parameter": "10", "name": "linkage_GLT", "value": 4722384673190015139841}, {"parameter": "11", "name": "linkage_GLT", "value": 4722389105321386704897}, {"parameter": "12", "name": "linkage_GLT", "value": 4722389346114433187841}, {"parameter": "5", "name": "improved_linkage", "value": 4722384497355371154000}, {"parameter": "6", "name": "improved_linkage", "value": 73787257771177674000}, {"parameter": "7", "name": "improved_linkage", "value": 1152925902674651136}, {"parameter": "8", "name": "improved_linkage", "value": 18464758540938839536}, {"parameter": "9", "name": "improved_linkage", "value": 295166201053912764456}, {"parameter": "10", "name": "improved_linkage", "value": 4722384673190016188481}, {"parameter": "11", "name": "improved_linkage", "value": 4722389105321386705921}, {"parameter": "12", "name": "improved_linkage", "value": 4722389346114433187841}, {"parameter": "13", "name": "improved_linkage", "value": 295149334133511028737}, {"parameter": "14", "name": "improved_linkage", "value": 18446833383362871297}, {"parameter": "5,0", "name": "generalized_linkage", "value": 4722366768744052484096}, {"parameter": "5,1", "name": "generalized_linkage", "value": 4722366764345984681232}, {"parameter": "5,2", "name": "generalized_linkage", "value": 4722384497355371154000}, {"parameter": "6,0", "name": "generalized_linkage", "value": 73786995055345226992}, {"parameter": "6,1", "name": "generalized_linkage", "value": 73786980692906010624}, {"parameter": "6,2", "name": "generalized_linkage", "value": 73787257771177674000}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1152922673916197416}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1152921573326652912}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1152925902674651136}, {"parameter": "8,0", "name": "generalized_linkage", "value": 18464758476800546129}, {"parameter": "8,1", "name": "generalized_linkage", "value": 18464758473292779560}, {"parameter": "8,2", "name": "generalized_linkage", "value": 18464758540938839536}, {"parameter": "9,0", "name": "generalized_linkage", "value": 295166201052844960421}, {"parameter": "9,1", "name": "generalized_linkage", "value": 295166201052840067137}, {"parameter": "9,2", "name": "generalized_linkage", "value": 295166201053912764456}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4722384673190015145637}, {"parameter": "10,1", "name": "generalized_linkage", "value": 4722384673190015140865}, {"parameter": "10,2", "name": "generalized_linkage", "value": 4722384673190016188481}, {"parameter": "11,0", "name": "generalized_linkage", "value": 4722389105321386710693}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4722389105321386704897}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4722389105321386705921}, {"parameter": "12,0", "name": "generalized_linkage", "value": 4722389346114433193637}, {"parameter": "12,1", "name": "generalized_linkage", "value": 4722389346114433187841}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4722389346114433187841}, {"parameter": "13,1", "name": "generalized_linkage", "value": 295149334133511028737}, {"parameter": "13,2", "name": "generalized_linkage", "value": 295149334133511028737}, {"parameter": "14,2", "name": "generalized_linkage", "value": 18446833383362871297}, {"parameter": "[5, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366768744052484096}, {"parameter": "[5, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764345984681232}, {"parameter": "[5, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722384497355371154000}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786995055345226992}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692906010624}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787257771177674000}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152922673916197416}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573326652912}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152925902674651136}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18464758476800546129}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18464758473292779560}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18464758540938839536}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 295166201052844960421}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 295166201052840067137}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 295166201053912764456}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722384673190015145637}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384673190015140865}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722384673190016188481}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722389105321386710693}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722389105321386704897}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722389105321386705921}, {"parameter": "[12, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722389346114433193637}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722389346114433187841}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722389346114433187841}, {"parameter": "[13, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 295149334133511028737}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 295149334133511028737}, {"parameter": "[14, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446833383362871297}, {"parameter": "[5, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18464758473650428565}, {"parameter": "[5, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18464758542012521000}, {"parameter": "[5, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18464762939006419440}, {"parameter": "[5, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 295148186654333867137}, {"parameter": "[5, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 295148186654397698177}, {"parameter": "[5, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 295148186724123023912}, {"parameter": "[5, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 295148186654333867137}, {"parameter": "[5, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 295148186654397698177}, {"parameter": "[5, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295148186724123023912}, {"parameter": "[5, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366768742668439681}, {"parameter": "[5, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366768742668502081}, {"parameter": "[5, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366768742736597121}, {"parameter": "[5, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691729025}, {"parameter": "[5, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691791425}, {"parameter": "[5, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267759886465}, {"parameter": "[5, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691729025}, {"parameter": "[5, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691791425}, {"parameter": "[5, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267759886465}, {"parameter": "[5, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487336411219281}, {"parameter": "[5, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487336411201601}, {"parameter": "[5, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366487336411268161}, {"parameter": "[5, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364708177}, {"parameter": "[5, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690497}, {"parameter": "[5, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364757057}, {"parameter": "[5, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366553307108885841}, {"parameter": "[5, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366553307108868161}, {"parameter": "[5, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366553307108934721}, {"parameter": "[5, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482939438503041}, {"parameter": "[5, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482939438432321}, {"parameter": "[5, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482939438432321}, {"parameter": "[5, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970230654081}, {"parameter": "[5, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970230583361}, {"parameter": "[5, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970230583361}, {"parameter": "[5, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839345345665}, {"parameter": "[5, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839345274945}, {"parameter": "[5, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839345274945}, {"parameter": "[5, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 295147905249214201921}, {"parameter": "[5, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 295147905249214201921}, {"parameter": "[5, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 295147906278932611137}, {"parameter": "[5, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 295147906278932611137}, {"parameter": "[5, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 295149031083596578881}, {"parameter": "[5, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295149031083596578881}, {"parameter": "[5, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446744143507096641}, {"parameter": "[5, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446745173225414721}, {"parameter": "[5, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446814442790830145}, {"parameter": "[6, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 288511851134298725}, {"parameter": "[6, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 288511851414701393}, {"parameter": "[6, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 288512144261069480}, {"parameter": "[6, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4611690416473916753}, {"parameter": "[6, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611690416474178833}, {"parameter": "[6, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611690416760178001}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4611690416473916753}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611690416474178833}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611690416760178001}, {"parameter": "[6, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786995055255373137}, {"parameter": "[6, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786995055255355665}, {"parameter": "[6, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786995055255635217}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557700945}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557683473}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557963025}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557700945}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557683473}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557963025}, {"parameter": "[6, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976587969798945}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976587969724689}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976587969724689}, {"parameter": "[6, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976295912022817}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976295911948561}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976295911948561}, {"parameter": "[6, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423650593}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423576337}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423576337}, {"parameter": "[6, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611686018713649425}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611686018713649425}, {"parameter": "[6, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611686019502178577}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611686019502178577}, {"parameter": "[6, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611687118007173393}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611687118007173393}, {"parameter": "[6, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 288230376438252817}, {"parameter": "[6, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 288230377225520401}, {"parameter": "[6, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 288231475667575057}, {"parameter": "[7, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4507997673904469}, {"parameter": "[7, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4507997674997825}, {"parameter": "[7, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4507998815851649}, {"parameter": "[7, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 72057662757475457}, {"parameter": "[7, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057662757405761}, {"parameter": "[7, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057662758520897}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 72057662757475457}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057662757405761}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057662758520897}, {"parameter": "[7, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152922673911764097}, {"parameter": "[7, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922673911694401}, {"parameter": "[7, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922673911694401}, {"parameter": "[7, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680659585}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680589889}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680589889}, {"parameter": "[7, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680659585}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680589889}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680589889}, {"parameter": "[7, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057595179828289}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057595179828289}, {"parameter": "[7, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057594038977601}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594038977601}, {"parameter": "[7, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057595112719425}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057595112719425}, {"parameter": "[7, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4503599628486721}, {"parameter": "[7, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4503599628421185}, {"parameter": "[7, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4503600701179969}, {"parameter": "[8, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 72128031501674085}, {"parameter": "[8, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72128031501586705}, {"parameter": "[8, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72128031506060561}, {"parameter": "[8, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1154047405587715409}, {"parameter": "[8, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047405587435793}, {"parameter": "[8, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047405587435793}, {"parameter": "[8, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1154047405587715409}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047405587435793}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047405587435793}, {"parameter": "[8, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047409094922513}, {"parameter": "[8, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047409094922513}, {"parameter": "[8, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047404514742545}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047404514742545}, {"parameter": "[8, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047404514742545}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047404514742545}, {"parameter": "[8, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127962786583825}, {"parameter": "[8, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127962782110993}, {"parameter": "[8, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127962783159569}, {"parameter": "[9, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152992973936515977}, {"parameter": "[9, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152992973936400037}, {"parameter": "[9, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992973936400037}, {"parameter": "[9, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152992972863706789}, {"parameter": "[9, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992972863706789}, {"parameter": "[9, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152992972863706789}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992972863706789}, {"parameter": "[9, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992972868594341}, {"parameter": "[9, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992972862659237}, {"parameter": "[9, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992972862659237}, {"parameter": "[10, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925945604085413}, {"parameter": "[10, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152925945604085413}, {"parameter": "[10, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152925945603037861}, {"parameter": "[10, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152925945603037861}, {"parameter": "[11, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057939229153957}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 72132429548122105}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72132429548094805}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72132429549492565}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1154047474306996885}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047474306909525}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047474306909525}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1154047474306996885}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047474306909525}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047474306909525}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047405944997205}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047405944997205}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047404581848405}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047404581848405}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047404581848405}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047404581848405}, {"parameter": "[5, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127962783504725}, {"parameter": "[5, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127962782173525}, {"parameter": "[5, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127962850330965}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152922673911782037}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922673911697537}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922673911697537}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152922673911782037}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922673911697537}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922673911697537}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922604186636417}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604186636417}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922604186636417}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604186636417}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922604186636417}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604186636417}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922604186636417}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604186636417}, {"parameter": "[5, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604122805377}, {"parameter": "[5, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604118545537}, {"parameter": "[5, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604118545537}, {"parameter": "[5, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604122805377}, {"parameter": "[5, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604118545537}, {"parameter": "[5, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604118545537}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921574468227201}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921574468227201}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921505748750465}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505748750465}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921505748750465}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505748750465}, {"parameter": "[5, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921574400136321}, {"parameter": "[5, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921574400136321}, {"parameter": "[5, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680659585}, {"parameter": "[5, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680659585}, {"parameter": "[5, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680659585}, {"parameter": "[5, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680659585}, {"parameter": "[5, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594106169681}, {"parameter": "[5, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594039060817}, {"parameter": "[5, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057595112802641}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1127292550108745}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1127292549994085}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127292549994085}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1126999704737381}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999704737381}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1126999704737381}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999704737381}, {"parameter": "[6, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999424346725}, {"parameter": "[6, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999418755685}, {"parameter": "[6, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999418755685}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125901266863441}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125901266863441}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125901266863441}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125901266863441}, {"parameter": "[6, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900980881745}, {"parameter": "[6, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900980881745}, {"parameter": "[6, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900980881745}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900980881745}, {"parameter": "[6, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900193401169}, {"parameter": "[6, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899908188497}, {"parameter": "[6, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899908188497}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1101727291733}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1101727291733}, {"parameter": "[7, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100586507605}, {"parameter": "[7, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100586507605}, {"parameter": "[7, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099513862273}, {"parameter": "[7, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099513862273}, {"parameter": "[8, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100590983781}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100654953465}, {"parameter": "", "name": "JohnsonLB", "value": 4721239447033375477495}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 18018883261017748}], "request": [4, 17, 6, 5], "liftedmrdsizebound": 4722392509989199317221, "comments": "", "equal_bound_constraints": []}