p cnf 0 0 1 c def i 1 x11_1 >= 0 c def i 1 x11_1 <= 1 c def i 1 x11_2 >= 0 c def i 1 x11_2 <= 1 c def i 1 x11_3 >= 0 c def i 1 x11_3 <= 1 c def i 1 x11_4 >= 0 c def i 1 x11_4 <= 1 c def i 1 x11_5 >= 0 c def i 1 x11_5 <= 1 c def i 1 x11_6 >= 0 c def i 1 x11_6 <= 1 c def i 1 x11_7 >= 0 c def i 1 x11_7 <= 1 c def i 1 x11_8 >= 0 c def i 1 x11_8 <= 1 c def i 1 x11_9 >= 0 c def i 1 x11_9 <= 1 c def i 1 x12_1 >= 0 c def i 1 x12_1 <= 1 c def i 1 x12_2 >= 0 c def i 1 x12_2 <= 1 c def i 1 x12_3 >= 0 c def i 1 x12_3 <= 1 c def i 1 x12_4 >= 0 c def i 1 x12_4 <= 1 c def i 1 x12_5 >= 0 c def i 1 x12_5 <= 1 c def i 1 x12_6 >= 0 c def i 1 x12_6 <= 1 c def i 1 x12_7 >= 0 c def i 1 x12_7 <= 1 c def i 1 x12_8 >= 0 c def i 1 x12_8 <= 1 c def i 1 x12_9 >= 0 c def i 1 x12_9 <= 1 c def i 1 x13_1 >= 0 c def i 1 x13_1 <= 1 c def i 1 x13_2 >= 0 c def i 1 x13_2 <= 1 c def i 1 x13_3 >= 0 c def i 1 x13_3 <= 1 c def i 1 x13_4 >= 0 c def i 1 x13_4 <= 1 c def i 1 x13_5 >= 0 c def i 1 x13_5 <= 1 c def i 1 x13_6 >= 0 c def i 1 x13_6 <= 1 c def i 1 x13_7 >= 0 c def i 1 x13_7 <= 1 c def i 1 x13_8 >= 0 c def i 1 x13_8 <= 1 c def i 1 x13_9 >= 0 c def i 1 x13_9 <= 1 c def i 1 x14_1 >= 0 c def i 1 x14_1 <= 1 c def i 1 x14_2 >= 0 c def i 1 x14_2 <= 1 c def i 1 x14_3 >= 0 c def i 1 x14_3 <= 1 c def i 1 x14_4 >= 0 c def i 1 x14_4 <= 1 c def i 1 x14_5 >= 0 c def i 1 x14_5 <= 1 c def i 1 x14_6 >= 0 c def i 1 x14_6 <= 1 c def i 1 x14_7 >= 0 c def i 1 x14_7 <= 1 c def i 1 x14_8 >= 0 c def i 1 x14_8 <= 1 c def i 1 x14_9 >= 0 c def i 1 x14_9 <= 1 c def i 1 x15_1 >= 0 c def i 1 x15_1 <= 1 c def i 1 x15_2 >= 0 c def i 1 x15_2 <= 1 c def i 1 x15_3 >= 0 c def i 1 x15_3 <= 1 c def i 1 x15_4 >= 0 c def i 1 x15_4 <= 1 c def i 1 x15_5 >= 0 c def i 1 x15_5 <= 1 c def i 1 x15_6 >= 0 c def i 1 x15_6 <= 1 c def i 1 x15_7 >= 0 c def i 1 x15_7 <= 1 c def i 1 x15_8 >= 0 c def i 1 x15_8 <= 1 c def i 1 x15_9 >= 0 c def i 1 x15_9 <= 1 c def i 1 x16_1 >= 0 c def i 1 x16_1 <= 1 c def i 1 x16_2 >= 0 c def i 1 x16_2 <= 1 c def i 1 x16_3 >= 0 c def i 1 x16_3 <= 1 c def i 1 x16_4 >= 0 c def i 1 x16_4 <= 1 c def i 1 x16_5 >= 0 c def i 1 x16_5 <= 1 c def i 1 x16_6 >= 0 c def i 1 x16_6 <= 1 c def i 1 x16_7 >= 0 c def i 1 x16_7 <= 1 c def i 1 x16_8 >= 0 c def i 1 x16_8 <= 1 c def i 1 x16_9 >= 0 c def i 1 x16_9 <= 1 c def i 1 x17_1 >= 0 c def i 1 x17_1 <= 1 c def i 1 x17_2 >= 0 c def i 1 x17_2 <= 1 c def i 1 x17_3 >= 0 c def i 1 x17_3 <= 1 c def i 1 x17_4 >= 0 c def i 1 x17_4 <= 1 c def i 1 x17_5 >= 0 c def i 1 x17_5 <= 1 c def i 1 x17_6 >= 0 c def i 1 x17_6 <= 1 c def i 1 x17_7 >= 0 c def i 1 x17_7 <= 1 c def i 1 x17_8 >= 0 c def i 1 x17_8 <= 1 c def i 1 x17_9 >= 0 c def i 1 x17_9 <= 1 c def i 1 x18_1 >= 0 c def i 1 x18_1 <= 1 c def i 1 x18_2 >= 0 c def i 1 x18_2 <= 1 c def i 1 x18_3 >= 0 c def i 1 x18_3 <= 1 c def i 1 x18_4 >= 0 c def i 1 x18_4 <= 1 c def i 1 x18_5 >= 0 c def i 1 x18_5 <= 1 c def i 1 x18_6 >= 0 c def i 1 x18_6 <= 1 c def i 1 x18_7 >= 0 c def i 1 x18_7 <= 1 c def i 1 x18_8 >= 0 c def i 1 x18_8 <= 1 c def i 1 x18_9 >= 0 c def i 1 x18_9 <= 1 c def i 1 x19_1 >= 0 c def i 1 x19_1 <= 1 c def i 1 x19_2 >= 0 c def i 1 x19_2 <= 1 c def i 1 x19_3 >= 0 c def i 1 x19_3 <= 1 c def i 1 x19_4 >= 0 c def i 1 x19_4 <= 1 c def i 1 x19_5 >= 0 c def i 1 x19_5 <= 1 c def i 1 x19_6 >= 0 c def i 1 x19_6 <= 1 c def i 1 x19_7 >= 0 c def i 1 x19_7 <= 1 c def i 1 x19_8 >= 0 c def i 1 x19_8 <= 1 c def i 1 x19_9 >= 0 c def i 1 x19_9 <= 1 c def i 1 x21_1 >= 0 c def i 1 x21_1 <= 1 c def i 1 x21_2 >= 0 c def i 1 x21_2 <= 1 c def i 1 x21_3 >= 0 c def i 1 x21_3 <= 1 c def i 1 x21_4 >= 0 c def i 1 x21_4 <= 1 c def i 1 x21_5 >= 0 c def i 1 x21_5 <= 1 c def i 1 x21_6 >= 0 c def i 1 x21_6 <= 1 c def i 1 x21_7 >= 0 c def i 1 x21_7 <= 1 c def i 1 x21_8 >= 0 c def i 1 x21_8 <= 1 c def i 1 x21_9 >= 0 c def i 1 x21_9 <= 1 c def i 1 x22_1 >= 0 c def i 1 x22_1 <= 1 c def i 1 x22_2 >= 0 c def i 1 x22_2 <= 1 c def i 1 x22_3 >= 0 c def i 1 x22_3 <= 1 c def i 1 x22_4 >= 0 c def i 1 x22_4 <= 1 c def i 1 x22_5 >= 0 c def i 1 x22_5 <= 1 c def i 1 x22_6 >= 0 c def i 1 x22_6 <= 1 c def i 1 x22_7 >= 0 c def i 1 x22_7 <= 1 c def i 1 x22_8 >= 0 c def i 1 x22_8 <= 1 c def i 1 x22_9 >= 0 c def i 1 x22_9 <= 1 c def i 1 x23_1 >= 0 c def i 1 x23_1 <= 1 c def i 1 x23_2 >= 0 c def i 1 x23_2 <= 1 c def i 1 x23_3 >= 0 c def i 1 x23_3 <= 1 c def i 1 x23_4 >= 0 c def i 1 x23_4 <= 1 c def i 1 x23_5 >= 0 c def i 1 x23_5 <= 1 c def i 1 x23_6 >= 0 c def i 1 x23_6 <= 1 c def i 1 x23_7 >= 0 c def i 1 x23_7 <= 1 c def i 1 x23_8 >= 0 c def i 1 x23_8 <= 1 c def i 1 x23_9 >= 0 c def i 1 x23_9 <= 1 c def i 1 x24_1 >= 0 c def i 1 x24_1 <= 1 c def i 1 x24_2 >= 0 c def i 1 x24_2 <= 1 c def i 1 x24_3 >= 0 c def i 1 x24_3 <= 1 c def i 1 x24_4 >= 0 c def i 1 x24_4 <= 1 c def i 1 x24_5 >= 0 c def i 1 x24_5 <= 1 c def i 1 x24_6 >= 0 c def i 1 x24_6 <= 1 c def i 1 x24_7 >= 0 c def i 1 x24_7 <= 1 c def i 1 x24_8 >= 0 c def i 1 x24_8 <= 1 c def i 1 x24_9 >= 0 c def i 1 x24_9 <= 1 c def i 1 x25_1 >= 0 c def i 1 x25_1 <= 1 c def i 1 x25_2 >= 0 c def i 1 x25_2 <= 1 c def i 1 x25_3 >= 0 c def i 1 x25_3 <= 1 c def i 1 x25_4 >= 0 c def i 1 x25_4 <= 1 c def i 1 x25_5 >= 0 c def i 1 x25_5 <= 1 c def i 1 x25_6 >= 0 c def i 1 x25_6 <= 1 c def i 1 x25_7 >= 0 c def i 1 x25_7 <= 1 c def i 1 x25_8 >= 0 c def i 1 x25_8 <= 1 c def i 1 x25_9 >= 0 c def i 1 x25_9 <= 1 c def i 1 x26_1 >= 0 c def i 1 x26_1 <= 1 c def i 1 x26_2 >= 0 c def i 1 x26_2 <= 1 c def i 1 x26_3 >= 0 c def i 1 x26_3 <= 1 c def i 1 x26_4 >= 0 c def i 1 x26_4 <= 1 c def i 1 x26_5 >= 0 c def i 1 x26_5 <= 1 c def i 1 x26_6 >= 0 c def i 1 x26_6 <= 1 c def i 1 x26_7 >= 0 c def i 1 x26_7 <= 1 c def i 1 x26_8 >= 0 c def i 1 x26_8 <= 1 c def i 1 x26_9 >= 0 c def i 1 x26_9 <= 1 c def i 1 x27_1 >= 0 c def i 1 x27_1 <= 1 c def i 1 x27_2 >= 0 c def i 1 x27_2 <= 1 c def i 1 x27_3 >= 0 c def i 1 x27_3 <= 1 c def i 1 x27_4 >= 0 c def i 1 x27_4 <= 1 c def i 1 x27_5 >= 0 c def i 1 x27_5 <= 1 c def i 1 x27_6 >= 0 c def i 1 x27_6 <= 1 c def i 1 x27_7 >= 0 c def i 1 x27_7 <= 1 c def i 1 x27_8 >= 0 c def i 1 x27_8 <= 1 c def i 1 x27_9 >= 0 c def i 1 x27_9 <= 1 c def i 1 x28_1 >= 0 c def i 1 x28_1 <= 1 c def i 1 x28_2 >= 0 c def i 1 x28_2 <= 1 c def i 1 x28_3 >= 0 c def i 1 x28_3 <= 1 c def i 1 x28_4 >= 0 c def i 1 x28_4 <= 1 c def i 1 x28_5 >= 0 c def i 1 x28_5 <= 1 c def i 1 x28_6 >= 0 c def i 1 x28_6 <= 1 c def i 1 x28_7 >= 0 c def i 1 x28_7 <= 1 c def i 1 x28_8 >= 0 c def i 1 x28_8 <= 1 c def i 1 x28_9 >= 0 c def i 1 x28_9 <= 1 c def i 1 x29_1 >= 0 c def i 1 x29_1 <= 1 c def i 1 x29_2 >= 0 c def i 1 x29_2 <= 1 c def i 1 x29_3 >= 0 c def i 1 x29_3 <= 1 c def i 1 x29_4 >= 0 c def i 1 x29_4 <= 1 c def i 1 x29_5 >= 0 c def i 1 x29_5 <= 1 c def i 1 x29_6 >= 0 c def i 1 x29_6 <= 1 c def i 1 x29_7 >= 0 c def i 1 x29_7 <= 1 c def i 1 x29_8 >= 0 c def i 1 x29_8 <= 1 c def i 1 x29_9 >= 0 c def i 1 x29_9 <= 1 c def i 1 x31_1 >= 0 c def i 1 x31_1 <= 1 c def i 1 x31_2 >= 0 c def i 1 x31_2 <= 1 c def i 1 x31_3 >= 0 c def i 1 x31_3 <= 1 c def i 1 x31_4 >= 0 c def i 1 x31_4 <= 1 c def i 1 x31_5 >= 0 c def i 1 x31_5 <= 1 c def i 1 x31_6 >= 0 c def i 1 x31_6 <= 1 c def i 1 x31_7 >= 0 c def i 1 x31_7 <= 1 c def i 1 x31_8 >= 0 c def i 1 x31_8 <= 1 c def i 1 x31_9 >= 0 c def i 1 x31_9 <= 1 c def i 1 x32_1 >= 0 c def i 1 x32_1 <= 1 c def i 1 x32_2 >= 0 c def i 1 x32_2 <= 1 c def i 1 x32_3 >= 0 c def i 1 x32_3 <= 1 c def i 1 x32_4 >= 0 c def i 1 x32_4 <= 1 c def i 1 x32_5 >= 0 c def i 1 x32_5 <= 1 c def i 1 x32_6 >= 0 c def i 1 x32_6 <= 1 c def i 1 x32_7 >= 0 c def i 1 x32_7 <= 1 c def i 1 x32_8 >= 0 c def i 1 x32_8 <= 1 c def i 1 x32_9 >= 0 c def i 1 x32_9 <= 1 c def i 1 x33_1 >= 0 c def i 1 x33_1 <= 1 c def i 1 x33_2 >= 0 c def i 1 x33_2 <= 1 c def i 1 x33_3 >= 0 c def i 1 x33_3 <= 1 c def i 1 x33_4 >= 0 c def i 1 x33_4 <= 1 c def i 1 x33_5 >= 0 c def i 1 x33_5 <= 1 c def i 1 x33_6 >= 0 c def i 1 x33_6 <= 1 c def i 1 x33_7 >= 0 c def i 1 x33_7 <= 1 c def i 1 x33_8 >= 0 c def i 1 x33_8 <= 1 c def i 1 x33_9 >= 0 c def i 1 x33_9 <= 1 c def i 1 x34_1 >= 0 c def i 1 x34_1 <= 1 c def i 1 x34_2 >= 0 c def i 1 x34_2 <= 1 c def i 1 x34_3 >= 0 c def i 1 x34_3 <= 1 c def i 1 x34_4 >= 0 c def i 1 x34_4 <= 1 c def i 1 x34_5 >= 0 c def i 1 x34_5 <= 1 c def i 1 x34_6 >= 0 c def i 1 x34_6 <= 1 c def i 1 x34_7 >= 0 c def i 1 x34_7 <= 1 c def i 1 x34_8 >= 0 c def i 1 x34_8 <= 1 c def i 1 x34_9 >= 0 c def i 1 x34_9 <= 1 c def i 1 x35_1 >= 0 c def i 1 x35_1 <= 1 c def i 1 x35_2 >= 0 c def i 1 x35_2 <= 1 c def i 1 x35_3 >= 0 c def i 1 x35_3 <= 1 c def i 1 x35_4 >= 0 c def i 1 x35_4 <= 1 c def i 1 x35_5 >= 0 c def i 1 x35_5 <= 1 c def i 1 x35_6 >= 0 c def i 1 x35_6 <= 1 c def i 1 x35_7 >= 0 c def i 1 x35_7 <= 1 c def i 1 x35_8 >= 0 c def i 1 x35_8 <= 1 c def i 1 x35_9 >= 0 c def i 1 x35_9 <= 1 c def i 1 x36_1 >= 0 c def i 1 x36_1 <= 1 c def i 1 x36_2 >= 0 c def i 1 x36_2 <= 1 c def i 1 x36_3 >= 0 c def i 1 x36_3 <= 1 c def i 1 x36_4 >= 0 c def i 1 x36_4 <= 1 c def i 1 x36_5 >= 0 c def i 1 x36_5 <= 1 c def i 1 x36_6 >= 0 c def i 1 x36_6 <= 1 c def i 1 x36_7 >= 0 c def i 1 x36_7 <= 1 c def i 1 x36_8 >= 0 c def i 1 x36_8 <= 1 c def i 1 x36_9 >= 0 c def i 1 x36_9 <= 1 c def i 1 x37_1 >= 0 c def i 1 x37_1 <= 1 c def i 1 x37_2 >= 0 c def i 1 x37_2 <= 1 c def i 1 x37_3 >= 0 c def i 1 x37_3 <= 1 c def i 1 x37_4 >= 0 c def i 1 x37_4 <= 1 c def i 1 x37_5 >= 0 c def i 1 x37_5 <= 1 c def i 1 x37_6 >= 0 c def i 1 x37_6 <= 1 c def i 1 x37_7 >= 0 c def i 1 x37_7 <= 1 c def i 1 x37_8 >= 0 c def i 1 x37_8 <= 1 c def i 1 x37_9 >= 0 c def i 1 x37_9 <= 1 c def i 1 x38_1 >= 0 c def i 1 x38_1 <= 1 c def i 1 x38_2 >= 0 c def i 1 x38_2 <= 1 c def i 1 x38_3 >= 0 c def i 1 x38_3 <= 1 c def i 1 x38_4 >= 0 c def i 1 x38_4 <= 1 c def i 1 x38_5 >= 0 c def i 1 x38_5 <= 1 c def i 1 x38_6 >= 0 c def i 1 x38_6 <= 1 c def i 1 x38_7 >= 0 c def i 1 x38_7 <= 1 c def i 1 x38_8 >= 0 c def i 1 x38_8 <= 1 c def i 1 x38_9 >= 0 c def i 1 x38_9 <= 1 c def i 1 x39_1 >= 0 c def i 1 x39_1 <= 1 c def i 1 x39_2 >= 0 c def i 1 x39_2 <= 1 c def i 1 x39_3 >= 0 c def i 1 x39_3 <= 1 c def i 1 x39_4 >= 0 c def i 1 x39_4 <= 1 c def i 1 x39_5 >= 0 c def i 1 x39_5 <= 1 c def i 1 x39_6 >= 0 c def i 1 x39_6 <= 1 c def i 1 x39_7 >= 0 c def i 1 x39_7 <= 1 c def i 1 x39_8 >= 0 c def i 1 x39_8 <= 1 c def i 1 x39_9 >= 0 c def i 1 x39_9 <= 1 c def i 1 x41_1 >= 0 c def i 1 x41_1 <= 1 c def i 1 x41_2 >= 0 c def i 1 x41_2 <= 1 c def i 1 x41_3 >= 0 c def i 1 x41_3 <= 1 c def i 1 x41_4 >= 0 c def i 1 x41_4 <= 1 c def i 1 x41_5 >= 0 c def i 1 x41_5 <= 1 c def i 1 x41_6 >= 0 c def i 1 x41_6 <= 1 c def i 1 x41_7 >= 0 c def i 1 x41_7 <= 1 c def i 1 x41_8 >= 0 c def i 1 x41_8 <= 1 c def i 1 x41_9 >= 0 c def i 1 x41_9 <= 1 c def i 1 x42_1 >= 0 c def i 1 x42_1 <= 1 c def i 1 x42_2 >= 0 c def i 1 x42_2 <= 1 c def i 1 x42_3 >= 0 c def i 1 x42_3 <= 1 c def i 1 x42_4 >= 0 c def i 1 x42_4 <= 1 c def i 1 x42_5 >= 0 c def i 1 x42_5 <= 1 c def i 1 x42_6 >= 0 c def i 1 x42_6 <= 1 c def i 1 x42_7 >= 0 c def i 1 x42_7 <= 1 c def i 1 x42_8 >= 0 c def i 1 x42_8 <= 1 c def i 1 x42_9 >= 0 c def i 1 x42_9 <= 1 c def i 1 x43_1 >= 0 c def i 1 x43_1 <= 1 c def i 1 x43_2 >= 0 c def i 1 x43_2 <= 1 c def i 1 x43_3 >= 0 c def i 1 x43_3 <= 1 c def i 1 x43_4 >= 0 c def i 1 x43_4 <= 1 c def i 1 x43_5 >= 0 c def i 1 x43_5 <= 1 c def i 1 x43_6 >= 0 c def i 1 x43_6 <= 1 c def i 1 x43_7 >= 0 c def i 1 x43_7 <= 1 c def i 1 x43_8 >= 0 c def i 1 x43_8 <= 1 c def i 1 x43_9 >= 0 c def i 1 x43_9 <= 1 c def i 1 x44_1 >= 0 c def i 1 x44_1 <= 1 c def i 1 x44_2 >= 0 c def i 1 x44_2 <= 1 c def i 1 x44_3 >= 0 c def i 1 x44_3 <= 1 c def i 1 x44_4 >= 0 c def i 1 x44_4 <= 1 c def i 1 x44_5 >= 0 c def i 1 x44_5 <= 1 c def i 1 x44_6 >= 0 c def i 1 x44_6 <= 1 c def i 1 x44_7 >= 0 c def i 1 x44_7 <= 1 c def i 1 x44_8 >= 0 c def i 1 x44_8 <= 1 c def i 1 x44_9 >= 0 c def i 1 x44_9 <= 1 c def i 1 x45_1 >= 0 c def i 1 x45_1 <= 1 c def i 1 x45_2 >= 0 c def i 1 x45_2 <= 1 c def i 1 x45_3 >= 0 c def i 1 x45_3 <= 1 c def i 1 x45_4 >= 0 c def i 1 x45_4 <= 1 c def i 1 x45_5 >= 0 c def i 1 x45_5 <= 1 c def i 1 x45_6 >= 0 c def i 1 x45_6 <= 1 c def i 1 x45_7 >= 0 c def i 1 x45_7 <= 1 c def i 1 x45_8 >= 0 c def i 1 x45_8 <= 1 c def i 1 x45_9 >= 0 c def i 1 x45_9 <= 1 c def i 1 x46_1 >= 0 c def i 1 x46_1 <= 1 c def i 1 x46_2 >= 0 c def i 1 x46_2 <= 1 c def i 1 x46_3 >= 0 c def i 1 x46_3 <= 1 c def i 1 x46_4 >= 0 c def i 1 x46_4 <= 1 c def i 1 x46_5 >= 0 c def i 1 x46_5 <= 1 c def i 1 x46_6 >= 0 c def i 1 x46_6 <= 1 c def i 1 x46_7 >= 0 c def i 1 x46_7 <= 1 c def i 1 x46_8 >= 0 c def i 1 x46_8 <= 1 c def i 1 x46_9 >= 0 c def i 1 x46_9 <= 1 c def i 1 x47_1 >= 0 c def i 1 x47_1 <= 1 c def i 1 x47_2 >= 0 c def i 1 x47_2 <= 1 c def i 1 x47_3 >= 0 c def i 1 x47_3 <= 1 c def i 1 x47_4 >= 0 c def i 1 x47_4 <= 1 c def i 1 x47_5 >= 0 c def i 1 x47_5 <= 1 c def i 1 x47_6 >= 0 c def i 1 x47_6 <= 1 c def i 1 x47_7 >= 0 c def i 1 x47_7 <= 1 c def i 1 x47_8 >= 0 c def i 1 x47_8 <= 1 c def i 1 x47_9 >= 0 c def i 1 x47_9 <= 1 c def i 1 x48_1 >= 0 c def i 1 x48_1 <= 1 c def i 1 x48_2 >= 0 c def i 1 x48_2 <= 1 c def i 1 x48_3 >= 0 c def i 1 x48_3 <= 1 c def i 1 x48_4 >= 0 c def i 1 x48_4 <= 1 c def i 1 x48_5 >= 0 c def i 1 x48_5 <= 1 c def i 1 x48_6 >= 0 c def i 1 x48_6 <= 1 c def i 1 x48_7 >= 0 c def i 1 x48_7 <= 1 c def i 1 x48_8 >= 0 c def i 1 x48_8 <= 1 c def i 1 x48_9 >= 0 c def i 1 x48_9 <= 1 c def i 1 x49_1 >= 0 c def i 1 x49_1 <= 1 c def i 1 x49_2 >= 0 c def i 1 x49_2 <= 1 c def i 1 x49_3 >= 0 c def i 1 x49_3 <= 1 c def i 1 x49_4 >= 0 c def i 1 x49_4 <= 1 c def i 1 x49_5 >= 0 c def i 1 x49_5 <= 1 c def i 1 x49_6 >= 0 c def i 1 x49_6 <= 1 c def i 1 x49_7 >= 0 c def i 1 x49_7 <= 1 c def i 1 x49_8 >= 0 c def i 1 x49_8 <= 1 c def i 1 x49_9 >= 0 c def i 1 x49_9 <= 1 c def i 1 x51_1 >= 0 c def i 1 x51_1 <= 1 c def i 1 x51_2 >= 0 c def i 1 x51_2 <= 1 c def i 1 x51_3 >= 0 c def i 1 x51_3 <= 1 c def i 1 x51_4 >= 0 c def i 1 x51_4 <= 1 c def i 1 x51_5 >= 0 c def i 1 x51_5 <= 1 c def i 1 x51_6 >= 0 c def i 1 x51_6 <= 1 c def i 1 x51_7 >= 0 c def i 1 x51_7 <= 1 c def i 1 x51_8 >= 0 c def i 1 x51_8 <= 1 c def i 1 x51_9 >= 0 c def i 1 x51_9 <= 1 c def i 1 x52_1 >= 0 c def i 1 x52_1 <= 1 c def i 1 x52_2 >= 0 c def i 1 x52_2 <= 1 c def i 1 x52_3 >= 0 c def i 1 x52_3 <= 1 c def i 1 x52_4 >= 0 c def i 1 x52_4 <= 1 c def i 1 x52_5 >= 0 c def i 1 x52_5 <= 1 c def i 1 x52_6 >= 0 c def i 1 x52_6 <= 1 c def i 1 x52_7 >= 0 c def i 1 x52_7 <= 1 c def i 1 x52_8 >= 0 c def i 1 x52_8 <= 1 c def i 1 x52_9 >= 0 c def i 1 x52_9 <= 1 c def i 1 x53_1 >= 0 c def i 1 x53_1 <= 1 c def i 1 x53_2 >= 0 c def i 1 x53_2 <= 1 c def i 1 x53_3 >= 0 c def i 1 x53_3 <= 1 c def i 1 x53_4 >= 0 c def i 1 x53_4 <= 1 c def i 1 x53_5 >= 0 c def i 1 x53_5 <= 1 c def i 1 x53_6 >= 0 c def i 1 x53_6 <= 1 c def i 1 x53_7 >= 0 c def i 1 x53_7 <= 1 c def i 1 x53_8 >= 0 c def i 1 x53_8 <= 1 c def i 1 x53_9 >= 0 c def i 1 x53_9 <= 1 c def i 1 x54_1 >= 0 c def i 1 x54_1 <= 1 c def i 1 x54_2 >= 0 c def i 1 x54_2 <= 1 c def i 1 x54_3 >= 0 c def i 1 x54_3 <= 1 c def i 1 x54_4 >= 0 c def i 1 x54_4 <= 1 c def i 1 x54_5 >= 0 c def i 1 x54_5 <= 1 c def i 1 x54_6 >= 0 c def i 1 x54_6 <= 1 c def i 1 x54_7 >= 0 c def i 1 x54_7 <= 1 c def i 1 x54_8 >= 0 c def i 1 x54_8 <= 1 c def i 1 x54_9 >= 0 c def i 1 x54_9 <= 1 c def i 1 x55_1 >= 0 c def i 1 x55_1 <= 1 c def i 1 x55_2 >= 0 c def i 1 x55_2 <= 1 c def i 1 x55_3 >= 0 c def i 1 x55_3 <= 1 c def i 1 x55_4 >= 0 c def i 1 x55_4 <= 1 c def i 1 x55_5 >= 0 c def i 1 x55_5 <= 1 c def i 1 x55_6 >= 0 c def i 1 x55_6 <= 1 c def i 1 x55_7 >= 0 c def i 1 x55_7 <= 1 c def i 1 x55_8 >= 0 c def i 1 x55_8 <= 1 c def i 1 x55_9 >= 0 c def i 1 x55_9 <= 1 c def i 1 x56_1 >= 0 c def i 1 x56_1 <= 1 c def i 1 x56_2 >= 0 c def i 1 x56_2 <= 1 c def i 1 x56_3 >= 0 c def i 1 x56_3 <= 1 c def i 1 x56_4 >= 0 c def i 1 x56_4 <= 1 c def i 1 x56_5 >= 0 c def i 1 x56_5 <= 1 c def i 1 x56_6 >= 0 c def i 1 x56_6 <= 1 c def i 1 x56_7 >= 0 c def i 1 x56_7 <= 1 c def i 1 x56_8 >= 0 c def i 1 x56_8 <= 1 c def i 1 x56_9 >= 0 c def i 1 x56_9 <= 1 c def i 1 x57_1 >= 0 c def i 1 x57_1 <= 1 c def i 1 x57_2 >= 0 c def i 1 x57_2 <= 1 c def i 1 x57_3 >= 0 c def i 1 x57_3 <= 1 c def i 1 x57_4 >= 0 c def i 1 x57_4 <= 1 c def i 1 x57_5 >= 0 c def i 1 x57_5 <= 1 c def i 1 x57_6 >= 0 c def i 1 x57_6 <= 1 c def i 1 x57_7 >= 0 c def i 1 x57_7 <= 1 c def i 1 x57_8 >= 0 c def i 1 x57_8 <= 1 c def i 1 x57_9 >= 0 c def i 1 x57_9 <= 1 c def i 1 x58_1 >= 0 c def i 1 x58_1 <= 1 c def i 1 x58_2 >= 0 c def i 1 x58_2 <= 1 c def i 1 x58_3 >= 0 c def i 1 x58_3 <= 1 c def i 1 x58_4 >= 0 c def i 1 x58_4 <= 1 c def i 1 x58_5 >= 0 c def i 1 x58_5 <= 1 c def i 1 x58_6 >= 0 c def i 1 x58_6 <= 1 c def i 1 x58_7 >= 0 c def i 1 x58_7 <= 1 c def i 1 x58_8 >= 0 c def i 1 x58_8 <= 1 c def i 1 x58_9 >= 0 c def i 1 x58_9 <= 1 c def i 1 x59_1 >= 0 c def i 1 x59_1 <= 1 c def i 1 x59_2 >= 0 c def i 1 x59_2 <= 1 c def i 1 x59_3 >= 0 c def i 1 x59_3 <= 1 c def i 1 x59_4 >= 0 c def i 1 x59_4 <= 1 c def i 1 x59_5 >= 0 c def i 1 x59_5 <= 1 c def i 1 x59_6 >= 0 c def i 1 x59_6 <= 1 c def i 1 x59_7 >= 0 c def i 1 x59_7 <= 1 c def i 1 x59_8 >= 0 c def i 1 x59_8 <= 1 c def i 1 x59_9 >= 0 c def i 1 x59_9 <= 1 c def i 1 x61_1 >= 0 c def i 1 x61_1 <= 1 c def i 1 x61_2 >= 0 c def i 1 x61_2 <= 1 c def i 1 x61_3 >= 0 c def i 1 x61_3 <= 1 c def i 1 x61_4 >= 0 c def i 1 x61_4 <= 1 c def i 1 x61_5 >= 0 c def i 1 x61_5 <= 1 c def i 1 x61_6 >= 0 c def i 1 x61_6 <= 1 c def i 1 x61_7 >= 0 c def i 1 x61_7 <= 1 c def i 1 x61_8 >= 0 c def i 1 x61_8 <= 1 c def i 1 x61_9 >= 0 c def i 1 x61_9 <= 1 c def i 1 x62_1 >= 0 c def i 1 x62_1 <= 1 c def i 1 x62_2 >= 0 c def i 1 x62_2 <= 1 c def i 1 x62_3 >= 0 c def i 1 x62_3 <= 1 c def i 1 x62_4 >= 0 c def i 1 x62_4 <= 1 c def i 1 x62_5 >= 0 c def i 1 x62_5 <= 1 c def i 1 x62_6 >= 0 c def i 1 x62_6 <= 1 c def i 1 x62_7 >= 0 c def i 1 x62_7 <= 1 c def i 1 x62_8 >= 0 c def i 1 x62_8 <= 1 c def i 1 x62_9 >= 0 c def i 1 x62_9 <= 1 c def i 1 x63_1 >= 0 c def i 1 x63_1 <= 1 c def i 1 x63_2 >= 0 c def i 1 x63_2 <= 1 c def i 1 x63_3 >= 0 c def i 1 x63_3 <= 1 c def i 1 x63_4 >= 0 c def i 1 x63_4 <= 1 c def i 1 x63_5 >= 0 c def i 1 x63_5 <= 1 c def i 1 x63_6 >= 0 c def i 1 x63_6 <= 1 c def i 1 x63_7 >= 0 c def i 1 x63_7 <= 1 c def i 1 x63_8 >= 0 c def i 1 x63_8 <= 1 c def i 1 x63_9 >= 0 c def i 1 x63_9 <= 1 c def i 1 x64_1 >= 0 c def i 1 x64_1 <= 1 c def i 1 x64_2 >= 0 c def i 1 x64_2 <= 1 c def i 1 x64_3 >= 0 c def i 1 x64_3 <= 1 c def i 1 x64_4 >= 0 c def i 1 x64_4 <= 1 c def i 1 x64_5 >= 0 c def i 1 x64_5 <= 1 c def i 1 x64_6 >= 0 c def i 1 x64_6 <= 1 c def i 1 x64_7 >= 0 c def i 1 x64_7 <= 1 c def i 1 x64_8 >= 0 c def i 1 x64_8 <= 1 c def i 1 x64_9 >= 0 c def i 1 x64_9 <= 1 c def i 1 x65_1 >= 0 c def i 1 x65_1 <= 1 c def i 1 x65_2 >= 0 c def i 1 x65_2 <= 1 c def i 1 x65_3 >= 0 c def i 1 x65_3 <= 1 c def i 1 x65_4 >= 0 c def i 1 x65_4 <= 1 c def i 1 x65_5 >= 0 c def i 1 x65_5 <= 1 c def i 1 x65_6 >= 0 c def i 1 x65_6 <= 1 c def i 1 x65_7 >= 0 c def i 1 x65_7 <= 1 c def i 1 x65_8 >= 0 c def i 1 x65_8 <= 1 c def i 1 x65_9 >= 0 c def i 1 x65_9 <= 1 c def i 1 x66_1 >= 0 c def i 1 x66_1 <= 1 c def i 1 x66_2 >= 0 c def i 1 x66_2 <= 1 c def i 1 x66_3 >= 0 c def i 1 x66_3 <= 1 c def i 1 x66_4 >= 0 c def i 1 x66_4 <= 1 c def i 1 x66_5 >= 0 c def i 1 x66_5 <= 1 c def i 1 x66_6 >= 0 c def i 1 x66_6 <= 1 c def i 1 x66_7 >= 0 c def i 1 x66_7 <= 1 c def i 1 x66_8 >= 0 c def i 1 x66_8 <= 1 c def i 1 x66_9 >= 0 c def i 1 x66_9 <= 1 c def i 1 x67_1 >= 0 c def i 1 x67_1 <= 1 c def i 1 x67_2 >= 0 c def i 1 x67_2 <= 1 c def i 1 x67_3 >= 0 c def i 1 x67_3 <= 1 c def i 1 x67_4 >= 0 c def i 1 x67_4 <= 1 c def i 1 x67_5 >= 0 c def i 1 x67_5 <= 1 c def i 1 x67_6 >= 0 c def i 1 x67_6 <= 1 c def i 1 x67_7 >= 0 c def i 1 x67_7 <= 1 c def i 1 x67_8 >= 0 c def i 1 x67_8 <= 1 c def i 1 x67_9 >= 0 c def i 1 x67_9 <= 1 c def i 1 x68_1 >= 0 c def i 1 x68_1 <= 1 c def i 1 x68_2 >= 0 c def i 1 x68_2 <= 1 c def i 1 x68_3 >= 0 c def i 1 x68_3 <= 1 c def i 1 x68_4 >= 0 c def i 1 x68_4 <= 1 c def i 1 x68_5 >= 0 c def i 1 x68_5 <= 1 c def i 1 x68_6 >= 0 c def i 1 x68_6 <= 1 c def i 1 x68_7 >= 0 c def i 1 x68_7 <= 1 c def i 1 x68_8 >= 0 c def i 1 x68_8 <= 1 c def i 1 x68_9 >= 0 c def i 1 x68_9 <= 1 c def i 1 x69_1 >= 0 c def i 1 x69_1 <= 1 c def i 1 x69_2 >= 0 c def i 1 x69_2 <= 1 c def i 1 x69_3 >= 0 c def i 1 x69_3 <= 1 c def i 1 x69_4 >= 0 c def i 1 x69_4 <= 1 c def i 1 x69_5 >= 0 c def i 1 x69_5 <= 1 c def i 1 x69_6 >= 0 c def i 1 x69_6 <= 1 c def i 1 x69_7 >= 0 c def i 1 x69_7 <= 1 c def i 1 x69_8 >= 0 c def i 1 x69_8 <= 1 c def i 1 x69_9 >= 0 c def i 1 x69_9 <= 1 c def i 1 x71_1 >= 0 c def i 1 x71_1 <= 1 c def i 1 x71_2 >= 0 c def i 1 x71_2 <= 1 c def i 1 x71_3 >= 0 c def i 1 x71_3 <= 1 c def i 1 x71_4 >= 0 c def i 1 x71_4 <= 1 c def i 1 x71_5 >= 0 c def i 1 x71_5 <= 1 c def i 1 x71_6 >= 0 c def i 1 x71_6 <= 1 c def i 1 x71_7 >= 0 c def i 1 x71_7 <= 1 c def i 1 x71_8 >= 0 c def i 1 x71_8 <= 1 c def i 1 x71_9 >= 0 c def i 1 x71_9 <= 1 c def i 1 x72_1 >= 0 c def i 1 x72_1 <= 1 c def i 1 x72_2 >= 0 c def i 1 x72_2 <= 1 c def i 1 x72_3 >= 0 c def i 1 x72_3 <= 1 c def i 1 x72_4 >= 0 c def i 1 x72_4 <= 1 c def i 1 x72_5 >= 0 c def i 1 x72_5 <= 1 c def i 1 x72_6 >= 0 c def i 1 x72_6 <= 1 c def i 1 x72_7 >= 0 c def i 1 x72_7 <= 1 c def i 1 x72_8 >= 0 c def i 1 x72_8 <= 1 c def i 1 x72_9 >= 0 c def i 1 x72_9 <= 1 c def i 1 x73_1 >= 0 c def i 1 x73_1 <= 1 c def i 1 x73_2 >= 0 c def i 1 x73_2 <= 1 c def i 1 x73_3 >= 0 c def i 1 x73_3 <= 1 c def i 1 x73_4 >= 0 c def i 1 x73_4 <= 1 c def i 1 x73_5 >= 0 c def i 1 x73_5 <= 1 c def i 1 x73_6 >= 0 c def i 1 x73_6 <= 1 c def i 1 x73_7 >= 0 c def i 1 x73_7 <= 1 c def i 1 x73_8 >= 0 c def i 1 x73_8 <= 1 c def i 1 x73_9 >= 0 c def i 1 x73_9 <= 1 c def i 1 x74_1 >= 0 c def i 1 x74_1 <= 1 c def i 1 x74_2 >= 0 c def i 1 x74_2 <= 1 c def i 1 x74_3 >= 0 c def i 1 x74_3 <= 1 c def i 1 x74_4 >= 0 c def i 1 x74_4 <= 1 c def i 1 x74_5 >= 0 c def i 1 x74_5 <= 1 c def i 1 x74_6 >= 0 c def i 1 x74_6 <= 1 c def i 1 x74_7 >= 0 c def i 1 x74_7 <= 1 c def i 1 x74_8 >= 0 c def i 1 x74_8 <= 1 c def i 1 x74_9 >= 0 c def i 1 x74_9 <= 1 c def i 1 x75_1 >= 0 c def i 1 x75_1 <= 1 c def i 1 x75_2 >= 0 c def i 1 x75_2 <= 1 c def i 1 x75_3 >= 0 c def i 1 x75_3 <= 1 c def i 1 x75_4 >= 0 c def i 1 x75_4 <= 1 c def i 1 x75_5 >= 0 c def i 1 x75_5 <= 1 c def i 1 x75_6 >= 0 c def i 1 x75_6 <= 1 c def i 1 x75_7 >= 0 c def i 1 x75_7 <= 1 c def i 1 x75_8 >= 0 c def i 1 x75_8 <= 1 c def i 1 x75_9 >= 0 c def i 1 x75_9 <= 1 c def i 1 x76_1 >= 0 c def i 1 x76_1 <= 1 c def i 1 x76_2 >= 0 c def i 1 x76_2 <= 1 c def i 1 x76_3 >= 0 c def i 1 x76_3 <= 1 c def i 1 x76_4 >= 0 c def i 1 x76_4 <= 1 c def i 1 x76_5 >= 0 c def i 1 x76_5 <= 1 c def i 1 x76_6 >= 0 c def i 1 x76_6 <= 1 c def i 1 x76_7 >= 0 c def i 1 x76_7 <= 1 c def i 1 x76_8 >= 0 c def i 1 x76_8 <= 1 c def i 1 x76_9 >= 0 c def i 1 x76_9 <= 1 c def i 1 x77_1 >= 0 c def i 1 x77_1 <= 1 c def i 1 x77_2 >= 0 c def i 1 x77_2 <= 1 c def i 1 x77_3 >= 0 c def i 1 x77_3 <= 1 c def i 1 x77_4 >= 0 c def i 1 x77_4 <= 1 c def i 1 x77_5 >= 0 c def i 1 x77_5 <= 1 c def i 1 x77_6 >= 0 c def i 1 x77_6 <= 1 c def i 1 x77_7 >= 0 c def i 1 x77_7 <= 1 c def i 1 x77_8 >= 0 c def i 1 x77_8 <= 1 c def i 1 x77_9 >= 0 c def i 1 x77_9 <= 1 c def i 1 x78_1 >= 0 c def i 1 x78_1 <= 1 c def i 1 x78_2 >= 0 c def i 1 x78_2 <= 1 c def i 1 x78_3 >= 0 c def i 1 x78_3 <= 1 c def i 1 x78_4 >= 0 c def i 1 x78_4 <= 1 c def i 1 x78_5 >= 0 c def i 1 x78_5 <= 1 c def i 1 x78_6 >= 0 c def i 1 x78_6 <= 1 c def i 1 x78_7 >= 0 c def i 1 x78_7 <= 1 c def i 1 x78_8 >= 0 c def i 1 x78_8 <= 1 c def i 1 x78_9 >= 0 c def i 1 x78_9 <= 1 c def i 1 x79_1 >= 0 c def i 1 x79_1 <= 1 c def i 1 x79_2 >= 0 c def i 1 x79_2 <= 1 c def i 1 x79_3 >= 0 c def i 1 x79_3 <= 1 c def i 1 x79_4 >= 0 c def i 1 x79_4 <= 1 c def i 1 x79_5 >= 0 c def i 1 x79_5 <= 1 c def i 1 x79_6 >= 0 c def i 1 x79_6 <= 1 c def i 1 x79_7 >= 0 c def i 1 x79_7 <= 1 c def i 1 x79_8 >= 0 c def i 1 x79_8 <= 1 c def i 1 x79_9 >= 0 c def i 1 x79_9 <= 1 c def i 1 x81_1 >= 0 c def i 1 x81_1 <= 1 c def i 1 x81_2 >= 0 c def i 1 x81_2 <= 1 c def i 1 x81_3 >= 0 c def i 1 x81_3 <= 1 c def i 1 x81_4 >= 0 c def i 1 x81_4 <= 1 c def i 1 x81_5 >= 0 c def i 1 x81_5 <= 1 c def i 1 x81_6 >= 0 c def i 1 x81_6 <= 1 c def i 1 x81_7 >= 0 c def i 1 x81_7 <= 1 c def i 1 x81_8 >= 0 c def i 1 x81_8 <= 1 c def i 1 x81_9 >= 0 c def i 1 x81_9 <= 1 c def i 1 x82_1 >= 0 c def i 1 x82_1 <= 1 c def i 1 x82_2 >= 0 c def i 1 x82_2 <= 1 c def i 1 x82_3 >= 0 c def i 1 x82_3 <= 1 c def i 1 x82_4 >= 0 c def i 1 x82_4 <= 1 c def i 1 x82_5 >= 0 c def i 1 x82_5 <= 1 c def i 1 x82_6 >= 0 c def i 1 x82_6 <= 1 c def i 1 x82_7 >= 0 c def i 1 x82_7 <= 1 c def i 1 x82_8 >= 0 c def i 1 x82_8 <= 1 c def i 1 x82_9 >= 0 c def i 1 x82_9 <= 1 c def i 1 x83_1 >= 0 c def i 1 x83_1 <= 1 c def i 1 x83_2 >= 0 c def i 1 x83_2 <= 1 c def i 1 x83_3 >= 0 c def i 1 x83_3 <= 1 c def i 1 x83_4 >= 0 c def i 1 x83_4 <= 1 c def i 1 x83_5 >= 0 c def i 1 x83_5 <= 1 c def i 1 x83_6 >= 0 c def i 1 x83_6 <= 1 c def i 1 x83_7 >= 0 c def i 1 x83_7 <= 1 c def i 1 x83_8 >= 0 c def i 1 x83_8 <= 1 c def i 1 x83_9 >= 0 c def i 1 x83_9 <= 1 c def i 1 x84_1 >= 0 c def i 1 x84_1 <= 1 c def i 1 x84_2 >= 0 c def i 1 x84_2 <= 1 c def i 1 x84_3 >= 0 c def i 1 x84_3 <= 1 c def i 1 x84_4 >= 0 c def i 1 x84_4 <= 1 c def i 1 x84_5 >= 0 c def i 1 x84_5 <= 1 c def i 1 x84_6 >= 0 c def i 1 x84_6 <= 1 c def i 1 x84_7 >= 0 c def i 1 x84_7 <= 1 c def i 1 x84_8 >= 0 c def i 1 x84_8 <= 1 c def i 1 x84_9 >= 0 c def i 1 x84_9 <= 1 c def i 1 x85_1 >= 0 c def i 1 x85_1 <= 1 c def i 1 x85_2 >= 0 c def i 1 x85_2 <= 1 c def i 1 x85_3 >= 0 c def i 1 x85_3 <= 1 c def i 1 x85_4 >= 0 c def i 1 x85_4 <= 1 c def i 1 x85_5 >= 0 c def i 1 x85_5 <= 1 c def i 1 x85_6 >= 0 c def i 1 x85_6 <= 1 c def i 1 x85_7 >= 0 c def i 1 x85_7 <= 1 c def i 1 x85_8 >= 0 c def i 1 x85_8 <= 1 c def i 1 x85_9 >= 0 c def i 1 x85_9 <= 1 c def i 1 x86_1 >= 0 c def i 1 x86_1 <= 1 c def i 1 x86_2 >= 0 c def i 1 x86_2 <= 1 c def i 1 x86_3 >= 0 c def i 1 x86_3 <= 1 c def i 1 x86_4 >= 0 c def i 1 x86_4 <= 1 c def i 1 x86_5 >= 0 c def i 1 x86_5 <= 1 c def i 1 x86_6 >= 0 c def i 1 x86_6 <= 1 c def i 1 x86_7 >= 0 c def i 1 x86_7 <= 1 c def i 1 x86_8 >= 0 c def i 1 x86_8 <= 1 c def i 1 x86_9 >= 0 c def i 1 x86_9 <= 1 c def i 1 x87_1 >= 0 c def i 1 x87_1 <= 1 c def i 1 x87_2 >= 0 c def i 1 x87_2 <= 1 c def i 1 x87_3 >= 0 c def i 1 x87_3 <= 1 c def i 1 x87_4 >= 0 c def i 1 x87_4 <= 1 c def i 1 x87_5 >= 0 c def i 1 x87_5 <= 1 c def i 1 x87_6 >= 0 c def i 1 x87_6 <= 1 c def i 1 x87_7 >= 0 c def i 1 x87_7 <= 1 c def i 1 x87_8 >= 0 c def i 1 x87_8 <= 1 c def i 1 x87_9 >= 0 c def i 1 x87_9 <= 1 c def i 1 x88_1 >= 0 c def i 1 x88_1 <= 1 c def i 1 x88_2 >= 0 c def i 1 x88_2 <= 1 c def i 1 x88_3 >= 0 c def i 1 x88_3 <= 1 c def i 1 x88_4 >= 0 c def i 1 x88_4 <= 1 c def i 1 x88_5 >= 0 c def i 1 x88_5 <= 1 c def i 1 x88_6 >= 0 c def i 1 x88_6 <= 1 c def i 1 x88_7 >= 0 c def i 1 x88_7 <= 1 c def i 1 x88_8 >= 0 c def i 1 x88_8 <= 1 c def i 1 x88_9 >= 0 c def i 1 x88_9 <= 1 c def i 1 x89_1 >= 0 c def i 1 x89_1 <= 1 c def i 1 x89_2 >= 0 c def i 1 x89_2 <= 1 c def i 1 x89_3 >= 0 c def i 1 x89_3 <= 1 c def i 1 x89_4 >= 0 c def i 1 x89_4 <= 1 c def i 1 x89_5 >= 0 c def i 1 x89_5 <= 1 c def i 1 x89_6 >= 0 c def i 1 x89_6 <= 1 c def i 1 x89_7 >= 0 c def i 1 x89_7 <= 1 c def i 1 x89_8 >= 0 c def i 1 x89_8 <= 1 c def i 1 x89_9 >= 0 c def i 1 x89_9 <= 1 c def i 1 x91_1 >= 0 c def i 1 x91_1 <= 1 c def i 1 x91_2 >= 0 c def i 1 x91_2 <= 1 c def i 1 x91_3 >= 0 c def i 1 x91_3 <= 1 c def i 1 x91_4 >= 0 c def i 1 x91_4 <= 1 c def i 1 x91_5 >= 0 c def i 1 x91_5 <= 1 c def i 1 x91_6 >= 0 c def i 1 x91_6 <= 1 c def i 1 x91_7 >= 0 c def i 1 x91_7 <= 1 c def i 1 x91_8 >= 0 c def i 1 x91_8 <= 1 c def i 1 x91_9 >= 0 c def i 1 x91_9 <= 1 c def i 1 x92_1 >= 0 c def i 1 x92_1 <= 1 c def i 1 x92_2 >= 0 c def i 1 x92_2 <= 1 c def i 1 x92_3 >= 0 c def i 1 x92_3 <= 1 c def i 1 x92_4 >= 0 c def i 1 x92_4 <= 1 c def i 1 x92_5 >= 0 c def i 1 x92_5 <= 1 c def i 1 x92_6 >= 0 c def i 1 x92_6 <= 1 c def i 1 x92_7 >= 0 c def i 1 x92_7 <= 1 c def i 1 x92_8 >= 0 c def i 1 x92_8 <= 1 c def i 1 x92_9 >= 0 c def i 1 x92_9 <= 1 c def i 1 x93_1 >= 0 c def i 1 x93_1 <= 1 c def i 1 x93_2 >= 0 c def i 1 x93_2 <= 1 c def i 1 x93_3 >= 0 c def i 1 x93_3 <= 1 c def i 1 x93_4 >= 0 c def i 1 x93_4 <= 1 c def i 1 x93_5 >= 0 c def i 1 x93_5 <= 1 c def i 1 x93_6 >= 0 c def i 1 x93_6 <= 1 c def i 1 x93_7 >= 0 c def i 1 x93_7 <= 1 c def i 1 x93_8 >= 0 c def i 1 x93_8 <= 1 c def i 1 x93_9 >= 0 c def i 1 x93_9 <= 1 c def i 1 x94_1 >= 0 c def i 1 x94_1 <= 1 c def i 1 x94_2 >= 0 c def i 1 x94_2 <= 1 c def i 1 x94_3 >= 0 c def i 1 x94_3 <= 1 c def i 1 x94_4 >= 0 c def i 1 x94_4 <= 1 c def i 1 x94_5 >= 0 c def i 1 x94_5 <= 1 c def i 1 x94_6 >= 0 c def i 1 x94_6 <= 1 c def i 1 x94_7 >= 0 c def i 1 x94_7 <= 1 c def i 1 x94_8 >= 0 c def i 1 x94_8 <= 1 c def i 1 x94_9 >= 0 c def i 1 x94_9 <= 1 c def i 1 x95_1 >= 0 c def i 1 x95_1 <= 1 c def i 1 x95_2 >= 0 c def i 1 x95_2 <= 1 c def i 1 x95_3 >= 0 c def i 1 x95_3 <= 1 c def i 1 x95_4 >= 0 c def i 1 x95_4 <= 1 c def i 1 x95_5 >= 0 c def i 1 x95_5 <= 1 c def i 1 x95_6 >= 0 c def i 1 x95_6 <= 1 c def i 1 x95_7 >= 0 c def i 1 x95_7 <= 1 c def i 1 x95_8 >= 0 c def i 1 x95_8 <= 1 c def i 1 x95_9 >= 0 c def i 1 x95_9 <= 1 c def i 1 x96_1 >= 0 c def i 1 x96_1 <= 1 c def i 1 x96_2 >= 0 c def i 1 x96_2 <= 1 c def i 1 x96_3 >= 0 c def i 1 x96_3 <= 1 c def i 1 x96_4 >= 0 c def i 1 x96_4 <= 1 c def i 1 x96_5 >= 0 c def i 1 x96_5 <= 1 c def i 1 x96_6 >= 0 c def i 1 x96_6 <= 1 c def i 1 x96_7 >= 0 c def i 1 x96_7 <= 1 c def i 1 x96_8 >= 0 c def i 1 x96_8 <= 1 c def i 1 x96_9 >= 0 c def i 1 x96_9 <= 1 c def i 1 x97_1 >= 0 c def i 1 x97_1 <= 1 c def i 1 x97_2 >= 0 c def i 1 x97_2 <= 1 c def i 1 x97_3 >= 0 c def i 1 x97_3 <= 1 c def i 1 x97_4 >= 0 c def i 1 x97_4 <= 1 c def i 1 x97_5 >= 0 c def i 1 x97_5 <= 1 c def i 1 x97_6 >= 0 c def i 1 x97_6 <= 1 c def i 1 x97_7 >= 0 c def i 1 x97_7 <= 1 c def i 1 x97_8 >= 0 c def i 1 x97_8 <= 1 c def i 1 x97_9 >= 0 c def i 1 x97_9 <= 1 c def i 1 x98_1 >= 0 c def i 1 x98_1 <= 1 c def i 1 x98_2 >= 0 c def i 1 x98_2 <= 1 c def i 1 x98_3 >= 0 c def i 1 x98_3 <= 1 c def i 1 x98_4 >= 0 c def i 1 x98_4 <= 1 c def i 1 x98_5 >= 0 c def i 1 x98_5 <= 1 c def i 1 x98_6 >= 0 c def i 1 x98_6 <= 1 c def i 1 x98_7 >= 0 c def i 1 x98_7 <= 1 c def i 1 x98_8 >= 0 c def i 1 x98_8 <= 1 c def i 1 x98_9 >= 0 c def i 1 x98_9 <= 1 c def i 1 x99_1 >= 0 c def i 1 x99_1 <= 1 c def i 1 x99_2 >= 0 c def i 1 x99_2 <= 1 c def i 1 x99_3 >= 0 c def i 1 x99_3 <= 1 c def i 1 x99_4 >= 0 c def i 1 x99_4 <= 1 c def i 1 x99_5 >= 0 c def i 1 x99_5 <= 1 c def i 1 x99_6 >= 0 c def i 1 x99_6 <= 1 c def i 1 x99_7 >= 0 c def i 1 x99_7 <= 1 c def i 1 x99_8 >= 0 c def i 1 x99_8 <= 1 c def i 1 x99_9 >= 0 c def i 1 x99_9 <= 1 c def i 1 x11_1 + x12_1 + x13_1 + x14_1 + x15_1 + x16_1 + x17_1 + x18_1 + x19_1 = 1 c def i 1 x21_1 + x22_1 + x23_1 + x24_1 + x25_1 + x26_1 + x27_1 + x28_1 + x29_1 = 1 c def i 1 x31_1 + x32_1 + x33_1 + x34_1 + x35_1 + x36_1 + x37_1 + x38_1 + x39_1 = 1 c def i 1 x41_1 + x42_1 + x43_1 + x44_1 + x45_1 + x46_1 + x47_1 + x48_1 + x49_1 = 1 c def i 1 x51_1 + x52_1 + x53_1 + x54_1 + x55_1 + x56_1 + x57_1 + x58_1 + x59_1 = 1 c def i 1 x61_1 + x62_1 + x63_1 + x64_1 + x65_1 + x66_1 + x67_1 + x68_1 + x69_1 = 1 c def i 1 x71_1 + x72_1 + x73_1 + x74_1 + x75_1 + x76_1 + x77_1 + x78_1 + x79_1 = 1 c def i 1 x81_1 + x82_1 + x83_1 + x84_1 + x85_1 + x86_1 + x87_1 + x88_1 + x89_1 = 1 c def i 1 x91_1 + x92_1 + x93_1 + x94_1 + x95_1 + x96_1 + x97_1 + x98_1 + x99_1 = 1 c def i 1 x11_2 + x12_2 + x13_2 + x14_2 + x15_2 + x16_2 + x17_2 + x18_2 + x19_2 = 1 c def i 1 x21_2 + x22_2 + x23_2 + x24_2 + x25_2 + x26_2 + x27_2 + x28_2 + x29_2 = 1 c def i 1 x31_2 + x32_2 + x33_2 + x34_2 + x35_2 + x36_2 + x37_2 + x38_2 + x39_2 = 1 c def i 1 x41_2 + x42_2 + x43_2 + x44_2 + x45_2 + x46_2 + x47_2 + x48_2 + x49_2 = 1 c def i 1 x51_2 + x52_2 + x53_2 + x54_2 + x55_2 + x56_2 + x57_2 + x58_2 + x59_2 = 1 c def i 1 x61_2 + x62_2 + x63_2 + x64_2 + x65_2 + x66_2 + x67_2 + x68_2 + x69_2 = 1 c def i 1 x71_2 + x72_2 + x73_2 + x74_2 + x75_2 + x76_2 + x77_2 + x78_2 + x79_2 = 1 c def i 1 x81_2 + x82_2 + x83_2 + x84_2 + x85_2 + x86_2 + x87_2 + x88_2 + x89_2 = 1 c def i 1 x91_2 + x92_2 + x93_2 + x94_2 + x95_2 + x96_2 + x97_2 + x98_2 + x99_2 = 1 c def i 1 x11_3 + x12_3 + x13_3 + x14_3 + x15_3 + x16_3 + x17_3 + x18_3 + x19_3 = 1 c def i 1 x21_3 + x22_3 + x23_3 + x24_3 + x25_3 + x26_3 + x27_3 + x28_3 + x29_3 = 1 c def i 1 x31_3 + x32_3 + x33_3 + x34_3 + x35_3 + x36_3 + x37_3 + x38_3 + x39_3 = 1 c def i 1 x41_3 + x42_3 + x43_3 + x44_3 + x45_3 + x46_3 + x47_3 + x48_3 + x49_3 = 1 c def i 1 x51_3 + x52_3 + x53_3 + x54_3 + x55_3 + x56_3 + x57_3 + x58_3 + x59_3 = 1 c def i 1 x61_3 + x62_3 + x63_3 + x64_3 + x65_3 + x66_3 + x67_3 + x68_3 + x69_3 = 1 c def i 1 x71_3 + x72_3 + x73_3 + x74_3 + x75_3 + x76_3 + x77_3 + x78_3 + x79_3 = 1 c def i 1 x81_3 + x82_3 + x83_3 + x84_3 + x85_3 + x86_3 + x87_3 + x88_3 + x89_3 = 1 c def i 1 x91_3 + x92_3 + x93_3 + x94_3 + x95_3 + x96_3 + x97_3 + x98_3 + x99_3 = 1 c def i 1 x11_4 + x12_4 + x13_4 + x14_4 + x15_4 + x16_4 + x17_4 + x18_4 + x19_4 = 1 c def i 1 x21_4 + x22_4 + x23_4 + x24_4 + x25_4 + x26_4 + x27_4 + x28_4 + x29_4 = 1 c def i 1 x31_4 + x32_4 + x33_4 + x34_4 + x35_4 + x36_4 + x37_4 + x38_4 + x39_4 = 1 c def i 1 x41_4 + x42_4 + x43_4 + x44_4 + x45_4 + x46_4 + x47_4 + x48_4 + x49_4 = 1 c def i 1 x51_4 + x52_4 + x53_4 + x54_4 + x55_4 + x56_4 + x57_4 + x58_4 + x59_4 = 1 c def i 1 x61_4 + x62_4 + x63_4 + x64_4 + x65_4 + x66_4 + x67_4 + x68_4 + x69_4 = 1 c def i 1 x71_4 + x72_4 + x73_4 + x74_4 + x75_4 + x76_4 + x77_4 + x78_4 + x79_4 = 1 c def i 1 x81_4 + x82_4 + x83_4 + x84_4 + x85_4 + x86_4 + x87_4 + x88_4 + x89_4 = 1 c def i 1 x91_4 + x92_4 + x93_4 + x94_4 + x95_4 + x96_4 + x97_4 + x98_4 + x99_4 = 1 c def i 1 x11_5 + x12_5 + x13_5 + x14_5 + x15_5 + x16_5 + x17_5 + x18_5 + x19_5 = 1 c def i 1 x21_5 + x22_5 + x23_5 + x24_5 + x25_5 + x26_5 + x27_5 + x28_5 + x29_5 = 1 c def i 1 x31_5 + x32_5 + x33_5 + x34_5 + x35_5 + x36_5 + x37_5 + x38_5 + x39_5 = 1 c def i 1 x41_5 + x42_5 + x43_5 + x44_5 + x45_5 + x46_5 + x47_5 + x48_5 + x49_5 = 1 c def i 1 x51_5 + x52_5 + x53_5 + x54_5 + x55_5 + x56_5 + x57_5 + x58_5 + x59_5 = 1 c def i 1 x61_5 + x62_5 + x63_5 + x64_5 + x65_5 + x66_5 + x67_5 + x68_5 + x69_5 = 1 c def i 1 x71_5 + x72_5 + x73_5 + x74_5 + x75_5 + x76_5 + x77_5 + x78_5 + x79_5 = 1 c def i 1 x81_5 + x82_5 + x83_5 + x84_5 + x85_5 + x86_5 + x87_5 + x88_5 + x89_5 = 1 c def i 1 x91_5 + x92_5 + x93_5 + x94_5 + x95_5 + x96_5 + x97_5 + x98_5 + x99_5 = 1 c def i 1 x11_6 + x12_6 + x13_6 + x14_6 + x15_6 + x16_6 + x17_6 + x18_6 + x19_6 = 1 c def i 1 x21_6 + x22_6 + x23_6 + x24_6 + x25_6 + x26_6 + x27_6 + x28_6 + x29_6 = 1 c def i 1 x31_6 + x32_6 + x33_6 + x34_6 + x35_6 + x36_6 + x37_6 + x38_6 + x39_6 = 1 c def i 1 x41_6 + x42_6 + x43_6 + x44_6 + x45_6 + x46_6 + x47_6 + x48_6 + x49_6 = 1 c def i 1 x51_6 + x52_6 + x53_6 + x54_6 + x55_6 + x56_6 + x57_6 + x58_6 + x59_6 = 1 c def i 1 x61_6 + x62_6 + x63_6 + x64_6 + x65_6 + x66_6 + x67_6 + x68_6 + x69_6 = 1 c def i 1 x71_6 + x72_6 + x73_6 + x74_6 + x75_6 + x76_6 + x77_6 + x78_6 + x79_6 = 1 c def i 1 x81_6 + x82_6 + x83_6 + x84_6 + x85_6 + x86_6 + x87_6 + x88_6 + x89_6 = 1 c def i 1 x91_6 + x92_6 + x93_6 + x94_6 + x95_6 + x96_6 + x97_6 + x98_6 + x99_6 = 1 c def i 1 x11_7 + x12_7 + x13_7 + x14_7 + x15_7 + x16_7 + x17_7 + x18_7 + x19_7 = 1 c def i 1 x21_7 + x22_7 + x23_7 + x24_7 + x25_7 + x26_7 + x27_7 + x28_7 + x29_7 = 1 c def i 1 x31_7 + x32_7 + x33_7 + x34_7 + x35_7 + x36_7 + x37_7 + x38_7 + x39_7 = 1 c def i 1 x41_7 + x42_7 + x43_7 + x44_7 + x45_7 + x46_7 + x47_7 + x48_7 + x49_7 = 1 c def i 1 x51_7 + x52_7 + x53_7 + x54_7 + x55_7 + x56_7 + x57_7 + x58_7 + x59_7 = 1 c def i 1 x61_7 + x62_7 + x63_7 + x64_7 + x65_7 + x66_7 + x67_7 + x68_7 + x69_7 = 1 c def i 1 x71_7 + x72_7 + x73_7 + x74_7 + x75_7 + x76_7 + x77_7 + x78_7 + x79_7 = 1 c def i 1 x81_7 + x82_7 + x83_7 + x84_7 + x85_7 + x86_7 + x87_7 + x88_7 + x89_7 = 1 c def i 1 x91_7 + x92_7 + x93_7 + x94_7 + x95_7 + x96_7 + x97_7 + x98_7 + x99_7 = 1 c def i 1 x11_8 + x12_8 + x13_8 + x14_8 + x15_8 + x16_8 + x17_8 + x18_8 + x19_8 = 1 c def i 1 x21_8 + x22_8 + x23_8 + x24_8 + x25_8 + x26_8 + x27_8 + x28_8 + x29_8 = 1 c def i 1 x31_8 + x32_8 + x33_8 + x34_8 + x35_8 + x36_8 + x37_8 + x38_8 + x39_8 = 1 c def i 1 x41_8 + x42_8 + x43_8 + x44_8 + x45_8 + x46_8 + x47_8 + x48_8 + x49_8 = 1 c def i 1 x51_8 + x52_8 + x53_8 + x54_8 + x55_8 + x56_8 + x57_8 + x58_8 + x59_8 = 1 c def i 1 x61_8 + x62_8 + x63_8 + x64_8 + x65_8 + x66_8 + x67_8 + x68_8 + x69_8 = 1 c def i 1 x71_8 + x72_8 + x73_8 + x74_8 + x75_8 + x76_8 + x77_8 + x78_8 + x79_8 = 1 c def i 1 x81_8 + x82_8 + x83_8 + x84_8 + x85_8 + x86_8 + x87_8 + x88_8 + x89_8 = 1 c def i 1 x91_8 + x92_8 + x93_8 + x94_8 + x95_8 + x96_8 + x97_8 + x98_8 + x99_8 = 1 c def i 1 x11_9 + x12_9 + x13_9 + x14_9 + x15_9 + x16_9 + x17_9 + x18_9 + x19_9 = 1 c def i 1 x21_9 + x22_9 + x23_9 + x24_9 + x25_9 + x26_9 + x27_9 + x28_9 + x29_9 = 1 c def i 1 x31_9 + x32_9 + x33_9 + x34_9 + x35_9 + x36_9 + x37_9 + x38_9 + x39_9 = 1 c def i 1 x41_9 + x42_9 + x43_9 + x44_9 + x45_9 + x46_9 + x47_9 + x48_9 + x49_9 = 1 c def i 1 x51_9 + x52_9 + x53_9 + x54_9 + x55_9 + x56_9 + x57_9 + x58_9 + x59_9 = 1 c def i 1 x61_9 + x62_9 + x63_9 + x64_9 + x65_9 + x66_9 + x67_9 + x68_9 + x69_9 = 1 c def i 1 x71_9 + x72_9 + x73_9 + x74_9 + x75_9 + x76_9 + x77_9 + x78_9 + x79_9 = 1 c def i 1 x81_9 + x82_9 + x83_9 + x84_9 + x85_9 + x86_9 + x87_9 + x88_9 + x89_9 = 1 c def i 1 x91_9 + x92_9 + x93_9 + x94_9 + x95_9 + x96_9 + x97_9 + x98_9 + x99_9 = 1 c def i 1 x11_1 + x21_1 + x31_1 + x41_1 + x51_1 + x61_1 + x71_1 + x81_1 + x91_1 = 1 c def i 1 x12_1 + x22_1 + x32_1 + x42_1 + x52_1 + x62_1 + x72_1 + x82_1 + x92_1 = 1 c def i 1 x13_1 + x23_1 + x33_1 + x43_1 + x53_1 + x63_1 + x73_1 + x83_1 + x93_1 = 1 c def i 1 x14_1 + x24_1 + x34_1 + x44_1 + x54_1 + x64_1 + x74_1 + x84_1 + x94_1 = 1 c def i 1 x15_1 + x25_1 + x35_1 + x45_1 + x55_1 + x65_1 + x75_1 + x85_1 + x95_1 = 1 c def i 1 x16_1 + x26_1 + x36_1 + x46_1 + x56_1 + x66_1 + x76_1 + x86_1 + x96_1 = 1 c def i 1 x17_1 + x27_1 + x37_1 + x47_1 + x57_1 + x67_1 + x77_1 + x87_1 + x97_1 = 1 c def i 1 x18_1 + x28_1 + x38_1 + x48_1 + x58_1 + x68_1 + x78_1 + x88_1 + x98_1 = 1 c def i 1 x19_1 + x29_1 + x39_1 + x49_1 + x59_1 + x69_1 + x79_1 + x89_1 + x99_1 = 1 c def i 1 x11_2 + x21_2 + x31_2 + x41_2 + x51_2 + x61_2 + x71_2 + x81_2 + x91_2 = 1 c def i 1 x12_2 + x22_2 + x32_2 + x42_2 + x52_2 + x62_2 + x72_2 + x82_2 + x92_2 = 1 c def i 1 x13_2 + x23_2 + x33_2 + x43_2 + x53_2 + x63_2 + x73_2 + x83_2 + x93_2 = 1 c def i 1 x14_2 + x24_2 + x34_2 + x44_2 + x54_2 + x64_2 + x74_2 + x84_2 + x94_2 = 1 c def i 1 x15_2 + x25_2 + x35_2 + x45_2 + x55_2 + x65_2 + x75_2 + x85_2 + x95_2 = 1 c def i 1 x16_2 + x26_2 + x36_2 + x46_2 + x56_2 + x66_2 + x76_2 + x86_2 + x96_2 = 1 c def i 1 x17_2 + x27_2 + x37_2 + x47_2 + x57_2 + x67_2 + x77_2 + x87_2 + x97_2 = 1 c def i 1 x18_2 + x28_2 + x38_2 + x48_2 + x58_2 + x68_2 + x78_2 + x88_2 + x98_2 = 1 c def i 1 x19_2 + x29_2 + x39_2 + x49_2 + x59_2 + x69_2 + x79_2 + x89_2 + x99_2 = 1 c def i 1 x11_3 + x21_3 + x31_3 + x41_3 + x51_3 + x61_3 + x71_3 + x81_3 + x91_3 = 1 c def i 1 x12_3 + x22_3 + x32_3 + x42_3 + x52_3 + x62_3 + x72_3 + x82_3 + x92_3 = 1 c def i 1 x13_3 + x23_3 + x33_3 + x43_3 + x53_3 + x63_3 + x73_3 + x83_3 + x93_3 = 1 c def i 1 x14_3 + x24_3 + x34_3 + x44_3 + x54_3 + x64_3 + x74_3 + x84_3 + x94_3 = 1 c def i 1 x15_3 + x25_3 + x35_3 + x45_3 + x55_3 + x65_3 + x75_3 + x85_3 + x95_3 = 1 c def i 1 x16_3 + x26_3 + x36_3 + x46_3 + x56_3 + x66_3 + x76_3 + x86_3 + x96_3 = 1 c def i 1 x17_3 + x27_3 + x37_3 + x47_3 + x57_3 + x67_3 + x77_3 + x87_3 + x97_3 = 1 c def i 1 x18_3 + x28_3 + x38_3 + x48_3 + x58_3 + x68_3 + x78_3 + x88_3 + x98_3 = 1 c def i 1 x19_3 + x29_3 + x39_3 + x49_3 + x59_3 + x69_3 + x79_3 + x89_3 + x99_3 = 1 c def i 1 x11_4 + x21_4 + x31_4 + x41_4 + x51_4 + x61_4 + x71_4 + x81_4 + x91_4 = 1 c def i 1 x12_4 + x22_4 + x32_4 + x42_4 + x52_4 + x62_4 + x72_4 + x82_4 + x92_4 = 1 c def i 1 x13_4 + x23_4 + x33_4 + x43_4 + x53_4 + x63_4 + x73_4 + x83_4 + x93_4 = 1 c def i 1 x14_4 + x24_4 + x34_4 + x44_4 + x54_4 + x64_4 + x74_4 + x84_4 + x94_4 = 1 c def i 1 x15_4 + x25_4 + x35_4 + x45_4 + x55_4 + x65_4 + x75_4 + x85_4 + x95_4 = 1 c def i 1 x16_4 + x26_4 + x36_4 + x46_4 + x56_4 + x66_4 + x76_4 + x86_4 + x96_4 = 1 c def i 1 x17_4 + x27_4 + x37_4 + x47_4 + x57_4 + x67_4 + x77_4 + x87_4 + x97_4 = 1 c def i 1 x18_4 + x28_4 + x38_4 + x48_4 + x58_4 + x68_4 + x78_4 + x88_4 + x98_4 = 1 c def i 1 x19_4 + x29_4 + x39_4 + x49_4 + x59_4 + x69_4 + x79_4 + x89_4 + x99_4 = 1 c def i 1 x11_5 + x21_5 + x31_5 + x41_5 + x51_5 + x61_5 + x71_5 + x81_5 + x91_5 = 1 c def i 1 x12_5 + x22_5 + x32_5 + x42_5 + x52_5 + x62_5 + x72_5 + x82_5 + x92_5 = 1 c def i 1 x13_5 + x23_5 + x33_5 + x43_5 + x53_5 + x63_5 + x73_5 + x83_5 + x93_5 = 1 c def i 1 x14_5 + x24_5 + x34_5 + x44_5 + x54_5 + x64_5 + x74_5 + x84_5 + x94_5 = 1 c def i 1 x15_5 + x25_5 + x35_5 + x45_5 + x55_5 + x65_5 + x75_5 + x85_5 + x95_5 = 1 c def i 1 x16_5 + x26_5 + x36_5 + x46_5 + x56_5 + x66_5 + x76_5 + x86_5 + x96_5 = 1 c def i 1 x17_5 + x27_5 + x37_5 + x47_5 + x57_5 + x67_5 + x77_5 + x87_5 + x97_5 = 1 c def i 1 x18_5 + x28_5 + x38_5 + x48_5 + x58_5 + x68_5 + x78_5 + x88_5 + x98_5 = 1 c def i 1 x19_5 + x29_5 + x39_5 + x49_5 + x59_5 + x69_5 + x79_5 + x89_5 + x99_5 = 1 c def i 1 x11_6 + x21_6 + x31_6 + x41_6 + x51_6 + x61_6 + x71_6 + x81_6 + x91_6 = 1 c def i 1 x12_6 + x22_6 + x32_6 + x42_6 + x52_6 + x62_6 + x72_6 + x82_6 + x92_6 = 1 c def i 1 x13_6 + x23_6 + x33_6 + x43_6 + x53_6 + x63_6 + x73_6 + x83_6 + x93_6 = 1 c def i 1 x14_6 + x24_6 + x34_6 + x44_6 + x54_6 + x64_6 + x74_6 + x84_6 + x94_6 = 1 c def i 1 x15_6 + x25_6 + x35_6 + x45_6 + x55_6 + x65_6 + x75_6 + x85_6 + x95_6 = 1 c def i 1 x16_6 + x26_6 + x36_6 + x46_6 + x56_6 + x66_6 + x76_6 + x86_6 + x96_6 = 1 c def i 1 x17_6 + x27_6 + x37_6 + x47_6 + x57_6 + x67_6 + x77_6 + x87_6 + x97_6 = 1 c def i 1 x18_6 + x28_6 + x38_6 + x48_6 + x58_6 + x68_6 + x78_6 + x88_6 + x98_6 = 1 c def i 1 x19_6 + x29_6 + x39_6 + x49_6 + x59_6 + x69_6 + x79_6 + x89_6 + x99_6 = 1 c def i 1 x11_7 + x21_7 + x31_7 + x41_7 + x51_7 + x61_7 + x71_7 + x81_7 + x91_7 = 1 c def i 1 x12_7 + x22_7 + x32_7 + x42_7 + x52_7 + x62_7 + x72_7 + x82_7 + x92_7 = 1 c def i 1 x13_7 + x23_7 + x33_7 + x43_7 + x53_7 + x63_7 + x73_7 + x83_7 + x93_7 = 1 c def i 1 x14_7 + x24_7 + x34_7 + x44_7 + x54_7 + x64_7 + x74_7 + x84_7 + x94_7 = 1 c def i 1 x15_7 + x25_7 + x35_7 + x45_7 + x55_7 + x65_7 + x75_7 + x85_7 + x95_7 = 1 c def i 1 x16_7 + x26_7 + x36_7 + x46_7 + x56_7 + x66_7 + x76_7 + x86_7 + x96_7 = 1 c def i 1 x17_7 + x27_7 + x37_7 + x47_7 + x57_7 + x67_7 + x77_7 + x87_7 + x97_7 = 1 c def i 1 x18_7 + x28_7 + x38_7 + x48_7 + x58_7 + x68_7 + x78_7 + x88_7 + x98_7 = 1 c def i 1 x19_7 + x29_7 + x39_7 + x49_7 + x59_7 + x69_7 + x79_7 + x89_7 + x99_7 = 1 c def i 1 x11_8 + x21_8 + x31_8 + x41_8 + x51_8 + x61_8 + x71_8 + x81_8 + x91_8 = 1 c def i 1 x12_8 + x22_8 + x32_8 + x42_8 + x52_8 + x62_8 + x72_8 + x82_8 + x92_8 = 1 c def i 1 x13_8 + x23_8 + x33_8 + x43_8 + x53_8 + x63_8 + x73_8 + x83_8 + x93_8 = 1 c def i 1 x14_8 + x24_8 + x34_8 + x44_8 + x54_8 + x64_8 + x74_8 + x84_8 + x94_8 = 1 c def i 1 x15_8 + x25_8 + x35_8 + x45_8 + x55_8 + x65_8 + x75_8 + x85_8 + x95_8 = 1 c def i 1 x16_8 + x26_8 + x36_8 + x46_8 + x56_8 + x66_8 + x76_8 + x86_8 + x96_8 = 1 c def i 1 x17_8 + x27_8 + x37_8 + x47_8 + x57_8 + x67_8 + x77_8 + x87_8 + x97_8 = 1 c def i 1 x18_8 + x28_8 + x38_8 + x48_8 + x58_8 + x68_8 + x78_8 + x88_8 + x98_8 = 1 c def i 1 x19_8 + x29_8 + x39_8 + x49_8 + x59_8 + x69_8 + x79_8 + x89_8 + x99_8 = 1 c def i 1 x11_9 + x21_9 + x31_9 + x41_9 + x51_9 + x61_9 + x71_9 + x81_9 + x91_9 = 1 c def i 1 x12_9 + x22_9 + x32_9 + x42_9 + x52_9 + x62_9 + x72_9 + x82_9 + x92_9 = 1 c def i 1 x13_9 + x23_9 + x33_9 + x43_9 + x53_9 + x63_9 + x73_9 + x83_9 + x93_9 = 1 c def i 1 x14_9 + x24_9 + x34_9 + x44_9 + x54_9 + x64_9 + x74_9 + x84_9 + x94_9 = 1 c def i 1 x15_9 + x25_9 + x35_9 + x45_9 + x55_9 + x65_9 + x75_9 + x85_9 + x95_9 = 1 c def i 1 x16_9 + x26_9 + x36_9 + x46_9 + x56_9 + x66_9 + x76_9 + x86_9 + x96_9 = 1 c def i 1 x17_9 + x27_9 + x37_9 + x47_9 + x57_9 + x67_9 + x77_9 + x87_9 + x97_9 = 1 c def i 1 x18_9 + x28_9 + x38_9 + x48_9 + x58_9 + x68_9 + x78_9 + x88_9 + x98_9 = 1 c def i 1 x19_9 + x29_9 + x39_9 + x49_9 + x59_9 + x69_9 + x79_9 + x89_9 + x99_9 = 1 c def i 1 x11_1 + x12_1 + x13_1 + x21_1 + x22_1 + x23_1 + x31_1 + x32_1 + x33_1 = 1 c def i 1 x14_1 + x15_1 + x16_1 + x24_1 + x25_1 + x26_1 + x34_1 + x35_1 + x36_1 = 1 c def i 1 x17_1 + x18_1 + x19_1 + x27_1 + x28_1 + x29_1 + x37_1 + x38_1 + x39_1 = 1 c def i 1 x41_1 + x42_1 + x43_1 + x51_1 + x52_1 + x53_1 + x61_1 + x62_1 + x63_1 = 1 c def i 1 x44_1 + x45_1 + x46_1 + x54_1 + x55_1 + x56_1 + x64_1 + x65_1 + x66_1 = 1 c def i 1 x47_1 + x48_1 + x49_1 + x57_1 + x58_1 + x59_1 + x67_1 + x68_1 + x69_1 = 1 c def i 1 x71_1 + x72_1 + x73_1 + x81_1 + x82_1 + x83_1 + x91_1 + x92_1 + x93_1 = 1 c def i 1 x74_1 + x75_1 + x76_1 + x84_1 + x85_1 + x86_1 + x94_1 + x95_1 + x96_1 = 1 c def i 1 x77_1 + x78_1 + x79_1 + x87_1 + x88_1 + x89_1 + x97_1 + x98_1 + x99_1 = 1 c def i 1 x11_2 + x12_2 + x13_2 + x21_2 + x22_2 + x23_2 + x31_2 + x32_2 + x33_2 = 1 c def i 1 x14_2 + x15_2 + x16_2 + x24_2 + x25_2 + x26_2 + x34_2 + x35_2 + x36_2 = 1 c def i 1 x17_2 + x18_2 + x19_2 + x27_2 + x28_2 + x29_2 + x37_2 + x38_2 + x39_2 = 1 c def i 1 x41_2 + x42_2 + x43_2 + x51_2 + x52_2 + x53_2 + x61_2 + x62_2 + x63_2 = 1 c def i 1 x44_2 + x45_2 + x46_2 + x54_2 + x55_2 + x56_2 + x64_2 + x65_2 + x66_2 = 1 c def i 1 x47_2 + x48_2 + x49_2 + x57_2 + x58_2 + x59_2 + x67_2 + x68_2 + x69_2 = 1 c def i 1 x71_2 + x72_2 + x73_2 + x81_2 + x82_2 + x83_2 + x91_2 + x92_2 + x93_2 = 1 c def i 1 x74_2 + x75_2 + x76_2 + x84_2 + x85_2 + x86_2 + x94_2 + x95_2 + x96_2 = 1 c def i 1 x77_2 + x78_2 + x79_2 + x87_2 + x88_2 + x89_2 + x97_2 + x98_2 + x99_2 = 1 c def i 1 x11_3 + x12_3 + x13_3 + x21_3 + x22_3 + x23_3 + x31_3 + x32_3 + x33_3 = 1 c def i 1 x14_3 + x15_3 + x16_3 + x24_3 + x25_3 + x26_3 + x34_3 + x35_3 + x36_3 = 1 c def i 1 x17_3 + x18_3 + x19_3 + x27_3 + x28_3 + x29_3 + x37_3 + x38_3 + x39_3 = 1 c def i 1 x41_3 + x42_3 + x43_3 + x51_3 + x52_3 + x53_3 + x61_3 + x62_3 + x63_3 = 1 c def i 1 x44_3 + x45_3 + x46_3 + x54_3 + x55_3 + x56_3 + x64_3 + x65_3 + x66_3 = 1 c def i 1 x47_3 + x48_3 + x49_3 + x57_3 + x58_3 + x59_3 + x67_3 + x68_3 + x69_3 = 1 c def i 1 x71_3 + x72_3 + x73_3 + x81_3 + x82_3 + x83_3 + x91_3 + x92_3 + x93_3 = 1 c def i 1 x74_3 + x75_3 + x76_3 + x84_3 + x85_3 + x86_3 + x94_3 + x95_3 + x96_3 = 1 c def i 1 x77_3 + x78_3 + x79_3 + x87_3 + x88_3 + x89_3 + x97_3 + x98_3 + x99_3 = 1 c def i 1 x11_4 + x12_4 + x13_4 + x21_4 + x22_4 + x23_4 + x31_4 + x32_4 + x33_4 = 1 c def i 1 x14_4 + x15_4 + x16_4 + x24_4 + x25_4 + x26_4 + x34_4 + x35_4 + x36_4 = 1 c def i 1 x17_4 + x18_4 + x19_4 + x27_4 + x28_4 + x29_4 + x37_4 + x38_4 + x39_4 = 1 c def i 1 x41_4 + x42_4 + x43_4 + x51_4 + x52_4 + x53_4 + x61_4 + x62_4 + x63_4 = 1 c def i 1 x44_4 + x45_4 + x46_4 + x54_4 + x55_4 + x56_4 + x64_4 + x65_4 + x66_4 = 1 c def i 1 x47_4 + x48_4 + x49_4 + x57_4 + x58_4 + x59_4 + x67_4 + x68_4 + x69_4 = 1 c def i 1 x71_4 + x72_4 + x73_4 + x81_4 + x82_4 + x83_4 + x91_4 + x92_4 + x93_4 = 1 c def i 1 x74_4 + x75_4 + x76_4 + x84_4 + x85_4 + x86_4 + x94_4 + x95_4 + x96_4 = 1 c def i 1 x77_4 + x78_4 + x79_4 + x87_4 + x88_4 + x89_4 + x97_4 + x98_4 + x99_4 = 1 c def i 1 x11_5 + x12_5 + x13_5 + x21_5 + x22_5 + x23_5 + x31_5 + x32_5 + x33_5 = 1 c def i 1 x14_5 + x15_5 + x16_5 + x24_5 + x25_5 + x26_5 + x34_5 + x35_5 + x36_5 = 1 c def i 1 x17_5 + x18_5 + x19_5 + x27_5 + x28_5 + x29_5 + x37_5 + x38_5 + x39_5 = 1 c def i 1 x41_5 + x42_5 + x43_5 + x51_5 + x52_5 + x53_5 + x61_5 + x62_5 + x63_5 = 1 c def i 1 x44_5 + x45_5 + x46_5 + x54_5 + x55_5 + x56_5 + x64_5 + x65_5 + x66_5 = 1 c def i 1 x47_5 + x48_5 + x49_5 + x57_5 + x58_5 + x59_5 + x67_5 + x68_5 + x69_5 = 1 c def i 1 x71_5 + x72_5 + x73_5 + x81_5 + x82_5 + x83_5 + x91_5 + x92_5 + x93_5 = 1 c def i 1 x74_5 + x75_5 + x76_5 + x84_5 + x85_5 + x86_5 + x94_5 + x95_5 + x96_5 = 1 c def i 1 x77_5 + x78_5 + x79_5 + x87_5 + x88_5 + x89_5 + x97_5 + x98_5 + x99_5 = 1 c def i 1 x11_6 + x12_6 + x13_6 + x21_6 + x22_6 + x23_6 + x31_6 + x32_6 + x33_6 = 1 c def i 1 x14_6 + x15_6 + x16_6 + x24_6 + x25_6 + x26_6 + x34_6 + x35_6 + x36_6 = 1 c def i 1 x17_6 + x18_6 + x19_6 + x27_6 + x28_6 + x29_6 + x37_6 + x38_6 + x39_6 = 1 c def i 1 x41_6 + x42_6 + x43_6 + x51_6 + x52_6 + x53_6 + x61_6 + x62_6 + x63_6 = 1 c def i 1 x44_6 + x45_6 + x46_6 + x54_6 + x55_6 + x56_6 + x64_6 + x65_6 + x66_6 = 1 c def i 1 x47_6 + x48_6 + x49_6 + x57_6 + x58_6 + x59_6 + x67_6 + x68_6 + x69_6 = 1 c def i 1 x71_6 + x72_6 + x73_6 + x81_6 + x82_6 + x83_6 + x91_6 + x92_6 + x93_6 = 1 c def i 1 x74_6 + x75_6 + x76_6 + x84_6 + x85_6 + x86_6 + x94_6 + x95_6 + x96_6 = 1 c def i 1 x77_6 + x78_6 + x79_6 + x87_6 + x88_6 + x89_6 + x97_6 + x98_6 + x99_6 = 1 c def i 1 x11_7 + x12_7 + x13_7 + x21_7 + x22_7 + x23_7 + x31_7 + x32_7 + x33_7 = 1 c def i 1 x14_7 + x15_7 + x16_7 + x24_7 + x25_7 + x26_7 + x34_7 + x35_7 + x36_7 = 1 c def i 1 x17_7 + x18_7 + x19_7 + x27_7 + x28_7 + x29_7 + x37_7 + x38_7 + x39_7 = 1 c def i 1 x41_7 + x42_7 + x43_7 + x51_7 + x52_7 + x53_7 + x61_7 + x62_7 + x63_7 = 1 c def i 1 x44_7 + x45_7 + x46_7 + x54_7 + x55_7 + x56_7 + x64_7 + x65_7 + x66_7 = 1 c def i 1 x47_7 + x48_7 + x49_7 + x57_7 + x58_7 + x59_7 + x67_7 + x68_7 + x69_7 = 1 c def i 1 x71_7 + x72_7 + x73_7 + x81_7 + x82_7 + x83_7 + x91_7 + x92_7 + x93_7 = 1 c def i 1 x74_7 + x75_7 + x76_7 + x84_7 + x85_7 + x86_7 + x94_7 + x95_7 + x96_7 = 1 c def i 1 x77_7 + x78_7 + x79_7 + x87_7 + x88_7 + x89_7 + x97_7 + x98_7 + x99_7 = 1 c def i 1 x11_8 + x12_8 + x13_8 + x21_8 + x22_8 + x23_8 + x31_8 + x32_8 + x33_8 = 1 c def i 1 x14_8 + x15_8 + x16_8 + x24_8 + x25_8 + x26_8 + x34_8 + x35_8 + x36_8 = 1 c def i 1 x17_8 + x18_8 + x19_8 + x27_8 + x28_8 + x29_8 + x37_8 + x38_8 + x39_8 = 1 c def i 1 x41_8 + x42_8 + x43_8 + x51_8 + x52_8 + x53_8 + x61_8 + x62_8 + x63_8 = 1 c def i 1 x44_8 + x45_8 + x46_8 + x54_8 + x55_8 + x56_8 + x64_8 + x65_8 + x66_8 = 1 c def i 1 x47_8 + x48_8 + x49_8 + x57_8 + x58_8 + x59_8 + x67_8 + x68_8 + x69_8 = 1 c def i 1 x71_8 + x72_8 + x73_8 + x81_8 + x82_8 + x83_8 + x91_8 + x92_8 + x93_8 = 1 c def i 1 x74_8 + x75_8 + x76_8 + x84_8 + x85_8 + x86_8 + x94_8 + x95_8 + x96_8 = 1 c def i 1 x77_8 + x78_8 + x79_8 + x87_8 + x88_8 + x89_8 + x97_8 + x98_8 + x99_8 = 1 c def i 1 x11_9 + x12_9 + x13_9 + x21_9 + x22_9 + x23_9 + x31_9 + x32_9 + x33_9 = 1 c def i 1 x14_9 + x15_9 + x16_9 + x24_9 + x25_9 + x26_9 + x34_9 + x35_9 + x36_9 = 1 c def i 1 x17_9 + x18_9 + x19_9 + x27_9 + x28_9 + x29_9 + x37_9 + x38_9 + x39_9 = 1 c def i 1 x41_9 + x42_9 + x43_9 + x51_9 + x52_9 + x53_9 + x61_9 + x62_9 + x63_9 = 1 c def i 1 x44_9 + x45_9 + x46_9 + x54_9 + x55_9 + x56_9 + x64_9 + x65_9 + x66_9 = 1 c def i 1 x47_9 + x48_9 + x49_9 + x57_9 + x58_9 + x59_9 + x67_9 + x68_9 + x69_9 = 1 c def i 1 x71_9 + x72_9 + x73_9 + x81_9 + x82_9 + x83_9 + x91_9 + x92_9 + x93_9 = 1 c def i 1 x74_9 + x75_9 + x76_9 + x84_9 + x85_9 + x86_9 + x94_9 + x95_9 + x96_9 = 1 c def i 1 x77_9 + x78_9 + x79_9 + x87_9 + x88_9 + x89_9 + x97_9 + x98_9 + x99_9 = 1 c def i 1 x11_1 + x11_2 + x11_3 + x11_4 + x11_5 + x11_6 + x11_7 + x11_8 + x11_9 = 1 c def i 1 x12_1 + x12_2 + x12_3 + x12_4 + x12_5 + x12_6 + x12_7 + x12_8 + x12_9 = 1 c def i 1 x13_1 + x13_2 + x13_3 + x13_4 + x13_5 + x13_6 + x13_7 + x13_8 + x13_9 = 1 c def i 1 x14_1 + x14_2 + x14_3 + x14_4 + x14_5 + x14_6 + x14_7 + x14_8 + x14_9 = 1 c def i 1 x15_1 + x15_2 + x15_3 + x15_4 + x15_5 + x15_6 + x15_7 + x15_8 + x15_9 = 1 c def i 1 x16_1 + x16_2 + x16_3 + x16_4 + x16_5 + x16_6 + x16_7 + x16_8 + x16_9 = 1 c def i 1 x17_1 + x17_2 + x17_3 + x17_4 + x17_5 + x17_6 + x17_7 + x17_8 + x17_9 = 1 c def i 1 x18_1 + x18_2 + x18_3 + x18_4 + x18_5 + x18_6 + x18_7 + x18_8 + x18_9 = 1 c def i 1 x19_1 + x19_2 + x19_3 + x19_4 + x19_5 + x19_6 + x19_7 + x19_8 + x19_9 = 1 c def i 1 x21_1 + x21_2 + x21_3 + x21_4 + x21_5 + x21_6 + x21_7 + x21_8 + x21_9 = 1 c def i 1 x22_1 + x22_2 + x22_3 + x22_4 + x22_5 + x22_6 + x22_7 + x22_8 + x22_9 = 1 c def i 1 x23_1 + x23_2 + x23_3 + x23_4 + x23_5 + x23_6 + x23_7 + x23_8 + x23_9 = 1 c def i 1 x24_1 + x24_2 + x24_3 + x24_4 + x24_5 + x24_6 + x24_7 + x24_8 + x24_9 = 1 c def i 1 x25_1 + x25_2 + x25_3 + x25_4 + x25_5 + x25_6 + x25_7 + x25_8 + x25_9 = 1 c def i 1 x26_1 + x26_2 + x26_3 + x26_4 + x26_5 + x26_6 + x26_7 + x26_8 + x26_9 = 1 c def i 1 x27_1 + x27_2 + x27_3 + x27_4 + x27_5 + x27_6 + x27_7 + x27_8 + x27_9 = 1 c def i 1 x28_1 + x28_2 + x28_3 + x28_4 + x28_5 + x28_6 + x28_7 + x28_8 + x28_9 = 1 c def i 1 x29_1 + x29_2 + x29_3 + x29_4 + x29_5 + x29_6 + x29_7 + x29_8 + x29_9 = 1 c def i 1 x31_1 + x31_2 + x31_3 + x31_4 + x31_5 + x31_6 + x31_7 + x31_8 + x31_9 = 1 c def i 1 x32_1 + x32_2 + x32_3 + x32_4 + x32_5 + x32_6 + x32_7 + x32_8 + x32_9 = 1 c def i 1 x33_1 + x33_2 + x33_3 + x33_4 + x33_5 + x33_6 + x33_7 + x33_8 + x33_9 = 1 c def i 1 x34_1 + x34_2 + x34_3 + x34_4 + x34_5 + x34_6 + x34_7 + x34_8 + x34_9 = 1 c def i 1 x35_1 + x35_2 + x35_3 + x35_4 + x35_5 + x35_6 + x35_7 + x35_8 + x35_9 = 1 c def i 1 x36_1 + x36_2 + x36_3 + x36_4 + x36_5 + x36_6 + x36_7 + x36_8 + x36_9 = 1 c def i 1 x37_1 + x37_2 + x37_3 + x37_4 + x37_5 + x37_6 + x37_7 + x37_8 + x37_9 = 1 c def i 1 x38_1 + x38_2 + x38_3 + x38_4 + x38_5 + x38_6 + x38_7 + x38_8 + x38_9 = 1 c def i 1 x39_1 + x39_2 + x39_3 + x39_4 + x39_5 + x39_6 + x39_7 + x39_8 + x39_9 = 1 c def i 1 x41_1 + x41_2 + x41_3 + x41_4 + x41_5 + x41_6 + x41_7 + x41_8 + x41_9 = 1 c def i 1 x42_1 + x42_2 + x42_3 + x42_4 + x42_5 + x42_6 + x42_7 + x42_8 + x42_9 = 1 c def i 1 x43_1 + x43_2 + x43_3 + x43_4 + x43_5 + x43_6 + x43_7 + x43_8 + x43_9 = 1 c def i 1 x44_1 + x44_2 + x44_3 + x44_4 + x44_5 + x44_6 + x44_7 + x44_8 + x44_9 = 1 c def i 1 x45_1 + x45_2 + x45_3 + x45_4 + x45_5 + x45_6 + x45_7 + x45_8 + x45_9 = 1 c def i 1 x46_1 + x46_2 + x46_3 + x46_4 + x46_5 + x46_6 + x46_7 + x46_8 + x46_9 = 1 c def i 1 x47_1 + x47_2 + x47_3 + x47_4 + x47_5 + x47_6 + x47_7 + x47_8 + x47_9 = 1 c def i 1 x48_1 + x48_2 + x48_3 + x48_4 + x48_5 + x48_6 + x48_7 + x48_8 + x48_9 = 1 c def i 1 x49_1 + x49_2 + x49_3 + x49_4 + x49_5 + x49_6 + x49_7 + x49_8 + x49_9 = 1 c def i 1 x51_1 + x51_2 + x51_3 + x51_4 + x51_5 + x51_6 + x51_7 + x51_8 + x51_9 = 1 c def i 1 x52_1 + x52_2 + x52_3 + x52_4 + x52_5 + x52_6 + x52_7 + x52_8 + x52_9 = 1 c def i 1 x53_1 + x53_2 + x53_3 + x53_4 + x53_5 + x53_6 + x53_7 + x53_8 + x53_9 = 1 c def i 1 x54_1 + x54_2 + x54_3 + x54_4 + x54_5 + x54_6 + x54_7 + x54_8 + x54_9 = 1 c def i 1 x55_1 + x55_2 + x55_3 + x55_4 + x55_5 + x55_6 + x55_7 + x55_8 + x55_9 = 1 c def i 1 x56_1 + x56_2 + x56_3 + x56_4 + x56_5 + x56_6 + x56_7 + x56_8 + x56_9 = 1 c def i 1 x57_1 + x57_2 + x57_3 + x57_4 + x57_5 + x57_6 + x57_7 + x57_8 + x57_9 = 1 c def i 1 x58_1 + x58_2 + x58_3 + x58_4 + x58_5 + x58_6 + x58_7 + x58_8 + x58_9 = 1 c def i 1 x59_1 + x59_2 + x59_3 + x59_4 + x59_5 + x59_6 + x59_7 + x59_8 + x59_9 = 1 c def i 1 x61_1 + x61_2 + x61_3 + x61_4 + x61_5 + x61_6 + x61_7 + x61_8 + x61_9 = 1 c def i 1 x62_1 + x62_2 + x62_3 + x62_4 + x62_5 + x62_6 + x62_7 + x62_8 + x62_9 = 1 c def i 1 x63_1 + x63_2 + x63_3 + x63_4 + x63_5 + x63_6 + x63_7 + x63_8 + x63_9 = 1 c def i 1 x64_1 + x64_2 + x64_3 + x64_4 + x64_5 + x64_6 + x64_7 + x64_8 + x64_9 = 1 c def i 1 x65_1 + x65_2 + x65_3 + x65_4 + x65_5 + x65_6 + x65_7 + x65_8 + x65_9 = 1 c def i 1 x66_1 + x66_2 + x66_3 + x66_4 + x66_5 + x66_6 + x66_7 + x66_8 + x66_9 = 1 c def i 1 x67_1 + x67_2 + x67_3 + x67_4 + x67_5 + x67_6 + x67_7 + x67_8 + x67_9 = 1 c def i 1 x68_1 + x68_2 + x68_3 + x68_4 + x68_5 + x68_6 + x68_7 + x68_8 + x68_9 = 1 c def i 1 x69_1 + x69_2 + x69_3 + x69_4 + x69_5 + x69_6 + x69_7 + x69_8 + x69_9 = 1 c def i 1 x71_1 + x71_2 + x71_3 + x71_4 + x71_5 + x71_6 + x71_7 + x71_8 + x71_9 = 1 c def i 1 x72_1 + x72_2 + x72_3 + x72_4 + x72_5 + x72_6 + x72_7 + x72_8 + x72_9 = 1 c def i 1 x73_1 + x73_2 + x73_3 + x73_4 + x73_5 + x73_6 + x73_7 + x73_8 + x73_9 = 1 c def i 1 x74_1 + x74_2 + x74_3 + x74_4 + x74_5 + x74_6 + x74_7 + x74_8 + x74_9 = 1 c def i 1 x75_1 + x75_2 + x75_3 + x75_4 + x75_5 + x75_6 + x75_7 + x75_8 + x75_9 = 1 c def i 1 x76_1 + x76_2 + x76_3 + x76_4 + x76_5 + x76_6 + x76_7 + x76_8 + x76_9 = 1 c def i 1 x77_1 + x77_2 + x77_3 + x77_4 + x77_5 + x77_6 + x77_7 + x77_8 + x77_9 = 1 c def i 1 x78_1 + x78_2 + x78_3 + x78_4 + x78_5 + x78_6 + x78_7 + x78_8 + x78_9 = 1 c def i 1 x79_1 + x79_2 + x79_3 + x79_4 + x79_5 + x79_6 + x79_7 + x79_8 + x79_9 = 1 c def i 1 x81_1 + x81_2 + x81_3 + x81_4 + x81_5 + x81_6 + x81_7 + x81_8 + x81_9 = 1 c def i 1 x82_1 + x82_2 + x82_3 + x82_4 + x82_5 + x82_6 + x82_7 + x82_8 + x82_9 = 1 c def i 1 x83_1 + x83_2 + x83_3 + x83_4 + x83_5 + x83_6 + x83_7 + x83_8 + x83_9 = 1 c def i 1 x84_1 + x84_2 + x84_3 + x84_4 + x84_5 + x84_6 + x84_7 + x84_8 + x84_9 = 1 c def i 1 x85_1 + x85_2 + x85_3 + x85_4 + x85_5 + x85_6 + x85_7 + x85_8 + x85_9 = 1 c def i 1 x86_1 + x86_2 + x86_3 + x86_4 + x86_5 + x86_6 + x86_7 + x86_8 + x86_9 = 1 c def i 1 x87_1 + x87_2 + x87_3 + x87_4 + x87_5 + x87_6 + x87_7 + x87_8 + x87_9 = 1 c def i 1 x88_1 + x88_2 + x88_3 + x88_4 + x88_5 + x88_6 + x88_7 + x88_8 + x88_9 = 1 c def i 1 x89_1 + x89_2 + x89_3 + x89_4 + x89_5 + x89_6 + x89_7 + x89_8 + x89_9 = 1 c def i 1 x91_1 + x91_2 + x91_3 + x91_4 + x91_5 + x91_6 + x91_7 + x91_8 + x91_9 = 1 c def i 1 x92_1 + x92_2 + x92_3 + x92_4 + x92_5 + x92_6 + x92_7 + x92_8 + x92_9 = 1 c def i 1 x93_1 + x93_2 + x93_3 + x93_4 + x93_5 + x93_6 + x93_7 + x93_8 + x93_9 = 1 c def i 1 x94_1 + x94_2 + x94_3 + x94_4 + x94_5 + x94_6 + x94_7 + x94_8 + x94_9 = 1 c def i 1 x95_1 + x95_2 + x95_3 + x95_4 + x95_5 + x95_6 + x95_7 + x95_8 + x95_9 = 1 c def i 1 x96_1 + x96_2 + x96_3 + x96_4 + x96_5 + x96_6 + x96_7 + x96_8 + x96_9 = 1 c def i 1 x97_1 + x97_2 + x97_3 + x97_4 + x97_5 + x97_6 + x97_7 + x97_8 + x97_9 = 1 c def i 1 x98_1 + x98_2 + x98_3 + x98_4 + x98_5 + x98_6 + x98_7 + x98_8 + x98_9 = 1 c def i 1 x99_1 + x99_2 + x99_3 + x99_4 + x99_5 + x99_6 + x99_7 + x99_8 + x99_9 = 1 c def i 1 x13_1 = 1 c def i 1 x14_7 = 1 c def i 1 x16_8 = 1 c def i 1 x17_2 = 1 c def i 1 x21_8 = 1 c def i 1 x22_9 = 1 c def i 1 x25_6 = 1 c def i 1 x28_7 = 1 c def i 1 x29_3 = 1 c def i 1 x32_4 = 1 c def i 1 x33_5 = 1 c def i 1 x34_2 = 1 c def i 1 x37_6 = 1 c def i 1 x38_8 = 1 c def i 1 x41_5 = 1 c def i 1 x44_9 = 1 c def i 1 x45_8 = 1 c def i 1 x51_4 = 1 c def i 1 x52_1 = 1 c def i 1 x58_3 = 1 c def i 1 x59_6 = 1 c def i 1 x79_2 = 1 c def i 1 x82_2 = 1 c def i 1 x83_6 = 1 c def i 1 x84_4 = 1 c def i 1 x85_5 = 1 c def i 1 x89_8 = 1 c def i 1 x91_3 = 1 c def i 1 x92_7 = 1 c def i 1 x96_2 = 1