Notes
This function is in beta test. Please help improve it in the issues
here.
Hints
Your answer may be identical to the JOJ answer in the first several lines.
However, the main problem you meet now is Time Exceeded. And the exit code of your program is -9, which should be 0.
Please double check your code to solve this problem and try again.
Your Answer
Start deductive solver for: (x28 | -x22 | x9 | -x19 | x21 | -x29 | x20 | x24 | x15 | x4 | -x21 | -x25 | x32) & (x6 | x26 | x23 | x27 | -x15) & (x4 | -x15 | -x3 | -x13 | -x8 | -x5 | -x29 | x25 | -x7 | x9 | x14 | x7 | -x2 | -x4 | x31 | x32 | x21 | -x33 | x10 | -x28 | -x9 | x34 | x17 | -x10 | -x31 | -x32 | x23 | -x30 | x11 | x33 | x3 | x20 | -x16 | -x11 | -x14 | x6 | -x19 | x5 | -x27 | -x6 | x18 | x27 | x1 | x29 | x0 | x24 | x12 | -x18 | -x22) & (-x31 | x16 | -x6 | x24 | x12 | x22 | x0 | -x0 | x8 | x27 | -x17 | -x30 | -x1 | x19 | x33 | -x24 | x2 | x15 | x1 | -x34 | x11 | x9 | -x2 | x18 | -x13 | x6 | -x21 | x3 | x28 | x13 | -x9 | -x18 | -x3 | x23 | -x4 | -x10 | -x33 | -x29 | -x8 | -x14) & (x7 | -x7 | x29 | -x4 | -x20 | -x31 | -x18 | -x27 | -x6 | x33 | x28 | -x1 | -x30 | x1 | x4 | -x23) & (x5 | x2 | x30 | x29 | -x14 | -x17 | x9 | -x32 | x11 | -x3 | -x22 | -x11 | -x4 | -x30 | -x31 | -x15 | x22 | x0 | x19 | x10 | x28 | -x27 | -x18 | x23 | -x29 | -x2 | -x12 | x26 | -x34 | -x24 | x18 | -x10) & (x10 | x18 | x17 | -x15)
JOJ Answer
Start deductive solver for: (x28 | -x22 | x9 | -x19 | x21 | -x29 | x20 | x24 | x15 | x4 | -x21 | -x25 | x32) & (x6 | x26 | x23 | x27 | -x15) & (x4 | -x15 | -x3 | -x13 | -x8 | -x5 | -x29 | x25 | -x7 | x9 | x14 | x7 | -x2 | -x4 | x31 | x32 | x21 | -x33 | x10 | -x28 | -x9 | x34 | x17 | -x10 | -x31 | -x32 | x23 | -x30 | x11 | x33 | x3 | x20 | -x16 | -x11 | -x14 | x6 | -x19 | x5 | -x27 | -x6 | x18 | x27 | x1 | x29 | x0 | x24 | x12 | -x18 | -x22) & (-x31 | x16 | -x6 | x24 | x12 | x22 | x0 | -x0 | x8 | x27 | -x17 | -x30 | -x1 | x19 | x33 | -x24 | x2 | x15 | x1 | -x34 | x11 | x9 | -x2 | x18 | -x13 | x6 | -x21 | x3 | x28 | x13 | -x9 | -x18 | -x3 | x23 | -x4 | -x10 | -x33 | -x29 | -x8 | -x14) & (x7 | -x7 | x29 | -x4 | -x20 | -x31 | -x18 | -x27 | -x6 | x33 | x28 | -x1 | -x30 | x1 | x4 | -x23) & (x5 | x2 | x30 | x29 | -x14 | -x17 | x9 | -x32 | x11 | -x3 | -x22 | -x11 | -x4 | -x30 | -x31 | -x15 | x22 | x0 | x19 | x10 | x28 | -x27 | -x18 | x23 | -x29 | -x2 | -x12 | x26 | -x34 | -x24 | x18 | -x10) & (x10 | x18 | x17 | -x15)