p cnf 262 751 -242 260 0 242 259 0 -239 258 0 239 257 0 -237 256 0 237 255 0 -235 254 0 235 253 0 -233 251 0 233 250 0 -231 249 0 231 248 0 -219 241 0 219 230 0 219 -226 -228 -252 0 -219 226 -228 -252 0 -219 -226 228 -252 0 -219 -226 -228 252 0 -228 247 0 228 246 0 -226 261 0 226 243 0 -225 245 0 225 244 0 219 0 -203 205 0 203 204 0 200 -203 -226 -242 0 -200 203 -226 -242 0 -200 -203 226 -242 0 -200 -203 -226 242 0 -200 202 0 200 201 0 200 0 -186 208 0 186 197 0 -196 199 0 196 198 0 193 -196 -226 -239 0 -193 196 -226 -239 0 -193 -196 226 -239 0 -193 -196 -226 239 0 -193 195 0 193 194 0 193 0 -190 192 0 190 191 0 187 -190 -226 -237 0 -187 190 -226 -237 0 -187 -190 226 -237 0 -187 -190 -226 237 0 -187 189 0 187 188 0 187 0 -183 185 0 183 184 0 180 -183 -226 -235 0 -180 183 -226 -235 0 -180 -183 226 -235 0 -180 -183 -226 235 0 -180 182 0 180 181 0 180 0 -177 179 0 177 178 0 173 -177 -226 -233 0 -173 177 -226 -233 0 -173 -177 226 -233 0 -173 -177 -226 233 0 -173 176 0 173 174 0 173 0 -170 172 0 170 171 0 164 -170 -226 -231 0 -164 170 -226 -231 0 -164 -170 226 -231 0 -164 -170 -226 231 0 -164 169 0 164 168 0 167 0 166 0 165 0 164 0 153 -252 0 163 0 162 0 161 0 160 0 159 0 157 158 -242 261 0 155 156 -239 261 0 142 252 0 152 154 -237 261 0 150 151 -235 261 0 148 149 -233 261 0 146 147 -231 261 0 144 145 -228 261 0 143 -225 261 262 0 140 -186 -225 -226 0 -140 186 -225 -226 0 -140 -186 225 -226 0 -140 -186 -225 226 0 -140 175 0 140 141 0 140 0 -138 -139 0 -137 223 0 -137 -139 0 -137 -138 0 -136 -139 0 -136 -138 0 -136 -137 0 -134 -135 0 -133 221 0 -133 -135 0 -133 -134 0 -132 -135 0 -132 -134 0 -132 -133 0 -130 -131 0 -129 218 0 -129 -131 0 -129 -130 0 -128 -131 0 -128 -130 0 -128 -129 0 -126 -127 0 -125 216 0 -125 -127 0 -125 -126 0 -124 -127 0 -124 -126 0 -124 -125 0 -122 -123 0 -121 214 0 -121 -123 0 -121 -122 0 -120 -123 0 -120 -122 0 -120 -121 0 -118 -119 0 -117 212 0 -117 -119 0 -117 -118 0 -116 -119 0 -116 -118 0 -116 -117 0 -114 -115 0 -113 210 0 -113 -115 0 -113 -114 0 -112 -115 0 -112 -114 0 -112 -113 0 -111 0 -109 207 0 -109 -110 0 109 0 -108 -110 0 -108 -109 0 -106 -107 0 -105 -107 0 -105 -106 0 -104 -107 0 -104 -106 0 -104 -105 0 -103 -107 0 -103 -106 0 -103 -105 0 -103 -104 0 -102 -107 0 -102 -106 0 -102 -105 0 -102 -104 0 -102 -103 0 -101 -107 0 -101 -106 0 -101 -105 0 -101 -104 0 -101 -103 0 -101 -102 0 -100 -107 0 -100 -106 0 -100 -105 0 -100 -104 0 -100 -103 0 -100 -102 0 -100 -101 0 -99 -107 0 -99 -106 0 -99 -105 0 -99 -104 0 -99 -103 0 -99 -102 0 -99 -101 0 -99 -100 0 -98 242 0 -98 226 0 -97 -98 0 -96 226 0 -96 203 0 -96 136 0 -96 99 0 -96 97 0 -95 242 0 -95 240 0 -95 226 0 -95 139 0 -95 107 0 -95 97 0 -94 226 0 -94 203 0 -94 137 0 -94 99 0 -94 97 0 -93 226 0 -93 222 0 -93 203 0 -93 138 0 -93 107 0 -93 97 0 -92 226 0 -92 203 0 -92 137 0 -92 99 0 -92 97 0 91 -98 -139 0 -91 -98 139 0 91 -96 0 90 -98 -138 0 -90 -98 138 0 90 -95 0 90 -94 0 -90 -91 0 -89 222 0 89 -98 -137 0 -89 -98 137 0 89 -93 0 -89 -91 0 -89 -90 0 88 -98 -136 0 -88 -98 136 0 88 -92 0 -88 -91 0 -88 -90 0 -88 -89 0 88 0 -87 239 0 -87 226 0 -86 -87 0 -85 226 0 -85 196 0 -85 132 0 -85 99 0 -85 86 0 -84 239 0 -84 238 0 -84 226 0 -84 135 0 -84 106 0 -84 86 0 -83 226 0 -83 196 0 -83 133 0 -83 99 0 -83 86 0 -82 226 0 -82 220 0 -82 196 0 -82 134 0 -82 106 0 -82 86 0 -81 226 0 -81 196 0 -81 133 0 -81 99 0 -81 86 0 80 -87 -135 0 -80 -87 135 0 80 -85 0 79 -87 -134 0 -79 -87 134 0 79 -84 0 79 -83 0 -79 -80 0 -78 220 0 78 -87 -133 0 -78 -87 133 0 78 -82 0 -78 -80 0 -78 -79 0 77 -87 -132 0 -77 -87 132 0 77 -81 0 -77 -80 0 -77 -79 0 -77 -78 0 77 0 -76 237 0 -76 226 0 -75 -76 0 -74 226 0 -74 190 0 -74 128 0 -74 99 0 -74 75 0 -73 237 0 -73 236 0 -73 226 0 -73 131 0 -73 105 0 -73 75 0 -72 226 0 -72 190 0 -72 129 0 -72 99 0 -72 75 0 -71 226 0 -71 217 0 -71 190 0 -71 130 0 -71 105 0 -71 75 0 -70 226 0 -70 190 0 -70 129 0 -70 99 0 -70 75 0 69 -76 -131 0 -69 -76 131 0 69 -74 0 68 -76 -130 0 -68 -76 130 0 68 -73 0 68 -72 0 -68 -69 0 -67 217 0 67 -76 -129 0 -67 -76 129 0 67 -71 0 -67 -69 0 -67 -68 0 66 -76 -128 0 -66 -76 128 0 66 -70 0 -66 -69 0 -66 -68 0 -66 -67 0 66 0 -65 235 0 -65 226 0 -64 -65 0 -63 226 0 -63 183 0 -63 124 0 -63 99 0 -63 64 0 -62 235 0 -62 234 0 -62 226 0 -62 127 0 -62 104 0 -62 64 0 -61 226 0 -61 183 0 -61 125 0 -61 99 0 -61 64 0 -60 226 0 -60 215 0 -60 183 0 -60 126 0 -60 104 0 -60 64 0 -59 226 0 -59 183 0 -59 125 0 -59 99 0 -59 64 0 58 -65 -127 0 -58 -65 127 0 58 -63 0 57 -65 -126 0 -57 -65 126 0 57 -62 0 57 -61 0 -57 -58 0 -56 215 0 56 -65 -125 0 -56 -65 125 0 56 -60 0 -56 -58 0 -56 -57 0 55 -65 -124 0 -55 -65 124 0 55 -59 0 -55 -58 0 -55 -57 0 -55 -56 0 55 0 -54 233 0 -54 226 0 -53 -54 0 -52 226 0 -52 177 0 -52 120 0 -52 99 0 -52 53 0 -51 233 0 -51 232 0 -51 226 0 -51 123 0 -51 103 0 -51 53 0 -50 226 0 -50 177 0 -50 121 0 -50 99 0 -50 53 0 -49 226 0 -49 213 0 -49 177 0 -49 122 0 -49 103 0 -49 53 0 -48 226 0 -48 177 0 -48 121 0 -48 99 0 -48 53 0 47 -54 -123 0 -47 -54 123 0 47 -52 0 46 -54 -122 0 -46 -54 122 0 46 -51 0 46 -50 0 -46 -47 0 -45 213 0 45 -54 -121 0 -45 -54 121 0 45 -49 0 -45 -47 0 -45 -46 0 44 -54 -120 0 -44 -54 120 0 44 -48 0 -44 -47 0 -44 -46 0 -44 -45 0 44 0 -43 231 0 -43 226 0 -42 -43 0 -41 226 0 -41 170 0 -41 116 0 -41 99 0 -41 42 0 -40 231 0 -40 229 0 -40 226 0 -40 119 0 -40 102 0 -40 42 0 -39 226 0 -39 170 0 -39 117 0 -39 99 0 -39 42 0 -38 226 0 -38 211 0 -38 170 0 -38 118 0 -38 102 0 -38 42 0 -37 226 0 -37 170 0 -37 117 0 -37 99 0 -37 42 0 36 -43 -119 0 -36 -43 119 0 36 -41 0 35 -43 -118 0 -35 -43 118 0 35 -40 0 35 -39 0 -35 -36 0 -34 211 0 34 -43 -117 0 -34 -43 117 0 34 -38 0 -34 -36 0 -34 -35 0 33 -43 -116 0 -33 -43 116 0 33 -37 0 -33 -36 0 -33 -35 0 -33 -34 0 33 0 -32 228 0 -32 226 0 -31 -32 0 -30 252 0 -30 226 0 -30 112 0 -30 99 0 -30 31 0 -29 228 0 -29 227 0 -29 226 0 -29 115 0 -29 101 0 -29 31 0 -28 252 0 -28 226 0 -28 113 0 -28 99 0 -28 31 0 -27 252 0 -27 226 0 -27 209 0 -27 114 0 -27 101 0 -27 31 0 -26 252 0 -26 226 0 -26 113 0 -26 99 0 -26 31 0 25 -32 -115 0 -25 -32 115 0 25 -30 0 24 -32 -114 0 -24 -32 114 0 24 -29 0 24 -28 0 -24 -25 0 -23 209 0 23 -32 -113 0 -23 -32 113 0 23 -27 0 -23 -25 0 -23 -24 0 22 -32 -112 0 -22 -32 112 0 22 -26 0 -22 -25 0 -22 -24 0 -22 -23 0 22 0 -21 226 0 -21 225 0 -21 -32 -43 -54 -65 -76 -87 -98 0 -20 -21 0 -19 226 0 -19 186 0 -19 108 0 -19 99 0 -19 20 0 -18 226 0 -18 225 0 -18 224 0 -18 111 0 -18 100 0 -18 20 0 -17 226 0 -17 186 0 -17 99 0 -17 20 0 -16 226 0 -16 206 0 -16 186 0 -16 110 0 -16 100 0 -16 20 0 -15 226 0 -15 186 0 -15 99 0 -15 20 0 -14 -21 111 0 14 -19 0 13 -21 -110 0 -13 -21 110 0 13 -18 0 13 -17 0 -13 -14 0 -12 206 0 12 -21 -109 0 12 -16 0 -12 -14 0 -12 -13 0 11 -21 -108 0 -11 -21 108 0 11 -15 0 -11 -14 0 -11 -13 0 -11 -12 0 11 0 10 -95 0 9 -84 0 -9 -10 0 8 -73 0 -8 -10 0 -8 -9 0 7 -62 0 -7 -10 0 -7 -9 0 -7 -8 0 6 -51 0 -6 -10 0 -6 -9 0 -6 -8 0 -6 -7 0 5 -40 0 -5 -10 0 -5 -9 0 -5 -8 0 -5 -7 0 -5 -6 0 4 -29 0 -4 -10 0 -4 -9 0 -4 -8 0 -4 -7 0 -4 -6 0 -4 -5 0 3 -18 0 -3 -10 0 -3 -9 0 -3 -8 0 -3 -7 0 -3 -6 0 -3 -5 0 -3 -4 0 2 -94 0 2 -92 0 2 -83 0 2 -81 0 2 -72 0 2 -70 0 2 -61 0 2 -59 0 2 -50 0 2 -48 0 2 -39 0 2 -37 0 2 -28 0 2 -26 0 2 -17 0 2 -15 0 -2 -10 0 -2 -9 0 -2 -8 0 -2 -7 0 -2 -6 0 -2 -5 0 -2 -4 0 -2 -3 0 2 0 -1 243 0 -1 242 0 -1 239 0 -1 237 0 -1 235 0 -1 233 0 -1 231 0 -1 228 0 -1 225 0 -1 -97 0 1 92 93 96 94 95 98 0 -1 91 -139 0 -1 -91 139 0 -1 90 -138 0 -1 -90 138 0 -1 89 -137 0 -1 -89 137 0 -1 -88 136 0 -1 -86 0 1 81 82 85 83 84 87 0 -1 80 -135 0 -1 -80 135 0 -1 79 -134 0 -1 -79 134 0 -1 78 -133 0 -1 -78 133 0 -1 -77 132 0 -1 -75 0 1 70 71 74 72 73 76 0 -1 69 -131 0 -1 -69 131 0 -1 68 -130 0 -1 -68 130 0 -1 67 -129 0 -1 -67 129 0 -1 -66 128 0 -1 -64 0 1 59 60 63 61 62 65 0 -1 58 -127 0 -1 -58 127 0 -1 57 -126 0 -1 -57 126 0 -1 56 -125 0 -1 -56 125 0 -1 -55 124 0 -1 -53 0 1 48 49 52 50 51 54 0 -1 47 -123 0 -1 -47 123 0 -1 46 -122 0 -1 -46 122 0 -1 45 -121 0 -1 -45 121 0 -1 -44 120 0 -1 -42 0 1 37 38 41 39 40 43 0 -1 36 -119 0 -1 -36 119 0 -1 35 -118 0 -1 -35 118 0 -1 34 -117 0 -1 -34 117 0 -1 -33 116 0 -1 -31 0 1 26 27 30 28 29 32 0 -1 25 -115 0 -1 -25 115 0 -1 24 -114 0 -1 -24 114 0 -1 23 -113 0 -1 -23 113 0 -1 -22 112 0 -1 -20 0 1 15 16 19 17 18 21 0 -1 -14 111 0 -1 13 -110 0 -1 -13 110 0 -1 12 -109 0 -1 -11 108 0 -1 -10 107 0 -1 -9 106 0 -1 -8 105 0 -1 -7 104 0 -1 -6 103 0 -1 -5 102 0 -1 -4 101 0 -1 -3 100 0 -1 -2 99 0 c 1: AT0_DELTA c 2: AT0_ID0 c 3: AT0_ID1 c 4: AT0_ID2 c 5: AT0_ID3 c 6: AT0_ID4 c 7: AT0_ID5 c 8: AT0_ID6 c 9: AT0_ID7 c 10: AT0_ID8 c 11: AT0_PROC1_A c 12: AT0_PROC1_B c 13: AT0_PROC1_C c 14: AT0_PROC1_CS c 15: AT0_PROC1_SW_A_B_TAU c 16: AT0_PROC1_SW_B_C_TAU c 17: AT0_PROC1_SW_C_B_TAU c 18: AT0_PROC1_SW_C_CS_TAU c 19: AT0_PROC1_SW_CS_A_TAU c 20: AT0_PROC1_TAU c 21: AT0_PROC1_WAIT c 22: AT0_PROC2_A c 23: AT0_PROC2_B c 24: AT0_PROC2_C c 25: AT0_PROC2_CS c 26: AT0_PROC2_SW_A_B_TAU c 27: AT0_PROC2_SW_B_C_TAU c 28: AT0_PROC2_SW_C_B_TAU c 29: AT0_PROC2_SW_C_CS_TAU c 30: AT0_PROC2_SW_CS_A_TAU c 31: AT0_PROC2_TAU c 32: AT0_PROC2_WAIT c 33: AT0_PROC3_A c 34: AT0_PROC3_B c 35: AT0_PROC3_C c 36: AT0_PROC3_CS c 37: AT0_PROC3_SW_A_B_TAU c 38: AT0_PROC3_SW_B_C_TAU c 39: AT0_PROC3_SW_C_B_TAU c 40: AT0_PROC3_SW_C_CS_TAU c 41: AT0_PROC3_SW_CS_A_TAU c 42: AT0_PROC3_TAU c 43: AT0_PROC3_WAIT c 44: AT0_PROC4_A c 45: AT0_PROC4_B c 46: AT0_PROC4_C c 47: AT0_PROC4_CS c 48: AT0_PROC4_SW_A_B_TAU c 49: AT0_PROC4_SW_B_C_TAU c 50: AT0_PROC4_SW_C_B_TAU c 51: AT0_PROC4_SW_C_CS_TAU c 52: AT0_PROC4_SW_CS_A_TAU c 53: AT0_PROC4_TAU c 54: AT0_PROC4_WAIT c 55: AT0_PROC5_A c 56: AT0_PROC5_B c 57: AT0_PROC5_C c 58: AT0_PROC5_CS c 59: AT0_PROC5_SW_A_B_TAU c 60: AT0_PROC5_SW_B_C_TAU c 61: AT0_PROC5_SW_C_B_TAU c 62: AT0_PROC5_SW_C_CS_TAU c 63: AT0_PROC5_SW_CS_A_TAU c 64: AT0_PROC5_TAU c 65: AT0_PROC5_WAIT c 66: AT0_PROC6_A c 67: AT0_PROC6_B c 68: AT0_PROC6_C c 69: AT0_PROC6_CS c 70: AT0_PROC6_SW_A_B_TAU c 71: AT0_PROC6_SW_B_C_TAU c 72: AT0_PROC6_SW_C_B_TAU c 73: AT0_PROC6_SW_C_CS_TAU c 74: AT0_PROC6_SW_CS_A_TAU c 75: AT0_PROC6_TAU c 76: AT0_PROC6_WAIT c 77: AT0_PROC7_A c 78: AT0_PROC7_B c 79: AT0_PROC7_C c 80: AT0_PROC7_CS c 81: AT0_PROC7_SW_A_B_TAU c 82: AT0_PROC7_SW_B_C_TAU c 83: AT0_PROC7_SW_C_B_TAU c 84: AT0_PROC7_SW_C_CS_TAU c 85: AT0_PROC7_SW_CS_A_TAU c 86: AT0_PROC7_TAU c 87: AT0_PROC7_WAIT c 88: AT0_PROC8_A c 89: AT0_PROC8_B c 90: AT0_PROC8_C c 91: AT0_PROC8_CS c 92: AT0_PROC8_SW_A_B_TAU c 93: AT0_PROC8_SW_B_C_TAU c 94: AT0_PROC8_SW_C_B_TAU c 95: AT0_PROC8_SW_C_CS_TAU c 96: AT0_PROC8_SW_CS_A_TAU c 97: AT0_PROC8_TAU c 98: AT0_PROC8_WAIT c 99: AT1_ID0 c 100: AT1_ID1 c 101: AT1_ID2 c 102: AT1_ID3 c 103: AT1_ID4 c 104: AT1_ID5 c 105: AT1_ID6 c 106: AT1_ID7 c 107: AT1_ID8 c 108: AT1_PROC1_A c 109: AT1_PROC1_B c 110: AT1_PROC1_C c 111: AT1_PROC1_CS c 112: AT1_PROC2_A c 113: AT1_PROC2_B c 114: AT1_PROC2_C c 115: AT1_PROC2_CS c 116: AT1_PROC3_A c 117: AT1_PROC3_B c 118: AT1_PROC3_C c 119: AT1_PROC3_CS c 120: AT1_PROC4_A c 121: AT1_PROC4_B c 122: AT1_PROC4_C c 123: AT1_PROC4_CS c 124: AT1_PROC5_A c 125: AT1_PROC5_B c 126: AT1_PROC5_C c 127: AT1_PROC5_CS c 128: AT1_PROC6_A c 129: AT1_PROC6_B c 130: AT1_PROC6_C c 131: AT1_PROC6_CS c 132: AT1_PROC7_A c 133: AT1_PROC7_B c 134: AT1_PROC7_C c 135: AT1_PROC7_CS c 136: AT1_PROC8_A c 137: AT1_PROC8_B c 138: AT1_PROC8_C c 139: AT1_PROC8_CS c def int 140 ( AT0_PROC1_X ) - AT0_Z = 0 c def int 141 ( AT0_PROC1_X ) - AT0_Z > 0 c def int 175 ( AT0_PROC1_X ) - AT0_Z <= 0 c def int 186 ( AT1_PROC1_X ) - AT1_Z = 0 c def int 197 ( AT1_PROC1_X ) - AT1_Z > 0 c def int 208 ( AT1_PROC1_X ) - AT1_Z <= 0 c def int 219 ( AT0_PROC2_X ) - AT0_Z = 0 c def int 230 ( AT0_PROC2_X ) - AT0_Z > 0 c def int 241 ( AT0_PROC2_X ) - AT0_Z <= 0 c def int 252 ( AT1_PROC2_X ) - AT1_Z = 0 c def int 142 ( AT1_PROC2_X ) - AT1_Z > 0 c def int 153 ( AT1_PROC2_X ) - AT1_Z <= 0 c def int 164 ( AT0_PROC3_X ) - AT0_Z = 0 c def int 168 ( AT0_PROC3_X ) - AT0_Z > 0 c def int 169 ( AT0_PROC3_X ) - AT0_Z <= 0 c def int 170 ( AT1_PROC3_X ) - AT1_Z = 0 c def int 171 ( AT1_PROC3_X ) - AT1_Z > 0 c def int 172 ( AT1_PROC3_X ) - AT1_Z <= 0 c def int 173 ( AT0_PROC4_X ) - AT0_Z = 0 c def int 174 ( AT0_PROC4_X ) - AT0_Z > 0 c def int 176 ( AT0_PROC4_X ) - AT0_Z <= 0 c def int 177 ( AT1_PROC4_X ) - AT1_Z = 0 c def int 178 ( AT1_PROC4_X ) - AT1_Z > 0 c def int 179 ( AT1_PROC4_X ) - AT1_Z <= 0 c def int 180 ( AT0_PROC5_X ) - AT0_Z = 0 c def int 181 ( AT0_PROC5_X ) - AT0_Z > 0 c def int 182 ( AT0_PROC5_X ) - AT0_Z <= 0 c def int 183 ( AT1_PROC5_X ) - AT1_Z = 0 c def int 184 ( AT1_PROC5_X ) - AT1_Z > 0 c def int 185 ( AT1_PROC5_X ) - AT1_Z <= 0 c def int 187 ( AT0_PROC6_X ) - AT0_Z = 0 c def int 188 ( AT0_PROC6_X ) - AT0_Z > 0 c def int 189 ( AT0_PROC6_X ) - AT0_Z <= 0 c def int 190 ( AT1_PROC6_X ) - AT1_Z = 0 c def int 191 ( AT1_PROC6_X ) - AT1_Z > 0 c def int 192 ( AT1_PROC6_X ) - AT1_Z <= 0 c def int 193 ( AT0_PROC7_X ) - AT0_Z = 0 c def int 194 ( AT0_PROC7_X ) - AT0_Z > 0 c def int 195 ( AT0_PROC7_X ) - AT0_Z <= 0 c def int 196 ( AT1_PROC7_X ) - AT1_Z = 0 c def int 198 ( AT1_PROC7_X ) - AT1_Z > 0 c def int 199 ( AT1_PROC7_X ) - AT1_Z <= 0 c def int 200 ( AT0_PROC8_X ) - AT0_Z = 0 c def int 201 ( AT0_PROC8_X ) - AT0_Z > 0 c def int 202 ( AT0_PROC8_X ) - AT0_Z <= 0 c def int 203 ( AT1_PROC8_X ) - AT1_Z = 0 c def int 204 ( AT1_PROC8_X ) - AT1_Z > 0 c def int 205 ( AT1_PROC8_X ) - AT1_Z <= 0 c def int 206 ( ( AT0_PROC1_X - AT0_Z ) ) - 10 <= 0 c def int 207 ( ( AT1_PROC1_X - AT1_Z ) ) - 10 <= 0 c def int 209 ( ( AT0_PROC2_X - AT0_Z ) ) - 10 <= 0 c def int 210 ( ( AT1_PROC2_X - AT1_Z ) ) - 10 <= 0 c def int 211 ( ( AT0_PROC3_X - AT0_Z ) ) - 10 <= 0 c def int 212 ( ( AT1_PROC3_X - AT1_Z ) ) - 10 <= 0 c def int 213 ( ( AT0_PROC4_X - AT0_Z ) ) - 10 <= 0 c def int 214 ( ( AT1_PROC4_X - AT1_Z ) ) - 10 <= 0 c def int 215 ( ( AT0_PROC5_X - AT0_Z ) ) - 10 <= 0 c def int 216 ( ( AT1_PROC5_X - AT1_Z ) ) - 10 <= 0 c def int 217 ( ( AT0_PROC6_X - AT0_Z ) ) - 10 <= 0 c def int 218 ( ( AT1_PROC6_X - AT1_Z ) ) - 10 <= 0 c def int 220 ( ( AT0_PROC7_X - AT0_Z ) ) - 10 <= 0 c def int 221 ( ( AT1_PROC7_X - AT1_Z ) ) - 10 <= 0 c def int 222 ( ( AT0_PROC8_X - AT0_Z ) ) - 10 <= 0 c def int 223 ( ( AT1_PROC8_X - AT1_Z ) ) - 10 <= 0 c def int 224 ( ( AT0_PROC1_X - AT0_Z ) ) - 10 > 0 c def int 225 ( AT1_PROC1_X ) - AT0_PROC1_X = 0 c def int 226 ( AT1_Z ) - AT0_Z = 0 c def int 227 ( ( AT0_PROC2_X - AT0_Z ) ) - 10 > 0 c def int 228 ( AT1_PROC2_X ) - AT0_PROC2_X = 0 c def int 229 ( ( AT0_PROC3_X - AT0_Z ) ) - 10 > 0 c def int 231 ( AT1_PROC3_X ) - AT0_PROC3_X = 0 c def int 232 ( ( AT0_PROC4_X - AT0_Z ) ) - 10 > 0 c def int 233 ( AT1_PROC4_X ) - AT0_PROC4_X = 0 c def int 234 ( ( AT0_PROC5_X - AT0_Z ) ) - 10 > 0 c def int 235 ( AT1_PROC5_X ) - AT0_PROC5_X = 0 c def int 236 ( ( AT0_PROC6_X - AT0_Z ) ) - 10 > 0 c def int 237 ( AT1_PROC6_X ) - AT0_PROC6_X = 0 c def int 238 ( ( AT0_PROC7_X - AT0_Z ) ) - 10 > 0 c def int 239 ( AT1_PROC7_X ) - AT0_PROC7_X = 0 c def int 240 ( ( AT0_PROC8_X - AT0_Z ) ) - 10 > 0 c def int 242 ( AT1_PROC8_X ) - AT0_PROC8_X = 0 c def int 243 ( AT1_Z ) - AT0_Z < 0 c def int 244 ( AT1_PROC1_X ) - AT0_PROC1_X < 0 c def int 245 ( AT1_PROC1_X ) - AT0_PROC1_X >= 0 c def int 246 ( AT1_PROC2_X ) - AT0_PROC2_X < 0 c def int 247 ( AT1_PROC2_X ) - AT0_PROC2_X >= 0 c def int 248 ( AT1_PROC3_X ) - AT0_PROC3_X < 0 c def int 249 ( AT1_PROC3_X ) - AT0_PROC3_X >= 0 c def int 250 ( AT1_PROC4_X ) - AT0_PROC4_X < 0 c def int 251 ( AT1_PROC4_X ) - AT0_PROC4_X >= 0 c def int 253 ( AT1_PROC5_X ) - AT0_PROC5_X < 0 c def int 254 ( AT1_PROC5_X ) - AT0_PROC5_X >= 0 c def int 255 ( AT1_PROC6_X ) - AT0_PROC6_X < 0 c def int 256 ( AT1_PROC6_X ) - AT0_PROC6_X >= 0 c def int 257 ( AT1_PROC7_X ) - AT0_PROC7_X < 0 c def int 258 ( AT1_PROC7_X ) - AT0_PROC7_X >= 0 c def int 259 ( AT1_PROC8_X ) - AT0_PROC8_X < 0 c def int 260 ( AT1_PROC8_X ) - AT0_PROC8_X >= 0 c def int 261 ( AT1_Z ) - AT0_Z >= 0 c def int 262 ( AT0_Z ) - AT0_PROC1_X >= 0 c def int 143 ( AT1_Z ) - AT1_PROC1_X < 0 c def int 144 ( AT0_Z ) - AT0_PROC2_X >= 0 c def int 145 ( AT1_Z ) - AT1_PROC2_X < 0 c def int 146 ( AT0_Z ) - AT0_PROC3_X >= 0 c def int 147 ( AT1_Z ) - AT1_PROC3_X < 0 c def int 148 ( AT0_Z ) - AT0_PROC4_X >= 0 c def int 149 ( AT1_Z ) - AT1_PROC4_X < 0 c def int 150 ( AT0_Z ) - AT0_PROC5_X >= 0 c def int 151 ( AT1_Z ) - AT1_PROC5_X < 0 c def int 152 ( AT0_Z ) - AT0_PROC6_X >= 0 c def int 154 ( AT1_Z ) - AT1_PROC6_X < 0 c def int 155 ( AT0_Z ) - AT0_PROC7_X >= 0 c def int 156 ( AT1_Z ) - AT1_PROC7_X < 0 c def int 157 ( AT0_Z ) - AT0_PROC8_X >= 0 c def int 158 ( AT1_Z ) - AT1_PROC8_X < 0 c def int 159 ( ( AT1_PROC1_X - AT1_Z ) ) - ( AT1_PROC1_X - AT1_Z ) = 0 c def int 160 ( ( AT1_PROC2_X - AT1_Z ) ) - ( AT1_PROC2_X - AT1_Z ) = 0 c def int 161 ( ( AT1_PROC3_X - AT1_Z ) ) - ( AT1_PROC3_X - AT1_Z ) = 0 c def int 162 ( ( AT1_PROC4_X - AT1_Z ) ) - ( AT1_PROC4_X - AT1_Z ) = 0 c def int 163 ( ( AT1_PROC5_X - AT1_Z ) ) - ( AT1_PROC5_X - AT1_Z ) = 0 c def int 165 ( ( AT1_PROC6_X - AT1_Z ) ) - ( AT1_PROC6_X - AT1_Z ) = 0 c def int 166 ( ( AT1_PROC7_X - AT1_Z ) ) - ( AT1_PROC7_X - AT1_Z ) = 0 c def int 167 ( ( AT1_PROC8_X - AT1_Z ) ) - ( AT1_PROC8_X - AT1_Z ) = 0