{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 75215006575885931519565302404}, {"parameter": "", "name": "singleton", "value": 347441274648040}, {"parameter": "2", "name": "ilp_2", "value": 216482646317940}, {"parameter": "3", "name": "ilp_2", "value": 3494575501960936002537}, {"parameter": "5", "name": "ilp_3", "value": 621611624594098607599713243}, {"parameter": "6", "name": "ilp_3", "value": 6830896973561523160436409}, {"parameter": "", "name": "anticode", "value": 216482646317940}, {"parameter": "", "name": "linear_programming_bound", "value": 216482646317940}, {"parameter": "", "name": "sphere_packing", "value": 87364391506597018630}, {"parameter": "1", "name": "ilp_1", "value": 216482646317940}, {"parameter": "7", "name": "ilp_4", "value": 6662155694251220209538163}, {"parameter": "8", "name": "ilp_4", "value": 6662155694251220209538163}, {"parameter": "9", "name": "ilp_4", "value": 743248834149749311843177}, {"parameter": "10", "name": "ilp_4", "value": 83920562242453689338454}, {"parameter": "11", "name": "ilp_4", "value": 9312229758066383450344}, {"parameter": "12", "name": "ilp_4", "value": 1034845206994899866209}, {"parameter": "13", "name": "ilp_4", "value": 115050348317688235970}, {"parameter": "14", "name": "ilp_4", "value": 12782746626492575973}, {"parameter": "15", "name": "ilp_4", "value": 1420312902463475336}, {"parameter": "16", "name": "ilp_4", "value": 157815976259154933}, {"parameter": "17", "name": "ilp_4", "value": 17535076699888889}, {"parameter": "18", "name": "ilp_4", "value": 1948342247808011}, {"parameter": "", "name": "johnson_1", "value": 216482646317940}, {"parameter": "", "name": "johnson_2", "value": 1948342247808011}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 75215006575885931519565302404}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 621611624594098607599713243}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 6830896973561523160436409}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 6662155694251220209538163}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6662155694251220209538163}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 743248834149749311843177}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 83920562242453689338454}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 9312229758066383450344}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1034845206994899866209}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 115050348317688235970}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 12782746626492575973}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1420312902463475336}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 157815976259154933}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 17535076699888889}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 1948342247808011}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 3494575501960936002537}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 87364391506597018630}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 80866224615568949364}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 80866257584470593087}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 28880841604048864373}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 9521289065460407084}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 3197285567411129798}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1064497300321136494}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 355156454467058972}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 118404647403270373}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 39507022422596262}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 13204176350588396}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 4437186786031639}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1516000762686269}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 546264643055764}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 240536238504184}, {"parameter": "2, 2", "name": "Ahlswede_Aydinian", "value": 216482646317940}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 216482658697057}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 216482695834414}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 216482807246549}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 216483141483504}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 216484144199337}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 216487152391530}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 216496177370389}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 216523255927978}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 216604524203169}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 216848622810211}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 217583572411643}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 219812571353180}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 226724351100250}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 249705575766958}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 347441274648040}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 75215006575885931519565302404}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 3494575501960936002537}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 216482646317940}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 216482646317940}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 621611624594098607599713243}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 87364391506597018630}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 89604503786420969688}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 97071544602553809683}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 129428719399495408351}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 6830896973561523160436409}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 6906795796733546189374214}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 7142925464597691352022939}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 7936583468203560053868281}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 11463951511551877750726204}, {"parameter": "", "name": "improved_johnson", "value": 216482646317935}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 38507685633093485169}], "known_codes": [], "upper_bound": 216482646317935, "classified": false, "lower_bound": 206191512966718, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 205891132094649}, {"parameter": "", "name": "sphere_covering", "value": 1665251506419}, {"parameter": "", "name": "graham_sloane", "value": 111359382613}, {"parameter": "", "name": "multicomponent", "value": 206173949583142}, {"parameter": "", "name": "construction_ST_A_1", "value": 206179445535520}, {"parameter": "[(0, 1, 2, 3), (2, 4, 5, 6), (3, 5, 7, 8), (0, 4, 7, 9), (1, 6, 7, 10), (0, 6, 8, 11), (2, 8, 9, 10), (1, 5, 9, 11), (1, 4, 8, 12), (3, 4, 10, 11), (3, 6, 9, 12), (0, 5, 10, 12), (2, 7, 11, 12), (8, 13, 14, 15), (2, 13, 16, 17), (12, 14, 16, 18), (5, 15, 17, 18)]", "name": "ef_computation", "value": 206178724581187}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 205891132094649}, {"parameter": "(4, 15)", "name": "CKMP2019_Lem_41", "value": 205922558937046}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 22880284326337}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 2542253798809}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 23159265098422}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 205922517944205}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 205988762590072}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 206183247202432}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 206191512120349}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 206179349023702}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 206183419861681}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 206191512881425}, {"parameter": "(15, 4)", "name": "CKMP2019_Lem_41", "value": 206191512966718}, {"parameter": "(4, 4, 11)", "name": "CKMP2019_Lem_41", "value": 205922517944205}, {"parameter": "(4, 5, 10)", "name": "CKMP2019_Lem_41", "value": 205894619411245}, {"parameter": "(4, 6, 9)", "name": "CKMP2019_Lem_41", "value": 205891519574215}, {"parameter": "(4, 7, 8)", "name": "CKMP2019_Lem_41", "value": 205894661932333}, {"parameter": "(4, 8, 7)", "name": "CKMP2019_Lem_41", "value": 205922517937309}, {"parameter": "(4, 9, 6)", "name": "CKMP2019_Lem_41", "value": 205922528034607}, {"parameter": "(4, 10, 5)", "name": "CKMP2019_Lem_41", "value": 205922557677205}, {"parameter": "(4, 11, 4)", "name": "CKMP2019_Lem_41", "value": 205922558936917}, {"parameter": "(5, 4, 10)", "name": "CKMP2019_Lem_41", "value": 22880279771557}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 22877179934527}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 22876835508244}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 22877184658501}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 22880279770804}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 22880280892735}, {"parameter": "(5, 10, 4)", "name": "CKMP2019_Lem_41", "value": 22880284186357}, {"parameter": "(6, 4, 9)", "name": "CKMP2019_Lem_41", "value": 2542253307895}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 2541908881612}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 2541870611380}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 2541909406492}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 2542253307868}, {"parameter": "(6, 9, 4)", "name": "CKMP2019_Lem_41", "value": 2542253432527}, {"parameter": "(7, 4, 8)", "name": "CKMP2019_Lem_41", "value": 23159265044725}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 23159226774493}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 23159222522884}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 23159226833461}, {"parameter": "(7, 8, 4)", "name": "CKMP2019_Lem_41", "value": 23159265044725}, {"parameter": "(8, 4, 7)", "name": "CKMP2019_Lem_41", "value": 205922517937309}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 205922513685700}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 205922513213308}, {"parameter": "(8, 7, 4)", "name": "CKMP2019_Lem_41", "value": 205922513692261}, {"parameter": "(9, 4, 6)", "name": "CKMP2019_Lem_41", "value": 205988762589319}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 205988762116927}, {"parameter": "(9, 6, 4)", "name": "CKMP2019_Lem_41", "value": 205988762064439}, {"parameter": "(10, 4, 5)", "name": "CKMP2019_Lem_41", "value": 206183247202405}, {"parameter": "(10, 5, 4)", "name": "CKMP2019_Lem_41", "value": 206183247149917}, {"parameter": "(11, 4, 4)", "name": "CKMP2019_Lem_41", "value": 206191512120349}, {"parameter": "(4, 4, 4, 7)", "name": "CKMP2019_Lem_41", "value": 205922517937309}, {"parameter": "(4, 4, 5, 6)", "name": "CKMP2019_Lem_41", "value": 205922513685700}, {"parameter": "(4, 4, 6, 5)", "name": "CKMP2019_Lem_41", "value": 205922513213308}, {"parameter": "(4, 4, 7, 4)", "name": "CKMP2019_Lem_41", "value": 205922513692261}, {"parameter": "(4, 5, 4, 6)", "name": "CKMP2019_Lem_41", "value": 205894619410492}, {"parameter": "(4, 5, 5, 5)", "name": "CKMP2019_Lem_41", "value": 205894618938100}, {"parameter": "(4, 5, 6, 4)", "name": "CKMP2019_Lem_41", "value": 205894618885612}, {"parameter": "(4, 6, 4, 5)", "name": "CKMP2019_Lem_41", "value": 205891519574188}, {"parameter": "(4, 6, 5, 4)", "name": "CKMP2019_Lem_41", "value": 205891519521700}, {"parameter": "(4, 7, 4, 4)", "name": "CKMP2019_Lem_41", "value": 205894661932333}, {"parameter": "(5, 4, 4, 6)", "name": "CKMP2019_Lem_41", "value": 22880279770804}, {"parameter": "(5, 4, 5, 5)", "name": "CKMP2019_Lem_41", "value": 22880279298412}, {"parameter": "(5, 4, 6, 4)", "name": "CKMP2019_Lem_41", "value": 22880279245924}, {"parameter": "(5, 5, 4, 5)", "name": "CKMP2019_Lem_41", "value": 22877179934500}, {"parameter": "(5, 5, 5, 4)", "name": "CKMP2019_Lem_41", "value": 22877179882012}, {"parameter": "(5, 6, 4, 4)", "name": "CKMP2019_Lem_41", "value": 22876835508244}, {"parameter": "(6, 4, 4, 5)", "name": "CKMP2019_Lem_41", "value": 2542253307868}, {"parameter": "(6, 4, 5, 4)", "name": "CKMP2019_Lem_41", "value": 2542253255380}, {"parameter": "(6, 5, 4, 4)", "name": "CKMP2019_Lem_41", "value": 2541908881612}, {"parameter": "(7, 4, 4, 4)", "name": "CKMP2019_Lem_41", "value": 23159265044725}, {"parameter": "(4, 15)", "name": "CKMP2019_Cor_42", "value": 205922558937046}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 22880284326337}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 2542253798809}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 23159265098422}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 205922517944205}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 205988762590072}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 206183247202432}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 206191512120349}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 206179349023702}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 206183419861681}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 206191512881425}, {"parameter": "(15, 4)", "name": "CKMP2019_Cor_42", "value": 206191512966718}, {"parameter": "(4, 4, 11)", "name": "CKMP2019_Cor_42", "value": 205922517944205}, {"parameter": "(4, 5, 10)", "name": "CKMP2019_Cor_42", "value": 205894619411245}, {"parameter": "(4, 6, 9)", "name": "CKMP2019_Cor_42", "value": 205891519574215}, {"parameter": "(4, 7, 8)", "name": "CKMP2019_Cor_42", "value": 205894661932333}, {"parameter": "(4, 8, 7)", "name": "CKMP2019_Cor_42", "value": 205922517937309}, {"parameter": "(4, 9, 6)", "name": "CKMP2019_Cor_42", "value": 205922528034607}, {"parameter": "(4, 10, 5)", "name": "CKMP2019_Cor_42", "value": 205922557677205}, {"parameter": "(4, 11, 4)", "name": "CKMP2019_Cor_42", "value": 205922558936917}, {"parameter": "(5, 4, 10)", "name": "CKMP2019_Cor_42", "value": 22880279771557}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 22877179934527}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 22876835508244}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 22877184658501}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 22880279770804}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 22880280892735}, {"parameter": "(5, 10, 4)", "name": "CKMP2019_Cor_42", "value": 22880284186357}, {"parameter": "(6, 4, 9)", "name": "CKMP2019_Cor_42", "value": 2542253307895}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 2541908881612}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 2541870611380}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 2541909406492}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 2542253307868}, {"parameter": "(6, 9, 4)", "name": "CKMP2019_Cor_42", "value": 2542253432527}, {"parameter": "(7, 4, 8)", "name": "CKMP2019_Cor_42", "value": 23159265044725}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 23159226774493}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 23159222522884}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 23159226833461}, {"parameter": "(7, 8, 4)", "name": "CKMP2019_Cor_42", "value": 23159265044725}, {"parameter": "(8, 4, 7)", "name": "CKMP2019_Cor_42", "value": 205922517937309}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 205922513685700}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 205922513213308}, {"parameter": "(8, 7, 4)", "name": "CKMP2019_Cor_42", "value": 205922513692261}, {"parameter": "(9, 4, 6)", "name": "CKMP2019_Cor_42", "value": 205988762589319}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 205988762116927}, {"parameter": "(9, 6, 4)", "name": "CKMP2019_Cor_42", "value": 205988762064439}, {"parameter": "(10, 4, 5)", "name": "CKMP2019_Cor_42", "value": 206183247202405}, {"parameter": "(10, 5, 4)", "name": "CKMP2019_Cor_42", "value": 206183247149917}, {"parameter": "(11, 4, 4)", "name": "CKMP2019_Cor_42", "value": 206191512120349}, {"parameter": "(4, 4, 4, 7)", "name": "CKMP2019_Cor_42", "value": 205922517937309}, {"parameter": "(4, 4, 5, 6)", "name": "CKMP2019_Cor_42", "value": 205922513685700}, {"parameter": "(4, 4, 6, 5)", "name": "CKMP2019_Cor_42", "value": 205922513213308}, {"parameter": "(4, 4, 7, 4)", "name": "CKMP2019_Cor_42", "value": 205922513692261}, {"parameter": "(4, 5, 4, 6)", "name": "CKMP2019_Cor_42", "value": 205894619410492}, {"parameter": "(4, 5, 5, 5)", "name": "CKMP2019_Cor_42", "value": 205894618938100}, {"parameter": "(4, 5, 6, 4)", "name": "CKMP2019_Cor_42", "value": 205894618885612}, {"parameter": "(4, 6, 4, 5)", "name": "CKMP2019_Cor_42", "value": 205891519574188}, {"parameter": "(4, 6, 5, 4)", "name": "CKMP2019_Cor_42", "value": 205891519521700}, {"parameter": "(4, 7, 4, 4)", "name": "CKMP2019_Cor_42", "value": 205894661932333}, {"parameter": "(5, 4, 4, 6)", "name": "CKMP2019_Cor_42", "value": 22880279770804}, {"parameter": "(5, 4, 5, 5)", "name": "CKMP2019_Cor_42", "value": 22880279298412}, {"parameter": "(5, 4, 6, 4)", "name": "CKMP2019_Cor_42", "value": 22880279245924}, {"parameter": "(5, 5, 4, 5)", "name": "CKMP2019_Cor_42", "value": 22877179934500}, {"parameter": "(5, 5, 5, 4)", "name": "CKMP2019_Cor_42", "value": 22877179882012}, {"parameter": "(5, 6, 4, 4)", "name": "CKMP2019_Cor_42", "value": 22876835508244}, {"parameter": "(6, 4, 4, 5)", "name": "CKMP2019_Cor_42", "value": 2542253307868}, {"parameter": "(6, 4, 5, 4)", "name": "CKMP2019_Cor_42", "value": 2542253255380}, {"parameter": "(6, 5, 4, 4)", "name": "CKMP2019_Cor_42", "value": 2541908881612}, {"parameter": "(7, 4, 4, 4)", "name": "CKMP2019_Cor_42", "value": 23159265044725}, {"parameter": "4", "name": "linkage_GLT", "value": 205922558937046}, {"parameter": "5", "name": "linkage_GLT", "value": 22880284326337}, {"parameter": "6", "name": "linkage_GLT", "value": 2542253798809}, {"parameter": "7", "name": "linkage_GLT", "value": 23159265098422}, {"parameter": "8", "name": "linkage_GLT", "value": 205922517944205}, {"parameter": "9", "name": "linkage_GLT", "value": 205988762590072}, {"parameter": "10", "name": "linkage_GLT", "value": 206183247202432}, {"parameter": "11", "name": "linkage_GLT", "value": 206191512120349}, {"parameter": "12", "name": "linkage_GLT", "value": 206179349023702}, {"parameter": "13", "name": "linkage_GLT", "value": 206183419861681}, {"parameter": "14", "name": "linkage_GLT", "value": 206191512881425}, {"parameter": "15", "name": "linkage_GLT", "value": 206191512966718}, {"parameter": "4", "name": "improved_linkage", "value": 206173973676262}, {"parameter": "5", "name": "improved_linkage", "value": 22908219297358}, {"parameter": "6", "name": "improved_linkage", "value": 2545357699705}, {"parameter": "7", "name": "improved_linkage", "value": 23159609961922}, {"parameter": "8", "name": "improved_linkage", "value": 205922556261238}, {"parameter": "9", "name": "improved_linkage", "value": 205988766847824}, {"parameter": "10", "name": "improved_linkage", "value": 206183247675550}, {"parameter": "11", "name": "improved_linkage", "value": 206191512172864}, {"parameter": "12", "name": "improved_linkage", "value": 206179349030182}, {"parameter": "13", "name": "improved_linkage", "value": 206183419861762}, {"parameter": "14", "name": "improved_linkage", "value": 206191512881425}, {"parameter": "15", "name": "improved_linkage", "value": 206191512966718}, {"parameter": "16", "name": "improved_linkage", "value": 22910168110654}, {"parameter": "4,0", "name": "generalized_linkage", "value": 205922558937046}, {"parameter": "4,1", "name": "generalized_linkage", "value": 206173973676262}, {"parameter": "5,0", "name": "generalized_linkage", "value": 22880284326337}, {"parameter": "5,1", "name": "generalized_linkage", "value": 22908219297358}, {"parameter": "6,0", "name": "generalized_linkage", "value": 2542253798809}, {"parameter": "6,1", "name": "generalized_linkage", "value": 2545357699705}, {"parameter": "7,0", "name": "generalized_linkage", "value": 23159265098422}, {"parameter": "7,1", "name": "generalized_linkage", "value": 23159609961922}, {"parameter": "8,0", "name": "generalized_linkage", "value": 205922517944205}, {"parameter": "8,1", "name": "generalized_linkage", "value": 205922556261238}, {"parameter": "9,0", "name": "generalized_linkage", "value": 205988762590072}, {"parameter": "9,1", "name": "generalized_linkage", "value": 205988766847824}, {"parameter": "10,0", "name": "generalized_linkage", "value": 206183247202432}, {"parameter": "10,1", "name": "generalized_linkage", "value": 206183247675550}, {"parameter": "11,0", "name": "generalized_linkage", "value": 206191512120349}, {"parameter": "11,1", "name": "generalized_linkage", "value": 206191512172864}, {"parameter": "12,0", "name": "generalized_linkage", "value": 206179349023702}, {"parameter": "12,1", "name": "generalized_linkage", "value": 206179349030182}, {"parameter": "13,0", "name": "generalized_linkage", "value": 206183419861681}, {"parameter": "13,1", "name": "generalized_linkage", "value": 206183419861762}, {"parameter": "14,0", "name": "generalized_linkage", "value": 206191512881425}, {"parameter": "14,1", "name": "generalized_linkage", "value": 206191512881425}, {"parameter": "15,0", "name": "generalized_linkage", "value": 206191512966718}, {"parameter": "15,1", "name": "generalized_linkage", "value": 206191512966718}, {"parameter": "16,1", "name": "generalized_linkage", "value": 22910168110654}, {"parameter": "[4, 15],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922558937046}, {"parameter": "[4, 15],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206173973676262}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880284326337}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908219297358}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253798809}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2545357699705}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265098422}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159609961922}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517944205}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922556261238}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205988762590072}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205988766847824}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 206183247202432}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206183247675550}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 206191512120349}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206191512172864}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 206179349023702}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206179349030182}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 206183419861681}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206183419861762}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 206191512881425}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206191512881425}, {"parameter": "[15, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 206191512966718}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206191512966718}, {"parameter": "[16, 3],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22910168110654}, {"parameter": "[4, 3, 12],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265098422}, {"parameter": "[4, 3, 12],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159609961922}, {"parameter": "[4, 4, 11],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517944205}, {"parameter": "[4, 4, 11],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922556261238}, {"parameter": "[4, 4, 11],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517944205}, {"parameter": "[4, 4, 11],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922556261238}, {"parameter": "[4, 5, 10],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894619411245}, {"parameter": "[4, 5, 10],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894623668997}, {"parameter": "[4, 5, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894619411245}, {"parameter": "[4, 5, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894623668997}, {"parameter": "[4, 6, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891519574215}, {"parameter": "[4, 6, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891520047333}, {"parameter": "[4, 6, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922900633824}, {"parameter": "[4, 6, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922901106942}, {"parameter": "[4, 7, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894661932333}, {"parameter": "[4, 7, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894661984848}, {"parameter": "[4, 7, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 206173604684413}, {"parameter": "[4, 7, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206173604736928}, {"parameter": "[4, 8, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517937309}, {"parameter": "[4, 8, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922517943789}, {"parameter": "[4, 8, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 206173695554344}, {"parameter": "[4, 8, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206173695560824}, {"parameter": "[4, 9, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922528034607}, {"parameter": "[4, 9, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922528034688}, {"parameter": "[4, 9, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 206173962337645}, {"parameter": "[4, 9, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206173962337726}, {"parameter": "[4, 10, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922557677205}, {"parameter": "[4, 10, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922557677205}, {"parameter": "[4, 10, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 206173973675053}, {"parameter": "[4, 10, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206173973675053}, {"parameter": "[4, 11, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922558936917}, {"parameter": "[4, 11, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922558936917}, {"parameter": "[4, 11, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 206173956990430}, {"parameter": "[4, 11, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206173956990430}, {"parameter": "[4, 12, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880284120342}, {"parameter": "[4, 12, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908218063842}, {"parameter": "[5, 3, 11],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573251677885}, {"parameter": "[5, 3, 11],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573289994918}, {"parameter": "[5, 4, 10],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279771557}, {"parameter": "[5, 4, 10],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880284029309}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279771557}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880284029309}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179934527}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877180407645}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179934527}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877180407645}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876835508244}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876835560759}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322345160}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877184658501}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877184664981}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22908178297621}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908178304101}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279770804}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22908188394919}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908188395000}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880280892735}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880280892735}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22908218037517}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908218037517}, {"parameter": "[5, 10, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880284186357}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880284186357}, {"parameter": "[5, 10, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22908219297229}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908219297229}, {"parameter": "[5, 11, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253814037}, {"parameter": "[5, 11, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2545357493710}, {"parameter": "[6, 3, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 285916853077}, {"parameter": "[6, 3, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285921110829}, {"parameter": "[6, 4, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253307895}, {"parameter": "[6, 4, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253781013}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253307895}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253781013}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908934127}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908934127}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541870611380}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541870617860}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258038349}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541909406492}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909406573}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2545353144172}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2545353144253}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253307868}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253307868}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2545354266103}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2545354266103}, {"parameter": "[6, 9, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253432527}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253432527}, {"parameter": "[6, 9, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2545357559725}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2545357559725}, {"parameter": "[6, 10, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472644277}, {"parameter": "[6, 10, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282817522189}, {"parameter": "[7, 3, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573634367504}, {"parameter": "[7, 3, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573634840622}, {"parameter": "[7, 4, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 4, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265097240}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265097240}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159226774493}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159226780973}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159226774493}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159226780973}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159222522884}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159222522965}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265569605}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265569686}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159226833461}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159226833461}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159609470981}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159609470981}, {"parameter": "[7, 8, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 8, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159609595640}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159609595640}, {"parameter": "[7, 9, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251673176}, {"parameter": "[7, 9, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573289995734}, {"parameter": "[8, 3, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[8, 3, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322345160}, {"parameter": "[8, 4, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517937309}, {"parameter": "[8, 4, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922517943789}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517937309}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922517943789}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513685700}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513685781}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513685700}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513685781}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513213308}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513213308}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517996277}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922517996277}, {"parameter": "[8, 7, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513692261}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513692261}, {"parameter": "[8, 7, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922556207541}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922556207541}, {"parameter": "[8, 8, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[8, 8, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880284024600}, {"parameter": "[9, 3, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22887645011704}, {"parameter": "[9, 3, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22887645018184}, {"parameter": "[9, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205988762589319}, {"parameter": "[9, 4, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205988762589400}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205988762589319}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205988762589400}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205988762116927}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205988762116927}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205988762116927}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205988762116927}, {"parameter": "[9, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205988762064439}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205988762064439}, {"parameter": "[9, 6, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205988762595880}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205988762595880}, {"parameter": "[9, 7, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22887640235296}, {"parameter": "[9, 7, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22887640760176}, {"parameter": "[10, 3, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22909250214037}, {"parameter": "[10, 3, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22909250214118}, {"parameter": "[10, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 206183247202405}, {"parameter": "[10, 4, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206183247202405}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 206183247202405}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206183247202405}, {"parameter": "[10, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 206183247149917}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206183247149917}, {"parameter": "[10, 5, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 206183247149917}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206183247149917}, {"parameter": "[10, 6, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22909249682677}, {"parameter": "[10, 6, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22909249689238}, {"parameter": "[11, 3, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22910168071693}, {"parameter": "[11, 3, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22910168071693}, {"parameter": "[11, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 206191512120349}, {"parameter": "[11, 4, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206191512120349}, {"parameter": "[11, 4, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 206191512120349}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206191512120349}, {"parameter": "[11, 5, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22910168012725}, {"parameter": "[11, 5, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22910168012725}, {"parameter": "[12, 3, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22908816564742}, {"parameter": "[12, 3, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908816564742}, {"parameter": "[12, 4, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908816558262}, {"parameter": "[12, 4, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908816558262}, {"parameter": "[13, 3, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2545474319362}, {"parameter": "[4, 3, 3, 9],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573634367504}, {"parameter": "[4, 3, 3, 9],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573634840622}, {"parameter": "[4, 3, 4, 8],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 4, 8],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265097240}, {"parameter": "[4, 3, 4, 8],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 4, 8],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265097240}, {"parameter": "[4, 3, 5, 7],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159226774493}, {"parameter": "[4, 3, 5, 7],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159226780973}, {"parameter": "[4, 3, 5, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159226774493}, {"parameter": "[4, 3, 5, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159226780973}, {"parameter": "[4, 3, 6, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159222522884}, {"parameter": "[4, 3, 6, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159222522965}, {"parameter": "[4, 3, 6, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265569605}, {"parameter": "[4, 3, 6, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265569686}, {"parameter": "[4, 3, 7, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159226833461}, {"parameter": "[4, 3, 7, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159226833461}, {"parameter": "[4, 3, 7, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159609470981}, {"parameter": "[4, 3, 7, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159609470981}, {"parameter": "[4, 3, 8, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 8, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 8, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159609595640}, {"parameter": "[4, 3, 8, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159609595640}, {"parameter": "[4, 3, 9, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251673176}, {"parameter": "[4, 3, 9, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573289995734}, {"parameter": "[4, 4, 3, 8],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[4, 4, 3, 8],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322345160}, {"parameter": "[4, 4, 3, 8],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[4, 4, 3, 8],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322345160}, {"parameter": "[4, 4, 4, 7],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517937309}, {"parameter": "[4, 4, 4, 7],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922517943789}, {"parameter": "[4, 4, 4, 7],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517937309}, {"parameter": "[4, 4, 4, 7],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922517943789}, {"parameter": "[4, 4, 4, 7],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517937309}, {"parameter": "[4, 4, 4, 7],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922517943789}, {"parameter": "[4, 4, 4, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517937309}, {"parameter": "[4, 4, 4, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922517943789}, {"parameter": "[4, 4, 5, 6],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513685700}, {"parameter": "[4, 4, 5, 6],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513685781}, {"parameter": "[4, 4, 5, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513685700}, {"parameter": "[4, 4, 5, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513685781}, {"parameter": "[4, 4, 5, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513685700}, {"parameter": "[4, 4, 5, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513685781}, {"parameter": "[4, 4, 5, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513685700}, {"parameter": "[4, 4, 5, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513685781}, {"parameter": "[4, 4, 6, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513213308}, {"parameter": "[4, 4, 6, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513213308}, {"parameter": "[4, 4, 6, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517996277}, {"parameter": "[4, 4, 6, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922517996277}, {"parameter": "[4, 4, 6, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513213308}, {"parameter": "[4, 4, 6, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513213308}, {"parameter": "[4, 4, 6, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922517996277}, {"parameter": "[4, 4, 6, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922517996277}, {"parameter": "[4, 4, 7, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513692261}, {"parameter": "[4, 4, 7, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513692261}, {"parameter": "[4, 4, 7, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922556207541}, {"parameter": "[4, 4, 7, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922556207541}, {"parameter": "[4, 4, 7, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922513692261}, {"parameter": "[4, 4, 7, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922513692261}, {"parameter": "[4, 4, 7, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922556207541}, {"parameter": "[4, 4, 7, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922556207541}, {"parameter": "[4, 4, 8, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 4, 8, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880284024600}, {"parameter": "[4, 4, 8, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 4, 8, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880284024600}, {"parameter": "[4, 5, 3, 7],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877184658501}, {"parameter": "[4, 5, 3, 7],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877184664981}, {"parameter": "[4, 5, 3, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877184658501}, {"parameter": "[4, 5, 3, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877184664981}, {"parameter": "[4, 5, 4, 6],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894619410492}, {"parameter": "[4, 5, 4, 6],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894619410573}, {"parameter": "[4, 5, 4, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894619410492}, {"parameter": "[4, 5, 4, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894619410573}, {"parameter": "[4, 5, 4, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894619410492}, {"parameter": "[4, 5, 4, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894619410573}, {"parameter": "[4, 5, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894619410492}, {"parameter": "[4, 5, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894619410573}, {"parameter": "[4, 5, 5, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894618938100}, {"parameter": "[4, 5, 5, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894618938100}, {"parameter": "[4, 5, 5, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894618938100}, {"parameter": "[4, 5, 5, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894618938100}, {"parameter": "[4, 5, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894618938100}, {"parameter": "[4, 5, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894618938100}, {"parameter": "[4, 5, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894618938100}, {"parameter": "[4, 5, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894618938100}, {"parameter": "[4, 5, 6, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894618885612}, {"parameter": "[4, 5, 6, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894618885612}, {"parameter": "[4, 5, 6, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894619417053}, {"parameter": "[4, 5, 6, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894619417053}, {"parameter": "[4, 5, 6, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894618885612}, {"parameter": "[4, 5, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894618885612}, {"parameter": "[4, 5, 6, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894619417053}, {"parameter": "[4, 5, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894619417053}, {"parameter": "[4, 5, 7, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179882093}, {"parameter": "[4, 5, 7, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877180406973}, {"parameter": "[4, 5, 7, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179882093}, {"parameter": "[4, 5, 7, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877180406973}, {"parameter": "[4, 6, 3, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876836033124}, {"parameter": "[4, 6, 3, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876836033205}, {"parameter": "[4, 6, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322817525}, {"parameter": "[4, 6, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322817606}, {"parameter": "[4, 6, 4, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891519574188}, {"parameter": "[4, 6, 4, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891519574188}, {"parameter": "[4, 6, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891519574188}, {"parameter": "[4, 6, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891519574188}, {"parameter": "[4, 6, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922900633797}, {"parameter": "[4, 6, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922900633797}, {"parameter": "[4, 6, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922900633797}, {"parameter": "[4, 6, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922900633797}, {"parameter": "[4, 6, 5, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891519521700}, {"parameter": "[4, 6, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891519521700}, {"parameter": "[4, 6, 5, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891519521700}, {"parameter": "[4, 6, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891519521700}, {"parameter": "[4, 6, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922900581309}, {"parameter": "[4, 6, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922900581309}, {"parameter": "[4, 6, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205922900581309}, {"parameter": "[4, 6, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205922900581309}, {"parameter": "[4, 6, 6, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876835501764}, {"parameter": "[4, 6, 6, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876835508325}, {"parameter": "[4, 6, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322286165}, {"parameter": "[4, 6, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322292726}, {"parameter": "[4, 7, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877184717469}, {"parameter": "[4, 7, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877184717469}, {"parameter": "[4, 7, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22908178356589}, {"parameter": "[4, 7, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908178356589}, {"parameter": "[4, 7, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894661932333}, {"parameter": "[4, 7, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894661932333}, {"parameter": "[4, 7, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894661932333}, {"parameter": "[4, 7, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894661932333}, {"parameter": "[4, 7, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 206173604684413}, {"parameter": "[4, 7, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206173604684413}, {"parameter": "[4, 7, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 206173604684413}, {"parameter": "[4, 7, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206173604684413}, {"parameter": "[4, 7, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877184658501}, {"parameter": "[4, 7, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877184658501}, {"parameter": "[4, 7, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908178297621}, {"parameter": "[4, 7, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908178297621}, {"parameter": "[4, 8, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[4, 8, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[4, 8, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22908188401480}, {"parameter": "[4, 8, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908188401480}, {"parameter": "[4, 8, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 8, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 8, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908188395000}, {"parameter": "[4, 8, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22908188395000}, {"parameter": "[4, 9, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253432608}, {"parameter": "[4, 9, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2545357559806}, {"parameter": "[5, 3, 3, 8],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 285959374165}, {"parameter": "[5, 3, 3, 8],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285959426680}, {"parameter": "[5, 3, 4, 7],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573251670989}, {"parameter": "[5, 3, 4, 7],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251677469}, {"parameter": "[5, 3, 4, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573251670989}, {"parameter": "[5, 3, 4, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251677469}, {"parameter": "[5, 3, 5, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573247419380}, {"parameter": "[5, 3, 5, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247419461}, {"parameter": "[5, 3, 5, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573247419380}, {"parameter": "[5, 3, 5, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247419461}, {"parameter": "[5, 3, 6, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573246946988}, {"parameter": "[5, 3, 6, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573246946988}, {"parameter": "[5, 3, 6, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573251729957}, {"parameter": "[5, 3, 6, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251729957}, {"parameter": "[5, 3, 7, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573247425941}, {"parameter": "[5, 3, 7, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247425941}, {"parameter": "[5, 3, 7, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573289941221}, {"parameter": "[5, 3, 7, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573289941221}, {"parameter": "[5, 3, 8, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916852405}, {"parameter": "[5, 3, 8, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285921106120}, {"parameter": "[5, 4, 3, 7],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[5, 4, 3, 7],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258038349}, {"parameter": "[5, 4, 3, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[5, 4, 3, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258038349}, {"parameter": "[5, 4, 4, 6],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279770804}, {"parameter": "[5, 4, 4, 6],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[5, 4, 4, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279770804}, {"parameter": "[5, 4, 4, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[5, 4, 4, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279770804}, {"parameter": "[5, 4, 4, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279770804}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[5, 4, 5, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279298412}, {"parameter": "[5, 4, 5, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279298412}, {"parameter": "[5, 4, 5, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279298412}, {"parameter": "[5, 4, 5, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279298412}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279298412}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279298412}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279298412}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279298412}, {"parameter": "[5, 4, 6, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279245924}, {"parameter": "[5, 4, 6, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279245924}, {"parameter": "[5, 4, 6, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[5, 4, 6, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279245924}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279245924}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[5, 4, 7, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255461}, {"parameter": "[5, 4, 7, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253780341}, {"parameter": "[5, 4, 7, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255461}, {"parameter": "[5, 4, 7, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253780341}, {"parameter": "[5, 5, 3, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541909406492}, {"parameter": "[5, 5, 3, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909406573}, {"parameter": "[5, 5, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541909406492}, {"parameter": "[5, 5, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909406573}, {"parameter": "[5, 5, 4, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[5, 5, 4, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[5, 5, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[5, 5, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179934500}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179882012}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179882012}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179882012}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179882012}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179882012}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179882012}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22877179882012}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22877179882012}, {"parameter": "[5, 5, 6, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908875132}, {"parameter": "[5, 5, 6, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908881693}, {"parameter": "[5, 5, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908875132}, {"parameter": "[5, 5, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908881693}, {"parameter": "[5, 6, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541870670348}, {"parameter": "[5, 6, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541870670348}, {"parameter": "[5, 6, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542258090837}, {"parameter": "[5, 6, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258090837}, {"parameter": "[5, 6, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876835508244}, {"parameter": "[5, 6, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876835508244}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876835508244}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876835508244}, {"parameter": "[5, 6, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[5, 6, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[5, 6, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541870611380}, {"parameter": "[5, 6, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541870611380}, {"parameter": "[5, 6, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[5, 6, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[5, 7, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541909413053}, {"parameter": "[5, 7, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909413053}, {"parameter": "[5, 7, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2545353150733}, {"parameter": "[5, 7, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2545353150733}, {"parameter": "[5, 7, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909406573}, {"parameter": "[5, 7, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909406573}, {"parameter": "[5, 7, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2545353144253}, {"parameter": "[5, 7, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2545353144253}, {"parameter": "[5, 8, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472589845}, {"parameter": "[5, 8, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282817140760}, {"parameter": "[6, 3, 3, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 31773263149}, {"parameter": "[6, 3, 3, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31773269629}, {"parameter": "[6, 3, 4, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 285916852324}, {"parameter": "[6, 3, 4, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916852405}, {"parameter": "[6, 3, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 285916852324}, {"parameter": "[6, 3, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916852405}, {"parameter": "[6, 3, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 285916379932}, {"parameter": "[6, 3, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916379932}, {"parameter": "[6, 3, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 285916379932}, {"parameter": "[6, 3, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916379932}, {"parameter": "[6, 3, 6, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 285916327444}, {"parameter": "[6, 3, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916327444}, {"parameter": "[6, 3, 6, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 285916858885}, {"parameter": "[6, 3, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916858885}, {"parameter": "[6, 3, 7, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 31768486741}, {"parameter": "[6, 3, 7, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31769011621}, {"parameter": "[6, 4, 3, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282473114644}, {"parameter": "[6, 4, 3, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473114725}, {"parameter": "[6, 4, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282473114644}, {"parameter": "[6, 4, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473114725}, {"parameter": "[6, 4, 4, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253307868}, {"parameter": "[6, 4, 4, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253307868}, {"parameter": "[6, 4, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253307868}, {"parameter": "[6, 4, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253307868}, {"parameter": "[6, 4, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253307868}, {"parameter": "[6, 4, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253307868}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253307868}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253307868}, {"parameter": "[6, 4, 5, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253255380}, {"parameter": "[6, 4, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255380}, {"parameter": "[6, 4, 5, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253255380}, {"parameter": "[6, 4, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255380}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253255380}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255380}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542253255380}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255380}, {"parameter": "[6, 4, 6, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472583284}, {"parameter": "[6, 4, 6, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472589845}, {"parameter": "[6, 4, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472583284}, {"parameter": "[6, 4, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472589845}, {"parameter": "[6, 5, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282434378500}, {"parameter": "[6, 5, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282434378500}, {"parameter": "[6, 5, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282434378500}, {"parameter": "[6, 5, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282434378500}, {"parameter": "[6, 5, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 5, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 5, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 5, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908881612}, {"parameter": "[6, 5, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282434319532}, {"parameter": "[6, 5, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282434319532}, {"parameter": "[6, 5, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282434319532}, {"parameter": "[6, 5, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282434319532}, {"parameter": "[6, 6, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282430074484}, {"parameter": "[6, 6, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430074484}, {"parameter": "[6, 6, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282473121205}, {"parameter": "[6, 6, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473121205}, {"parameter": "[6, 6, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430068004}, {"parameter": "[6, 6, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430068004}, {"parameter": "[6, 6, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473114725}, {"parameter": "[6, 6, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473114725}, {"parameter": "[6, 7, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31381597693}, {"parameter": "[6, 7, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31424112973}, {"parameter": "[7, 3, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 285959899045}, {"parameter": "[7, 3, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285959899126}, {"parameter": "[7, 3, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573634367477}, {"parameter": "[7, 3, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573634367477}, {"parameter": "[7, 3, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573634367477}, {"parameter": "[7, 3, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573634367477}, {"parameter": "[7, 3, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573634314989}, {"parameter": "[7, 3, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573634314989}, {"parameter": "[7, 3, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573634314989}, {"parameter": "[7, 3, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573634314989}, {"parameter": "[7, 3, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 285959367685}, {"parameter": "[7, 3, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285959374246}, {"parameter": "[7, 4, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573251729957}, {"parameter": "[7, 4, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251729957}, {"parameter": "[7, 4, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573251729957}, {"parameter": "[7, 4, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251729957}, {"parameter": "[7, 4, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 4, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 4, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 4, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 4, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 4, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[7, 4, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251670989}, {"parameter": "[7, 4, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251670989}, {"parameter": "[7, 4, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251670989}, {"parameter": "[7, 4, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251670989}, {"parameter": "[7, 5, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573247425941}, {"parameter": "[7, 5, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247425941}, {"parameter": "[7, 5, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573247425941}, {"parameter": "[7, 5, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247425941}, {"parameter": "[7, 5, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247419461}, {"parameter": "[7, 5, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247419461}, {"parameter": "[7, 5, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247419461}, {"parameter": "[7, 5, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247419461}, {"parameter": "[7, 6, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916327525}, {"parameter": "[7, 6, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916858966}, {"parameter": "[8, 3, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542258090837}, {"parameter": "[8, 3, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258090837}, {"parameter": "[8, 3, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[8, 3, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[8, 3, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[8, 3, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[8, 3, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[8, 3, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[8, 4, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[8, 4, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[8, 4, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[8, 4, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[8, 4, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[8, 4, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[8, 4, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[8, 4, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[8, 5, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255461}, {"parameter": "[8, 5, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255461}, {"parameter": "[9, 3, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2543071674520}, {"parameter": "[9, 3, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2543071674520}, {"parameter": "[9, 3, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2543071668040}, {"parameter": "[9, 3, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2543071668040}, {"parameter": "[9, 4, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2543071143160}, {"parameter": "[9, 4, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2543071143160}, {"parameter": "[10, 3, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282830249638}, {"parameter": "[4, 3, 3, 3, 6],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 285959899045}, {"parameter": "[4, 3, 3, 3, 6],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285959899126}, {"parameter": "[4, 3, 3, 4, 5],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573634367477}, {"parameter": "[4, 3, 3, 4, 5],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573634367477}, {"parameter": "[4, 3, 3, 4, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573634367477}, {"parameter": "[4, 3, 3, 4, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573634367477}, {"parameter": "[4, 3, 3, 5, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573634314989}, {"parameter": "[4, 3, 3, 5, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573634314989}, {"parameter": "[4, 3, 3, 5, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573634314989}, {"parameter": "[4, 3, 3, 5, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573634314989}, {"parameter": "[4, 3, 3, 6, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 285959367685}, {"parameter": "[4, 3, 3, 6, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285959374246}, {"parameter": "[4, 3, 4, 3, 5],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573251729957}, {"parameter": "[4, 3, 4, 3, 5],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251729957}, {"parameter": "[4, 3, 4, 3, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573251729957}, {"parameter": "[4, 3, 4, 3, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251729957}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 23159265044725}, {"parameter": "[4, 3, 4, 5, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251670989}, {"parameter": "[4, 3, 4, 5, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251670989}, {"parameter": "[4, 3, 4, 5, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251670989}, {"parameter": "[4, 3, 4, 5, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573251670989}, {"parameter": "[4, 3, 5, 3, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573247425941}, {"parameter": "[4, 3, 5, 3, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247425941}, {"parameter": "[4, 3, 5, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2573247425941}, {"parameter": "[4, 3, 5, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247425941}, {"parameter": "[4, 3, 5, 4, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247419461}, {"parameter": "[4, 3, 5, 4, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247419461}, {"parameter": "[4, 3, 5, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247419461}, {"parameter": "[4, 3, 5, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2573247419461}, {"parameter": "[4, 3, 6, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916327525}, {"parameter": "[4, 3, 6, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916858966}, {"parameter": "[4, 4, 3, 3, 5],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542258090837}, {"parameter": "[4, 4, 3, 3, 5],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258090837}, {"parameter": "[4, 4, 3, 3, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2542258090837}, {"parameter": "[4, 4, 3, 3, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258090837}, {"parameter": "[4, 4, 3, 4, 4],[0, 0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[4, 4, 3, 4, 4],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[4, 4, 3, 4, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[4, 4, 3, 4, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[4, 4, 3, 4, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[4, 4, 3, 4, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[4, 4, 3, 4, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[4, 4, 3, 4, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880322292645}, {"parameter": "[4, 4, 3, 5, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[4, 4, 3, 5, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[4, 4, 3, 5, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[4, 4, 3, 5, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542258031869}, {"parameter": "[4, 4, 4, 3, 4],[0, 0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[4, 4, 4, 3, 4],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[4, 4, 4, 3, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[4, 4, 4, 3, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[4, 4, 4, 3, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[4, 4, 4, 3, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[4, 4, 4, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[4, 4, 4, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279777365}, {"parameter": "[4, 4, 4, 4, 3],[0, 0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 4, 4, 4, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 4, 4, 4, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 4, 4, 4, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 4, 4, 4, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 4, 4, 4, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 4, 4, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 4, 4, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22880279770885}, {"parameter": "[4, 4, 5, 3, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255461}, {"parameter": "[4, 4, 5, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255461}, {"parameter": "[4, 4, 5, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255461}, {"parameter": "[4, 4, 5, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2542253255461}, {"parameter": "[4, 5, 3, 3, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541909413053}, {"parameter": "[4, 5, 3, 3, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909413053}, {"parameter": "[4, 5, 3, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541909413053}, {"parameter": "[4, 5, 3, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909413053}, {"parameter": "[4, 5, 3, 4, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909406573}, {"parameter": "[4, 5, 3, 4, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909406573}, {"parameter": "[4, 5, 3, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909406573}, {"parameter": "[4, 5, 3, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541909406573}, {"parameter": "[4, 5, 4, 3, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908881693}, {"parameter": "[4, 5, 4, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908881693}, {"parameter": "[4, 5, 4, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908881693}, {"parameter": "[4, 5, 4, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2541908881693}, {"parameter": "[4, 6, 3, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430074565}, {"parameter": "[4, 6, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473121286}, {"parameter": "[5, 3, 3, 3, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 31773322117}, {"parameter": "[5, 3, 3, 3, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31773322117}, {"parameter": "[5, 3, 3, 4, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 285959374165}, {"parameter": "[5, 3, 3, 4, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 285959374165}, {"parameter": "[5, 3, 3, 4, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 285959374165}, {"parameter": "[5, 3, 3, 4, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285959374165}, {"parameter": "[5, 3, 3, 5, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 31773263149}, {"parameter": "[5, 3, 3, 5, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31773263149}, {"parameter": "[5, 3, 4, 3, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 285916858885}, {"parameter": "[5, 3, 4, 3, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916858885}, {"parameter": "[5, 3, 4, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 285916858885}, {"parameter": "[5, 3, 4, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916858885}, {"parameter": "[5, 3, 4, 4, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916852405}, {"parameter": "[5, 3, 4, 4, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916852405}, {"parameter": "[5, 3, 4, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916852405}, {"parameter": "[5, 3, 4, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 285916852405}, {"parameter": "[5, 3, 5, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31768486741}, {"parameter": "[5, 3, 5, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31768486741}, {"parameter": "[5, 4, 3, 3, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282473121205}, {"parameter": "[5, 4, 3, 3, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473121205}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282473121205}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473121205}, {"parameter": "[5, 4, 3, 4, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473114725}, {"parameter": "[5, 4, 3, 4, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473114725}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473114725}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282473114725}, {"parameter": "[5, 4, 4, 3, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472589845}, {"parameter": "[5, 4, 4, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472589845}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472589845}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282472589845}, {"parameter": "[5, 5, 3, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31381597693}, {"parameter": "[5, 5, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 31381597693}, {"parameter": "[6, 3, 3, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3530369125}, {"parameter": "[6, 3, 3, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3530369125}, {"parameter": "[6, 3, 3, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3530362645}, {"parameter": "[6, 3, 3, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3530362645}, {"parameter": "[6, 3, 4, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3529837765}, {"parameter": "[6, 3, 4, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3529837765}, {"parameter": "[6, 4, 3, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3487322485}, {"parameter": "[6, 4, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3487322485}, {"parameter": "[7, 3, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3530369206}, {"parameter": "[4, 3, 3, 3, 3, 3],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3530369206}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 134107086}], "request": [3, 19, 6, 4], "liftedmrdsizebound": 206221085740000, "comments": "", "equal_bound_constraints": []}