0;
No solutions.

1;
p = {}, n = {}.
p = {}, n = {}.

a;
p = {a}, n = {}.
p = {a}, n = {}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

A;
p = {A}, n = {}.
p = {A}, n = {}.

Z;
p = {Z}, n = {}.
p = {Z}, n = {}.

0;
No solutions.

1;
p = {}, n = {}.
p = {}, n = {}.

a;
p = {a}, n = {}.
p = {a}, n = {}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

A;
p = {A}, n = {}.
p = {A}, n = {}.

Z;
p = {Z}, n = {}.
p = {Z}, n = {}.

0;
No solutions.

~0;
p = {}, n = {}.
p = {}, n = {}.

~1;
No solutions.

~a;
p = {}, n = {a}.
p = {}, n = {a}.

~z;
p = {}, n = {z}.
p = {}, n = {z}.

~A;
p = {}, n = {A}.
p = {}, n = {A}.

~Z;
p = {}, n = {Z}.
p = {}, n = {Z}.

~0;
p = {}, n = {}.
p = {}, n = {}.

~1;
No solutions.

~a;
p = {}, n = {a}.
p = {}, n = {a}.

~z;
p = {}, n = {z}.
p = {}, n = {z}.

~A;
p = {}, n = {A}.
p = {}, n = {A}.

~Z;
p = {}, n = {Z}.
p = {}, n = {Z}.

~0;
p = {}, n = {}.
p = {}, n = {}.

~0;
p = {}, n = {}.
p = {}, n = {}.

~1;
No solutions.

~a;
p = {}, n = {a}.
p = {}, n = {a}.

~z;
p = {}, n = {z}.
p = {}, n = {z}.

~A;
p = {}, n = {A}.
p = {}, n = {A}.

~Z;
p = {}, n = {Z}.
p = {}, n = {Z}.

~0;
p = {}, n = {}.
p = {}, n = {}.

~~0;
No solutions.

~~1;
p = {}, n = {}.
p = {}, n = {}.

~~a;
p = {a}, n = {}.
p = {a}, n = {}.

~~z;
p = {z}, n = {}.
p = {z}, n = {}.

~~A;
p = {A}, n = {}.
p = {A}, n = {}.

~~Z;
p = {Z}, n = {}.
p = {Z}, n = {}.

~~0;
No solutions.

~~1;
p = {}, n = {}.
p = {}, n = {}.

~~a;
p = {a}, n = {}.
p = {a}, n = {}.

~~z;
p = {z}, n = {}.
p = {z}, n = {}.

~~A;
p = {A}, n = {}.
p = {A}, n = {}.

~~Z;
p = {Z}, n = {}.
p = {Z}, n = {}.

~~0;
No solutions.

~~0;
No solutions.

~~1;
p = {}, n = {}.
p = {}, n = {}.

~~a;
p = {a}, n = {}.
p = {a}, n = {}.

~~z;
p = {z}, n = {}.
p = {z}, n = {}.

~~A;
p = {A}, n = {}.
p = {A}, n = {}.

~~Z;
p = {Z}, n = {}.
p = {Z}, n = {}.

~~0;
No solutions.

~~~0;
p = {}, n = {}.
p = {}, n = {}.

~~~1;
No solutions.

~~~a;
p = {}, n = {a}.
p = {}, n = {a}.

~~~z;
p = {}, n = {z}.
p = {}, n = {z}.

~~~A;
p = {}, n = {A}.
p = {}, n = {A}.

~~~Z;
p = {}, n = {Z}.
p = {}, n = {Z}.

1&1;
p = {}, n = {}.
p = {}, n = {}.

1&0;
No solutions.

1&a;
p = {a}, n = {}.
p = {a}, n = {}.

1&~a;
p = {}, n = {a}.
p = {}, n = {a}.

0&1;
No solutions.

0&0;
No solutions.

0&a;
No solutions.

0&~a;
No solutions.

a&1;
p = {a}, n = {}.
p = {a}, n = {}.

a&0;
No solutions.

a&a;
p = {a}, n = {}.
p = {a}, n = {}.

a&b;
p = {a,b}, n = {}.
p = {a,b}, n = {}.

a&~a;
No solutions.

a&~b;
p = {a}, n = {b}.
p = {a}, n = {b}.

~a&1;
p = {}, n = {a}.
p = {}, n = {a}.

~a&0;
No solutions.

~a&a;
No solutions.

~a&b;
p = {b}, n = {a}.
p = {b}, n = {a}.

~a&~a;
p = {}, n = {a}.
p = {}, n = {a}.

1|1;
p = {}, n = {}.
p = {}, n = {}.

1|0;
p = {}, n = {}.
p = {}, n = {}.

1|a;
p = {}, n = {}.
p = {}, n = {}.

1|~a;
p = {}, n = {}.
p = {}, n = {}.

0|1;
p = {}, n = {}.
p = {}, n = {}.

0|0;
No solutions.

0|a;
p = {a}, n = {}.
p = {a}, n = {}.

0|~a;
p = {}, n = {a}.
p = {}, n = {a}.

a|1;
p = {}, n = {}.
p = {}, n = {}.

a|0;
p = {a}, n = {}.
p = {a}, n = {}.

a|a;
p = {a}, n = {}.
p = {a}, n = {}.

a|b;
p = {a,b}, n = {}.
p = {a}, n = {}.
p = {b}, n = {a}.

a|~a;
p = {a}, n = {}.
p = {a}, n = {}.
p = {}, n = {a}.

a|~b;
p = {a}, n = {b}.
p = {a}, n = {}.
p = {}, n = {a,b}.

~a|1;
p = {}, n = {}.
p = {}, n = {}.

~a|0;
p = {}, n = {a}.
p = {}, n = {a}.

~a|a;
p = {}, n = {}.
p = {}, n = {}.

~a|b;
p = {b}, n = {a}.
p = {a,b}, n = {}.
p = {}, n = {a}.

~a|~a;
p = {}, n = {a}.
p = {}, n = {a}.

1=~1;
No solutions.

1=~0;
p = {}, n = {}.
p = {}, n = {}.

1=~a;
p = {}, n = {a}.
p = {}, n = {a}.

1=~~a;
p = {a}, n = {}.
p = {a}, n = {}.

0=~1;
p = {}, n = {}.

0=~0;
No solutions.

0=~a;
p = {a}, n = {}.
p = {a}, n = {}.

0=~~a;
p = {}, n = {a}.
p = {}, n = {a}.

a=~1;
p = {}, n = {a}.
p = {}, n = {a}.

a=~0;
p = {a}, n = {}.
p = {a}, n = {}.

a=~a;
No solutions.

a=~b;
p = {a}, n = {b}.
p = {a}, n = {b}.
p = {b}, n = {a}.

a=~~a;
p = {}, n = {}.
p = {}, n = {}.

a=~~b;
p = {a,b}, n = {}.
p = {a,b}, n = {}.
p = {}, n = {a,b}.

~a=~1;
p = {a}, n = {}.
p = {a}, n = {}.

~a=~0;
p = {}, n = {a}.
p = {}, n = {a}.

~a=~a;
p = {a}, n = {}.
p = {}, n = {a}.

~a=~b;
p = {a,b}, n = {}.
p = {a,b}, n = {}.
p = {}, n = {a,b}.

~a=~~a;
No solutions.

1>1;
p = {}, n = {}.
p = {}, n = {}.

1>0;
No solutions.

1>a;
p = {a}, n = {}.
p = {a}, n = {}.

1>~a;
p = {}, n = {a}.
p = {}, n = {a}.

0>1;
p = {}, n = {}.
p = {}, n = {}.

0>0;
p = {}, n = {}.
p = {}, n = {}.

0>a;
p = {}, n = {}.
p = {}, n = {}.

0>~a;
p = {}, n = {}.
p = {}, n = {}.

a>1;
p = {}, n = {}.
p = {}, n = {}.

a>0;
p = {}, n = {a}.
p = {}, n = {a}.

a>a;
p = {}, n = {}.
p = {}, n = {}.

a>b;
p = {b}, n = {a}.
p = {a,b}, n = {}.
p = {}, n = {a}.

a>~a;
p = {}, n = {a}.
p = {}, n = {a}.

a>~b;
p = {}, n = {a,b}.
p = {a}, n = {b}.
p = {}, n = {a}.

~a>1;
p = {}, n = {}.
p = {}, n = {}.

~a>0;
p = {a}, n = {}.
p = {a}, n = {}.

~a>a;
p = {a}, n = {}.
p = {a}, n = {}.

~a>b;
p = {a,b}, n = {}.
p = {a}, n = {}.
p = {b}, n = {a}.

~a>~a;
p = {a}, n = {}.
p = {a}, n = {}.
p = {}, n = {a}.

1=1;
p = {}, n = {}.
p = {}, n = {}.

1=0;
No solutions.

1=a;
p = {a}, n = {}.
p = {a}, n = {}.

1=~a;
p = {}, n = {a}.
p = {}, n = {a}.

0=1;
No solutions.

0=0;
p = {}, n = {}.

0=a;
p = {}, n = {a}.
p = {}, n = {a}.

0=~a;
p = {a}, n = {}.
p = {a}, n = {}.

a=1;
p = {a}, n = {}.
p = {a}, n = {}.

a=0;
p = {}, n = {a}.
p = {}, n = {a}.

a=a;
p = {}, n = {}.
p = {}, n = {}.

a=b;
p = {a,b}, n = {}.
p = {a,b}, n = {}.
p = {}, n = {a,b}.

a=~a;
No solutions.

a=~b;
p = {a}, n = {b}.
p = {a}, n = {b}.
p = {b}, n = {a}.

~a=1;
p = {}, n = {a}.
p = {}, n = {a}.

~a=0;
p = {a}, n = {}.
p = {a}, n = {}.

~a=a;
No solutions.

~a=b;
p = {a}, n = {b}.
p = {a}, n = {b}.
p = {b}, n = {a}.

~a=~a;
p = {a}, n = {}.
p = {}, n = {a}.

G|0>H&1;
p = {H}, n = {G}.
p = {G,H}, n = {}.
p = {}, n = {G}.

~0;
p = {}, n = {}.
p = {}, n = {}.

1;
p = {}, n = {}.
p = {}, n = {}.

(0&~y=1)&y&x;
No solutions.

x;
p = {x}, n = {}.
p = {x}, n = {}.

z|x|x&(x=~x)&x;
p = {x,z}, n = {}.
p = {x}, n = {}.
p = {z}, n = {x}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

1;
p = {}, n = {}.
p = {}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

1|(~y=y&~y)|z&x;
p = {}, n = {}.
p = {}, n = {}.

1;
p = {}, n = {}.
p = {}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

(~1|~~x&(~1=~z))&((x=x|x)=x);
p = {x,z}, n = {}.
p = {x,z}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x=(z&(1&(1=x&x&y)&0&x&x&((y|0|0)&((y&0=x)|y)=y|z&(y=x)&~~(0&x&y)&x&~~x)|y)=1);
p = {x,y,z}, n = {}.
p = {x,y,z}, n = {}.
p = {y}, n = {x,z}.
p = {}, n = {x,y}.

y&y;
p = {y}, n = {}.
p = {y}, n = {}.

y=y;
p = {}, n = {}.
p = {}, n = {}.

~(y&x);
p = {}, n = {x,y}.
p = {x}, n = {y}.
p = {}, n = {x}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

y&z;
p = {y,z}, n = {}.
p = {y,z}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

0;
No solutions.

((z|x=(~((x=x&(y|1))&x)|x|0&z=x))=y&1&y&x&z)|z|(x=((x&x=1)=x))|y|x;
p = {x}, n = {}.
p = {x}, n = {}.
p = {y}, n = {x}.
p = {z}, n = {x,y}.

(x|y)&(1=x);
p = {x,y}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

(y=z)&(x=x)&x&z&y&x&x&x&x;
p = {x,y,z}, n = {}.
p = {x,y,z}, n = {}.

(~((x|1)&z&y&~z&z)&(x&x&~x&x&(1=y)=z|y)=1)|~(x|y);
p = {z}, n = {x,y}.
p = {x}, n = {y,z}.
p = {}, n = {x,y}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

z&y;
p = {y,z}, n = {}.
p = {y,z}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

y|1;
p = {}, n = {}.
p = {}, n = {}.

~1;
No solutions.

y;
p = {y}, n = {}.
p = {y}, n = {}.

1;
p = {}, n = {}.
p = {}, n = {}.

1;
p = {}, n = {}.
p = {}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

~(z&x&1)&x;
p = {x}, n = {z}.
p = {x}, n = {z}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

x&x;
p = {x}, n = {}.
p = {x}, n = {}.

y|x&0|y|y;
p = {y}, n = {}.
p = {y}, n = {}.

~y;
p = {}, n = {y}.
p = {}, n = {y}.

x=~((1|1|(z|z&(~y=z&z)=y)|~(x&x&1)&1&y&~y)&0);
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

~(1=y|y|z|y)|y;
p = {y}, n = {z}.
p = {y}, n = {}.
p = {}, n = {y,z}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

(((y|1)&1=y)|0&y)&y|z&x;
p = {x,y,z}, n = {}.
p = {x,y}, n = {}.
p = {x,z}, n = {y}.
p = {y}, n = {x}.

1;
p = {}, n = {}.
p = {}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

1;
p = {}, n = {}.
p = {}, n = {}.

(x=x)&~y;
p = {}, n = {y}.
p = {}, n = {y}.

(x|z&x)&y;
p = {x,y,z}, n = {}.
p = {x,y}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

0;
No solutions.

y;
p = {y}, n = {}.
p = {y}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x&x&0;
No solutions.

z&(((x|y)&(0|0)&y=~y)|~x|z)|y;
p = {y,z}, n = {x}.
p = {x,y}, n = {}.
p = {x,z}, n = {y}.
p = {y}, n = {x}.
p = {z}, n = {x,y}.

0;
No solutions.

x|1&(y|1&(y&~0&z=x&x&~~(z&x&x=x))&~x&~x)|(((y=y|1)=1)=1)|y;
p = {x}, n = {}.
p = {x}, n = {}.
p = {y}, n = {x}.
p = {}, n = {x,y}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

~(x&(x=(1&0=y)))&x;
p = {x,y}, n = {}.
p = {x,y}, n = {}.

x&0&x&~0&1=~(x&x=(~x=z|x)|(~x=~(x=x|y&x)));
p = {x}, n = {}.
p = {}, n = {x,z}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

~y&(x=z|~(0&~y=((z&(x=z)=1)=1|y&(y=((0=((0=0&1)=1))|~x)&x&y&0&y&x&y&x))));
p = {x,z}, n = {y}.
p = {x,z}, n = {y}.
p = {}, n = {x,y,z}.

(y=1)=~y&z&(x=(1=(y=1)))|z;
p = {x,y,z}, n = {}.
p = {x,y,z}, n = {}.
p = {x}, n = {y,z}.
p = {y,z}, n = {x}.
p = {}, n = {x,y,z}.

1;
p = {}, n = {}.
p = {}, n = {}.

(0=1)|0;
No solutions.

y;
p = {y}, n = {}.
p = {y}, n = {}.

~(x=y);
p = {x}, n = {y}.
p = {x}, n = {y}.
p = {y}, n = {x}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

0&~~y|y;
p = {y}, n = {}.
p = {y}, n = {}.

1;
p = {}, n = {}.
p = {}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

~~((x|(~(y|~(0|x&x)&(y=y)&~~x)|~(y=x)|0)&(~y|x))&z)&~(1=x)&0&y&z;
No solutions.

x&(~((x|((y&x=~~(x&(~y|0)|0|z))&~(x&(((~((x|(y=(y=y&(~1|x&((0|(~(0&(((1&(1|z)&(y&1|0&~((x=~~0)&x&(y&~y=x)&x)&(0|z|y|x&(x=z&~(x&~x))&~x|x))=y)=z)|(1=x)&x|y|1))=x&1|y)&y|z)&y|x))&x)))&x&x=~((y=(x|z)&y&(0=x))&(0|x=1)=x))=x&z)|x)&(z=1)|(x&~~((~(1=0)&(x|(~z=x&x&(0|x|x=~y|x&x&z|x|x)&(y|(z|(z&z=y)&y)&1)))&y=~y)&0&(1=z)|z=~0)&x&y=(y|~(~(z=y)&y)&(x&(1=~~(~0&y))&x|x))&y)))&(z&x&y&y=x)&x&((0=0&x)|0)&x&y|(x&~(1&(1|0))=~(~((y=0)|y)&~~~(0&1=0))))&y)&0)|x);
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

~y;
p = {}, n = {y}.
p = {}, n = {y}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

1;
p = {}, n = {}.
p = {}, n = {}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

~(0&(((1&(x=y&(x=y))&x|0|x)&x=0)|0))|y&~0;
p = {}, n = {}.
p = {}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

z&x;
p = {x,z}, n = {}.
p = {x,z}, n = {}.

~x;
p = {}, n = {x}.
p = {}, n = {x}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

(0|(x&x=z))&1&0&(y|(((x&x=(x=x|z))=x)=x))|x;
p = {x}, n = {}.
p = {x}, n = {}.

y|x;
p = {x,y}, n = {}.
p = {x}, n = {}.
p = {y}, n = {x}.

1;
p = {}, n = {}.
p = {}, n = {}.

(x=1)=x&x;
p = {}, n = {}.
p = {}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

y&z&0&y&y&x;
No solutions.

~1;
No solutions.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x&z;
p = {x,z}, n = {}.
p = {x,z}, n = {}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

0;
No solutions.

x&x|0&0&0&x&y&x&y;
p = {x}, n = {}.
p = {x}, n = {}.

~~1;
p = {}, n = {}.
p = {}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

0;
No solutions.

x;
p = {x}, n = {}.
p = {x}, n = {}.

y&(y=y);
p = {y}, n = {}.
p = {y}, n = {}.

~y=(0=(y=x|x));
p = {x,y}, n = {}.
p = {x}, n = {y}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

y&0&~(y|(y&x&~(1&~x|~x)&y|1)&(x|0|z&0)|(x=((z&x=x)=(~x=(~(x&(z|~x&((~(y&(x|z)|0)=x)=x))&x)|y)&(0|z|y)))))&y;
No solutions.

y|z;
p = {y,z}, n = {}.
p = {y}, n = {}.
p = {z}, n = {y}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

z=x;
p = {x,z}, n = {}.
p = {x,z}, n = {}.
p = {}, n = {x,z}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

y&x;
p = {x,y}, n = {}.
p = {x,y}, n = {}.

z&y;
p = {y,z}, n = {}.
p = {y,z}, n = {}.

x|0|x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

~(x&(y&~1&(z=0)=y));
p = {y}, n = {x}.
p = {x,y}, n = {}.
p = {}, n = {x}.

(1|(1=x&x&~(x&x&(x&z|~((1=x&~x&x)=x)))&(z&z&x|y)))&((x=((z|(x&0&x|y|y=x&y)=y&(x|0|(1|0|x)&y))&z=y)&(x=z)&z|x|~((z|(z&0=(~((x=0)&~x)=x)))&~1)&(x|x=x)&x|0)&(x|1)&y&((y=(x=z)|y)=((~(z|(~(1&y)=1&(1=x&1)))=0&(0|y|(1=~~y))&(z|((y&~1&(x=x)=(~(x=y)|y)&1)=0&x|z))&z&y)=x)&z)&y&(y&x&x|(~0=y))|~(x=1));
p = {x,y,z}, n = {}.
p = {x,y,z}, n = {}.
p = {}, n = {x}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

0&(~x|(x=x));
No solutions.

~y;
p = {}, n = {y}.
p = {}, n = {y}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

~(0&(1|y)&y);
p = {}, n = {}.
p = {}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

((y=x)|1)&~y|~y&y|0;
p = {}, n = {y}.
p = {}, n = {y}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

0;
No solutions.

z;
p = {z}, n = {}.
p = {z}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

y|y;
p = {y}, n = {}.
p = {y}, n = {}.

1&~(((x=x&~x&z)|z=~(y|y&(x=z)|(x=(y=~1|0))|y|y|x=x))&y)&1&y;
p = {x,y,z}, n = {}.
p = {x,y,z}, n = {}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

~x&x;
No solutions.

(~x|x)&~~z&(y=~(x&0&0|0|~0));
p = {z}, n = {y}.
p = {z}, n = {y}.

~y&z&0&~y;
No solutions.

~(x|1);
No solutions.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

z&x;
p = {x,z}, n = {}.
p = {x,z}, n = {}.

0;
No solutions.

~(x|~z|~(0|y)&y);
p = {z}, n = {x}.
p = {z}, n = {x}.

~1;
No solutions.

x&x;
p = {x}, n = {}.
p = {x}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

0;
No solutions.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x|0&y;
p = {x}, n = {}.
p = {x}, n = {}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

x&y=x|0&0&(x|y)&x&x&~1&z&x&~x;
p = {x,y}, n = {}.
p = {x,y}, n = {}.

y&(~x|~x&0)&(y=(y&x|z)&((x|1|y&((((x=x)=~(x=x))|z&~(x&(x|x)&(x&y|y|x=y&y)|x=x)&~(x&x))&x|1=x))&(x=x)|1|y));
p = {y,z}, n = {x}.
p = {y,z}, n = {x}.

y=0;
p = {}, n = {y}.
p = {}, n = {y}.

x&(z=z);
p = {x}, n = {}.
p = {x}, n = {}.

1;
p = {}, n = {}.
p = {}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

z&(y|x&x|~z&y&1&y);
p = {x,y,z}, n = {}.
p = {x,z}, n = {}.
p = {y,z}, n = {x}.

z|x;
p = {x,z}, n = {}.
p = {x}, n = {}.
p = {z}, n = {x}.

~x=(((y|x=x)|y&0&1&z&0=1)|y)&z;
p = {x}, n = {z}.
p = {x}, n = {z}.
p = {z}, n = {x}.

1;
p = {}, n = {}.
p = {}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

x=y;
p = {x,y}, n = {}.
p = {x,y}, n = {}.
p = {}, n = {x,y}.

x&~x;
No solutions.

y;
p = {y}, n = {}.
p = {y}, n = {}.

1|0;
p = {}, n = {}.
p = {}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

0;
No solutions.

x;
p = {x}, n = {}.
p = {x}, n = {}.

(~((~x&y|y)&(~x=~y&0|(1=x)|0|(y&x=x)))=x&y&1&x&z&0&z&x)&(y=(x=(y=(x=1)))&y)&y;
p = {y}, n = {x}.
p = {y}, n = {x}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

z;
p = {z}, n = {}.
p = {z}, n = {}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

y&~(0|(x&(1=~((x=(x=(z&x=x|1)|~~y&0&~y))|x))=z)&(z|x)&z);
p = {x,y}, n = {}.
p = {x,y}, n = {}.
p = {y}, n = {x}.

x;
p = {x}, n = {}.
p = {x}, n = {}.

y&x&0&x&z;
No solutions.

0|x&0&x&((z=(x|z)&x&(0=x)&(~x=0)&z)=(x=0&(x=~(x&0))))&x;
No solutions.

z|~~(~0&1)&y&(x|(0=~0)|x|x);
p = {x,y,z}, n = {}.
p = {x,y}, n = {}.
p = {x,z}, n = {y}.
p = {z}, n = {x}.

y;
p = {y}, n = {}.
p = {y}, n = {}.

0&((0=1)=1);
No solutions.

z;
p = {z}, n = {}.
p = {z}, n = {}.

~x;
p = {}, n = {x}.
p = {}, n = {x}.

0;
No solutions.

~~~(x&(~((y&y&x|x=x)&y)=y)|~y)&y&(~0|y|y|z);
p = {x,y}, n = {}.
p = {x,y}, n = {}.
p = {y}, n = {x}.

a|a&b|1|a|(f>b|a&b)>(~c&b>~(f=~a))|d&c|a&e|~(1|b|~(b&a&b&~~(c&1))|b&~b);
p = {a,c,d,e}, n = {b}.
p = {a,b,c}, n = {}.
p = {a,b,e}, n = {c}.
p = {a,b,f}, n = {c,e}.
p = {a}, n = {b}.
p = {b,c}, n = {a}.
p = {b}, n = {a,c,f}.
p = {}, n = {a,b}.

a>c>d;
p = {d}, n = {a,c}.
p = {a,c,d}, n = {}.
p = {a}, n = {c}.
p = {}, n = {a}.

b&~(b>a&a&(a>1)>(~a>c)&(~0|~f)&(~c&~~a|~(a=~a)))&(e>~(c>1))&(d>(a=e))&(0|~c)&(c>~(b=f))&(e>~(b>~~a>d)|~d&f&0|(1&(a|~0)>~(d|a|(d|(c=~0))&~(1&(d|~d|a&0)))))|(~(a=1)>(~(~a&d)|(~~a&(a>~~e)=~~(b=~(f|(f=~(0&a))))))&(~~((b|b|~d|(d=~c)|(f>a))&~f&a)&(b=b)|~c&~b&a))=(a&(a=~~c)&~((0>~c)|(a=~d))|0|(d>f&a))&(c|a)&(b>a);
p = {a,f}, n = {d}.
p = {a,d,f}, n = {}.
p = {a}, n = {d}.
p = {b}, n = {a}.
p = {c,d}, n = {a,b}.
p = {}, n = {a,b,c}.

(~a>~(0|~(f|~(b&d))))&(~~(~(0>a)|d&~1)|(c>f&~b&b))|((b&c&b|~c&(c|a&a)>(a=a|c)|~1&a&b&c)>(~~f=~(d=~~a))=~((d|b)&(b|b>~0|a)|e|a&~(f&f))&(b|~0>~(e>~~b&e)));
p = {a,b}, n = {c}.
p = {a,b,c,d,f}, n = {}.
p = {a,b,c}, n = {d,f}.
p = {a,b}, n = {c}.
p = {a,c,d,f}, n = {b}.
p = {a,c,e}, n = {b,d,f}.
p = {a,c}, n = {b,d,e,f}.
p = {a}, n = {b,c}.
p = {b,d,f}, n = {a,c}.
p = {b,d}, n = {a,c,f}.
p = {b}, n = {a,c,d}.
p = {c,d}, n = {a,b,f}.
p = {c,f}, n = {a,b,d}.
p = {}, n = {a,b,c}.

~~((c>f)>(1&f>a&(~(a&b)>c>b))&(e>e&c));
p = {a,b,c}, n = {f}.
p = {a,b,c}, n = {}.
p = {a,b}, n = {c,e}.
p = {a,c}, n = {b,f}.
p = {a}, n = {b,c,e}.
p = {c}, n = {a,f}.
p = {}, n = {a,c,e,f}.

e&(f>a|~~(b=~d))&~(b&~(b&a))&~(0&(c|d)&c&(b|0)>(((~~b|f)&a&c&~(a&f)>~(~a=~(a&b)))&(c=~(d&~~0))=~~(0&a&b&(b|(~c>d)))&~((d>0|0|d)&~((d=~(~a|a))&(c|a|a))&c&a)))>(a|~b&1>~(b|e))&~~((e|(d=~1))&(f|c|~b|1|a|~~(~b>(1=~(1&d)))))&~(d&0&(d|d|~~d>~b|0));
p = {}, n = {}.
p = {}, n = {}.

~~(e|(b>f))&~~(a&d&~1&~~d)&(~(((f=~c)>~(~~a&0>~(~b|~(b|d))))>b>0)|((b>1)&~(d&e)>(~~a=~~(~~d&1&~1&f&a))));
No solutions.

~(c&(d|c));
p = {}, n = {c,d}.
p = {}, n = {c}.

((c|(b&d=~(a|a))>a|a|b&~a)>~a>~b)>~~(c&~(1|1))|~~((b>1)|(~(a|a&b>~((~d=~~a|a)>~0&a&(c|~0)))&(a|~(c|a=~(c&d)))|~d&a&d>~~(b|0|e=~((a=~(0|b))=~((a>e)&(a|b)&(d|e))))|c&~(a|a)));
p = {}, n = {}.
p = {}, n = {}.

(~~b>a>~(~a|~~a))&((~(~(b|~a)&(b|c))=~(a&c=c|d))|(~(a>a&~c)&~(~a|c)|(c&0>0|~(~b|d)))&~((b>~~(d&~c))|(a|c|b)&e&a&(~~0>c))|((a=~(1>a))>d&~(b|a|~b))&(~0&b|1&~(c&1)));
p = {a,c}, n = {b,e}.
p = {a}, n = {b,c}.
p = {b}, n = {a}.
p = {c}, n = {a,b}.
p = {}, n = {a,b,c}.

(b|e&a>a&~(b|b)=d|~~a)&(b&0&~(~b|d=~(b|f))&~~(d|a&1|a&a)|~(~((0>b)|c|~0)=~(c&f)))=~(a&~d&a|(0|~a>d&(a>~d)&~~(b&a)&a&(a>b)|(c>a&b)|(a=~b)&(a&(a=e>a)>d>b)&(f>f&~a))|((~(0&(~c=~~b))>~~(d=0))>e&f&b));
p = {a,b,c,e,f}, n = {}.
p = {a,b}, n = {}.
p = {a,c,f}, n = {b}.
p = {b,c,d}, n = {a}.
p = {b,c,f}, n = {a,d}.
p = {b,d}, n = {a,c}.
p = {c,d,f}, n = {a,b}.
p = {}, n = {a,b,c,d}.

~(e&~(a=b)>b&~b&(a|e));
p = {a,e}, n = {b}.
p = {a,e}, n = {b}.
p = {b,e}, n = {a}.

~~(((~((~~(c&~1)>a&~b)|~(~1&(c=~(1|f))))=~(0&(0>~f)))=a&b|b|~b)>~~((d&a>~~(a|~1)>d&a|(c>(1>c)&a&~~a))&(~(1&(f|~a))|(a>0>a))&~(~~((~b|~b|c&a)&(b|~0)>~~(a>~c)&~(a|e|0&c)&a&0)|d&(d|~~a)&~~(c|~1)&(b>1)=~~~(~~(f>a)&(b>a)))));
p = {a,b,d}, n = {}.
p = {a,b}, n = {}.
p = {a}, n = {b}.
p = {b}, n = {a}.
p = {}, n = {a,b}.

(b&(~d|0)|~(~~b&b>f>c|b)|~~(~(a&a)&~(c|~~0))&(1|~d&~a)&d&b)&(~(1&0&0)&(e>e)>d>~(f=~a))&(c=~f);
p = {a,b,c}, n = {d,f}.
p = {a,b,c}, n = {d,f}.
p = {a,b,f}, n = {c,d}.
p = {b,c}, n = {a,d,f}.
p = {b,f}, n = {a,c,d}.

~((c&f>a&(c|f))&((1>~(b&~~a)|~~(f&(~~c=~e)))>b&(~b>~b))|(~~a|d|~(~(1|(d=f&e))|~(1&a)&(c=~~0)>~(~~b&~(b&~b&~c)&(~((a>b|a)&(1|~(~a>a)))|f&(~c>~b)&c&(a|b))))>~~c&~(d|0|b|a|~~(b>a&1))&1&a))|a&(a&a>(b&b&a=~(d&~~(b>b))))&~~(b&(~f|e&b))&~(f&c>e&1&~(e|e))&(~~c=~f)&~(~(~a=~(0&e))>~(c&0&a&~e)=((c=~(b&a))=~(b&a&d&d&f)))&(0&~~a&d>~(0&~a&a))&~(e&a=b&d);
p = {a}, n = {b}.
p = {a}, n = {b}.
p = {b,c,d,f}, n = {a}.
p = {d}, n = {a,b}.

(e=~~(a|~c))|a&(a|~~b|a)|(c>~(a>d))|~b|(~(b|b)>a>f|f)|~(~f&~~(a|~(f&0)))|~(f|a|d|a&(a>(c=~a)))>(~(e&f&a)|~(a|(~a&~d|(0>e=a|~c))&(c|~b))&c&~(~((b>(~e=a>~~0))>0|d)&~~(~1|f))&(e|~((~e=~(~0>b))&(a=a))=e|(a>a))=~~(~~(a&a&a)&(a|~(~~b|b&a))|~((d=~(d>~(b&a)))&(c|d|0)&(e|1&e)>c|a)&(a>~~(~(a|(~(0=d&b)=a|a|a&b))&a&a&~~b|a&b|(a|c|(a|f)&(e|f)>b|f)))));
p = {a}, n = {e,f}.
p = {a,e}, n = {f}.
p = {a}, n = {e}.

(~(~0=~d)|(~~(~(b=d)|e&b)&a&a=~(1|b))>b>0&f&d)&(a=~(b&d&e)>(a=~d))=~b|(~~c=~~(a=d));
p = {a,b,d}, n = {c}.
p = {a,b}, n = {c,d}.
p = {a}, n = {b,d}.
p = {b,c,d}, n = {a}.
p = {b}, n = {a,c,d}.
p = {}, n = {a,b,d}.

~(f>~e)|~(~(~c>d&f)&b&e&b&~~((0|a)&c&c));
p = {c,d,f}, n = {a,b}.
p = {a,b,c}, n = {}.
p = {a,b}, n = {c}.
p = {a}, n = {b}.
p = {}, n = {a}.

~(((f>~(~d&b))&(~a&~(b=c)|(a|d&~a&c=(a=~(b&f))))&~((d>~(~c&d&~d))|(d>~(b|~a)))>(~~d|(a>~(~c&~~c)))&((b|a)&a&(~d|c|a)&~~(b|(d>b))|(d=e)))|(a&~a>~(b=~(c=d)))|(a=~~0)&(c=~~(a>c))|((b|b)&(b>b>a)&0&~e|0&(e>~c)|~b&~((1=a&b)&~(a>a|~a)&~~((c>b)|(b|b|~~b=~(a&c))))=~(((a>~(~d>d))|(~~(a&~(0>b))&c&d&~(0&(~(b|b)>d>0)&(~e>b|e|e|a))=~~1|a&a&c&(a|~f&~(0=e))))&((c>~1>a|~b)>a|~a))));
No solutions.

((~f&0=~(d|a|~~a|~b|a))|(c|b&(b>~e)>~(b|(c>0)))>(c&~~(f|c)>e&~a)|c&0&b&f)&(b|1|((a=~d)=(~~(a|~(~b=~~c)|~~f|f)&a&b&b&~d=~(a&c&~a&(d|0|d|(e>~f)=(~d=c|a)&d&(b>1)))))&(a>1&1=~(~~a|~((~b>~0)>e&~(a|~e)|~(a|e))=~(b&~a))));
p = {b,c}, n = {a,d,f}.
p = {a}, n = {c}.
p = {b,c,d,e}, n = {a}.
p = {b,c}, n = {a,d}.
p = {b}, n = {a,c}.
p = {c,e}, n = {a,b}.
p = {}, n = {a,b,c}.

~(~~(0|(~c&b&e&(0>~~a)=c|(c>~(~d=~d))))=(~~b|c)&(~(d&f&a&(d>~(a=~f)))|~a|d));
p = {a,b,c,d}, n = {}.
p = {a,b,c,d}, n = {}.
p = {a,b,c}, n = {d}.
p = {a,b,d}, n = {c,e}.
p = {a,b}, n = {c,d,e}.
p = {a,c,d}, n = {b}.
p = {a,c}, n = {b,d}.
p = {b,c}, n = {a}.
p = {b}, n = {a,c,e}.
p = {c}, n = {a,b}.

(e=~(b&b))|~(0|1&~f)=(a=~(~b|~~a));
p = {a,b,e}, n = {f}.
p = {a,b,e}, n = {f}.
p = {a}, n = {b,e,f}.
p = {b,e}, n = {a,f}.
p = {e}, n = {a,b}.
p = {f}, n = {a,b,e}.

~~(~(a|d)|~c|~(~(c&(c>0))&~(b&(b>~~a))>c|d>~f|f)|(f&d|b&a)&~(~(d>f)&(~d>0)>(1=~d))&((a&a>b&a)>(e|~(b>f))&(a=~~(b|d)))&(a|f&~a>a&~e)&a&~(c&b)|(a|a)&(e>a)&(0|~a&a|~(~(c>a)&~(1|d|~1))|~(1|(1|~b=~(a&a)))&b&a&f));
p = {a}, n = {c}.
p = {a}, n = {}.
p = {c}, n = {a,d}.
p = {}, n = {a,c}.

~(b&((0=~a)=~(a&(1=~f)))&(~a|c))>~~(a&0)&(a|c&d);
p = {a,b,c,f}, n = {}.
p = {a,b,c,f}, n = {}.

~~(~~((c|d|b&~1=~(b&b))=~((f>~a>d&a)&(1=~a)|~~(~(f|d|~b&c&~b)&((~~(e>~~1)=~(e&e))>~((c>a)|~(b>~~b))))))>c|a|~~f&f&(~b|b)|~(e&e));
p = {a}, n = {}.
p = {a}, n = {}.
p = {b,c}, n = {a}.
p = {b,d,e,f}, n = {a,c}.
p = {b,d}, n = {a,c,e}.
p = {b,e,f}, n = {a,c,d}.
p = {b,e}, n = {a,c,d,f}.
p = {b}, n = {a,c,d,e}.
p = {c}, n = {a,b}.
p = {d,e}, n = {a,b,c}.
p = {d}, n = {a,b,c,e}.
p = {e,f}, n = {a,b,c,d}.
p = {}, n = {a,b,c,d,e}.

~((0|b&b)&(b|~(~~e>b))&((~c>d)>e&a>b&f)|(d>~~a>a));
No solutions.

((0|(~(b|~(~~a|f))>~(~~a>c)=~(~a&~c)>0>a))&~0&(d|(d=~(~0|~d&a)))>(1|c)&((e|b)&(~a|d)|(f>b>a|a)))&(((a=~(c|e|(a|~f=~(b=(~~0=~b)))&(0|b)))>~(b>a|c))>a|~d>a&b)&(~(~b=c&d&b)&(a&f>~a|~~b&d)|((d&(a>a)&(a>~1&e)=a&~~c&a)>d|(1>~a)));
p = {a,b,c,d}, n = {e,f}.
p = {a,b,c}, n = {}.
p = {a,b,d}, n = {c}.
p = {a,d}, n = {b,c,e}.
p = {a}, n = {b,c,d,e,f}.
p = {b,c}, n = {a}.
p = {b,d}, n = {a,c}.
p = {c}, n = {a,b}.
p = {d}, n = {a,b,c}.
p = {e}, n = {a,b,c,d}.

a=~a;
No solutions.

(a|0|((~e>d|d)>~(~~a|a))|~(b&(f=b&~b)))&(1|a);
p = {a,f}, n = {b,d,e}.
p = {a}, n = {}.
p = {}, n = {a}.

(c|c&(~(d|a|((f>(a=~~a))&a&~a>~e>b)|(0>a))=~(d&~0))=~(((~((a|e|a&(a|a|a))&(~1|b&~e)>c|1|1|~(b&a)|~(1=1))>~((~(1&~(0=a)&(~(f&d)=~~(~d&f&~1))|((a|(1>c))&(~(d&d>~a|1)|~(b&c))&~(f=~(~e|~(a|~~b)))=~(d|c))&(b&a&a=d|~~(a&c&(~~b|~a)))>(~~a=b))>c|~(1>b))|(1&b>a&f)))|(~(~~(b=~a)|1&(1|a))=~((a|~a)&(a=~(a|b))|(a>d))))&f&d))&(a&(~f|a&f)=(c=~(b|b)));
p = {a,b,d,f}, n = {c}.
p = {a,b,d,f}, n = {c}.
p = {a,c,d}, n = {b,f}.
p = {a,c}, n = {b,d}.
p = {b,c,d}, n = {a,f}.
p = {b,c}, n = {a,d}.
p = {d,f}, n = {a,b,c}.

~(~(f=1|(~~0=b>a))&((a|a|d&(f|0|a)>~(e&~~e))|(1=~(a|1|b))&~(((~e>0)|c|~0)&~(e|~0|(a=1)=c|f&0)&(~b|b&(b>a|b)&~(e|1)&(~(~~(b=~d)>~~(1=b)&~(~(1>a)|a&~a|b&d|~~1|(~~a=f))=e|f&c)|a&a)))=e|b|~a|~(a&b|(b>~a))|(~~b=a)&(c=~a)&~c&b&((d|(b=(b=~~(b&b))))&~c&~~b&f=~(~d&a))&(((d=~d)>b&a=~d|a&~0|(d|0)&f&a|0&~(b&b))=~(c&~0>a&d))));
p = {a,b,e,f}, n = {}.
p = {a,b,e}, n = {}.
p = {a,b,f}, n = {e}.
p = {a,e,f}, n = {b}.
p = {a,e}, n = {b,f}.
p = {a}, n = {b,e}.
p = {d,e,f}, n = {a}.
p = {d,f}, n = {a,e}.
p = {f}, n = {a,d}.

~(a&(~~a|d))&(~d|(~e>(f=c|a|b)))&~((a|c|a|f)&(1=e>b)&(b|~(b&1)))&c&~c&(a|~a);
No solutions.

~(~(f|c|b)&(~a>c)&~((c|(a>(a=e))=~(e|b|d&b|a&a))|(1&(a|d)>~(d|a))))=~(~~(((d>~(f>c&c|1&(~b|a))&(f|b|b>(~b=~~(b|b)))&~~(b>c))|(0|~(a&a))&c&b)&(a=~1))&b&a);
p = {a,b,c,f}, n = {e}.
p = {a,b}, n = {}.
p = {a,c}, n = {b}.
p = {a,e,f}, n = {b,c}.
p = {a}, n = {b,c,e}.
p = {b}, n = {a}.
p = {c}, n = {a,b}.
p = {}, n = {a,b,c}.

((a>b&(b|d|a|(c=~~b)))|~(~b>b))&(a>a&d)&~(e&(b>1))&d&f&~~((c>~a)|1|b);
p = {a,b,d,f}, n = {e}.
p = {a,b,d,f}, n = {e}.
p = {a,d,f}, n = {b,e}.
p = {d,f}, n = {a,e}.

~(a>~(d|c))|~~(~(~(c|c)|(c>(a=f)))|~(a&~~(c|d)))&b&d&a|~(((~(d>~e&(a=~1))|~(b|d&a)=~(f&c)&~(c>d))=~(f=a))=~((c|~(f=~a)|(c&(f|a)|a&~~0&(c>b))&~~(a|~(b=~b)|(a>f)))&~(~~(b&f>~~(b=~((e>~(d|b))&~~(d|~~d))))=~(~(~(d>~a)>(a=~(b|a)))|c|a))))|d&(~a&(1>a)>(~a>f&(0|~d))&a&c&a);
p = {a,b,c}, n = {}.
p = {a,b,c}, n = {}.
p = {a,b,d}, n = {c}.
p = {a,c}, n = {b}.
p = {a,d}, n = {b,c}.
p = {a,f}, n = {b,c,d}.
p = {a}, n = {b,c,d,f}.
p = {b,c,d}, n = {a}.
p = {b,c}, n = {a,d}.
p = {b,d}, n = {a,c}.
p = {b}, n = {a,c,d,f}.
p = {c,d}, n = {a,b}.
p = {d}, n = {a,b,c}.
p = {f}, n = {a,b,c,d}.

~(~~(~~((a>~(e|~(b=d)))&(0|~~(f|a)>b&(d|~(d&d)))|~~(c&c)&(b|(e&~~(d=~(b&d))&~(a&(a|(b>b)))|d&e)&(a|a)))=~~((~b|(a>a|~1)|d&c|~f&b&(~f|~0)&(b=~a))&(d|c)&(c>~(~0=~~~a))&(a>~(~d|(a=~a)))&(~~c>~b>a)>~~(~1|a)))=((e=(1=~c))&0&0=~(~((0>c)>a&b)&e&e|((b>c|~b)>1&(b|~a)))));
p = {a,b,d,e}, n = {c}.
p = {a,b,d,e}, n = {c}.
p = {a,b}, n = {c,d}.
p = {a,c,e}, n = {b,d}.
p = {a,e}, n = {b,c}.
p = {b,d}, n = {a,c}.
p = {c,f}, n = {a,b}.
p = {d}, n = {a,b,c,f}.
p = {f}, n = {a,b,c,d}.

((1|a|~a)&(~f=~~(1|c))|(~~(a=~(a=~f))>(d|a&(0|~a)|~(b=0))&(c|d))&(c&d&a|(d=~(1&(d|c)))|~(~a|1&c)&~(0=~~f)))&(a&b|~(d&~~e)>(~~a>a&(b=~(c>e)))&(~~0&(f|d|d|a&a)=~(a|~(d|d&a))))|((b=d)=~(~b&(~~1>c)|~(b|~~(a&c&a&a))|~((1&(b|a|~a&(b>b))=~(~a|c))>((c>~(b|f))&~a&a&d|c|~d=~(a&0)))))|~~((b>b)&((f|~a&(c|~(~~a|b)))&~(a&(f>1)>~(d&a))=~a&a));
p = {a,b,c,d}, n = {e,f}.
p = {a,b,c,d}, n = {}.
p = {a,b,c}, n = {d}.
p = {a,b,d}, n = {c,f}.
p = {a,b}, n = {c,d}.
p = {a,c,d}, n = {b}.
p = {a,c}, n = {b,d}.
p = {a,d}, n = {b,c}.
p = {a}, n = {b,c,d}.
p = {}, n = {a}.

1&~(e&0|(~~b|f>a&~(~c>b)))&~b&d&d;
p = {c,d,f}, n = {a,b}.
p = {a,c,d,f}, n = {b}.
p = {d,f}, n = {a,b}.

(~a=1&~(~~a=0))&(b>d)|c|(b=~a);
p = {a,c,d}, n = {}.
p = {a,b,c}, n = {}.
p = {a}, n = {b}.
p = {b}, n = {a}.
p = {c}, n = {a,b}.

~(~(0&(~(c&f&f)>a&a=~(b&a&a)))|~~(~1&(c=~(b&c))|(e=~(c&1)))|(~~(~(f=~~(~~a|a))>~~((~c>c&(1|0))|c|b))=~((f=~((b=~d)|1|0))&c&(c=b)))|(~(a|b|a)=~(~(~c>~(b|d))>~b|d))=~(d&~(a&d)))|(e>c|~~(0&c)&~(0>0>c)&(d&e>e&(d=~~0))|(~~b=d)&(~c|b))&(~(c|0)&(d|a&c&~d)&1&~(~~a|1)>b&(b|~~c)|~(c=~a))&~(a&a&(e|c|(b=~a))=~(((~a=~a)=~(0>(a=~~e)))&(f|b&~b)=~0>c>f));
p = {a,b,c,d}, n = {f}.
p = {a,b,c}, n = {f}.
p = {a,b,d}, n = {c,e}.
p = {a,b}, n = {c,d,e}.
p = {a,c}, n = {b,f}.
p = {b,c,d}, n = {a}.
p = {b,c,f}, n = {a,d}.
p = {b,d}, n = {a,c}.
p = {b}, n = {a,c,d,e}.
p = {c,d}, n = {a,b}.
p = {c,f}, n = {a,b,d}.
p = {d}, n = {a,b,c}.
p = {}, n = {a,b,c,d}.

d&(~d=b);
p = {d}, n = {b}.
p = {d}, n = {b}.

~~((e>(~~(a|b|b)=~(b|b)))>~(c&~1)&(~((1|c&~c|(a|d>e>~a))&(~b|b>~(b>c)=~~(~(~~(b|~a)&0&((d>0)|~b|c))&a&a)))=~~~(f|e|(c>~~a)>a&0&c|~~(1>f))))|~(a&~b&((d>1)|a|b|(b>a>b&0)))>(e>e&(c|~d|~b&~d))&(a|(~a|a)&a&b|~(a&(e|a&c)&~(a&(b>a))))|(0|a)&b&b=~~((b>c)>a&(b>~b));
p = {a,b}, n = {c}.
p = {a,b}, n = {c}.
p = {a,c}, n = {b}.
p = {a,d,e,f}, n = {b,c}.
p = {a,d}, n = {b,c,e}.
p = {a}, n = {b,c,d}.
p = {b,d}, n = {a,c,e}.
p = {b}, n = {a,c,d}.
p = {d,e}, n = {a,b,c}.

d|c;
p = {c,d}, n = {}.
p = {c}, n = {}.
p = {d}, n = {c}.

(~e=a)|(~c|~(f&~~b)>a|((d=~~a)|(e>b))&(0>1|a));
p = {a,b,c,f}, n = {}.
p = {a}, n = {}.
p = {b}, n = {a}.
p = {d,e}, n = {a,b}.
p = {d}, n = {a,b,e}.
p = {}, n = {a,b,d}.

~(((~b|(~(0&(a>b))=~(a&a&a)))&~(a>b&~1&(1>~~a)&a&e&~d)=e>~~(~a&c=~~(e>1|(a=~~b))))=~~(e|0|(d>~b)|~~((e>b|f)|(a>b)|~~(b|~a|~~(f&~~a)|~(c=(a>d)>c|a|~(d&d))))&(a=~(d|a))&a&d))&~~((a>~(b&d)|~(~~e|(~b=a)&(d|b)&~~c&a&(e>c))|(1>1))|(a>0));
p = {a,b}, n = {d,e}.
p = {a,b}, n = {d,e}.
p = {a,e}, n = {b}.
p = {b,c,d,e}, n = {a}.
p = {b,c}, n = {a,d}.
p = {b}, n = {a,c,d,e}.
p = {c}, n = {a,b}.
p = {}, n = {a,b,c,e}.

~~(b|1|(b>(d|1)&a&b))&(~a|~c|~a|~c|d)|~c|((b=~d)>c>b&f&~(c&~b));
p = {b,f}, n = {a,c}.
p = {a,b,c,d}, n = {}.
p = {a,b,c,f}, n = {d}.
p = {a,b}, n = {c}.
p = {a,c,d}, n = {b}.
p = {a,c}, n = {b,d}.
p = {a}, n = {b,c}.
p = {}, n = {a}.

~((e&e>~~(((~f>~a)|a&c|(~~b>(c=~(b>a))))&((0>~d&~b=d|~(e|e))>(a|~(1&~(a|a))>~(b&(d|b)))|d&(a|a))))|~~(((a=(1|c)&b&a|c&b|b&0)&((d|a>(~~a=a))|~b&b&b|~(~b&b&c))|c|~((b>0&~~(a&a&a))&~(0=~(1|~~f))))&~~((~a&(a|~b)=~((d=~a)&b&b))|a|a)));
No solutions.

b>~b=~(d|(~~d>e));
p = {b,d,e}, n = {}.
p = {b,d}, n = {}.
p = {b}, n = {d}.

(0&e|(b=~c)>~((~0|a|d)&~~0&~(~(~0|a)=~(d|c))>~b|d)|(c>f)&(~c|(~1>d)))|(d|~(c&~1)>~c|~(c|a))&(~d>a)&(~b|~(0=~f))&b&~f&d&~~(b&a&(~0=a)|~((a>a&(f|f)&(c|a))&d&a&(a|~(b|b))));
p = {a,b,c,d}, n = {}.
p = {a,b,c}, n = {}.
p = {a,b}, n = {c}.
p = {a,c,f}, n = {b}.
p = {a}, n = {b,c}.
p = {b,c}, n = {a}.
p = {b}, n = {a,c}.
p = {c,f}, n = {a,b}.
p = {}, n = {a,b,c}.

~(~~((~c&f>c|~b&0)&(b|~(~0=a)))|(0>1&a));
No solutions.

f&b;
p = {b,f}, n = {}.
p = {b,f}, n = {}.

~(d&(c|f&b&b))&(0|~b>a>~~a);
p = {}, n = {b,c,d,f}.
p = {b,c}, n = {d}.
p = {b,d}, n = {c,f}.
p = {b}, n = {c,d}.
p = {c}, n = {b,d}.
p = {}, n = {b,c}.

d|a|a|(a|b&a)&(c|(e>a));
p = {a,b,c,d}, n = {e}.
p = {a}, n = {}.
p = {d}, n = {a}.

(~(f&(~0|c))>~b>b)|b|~f|(a>f)|~(b&d&(a>a))|(b>e|(a=b)|~(a&(e|d|e|a)>((e=~~(~(c|b)>f|e))=~c|f)|(b|0=~(b>~(~e=c)))))&(a|a&0|b&~(d>b)&a&e>(d=d)&d&b&((~b=(a=~(b|a)))|~f|b))|~~a|(~(d>a)>~(a&c));
p = {a}, n = {}.
p = {a}, n = {}.
p = {}, n = {a}.

~((~(~~d&(a|b))&(0>~(d&a))&(~1|(d>f&d))|~~(~(d=~(~a>~1))=~~((a=b)|~a&a&~b&~(d=~d)&(e>b))))&~1&((((c>~a|b>(a|c)&(~e|a)|~d|~b)|~(d|a|1)>(c>a=~(d&f&~(~(d=b)&(~d>d)))))>a&(~b=~~b))>0|b&~(b>~f)));
p = {}, n = {}.
p = {}, n = {}.

(b|(~a=~d))&(1>b&a)>b>~(~a=~~a);
p = {a}, n = {b}.
p = {a}, n = {}.
p = {}, n = {a}.

~(b&(c|b))>~(~(a|~~(~c>~~e))&~(~(~0&a)&~(d|0|(b>b))))=~((a>b)&((0|f=~c&c&~(a|b)&(~(~a>~~(~e|a&a>d&c&0))|1&0&a&a))|~(~~(c=c)|~(0|~d)&(e=~~c))));
p = {a,f}, n = {b}.
p = {a,b,f}, n = {}.
p = {a}, n = {b}.
p = {b,f}, n = {a}.
p = {c,f}, n = {a,b}.
p = {e,f}, n = {a,b,c}.
p = {}, n = {a,b,c,e,f}.

~((a|~b|(c>a|~1))&e&(a>~b)&~~(e&a&a&(b>~(b>b))|f|(c=~(a|b)))>~(d&a&(f=a))|~(a>a)&(c>a)&~c&~(~c=1)>~((c&~d|(f>c)>c|b)>(a|a&a&c)&(e=~(0&~(1>a))))|(e|~~(0=~f|~~(~~a|a))=b>1|f));
No solutions.

a|0&0;
p = {a}, n = {}.
p = {a}, n = {}.

~(a|c&f|(c=~~(a&(c|~(a=0)))))&(d>0&b);
p = {c}, n = {a,d,f}.
p = {c}, n = {a,d,f}.

(~(a>e)|~(0=~~(a>e)))&(~(a&0)>(a=~(~(~c&(a|e)&(f|c))|(1>b)|(1&b>~(~b>e&d))|~a&(b|~~f|a&b|a&a)|(e>~(e&c))|(~b&b>e&(~0|~0|~(c&a))))))&((((~(1|d)=~e>b&1)>1>b)>0&(~0|d)&d&(a>a))|~(b>~~(a&b))&(~~1>(a=c&a))|~b|d|~a&(~b=c));
p = {d}, n = {a}.
p = {b}, n = {a}.
p = {}, n = {a,b}.

(~~e=~(0=~(b|~(a&c))))&(~~(~c>a&((b>~~b)|~~d|~~c)|f&~1>~~a|a)|~(b|1))&~(b>a&~a);
p = {a,b}, n = {e}.
p = {a,b}, n = {e}.
p = {b}, n = {a,e}.

~~((d|(a>(~~(1&0|b&(~f|d))|a&(a=a)=~(~a=~a)))|b|0&(~a|~(1&(c>d&a))))&(b|d|0=~((~(d>e)=~(~f=(f=~(a=~d))))&~(a|1|d&(d|0)))))&((~~((~~c|~~1)&b&(~e=~1)&~(f>(a=~~~(b=~(c|d)))))=~~~(b|b|~d))&~~(1>~c&c)>~((e|d)&((a>f)&(f|~a|f|a)|(~(a=~~(c&~b))>~(c|a))>~((~(~(a>a)>c&a)=a|e|(d=~c)>a&~(a&~a))&(d&~0&(a|~(b&(b=b))>~(1&(~~b=b)))=a|~e)))))&~~d&(a|d|(a>~~a));
p = {a,b,d}, n = {}.
p = {a,b,d}, n = {}.
p = {a,d}, n = {b}.
p = {b,d}, n = {a}.
p = {d}, n = {a,b}.

~(e=~b)&(c>1|~~(a=~c))&~(1>c);
p = {b,e}, n = {c}.
p = {b,e}, n = {c}.
p = {}, n = {b,c,e}.

~~(((~d>~(d>f&f))>(c&a&f&(~(~0&c|0|(d>d>(b=~~a))|(~0>c&a)&~(c>a))|b&(~~e|d|d))=~(~~b&(~a|~d|((b=~(a|a))=~(e|~a)))&~(f=~(a>c))&(b>~(~~a|b|(b>d))))))&~(c|b&~(1|~e)&a&a&~(d&1)|(1>c))|(~(a&(1>f)|~((~e=~a)|a|a))=~((~b|c)&~(e>a))|a&0&f&b&a));
p = {a,b,c,e}, n = {f}.
p = {a,b,c}, n = {f}.
p = {a,b,d}, n = {c,f}.
p = {a,b}, n = {c,d}.
p = {a,c}, n = {b,f}.
p = {a,d}, n = {b,c,f}.
p = {a}, n = {b,c,d}.
p = {b,c}, n = {a,e}.
p = {b,d}, n = {a,c,e}.
p = {b}, n = {a,c,d}.
p = {c}, n = {a,b,e}.
p = {d}, n = {a,b,c,e}.
p = {}, n = {a,b,c,d}.

~~(~(b|~a>(~((~~(~d&d>b|e|~e)>(b|~b&b)&b&b)>~b>b)|((c>b|c)>a&~c)|((~~(a=~~b)=~a&a)>~(~e>~~(~~a>1))))&d&0&b&a&~~(c&d)&(1=~a)&(a>a)&d&(~c=~(d|(a>0))))>(~~(~(0&a)>a|f)=~(~d>b|~(b>c>(~d=b)))))=~((c|(f>~d))&~~(a&((d>0)|~(a|a))&~(a|~b)>~(c&(b&0>d&c))));
p = {a,b,c}, n = {d,f}.
p = {a,b,c}, n = {}.
p = {a,b,d}, n = {c,f}.
p = {a,b}, n = {c,d}.
p = {a,d,f}, n = {b,c}.
p = {b,c,f}, n = {a}.
p = {b,f}, n = {a,c,d}.
p = {c,d,f}, n = {a,b}.
p = {c}, n = {a,b,d,f}.
p = {}, n = {a,b,c,d,f}.

(c=c)|((f=~~c)&~(~a&d)&(a&~((0|(e>b))&(~(~0&~~e)>a&a))|a|a)=b&c&(~(~a&(d>d))=~(c&(d>b))))|(d|(b&a|d|b|~b>~(b=~a&b)))&(a=~~(~b|~~1))|b|(~(d>c)|(b>0))&~(c&0&0)&(~~(1&(1>~~1&1))>~(a&(b>a|~d)>~(b&~d))&(1>~~a)|0|~(a&c))|(d&c&a>~a&c)|(d|~(d&c))&((~1>(a&c&f=~(a&c)))|(~(~c>f)=a|(b=~c))|d|e|~(~d>d>e))>~(~b&a)|f|~~a;
p = {a,b,f}, n = {}.
p = {a}, n = {}.
p = {}, n = {a}.

~(~~(((a>a=~(b|b&~~(a&e)))=~(c&a&(a=1>b)&(~(~f&~b=~(~b&b))|(c>d))))|d&(~b=~(b&1&e)))|a|~(b&(a|f&~~e)&~(a=~a|a|~~c)&(0|(c>b)))&(1|a&b|(d>b))&a&(~((1|a)&(1|~(c&1)))>a>b)&((b&c>e&f)|(~(a&1)>~~(f=b)))>~~(1&(d|~a|~(~c=~~(a|~e)))|~~c&e|~(~1|(~~e>~f))&(d=~(~c&~f&b)))&~(((b=~b)>~(~~d>d|~(b|c)))&~(a|a&a|~~(c|~(~c&(0|b))>(c=b)))));
p = {a,b}, n = {c,d,e}.
p = {a,b,e}, n = {c,d}.
p = {a,b}, n = {c,d,e}.
p = {a}, n = {b,c,d}.
p = {c}, n = {a,b}.

b|((1|b>(1|1)&~(a|(1>~~b)))|(~1|(d>a|~c))&(a|~(0&~a))>a&~(c|a&a))|~~(a&(c|d)|~c&(f=b));
p = {a,d}, n = {}.
p = {a,b}, n = {}.
p = {a,c}, n = {b}.
p = {a,d}, n = {b,c}.
p = {a}, n = {b,c,d,f}.
p = {b}, n = {a}.
p = {}, n = {a,b,c,f}.

(~((~c=~~c|(c=~c))=~(d&b))&(a|~c|~~(b|1&c))=~((~~(~c|(a|a&e>~(d|(e=~(a&~a)))))=~(a|~c|~~(~a&~b)))&(~(~~c&b&~e)=(e=~(a>~(c&d))))))|(~c=~(a>0))|(~~(b=~~(~(~b&b&(a>b))=~1&~~a&~(1|1|(1=d))))>~(~((1|c&~1&a)&(a|b&d>~((~e>~(a>c))|f&~(a>0)|d|(e>a))>~(~0&c&d&(b|c))=~(e&a>~a|((a|0&~1)&~~(b|b|c)=(a>a)|0&(f>b&f)>c>d))))>~(~((a|b&b|(c|c=~(d>d>~~1)))&~c&~(c&(c|f)))=(~e|1)&(c|a))));
p = {a,b,f}, n = {}.
p = {a,b}, n = {}.
p = {a,c,d}, n = {b}.
p = {a,c}, n = {b,d}.
p = {a}, n = {b,c}.
p = {b}, n = {a}.
p = {c}, n = {a,b}.
p = {}, n = {a,b,c}.

~~((~(~~a&a&f>~(0|~(1|1|~(d=~b))))|((~b>(a=~~b)&d&d&b&(b>e))>b|d))&~(~b|d))=(d|0=~((~a|(a>~a))&(b|~~d)&b&b));
p = {a}, n = {b,d}.
p = {a}, n = {b,d}.
p = {b}, n = {a,d}.
p = {}, n = {a,b,d}.

~(((~~b|~c|(~a>f)>~(a|~~(d|d|b))>~~d&d&~1&~b)|~(~b&(~a|d))|~(~d&c)|0|~~(~d&f))&~(b&~((a>~e)|(b>d&~c))));
p = {a,b,c,e}, n = {d}.
p = {a,b,c,e}, n = {}.
p = {a,b,e}, n = {c,d}.

~(~(~((b|~~d)&(~~b|a&(d|d)))&((a>1&d)|~((b=a)=~(b>0))&(~(f|~a|0)=~(f|c)))>(0|0&f)&(a>~~(b|1))|a&e&a&a)&(~~1&(~b|c)|~(d|e)&(c&~d|(f=~b)))&(~~(a>d&c)&(a|e)&0&a>~(a&f|b&~f))=(((b>d&c&~c)>b&(~d|~(a|~a))&(a|~(1|a))&(~~(0|1&d)|a&~~e))&(d=~b)=c&1&(e|~~a&(c|c))&d&~(~a|~(a>f))&(d|c)&(~~(d&(f|c))>a>a)));
p = {a,b,c,d}, n = {f}.
p = {a,b,c,d}, n = {f}.
p = {a,b,d}, n = {c}.
p = {a,c,d}, n = {b,f}.
p = {a,c}, n = {b,d}.
p = {a}, n = {b,c}.
p = {b,d}, n = {a}.

(a>~(~d&~0))|b&(a|b)&b&(~b|b)|~~(~a&d&(~a&a&b&(f|~a)=~(d&(d|a|a)))&(a|a>d&(0|a))|~(~((~(b&(c>b&d))>~b&b&c)|(d|a>c>~b&f)|(c=~~(e&d)))&~((c>c)|(~a>f)|~(a=~a))))>(e|~(a|1))&~(1&(((a=~~~c)>d|d)|d|d))&((a>(~a=~(a&b)))&(f|a>c|~~(a>1))|c&(a=e)|(~~e|b)&b&~~d);
p = {a,b,e}, n = {c,d}.
p = {a,b,e}, n = {c,d}.
p = {c,e}, n = {a,d}.

((d>a)>~((d&a>c|~f|a&b)&(f|a&d)))|(~~c=~(b&~(a|b)));
p = {a,c}, n = {b}.
p = {a,b,c}, n = {}.
p = {a,b}, n = {c,d,f}.
p = {a,c}, n = {b}.
p = {a,d,f}, n = {b,c}.
p = {a}, n = {b,c,d,f}.
p = {c}, n = {a}.
p = {d}, n = {a,c}.
p = {}, n = {a,c,d,f}.

(a|a=e|~(c|~c))=~(b&~(a&c)&~c&0);
p = {a,c,e}, n = {}.
p = {a,c,e}, n = {}.
p = {a,e}, n = {c}.
p = {c}, n = {a,e}.
p = {}, n = {a,c,e}.

c&~(a|0)&(~b|d)&~(a&a&a|b|0=~(d=~(~~(~(~~a&b)|a|1)&(~a|f))))>(a&~(f=~(a|(~(c|~~c&(~0|a))=b&0&a)))>(~(~~d>a|d>~~(a>~0&1))>~~((~(b|a)=~(a=f))>~(b&1))=~b&~b&b&~(d&~(a>c)|(b>a|a)>(a|a)&1&f)))|((c=a)|(d>e&a)=~~~(~~(~1&(b=~~~a))|~~(1=d)&a&~a));
p = {a,e}, n = {}.
p = {a}, n = {}.
p = {}, n = {a}.

1&d&c&0&(b|f)|~(~(c|((~~e>a&a)|~(c|~~(b=~0))>a|c&(~b=b))&a&~c&b>~((d=~(a&~~(c>~~1)))>a|0|~c))>~(a|~~d)&(b=~(~b>1&c|c|e))|~(a&~(~~(a>(~(~f|b|e)>b>~a&c)&~(0|1&~(a|b)))&(a&a|b|~c))))&d&~(b|~(~b&(d|a&~c)));
No solutions.

((d=d>d&b)=~((~~0>~(d|c))&(1&d>0&~e&(a|~f))))&~(a&(d|a)&((b>b)|(b>(d=b|b|b|f))&(c|(b>b))&(a>d=~(0|~a|b))));
p = {b}, n = {a}.
p = {b}, n = {a}.
p = {}, n = {a,b,d}.

~(~(c|0)|c&a&a)&(a|b&(~c>e));
p = {b,c,e}, n = {a}.
p = {b,c}, n = {a}.

(d&e>~(b=~a)|~a&1)&(~~(c&f)>~~(~~(d|a)&(d=~(d|c))>~(b&f)))&(a>~(d|c));
p = {a}, n = {c,d,e,f}.
p = {a,b}, n = {c,d}.
p = {a}, n = {b,c,d}.
p = {b,c}, n = {a}.
p = {b}, n = {a,c}.
p = {}, n = {a,b}.

~(~(~((c&~f=~(~~f&(~~a|f)|c|a))&(b|e>e|d))|(d>b|a|f&~b=~((~(~(~(1&a|e&~~1)|~(a|~b|c|~(a&d)))&~~a&d)&(~a=~a)=~(a=~(b|c|(~~c|a&a&d>a|a|~~c&(c|c)))))=~(0=f))))|~(~a&(b|~~e))|~f&b)&(~a=~b);
p = {c,d,e}, n = {a,b}.
p = {c,d,e}, n = {a,b}.
p = {c,e}, n = {a,b,d}.
p = {d,e}, n = {a,b,c}.
p = {e}, n = {a,b,c,d}.

(~f=a)&(d&(a|a)|~~((b>b)|~((~~(d>a)=f&(~b|0))>~~(c&a))=~~(d|~(c&(b|a))&~((~b>a&f)&(~c=1&~~a)))));
p = {a,d}, n = {b,f}.
p = {a,b,d}, n = {f}.
p = {a,c,d}, n = {b,f}.
p = {a,d}, n = {b,c,f}.
p = {a}, n = {b,c,d,f}.
p = {b,c,d,f}, n = {a}.
p = {b,f}, n = {a,c}.
p = {f}, n = {a,b}.

~b>0&f&~~(~1|a)|a&(~~d|a)&(~(d>~(d&d|(~0=a)))|c&b&0&d|((e=~(~0>~~d))=~~(~~a|b)))|~(~~0=~a)&~a&0|~(~(d&d)>~((e|b)&(1&b|b&~e)));
p = {a,b,d}, n = {}.
p = {a,b}, n = {}.
p = {a,d}, n = {b}.
p = {a,e}, n = {b,d}.
p = {b}, n = {a}.

((~d|0|~(a|a)|d&f=~(b>(~(0>a|~(~a&c))=(d=a)&(~(0&b)|b&e))&((d|0|c&~~(b>a)>~(a&(1|0)))|~~(b&d&~b&b&a&~~c&~d&(~f|~(c|~(a=~(a=~a)))))))|(0=~(d&a))|b|a)>~(~(~e|(b>b))>0>~(d|d)))&(a|1&a|d&a|((a=~(~b|1))=~(d&a|b|0|~~(0>~a))));
p = {a,d}, n = {f}.
p = {a,d}, n = {f}.

~((b&b|a&c&(0|c)|~(~a&0&(0>a)|~(d&~~a))>~~((~(b&(d>0))|~(~e|0|d|1&a))&~(a&~(d=~(~e&~0)))&(((b|1&~c=~(d&~~e=~~(a>~(a|~(~f>a)))))>~(d|c))|~(a&~d&a))&~a&(b|~a)))>~1|(((0|~a&b)&((b|~d)&(f|~~(a&1))|c|~c)|d&~(0|~b))&((1=~f)>(~(b|d)|(d=~(d|e))=~(b&(~(~~f&~b)=~(1&1))&~(a>~c)|~(((~a>a)|(c>c&1))&f&b&1&1)=~~(e&a))))&(a>1>a)&b&b>~(c|~~(a|(a>~~d)))));
p = {b,c,d,f}, n = {a}.
p = {b,c,d,f}, n = {a}.
p = {b,c,e,f}, n = {a,d}.
p = {b,c,e}, n = {a,d,f}.
p = {b,d,f}, n = {a,c}.
p = {b,e,f}, n = {a,c,d}.
p = {b,e}, n = {a,c,d,f}.

~(~~(b&a)|~(~((d|a|(~e=(1=1))=a&a&~~(f&a&b))&~~a&0)|(d>a&~(a=~((b|~d&(a|d))&~(0&~b))))&(~(a&(b>a))|~a|b)|d&(d|~a)));
p = {}, n = {a,b}.
p = {a}, n = {b}.
p = {}, n = {a}.

~(((e>~~a)>~(~b&~(0|0)))|~((e&~(~a>(~f=~(d>b)))=~((b=~(f|b))&~((0|a&~(~b&~(d&c))|c&c&~(c>a))&b&c&a&a&a|d&(d|d))))&(a>0)&b&d&(~~f|~(0&e&f))&(c|d>(b&(a>b)=~~(a=1))&(c|1))&(f=~(a|b&~f))&(~((~0&~(~f&b&d|(d>d))|d&a)&(b=~b)&(a|d|a))=~(c=~(e>0)))&(0>d)&(d|b|~a&b>a&(c|~~(c&a)))));
No solutions.

b|~(f=~~~a)>~a&c;
p = {a,c}, n = {b,f}.
p = {a}, n = {b,f}.
p = {b,c}, n = {a}.
p = {c}, n = {a,b}.
p = {f}, n = {a,b,c}.

((d=~(a|~f|a))&~(~~(a&~~a)&c&a)&(~0>c)>~(~~(a&~(e>b))&((0>c>~f&b)&(e|~d)>((e>b)|a&c=~(f>a)))))&a&(d>a)&(e=a);
p = {a,e}, n = {}.
p = {a,e}, n = {}.

~(~(1&(b|d))=~~(~(~~(c&a)|(e=~(a&a&e=~(~a&~c))))&(b|~(e>d))))|~(b|((a>~0&b&~b)>a|a|b|0&~c)=~(c|d|(a>~~a)))|(d&c&~(d|d&~b)&(a>b)|~(1&(b|d)&(a|~f)))&b&(c>a);
p = {a,f}, n = {}.
p = {a}, n = {}.
p = {b}, n = {a}.
p = {c}, n = {a,b,d}.
p = {}, n = {a,b,c,d,e}.

a|(c=(a=~(f|~0)));
p = {a}, n = {}.
p = {a}, n = {}.
p = {c}, n = {a}.

~~(~((c|c)&(c|a&c)>(b|~(e|d&a))&~b&0)|~(~~((a>b)&(c|~~d|b))&a&f&(d=~(b&(a|c)))|(b>d))|~((d|~(c|~~(b|1)))&~(d|d)>~(d&a)&(b|b)))=(0|0>(~a|c=~f&d))|a|(d>~~c);
p = {a,b,c}, n = {d,f}.
p = {a,b,c}, n = {}.
p = {a,b}, n = {c,d,f}.
p = {a,c}, n = {b}.
p = {b,c}, n = {a}.
p = {b}, n = {a,c,d}.
p = {c}, n = {a,b}.

f|a>d&(b>~(d&a));
p = {d}, n = {a,b,f}.
p = {a,d}, n = {b}.
p = {d}, n = {a}.
p = {}, n = {a,d,f}.

(a|e)&(~~(e&(b=b)|(a>d))>a&d)&(a>c&(a|~(c&c&(a>0)))&(~a>f));
p = {a,c,d,f}, n = {e}.
p = {a,c,d}, n = {}.
p = {a,c}, n = {d,e}.

(((((1>~a&d)&~(b|f)=~~(d&(b|a&a)))=~(a|a))|(0>a)&(a|d&b)=~(e>a))=~(~~b|(a>b)))|1|0;
p = {}, n = {}.
p = {}, n = {}.

~(~~(~(~(~~a&~(~((~0=~(d|~e))&((d&b=~(d|e))>~b>a))&~~b&(c|~b)))=~(a|a|1))|((a>~c&e)>a|~f)>(a|c&1>0&(c|1))&(~(f&(b&1>~f&~e))|~(c&(~(e>~a)|a&d=~(d=a))&(a|e))|(a&~~a>(d=~a)&(d=~(e=~d)))))>(b>d)|~(b>e&f&(~a|a))|(d|~~f=~(f&~(a&a)))|(1=~b));
p = {b,e,f}, n = {a,c,d}.
p = {b,e,f}, n = {a,c,d}.

~~(((a>b&b)|a&b)&(0|~a)&f&a)>c|b&0&~(d&1|a&~(~c|~~0))|(a>a>0);
p = {a,c}, n = {b,f}.
p = {a}, n = {}.
p = {}, n = {a}.

(~(e&f)=~(f&(a=~(~~a&e))))>b&(~~(~c>a)>0|(b=~~(a>a)));
p = {a,b}, n = {c}.
p = {a,b}, n = {}.
p = {a,e,f}, n = {b}.
p = {a,f}, n = {b,e}.
p = {b}, n = {a}.
p = {e,f}, n = {a,b}.

~(~(~(~(a>(a=d|c))|~c|(b=a&d))>~0&a>f&a)|~(~(f&b&~(a=a))&(a|1=~(~a&(b|c))))>~(c&~~f&~(b&~(b&(a>1))))&0&(b=f))|0&a|f&1|b&((~(~f&0)=b&~(0&~(b|b)))|(e&b>(a=~~(~c&d))))&~~(((d|~a=~(e=c))>(b>e)|~~b&~d&e)|d|a&a);
p = {a,b}, n = {e}.
p = {a,b}, n = {}.
p = {a,c,d}, n = {b}.
p = {a,c,f}, n = {b,d}.
p = {a,f}, n = {b,c}.
p = {b}, n = {a}.
p = {c}, n = {a,b}.
p = {f}, n = {a,b,c}.

((~(c|b)=c|~(a>~f))=~(f&a))&((~((c&b>a&~a&~~(b>(a=a))&~((a>a|(~~a>b))|d|~~(~0&b=~(a&c))))|~0&0&a|1|d)|(~((a|a)&(f=~0)=(b>~1)&(~b|0&(0|~f))&~~a&(~e|~(~1|1|b)))=~~((0=a)&~(0&b))))&((b>d)|(f=e)&(a|c|(~(~c|e|a|~~b)|~(a|a)=~(d&(b=c))))&(0=~c)&(~((1>1)&(b|(0=a)))|a&~(b&~~a)))|~(c&e));
p = {a,b,c,d,f}, n = {e}.
p = {a,b,c,d,f}, n = {e}.
p = {a,b,c,f}, n = {d,e}.
p = {a,b}, n = {c,f}.
p = {a,c,f}, n = {b,e}.
p = {b}, n = {a,c}.

~~f&((e&a>~(a&c&~1|c|c|a))>a>~(f&f|a|d))|((~e&d=~a&d)|(~b>~a)|b|a>~(b&c&(b|a))|0|(~(~d&b)>~~0>a&b))|0&~f&(~a>c);
p = {}, n = {}.
p = {}, n = {}.

~((~(a>d|b|~d|0)=(b=(~~c=0))&(a>1&~1))|(((~(~~d|b)>c&(1=~b))|(~(~d|(b=~a))>a|0)>(0>a)>1&b)|~~(a|(d=c)&(~~a|d))>d>(1|a)&((e=~c)=~((a>~c&e)&(a=~a)))));
p = {b,d}, n = {a,c,e}.
p = {b,d}, n = {a,c,e}.
p = {c,d,e}, n = {a,b}.

~((a>(c=~(~(0|~(~1&b))&~~c&1)))&~a&(c|a)=~(c|0))|(b&(a|d)>~(b|a)&~(e|c))>((~a|((a&(a&~(e&d)|(d>d)&(a|c)|0|~(e&b))&(d>1)=~~((c|a)&(b=~e)))>~(b&b|(f>a&f&(c|b)))|~(~a|c|b&f)))&(~d|a)&(a|~(b&(b>~(c|(c=d&e)))))=~(~a&(d|0)&(a|~0>a>a)|~((~(e|(~d=~a)|~(~e>a&a))|(d>b))&(a|~~0|~~(d&b)=~((d>b)>~c>c)))|a&~b));
p = {a,b,c}, n = {}.
p = {a,b,c}, n = {}.
p = {a,b,e}, n = {c}.
p = {a,b}, n = {c,e,f}.
p = {a,c,e}, n = {b}.
p = {b,c}, n = {a,d}.
p = {c}, n = {a,b,d}.

a&~b&~(~1|a)|~d&~a&c&~~0;
No solutions.

~((~(c&(f|d)&(e|~b&0)&(~(~a=~d)>a&a)&~(a>e)&~(d&~b)&c&~~(~a|a))=~(c&(~c|e)))&((e>a|a)>(~~0>a|~(~e&c)=~(~1&b)))&(~(~0>~(b&~(c&a)))>~0&d))>((~((f=e&~d)&~(e|(a=~(~a>~(c>(a=~0))>~d|~~d))))>f&f&(a=~1&(~d=~e)))>((~(a>~a)>~~(c&d))>~~(b>~((~a|~~(0>c))&(0&a|(c>d)))))>a&(b|b|f))>a|a|(b>~b)|((c=~~(~a&c))|1&b)&~(~b=~f)&(c>~b)|(a&a>~a|c|1);
p = {}, n = {}.
p = {}, n = {}.

(~0>a>b)>(a&(a|(b>b))&(a&d|(~~(0|a)>~b&a&~(f|~b&f|~~a&~(f&(e>~b))))>(~a>c)&(~(b|~a)|~(c&e))&(b|~(~1&b))|a|~d)|(~d>1&~~c))&a&a&(b>(~c=~~~b))&((a>c)|d|b>(1=b>~(1&b)))&(a&(d>a)|(~~0=a&b)=1>~~c)&((~(a>0|d|b&b&f)&((1=~(0=~c))|(b=b|a|b))>d|~d)>~b|~c|e);
p = {a,e}, n = {b,f}.
p = {a}, n = {b}.

~(~(~0|c|f)|~(b&(a|a|c&a&(d|~~d)))|~(((b|(~a>~a|~1))&(~d&~(1&b&(~a|b))>f&a)&~(d>a)|((a=~a)|~~(a&a)|(f=~(c|~(1|b)))>~d&c)>((a|~c)&1&e>~a>b=~(a&(0|d))&(a|~~d&(c=a)))&(0&1&~c|a&c&d|~(b&(e|a))))&(~c>f)&~(0&0|(f>~1))));
p = {a,b,c,d,f}, n = {}.
p = {a,b,c,d,f}, n = {}.
p = {a,b,f}, n = {c}.

~~((0|(a>b)>b>0)>a&~b)=~(c|b&1&a);
p = {a}, n = {b,c}.
p = {a}, n = {b,c}.
p = {b}, n = {a,c}.
p = {c}, n = {a,b}.

d&(a|a&c)&~((d>~0)&c&0);
p = {a,c,d}, n = {}.
p = {a,d}, n = {}.

f&f&b|~((b&a&1>a&(~b>e)=~((a&e&(e|0&1)|~(~b|e|~0)>~f&(e>d)|(f|~a>b&f)&(d|c=~(b&~~a)))&~a&a))&~(~d&0)&(d|e)|d|(c&b>~~f|~(a=c|a))&~(a&(~d>~a|c)&0&~d)&(b>~(~(e|f)|e|a)&~(c>~b|d)&(b>e))=(a&(a|c)|0|a)&~(f|b)&a&f);
p = {a,b,d,e,f}, n = {}.
p = {a,b,d}, n = {}.
p = {a,b,e}, n = {d}.
p = {a,b,f}, n = {d,e}.
p = {a}, n = {b}.
p = {b,c,d}, n = {a}.
p = {b,c,e}, n = {a,d}.
p = {b,c,f}, n = {a,d,e}.
p = {b,d}, n = {a,c}.
p = {b,e}, n = {a,c,d}.
p = {b,f}, n = {a,c,d,e}.
p = {}, n = {a,b}.

~~((c=~b)&(a&(c=~d)|(c|~d|b)&(a>f))&~((d|~~(b=a))&(0|a)))&(b|(d=~(d&a))|a|~(b=~0)|(c=~(a=~1))|(0=~(c&(~c=a|(a>a))))&((~(~~a|a)>(a|d)&d&0)>~(b=~((e=a|b)&(f|~c)))&~(~a|1)>~(~~(b&b)=c&0)=(~~((~~(~1&a)>c&1)&((0>b&(b=~c)|~c|b&a)|~a&d))&(1&b|b|a)=~~((a>(~a>b)|(a=~a)=~((a=~a)|(~~a|e)&a&f))>(e=a)&b&b))));
p = {a,c,f}, n = {b,d}.
p = {a,c}, n = {b,d}.
p = {b}, n = {a,c}.
p = {c}, n = {a,b}.

((d=~c&f)>(~b=a))&(a=f)&c&~a|(a=a)|(c|~1)&~~c&((c=~~(c>1))=a&(b>d)|~(1&d));
p = {}, n = {}.
p = {}, n = {}.

((~e>e|a)|a&(~b>~a>~(c>e|b))>((c=~(a&~e))|b&b)&(~c|c|f))|~(~~(a|c&(b|a))&~~(c>(a&(b|c)=~(~d&b))))&(0|~(c&a))|(~(b=~((0>(c=~(b>~b)))&(a=~e)))=~(~a|a|c&e));
p = {a,b,f}, n = {}.
p = {a,b,c}, n = {}.
p = {a,b}, n = {c}.
p = {a,c,e}, n = {b}.
p = {a,c}, n = {b,e}.
p = {a}, n = {b,c,e}.
p = {b,c}, n = {a}.
p = {b}, n = {a,c}.
p = {}, n = {a,b}.

~(d&(e>a)&(~~(0&(c|f))|a&d&~(c|b))|(f>e&~(a|f))|1&(1|a)&~c&a&a&a|~(~f|d&a))|((~d|~~c)&(d|a|0)&a&(d=~~a)&(c>d)>~~((f>~c|~(b&~d))&~(f&b)&~a&(0>a|d)&a&(~c|d))|~~(~(~f&~(d>a)&a&e=~(0|~~1))|(f>1&a)|(a=b)))|(~(b|b&d|b&(~~c>0))=(~e|~(a|0|e=~((d>a)&~~(b&1))))&d&(b|(b=~~d)|(~d>f))&0&(f=~f)&(~(~1>~0)>(d|b|(c=~c)>a|b&c)|0|(~a|e|~(1&e&e)>~~(d=~d))));
p = {a}, n = {}.
p = {a}, n = {}.
p = {}, n = {a}.

a&~~(d|(~(c=~c)>a&~~b))|~(d&~(d|f)&b&~a)|(~(~(c&e&(b>a))&~(~~(c|c)&(a=1))&((d=0)>d>a&(c|d)))>~((~a&c&(a=~a)&~a&b>b&a=~((0>1)>f&b))&~~((~a>a|a&(f|b))&f&~b&b)))&((e|~b&~(b|b|a))&((~(c&(b|a))=(~1|e|c=~~c&d))|~(a|(c>d)))|~d&(d=a&~(f&~~c))&(~f=~0)>b>~(a>a&a&(c>(a=~b))));
p = {a}, n = {}.
p = {a}, n = {}.
p = {b,c,d}, n = {a}.
p = {b,c}, n = {a,d}.
p = {b,d}, n = {a,c}.
p = {b}, n = {a,c,d}.
p = {}, n = {a,b}.

c&(a&~d&~(~b&d)&c&~(0>e)|(~(b|d|~d|(a=a))=~~(d>~e|~c)))|~(e|a)&(~c|b)|0&d|1&~c|(~a|(d=~b)>(1>c|~(b=~b)=b|a&a));
p = {a,b,e}, n = {}.
p = {a,b}, n = {}.
p = {a}, n = {b}.
p = {b}, n = {a}.
p = {c,d,e}, n = {a,b}.
p = {}, n = {a,b,c}.

b&~1>e&~1&(a|a);
p = {}, n = {}.
p = {}, n = {}.

~~(~(f&~(~c=~a)&(0|(b>b))>~(b&d&~a))>(~e&(d>~b)=~(a=a&b|(~a>d)))&(a|(1>a)&~(c=b)>(~0|e>a&b)&b&0&~~(c=~d)|~0|b));
p = {a}, n = {f}.
p = {a}, n = {}.
p = {b,c,d}, n = {a,f}.
p = {b,c}, n = {a,d}.
p = {b}, n = {a,c}.
p = {}, n = {a,b}.

~(((~(b>a|d)|~(d&(a>d)))&~(a|(d>0))>a>~(~~f&(0|~e)))>(a=~b&~(c&f)|d|(b>(~b=a>~a))&~~(f&e)))&(a|b|~~(a|1)=~((((a>a)&b&~a=~(a&0&a&~e&(d|c)))=~((~b&1=0&c>~~(d&~a))>~(c|~(c=~~~f))))&~(~~0|a|~(c&a))|(a&(0|c)>(c=~b)=~(a&e&~b|~(1|b&a>a&(b>b))))|~(a&(f>a|b|a&(a|f)))=~e|a|e|~((a=1)|f|(b=a&0)|c|d)|(c&c|a|d|~(1|1|e)|d&c)&(~(~b&a)>~(e|d))));
p = {a,b,c}, n = {d,e,f}.
p = {a,b,c,e}, n = {d,f}.
p = {a,b,c}, n = {d,e}.

(~(c&a)>a&a&(~a=~(d>a)))|(c=~(b|(c=~c)))&((c&~(~1|~b)|~0&(d|a)&~(1&a&(e|~(a|b))&~0&b>c|~f&0))&~(~~b|e)|~(~~(a|~~(f>d>(f=~1)))&~(b>a|~~(b&~e))&~((a&1&b=(~f=~a))|~((c=d&b)&a&~(b|a|0>d&~(0>d))))));
p = {a,b}, n = {}.
p = {a,b}, n = {}.
p = {a}, n = {b}.
p = {b}, n = {a,c}.
p = {c}, n = {a,b}.

(1&((~(a|~(d=~b))|(~e>a))&~(~1|a)|c|(c=~(~e&b)))|b|(~~f=~(~c=~a))&a&b|(1|1>a&a&(b=~(1|c))|(0>c))|(1>~a|b|d&(~c>a)))&((d|b)&a&(~d|a|d)|(c>c)|(b>f&(c|d))&(b|~~(a|1)));
p = {}, n = {}.
p = {}, n = {}.

~~b&~a&a;
No solutions.

(d>c&~~(c|a|~(0&(~a>~(a&~(d|~a))))))&(1=~(d&(a|b>(a=~~(b|c)))>~(((1=1)&a&e>~~(1|a))&a&c)))&((b|~(b>e))&(f=1&a)|(d&(a|0)|(a>1)>~(f&~(c>~a&e&(a=b>a)&~a&a)))|~~(d&1));
p = {a,b,c,d,f}, n = {e}.
p = {a,b,c,d}, n = {}.
p = {a,c,d}, n = {b}.

c>c|d;
p = {c,d}, n = {}.
p = {c}, n = {}.
p = {}, n = {c}.

d&d|(a&(~a|c)&(a|f|d)&b&b&~(b&(a=~~d))=a>~(~(b>~a)|a&(d>~b)))&((~(b|0)>((b>~~a>~c)|(c>~a|f)=e&a&b&~~(1|d)))>b>b&~b&(~d=~a));
p = {a,b,d}, n = {}.
p = {a,b,d}, n = {}.
p = {a,d}, n = {b}.
p = {a}, n = {b,d}.
p = {b,d}, n = {a}.
p = {d}, n = {a,b}.

(~~(~(a>(a=~(d&~(~d|1&1))))&(a|c)&0&b&a)&((d>~0>b)&~(1&(c|b|~~b|b|a))|d&1&(d|b)&b&~1|(a&~c>(a=0)))>~(~(a&b&(0>1))|(e=f)&(~~a|~~f)>~((~b|a|(f|(~~a=~f))&(0&b&c|(a>~b&b))|c|e&e)&~(~1|~a&~c)|(~(c&~~b)=a&1&~a&(c|(a>~c))))))|~~(b&c|0&1>~~(a|b));
p = {}, n = {}.
p = {}, n = {}.

(~(d|a)&(~d|~b)=b>d)&(b|a|~(~(b&c)|~(b>1)>~(d>~(~(~~a|b|e)|~(a&(~e=b)))))&a&b>a|d)&~~((b|(b>b))&(~a>~~(a&~a)))&(0|b|~~1|~(~(0&~d)|~~((~a>1)&(0>~b>a)&~0&~~b&(~a>c|~(a>a))))=~(f&(a|~b)&~(a&d|c&~b)&(~(~a&~~(~~b>c))=~~~((c>d&a)>f&~(0|b))))|c&a);
p = {a,b,c}, n = {d}.
p = {a,b,c}, n = {d}.
p = {a,b}, n = {c,d,f}.

b&(~~a>c)&((~~(a&b|c&d&a)>a&a)|((1&~(1|d)=~0|(a&~~1>b>a)>a&c)>~a|a&~~d|(~(a=(e=a))>~~c|~b))&(a|b|(0>f)));
p = {a,b,c}, n = {}.
p = {a,b,c}, n = {}.
p = {b}, n = {a}.

~f&a&d&(b=~(1|d&d))&(a=d>(~0=c))&(c|a)&(1|~d)&(~(~1=b&(b|a)&~a&~b)|(~~a&d&~a>c&(d|e)))=1&(a|(~(~~e=~~(a=~~~d))>~b&a))&a&(~~a|b);
p = {a,c,d}, n = {b,f}.
p = {a,c,d}, n = {b,f}.

~f&d;
p = {d}, n = {f}.
p = {d}, n = {f}.

b&f&c|((b>c&~(f=~~d))&((~d>~b)|c&b)>a>b)&(~~d=~~(~~c|c)|~~(d|b|d&e))&~(~1>b=~(c&d));
p = {b,c,d,f}, n = {a}.
p = {a,b,c,d}, n = {}.
p = {a,b,c,f}, n = {d}.
p = {b,c,d}, n = {a}.
p = {b,c,f}, n = {a,d}.
p = {c,d}, n = {a,b}.

~(c|(~f|1)&(b>d|a))|f|(a>b)&(c|f)&(b|a|(1=~~f));
p = {a,b,f}, n = {d}.
p = {a,b,c}, n = {}.
p = {a,b,f}, n = {c}.
p = {a,f}, n = {b}.
p = {b,c}, n = {a}.
p = {b,d,f}, n = {a,c}.
p = {b}, n = {a,c,d}.
p = {c,f}, n = {a,b}.
p = {f}, n = {a,b,c}.

~(((~~(a&(~b|b&a)>a&0&~(d|b))>a|a)&(a|b|~(a>f|~b))&(b|b&(c|~d|~~(~f|d))&c&(e>f))>(c|1)&(1=~b)|a|(b|e>~~(0&a)))|(~(~e=~~(c|~a))&~(c=~~(~(e>c)>d|0&(a|d)))>~(a&f&~b&e&(e&1&(1|a)=d&c&b))|f|~(~~d>(~b=~c))))|(~a>d)|d&1;
p = {a}, n = {}.
p = {a}, n = {}.
p = {d}, n = {a}.

~(((e|(a>a|a)=(~c>c=b|a&b))|~d|e&(c|c))&(~(a&(f|~a))&(~~a|e)&~~d&~(f|a&(e>a)|~(f&b))>~(c|0)&~e&(d|d))=(1|0)&~~((d>a=~(b|a))|0&(c|~~b=c|~~b))|(a>b|0&~c&b=c>(a|(1>c)=~~(c|b))))&(~~1|a&c)&a&~a&~c&c&(f|f=d|(0=~~b)>(a=~(f|a)))&(a|(c&(b>a|~(a|b))>~(~((1|c)&b&c)&(e|(~a>a))&~(1&~(c>~(b&d))>~(c|a)))));
No solutions.

(~((a>b&e)|~(~(1|(~b>d|d))|(a=~~(d|~~a))))=~(b|d)&~(a|a|f)&b&(0=~c)&(0>b>~~(e&a))>(~(((e=e)|d|d)&(~e=d|~d))>~(~b|a|c)&~(~c>~0)&~(c|(a>a))&(~b>b)&e&a=((1&a>~(d>c))&d&b|(f&a>(b|c=(f=~a)&~(d&a))))&f&~(b&a)&~b&c))|(~c|1)&(b>~(e|~b&a&c)=~(~~(a&c&a)=~(c|~d|(d=b))))|~((f>b)|~((a|a)&(a>b)));
p = {a,b,c,f}, n = {e}.
p = {a,b,c}, n = {e}.
p = {a,b}, n = {c}.
p = {a}, n = {b}.
p = {b,e}, n = {a}.
p = {d}, n = {a,b,c}.

(~(d&c)|(c=~(a&1))>(e|1)&(~(~1>e)|(b=a))=(~1&a>~~b&(b|a|c)&(~c|(e=~e)))>~((a&d=b&d|(c>~d))|c&~(~b|(b>a))=(~(d|~b|b&f)&(~b|b|~~(~c&(b|d)&~(~b|c)&f&c)=~~(d&b&(~d=b|~d)))=b|a&~(d&b))&(c>d|~(a=d))))&(~(a|~(a&1&~(e|c)))>e|~d&(d>d|a))&(d|b|c=~(e&a&b));
p = {a,b,c,d}, n = {e}.
p = {a,b,c,d}, n = {e}.
p = {a,b,d}, n = {c,e}.
p = {a,c}, n = {b,d}.
p = {d}, n = {a,b,c}.

~(~e|~~c);
p = {e}, n = {c}.
p = {e}, n = {c}.

~(f|0|a|~~b|a)|~~c|(~c>b)=(c|(0>~a)>f&d)|~1&b&(e>a|~d)&((a>b)>a&e)|((~(a&(a|~(~b|c)))|f|c=~(b|c))&(e>~b)&(c|d)&(b>(f=~(a>d)))>b|(0>~(a&~a))|(a|~b)&a&~((c=~0)&0&b))&(0>~f|c)>((a>a&a)|(~~a>c))&((b>c|f>~(f=b&c))>(e>~(a>(a=a|d)))&a&f&b&b);
p = {a,b,c,f}, n = {e}.
p = {a,b,c,e,f}, n = {}.
p = {a,b,c,f}, n = {e}.
p = {a,b,f}, n = {c,e}.
p = {a}, n = {b,c}.
p = {b,c,f}, n = {a}.
p = {f}, n = {a,b,c}.

c&(c|(~(e&~d)=~(b>b))>~~(~d>d&b))&~~((~1>d)>(a=~(a&~c)));
p = {a,b,c,d}, n = {e}.
p = {a,b,c,d}, n = {}.
p = {a,c,d}, n = {b}.

~a|~(f&((c=~d)|(~(b=~d)>a&~(c>b))));
p = {b}, n = {a,f}.
p = {a,b,c,d}, n = {}.
p = {a,b,c}, n = {d,f}.
p = {a,b,d}, n = {c,f}.
p = {a,b}, n = {c,d,f}.
p = {a,c}, n = {b,f}.
p = {a,d}, n = {b,c,f}.
p = {a}, n = {b,c,d}.
p = {}, n = {a}.

(~(d&b)&~~(a=~a)=~~((c=~a)>((e|(~~c>d))&(a|~~f&~d)=~(c&(~e|~(b|e))))|a&~c=a|a|~e|~~(~c&a)))|(~a=a&b)&(a|a|d);
p = {a}, n = {b}.
p = {a}, n = {b}.
p = {b,c,e,f}, n = {a,d}.
p = {b,e}, n = {a,c}.
p = {c,e,f}, n = {a,b,d}.
p = {e}, n = {a,b,c}.

((c|~~0|d|b|(~(d&a)=(a>(~f=~a>f))&(~c|d&0))=~((~~(b|~~d)>f&(b|c&d)&(a&a>1|~(e=a))&~(c&c&(b|~b)))&~~(~~(~a=b|~~c)|b|d=~(1=~a))))=~(a=a&c)&(e>d))&(((~1|~(f>0)=~(a|(1=~a)))&(1=~(~~0|a))=~~(b|(a>e))&(0&(a>a)|f&~~(e&c)))>~~(f|c&b&1&b|b&1>b&(a>d=~(~(a&(~a|c))&~(b|~c)|~~(a=b&a)))))&(a>~(b&~~(~(a&(e|~c))&~~(f|c)))&(a=~(a&((f>~(~c|f))|(d>~0)))))&~b&~((e|((~b>a)>d&e))&(f>b));
No solutions.

~(f&(~((~c|b)&(1|a|b))|c&b))&(((b>a)>~(e&a))&a&a|((b&(~b>b|a)=~((b|b|a&(~e>a|d))&~(e>1=~~(d&d))|~c&~f&c))&~(~(~a&c)>~(b>~a&(d|1&~c))>(~a=~(e&~(b&b=~(0|~(~~d&a)|b|1))))|~~(~(b|1|e&d)|(~1=~a)))>c&0)|(~(d|a|a&(c=0))&a&d>((~a=a|b)|~(a&~~0)&(~b>b)|(c=~a))&(~~c|a)));
p = {a,b}, n = {c,f}.
p = {a,b,c}, n = {f}.
p = {a,b}, n = {c}.
p = {a,c}, n = {b,f}.
p = {a}, n = {b,c}.
p = {b,c}, n = {a,f}.
p = {b}, n = {a,c}.
p = {c}, n = {a,b,f}.
p = {}, n = {a,b,c}.

~((~f>~((c>a)&(~c>c))=a&((b=a)>a|(e>a|1)))&(~~1&b|~(a=b|f)))|((~a>(c|a|e)&~((a|(c>b)>a|d)>a>e))&c&~(b=a)&(f&c=~~(d&0&~(a=b)))&~((e>~(a=~b)&~~(a&c))|0|f)>(~b|a)&1&a|~(c|b)&((0>d|b)|~(~~1&0))&(~~(a&c)>a&~b)|(~(~a|~~1)>~~(a&(c|(d>d)))&(a>d))|~(a&b>~c|0|~e&a&a>e|~~a)&((~(~b&f)>~(b&f))|~d&b&(c=a)))&(a=~~~(d>a));
p = {a,b,c}, n = {f}.
p = {a,b,c}, n = {f}.
p = {a,c}, n = {b}.
p = {a,f}, n = {b,c}.
p = {}, n = {a}.

~(~((1|~((~~a=~b|a)>d>c))&c&~(b=c))&(d=e)&~~(a>b|c&d=~(a&(~b|e)>f>b))&d&a&f&a&(a=1));
p = {a,b}, n = {}.
p = {a,b}, n = {}.
p = {a,c}, n = {b}.
p = {a,d,e}, n = {b,c}.
p = {a,d}, n = {b,c,e}.
p = {a}, n = {b,c,d}.
p = {}, n = {a}.

((c|a|~d|1&d&b)&~~(~a&(d>c))&f&(d>~0)&(d|(b|1&~f)&~a&~a)>a&b&1&(a>~c)&(0|b)>d>~a)&(~(~(f&~d)|~~(f|a))|((~(b|~(~a&~~f))=(1>~d&f)|c|~a|(0>e))=c&b&b|(a=~(~a|~~c|a))))&(~a>~(~1|b));
p = {a}, n = {b,c}.
p = {a,b}, n = {c}.
p = {a}, n = {b}.
p = {d,f}, n = {a,b}.
p = {f}, n = {a,b,d}.

(d|d>~(~a&a&b|~b|~e)&(a>f&d)|~(~~(c|1)|~(b&~(e|~a))))&((b>c)|((~b>a&(b|d&~b)>~~(f|~e))>c|d));
p = {a,b,c,d,e,f}, n = {}.
p = {a,b,c,d,e,f}, n = {}.
p = {a,b,c}, n = {d}.
p = {a,b,d,e,f}, n = {c}.
p = {a}, n = {b,d}.
p = {b,c,d,e}, n = {a}.
p = {b,c}, n = {a,d}.
p = {b,d,e}, n = {a,c}.
p = {}, n = {a,b,d}.

(~1&0|~d&b)&~(~(b=~~c|~~a)&(e&f|a&~~(d&(b|1)))&((0>~b>e&a)>b|f));
p = {a,b}, n = {d,e,f}.
p = {a,b}, n = {d}.
p = {b,c}, n = {a,d}.
p = {b,e}, n = {a,c,d,f}.
p = {b}, n = {a,c,d,e}.

~((~~a>~(1&d))&((d=b|a>0&1)>(d=b&a))&~((((~a|d)&(a|e)>a&~~(e&(c|c)))|a&((b>1)|((b>a&d)>a&b&1)|(c>b)))&~(a|~a&e|1&b&1>~(a&~1))|~(b|~~(e>~(a&c))>a&c&c)))>(c|f)&~b&(~1>a)&(0>0)&(d|(1>a));
p = {a,c,e,f}, n = {b}.
p = {a,c}, n = {b}.
p = {a,f}, n = {b,c}.
p = {c,d}, n = {a,b}.
p = {d,f}, n = {a,b,c}.

~(c|((~a&b=0>~a|b)>a&~d))&(a|f|b&a);
p = {b,d,f}, n = {a,c}.
p = {b,f}, n = {a,c}.

f&b&(a|(0>a)>e&~d|~b&d)>~((~a|d|~(a&~(b>d&b=~(~c&d&a))))&(a>1)=~(a&(f>~f)));
p = {a,b}, n = {e}.
p = {a,b,c,d}, n = {}.
p = {a,b,c,e,f}, n = {d}.
p = {a,b,c,e}, n = {d,f}.
p = {a,b,c}, n = {d,e}.
p = {a,b,d}, n = {c}.
p = {a,b,e,f}, n = {c,d}.
p = {a,b,e}, n = {c,d,f}.
p = {a,b}, n = {c,d,e}.
p = {a}, n = {b}.
p = {b,d}, n = {a}.
p = {b,e}, n = {a,d,f}.
p = {b}, n = {a,d,e}.
p = {}, n = {a,b}.

(~(e&c)>c|f|a)&(~~(b&~(b&1)&~((e=~d)=~(b&b&0&(~0|(d>a)>(b|a>c|a&(0|e))|0|(~d&~(a|0)|(a>~~c|b)>~(a>c&~(c|e)&(a|(~e=a))&(c=~a)|(a=f))))))=(b=~(a|~c&0))|~((~a&d>~(~c|f))>d&(c|a))&(f|(1>~(1&a)))>~~(~(~a|b)&~(0|c))|(~b>1>b))=~((d>d&a)|~d|~c|~~(~a=~(c&(~b>(d=a))))|~c&a|(~0&e=~~(0|a|~(d>~b&d)|~(0>(a>~(1=a))|b&b)))));
p = {a,b,d}, n = {c,f}.
p = {a,b}, n = {}.
p = {a}, n = {b,c}.
p = {b,c,d,e}, n = {a}.
p = {b,c}, n = {a,d}.
p = {b,f}, n = {a,c}.
p = {c,d}, n = {a,b}.
p = {d,f}, n = {a,b,c}.

a&~(a>c|~d)&(a>b&0);
No solutions.

(c&e>~b&c&(e>a)|(e>(~~((a>a)|(f=~b))=~(b&b))))|1&a&1;
p = {a,c}, n = {b,e}.
p = {a}, n = {}.
p = {b,c}, n = {a,e}.
p = {b}, n = {a,c}.
p = {}, n = {a,b}.

~(~(e|a|b|c)&~(c&(a|c))|(a|d>d|a&e));
p = {a,b,c}, n = {d,e}.
p = {a}, n = {d,e}.

b&~(d&~(a>c))>a&(~((~~1&(a>a)=~(a&a))|((a=~~(c|d))>(d>d&0&a|~b|(e>d))&c&b))>~((~1>f)&d&(f=d))&(d|a|a>a|e&a)=((b>(~b=~(a&(~d|c))))|d|a|~~1|~f&e)&(d|(1=~~(b&a)))&(a&b=~(1>0))&(~a|~~c|a|(f=~(c|c>0>d))))&~(e|b|b=~(~d|~~(c|~~b&d)));
p = {a,b,c}, n = {e}.
p = {a,b,c,d}, n = {}.
p = {a,b,c}, n = {d}.
p = {a,b,d}, n = {c}.
p = {a,b}, n = {c,d}.
p = {a}, n = {b}.
p = {}, n = {a,b}.

0&(a>0);
No solutions.

~~(~(~~(b&~0&(~d>~f>a>a))&(d>~(~a>f))&~~(a=~1)&~(0&d))&(a&~(b&e)>c&1)&(a|(~a>1|d&0))&~((~(~a|d|~(~~d&~(a>~~e)))|~d|~~1)&~(0|1|a|b&0))&(1|~(f&(c|0)))&(~(b|~(a|b))|f|~a))&(~e|~(b|(a=~~(c=~~b))))&(b>(~(c>~(d&a))|~a&(b=~a))&~((c|d)&~(1|f)>~a>c));
p = {a,c,d,f}, n = {b,e}.
p = {a,c}, n = {b}.
p = {c}, n = {a,b,e}.
p = {}, n = {a,b,c}.

((a=~~~(f&a))>~(a|a|d))|~~((1>~b&d)|(~~(b|c=~b&f)=~a|a)&~0&(~~(f&c)=~~(a&~a)))|a&(e|0=~(d&~a));
p = {a,b,d,e}, n = {}.
p = {a,b,e}, n = {}.
p = {a,b,f}, n = {e}.
p = {a,c,d}, n = {b}.
p = {a,c,e}, n = {b,d}.
p = {a,c,f}, n = {b,d,e}.
p = {a,d}, n = {b,c}.
p = {a,e}, n = {b,c,d}.
p = {a,f}, n = {b,c,d,e}.
p = {a}, n = {b,c,d,e,f}.
p = {b}, n = {a}.
p = {}, n = {a,b}.

~(~c|0|d&(b|a)|~(d|0=~(~f&(~(~(~(~(d|(~a=~d))&(b&(~~b>d)|f|0))=f&b&c)>~a|f|~c|~c&1&a|~(b&~b|(~a=~~d)&(b|c|~f)))|~(~(1&~1)&~(~(b|a)&(1>~(a&d))&~(c>d)|(b>b)))))));
p = {c,d,f}, n = {a,b}.
p = {a,c}, n = {d,f}.
p = {b,c}, n = {a,d,f}.
p = {c,d,f}, n = {a,b}.
p = {c}, n = {a,b,d,f}.

a&c&c|b|b=b&b&~~((a>b>a|b)|~(0&~(a|c)));
p = {a,b}, n = {}.
p = {a,b}, n = {}.
p = {a}, n = {b,c}.
p = {}, n = {a}.

((1>e)>(a|a=~~(0&1&a&(b>a)))|(c|a|c)&(b|~f)&(~d|1)|~a|c&d)&(e|a|d&c&d&d)&(d&b&d|~((c=~a)&(~((a>d)|b&d)=~e>a)))&(b|d)&(~(~f|a)=~(a>b))&b&(0|(~1>f&f))&1&(b|c|e)&~(1&~(b&~(b&e)&c&b))&~~(~1&a&~c|(b=~a)&(e|(~b>f))|~((a>e)&(~(0&~(c>b))|(a=~(c&~((~d=a)>b&a>~(b>b>e)|d|c))))));
p = {a,b,c,d}, n = {e}.
p = {a,b,c}, n = {e}.
p = {b,c,d}, n = {a,e,f}.

~~((a|e|c)&(c=~(~f&b))&(c>d)&(a|0|~d|~1)>(~1=~~1|(~a=~~~b))&(~((~b=c)&(a=~a))>(a=~(b>~~c)))|~(c&c&a&(~~a>~~(~e|d))));
p = {a,b,e}, n = {d}.
p = {a,b,c,d}, n = {f}.
p = {a,b,c}, n = {d}.
p = {a,b}, n = {c}.
p = {a,c}, n = {b,d}.
p = {a}, n = {b,c}.
p = {}, n = {a}.

~(e|~c|(~~a=1)|~1&(e|~0)|(e=a)&a&~(~f&a&(~b>c))|~(1|(d=~(f|c))&~a&c=~(a&d&a&(d&~((~b=~1)=~~(~~c&~(b|d)>b&a&~~(1=a)>~(d|(0>b))))>(f=~(~a&(d|c))))>~(b&(1|(~f>f)>d|d)))));
No solutions.

~((~(a>b|d)|(~(b&0)>~(((~f>(a=~d))>e|b&(~d|0))&(a>b)|b&c&(a|e)))=~(~~a&~~a>c|a|f))=~(((a=~b)|~b&~(c=~a))&(d&(e>~a)|(~~(d|d)=b&d)|a&b)));
p = {a,b,d,f}, n = {c,e}.
p = {a,b,d,f}, n = {c,e}.
p = {a,d,e}, n = {b}.
p = {b,c,d,e}, n = {a}.
p = {b,c}, n = {a,d}.
p = {b,d,e}, n = {a,c}.
p = {b}, n = {a,c,d}.
p = {c,d}, n = {a,b,e}.
p = {c,f}, n = {a,b,d,e}.
p = {d,e}, n = {a,b,c}.
p = {e}, n = {a,b,c,d}.
p = {}, n = {a,b,c,d,e,f}.

~(~(a|b)|d&(b=~b))&(c|c&c)&~(~(~0>(a=~a))|a&e&(a>b));
No solutions.

e&(~~(b&d&~(c&~~0)>~~(0=~b)|c&f&1)>~~(0|~c&f|0&~(f|~a)|~(b|c))&~~(e&c)&~(b&a>(1=~(~f=~e)|(c=~1))&~(~0&~(e&c))&(0>a))&(a|a|(~a=a))&a&e);
No solutions.

~(~~(~1>b)&a&a&(~(~b|d|a)|(0|~a|d)&b&(0|a)=(d=~((a|d|(c=1))&a&b))))|~~(a&~(a&a)|~c&b)|(~b&(c|~b)|(d>~(0|e)))&e&~0&(~f|(b|b)&(c=~(e>~~a))&~(a&~~f)>~(a&(a=~(b=~b)))&0&~~b);
p = {a,b,d,f}, n = {c}.
p = {a,b,c,d}, n = {}.
p = {a,b,c,e}, n = {d}.
p = {a,b,c}, n = {d,e}.
p = {a,b}, n = {c}.
p = {a,d}, n = {b}.
p = {a,e,f}, n = {b,d}.
p = {}, n = {a}.

~~(~((((c=a>a|a)=b&1)|(~e|f)&0&b)&~(((b>e)>~(~a&(c|(~~c=~(~d|e)))))|0|d))&~~(a|~(~~(d=~(~d=~~a))&~0&~(a&~c)&(b>b))));
p = {a}, n = {}.
p = {a}, n = {}.
p = {b,c,d}, n = {a}.
p = {b,c}, n = {a,d,e}.
p = {b,d}, n = {a,c}.
p = {b}, n = {a,c,d}.
p = {c,d}, n = {a,b}.
p = {c}, n = {a,b,d}.
p = {d}, n = {a,b,c}.

d>f;
p = {f}, n = {d}.
p = {d,f}, n = {}.
p = {}, n = {d}.

((((f>a)|(b>~c>~0)|b&(c|0|b|b&a|~a|e)|(c|e&~~a>~(d&(d=~(f>(1=~b)))|~((~a>a>d)|d|e)))=~(~(~b&b&(d|a))|d|~(~a&(0|d|b|1))|a|~0|e))>((a&~~(a&~d|c&1)=c&~~(~c&b))=~(~(1=~0)|~a&(b|e)))&~(0&a&((~b=~d)|~~(a>(0=~~a)))))|(a|~((d|a|a&b|~a&b>(a=~(~~d|~(b|f))))>(c|b=~(a>e|d))>d&(b>e)))&~c&(e>~(~~c>e)))&~(~b|0&~(c&b));
p = {b}, n = {}.
p = {b}, n = {}.

~(c&~(a&f&b)=~(~a>0|~(a>a|~(a&f))))&(~~(a&~~((c=~~(d|~(a|0&a)))&(~0&(a=d)&(~f>(a=~(~1|a&b)))|(a=e)|b&d&~c&a&~(e&~b&b=~(a&b))))>c&~(b=c)&~~(~~a|a)&a&~(c>~b>(1=c))|((~~((~~(~b&c)>e&a)|~(1>b))=~(b&c&((d=~(b&c))|~~(a=~(~1|~a)))))>a&b|~(~~(~~f=f)|a|a&~~1)))>((1>~(b|b))|1|c)&((0>~b)|(b>d&~a)));
p = {a,c}, n = {b,f}.
p = {a,b,c}, n = {f}.
p = {a,c}, n = {b}.
p = {}, n = {a,c}.

~~(d&~((~(~(~c>a|a>(a=b))|(f>b)&(e>~~e&(a>a)&~(~a&1))|~(~~(~(~~b|~c)&(e|c)|c&~(0&d))|(~0=b)))>b&b&(b|d|a)>~~c>~(c=~(f|~~(~~b|~b))))|1&(~~1=b)))|((c>~(d>a))>d&(d&(a>b)=~(0&c)));
p = {a,b,d,e}, n = {}.
p = {a,b,c}, n = {}.
p = {a,b,d}, n = {c}.
p = {a,c}, n = {b}.
p = {b,c}, n = {a}.
p = {b,d}, n = {a,c}.
p = {c}, n = {a,b}.
p = {d}, n = {a,b,c}.

~~(b&(~0>a)&b&a&(d>a)|(f&(~~d|~a)=~(c|~d|0|d|a|~(a=~(b&a)))))=(d&a|c|b)&(~~((~(c&e&~~(f|b))&(c>a)>~d|e&a)&(~b>b)&(~d|~~1))>(c|e)&f&d|~(~d>a)&(~b>~~a)&b&d)&((~a|~b&b)&~((c|~(d|a))&(a|~(a|~0)))|a&f&(d|b));
p = {a,b,c,d,f}, n = {}.
p = {a,b,c,d,e,f}, n = {}.
p = {a,b,c,d,f}, n = {e}.
p = {a,b,d,e,f}, n = {c}.
p = {a,b,d,f}, n = {c,e}.
p = {b,c,f}, n = {a,d}.
p = {b,d}, n = {a,c,f}.
p = {b,f}, n = {a,c,d}.
p = {c}, n = {a,b,f}.
p = {f}, n = {a,b,c}.

b|~f;
p = {b}, n = {f}.
p = {b}, n = {}.
p = {}, n = {b,f}.

(a>b)|~(b=b|c);
p = {b}, n = {a}.
p = {a,b}, n = {}.
p = {a,c}, n = {b}.
p = {}, n = {a}.

~(a>e)>~(a&c&a&(~((1=~(c>1|d))&~a&(~a|(~0=d|1&~((~a=~d)|(b>(1=b))))))>~((~(~~b|c>e&1)|(~b>0&1))&(e>b>(e>~1)&(c>1)))|~((a>c&(a|0|(d>b)>(~(d&b)=~(1|~c))))&~(f&c&d&(b|(~f>d))))&~(f&~~b)));
p = {b}, n = {a}.
p = {a,b,c,d,e}, n = {}.
p = {a,b,c,d}, n = {e}.
p = {a,b,c,e}, n = {d}.
p = {a,b,c,f}, n = {d,e}.
p = {a,b}, n = {c}.
p = {a,c,e}, n = {b}.
p = {a}, n = {b,c}.
p = {}, n = {a}.

e&b>~~f|a&(~a>a&0)=~~((f|~d=(~~d=~a))&b&d)&(0&(f=d)>0|b)&(a&(a>a)|(~f|1=a&e&(0&a|~(c|(a=1)))))|~(a&b&~1&d&~1&c)|(~a&a&~(~f&~(~a&f|~(a&~~c&a)))=~(0|b))|((~(a&(a|~c))&(~d>f&f)=((c=a)=~~(a&~b)))=(((b=~d)>~b|~(e&a))>(a=~1)|(c>0))|(c=~~0)&~((d&0|~b|1)&(a|~(1|c))>(a=f))|b&(~b=e)|~(a&1))|~(b&~~a&c)&(0&(1=~b)>(~a>a)|~f|b|b|1);
p = {a,f}, n = {b,e}.
p = {a}, n = {}.
p = {b,e,f}, n = {a}.
p = {b}, n = {a,e}.
p = {}, n = {a,b}.

(a&a&a>(a=~(e&a)))|~((~b|(d=~a&e))&a&e)|~(f|~a|~(d&~(e&f&c))|(~~(~(~b&(b=~~0))&~f&c|~(d=~(c&a|(~b>~(d&~~a))))>b|a|1|b)>(~(0&(a|~(d&(b=~(c>(1=c))))))|(a>c&0))&(1&f>a|b=(~f=~a)))&(~~(c|e)|(b=a))|~(d&a|~c&c));
p = {a,b,d}, n = {c,e,f}.
p = {a,b,c,d}, n = {}.
p = {a,b,c}, n = {d,e}.
p = {a,b,d}, n = {c}.
p = {a,b}, n = {c,d,e}.
p = {a,c,d,e}, n = {b,f}.
p = {a,c,d}, n = {b,e}.
p = {a,c}, n = {b,d,e}.
p = {a,d,e}, n = {b,c,f}.
p = {a,d}, n = {b,c,e}.
p = {a}, n = {b,c,d,e}.
p = {}, n = {a}.

~0&c&d&f&~(~(((b>(a=b)|(~b|d)&(c>d&(a|~1|f)))&(b>~e)&(~0|a&(d>d))&e&(a=~~c)=~~(b|b|(d|0>a>a>~b)))&~~(a&a&~(d|~c)&~((~b|(~b&b>~a|~(d=c&d)))&~(b|a&a))))|~((a&~a=~~(b&(0>~a)))&((a>~~a)|c&b|~b&~(d|a)&(b&b|(c>b)))=~~~(a|0))|~a|~~e)&f&(d|a);
No solutions.

~((~(a|d|(~a>a&b))>c|~d|d=~(~(a&a=(~a=a&~a>b>a))&(a|b|(b>d|~b)&(c|f))))|~((((0=~(~f>d))&(a&c=~~(a&a))>c&d)|(b>~(a|~d)|~~(a|(c>c))))&(~~b|~~((d|~b&a)&(~(a|a=~(~(b&c&c)&(~~(~((a|(1>b))&(0=~c)>f|~(d=~b))&d&d)>d|e)&(~(b|e)>b>d|b)))|(d|0)&f&~~(d>~(b&~1))))))=~((1>f=c&b&a)&((~1=d)&~(b|~~d)>(c|(1>d))&~~(f&b))));
p = {a,b,c}, n = {f}.
p = {a,b,c}, n = {f}.
p = {a,b,f}, n = {c}.
p = {a,c,d,f}, n = {b}.
p = {a,c}, n = {b,d}.
p = {a,d,f}, n = {b,c}.
p = {a}, n = {b,c,d}.
p = {b,f}, n = {a}.
p = {c,d,f}, n = {a,b}.
p = {c,d}, n = {a,b,f}.
p = {d,f}, n = {a,b,c}.
p = {d}, n = {a,b,c,f}.

a|a=~(~(0&a=~~((~b=~~f)&a&f&~((c&a>(e=~(a&f&0>b&d)))>(c&~f>b|~(a|~a))&0&~(e=b&b)>~(e>~a))))|((~0>a)>~(a&c&c&a&(d|c|c&(~~a>a)|a&a&a))&~~((a=~(d|0))|(1>~1)=~((1=b&a)&(~(a|b)|c&d)))&~(~0&c)&(0>d)));
p = {a,b,c}, n = {}.
p = {a,b,c}, n = {}.
p = {a,b,d}, n = {c}.
p = {a,c}, n = {b}.
p = {a,d}, n = {b,c}.

(b|0|~c&b&a)&~(d&(d=~d)|d&c)&((a>(a=(c=c)))>a>1|b)&c&1&(~~a|a|0)|~~(a|~a|(~(a&a&~c)&(0|0)|(~a>~b)>~c|(~a>c&e)&c&~(e|1))|~~(1=b)&~a&~~(a|a));
p = {a,b}, n = {}.
p = {a}, n = {}.
p = {}, n = {a}.

(b|~(b&b))&((~(1|~b)&(~c|e)|a&~e&e>~(~~a|d))|(a|a>(b=~a))|b&(c|0)&(b&~b&~~f|(~b|0=1&b)));
p = {b}, n = {}.
p = {b}, n = {}.
p = {}, n = {b}.

d&~((b>a&b)&~(c|~c));
p = {b,d}, n = {a}.
p = {a,c,d}, n = {}.
p = {a,d}, n = {c}.
p = {b,d}, n = {a}.
p = {c,d}, n = {a,b}.
p = {d}, n = {a,b,c}.

~~(0&~a|((1>f&a&(f>a))>(~b=a))|~c|~(~~a|~c)&(a=~0)>((d>f|d)&(a>b&c)&(~(e|c>(c=a|c)>~~(e&~a))>d&a)&(0|a|f&1|~((c|(c>e))&b&~(a|a)))=~((~(a|~~b)>~((c&(0=~(d=e|~a))&~(1|~~b|a)=~(a=~0))&b&((c|a>~~b|d)>d|a)>~(a&a)|~~(d=~~~(a|a))))|(b=~(a=~(b=f|b&a>a&(c|b)))))));
p = {a,b,c,d,e,f}, n = {}.
p = {a,b,c,d,f}, n = {}.
p = {a,b,c}, n = {d}.
p = {a,b}, n = {c}.
p = {a}, n = {b}.
p = {b,c,d,e}, n = {a,f}.
p = {b,c,d}, n = {a,e}.
p = {b,c,e}, n = {a,d,f}.
p = {b,c}, n = {a,d,e}.
p = {b,d}, n = {a,c,f}.
p = {b}, n = {a,c,d,f}.
p = {c,d,e}, n = {a,b,f}.
p = {c,d,f}, n = {a,b,e}.
p = {c,e}, n = {a,b,d,f}.
p = {c,f}, n = {a,b,d,e}.
p = {d}, n = {a,b,c,f}.
p = {}, n = {a,b,c,d,f}.

(b|~b&~~1=~(c>f>d))=~d>e&1;
p = {b,c,e,f}, n = {d}.
p = {b,c,e,f}, n = {d}.
p = {b,c}, n = {d,e,f}.
p = {b}, n = {c,d,e}.
p = {c,e,f}, n = {b,d}.
p = {c}, n = {b,d,e,f}.
p = {}, n = {b,c,d,e}.

f=~0;
p = {f}, n = {}.
p = {f}, n = {}.

~~(~(~~a>~(1|d))&(b>~d|(b=~b))&(a|a=~(a|b)))|(~(a&b)>~(((e=d)=~(b>a))&a&~(d|(~~(~c|~(b|b))>a>(~b=a&f)))&((b=~c)>c|~a)))|(~d>~d);
p = {a,b}, n = {}.
p = {a,b}, n = {}.
p = {a,d}, n = {b}.
p = {a}, n = {b,d}.
p = {}, n = {a}.

(a|(0=~c)>f&b|~(b|f>e&(a|~b|~~(f&~~b))))&~~(~~e&~(a&a)&(1|d|c&~~d))&~(a|(d>c));
p = {b,d,e}, n = {a,c}.
p = {b,d,e}, n = {a,c}.
p = {d,e}, n = {a,b,c}.

b|1;
p = {}, n = {}.
p = {}, n = {}.

~((~~(b=~~a)|(c=~~a)>~~(b|(a=~(f>a))))>e&0&~a>~(~(d>c)&(b|1|~(~~(b&~~c)&(f=~d))|(a=~(a|~b))&(b>~(~d&(a|a))&~(a>d&0)))))>~a&1&~((a&b=~((f>~d)&(d|a)))>f|f)&~~(~a&(d>d|~c))&~(d&(f|~~(a&a)))&~b&(c|a)|(~f|~~e)&~(~e|~b)&(b|e|c)&~(b|b|d&~(c&b)|a|a&a)&e&c&a;
p = {}, n = {}.
p = {}, n = {}.

~((~(d>e|~b&a)=~(~~(~b>c)=~~(d=~(d&e))))&(a&f|(b>b)|b|b))>~(~(b|e|c)&(d|c)>b&f)&~~(1&b)&(~(1=~(a|~d))&d&(~(d>e)|~(c=a))&~(c|d|d)|((c&~c>c&a&b)|~(~~(a>d)&(c|f)))&b&(a|a)&(0|a|f&~(a&b)));
p = {a,c,d}, n = {b,e,f}.
p = {a,c,d}, n = {b,e}.
p = {a,d,e}, n = {b,c}.
p = {a}, n = {b,c,d}.
p = {d}, n = {a,b,c,e}.
p = {}, n = {a,b,c,d}.

~(a&(~~a>d|d)|((d|a|~c&~~b|~a&~f)&(a>b|a=~(~~a&~(b|c)))&~((d>~(~d>~e))|(~f|~c&~(d&(c>b))&(~~1|c))&(1>a=a|~b&(~a|e))>~(1&a)&(c>b)|e&b&(a|~(a&c&d))|e|~a|a&f)>a|d))>~(((~a>~~f)&(f|~(d|a))&(b>(b=~(d|a)))|~(d=~~(~b|c|a)))&~(~0&~(~a&d)));
p = {a}, n = {}.
p = {a}, n = {}.
p = {}, n = {a}.

(b|(d=~(d&1))|~(~a&a)|~e|e|0)&(~~(a=~~~(~b=a))|~~c|a|a)&(a|d);
p = {a,c,d}, n = {}.
p = {a}, n = {}.
p = {b,d}, n = {a}.
p = {c,d}, n = {a,b}.

~~(f&(((a>e)&~(a>e>b)>~((~a|(a>1))&(1>0|~a)&~(~(b=~~(b|b))|~(~b&d))|(b=c))&(c|(e>d)))>(0|1)&(~(~(~d&b)&(b=a))>1&d))&(~(b&(a>f)&(~(~~b>(f=d))&(c|1)=a>a))|(~(1&(f|(a=f&(f|e))))>~(~b=~(~(d>0)>~f|a&b&f)))&~(~~(~(b&~a)|(a&(f>(1=d|a))>d&(d|~~0)))|(~d|c&(e|b))&~(b|1|(b=~~1))))=~~(~~((~(c>f&a)>d|~d)&a&~~a|(e=b&(f=c>b&e)))|a&~(~f|~(a&0)>a|a&~d&(e=~(~a>1)))&(~a&e&a|1&b)));
p = {a,b,c,d,f}, n = {}.
p = {a,b,c,d,f}, n = {}.
p = {a,b,d,f}, n = {c}.
p = {a,c,d,f}, n = {b}.
p = {a,d,f}, n = {b,c}.
p = {a,e,f}, n = {b,c,d}.
p = {b,c,d,e}, n = {a}.
p = {b,c,d}, n = {a,e}.
p = {b,c,e}, n = {a,d,f}.
p = {b,c}, n = {a,d,e,f}.
p = {b,d,e}, n = {a,c}.
p = {b,e}, n = {a,c,d,f}.
p = {b,f}, n = {a,c,d,e}.
p = {e}, n = {a,b,f}.
p = {f}, n = {a,b,e}.

(a&~b|1&(a|~(~c>a)))&d&a&(~b&(d|c)|f&d)&(~~0|b);
p = {a,b,d,f}, n = {}.
p = {a,b,d,f}, n = {}.

(d&~(d&(e=0))|b&~e|~(((~c=~(~c=a&e))=d|~(~a|a))&~(a|~(a&(a|e)))&b&a))&((1=~c)|~(e|c>~f>~c)&~((a=~a)&(a|(~~b=~f))))&((~(d|e|~c)>~a&c>a&(c|(~1=~d)))|((c|0|~(~c>b>a&~~e))&(1>a)>~(b|b&(~c=~~e))&e&(f>(~b=0))));
p = {a,c,e}, n = {f}.
p = {a,c}, n = {f}.
p = {a}, n = {c}.
p = {b,c}, n = {a,f}.
p = {b}, n = {a,c}.
p = {c}, n = {a,b,f}.
p = {}, n = {a,b,c}.

(1=f)&(~(a&a|a|a&d)>b>d)>a|~c|(~~a>a)|~(~~((~e=~~c)&(b|~~1))|(c>~a))&c&c&b&(~c|(b>a)|~~b&(~b|f))&(1|a)&(c=f)&c&(b=~(~d>d))&((~a>b)|d&~f)&(~~((a>d)&(c=b))=~(d&(a|e)))=~(~(((c|a&c>~~d&c)&~d&e&b>f&c)>~(a&a))|0&0|b&1);
p = {e}, n = {a,b,f}.
p = {}, n = {a,b}.