cevap.txt

0 False
1 False
2 False
3 False
4 False
5 False
6 True
7 False
8 True
9 False
10 False
11 False
12 True
13 False
14 True
15 False
16 False
17 False
18 False
19 True
20 True
21 False
22 False
23 False
24 False
25 False
26 False
27 True
28 False
29 False
30 False
31 False
32 False
33 True
34 False
35 False
36 False
37 False
38 False
39 False
40 False
41 False
42 True
43 True
44 False
45 False
46 False
47 False
48 False
49 False
50 False
51 False
52 False
53 False
54 True
55 False
56 False
57 False
58 True
59 False
60 False
61 False
62 False
63 False
64 False
65 False
66 False
67 False
68 False
69 False
70 False
71 True
72 False
73 False
74 False
75 False
76 False
77 False
78 True
79 False
80 False
81 True
82 False
83 False
84 False
85 True
86 True
87 False
88 False
89 True
90 False
91 True
92 False
93 True
94 False
95 True
96 False
97 False
98 False
99 False
100 False
101 False
102 False
103 False
104 False
105 False
106 False
107 False
108 False
109 False
110 True
111 False
112 False
113 False
114 False
115 False
116 False
117 True
118 False
119 False
120 False
121 False
122 True
123 False
124 False
125 False
126 True
127 False
128 False
129 False
130 True
131 False
132 False
133 False
134 False
135 False
136 False
137 False
138 False
139 False
140 False
141 False
142 False
143 False
144 False
145 False
146 False
147 False
148 False
149 False
150 True
151 False
152 False
153 False
154 True
155 False
156 False
157 False
158 False
159 False
160 False
161 True
162 True
163 False
164 False
165 False
166 True
167 False
168 False
169 False
170 False
171 False
172 True
173 False
174 False
175 False
176 False
177 True
178 False
179 True
180 True
181 True
182 False
183 False
184 True
185 True
186 False
187 False
188 True
189 True
190 False
191 False
192 False
193 False
194 False
195 False
196 False
197 False
198 True
199 False
200 False
201 False
202 False
203 False
204 False
205 False
206 False
207 False
208 False
209 False
210 False
211 False
212 False
213 False
214 False
215 False
216 False
217 True
218 False
219 False
220 False
221 True
222 False
223 True
224 False
225 True
226 False
227 False
228 False
229 False
230 False
231 False
232 False
233 False
234 True
235 True
236 False
237 False
238 False
239 False
240 False
241 False
242 True
243 False
244 True
245 False
246 False
247 False
248 True
249 False
250 True
251 False
252 False
253 True
254 False
255 True
256 False
257 False
258 False
259 False
260 False
261 False
262 False
263 True
264 False
265 False
266 True
267 True
268 False
269 False
270 False
271 False
272 False
273 False
274 False
275 True
276 False
277 False
278 False
279 False
280 False
281 False
282 False
283 False
284 False
285 False
286 True
287 False
288 False
289 True
290 False
291 True
292 False
293 True
294 False
295 False
296 False
297 True
298 False
299 False
300 False
301 True
302 False
303 False
304 True
305 False
306 False
307 False
308 False
309 False
310 True
311 False
312 False
313 False
314 False
315 False
316 False
317 False
318 False
319 False
320 False

solve.py

# Musab K.
# Licensed under the GNU General Public License v3.0
from sympy import *
from string import ascii_letters

int2Symbol = lambda n: "".join([ascii_letters[int(x)] for x in str(n)])
symbol2Int = lambda s: int("".join([str(ascii_letters.index(x)) for x in s]))
nums = [list(sorted([int(y) for y in x.split(" ")])) for x in open("soru.txt", "r").read().replace("\n\n", "\n").split("\n")[:-1]]
eq = 1
symbols = {}
nums.sort()
all_nums = []
for l in nums:
    for n in l:
        s = int2Symbol(abs(n))
        if not n in all_nums:
            all_nums.append(n)
        if not s in symbols:
            symbols[s] = Symbol(s)

all_nums.sort()
_symbols = {b:a for a,b in symbols.items()}

for j, l in enumerate(nums):
    min_eq = 0
    for n in l:
        s = int2Symbol(abs(n))
        min_eq |= symbols[s] if n > 0 else ~symbols[s]
    eq &= simplify_logic(min_eq)
    print(j, len(nums))

print("All possible answers: ")
for i in satisfiable(simplify_logic(eq), all_models=True):
  S = {symbol2Int(_symbols[a]):b for a, b in i.items()}
  for i in sorted(S.items(), key=lambda x:x[0]):
      print(i[0], i[1])
  print("*" * 100)

soru.txt

142 -99 178 0
28 171 -166 0
-131 252 -265 0
266 -112 -34 0
-85 251 -298 0
234 297 -233 0
289 -202 182 0
86 -318 -252 0
109 -15 79 0
98 29 -109 0
-147 -232 -21 0
-115 -73 -48 0
203 298 -162 0
31 -97 -210 0
-315 10 105 0
153 -211 -3 0
-19 -255 296 0
108 -155 254 0
196 144 -271 0
311 2 300 0
302 -316 -267 0
-196 208 -81 0
-176 -200 -253 0
-313 -275 111 0
-27 13 -228 0
180 -120 223 0
-40 -88 -47 0
21 47 -63 0
312 -204 39 0
-168 -157 40 0
217 -177 91 0
-259 159 278 0
318 206 32 0
-104 315 -108 0
-167 228 244 0
-142 -107 -256 0
-208 -24 -251 0
-53 123 177 0
-135 176 -170 0
131 201 157 0
165 -91 -119 0
-287 -174 -235 0
95 126 200 0
139 -244 212 0
-172 -36 185 0
-132 -37 195 0
237 -240 120 0
-68 -84 155 0
-98 -8 -14 0
16 -181 99 0
141 -126 189 0
184 -191 -294 0
18 -203 263 0
-49 -214 35 0
257 162 -89 0
255 214 227 0
-30 261 118 0
-149 -192 -10 0
-140 -190 -161 0
-44 293 37 0
-302 233 81 0
-185 -32 319 0
63 -75 268 0
-297 269 -156 0
-7 11 -16 0
309 1 -242 0
42 291 -236 0
-195 84 190 0
67 -266 127 0
170 -136 -121 0
-118 -311 -180 0
138 -199 246 0
54 92 313 0
282 34 -164 0
66 112 -264 0
82 -106 -139 0
116 -87 194 0
303 135 -189 0
-175 -11 -283 0
151 -74 -225 0
310 20 55 0
-65 -171 -111 0
-35 -95 -54 0
-96 -169 -312 0
58 -223 -20 0
-257 -134 264 0
8 167 62 0
-276 -226 -123 0
53 38 64 0
199 3 90 0
119 221 76 0
-56 213 14 0
137 -133 -304 0
-299 258 70 0
-296 205 -270 0
-248 -57 168 0
225 275 -52 0
-216 56 -222 0
197 -83 -306 0
286 15 -288 0
256 96 -31 0
4 202 172 0
143 -213 -1 0
-78 -206 -182 0
-262 -82 -28 0
265 -29 97 0
192 -286 241 0
259 -127 156 0
-9 132 -158 0
-62 -317 60 0
-92 -291 288 0
-188 73 253 0
-217 -231 216 0
240 -319 136 0
220 152 -241 0
-18 -159 -58 0
166 -215 -293 0
191 299 -64 0
-105 6 279 0
-141 304 222 0
-4 188 -212 0
9 274 -50 0
245 133 317 0
161 272 -282 0
46 140 57 0
103 -137 238 0
-86 -250 198 0
78 -273 -308 0
169 41 83 0
307 87 -193 0
128 114 292 0
113 -79 250 0
-153 48 147 0
-284 160 121 0
-290 69 224 0
22 154 -205 0
-209 -69 -46 0
93 -129 -77 0
-42 187 -152 0
239 305 80 0
248 242 -184 0
-23 59 -116 0
173 -249 271 0
-165 -2 276 0
204 19 -70 0
23 146 284 0
207 12 134 0
-268 33 283 0
179 -278 287 0
-61 -93 43 0
102 158 306 0
106 -254 -113 0
-285 61 301 0
210 -124 -179 0
-144 236 -160 0
-237 -138 226 0
30 -234 -220 0
51 232 89 0
36 52 94 0
27 122 -130 0
-295 -243 163 0
49 110 218 0
285 -198 -221 0
-128 -227 -279 0
280 145 -303 0
-274 215 -143 0
-122 295 -289 0
-300 65 183 0
-269 316 115 0
270 -281 308 0
-218 -26 -13 0
-146 -22 -207 0
181 -183 101 0
-101 150 68 0
-301 75 -239 0
-102 186 50 0
26 -194 -76 0
-201 85 -67 0
-246 -280 -100 0
-263 273 7 0
-173 -80 -94 0
243 124 100 0
-150 -197 262 0
-41 107 314 0
249 -224 164 0
277 -103 -314 0
44 -125 -292 0
-145 88 117 0
-55 -305 -66 0
281 267 -117 0
-272 149 -60 0
174 104 -247 0
-72 -186 -6 0
193 74 294 0
260 -38 -59 0
-178 -151 77 0
-219 -110 71 0
-71 -277 125 0
-310 17 148 0
-51 290 320 0
-12 -163 72 0
-25 231 130 0
-148 219 -187 0
24 -90 25 0
-39 -33 -229 0
209 235 -114 0
-245 211 -45 0
-43 -307 -260 0
-309 230 5 0
175 -230 -320 0
-238 -5 -258 0
82 90 -235 0
129 -261 -17 0
247 -154 229 0
314 -262 192 0
45 29 -248 0
293 -231 -62 0
10 258 24 0
93 92 -314 0
320 -149 -43 0
-273 -104 107 0
-287 -268 -220 0
-74 64 -205 0
-36 -112 -198 0
77 -25 -28 0
228 117 174 0
-250 -68 -32 0
161 241 19 0
-193 101 70 0
268 267 225 0
-75 -135 276 0
-178 165 157 0
114 -83 135 0
-296 36 28 0
201 -241 -172 0
-308 -228 -169 0
-24 -57 125 0
-39 -82 186 0
319 33 -294 0
-5 237 -298 0
-181 230 -29 0
233 -229 216 0
-79 -318 76 0
-279 -132 191 0
-225 67 3 0
110 -65 246 0
235 -148 121 0
-247 304 244 0
-168 -320 13 0
31 302 -12 0
162 -185 169 0
183 -295 140 0
178 -147 220 0
60 217 78 0
-191 119 50 0
-134 -222 249 0
260 -315 -4 0
301 -264 284 0
-121 127 -138 0
-110 -72 160 0
-240 108 -47 0
-71 -100 -269 0
-186 261 149 0
150 -317 -1 0
-92 62 -50 0
229 306 -45 0
-127 -133 -90 0
116 251 308 0
-10 221 -136 0
128 34 -139 0
296 -107 -223 0
159 148 312 0
-49 -299 -217 0
-281 -300 -238 0
49 273 153 0
-108 144 317 0
310 -7 196 0
222 198 210 0
-219 66 -93 0
-158 -31 -199 0
113 -130 185 0
43 297 300 0
137 -111 57 0
-292 -85 -263 0
-140 -14 -203 0
-316 89 -304 0
5 69 86 0
-27 318 -17 0
-201 158 -144 0
262 218 -278 0
263 17 163 0
-80 139 -162 0
298 -30 -302 0
-255 281 -275 0
4 -156 87 0
203 -243 -245 0
-19 -153 132 0
264 -271 287 0
-23 18 -239 0
-259 -165 -293 0
-96 -125 176 0
277 199 -196 0
213 234 170 0
299 303 -209 0
83 -120 257 0
-237 -167 22 0
30 -119 -210 0
11 145 -21 0
275 -66 -157 0
-40 -99 -297 0
96 147 -33 0
-177 126 99 0
-319 -306 -213 0
-97 189 55 0
143 -128 -226 0
-290 294 -309 0
59 270 226 0
-211 94 -69 0
-303 -194 58 0
41 164 -152 0
278 315 -91 0
-256 265 -197 0
-218 46 266 0
123 250 -18 0
-200 -55 288 0
245 -257 -221 0
-270 -249 -101 0
-67 -117 146 0
98 104 214 0
-137 -190 255 0
-114 -64 -234 0
12 223 122 0
252 109 -41 0
-109 136 -310 0
39 -116 -3 0
45 286 81 0
-276 206 -171 0
-251 -53 256 0
23 74 179 0
168 21 -244 0
-59 -206 95 0
-260 -163 -78 0
-37 111 156 0
-89 -70 194 0
311 274 -94 0
166 -81 63 0
-143 -212 -301 0
248 177 271 0
-189 208 292 0
-76 205 -51 0
2 -60 32 0
35 -312 181 0
-208 75 40 0
236 -265 -286 0
-95 -105 -77 0
152 -63 7 0
103 289 -164 0
-283 307 243 0
-122 290 -254 0
48 27 154 0
187 193 -311 0
151 219 -161 0
269 -129 182 0
-26 -230 -236 0
42 283 112 0
254 20 -313 0
-192 80 259 0
313 227 -176 0
138 212 97 0
180 142 295 0
-174 -22 16 0
-106 -277 -233 0
47 -258 65 0
-284 -123 14 0
1 105 -11 0
-183 85 -56 0
91 -288 -195 0
38 200 -113 0
-285 -13 211 0
102 280 224 0
309 106 -2 0
242 -216 215 0
-267 167 -166 0
-214 -115 195 0
54 -86 172 0
171 -84 204 0
134 -15 -272 0
184 272 -307 0
-118 285 253 0
-154 133 -227 0
79 173 -184 0
-42 -131 -124 0
-204 -160 -9 0
-266 141 100 0
129 207 -38 0
-207 -155 -142 0
-44 -224 -126 0
231 -261 247 0
71 130 197 0
-145 37 240 0
190 -16 -141 0
-52 -188 -291 0
51 -274 -159 0
-146 -170 -35 0
-232 -180 188 0
131 238 120 0
-58 -46 -242 0
-253 -280 53 0
25 -103 279 0
232 -151 84 0
209 -54 6 0
-88 -61 -150 0
239 52 -102 0
-87 9 115 0
8 26 44 0
155 -34 -202 0
118 -20 316 0
-8 -246 61 0
-173 -289 72 0
124 305 88 0
-179 -182 56 0
301 -26 -241 0
-187 -73 -252 0
282 -175 68 0
-256 -254 -245 0
-48 -282 -215 0
202 -6 291 0
35 -185 74 0
173 -195 75 0
-275 63 61 0
175 15 114 0
110 265 25 0
-305 73 -98 0
126 -193 -6 0
245 253 244 0
69 205 283 0
286 -74 273 0
-279 -173 47 0
242 -36 78 0
-125 261 212 0
299 86 -247 0
179 -45 132 0
161 -287 -89 0
-226 291 290 0
225 -50 246 0
-299 282 -162 0
-124 -126 -156 0
186 -49 157 0
-79 -255 -210 0
304 310 -46 0
-285 29 80 0
-300 287 -100 0
41 221 -43 0
-286 198 127 0
94 -292 -16 0
101 235 229 0
-5 45 143 0
275 193 164 0
90 -37 99 0
239 180 -242 0
-246 89 284 0
32 49 -225 0
293 95 -228 0
-135 230 87 0
48 43 7 0
185 255 -85 0
-175 -204 125 0
154 -91 107 0
-164 151 -261 0
280 218 -103 0
116 -243 209 0
50 -229 20 0
1 207 -311 0
238 302 278 0
-296 -35 -192 0
-133 204 210 0
-186 226 300 0
272 277 177 0
98 150 -58 0
-83 270 -94 0
298 -15 271 0
142 138 -119 0
296 -138 306 0
-188 289 121 0
-20 184 192 0
279 -276 203 0
-130 -239 -271 0
-191 -40 -29 0
292 159 -161 0
206 141 170 0
-84 -301 -95 0
-223 227 182 0
92 -76 155 0
243 60 137 0
220 -55 -198 0
-253 -150 -283 0
-200 -107 -62 0
-134 -167 156 0
40 -295 38 0
152 309 133 0
-56 145 -142 0
13 -281 -265 0
81 139 -280 0
17 -96 -165 0
102 -212 -159 0
191 -268 -277 0
320 -19 -86 0
281 62 195 0
-196 -23 318 0
-148 -176 202 0
-316 -24 240 0
-72 -155 211 0
18 -149 -201 0
-177 4 19 0
-163 -121 256 0
-216 51 163 0
15 21 -211 0
59 176 -190 0
-304 -248 165 0
167 187 162 0
-70 66 -213 0
316 -63 260 0
-180 79 -244 0
-59 -224 -110 0
307 -52 -252 0
-71 285 11 0
-131 276 -289 0
-38 58 233 0
-137 -47 -143 0
234 134 -199 0
-118 128 158 0
228 10 -98 0
268 70 -158 0
108 -231 -184 0
-92 -21 -141 0
-205 148 -88 0
-102 266 251 0
-272 28 64 0
131 -61 153 0
-1 -127 -48 0
-108 -41 -28 0
-153 -136 -11 0
42 -44 317 0
-234 236 82 0
-18 258 311 0
-206 -168 -152 0
-132 122 -123 0
-194 -174 -269 0
-30 3 248 0
56 -310 188 0
216 -151 83 0
297 -207 267 0
77 16 27 0
295 117 -282 0
91 319 -251 0
109 -120 190 0
231 263 237 0
93 247 -122 0
-284 -106 -306 0
-42 -80 166 0
-267 -266 183 0
208 -115 223 0
-147 -320 314 0
-203 252 -154 0
224 -3 274 0
294 199 -140 0
85 -111 -97 0
111 -101 36 0
-9 -233 -317 0
-10 -264 269 0
-81 175 -93 0
-230 54 305 0
-259 201 -77 0
-249 -105 -33 0
84 103 119 0
-220 -116 52 0
189 -51 -307 0
-309 -114 -278 0
23 72 96 0
140 -144 -288 0
-78 174 -25 0
-109 -66 -218 0
144 136 -302 0
254 26 249 0
-215 130 -65 0
264 46 37 0
-237 -32 105 0
196 -308 22 0
-313 259 33 0
-293 -73 -258 0
-27 -170 88 0
-39 -263 -221 0
9 113 149 0
197 -297 -139 0
12 -187 200 0
123 257 -189 0
215 -87 -182 0
-202 -232 -319 0
-68 -291 -208 0
-60 55 168 0
-298 -128 76 0
312 34 129 0
232 124 -235 0
30 -8 288 0
-7 24 6 0
-294 -197 -172 0
-82 115 -169 0
-183 303 -12 0
-22 -179 219 0
135 -274 -273 0
-257 213 160 0
-99 -227 -209 0
31 -64 -219 0
241 -270 71 0
-178 -312 100 0
120 313 178 0
39 -318 -75 0
-112 2 53 0
-31 -236 -146 0
217 -145 73 0
-57 -314 146 0
-4 65 -305 0
-250 -157 -160 0
172 -17 194 0
-117 -69 -90 0
308 -181 67 0
-13 -129 171 0
-262 44 214 0
97 250 -240 0
-238 68 -104 0
-67 106 -222 0
-217 -14 118 0
-303 8 -113 0
-260 -54 -290 0
5 -34 315 0
-91 -71 -46 0
-214 -53 -166 0
-171 104 181 0
-2 169 57 0
21 -273 140 0
222 -315 147 0
262 112 14 0
221 -209 188 0
-104 -215 124 0
-157 -262 19 0
234 -111 192 0
304 -121 120 0
20 -181 212 0
-246 319 -203 0
-100 113 -22 0
-295 150 -94 0
-316 201 191 0
-247 -148 -173 0
272 -185 -11 0
241 214 -221 0
-83 -200 23 0
-170 209 -271 0
31 310 285 0
298 305 -206 0
205 183 49 0
258 38 -236 0
238 227 -21 0
157 179 301 0
160 309 -109 0
-135 316 -296 0
-175 -232 -263 0
-140 -231 -269 0
297 -318 44 0
152 17 -208 0
-74 -204 80 0
257 4 -235 0
-85 34 288 0
-268 -124 256 0
-136 60 125 0
144 -292 -93 0
-214 261 111 0
81 311 -13 0
-201 245 -84 0
-234 -87 2 0
282 -53 25 0
154 320 -144 0
171 143 -233 0
-131 -133 -146 0
47 -96 -123 0
165 -272 139 0
-254 225 -137 0
126 119 -260 0
-290 -310 -39 0
251 -160 -139 0
-130 187 222 0
204 16 253 0
62 -72 -306 0
280 247 51 0
-49 161 -116 0
-149 -97 -92 0
101 -152 53 0
-212 -300 -225 0
-287 -118 -189 0
-188 186 -294 0
-134 69 240 0
203 270 -145 0
-285 117 -59 0
269 175 -120 0
-261 296 116 0
42 -240 -320 0
-182 236 -237 0
32 -117 -51 0
-177 180 -252 0
-69 151 -194 0
-176 -193 -86 0
-243 -241 -313 0
-20 72 -280 0
-297 -222 63 0
-319 -78 3 0
-73 -161 122 0
-88 -9 178 0
-205 291 -132 0
9 114 67 0
66 215 39 0
123 267 -119 0
-229 -67 103 0
232 138 -38 0
-17 -227 286 0
-55 -191 224 0
-178 -187 289 0
-37 -50 -298 0
-288 239 -267 0
306 242 -183 0
6 29 -207 0
-256 -66 135 0
229 -253 -26 0
185 -63 10 0
-6 127 -244 0
182 73 -68 0
252 292 -127 0
-3 -284 54 0
83 78 193 0
307 312 -62 0
-180 -10 -195 0
263 -8 36 0
-158 28 91 0
131 89 -81 0
-301 164 -291 0
-258 -202 -168 0
142 -70 45 0
98 37 243 0
85 -219 87 0
-315 168 -151 0
134 262 -7 0
-28 -281 244 0
33 228 148 0
64 -305 -312 0
137 -61 174 0
-169 166 190 0
213 -36 149 0
220 177 104 0
128 284 281 0
290 206 231 0
235 217 5 0
-317 -156 -282 0
159 -304 68 0
-56 59 273 0
-126 121 -75 0
-283 18 -54 0
141 194 -80 0
110 283 210 0
-163 -276 255 0
-33 55 133 0
173 -217 100 0
94 70 -250 0
-4 26 295 0
-167 1 -34 0
294 -42 -142 0
-255 -299 -220 0
-30 -226 -150 0
96 266 -45 0
-114 246 -164 0
77 12 202 0
-105 -44 -210 0
-308 184 -31 0
74 -47 -159 0
-179 -77 86 0
158 -2 -27 0
-228 302 189 0
106 30 145 0
-307 -16 -106 0
-184 -18 -115 0
-270 -166 27 0
-224 197 15 0
176 -197 -32 0
-286 -103 299 0
-76 -19 -98 0
-143 146 7 0
268 162 -155 0
-29 315 -275 0
90 230 -311 0
-192 -302 -129 0
207 198 271 0
41 195 -174 0
-64 -122 -242 0
276 167 -110 0
-60 -79 82 0
109 71 50 0
303 -264 -108 0
-112 -223 308 0
156 -196 163 0
-238 -199 216 0
-216 105 -57 0
-40 -171 199 0
293 -52 88 0
-266 237 -99 0
218 147 233 0
314 -245 56 0
226 155 57 0
-65 -107 76 0
-147 264 -186 0
93 -82 -138 0
48 40 102 0
313 -90 129 0
-249 -165 -14 0
118 136 265 0
95 -248 -43 0
-257 -125 -274 0
254 -141 -279 0
287 318 -289 0
46 274 -35 0
35 -89 132 0
115 -259 279 0
-153 -198 99 0
-154 79 260 0
-309 61 223 0
75 219 300 0
11 200 14 0
-24 112 -15 0
-48 -12 -230 0
-314 -95 -128 0
153 -5 -41 0
-213 22 248 0
259 24 -190 0
-101 170 277 0
-251 -211 -113 0
-218 97 130 0
181 250 -25 0
-277 -278 169 0
13 172 -239 0
43 211 249 0
84 -303 196 0
275 317 -172 0
-162 107 198 0
278 65 52 0
-1 92 -23 0
-293 58 152 0
108 208 -265 0
-49 42 -93 0
8 -102 -222 0
-317 3 148 0
-88 314 193 0
-112 265 -173 0
207 -259 273 0
277 -174 -127 0
-58 221 -246 0
-149 -224 216 0
-285 102 -234 0
1 159 268 0
241 -231 -3 0
-284 -124 -237 0
-263 60 218 0
-172 -167 229 0
220 -148 14 0
142 233 36 0
59 144 -165 0
-37 263 131 0
-74 245 -208 0
-175 201 -206 0
12 46 53 0
-256 234 19 0
112 30 -229 0
206 274 -22 0
-30 -71 275 0
307 -105 -81 0
270 294 85 0
-243 -85 -13 0
282 260 57 0
113 -120 -203 0
-279 116 -43 0
-45 303 -225 0
-159 154 95 0
-121 -7 -305 0
-107 149 237 0
58 -157 -128 0
82 -23 71 0
258 -9 296 0
-316 -60 252 0
-276 11 -314 0
-72 166 292 0
175 183 -169 0
-247 301 -38 0
-116 86 171 0
37 -83 63 0
-1 20 -65 0
49 285 18 0
-192 -131 169 0
-277 -129 51 0
114 -55 -142 0
-215 121 -191 0
-152 31 -113 0
-61 231 -176 0
38 137 27 0
74 228 289 0
-255 -136 -122 0
-158 161 147 0
-273 -268 -82 0
236 -171 316 0
-126 67 -265 0
-292 -84 -242 0
-104 -6 298 0
-308 -218 -80 0
126 -73 -94 0
-24 243 -249 0
-270 320 84 0
6 -36 318 0
164 158 145 0
168 256 -52 0
83 -133 -188 0
-190 306 -108 0
-161 210 -319 0
-97 317 249 0
173 157 -232 0
-57 319 -20 0
-287 9 -95 0
-233 -195 -168 0
287 -58 -320 0
-258 109 128 0
-79 187 -301 0
-219 136 259 0
138 172 217 0
244 -178 -226 0
-59 242 -147 0
32 239 199 0
-31 -244 103 0
230 139 70 0
-209 222 312 0
-137 -56 81 0
180 -5 -144 0
150 -296 -21 0
-315 73 246 0
-298 -313 -300 0
-11 313 -40 0
-288 69 -289 0
-100 214 -291 0
195 -250 -102 0
184 -39 156 0
17 190 -134 0
119 90 -66 0
4 93 -267 0
-78 -150 -312 0
66 205 -141 0
110 129 -240 0
-135 -214 -248 0
162 -180 293 0
253 240 215 0
-114 -253 -318 0
257 -32 219 0
-236 -14 -163 0
62 309 185 0
186 98 5 0
302 88 -264 0
266 -216 115 0
-187 16 123 0
-194 291 -47 0
315 39 -25 0
251 143 -42 0
-44 153 -2 0
-220 -125 167 0
-282 -262 -239 0
310 -99 -241 0
-27 -217 -109 0
68 -166 99 0
-212 94 -309 0
189 -154 -202 0
-201 47 -307 0
279 -111 -51 0
-228 -299 197 0
-138 10 -68 0
174 -294 284 0
23 -302 -69 0
191 -46 -16 0
28 54 56 0
48 288 35 0
-281 45 44 0
-196 -186 -210 0
300 -26 133 0
-193 238 -110 0
-70 -290 271 0
101 -162 -184 0
-197 -221 -143 0
7 -254 281 0
-103 -118 -75 0
24 297 -205 0
-54 107 -156 0
40 72 2 0
52 -15 108 0
-17 -106 135 0
111 272 202 0
-245 -63 224 0
79 117 64 0
305 165 -269 0
-223 276 100 0
192 104 160 0
-8 -160 -207 0
89 -12 -119 0
-48 141 -4 0
151 -139 223 0
261 -89 -177 0
-230 -164 -96 0
-260 33 286 0
97 -274 61 0
-145 26 25 0
-98 290 146 0
106 267 179 0
55 -87 247 0
-86 29 232 0
-275 177 -283 0
118 -183 -146 0
-182 -41 -199 0
-155 -235 -130 0
-200 -117 -261 0
-140 -278 87 0
212 299 134 0
122 -297 -62 0
308 77 -306 0
200 -266 235 0
22 21 -90 0
-35 163 41 0
208 255 65 0
155 120 -179 0
-77 304 -211 0
182 280 -271 0
-10 96 -28 0
-189 140 178 0
-101 227 264 0
-67 226 269 0
176 -151 -295 0
213 75 -53 0
8 -170 -33 0
196 -257 34 0
-311 -64 194 0
125 250 124 0
-76 -293 -310 0
203 92 181 0
311 -19 209 0
-280 43 -185 0
-272 225 -227 0
-29 254 -153 0
-132 -34 -252 0
-92 13 -123 0
15 132 80 0
127 -91 -18 0
130 -286 188 0
105 -181 122 0
50 211 278 0
170 76 -115 0
-304 -303 78 0
295 -238 -198 0
-213 -50 283 0
277 -73 -160 0
267 -290 9 0
204 248 235 0
-204 91 117 0
262 -251 51 0
42 -121 -21 0
198 -84 -269 0
17 204 -224 0
-37 -204 223 0
-124 58 244 0
310 154 185 0
-55 166 19 0
-17 -5 184 0
314 90 8 0
-106 -15 78 0
33 -231 255 0
-215 189 15 0
291 -273 27 0
-30 293 181 0
-100 -134 -153 0
162 253 163 0
5 95 -256 0
-104 161 -90 0
-314 180 266 0
-50 289 -207 0
106 -285 -140 0
179 242 -251 0
221 -167 -94 0
-211 -196 275 0
153 203 -151 0
274 -72 177 0
151 265 -305 0
-23 119 85 0
-111 -88 224 0
-264 -65 -22 0
-119 88 -169 0
-190 -3 93 0
89 -156 130 0
6 150 -13 0
-203 -195 -193 0
21 -265 301 0
20 -277 263 0
3 12 188 0
-274 234 -315 0
225 -163 91 0
-158 -243 248 0
86 -9 14 0
304 54 -270 0
-268 -136 172 0
81 126 71 0
158 297 286 0
-36 110 -146 0
43 217 250 0
-51 -75 -317 0
1 243 -182 0

test.py

# Musab K.
# Licensed under the GNU General Public License v3.0
from functools import reduce

S = {}
for i in open("cevap.txt", "r").read().split("\n")[:-1]:
    n = int(i.split()[0])
    b = bool(i.split()[1])
    S[n] = b
    S[-n] = ~b

for i in open("soru.txt", "r").read().split("\n")[:-1]:
    N = reduce(lambda x, y: x|S[int(y)], i.split()[:-1], 0)
    print(i, "CORRECT" if N else "WRONG")
    if not N:exit()