Minimize +392 d0_0 +392 d1_0 +1183 d2_0 +1183 d3_0 +1183 d4_0 +115 d5_0 +706 d6_0 +706 d7_0 +706 d8_0 +706 d9_0 +706 d10_0 +745 d11_0 +745 d12_0 +510 d13_0 +198 d14_0 +565 d15_0 +450 d16_0 +650 d17_0 +754 d18_0 +754 d19_0 +968 d20_0 +968 d21_0 +968 d22_0 +393 d23_0 +712 d24_0 +292 d25_0 +838 d26_0 +967 d27_0 +967 d28_0 +967 d29_0 +967 d30_0 +967 d31_0 +1203 d32_0 +1203 d33_0 +1203 d34_0 +1203 d35_0 +1203 d36_0 +1106 d37_0 +1106 d38_0 +1106 d39_0 +435 d40_0 +1007 d41_0 +1007 d42_0 +1007 d43_0 +1007 d44_0 +1007 d45_0 +243 d46_0 +1130 d47_0 +1130 d48_0 +752 d49_0 +780 d50_0 +780 d51_0 +780 d52_0 +780 d53_0 +780 d54_0 +1152 d55_0 +1152 d56_0 +1152 d57_0 +1048 d58_0 +1048 d59_0 +1048 d60_0 +1048 d61_0 +1048 d62_0 +734 d63_0 +734 d64_0 +309 d65_0 +769 d66_0 +802 d67_0 +802 d68_0 +802 d69_0 +831 d70_0 +852 d71_0 +350 d72_0 +350 d73_0 +501 d74_0 +501 d75_0 +238 d76_0 +871 d77_0 +871 d78_0 +871 d79_0 +871 d80_0 +871 d81_0 +792 d82_0 +792 d83_0 +118 d84_0 +120 d85_0 +1142 d86_0 +1142 d87_0 +1142 d88_0 +1142 d89_0 +1142 d90_0 Subject to -1 d0_0 -1 d1_0 <= -1 -1 d1_0 -1 d2_0 <= -1 -1 d1_0 -1 d18_0 <= -1 -1 d1_0 -1 d19_0 <= -1 -1 d1_0 -1 d25_0 <= -1 -1 d1_0 -1 d36_0 <= -1 -1 d1_0 -1 d55_0 <= -1 -1 d1_0 -1 d56_0 <= -1 -1 d1_0 -1 d69_0 <= -1 -1 d1_0 -1 d88_0 <= -1 -1 d1_0 -1 d89_0 <= -1 -1 d1_0 -1 d83_0 <= -1 -1 d2_0 -1 d20_0 <= -1 -1 d2_0 -1 d22_0 <= -1 -1 d2_0 -1 d29_0 <= -1 -1 d2_0 -1 d30_0 <= -1 -1 d2_0 -1 d38_0 <= -1 -1 d2_0 -1 d43_0 <= -1 -1 d2_0 -1 d44_0 <= -1 -1 d2_0 -1 d45_0 <= -1 -1 d2_0 -1 d64_0 <= -1 -1 d2_0 -1 d70_0 <= -1 -1 d2_0 -1 d89_0 <= -1 -1 d2_0 -1 d18_0 <= -1 -1 d2_0 -1 d19_0 <= -1 -1 d2_0 -1 d25_0 <= -1 -1 d2_0 -1 d36_0 <= -1 -1 d2_0 -1 d55_0 <= -1 -1 d2_0 -1 d56_0 <= -1 -1 d2_0 -1 d69_0 <= -1 -1 d2_0 -1 d88_0 <= -1 -1 d2_0 -1 d3_0 <= -1 -1 d2_0 -1 d4_0 <= -1 -1 d3_0 -1 d4_0 <= -1 -1 d3_0 -1 d22_0 <= -1 -1 d3_0 -1 d30_0 <= -1 -1 d3_0 -1 d37_0 <= -1 -1 d3_0 -1 d39_0 <= -1 -1 d3_0 -1 d42_0 <= -1 -1 d3_0 -1 d49_0 <= -1 -1 d3_0 -1 d64_0 <= -1 -1 d3_0 -1 d89_0 <= -1 -1 d3_0 -1 d25_0 <= -1 -1 d3_0 -1 d36_0 <= -1 -1 d3_0 -1 d69_0 <= -1 -1 d3_0 -1 d86_0 <= -1 -1 d3_0 -1 d87_0 <= -1 -1 d3_0 -1 d90_0 <= -1 -1 d3_0 -1 d38_0 <= -1 -1 d3_0 -1 d63_0 <= -1 -1 d4_0 -1 d35_0 <= -1 -1 d4_0 -1 d68_0 <= -1 -1 d4_0 -1 d79_0 <= -1 -1 d4_0 -1 d87_0 <= -1 -1 d4_0 -1 d22_0 <= -1 -1 d4_0 -1 d30_0 <= -1 -1 d4_0 -1 d37_0 <= -1 -1 d4_0 -1 d39_0 <= -1 -1 d4_0 -1 d42_0 <= -1 -1 d4_0 -1 d49_0 <= -1 -1 d4_0 -1 d64_0 <= -1 -1 d4_0 -1 d89_0 <= -1 -1 d4_0 -1 d25_0 <= -1 -1 d4_0 -1 d36_0 <= -1 -1 d4_0 -1 d69_0 <= -1 -1 d4_0 -1 d86_0 <= -1 -1 d4_0 -1 d90_0 <= -1 -1 d4_0 -1 d38_0 <= -1 -1 d4_0 -1 d63_0 <= -1 -1 d5_0 -1 d33_0 <= -1 -1 d5_0 -1 d34_0 <= -1 -1 d5_0 -1 d39_0 <= -1 -1 d5_0 -1 d67_0 <= -1 -1 d5_0 -1 d90_0 <= -1 -1 d6_0 -1 d35_0 <= -1 -1 d6_0 -1 d7_0 <= -1 -1 d6_0 -1 d8_0 <= -1 -1 d6_0 -1 d9_0 <= -1 -1 d6_0 -1 d10_0 <= -1 -1 d7_0 -1 d8_0 <= -1 -1 d7_0 -1 d9_0 <= -1 -1 d7_0 -1 d10_0 <= -1 -1 d8_0 -1 d52_0 <= -1 -1 d8_0 -1 d54_0 <= -1 -1 d8_0 -1 d60_0 <= -1 -1 d8_0 -1 d9_0 <= -1 -1 d8_0 -1 d12_0 <= -1 -1 d8_0 -1 d15_0 <= -1 -1 d8_0 -1 d24_0 <= -1 -1 d8_0 -1 d68_0 <= -1 -1 d8_0 -1 d77_0 <= -1 -1 d8_0 -1 d78_0 <= -1 -1 d8_0 -1 d80_0 <= -1 -1 d8_0 -1 d10_0 <= -1 -1 d9_0 -1 d12_0 <= -1 -1 d9_0 -1 d18_0 <= -1 -1 d9_0 -1 d19_0 <= -1 -1 d9_0 -1 d24_0 <= -1 -1 d9_0 -1 d51_0 <= -1 -1 d9_0 -1 d53_0 <= -1 -1 d9_0 -1 d62_0 <= -1 -1 d9_0 -1 d68_0 <= -1 -1 d9_0 -1 d69_0 <= -1 -1 d9_0 -1 d77_0 <= -1 -1 d9_0 -1 d78_0 <= -1 -1 d9_0 -1 d80_0 <= -1 -1 d9_0 -1 d15_0 <= -1 -1 d9_0 -1 d10_0 <= -1 -1 d10_0 -1 d12_0 <= -1 -1 d10_0 -1 d15_0 <= -1 -1 d10_0 -1 d37_0 <= -1 -1 d10_0 -1 d38_0 <= -1 -1 d10_0 -1 d81_0 <= -1 -1 d10_0 -1 d90_0 <= -1 -1 d10_0 -1 d34_0 <= -1 -1 d11_0 -1 d33_0 <= -1 -1 d11_0 -1 d67_0 <= -1 -1 d11_0 -1 d12_0 <= -1 -1 d12_0 -1 d15_0 <= -1 -1 d12_0 -1 d37_0 <= -1 -1 d12_0 -1 d38_0 <= -1 -1 d12_0 -1 d81_0 <= -1 -1 d12_0 -1 d90_0 <= -1 -1 d12_0 -1 d18_0 <= -1 -1 d12_0 -1 d19_0 <= -1 -1 d12_0 -1 d24_0 <= -1 -1 d12_0 -1 d51_0 <= -1 -1 d12_0 -1 d53_0 <= -1 -1 d12_0 -1 d62_0 <= -1 -1 d12_0 -1 d68_0 <= -1 -1 d12_0 -1 d69_0 <= -1 -1 d12_0 -1 d77_0 <= -1 -1 d12_0 -1 d78_0 <= -1 -1 d12_0 -1 d80_0 <= -1 -1 d13_0 -1 d17_0 <= -1 -1 d13_0 -1 d23_0 <= -1 -1 d13_0 -1 d76_0 <= -1 -1 d13_0 -1 d27_0 <= -1 -1 d13_0 -1 d31_0 <= -1 -1 d13_0 -1 d43_0 <= -1 -1 d13_0 -1 d45_0 <= -1 -1 d13_0 -1 d57_0 <= -1 -1 d13_0 -1 d36_0 <= -1 -1 d13_0 -1 d50_0 <= -1 -1 d14_0 -1 d40_0 <= -1 -1 d14_0 -1 d74_0 <= -1 -1 d14_0 -1 d75_0 <= -1 -1 d15_0 -1 d37_0 <= -1 -1 d15_0 -1 d38_0 <= -1 -1 d15_0 -1 d81_0 <= -1 -1 d15_0 -1 d90_0 <= -1 -1 d15_0 -1 d24_0 <= -1 -1 d15_0 -1 d68_0 <= -1 -1 d15_0 -1 d77_0 <= -1 -1 d15_0 -1 d78_0 <= -1 -1 d15_0 -1 d80_0 <= -1 -1 d16_0 -1 d18_0 <= -1 -1 d16_0 -1 d19_0 <= -1 -1 d16_0 -1 d56_0 <= -1 -1 d16_0 -1 d60_0 <= -1 -1 d16_0 -1 d61_0 <= -1 -1 d16_0 -1 d62_0 <= -1 -1 d16_0 -1 d69_0 <= -1 -1 d16_0 -1 d83_0 <= -1 -1 d17_0 -1 d23_0 <= -1 -1 d17_0 -1 d76_0 <= -1 -1 d17_0 -1 d47_0 <= -1 -1 d17_0 -1 d48_0 <= -1 -1 d17_0 -1 d27_0 <= -1 -1 d17_0 -1 d31_0 <= -1 -1 d17_0 -1 d43_0 <= -1 -1 d17_0 -1 d45_0 <= -1 -1 d17_0 -1 d57_0 <= -1 -1 d18_0 -1 d19_0 <= -1 -1 d18_0 -1 d24_0 <= -1 -1 d18_0 -1 d51_0 <= -1 -1 d18_0 -1 d53_0 <= -1 -1 d18_0 -1 d62_0 <= -1 -1 d18_0 -1 d68_0 <= -1 -1 d18_0 -1 d69_0 <= -1 -1 d18_0 -1 d77_0 <= -1 -1 d18_0 -1 d78_0 <= -1 -1 d18_0 -1 d80_0 <= -1 -1 d18_0 -1 d25_0 <= -1 -1 d18_0 -1 d36_0 <= -1 -1 d18_0 -1 d55_0 <= -1 -1 d18_0 -1 d56_0 <= -1 -1 d18_0 -1 d88_0 <= -1 -1 d18_0 -1 d89_0 <= -1 -1 d18_0 -1 d67_0 <= -1 -1 d18_0 -1 d60_0 <= -1 -1 d18_0 -1 d61_0 <= -1 -1 d18_0 -1 d83_0 <= -1 -1 d19_0 -1 d80_0 <= -1 -1 d19_0 -1 d84_0 <= -1 -1 d19_0 -1 d20_0 <= -1 -1 d19_0 -1 d24_0 <= -1 -1 d19_0 -1 d70_0 <= -1 -1 d19_0 -1 d77_0 <= -1 -1 d19_0 -1 d51_0 <= -1 -1 d19_0 -1 d53_0 <= -1 -1 d19_0 -1 d62_0 <= -1 -1 d19_0 -1 d68_0 <= -1 -1 d19_0 -1 d69_0 <= -1 -1 d19_0 -1 d78_0 <= -1 -1 d19_0 -1 d25_0 <= -1 -1 d19_0 -1 d36_0 <= -1 -1 d19_0 -1 d55_0 <= -1 -1 d19_0 -1 d56_0 <= -1 -1 d19_0 -1 d88_0 <= -1 -1 d19_0 -1 d89_0 <= -1 -1 d19_0 -1 d60_0 <= -1 -1 d19_0 -1 d61_0 <= -1 -1 d19_0 -1 d83_0 <= -1 -1 d20_0 -1 d26_0 <= -1 -1 d20_0 -1 d77_0 <= -1 -1 d20_0 -1 d80_0 <= -1 -1 d20_0 -1 d22_0 <= -1 -1 d20_0 -1 d29_0 <= -1 -1 d20_0 -1 d30_0 <= -1 -1 d20_0 -1 d38_0 <= -1 -1 d20_0 -1 d43_0 <= -1 -1 d20_0 -1 d44_0 <= -1 -1 d20_0 -1 d45_0 <= -1 -1 d20_0 -1 d64_0 <= -1 -1 d20_0 -1 d70_0 <= -1 -1 d20_0 -1 d89_0 <= -1 -1 d20_0 -1 d24_0 <= -1 -1 d20_0 -1 d21_0 <= -1 -1 d21_0 -1 d28_0 <= -1 -1 d21_0 -1 d38_0 <= -1 -1 d21_0 -1 d44_0 <= -1 -1 d21_0 -1 d63_0 <= -1 -1 d21_0 -1 d88_0 <= -1 -1 d21_0 -1 d22_0 <= -1 -1 d22_0 -1 d29_0 <= -1 -1 d22_0 -1 d30_0 <= -1 -1 d22_0 -1 d38_0 <= -1 -1 d22_0 -1 d43_0 <= -1 -1 d22_0 -1 d44_0 <= -1 -1 d22_0 -1 d45_0 <= -1 -1 d22_0 -1 d64_0 <= -1 -1 d22_0 -1 d70_0 <= -1 -1 d22_0 -1 d89_0 <= -1 -1 d22_0 -1 d37_0 <= -1 -1 d22_0 -1 d39_0 <= -1 -1 d22_0 -1 d42_0 <= -1 -1 d22_0 -1 d49_0 <= -1 -1 d23_0 -1 d76_0 <= -1 -1 d23_0 -1 d27_0 <= -1 -1 d23_0 -1 d31_0 <= -1 -1 d23_0 -1 d43_0 <= -1 -1 d23_0 -1 d45_0 <= -1 -1 d23_0 -1 d57_0 <= -1 -1 d24_0 -1 d70_0 <= -1 -1 d24_0 -1 d77_0 <= -1 -1 d24_0 -1 d51_0 <= -1 -1 d24_0 -1 d53_0 <= -1 -1 d24_0 -1 d62_0 <= -1 -1 d24_0 -1 d68_0 <= -1 -1 d24_0 -1 d69_0 <= -1 -1 d24_0 -1 d78_0 <= -1 -1 d24_0 -1 d80_0 <= -1 -1 d25_0 -1 d36_0 <= -1 -1 d25_0 -1 d69_0 <= -1 -1 d25_0 -1 d86_0 <= -1 -1 d25_0 -1 d87_0 <= -1 -1 d25_0 -1 d90_0 <= -1 -1 d25_0 -1 d55_0 <= -1 -1 d25_0 -1 d56_0 <= -1 -1 d25_0 -1 d88_0 <= -1 -1 d25_0 -1 d89_0 <= -1 -1 d26_0 -1 d77_0 <= -1 -1 d26_0 -1 d80_0 <= -1 -1 d27_0 -1 d43_0 <= -1 -1 d27_0 -1 d58_0 <= -1 -1 d27_0 -1 d61_0 <= -1 -1 d27_0 -1 d31_0 <= -1 -1 d27_0 -1 d45_0 <= -1 -1 d27_0 -1 d57_0 <= -1 -1 d27_0 -1 d28_0 <= -1 -1 d27_0 -1 d29_0 <= -1 -1 d27_0 -1 d30_0 <= -1 -1 d28_0 -1 d38_0 <= -1 -1 d28_0 -1 d44_0 <= -1 -1 d28_0 -1 d63_0 <= -1 -1 d28_0 -1 d88_0 <= -1 -1 d28_0 -1 d30_0 <= -1 -1 d28_0 -1 d42_0 <= -1 -1 d28_0 -1 d71_0 <= -1 -1 d28_0 -1 d29_0 <= -1 -1 d28_0 -1 d31_0 <= -1 -1 d29_0 -1 d30_0 <= -1 -1 d29_0 -1 d38_0 <= -1 -1 d29_0 -1 d43_0 <= -1 -1 d29_0 -1 d44_0 <= -1 -1 d29_0 -1 d45_0 <= -1 -1 d29_0 -1 d64_0 <= -1 -1 d29_0 -1 d70_0 <= -1 -1 d29_0 -1 d89_0 <= -1 -1 d29_0 -1 d41_0 <= -1 -1 d29_0 -1 d31_0 <= -1 -1 d30_0 -1 d38_0 <= -1 -1 d30_0 -1 d43_0 <= -1 -1 d30_0 -1 d44_0 <= -1 -1 d30_0 -1 d45_0 <= -1 -1 d30_0 -1 d64_0 <= -1 -1 d30_0 -1 d70_0 <= -1 -1 d30_0 -1 d89_0 <= -1 -1 d30_0 -1 d37_0 <= -1 -1 d30_0 -1 d39_0 <= -1 -1 d30_0 -1 d42_0 <= -1 -1 d30_0 -1 d49_0 <= -1 -1 d30_0 -1 d71_0 <= -1 -1 d30_0 -1 d31_0 <= -1 -1 d31_0 -1 d32_0 <= -1 -1 d31_0 -1 d45_0 <= -1 -1 d31_0 -1 d54_0 <= -1 -1 d31_0 -1 d43_0 <= -1 -1 d31_0 -1 d57_0 <= -1 -1 d31_0 -1 d36_0 <= -1 -1 d31_0 -1 d50_0 <= -1 -1 d32_0 -1 d45_0 <= -1 -1 d32_0 -1 d54_0 <= -1 -1 d32_0 -1 d33_0 <= -1 -1 d32_0 -1 d34_0 <= -1 -1 d32_0 -1 d35_0 <= -1 -1 d32_0 -1 d36_0 <= -1 -1 d33_0 -1 d34_0 <= -1 -1 d33_0 -1 d39_0 <= -1 -1 d33_0 -1 d67_0 <= -1 -1 d33_0 -1 d90_0 <= -1 -1 d33_0 -1 d51_0 <= -1 -1 d33_0 -1 d35_0 <= -1 -1 d33_0 -1 d36_0 <= -1 -1 d34_0 -1 d39_0 <= -1 -1 d34_0 -1 d67_0 <= -1 -1 d34_0 -1 d90_0 <= -1 -1 d34_0 -1 d35_0 <= -1 -1 d34_0 -1 d52_0 <= -1 -1 d34_0 -1 d53_0 <= -1 -1 d34_0 -1 d36_0 <= -1 -1 d35_0 -1 d68_0 <= -1 -1 d35_0 -1 d79_0 <= -1 -1 d35_0 -1 d87_0 <= -1 -1 d35_0 -1 d52_0 <= -1 -1 d35_0 -1 d53_0 <= -1 -1 d35_0 -1 d36_0 <= -1 -1 d36_0 -1 d69_0 <= -1 -1 d36_0 -1 d86_0 <= -1 -1 d36_0 -1 d87_0 <= -1 -1 d36_0 -1 d90_0 <= -1 -1 d36_0 -1 d55_0 <= -1 -1 d36_0 -1 d56_0 <= -1 -1 d36_0 -1 d88_0 <= -1 -1 d36_0 -1 d89_0 <= -1 -1 d36_0 -1 d45_0 <= -1 -1 d36_0 -1 d50_0 <= -1 -1 d36_0 -1 d58_0 <= -1 -1 d37_0 -1 d38_0 <= -1 -1 d37_0 -1 d81_0 <= -1 -1 d37_0 -1 d90_0 <= -1 -1 d37_0 -1 d39_0 <= -1 -1 d37_0 -1 d42_0 <= -1 -1 d37_0 -1 d49_0 <= -1 -1 d37_0 -1 d64_0 <= -1 -1 d37_0 -1 d89_0 <= -1 -1 d37_0 -1 d87_0 <= -1 -1 d37_0 -1 d63_0 <= -1 -1 d37_0 -1 d86_0 <= -1 -1 d38_0 -1 d81_0 <= -1 -1 d38_0 -1 d90_0 <= -1 -1 d38_0 -1 d43_0 <= -1 -1 d38_0 -1 d44_0 <= -1 -1 d38_0 -1 d45_0 <= -1 -1 d38_0 -1 d64_0 <= -1 -1 d38_0 -1 d70_0 <= -1 -1 d38_0 -1 d89_0 <= -1 -1 d38_0 -1 d63_0 <= -1 -1 d38_0 -1 d88_0 <= -1 -1 d38_0 -1 d87_0 <= -1 -1 d38_0 -1 d39_0 <= -1 -1 d38_0 -1 d49_0 <= -1 -1 d38_0 -1 d86_0 <= -1 -1 d39_0 -1 d67_0 <= -1 -1 d39_0 -1 d90_0 <= -1 -1 d39_0 -1 d42_0 <= -1 -1 d39_0 -1 d49_0 <= -1 -1 d39_0 -1 d64_0 <= -1 -1 d39_0 -1 d89_0 <= -1 -1 d39_0 -1 d86_0 <= -1 -1 d39_0 -1 d63_0 <= -1 -1 d39_0 -1 d87_0 <= -1 -1 d40_0 -1 d74_0 <= -1 -1 d40_0 -1 d75_0 <= -1 -1 d40_0 -1 d72_0 <= -1 -1 d41_0 -1 d42_0 <= -1 -1 d41_0 -1 d43_0 <= -1 -1 d41_0 -1 d44_0 <= -1 -1 d41_0 -1 d45_0 <= -1 -1 d42_0 -1 d49_0 <= -1 -1 d42_0 -1 d64_0 <= -1 -1 d42_0 -1 d89_0 <= -1 -1 d42_0 -1 d44_0 <= -1 -1 d42_0 -1 d71_0 <= -1 -1 d42_0 -1 d43_0 <= -1 -1 d42_0 -1 d45_0 <= -1 -1 d43_0 -1 d58_0 <= -1 -1 d43_0 -1 d61_0 <= -1 -1 d43_0 -1 d44_0 <= -1 -1 d43_0 -1 d45_0 <= -1 -1 d43_0 -1 d64_0 <= -1 -1 d43_0 -1 d70_0 <= -1 -1 d43_0 -1 d89_0 <= -1 -1 d43_0 -1 d57_0 <= -1 -1 d44_0 -1 d45_0 <= -1 -1 d44_0 -1 d64_0 <= -1 -1 d44_0 -1 d70_0 <= -1 -1 d44_0 -1 d89_0 <= -1 -1 d44_0 -1 d63_0 <= -1 -1 d44_0 -1 d88_0 <= -1 -1 d44_0 -1 d71_0 <= -1 -1 d45_0 -1 d54_0 <= -1 -1 d45_0 -1 d64_0 <= -1 -1 d45_0 -1 d70_0 <= -1 -1 d45_0 -1 d89_0 <= -1 -1 d45_0 -1 d57_0 <= -1 -1 d45_0 -1 d50_0 <= -1 -1 d46_0 -1 d47_0 <= -1 -1 d47_0 -1 d48_0 <= -1 -1 d47_0 -1 d82_0 <= -1 -1 d48_0 -1 d73_0 <= -1 -1 d48_0 -1 d75_0 <= -1 -1 d48_0 -1 d85_0 <= -1 -1 d48_0 -1 d82_0 <= -1 -1 d49_0 -1 d64_0 <= -1 -1 d49_0 -1 d89_0 <= -1 -1 d49_0 -1 d63_0 <= -1 -1 d49_0 -1 d86_0 <= -1 -1 d49_0 -1 d87_0 <= -1 -1 d49_0 -1 d90_0 <= -1 -1 d50_0 -1 d56_0 <= -1 -1 d50_0 -1 d61_0 <= -1 -1 d50_0 -1 d66_0 <= -1 -1 d50_0 -1 d51_0 <= -1 -1 d50_0 -1 d52_0 <= -1 -1 d50_0 -1 d53_0 <= -1 -1 d50_0 -1 d54_0 <= -1 -1 d51_0 -1 d53_0 <= -1 -1 d51_0 -1 d62_0 <= -1 -1 d51_0 -1 d68_0 <= -1 -1 d51_0 -1 d69_0 <= -1 -1 d51_0 -1 d77_0 <= -1 -1 d51_0 -1 d78_0 <= -1 -1 d51_0 -1 d80_0 <= -1 -1 d51_0 -1 d52_0 <= -1 -1 d51_0 -1 d54_0 <= -1 -1 d52_0 -1 d54_0 <= -1 -1 d52_0 -1 d60_0 <= -1 -1 d52_0 -1 d53_0 <= -1 -1 d53_0 -1 d62_0 <= -1 -1 d53_0 -1 d68_0 <= -1 -1 d53_0 -1 d69_0 <= -1 -1 d53_0 -1 d77_0 <= -1 -1 d53_0 -1 d78_0 <= -1 -1 d53_0 -1 d80_0 <= -1 -1 d53_0 -1 d54_0 <= -1 -1 d54_0 -1 d60_0 <= -1 -1 d54_0 -1 d59_0 <= -1 -1 d54_0 -1 d62_0 <= -1 -1 d55_0 -1 d56_0 <= -1 -1 d55_0 -1 d69_0 <= -1 -1 d55_0 -1 d88_0 <= -1 -1 d55_0 -1 d89_0 <= -1 -1 d55_0 -1 d58_0 <= -1 -1 d55_0 -1 d57_0 <= -1 -1 d56_0 -1 d69_0 <= -1 -1 d56_0 -1 d88_0 <= -1 -1 d56_0 -1 d89_0 <= -1 -1 d56_0 -1 d61_0 <= -1 -1 d56_0 -1 d66_0 <= -1 -1 d56_0 -1 d60_0 <= -1 -1 d56_0 -1 d62_0 <= -1 -1 d56_0 -1 d83_0 <= -1 -1 d56_0 -1 d57_0 <= -1 -1 d58_0 -1 d61_0 <= -1 -1 d58_0 -1 d59_0 <= -1 -1 d58_0 -1 d60_0 <= -1 -1 d58_0 -1 d62_0 <= -1 -1 d59_0 -1 d60_0 <= -1 -1 d59_0 -1 d62_0 <= -1 -1 d59_0 -1 d61_0 <= -1 -1 d60_0 -1 d62_0 <= -1 -1 d60_0 -1 d61_0 <= -1 -1 d60_0 -1 d69_0 <= -1 -1 d60_0 -1 d83_0 <= -1 -1 d61_0 -1 d66_0 <= -1 -1 d61_0 -1 d62_0 <= -1 -1 d61_0 -1 d69_0 <= -1 -1 d61_0 -1 d83_0 <= -1 -1 d62_0 -1 d68_0 <= -1 -1 d62_0 -1 d69_0 <= -1 -1 d62_0 -1 d77_0 <= -1 -1 d62_0 -1 d78_0 <= -1 -1 d62_0 -1 d80_0 <= -1 -1 d62_0 -1 d83_0 <= -1 -1 d63_0 -1 d88_0 <= -1 -1 d63_0 -1 d64_0 <= -1 -1 d63_0 -1 d86_0 <= -1 -1 d63_0 -1 d87_0 <= -1 -1 d63_0 -1 d90_0 <= -1 -1 d64_0 -1 d70_0 <= -1 -1 d64_0 -1 d89_0 <= -1 -1 d64_0 -1 d86_0 <= -1 -1 d64_0 -1 d87_0 <= -1 -1 d64_0 -1 d90_0 <= -1 -1 d65_0 -1 d73_0 <= -1 -1 d65_0 -1 d75_0 <= -1 -1 d66_0 -1 d83_0 <= -1 -1 d67_0 -1 d90_0 <= -1 -1 d67_0 -1 d68_0 <= -1 -1 d67_0 -1 d69_0 <= -1 -1 d67_0 -1 d78_0 <= -1 -1 d67_0 -1 d80_0 <= -1 -1 d68_0 -1 d79_0 <= -1 -1 d68_0 -1 d87_0 <= -1 -1 d68_0 -1 d69_0 <= -1 -1 d68_0 -1 d77_0 <= -1 -1 d68_0 -1 d78_0 <= -1 -1 d68_0 -1 d80_0 <= -1 -1 d69_0 -1 d77_0 <= -1 -1 d69_0 -1 d78_0 <= -1 -1 d69_0 -1 d80_0 <= -1 -1 d69_0 -1 d86_0 <= -1 -1 d69_0 -1 d87_0 <= -1 -1 d69_0 -1 d90_0 <= -1 -1 d69_0 -1 d88_0 <= -1 -1 d69_0 -1 d89_0 <= -1 -1 d69_0 -1 d83_0 <= -1 -1 d70_0 -1 d89_0 <= -1 -1 d70_0 -1 d77_0 <= -1 -1 d72_0 -1 d74_0 <= -1 -1 d72_0 -1 d73_0 <= -1 -1 d73_0 -1 d75_0 <= -1 -1 d73_0 -1 d85_0 <= -1 -1 d74_0 -1 d75_0 <= -1 -1 d75_0 -1 d85_0 <= -1 -1 d77_0 -1 d80_0 <= -1 -1 d77_0 -1 d78_0 <= -1 -1 d77_0 -1 d79_0 <= -1 -1 d77_0 -1 d81_0 <= -1 -1 d78_0 -1 d80_0 <= -1 -1 d78_0 -1 d79_0 <= -1 -1 d78_0 -1 d81_0 <= -1 -1 d79_0 -1 d87_0 <= -1 -1 d79_0 -1 d81_0 <= -1 -1 d79_0 -1 d80_0 <= -1 -1 d80_0 -1 d84_0 <= -1 -1 d80_0 -1 d81_0 <= -1 -1 d81_0 -1 d90_0 <= -1 -1 d82_0 -1 d83_0 <= -1 -1 d86_0 -1 d87_0 <= -1 -1 d86_0 -1 d90_0 <= -1 -1 d86_0 -1 d88_0 <= -1 -1 d86_0 -1 d89_0 <= -1 -1 d87_0 -1 d90_0 <= -1 -1 d87_0 -1 d88_0 <= -1 -1 d87_0 -1 d89_0 <= -1 -1 d88_0 -1 d89_0 <= -1 -1 d88_0 -1 d90_0 <= -1 -1 d89_0 -1 d90_0 <= -1 Bounds Binary d0_0 d1_0 d2_0 d3_0 d4_0 d5_0 d6_0 d7_0 d8_0 d9_0 d10_0 d11_0 d12_0 d13_0 d14_0 d15_0 d16_0 d17_0 d18_0 d19_0 d20_0 d21_0 d22_0 d23_0 d24_0 d25_0 d26_0 d27_0 d28_0 d29_0 d30_0 d31_0 d32_0 d33_0 d34_0 d35_0 d36_0 d37_0 d38_0 d39_0 d40_0 d41_0 d42_0 d43_0 d44_0 d45_0 d46_0 d47_0 d48_0 d49_0 d50_0 d51_0 d52_0 d53_0 d54_0 d55_0 d56_0 d57_0 d58_0 d59_0 d60_0 d61_0 d62_0 d63_0 d64_0 d65_0 d66_0 d67_0 d68_0 d69_0 d70_0 d71_0 d72_0 d73_0 d74_0 d75_0 d76_0 d77_0 d78_0 d79_0 d80_0 d81_0 d82_0 d83_0 d84_0 d85_0 d86_0 d87_0 d88_0 d89_0 d90_0 End