Minimize +944 d0_0 +944 d1_0 +944 d2_0 +944 d3_0 +944 d4_0 +944 d5_0 +944 d6_0 +517 d7_0 +855 d8_0 +855 d9_0 +696 d10_0 +696 d11_0 +696 d12_0 +452 d13_0 +452 d14_0 +865 d15_0 +865 d16_0 +865 d17_0 +588 d18_0 +1124 d19_0 +1124 d20_0 +1124 d21_0 +1124 d22_0 +1124 d23_0 +631 d24_0 +631 d25_0 +631 d26_0 +631 d27_0 +631 d28_0 +460 d29_0 +460 d30_0 +460 d31_0 +460 d32_0 +460 d33_0 +230 d34_0 +230 d35_0 +780 d36_0 +893 d37_0 +893 d38_0 +893 d39_0 +893 d40_0 +893 d41_0 +1120 d42_0 +1120 d43_0 +1120 d44_0 +1120 d45_0 +1120 d46_0 +1070 d47_0 +1070 d48_0 +1070 d49_0 +1070 d50_0 +1070 d51_0 +99 d52_0 +1249 d53_0 +1023 d54_0 +1023 d55_0 +1023 d56_0 +1041 d57_0 +1041 d58_0 +1041 d59_0 +1041 d60_0 +1041 d61_0 +58 d62_0 +1191 d63_0 +1191 d64_0 +1191 d65_0 +182 d66_0 +425 d67_0 +425 d68_0 +425 d69_0 +656 d70_0 +656 d71_0 +656 d72_0 +656 d73_0 +656 d74_0 +1120 d75_0 +1120 d76_0 +1120 d77_0 +1120 d78_0 +1120 d79_0 Subject to -1 d0_0 -1 d2_0 <= -1 -1 d0_0 -1 d4_0 <= -1 -1 d0_0 -1 d11_0 <= -1 -1 d0_0 -1 d37_0 <= -1 -1 d0_0 -1 d39_0 <= -1 -1 d0_0 -1 d41_0 <= -1 -1 d0_0 -1 d54_0 <= -1 -1 d0_0 -1 d56_0 <= -1 -1 d0_0 -1 d1_0 <= -1 -1 d0_0 -1 d3_0 <= -1 -1 d1_0 -1 d2_0 <= -1 -1 d1_0 -1 d3_0 <= -1 -1 d1_0 -1 d4_0 <= -1 -1 d1_0 -1 d7_0 <= -1 -1 d1_0 -1 d16_0 <= -1 -1 d1_0 -1 d17_0 <= -1 -1 d1_0 -1 d18_0 <= -1 -1 d1_0 -1 d52_0 <= -1 -1 d1_0 -1 d55_0 <= -1 -1 d1_0 -1 d64_0 <= -1 -1 d1_0 -1 d21_0 <= -1 -1 d1_0 -1 d22_0 <= -1 -1 d1_0 -1 d45_0 <= -1 -1 d1_0 -1 d78_0 <= -1 -1 d2_0 -1 d4_0 <= -1 -1 d2_0 -1 d11_0 <= -1 -1 d2_0 -1 d37_0 <= -1 -1 d2_0 -1 d39_0 <= -1 -1 d2_0 -1 d41_0 <= -1 -1 d2_0 -1 d3_0 <= -1 -1 d2_0 -1 d7_0 <= -1 -1 d2_0 -1 d16_0 <= -1 -1 d2_0 -1 d17_0 <= -1 -1 d2_0 -1 d18_0 <= -1 -1 d2_0 -1 d52_0 <= -1 -1 d2_0 -1 d55_0 <= -1 -1 d2_0 -1 d64_0 <= -1 -1 d2_0 -1 d21_0 <= -1 -1 d2_0 -1 d22_0 <= -1 -1 d2_0 -1 d45_0 <= -1 -1 d2_0 -1 d78_0 <= -1 -1 d2_0 -1 d56_0 <= -1 -1 d3_0 -1 d4_0 <= -1 -1 d3_0 -1 d7_0 <= -1 -1 d3_0 -1 d16_0 <= -1 -1 d3_0 -1 d17_0 <= -1 -1 d3_0 -1 d18_0 <= -1 -1 d3_0 -1 d52_0 <= -1 -1 d3_0 -1 d55_0 <= -1 -1 d3_0 -1 d64_0 <= -1 -1 d3_0 -1 d21_0 <= -1 -1 d3_0 -1 d22_0 <= -1 -1 d3_0 -1 d45_0 <= -1 -1 d3_0 -1 d78_0 <= -1 -1 d3_0 -1 d38_0 <= -1 -1 d3_0 -1 d40_0 <= -1 -1 d4_0 -1 d6_0 <= -1 -1 d4_0 -1 d10_0 <= -1 -1 d4_0 -1 d12_0 <= -1 -1 d4_0 -1 d14_0 <= -1 -1 d4_0 -1 d39_0 <= -1 -1 d4_0 -1 d40_0 <= -1 -1 d4_0 -1 d70_0 <= -1 -1 d4_0 -1 d73_0 <= -1 -1 d4_0 -1 d74_0 <= -1 -1 d4_0 -1 d11_0 <= -1 -1 d4_0 -1 d37_0 <= -1 -1 d4_0 -1 d41_0 <= -1 -1 d4_0 -1 d7_0 <= -1 -1 d4_0 -1 d16_0 <= -1 -1 d4_0 -1 d17_0 <= -1 -1 d4_0 -1 d18_0 <= -1 -1 d4_0 -1 d52_0 <= -1 -1 d4_0 -1 d55_0 <= -1 -1 d4_0 -1 d64_0 <= -1 -1 d4_0 -1 d21_0 <= -1 -1 d4_0 -1 d22_0 <= -1 -1 d4_0 -1 d45_0 <= -1 -1 d4_0 -1 d78_0 <= -1 -1 d5_0 -1 d6_0 <= -1 -1 d5_0 -1 d13_0 <= -1 -1 d5_0 -1 d14_0 <= -1 -1 d5_0 -1 d28_0 <= -1 -1 d5_0 -1 d49_0 <= -1 -1 d5_0 -1 d10_0 <= -1 -1 d5_0 -1 d12_0 <= -1 -1 d6_0 -1 d10_0 <= -1 -1 d6_0 -1 d12_0 <= -1 -1 d6_0 -1 d14_0 <= -1 -1 d6_0 -1 d39_0 <= -1 -1 d6_0 -1 d40_0 <= -1 -1 d6_0 -1 d70_0 <= -1 -1 d6_0 -1 d73_0 <= -1 -1 d6_0 -1 d74_0 <= -1 -1 d6_0 -1 d13_0 <= -1 -1 d6_0 -1 d41_0 <= -1 -1 d7_0 -1 d16_0 <= -1 -1 d7_0 -1 d17_0 <= -1 -1 d7_0 -1 d18_0 <= -1 -1 d7_0 -1 d52_0 <= -1 -1 d7_0 -1 d55_0 <= -1 -1 d7_0 -1 d64_0 <= -1 -1 d7_0 -1 d21_0 <= -1 -1 d7_0 -1 d22_0 <= -1 -1 d7_0 -1 d45_0 <= -1 -1 d7_0 -1 d78_0 <= -1 -1 d8_0 -1 d33_0 <= -1 -1 d8_0 -1 d43_0 <= -1 -1 d8_0 -1 d58_0 <= -1 -1 d8_0 -1 d60_0 <= -1 -1 d8_0 -1 d61_0 <= -1 -1 d8_0 -1 d69_0 <= -1 -1 d8_0 -1 d76_0 <= -1 -1 d8_0 -1 d9_0 <= -1 -1 d8_0 -1 d17_0 <= -1 -1 d8_0 -1 d20_0 <= -1 -1 d8_0 -1 d22_0 <= -1 -1 d8_0 -1 d53_0 <= -1 -1 d8_0 -1 d59_0 <= -1 -1 d8_0 -1 d57_0 <= -1 -1 d9_0 -1 d30_0 <= -1 -1 d9_0 -1 d32_0 <= -1 -1 d9_0 -1 d33_0 <= -1 -1 d9_0 -1 d35_0 <= -1 -1 d9_0 -1 d43_0 <= -1 -1 d9_0 -1 d44_0 <= -1 -1 d9_0 -1 d58_0 <= -1 -1 d9_0 -1 d60_0 <= -1 -1 d9_0 -1 d72_0 <= -1 -1 d9_0 -1 d74_0 <= -1 -1 d9_0 -1 d76_0 <= -1 -1 d9_0 -1 d77_0 <= -1 -1 d9_0 -1 d31_0 <= -1 -1 d9_0 -1 d42_0 <= -1 -1 d9_0 -1 d57_0 <= -1 -1 d9_0 -1 d59_0 <= -1 -1 d9_0 -1 d73_0 <= -1 -1 d9_0 -1 d75_0 <= -1 -1 d9_0 -1 d17_0 <= -1 -1 d9_0 -1 d20_0 <= -1 -1 d9_0 -1 d22_0 <= -1 -1 d9_0 -1 d53_0 <= -1 -1 d9_0 -1 d61_0 <= -1 -1 d10_0 -1 d12_0 <= -1 -1 d10_0 -1 d14_0 <= -1 -1 d10_0 -1 d39_0 <= -1 -1 d10_0 -1 d40_0 <= -1 -1 d10_0 -1 d70_0 <= -1 -1 d10_0 -1 d73_0 <= -1 -1 d10_0 -1 d74_0 <= -1 -1 d10_0 -1 d11_0 <= -1 -1 d10_0 -1 d63_0 <= -1 -1 d11_0 -1 d37_0 <= -1 -1 d11_0 -1 d39_0 <= -1 -1 d11_0 -1 d41_0 <= -1 -1 d11_0 -1 d63_0 <= -1 -1 d11_0 -1 d12_0 <= -1 -1 d12_0 -1 d14_0 <= -1 -1 d12_0 -1 d39_0 <= -1 -1 d12_0 -1 d40_0 <= -1 -1 d12_0 -1 d70_0 <= -1 -1 d12_0 -1 d73_0 <= -1 -1 d12_0 -1 d74_0 <= -1 -1 d12_0 -1 d62_0 <= -1 -1 d12_0 -1 d65_0 <= -1 -1 d13_0 -1 d14_0 <= -1 -1 d13_0 -1 d41_0 <= -1 -1 d14_0 -1 d39_0 <= -1 -1 d14_0 -1 d40_0 <= -1 -1 d14_0 -1 d70_0 <= -1 -1 d14_0 -1 d73_0 <= -1 -1 d14_0 -1 d74_0 <= -1 -1 d14_0 -1 d28_0 <= -1 -1 d14_0 -1 d49_0 <= -1 -1 d15_0 -1 d16_0 <= -1 -1 d15_0 -1 d17_0 <= -1 -1 d16_0 -1 d17_0 <= -1 -1 d16_0 -1 d18_0 <= -1 -1 d16_0 -1 d52_0 <= -1 -1 d16_0 -1 d55_0 <= -1 -1 d16_0 -1 d64_0 <= -1 -1 d16_0 -1 d21_0 <= -1 -1 d17_0 -1 d18_0 <= -1 -1 d17_0 -1 d52_0 <= -1 -1 d17_0 -1 d55_0 <= -1 -1 d17_0 -1 d64_0 <= -1 -1 d17_0 -1 d20_0 <= -1 -1 d17_0 -1 d22_0 <= -1 -1 d17_0 -1 d53_0 <= -1 -1 d17_0 -1 d59_0 <= -1 -1 d17_0 -1 d60_0 <= -1 -1 d17_0 -1 d50_0 <= -1 -1 d18_0 -1 d52_0 <= -1 -1 d18_0 -1 d55_0 <= -1 -1 d18_0 -1 d64_0 <= -1 -1 d19_0 -1 d20_0 <= -1 -1 d19_0 -1 d23_0 <= -1 -1 d19_0 -1 d44_0 <= -1 -1 d19_0 -1 d77_0 <= -1 -1 d19_0 -1 d21_0 <= -1 -1 d19_0 -1 d22_0 <= -1 -1 d20_0 -1 d22_0 <= -1 -1 d20_0 -1 d53_0 <= -1 -1 d20_0 -1 d59_0 <= -1 -1 d20_0 -1 d60_0 <= -1 -1 d20_0 -1 d23_0 <= -1 -1 d20_0 -1 d44_0 <= -1 -1 d20_0 -1 d77_0 <= -1 -1 d20_0 -1 d21_0 <= -1 -1 d21_0 -1 d22_0 <= -1 -1 d21_0 -1 d45_0 <= -1 -1 d21_0 -1 d55_0 <= -1 -1 d21_0 -1 d64_0 <= -1 -1 d21_0 -1 d78_0 <= -1 -1 d21_0 -1 d23_0 <= -1 -1 d22_0 -1 d53_0 <= -1 -1 d22_0 -1 d59_0 <= -1 -1 d22_0 -1 d60_0 <= -1 -1 d22_0 -1 d45_0 <= -1 -1 d22_0 -1 d55_0 <= -1 -1 d22_0 -1 d64_0 <= -1 -1 d22_0 -1 d78_0 <= -1 -1 d22_0 -1 d50_0 <= -1 -1 d22_0 -1 d23_0 <= -1 -1 d23_0 -1 d59_0 <= -1 -1 d23_0 -1 d60_0 <= -1 -1 d23_0 -1 d50_0 <= -1 -1 d23_0 -1 d51_0 <= -1 -1 d23_0 -1 d57_0 <= -1 -1 d23_0 -1 d58_0 <= -1 -1 d23_0 -1 d61_0 <= -1 -1 d23_0 -1 d66_0 <= -1 -1 d23_0 -1 d44_0 <= -1 -1 d23_0 -1 d77_0 <= -1 -1 d24_0 -1 d25_0 <= -1 -1 d24_0 -1 d26_0 <= -1 -1 d24_0 -1 d27_0 <= -1 -1 d24_0 -1 d28_0 <= -1 -1 d25_0 -1 d26_0 <= -1 -1 d25_0 -1 d51_0 <= -1 -1 d25_0 -1 d27_0 <= -1 -1 d25_0 -1 d28_0 <= -1 -1 d26_0 -1 d28_0 <= -1 -1 d26_0 -1 d29_0 <= -1 -1 d26_0 -1 d32_0 <= -1 -1 d26_0 -1 d36_0 <= -1 -1 d26_0 -1 d68_0 <= -1 -1 d26_0 -1 d70_0 <= -1 -1 d26_0 -1 d71_0 <= -1 -1 d26_0 -1 d74_0 <= -1 -1 d26_0 -1 d31_0 <= -1 -1 d26_0 -1 d33_0 <= -1 -1 d26_0 -1 d69_0 <= -1 -1 d26_0 -1 d54_0 <= -1 -1 d26_0 -1 d55_0 <= -1 -1 d26_0 -1 d51_0 <= -1 -1 d26_0 -1 d27_0 <= -1 -1 d27_0 -1 d28_0 <= -1 -1 d27_0 -1 d51_0 <= -1 -1 d28_0 -1 d29_0 <= -1 -1 d28_0 -1 d32_0 <= -1 -1 d28_0 -1 d36_0 <= -1 -1 d28_0 -1 d68_0 <= -1 -1 d28_0 -1 d70_0 <= -1 -1 d28_0 -1 d71_0 <= -1 -1 d28_0 -1 d74_0 <= -1 -1 d28_0 -1 d49_0 <= -1 -1 d28_0 -1 d51_0 <= -1 -1 d28_0 -1 d73_0 <= -1 -1 d29_0 -1 d32_0 <= -1 -1 d29_0 -1 d36_0 <= -1 -1 d29_0 -1 d68_0 <= -1 -1 d29_0 -1 d70_0 <= -1 -1 d29_0 -1 d71_0 <= -1 -1 d29_0 -1 d74_0 <= -1 -1 d29_0 -1 d35_0 <= -1 -1 d29_0 -1 d45_0 <= -1 -1 d29_0 -1 d61_0 <= -1 -1 d29_0 -1 d78_0 <= -1 -1 d29_0 -1 d31_0 <= -1 -1 d29_0 -1 d33_0 <= -1 -1 d29_0 -1 d69_0 <= -1 -1 d29_0 -1 d30_0 <= -1 -1 d30_0 -1 d32_0 <= -1 -1 d30_0 -1 d33_0 <= -1 -1 d30_0 -1 d35_0 <= -1 -1 d30_0 -1 d43_0 <= -1 -1 d30_0 -1 d44_0 <= -1 -1 d30_0 -1 d58_0 <= -1 -1 d30_0 -1 d60_0 <= -1 -1 d30_0 -1 d72_0 <= -1 -1 d30_0 -1 d74_0 <= -1 -1 d30_0 -1 d76_0 <= -1 -1 d30_0 -1 d77_0 <= -1 -1 d30_0 -1 d67_0 <= -1 -1 d30_0 -1 d31_0 <= -1 -1 d31_0 -1 d33_0 <= -1 -1 d31_0 -1 d69_0 <= -1 -1 d31_0 -1 d73_0 <= -1 -1 d31_0 -1 d42_0 <= -1 -1 d31_0 -1 d57_0 <= -1 -1 d31_0 -1 d59_0 <= -1 -1 d31_0 -1 d75_0 <= -1 -1 d31_0 -1 d32_0 <= -1 -1 d31_0 -1 d68_0 <= -1 -1 d31_0 -1 d71_0 <= -1 -1 d32_0 -1 d36_0 <= -1 -1 d32_0 -1 d68_0 <= -1 -1 d32_0 -1 d70_0 <= -1 -1 d32_0 -1 d71_0 <= -1 -1 d32_0 -1 d74_0 <= -1 -1 d32_0 -1 d33_0 <= -1 -1 d32_0 -1 d35_0 <= -1 -1 d32_0 -1 d43_0 <= -1 -1 d32_0 -1 d44_0 <= -1 -1 d32_0 -1 d58_0 <= -1 -1 d32_0 -1 d60_0 <= -1 -1 d32_0 -1 d72_0 <= -1 -1 d32_0 -1 d76_0 <= -1 -1 d32_0 -1 d77_0 <= -1 -1 d32_0 -1 d69_0 <= -1 -1 d32_0 -1 d34_0 <= -1 -1 d32_0 -1 d61_0 <= -1 -1 d33_0 -1 d69_0 <= -1 -1 d33_0 -1 d73_0 <= -1 -1 d33_0 -1 d35_0 <= -1 -1 d33_0 -1 d43_0 <= -1 -1 d33_0 -1 d44_0 <= -1 -1 d33_0 -1 d58_0 <= -1 -1 d33_0 -1 d60_0 <= -1 -1 d33_0 -1 d72_0 <= -1 -1 d33_0 -1 d74_0 <= -1 -1 d33_0 -1 d76_0 <= -1 -1 d33_0 -1 d77_0 <= -1 -1 d33_0 -1 d68_0 <= -1 -1 d33_0 -1 d71_0 <= -1 -1 d33_0 -1 d61_0 <= -1 -1 d34_0 -1 d61_0 <= -1 -1 d34_0 -1 d68_0 <= -1 -1 d34_0 -1 d74_0 <= -1 -1 d34_0 -1 d35_0 <= -1 -1 d35_0 -1 d36_0 <= -1 -1 d35_0 -1 d45_0 <= -1 -1 d35_0 -1 d61_0 <= -1 -1 d35_0 -1 d70_0 <= -1 -1 d35_0 -1 d71_0 <= -1 -1 d35_0 -1 d78_0 <= -1 -1 d35_0 -1 d43_0 <= -1 -1 d35_0 -1 d44_0 <= -1 -1 d35_0 -1 d58_0 <= -1 -1 d35_0 -1 d60_0 <= -1 -1 d35_0 -1 d72_0 <= -1 -1 d35_0 -1 d74_0 <= -1 -1 d35_0 -1 d76_0 <= -1 -1 d35_0 -1 d77_0 <= -1 -1 d36_0 -1 d68_0 <= -1 -1 d36_0 -1 d70_0 <= -1 -1 d36_0 -1 d71_0 <= -1 -1 d36_0 -1 d74_0 <= -1 -1 d36_0 -1 d45_0 <= -1 -1 d36_0 -1 d61_0 <= -1 -1 d36_0 -1 d78_0 <= -1 -1 d37_0 -1 d39_0 <= -1 -1 d37_0 -1 d41_0 <= -1 -1 d37_0 -1 d40_0 <= -1 -1 d37_0 -1 d56_0 <= -1 -1 d37_0 -1 d71_0 <= -1 -1 d37_0 -1 d72_0 <= -1 -1 d37_0 -1 d38_0 <= -1 -1 d38_0 -1 d40_0 <= -1 -1 d38_0 -1 d39_0 <= -1 -1 d38_0 -1 d49_0 <= -1 -1 d38_0 -1 d41_0 <= -1 -1 d39_0 -1 d40_0 <= -1 -1 d39_0 -1 d70_0 <= -1 -1 d39_0 -1 d73_0 <= -1 -1 d39_0 -1 d74_0 <= -1 -1 d39_0 -1 d41_0 <= -1 -1 d39_0 -1 d49_0 <= -1 -1 d40_0 -1 d70_0 <= -1 -1 d40_0 -1 d73_0 <= -1 -1 d40_0 -1 d74_0 <= -1 -1 d40_0 -1 d56_0 <= -1 -1 d40_0 -1 d71_0 <= -1 -1 d40_0 -1 d72_0 <= -1 -1 d40_0 -1 d41_0 <= -1 -1 d41_0 -1 d48_0 <= -1 -1 d41_0 -1 d50_0 <= -1 -1 d42_0 -1 d57_0 <= -1 -1 d42_0 -1 d59_0 <= -1 -1 d42_0 -1 d73_0 <= -1 -1 d42_0 -1 d75_0 <= -1 -1 d42_0 -1 d43_0 <= -1 -1 d42_0 -1 d76_0 <= -1 -1 d42_0 -1 d44_0 <= -1 -1 d42_0 -1 d45_0 <= -1 -1 d42_0 -1 d46_0 <= -1 -1 d43_0 -1 d44_0 <= -1 -1 d43_0 -1 d58_0 <= -1 -1 d43_0 -1 d60_0 <= -1 -1 d43_0 -1 d72_0 <= -1 -1 d43_0 -1 d74_0 <= -1 -1 d43_0 -1 d76_0 <= -1 -1 d43_0 -1 d77_0 <= -1 -1 d43_0 -1 d61_0 <= -1 -1 d43_0 -1 d69_0 <= -1 -1 d43_0 -1 d75_0 <= -1 -1 d43_0 -1 d45_0 <= -1 -1 d43_0 -1 d46_0 <= -1 -1 d44_0 -1 d58_0 <= -1 -1 d44_0 -1 d60_0 <= -1 -1 d44_0 -1 d72_0 <= -1 -1 d44_0 -1 d74_0 <= -1 -1 d44_0 -1 d76_0 <= -1 -1 d44_0 -1 d77_0 <= -1 -1 d44_0 -1 d45_0 <= -1 -1 d44_0 -1 d46_0 <= -1 -1 d45_0 -1 d61_0 <= -1 -1 d45_0 -1 d70_0 <= -1 -1 d45_0 -1 d71_0 <= -1 -1 d45_0 -1 d78_0 <= -1 -1 d45_0 -1 d55_0 <= -1 -1 d45_0 -1 d64_0 <= -1 -1 d45_0 -1 d46_0 <= -1 -1 d46_0 -1 d79_0 <= -1 -1 d46_0 -1 d63_0 <= -1 -1 d46_0 -1 d65_0 <= -1 -1 d47_0 -1 d48_0 <= -1 -1 d47_0 -1 d49_0 <= -1 -1 d47_0 -1 d50_0 <= -1 -1 d47_0 -1 d51_0 <= -1 -1 d48_0 -1 d49_0 <= -1 -1 d48_0 -1 d50_0 <= -1 -1 d48_0 -1 d51_0 <= -1 -1 d49_0 -1 d50_0 <= -1 -1 d49_0 -1 d51_0 <= -1 -1 d50_0 -1 d51_0 <= -1 -1 d50_0 -1 d57_0 <= -1 -1 d50_0 -1 d58_0 <= -1 -1 d50_0 -1 d61_0 <= -1 -1 d50_0 -1 d66_0 <= -1 -1 d50_0 -1 d53_0 <= -1 -1 d51_0 -1 d57_0 <= -1 -1 d51_0 -1 d58_0 <= -1 -1 d51_0 -1 d61_0 <= -1 -1 d51_0 -1 d66_0 <= -1 -1 d52_0 -1 d55_0 <= -1 -1 d52_0 -1 d64_0 <= -1 -1 d53_0 -1 d59_0 <= -1 -1 d53_0 -1 d60_0 <= -1 -1 d54_0 -1 d55_0 <= -1 -1 d54_0 -1 d56_0 <= -1 -1 d55_0 -1 d64_0 <= -1 -1 d55_0 -1 d78_0 <= -1 -1 d55_0 -1 d56_0 <= -1 -1 d56_0 -1 d71_0 <= -1 -1 d56_0 -1 d72_0 <= -1 -1 d57_0 -1 d59_0 <= -1 -1 d57_0 -1 d73_0 <= -1 -1 d57_0 -1 d75_0 <= -1 -1 d57_0 -1 d58_0 <= -1 -1 d57_0 -1 d60_0 <= -1 -1 d57_0 -1 d61_0 <= -1 -1 d57_0 -1 d66_0 <= -1 -1 d58_0 -1 d60_0 <= -1 -1 d58_0 -1 d72_0 <= -1 -1 d58_0 -1 d74_0 <= -1 -1 d58_0 -1 d76_0 <= -1 -1 d58_0 -1 d77_0 <= -1 -1 d58_0 -1 d61_0 <= -1 -1 d58_0 -1 d69_0 <= -1 -1 d58_0 -1 d59_0 <= -1 -1 d58_0 -1 d66_0 <= -1 -1 d59_0 -1 d73_0 <= -1 -1 d59_0 -1 d75_0 <= -1 -1 d59_0 -1 d60_0 <= -1 -1 d59_0 -1 d61_0 <= -1 -1 d60_0 -1 d72_0 <= -1 -1 d60_0 -1 d74_0 <= -1 -1 d60_0 -1 d76_0 <= -1 -1 d60_0 -1 d77_0 <= -1 -1 d60_0 -1 d61_0 <= -1 -1 d60_0 -1 d69_0 <= -1 -1 d61_0 -1 d70_0 <= -1 -1 d61_0 -1 d71_0 <= -1 -1 d61_0 -1 d78_0 <= -1 -1 d61_0 -1 d68_0 <= -1 -1 d61_0 -1 d74_0 <= -1 -1 d61_0 -1 d69_0 <= -1 -1 d61_0 -1 d76_0 <= -1 -1 d61_0 -1 d66_0 <= -1 -1 d62_0 -1 d65_0 <= -1 -1 d63_0 -1 d65_0 <= -1 -1 d63_0 -1 d79_0 <= -1 -1 d63_0 -1 d64_0 <= -1 -1 d64_0 -1 d78_0 <= -1 -1 d64_0 -1 d65_0 <= -1 -1 d65_0 -1 d79_0 <= -1 -1 d67_0 -1 d72_0 <= -1 -1 d67_0 -1 d68_0 <= -1 -1 d67_0 -1 d69_0 <= -1 -1 d68_0 -1 d74_0 <= -1 -1 d68_0 -1 d70_0 <= -1 -1 d68_0 -1 d71_0 <= -1 -1 d68_0 -1 d69_0 <= -1 -1 d69_0 -1 d76_0 <= -1 -1 d69_0 -1 d73_0 <= -1 -1 d69_0 -1 d71_0 <= -1 -1 d70_0 -1 d71_0 <= -1 -1 d70_0 -1 d78_0 <= -1 -1 d70_0 -1 d74_0 <= -1 -1 d70_0 -1 d73_0 <= -1 -1 d70_0 -1 d72_0 <= -1 -1 d71_0 -1 d78_0 <= -1 -1 d71_0 -1 d74_0 <= -1 -1 d71_0 -1 d72_0 <= -1 -1 d71_0 -1 d73_0 <= -1 -1 d72_0 -1 d74_0 <= -1 -1 d72_0 -1 d76_0 <= -1 -1 d72_0 -1 d77_0 <= -1 -1 d72_0 -1 d73_0 <= -1 -1 d73_0 -1 d75_0 <= -1 -1 d73_0 -1 d74_0 <= -1 -1 d74_0 -1 d76_0 <= -1 -1 d74_0 -1 d77_0 <= -1 -1 d75_0 -1 d76_0 <= -1 -1 d75_0 -1 d77_0 <= -1 -1 d75_0 -1 d78_0 <= -1 -1 d75_0 -1 d79_0 <= -1 -1 d76_0 -1 d77_0 <= -1 -1 d76_0 -1 d78_0 <= -1 -1 d76_0 -1 d79_0 <= -1 -1 d77_0 -1 d78_0 <= -1 -1 d77_0 -1 d79_0 <= -1 -1 d78_0 -1 d79_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 End