21 lines
65 KiB
Plaintext
21 lines
65 KiB
Plaintext
class: "LogicTest"
|
|
success: "PASS"
|
|
failure: "NO PASS"
|
|
|
|
# Python statements initializing variables for the test below.
|
|
preamble: """
|
|
import logic
|
|
|
|
A = logic.PropSymbolExpr('A')
|
|
B = logic.PropSymbolExpr('B')
|
|
|
|
ent = logicPlan.entails
|
|
|
|
ans = [ent(A & B, A & ~B), ent(A & B, ~A & B), ent(A & B, ~A & ~B), ent(A & B, A | B), ent(A & B, A | ~B), ent(A & B, ~A | B), ent(A & B, ~A | ~B), ent(A & B, A >> B), ent(A & B, A >> ~B), ent(A & B, ~A >> B), ent(A & B, ~A >> ~B), ent(A & B, A % B), ent(A & B, A % ~B), ent(A & B, ~A % B), ent(A & B, ~A % ~B), ent(A & B, A & (A & B)), ent(A & B, A & (A & ~B)), ent(A & B, A & (~A & B)), ent(A & B, A & (~A & ~B)), ent(A & B, A & (A | B)), ent(A & B, A & (A | ~B)), ent(A & B, A & (~A | B)), ent(A & B, A & (~A | ~B)), ent(A & B, A & (A >> B)), ent(A & B, A & (A >> ~B)), ent(A & B, A & (~A >> B)), ent(A & B, A & (~A >> ~B)), ent(A & B, A & (A % B)), ent(A & B, A & (A % ~B)), ent(A & B, A & (~A % B)), ent(A & B, A & (~A % ~B)), ent(A & B, B & (A & B)), ent(A & B, B & (A & ~B)), ent(A & B, B & (~A & B)), ent(A & B, B & (~A & ~B)), ent(A & B, B & (A | B)), ent(A & B, B & (A | ~B)), ent(A & B, B & (~A | B)), ent(A & B, B & (~A | ~B)), ent(A & B, B & (A >> B)), ent(A & B, B & (A >> ~B)), ent(A & B, B & (~A >> B)), ent(A & B, B & (~A >> ~B)), ent(A & B, B & (A % B)), ent(A & B, B & (A % ~B)), ent(A & B, B & (~A % B)), ent(A & B, B & (~A % ~B)), ent(A & ~B, A & B), ent(A & ~B, ~A & B), ent(A & ~B, ~A & ~B), ent(A & ~B, A | B), ent(A & ~B, A | ~B), ent(A & ~B, ~A | B), ent(A & ~B, ~A | ~B), ent(A & ~B, A >> B), ent(A & ~B, A >> ~B), ent(A & ~B, ~A >> B), ent(A & ~B, ~A >> ~B), ent(A & ~B, A % B), ent(A & ~B, A % ~B), ent(A & ~B, ~A % B), ent(A & ~B, ~A % ~B), ent(A & ~B, A & (A & B)), ent(A & ~B, A & (A & ~B)), ent(A & ~B, A & (~A & B)), ent(A & ~B, A & (~A & ~B)), ent(A & ~B, A & (A | B)), ent(A & ~B, A & (A | ~B)), ent(A & ~B, A & (~A | B)), ent(A & ~B, A & (~A | ~B)), ent(A & ~B, A & (A >> B)), ent(A & ~B, A & (A >> ~B)), ent(A & ~B, A & (~A >> B)), ent(A & ~B, A & (~A >> ~B)), ent(A & ~B, A & (A % B)), ent(A & ~B, A & (A % ~B)), ent(A & ~B, A & (~A % B)), ent(A & ~B, A & (~A % ~B)), ent(A & ~B, B & (A & B)), ent(A & ~B, B & (A & ~B)), ent(A & ~B, B & (~A & B)), ent(A & ~B, B & (~A & ~B)), ent(A & ~B, B & (A | B)), ent(A & ~B, B & (A | ~B)), ent(A & ~B, B & (~A | B)), ent(A & ~B, B & (~A | ~B)), ent(A & ~B, B & (A >> B)), ent(A & ~B, B & (A >> ~B)), ent(A & ~B, B & (~A >> B)), ent(A & ~B, B & (~A >> ~B)), ent(A & ~B, B & (A % B)), ent(A & ~B, B & (A % ~B)), ent(A & ~B, B & (~A % B)), ent(A & ~B, B & (~A % ~B)), ent(~A & B, A & B), ent(~A & B, A & ~B), ent(~A & B, ~A & ~B), ent(~A & B, A | B), ent(~A & B, A | ~B), ent(~A & B, ~A | B), ent(~A & B, ~A | ~B), ent(~A & B, A >> B), ent(~A & B, A >> ~B), ent(~A & B, ~A >> B), ent(~A & B, ~A >> ~B), ent(~A & B, A % B), ent(~A & B, A % ~B), ent(~A & B, ~A % B), ent(~A & B, ~A % ~B), ent(~A & B, A & (A & B)), ent(~A & B, A & (A & ~B)), ent(~A & B, A & (~A & B)), ent(~A & B, A & (~A & ~B)), ent(~A & B, A & (A | B)), ent(~A & B, A & (A | ~B)), ent(~A & B, A & (~A | B)), ent(~A & B, A & (~A | ~B)), ent(~A & B, A & (A >> B)), ent(~A & B, A & (A >> ~B)), ent(~A & B, A & (~A >> B)), ent(~A & B, A & (~A >> ~B)), ent(~A & B, A & (A % B)), ent(~A & B, A & (A % ~B)), ent(~A & B, A & (~A % B)), ent(~A & B, A & (~A % ~B)), ent(~A & B, B & (A & B)), ent(~A & B, B & (A & ~B)), ent(~A & B, B & (~A & B)), ent(~A & B, B & (~A & ~B)), ent(~A & B, B & (A | B)), ent(~A & B, B & (A | ~B)), ent(~A & B, B & (~A | B)), ent(~A & B, B & (~A | ~B)), ent(~A & B, B & (A >> B)), ent(~A & B, B & (A >> ~B)), ent(~A & B, B & (~A >> B)), ent(~A & B, B & (~A >> ~B)), ent(~A & B, B & (A % B)), ent(~A & B, B & (A % ~B)), ent(~A & B, B & (~A % B)), ent(~A & B, B & (~A % ~B)), ent(~A & ~B, A & B), ent(~A & ~B, A & ~B), ent(~A & ~B, ~A & B), ent(~A & ~B, A | B), ent(~A & ~B, A | ~B), ent(~A & ~B, ~A | B), ent(~A & ~B, ~A | ~B), ent(~A & ~B, A >> B), ent(~A & ~B, A >> ~B), ent(~A & ~B, ~A >> B), ent(~A & ~B, ~A >> ~B), ent(~A & ~B, A % B), ent(~A & ~B, A % ~B), ent(~A & ~B, ~A % B), ent(~A & ~B, ~A % ~B), ent(~A & ~B, A & (A & B)), ent(~A & ~B, A & (A & ~B)), ent(~A & ~B, A & (~A & B)), ent(~A & ~B, A & (~A & ~B)), ent(~A & ~B, A & (A | B)), ent(~A & ~B, A & (A | ~B)), ent(~A & ~B, A & (~A | B)), ent(~A & ~B, A & (~A | ~B)), ent(~A & ~B, A & (A >> B)), ent(~A & ~B, A & (A >> ~B)), ent(~A & ~B, A & (~A >> B)), ent(~A & ~B, A & (~A >> ~B)), ent(~A & ~B, A & (A % B)), ent(~A & ~B, A & (A % ~B)), ent(~A & ~B, A & (~A % B)), ent(~A & ~B, A & (~A % ~B)), ent(~A & ~B, B & (A & B)), ent(~A & ~B, B & (A & ~B)), ent(~A & ~B, B & (~A & B)), ent(~A & ~B, B & (~A & ~B)), ent(~A & ~B, B & (A | B)), ent(~A & ~B, B & (A | ~B)), ent(~A & ~B, B & (~A | B)), ent(~A & ~B, B & (~A | ~B)), ent(~A & ~B, B & (A >> B)), ent(~A & ~B, B & (A >> ~B)), ent(~A & ~B, B & (~A >> B)), ent(~A & ~B, B & (~A >> ~B)), ent(~A & ~B, B & (A % B)), ent(~A & ~B, B & (A % ~B)), ent(~A & ~B, B & (~A % B)), ent(~A & ~B, B & (~A % ~B)), ent(A | B, A & B), ent(A | B, A & ~B), ent(A | B, ~A & B), ent(A | B, ~A & ~B), ent(A | B, A | ~B), ent(A | B, ~A | B), ent(A | B, ~A | ~B), ent(A | B, A >> B), ent(A | B, A >> ~B), ent(A | B, ~A >> B), ent(A | B, ~A >> ~B), ent(A | B, A % B), ent(A | B, A % ~B), ent(A | B, ~A % B), ent(A | B, ~A % ~B), ent(A | B, A & (A & B)), ent(A | B, A & (A & ~B)), ent(A | B, A & (~A & B)), ent(A | B, A & (~A & ~B)), ent(A | B, A & (A | B)), ent(A | B, A & (A | ~B)), ent(A | B, A & (~A | B)), ent(A | B, A & (~A | ~B)), ent(A | B, A & (A >> B)), ent(A | B, A & (A >> ~B)), ent(A | B, A & (~A >> B)), ent(A | B, A & (~A >> ~B)), ent(A | B, A & (A % B)), ent(A | B, A & (A % ~B)), ent(A | B, A & (~A % B)), ent(A | B, A & (~A % ~B)), ent(A | B, B & (A & B)), ent(A | B, B & (A & ~B)), ent(A | B, B & (~A & B)), ent(A | B, B & (~A & ~B)), ent(A | B, B & (A | B)), ent(A | B, B & (A | ~B)), ent(A | B, B & (~A | B)), ent(A | B, B & (~A | ~B)), ent(A | B, B & (A >> B)), ent(A | B, B & (A >> ~B)), ent(A | B, B & (~A >> B)), ent(A | B, B & (~A >> ~B)), ent(A | B, B & (A % B)), ent(A | B, B & (A % ~B)), ent(A | B, B & (~A % B)), ent(A | B, B & (~A % ~B)), ent(A | ~B, A & B), ent(A | ~B, A & ~B), ent(A | ~B, ~A & B), ent(A | ~B, ~A & ~B), ent(A | ~B, A | B), ent(A | ~B, ~A | B), ent(A | ~B, ~A | ~B), ent(A | ~B, A >> B), ent(A | ~B, A >> ~B), ent(A | ~B, ~A >> B), ent(A | ~B, ~A >> ~B), ent(A | ~B, A % B), ent(A | ~B, A % ~B), ent(A | ~B, ~A % B), ent(A | ~B, ~A % ~B), ent(A | ~B, A & (A & B)), ent(A | ~B, A & (A & ~B)), ent(A | ~B, A & (~A & B)), ent(A | ~B, A & (~A & ~B)), ent(A | ~B, A & (A | B)), ent(A | ~B, A & (A | ~B)), ent(A | ~B, A & (~A | B)), ent(A | ~B, A & (~A | ~B)), ent(A | ~B, A & (A >> B)), ent(A | ~B, A & (A >> ~B)), ent(A | ~B, A & (~A >> B)), ent(A | ~B, A & (~A >> ~B)), ent(A | ~B, A & (A % B)), ent(A | ~B, A & (A % ~B)), ent(A | ~B, A & (~A % B)), ent(A | ~B, A & (~A % ~B)), ent(A | ~B, B & (A & B)), ent(A | ~B, B & (A & ~B)), ent(A | ~B, B & (~A & B)), ent(A | ~B, B & (~A & ~B)), ent(A | ~B, B & (A | B)), ent(A | ~B, B & (A | ~B)), ent(A | ~B, B & (~A | B)), ent(A | ~B, B & (~A | ~B)), ent(A | ~B, B & (A >> B)), ent(A | ~B, B & (A >> ~B)), ent(A | ~B, B & (~A >> B)), ent(A | ~B, B & (~A >> ~B)), ent(A | ~B, B & (A % B)), ent(A | ~B, B & (A % ~B)), ent(A | ~B, B & (~A % B)), ent(A | ~B, B & (~A % ~B)), ent(~A | B, A & B), ent(~A | B, A & ~B), ent(~A | B, ~A & B), ent(~A | B, ~A & ~B), ent(~A | B, A | B), ent(~A | B, A | ~B), ent(~A | B, ~A | ~B), ent(~A | B, A >> B), ent(~A | B, A >> ~B), ent(~A | B, ~A >> B), ent(~A | B, ~A >> ~B), ent(~A | B, A % B), ent(~A | B, A % ~B), ent(~A | B, ~A % B), ent(~A | B, ~A % ~B), ent(~A | B, A & (A & B)), ent(~A | B, A & (A & ~B)), ent(~A | B, A & (~A & B)), ent(~A | B, A & (~A & ~B)), ent(~A | B, A & (A | B)), ent(~A | B, A & (A | ~B)), ent(~A | B, A & (~A | B)), ent(~A | B, A & (~A | ~B)), ent(~A | B, A & (A >> B)), ent(~A | B, A & (A >> ~B)), ent(~A | B, A & (~A >> B)), ent(~A | B, A & (~A >> ~B)), ent(~A | B, A & (A % B)), ent(~A | B, A & (A % ~B)), ent(~A | B, A & (~A % B)), ent(~A | B, A & (~A % ~B)), ent(~A | B, B & (A & B)), ent(~A | B, B & (A & ~B)), ent(~A | B, B & (~A & B)), ent(~A | B, B & (~A & ~B)), ent(~A | B, B & (A | B)), ent(~A | B, B & (A | ~B)), ent(~A | B, B & (~A | B)), ent(~A | B, B & (~A | ~B)), ent(~A | B, B & (A >> B)), ent(~A | B, B & (A >> ~B)), ent(~A | B, B & (~A >> B)), ent(~A | B, B & (~A >> ~B)), ent(~A | B, B & (A % B)), ent(~A | B, B & (A % ~B)), ent(~A | B, B & (~A % B)), ent(~A | B, B & (~A % ~B)), ent(~A | ~B, A & B), ent(~A | ~B, A & ~B), ent(~A | ~B, ~A & B), ent(~A | ~B, ~A & ~B), ent(~A | ~B, A | B), ent(~A | ~B, A | ~B), ent(~A | ~B, ~A | B), ent(~A | ~B, A >> B), ent(~A | ~B, A >> ~B), ent(~A | ~B, ~A >> B), ent(~A | ~B, ~A >> ~B), ent(~A | ~B, A % B), ent(~A | ~B, A % ~B), ent(~A | ~B, ~A % B), ent(~A | ~B, ~A % ~B), ent(~A | ~B, A & (A & B)), ent(~A | ~B, A & (A & ~B)), ent(~A | ~B, A & (~A & B)), ent(~A | ~B, A & (~A & ~B)), ent(~A | ~B, A & (A | B)), ent(~A | ~B, A & (A | ~B)), ent(~A | ~B, A & (~A | B)), ent(~A | ~B, A & (~A | ~B)), ent(~A | ~B, A & (A >> B)), ent(~A | ~B, A & (A >> ~B)), ent(~A | ~B, A & (~A >> B)), ent(~A | ~B, A & (~A >> ~B)), ent(~A | ~B, A & (A % B)), ent(~A | ~B, A & (A % ~B)), ent(~A | ~B, A & (~A % B)), ent(~A | ~B, A & (~A % ~B)), ent(~A | ~B, B & (A & B)), ent(~A | ~B, B & (A & ~B)), ent(~A | ~B, B & (~A & B)), ent(~A | ~B, B & (~A & ~B)), ent(~A | ~B, B & (A | B)), ent(~A | ~B, B & (A | ~B)), ent(~A | ~B, B & (~A | B)), ent(~A | ~B, B & (~A | ~B)), ent(~A | ~B, B & (A >> B)), ent(~A | ~B, B & (A >> ~B)), ent(~A | ~B, B & (~A >> B)), ent(~A | ~B, B & (~A >> ~B)), ent(~A | ~B, B & (A % B)), ent(~A | ~B, B & (A % ~B)), ent(~A | ~B, B & (~A % B)), ent(~A | ~B, B & (~A % ~B)), ent(A >> B, A & B), ent(A >> B, A & ~B), ent(A >> B, ~A & B), ent(A >> B, ~A & ~B), ent(A >> B, A | B), ent(A >> B, A | ~B), ent(A >> B, ~A | B), ent(A >> B, ~A | ~B), ent(A >> B, A >> ~B), ent(A >> B, ~A >> B), ent(A >> B, ~A >> ~B), ent(A >> B, A % B), ent(A >> B, A % ~B), ent(A >> B, ~A % B), ent(A >> B, ~A % ~B), ent(A >> B, A & (A & B)), ent(A >> B, A & (A & ~B)), ent(A >> B, A & (~A & B)), ent(A >> B, A & (~A & ~B)), ent(A >> B, A & (A | B)), ent(A >> B, A & (A | ~B)), ent(A >> B, A & (~A | B)), ent(A >> B, A & (~A | ~B)), ent(A >> B, A & (A >> B)), ent(A >> B, A & (A >> ~B)), ent(A >> B, A & (~A >> B)), ent(A >> B, A & (~A >> ~B)), ent(A >> B, A & (A % B)), ent(A >> B, A & (A % ~B)), ent(A >> B, A & (~A % B)), ent(A >> B, A & (~A % ~B)), ent(A >> B, B & (A & B)), ent(A >> B, B & (A & ~B)), ent(A >> B, B & (~A & B)), ent(A >> B, B & (~A & ~B)), ent(A >> B, B & (A | B)), ent(A >> B, B & (A | ~B)), ent(A >> B, B & (~A | B)), ent(A >> B, B & (~A | ~B)), ent(A >> B, B & (A >> B)), ent(A >> B, B & (A >> ~B)), ent(A >> B, B & (~A >> B)), ent(A >> B, B & (~A >> ~B)), ent(A >> B, B & (A % B)), ent(A >> B, B & (A % ~B)), ent(A >> B, B & (~A % B)), ent(A >> B, B & (~A % ~B)), ent(A >> ~B, A & B), ent(A >> ~B, A & ~B), ent(A >> ~B, ~A & B), ent(A >> ~B, ~A & ~B), ent(A >> ~B, A | B), ent(A >> ~B, A | ~B), ent(A >> ~B, ~A | B), ent(A >> ~B, ~A | ~B), ent(A >> ~B, A >> B), ent(A >> ~B, ~A >> B), ent(A >> ~B, ~A >> ~B), ent(A >> ~B, A % B), ent(A >> ~B, A % ~B), ent(A >> ~B, ~A % B), ent(A >> ~B, ~A % ~B), ent(A >> ~B, A & (A & B)), ent(A >> ~B, A & (A & ~B)), ent(A >> ~B, A & (~A & B)), ent(A >> ~B, A & (~A & ~B)), ent(A >> ~B, A & (A | B)), ent(A >> ~B, A & (A | ~B)), ent(A >> ~B, A & (~A | B)), ent(A >> ~B, A & (~A | ~B)), ent(A >> ~B, A & (A >> B)), ent(A >> ~B, A & (A >> ~B)), ent(A >> ~B, A & (~A >> B)), ent(A >> ~B, A & (~A >> ~B)), ent(A >> ~B, A & (A % B)), ent(A >> ~B, A & (A % ~B)), ent(A >> ~B, A & (~A % B)), ent(A >> ~B, A & (~A % ~B)), ent(A >> ~B, B & (A & B)), ent(A >> ~B, B & (A & ~B)), ent(A >> ~B, B & (~A & B)), ent(A >> ~B, B & (~A & ~B)), ent(A >> ~B, B & (A | B)), ent(A >> ~B, B & (A | ~B)), ent(A >> ~B, B & (~A | B)), ent(A >> ~B, B & (~A | ~B)), ent(A >> ~B, B & (A >> B)), ent(A >> ~B, B & (A >> ~B)), ent(A >> ~B, B & (~A >> B)), ent(A >> ~B, B & (~A >> ~B)), ent(A >> ~B, B & (A % B)), ent(A >> ~B, B & (A % ~B)), ent(A >> ~B, B & (~A % B)), ent(A >> ~B, B & (~A % ~B)), ent(~A >> B, A & B), ent(~A >> B, A & ~B), ent(~A >> B, ~A & B), ent(~A >> B, ~A & ~B), ent(~A >> B, A | B), ent(~A >> B, A | ~B), ent(~A >> B, ~A | B), ent(~A >> B, ~A | ~B), ent(~A >> B, A >> B), ent(~A >> B, A >> ~B), ent(~A >> B, ~A >> ~B), ent(~A >> B, A % B), ent(~A >> B, A % ~B), ent(~A >> B, ~A % B), ent(~A >> B, ~A % ~B), ent(~A >> B, A & (A & B)), ent(~A >> B, A & (A & ~B)), ent(~A >> B, A & (~A & B)), ent(~A >> B, A & (~A & ~B)), ent(~A >> B, A & (A | B)), ent(~A >> B, A & (A | ~B)), ent(~A >> B, A & (~A | B)), ent(~A >> B, A & (~A | ~B)), ent(~A >> B, A & (A >> B)), ent(~A >> B, A & (A >> ~B)), ent(~A >> B, A & (~A >> B)), ent(~A >> B, A & (~A >> ~B)), ent(~A >> B, A & (A % B)), ent(~A >> B, A & (A % ~B)), ent(~A >> B, A & (~A % B)), ent(~A >> B, A & (~A % ~B)), ent(~A >> B, B & (A & B)), ent(~A >> B, B & (A & ~B)), ent(~A >> B, B & (~A & B)), ent(~A >> B, B & (~A & ~B)), ent(~A >> B, B & (A | B)), ent(~A >> B, B & (A | ~B)), ent(~A >> B, B & (~A | B)), ent(~A >> B, B & (~A | ~B)), ent(~A >> B, B & (A >> B)), ent(~A >> B, B & (A >> ~B)), ent(~A >> B, B & (~A >> B)), ent(~A >> B, B & (~A >> ~B)), ent(~A >> B, B & (A % B)), ent(~A >> B, B & (A % ~B)), ent(~A >> B, B & (~A % B)), ent(~A >> B, B & (~A % ~B)), ent(~A >> ~B, A & B), ent(~A >> ~B, A & ~B), ent(~A >> ~B, ~A & B), ent(~A >> ~B, ~A & ~B), ent(~A >> ~B, A | B), ent(~A >> ~B, A | ~B), ent(~A >> ~B, ~A | B), ent(~A >> ~B, ~A | ~B), ent(~A >> ~B, A >> B), ent(~A >> ~B, A >> ~B), ent(~A >> ~B, ~A >> B), ent(~A >> ~B, A % B), ent(~A >> ~B, A % ~B), ent(~A >> ~B, ~A % B), ent(~A >> ~B, ~A % ~B), ent(~A >> ~B, A & (A & B)), ent(~A >> ~B, A & (A & ~B)), ent(~A >> ~B, A & (~A & B)), ent(~A >> ~B, A & (~A & ~B)), ent(~A >> ~B, A & (A | B)), ent(~A >> ~B, A & (A | ~B)), ent(~A >> ~B, A & (~A | B)), ent(~A >> ~B, A & (~A | ~B)), ent(~A >> ~B, A & (A >> B)), ent(~A >> ~B, A & (A >> ~B)), ent(~A >> ~B, A & (~A >> B)), ent(~A >> ~B, A & (~A >> ~B)), ent(~A >> ~B, A & (A % B)), ent(~A >> ~B, A & (A % ~B)), ent(~A >> ~B, A & (~A % B)), ent(~A >> ~B, A & (~A % ~B)), ent(~A >> ~B, B & (A & B)), ent(~A >> ~B, B & (A & ~B)), ent(~A >> ~B, B & (~A & B)), ent(~A >> ~B, B & (~A & ~B)), ent(~A >> ~B, B & (A | B)), ent(~A >> ~B, B & (A | ~B)), ent(~A >> ~B, B & (~A | B)), ent(~A >> ~B, B & (~A | ~B)), ent(~A >> ~B, B & (A >> B)), ent(~A >> ~B, B & (A >> ~B)), ent(~A >> ~B, B & (~A >> B)), ent(~A >> ~B, B & (~A >> ~B)), ent(~A >> ~B, B & (A % B)), ent(~A >> ~B, B & (A % ~B)), ent(~A >> ~B, B & (~A % B)), ent(~A >> ~B, B & (~A % ~B)), ent(A % B, A & B), ent(A % B, A & ~B), ent(A % B, ~A & B), ent(A % B, ~A & ~B), ent(A % B, A | B), ent(A % B, A | ~B), ent(A % B, ~A | B), ent(A % B, ~A | ~B), ent(A % B, A >> B), ent(A % B, A >> ~B), ent(A % B, ~A >> B), ent(A % B, ~A >> ~B), ent(A % B, A % ~B), ent(A % B, ~A % B), ent(A % B, ~A % ~B), ent(A % B, A & (A & B)), ent(A % B, A & (A & ~B)), ent(A % B, A & (~A & B)), ent(A % B, A & (~A & ~B)), ent(A % B, A & (A | B)), ent(A % B, A & (A | ~B)), ent(A % B, A & (~A | B)), ent(A % B, A & (~A | ~B)), ent(A % B, A & (A >> B)), ent(A % B, A & (A >> ~B)), ent(A % B, A & (~A >> B)), ent(A % B, A & (~A >> ~B)), ent(A % B, A & (A % B)), ent(A % B, A & (A % ~B)), ent(A % B, A & (~A % B)), ent(A % B, A & (~A % ~B)), ent(A % B, B & (A & B)), ent(A % B, B & (A & ~B)), ent(A % B, B & (~A & B)), ent(A % B, B & (~A & ~B)), ent(A % B, B & (A | B)), ent(A % B, B & (A | ~B)), ent(A % B, B & (~A | B)), ent(A % B, B & (~A | ~B)), ent(A % B, B & (A >> B)), ent(A % B, B & (A >> ~B)), ent(A % B, B & (~A >> B)), ent(A % B, B & (~A >> ~B)), ent(A % B, B & (A % B)), ent(A % B, B & (A % ~B)), ent(A % B, B & (~A % B)), ent(A % B, B & (~A % ~B)), ent(A % ~B, A & B), ent(A % ~B, A & ~B), ent(A % ~B, ~A & B), ent(A % ~B, ~A & ~B), ent(A % ~B, A | B), ent(A % ~B, A | ~B), ent(A % ~B, ~A | B), ent(A % ~B, ~A | ~B), ent(A % ~B, A >> B), ent(A % ~B, A >> ~B), ent(A % ~B, ~A >> B), ent(A % ~B, ~A >> ~B), ent(A % ~B, A % B), ent(A % ~B, ~A % B), ent(A % ~B, ~A % ~B), ent(A % ~B, A & (A & B)), ent(A % ~B, A & (A & ~B)), ent(A % ~B, A & (~A & B)), ent(A % ~B, A & (~A & ~B)), ent(A % ~B, A & (A | B)), ent(A % ~B, A & (A | ~B)), ent(A % ~B, A & (~A | B)), ent(A % ~B, A & (~A | ~B)), ent(A % ~B, A & (A >> B)), ent(A % ~B, A & (A >> ~B)), ent(A % ~B, A & (~A >> B)), ent(A % ~B, A & (~A >> ~B)), ent(A % ~B, A & (A % B)), ent(A % ~B, A & (A % ~B)), ent(A % ~B, A & (~A % B)), ent(A % ~B, A & (~A % ~B)), ent(A % ~B, B & (A & B)), ent(A % ~B, B & (A & ~B)), ent(A % ~B, B & (~A & B)), ent(A % ~B, B & (~A & ~B)), ent(A % ~B, B & (A | B)), ent(A % ~B, B & (A | ~B)), ent(A % ~B, B & (~A | B)), ent(A % ~B, B & (~A | ~B)), ent(A % ~B, B & (A >> B)), ent(A % ~B, B & (A >> ~B)), ent(A % ~B, B & (~A >> B)), ent(A % ~B, B & (~A >> ~B)), ent(A % ~B, B & (A % B)), ent(A % ~B, B & (A % ~B)), ent(A % ~B, B & (~A % B)), ent(A % ~B, B & (~A % ~B)), ent(~A % B, A & B), ent(~A % B, A & ~B), ent(~A % B, ~A & B), ent(~A % B, ~A & ~B), ent(~A % B, A | B), ent(~A % B, A | ~B), ent(~A % B, ~A | B), ent(~A % B, ~A | ~B), ent(~A % B, A >> B), ent(~A % B, A >> ~B), ent(~A % B, ~A >> B), ent(~A % B, ~A >> ~B), ent(~A % B, A % B), ent(~A % B, A % ~B), ent(~A % B, ~A % ~B), ent(~A % B, A & (A & B)), ent(~A % B, A & (A & ~B)), ent(~A % B, A & (~A & B)), ent(~A % B, A & (~A & ~B)), ent(~A % B, A & (A | B)), ent(~A % B, A & (A | ~B)), ent(~A % B, A & (~A | B)), ent(~A % B, A & (~A | ~B)), ent(~A % B, A & (A >> B)), ent(~A % B, A & (A >> ~B)), ent(~A % B, A & (~A >> B)), ent(~A % B, A & (~A >> ~B)), ent(~A % B, A & (A % B)), ent(~A % B, A & (A % ~B)), ent(~A % B, A & (~A % B)), ent(~A % B, A & (~A % ~B)), ent(~A % B, B & (A & B)), ent(~A % B, B & (A & ~B)), ent(~A % B, B & (~A & B)), ent(~A % B, B & (~A & ~B)), ent(~A % B, B & (A | B)), ent(~A % B, B & (A | ~B)), ent(~A % B, B & (~A | B)), ent(~A % B, B & (~A | ~B)), ent(~A % B, B & (A >> B)), ent(~A % B, B & (A >> ~B)), ent(~A % B, B & (~A >> B)), ent(~A % B, B & (~A >> ~B)), ent(~A % B, B & (A % B)), ent(~A % B, B & (A % ~B)), ent(~A % B, B & (~A % B)), ent(~A % B, B & (~A % ~B)), ent(~A % ~B, A & B), ent(~A % ~B, A & ~B), ent(~A % ~B, ~A & B), ent(~A % ~B, ~A & ~B), ent(~A % ~B, A | B), ent(~A % ~B, A | ~B), ent(~A % ~B, ~A | B), ent(~A % ~B, ~A | ~B), ent(~A % ~B, A >> B), ent(~A % ~B, A >> ~B), ent(~A % ~B, ~A >> B), ent(~A % ~B, ~A >> ~B), ent(~A % ~B, A % B), ent(~A % ~B, A % ~B), ent(~A % ~B, ~A % B), ent(~A % ~B, A & (A & B)), ent(~A % ~B, A & (A & ~B)), ent(~A % ~B, A & (~A & B)), ent(~A % ~B, A & (~A & ~B)), ent(~A % ~B, A & (A | B)), ent(~A % ~B, A & (A | ~B)), ent(~A % ~B, A & (~A | B)), ent(~A % ~B, A & (~A | ~B)), ent(~A % ~B, A & (A >> B)), ent(~A % ~B, A & (A >> ~B)), ent(~A % ~B, A & (~A >> B)), ent(~A % ~B, A & (~A >> ~B)), ent(~A % ~B, A & (A % B)), ent(~A % ~B, A & (A % ~B)), ent(~A % ~B, A & (~A % B)), ent(~A % ~B, A & (~A % ~B)), ent(~A % ~B, B & (A & B)), ent(~A % ~B, B & (A & ~B)), ent(~A % ~B, B & (~A & B)), ent(~A % ~B, B & (~A & ~B)), ent(~A % ~B, B & (A | B)), ent(~A % ~B, B & (A | ~B)), ent(~A % ~B, B & (~A | B)), ent(~A % ~B, B & (~A | ~B)), ent(~A % ~B, B & (A >> B)), ent(~A % ~B, B & (A >> ~B)), ent(~A % ~B, B & (~A >> B)), ent(~A % ~B, B & (~A >> ~B)), ent(~A % ~B, B & (A % B)), ent(~A % ~B, B & (A % ~B)), ent(~A % ~B, B & (~A % B)), ent(~A % ~B, B & (~A % ~B)), ent(A & (A & B), A & B), ent(A & (A & B), A & ~B), ent(A & (A & B), ~A & B), ent(A & (A & B), ~A & ~B), ent(A & (A & B), A | B), ent(A & (A & B), A | ~B), ent(A & (A & B), ~A | B), ent(A & (A & B), ~A | ~B), ent(A & (A & B), A >> B), ent(A & (A & B), A >> ~B), ent(A & (A & B), ~A >> B), ent(A & (A & B), ~A >> ~B), ent(A & (A & B), A % B), ent(A & (A & B), A % ~B), ent(A & (A & B), ~A % B), ent(A & (A & B), ~A % ~B), ent(A & (A & B), A & (A & ~B)), ent(A & (A & B), A & (~A & B)), ent(A & (A & B), A & (~A & ~B)), ent(A & (A & B), A & (A | B)), ent(A & (A & B), A & (A | ~B)), ent(A & (A & B), A & (~A | B)), ent(A & (A & B), A & (~A | ~B)), ent(A & (A & B), A & (A >> B)), ent(A & (A & B), A & (A >> ~B)), ent(A & (A & B), A & (~A >> B)), ent(A & (A & B), A & (~A >> ~B)), ent(A & (A & B), A & (A % B)), ent(A & (A & B), A & (A % ~B)), ent(A & (A & B), A & (~A % B)), ent(A & (A & B), A & (~A % ~B)), ent(A & (A & B), B & (A & B)), ent(A & (A & B), B & (A & ~B)), ent(A & (A & B), B & (~A & B)), ent(A & (A & B), B & (~A & ~B)), ent(A & (A & B), B & (A | B)), ent(A & (A & B), B & (A | ~B)), ent(A & (A & B), B & (~A | B)), ent(A & (A & B), B & (~A | ~B)), ent(A & (A & B), B & (A >> B)), ent(A & (A & B), B & (A >> ~B)), ent(A & (A & B), B & (~A >> B)), ent(A & (A & B), B & (~A >> ~B)), ent(A & (A & B), B & (A % B)), ent(A & (A & B), B & (A % ~B)), ent(A & (A & B), B & (~A % B)), ent(A & (A & B), B & (~A % ~B)), ent(A & (A & ~B), A & B), ent(A & (A & ~B), A & ~B), ent(A & (A & ~B), ~A & B), ent(A & (A & ~B), ~A & ~B), ent(A & (A & ~B), A | B), ent(A & (A & ~B), A | ~B), ent(A & (A & ~B), ~A | B), ent(A & (A & ~B), ~A | ~B), ent(A & (A & ~B), A >> B), ent(A & (A & ~B), A >> ~B), ent(A & (A & ~B), ~A >> B), ent(A & (A & ~B), ~A >> ~B), ent(A & (A & ~B), A % B), ent(A & (A & ~B), A % ~B), ent(A & (A & ~B), ~A % B), ent(A & (A & ~B), ~A % ~B), ent(A & (A & ~B), A & (A & B)), ent(A & (A & ~B), A & (~A & B)), ent(A & (A & ~B), A & (~A & ~B)), ent(A & (A & ~B), A & (A | B)), ent(A & (A & ~B), A & (A | ~B)), ent(A & (A & ~B), A & (~A | B)), ent(A & (A & ~B), A & (~A | ~B)), ent(A & (A & ~B), A & (A >> B)), ent(A & (A & ~B), A & (A >> ~B)), ent(A & (A & ~B), A & (~A >> B)), ent(A & (A & ~B), A & (~A >> ~B)), ent(A & (A & ~B), A & (A % B)), ent(A & (A & ~B), A & (A % ~B)), ent(A & (A & ~B), A & (~A % B)), ent(A & (A & ~B), A & (~A % ~B)), ent(A & (A & ~B), B & (A & B)), ent(A & (A & ~B), B & (A & ~B)), ent(A & (A & ~B), B & (~A & B)), ent(A & (A & ~B), B & (~A & ~B)), ent(A & (A & ~B), B & (A | B)), ent(A & (A & ~B), B & (A | ~B)), ent(A & (A & ~B), B & (~A | B)), ent(A & (A & ~B), B & (~A | ~B)), ent(A & (A & ~B), B & (A >> B)), ent(A & (A & ~B), B & (A >> ~B)), ent(A & (A & ~B), B & (~A >> B)), ent(A & (A & ~B), B & (~A >> ~B)), ent(A & (A & ~B), B & (A % B)), ent(A & (A & ~B), B & (A % ~B)), ent(A & (A & ~B), B & (~A % B)), ent(A & (A & ~B), B & (~A % ~B)), ent(A & (~A & B), A & B), ent(A & (~A & B), A & ~B), ent(A & (~A & B), ~A & B), ent(A & (~A & B), ~A & ~B), ent(A & (~A & B), A | B), ent(A & (~A & B), A | ~B), ent(A & (~A & B), ~A | B), ent(A & (~A & B), ~A | ~B), ent(A & (~A & B), A >> B), ent(A & (~A & B), A >> ~B), ent(A & (~A & B), ~A >> B), ent(A & (~A & B), ~A >> ~B), ent(A & (~A & B), A % B), ent(A & (~A & B), A % ~B), ent(A & (~A & B), ~A % B), ent(A & (~A & B), ~A % ~B), ent(A & (~A & B), A & (A & B)), ent(A & (~A & B), A & (A & ~B)), ent(A & (~A & B), A & (~A & ~B)), ent(A & (~A & B), A & (A | B)), ent(A & (~A & B), A & (A | ~B)), ent(A & (~A & B), A & (~A | B)), ent(A & (~A & B), A & (~A | ~B)), ent(A & (~A & B), A & (A >> B)), ent(A & (~A & B), A & (A >> ~B)), ent(A & (~A & B), A & (~A >> B)), ent(A & (~A & B), A & (~A >> ~B)), ent(A & (~A & B), A & (A % B)), ent(A & (~A & B), A & (A % ~B)), ent(A & (~A & B), A & (~A % B)), ent(A & (~A & B), A & (~A % ~B)), ent(A & (~A & B), B & (A & B)), ent(A & (~A & B), B & (A & ~B)), ent(A & (~A & B), B & (~A & B)), ent(A & (~A & B), B & (~A & ~B)), ent(A & (~A & B), B & (A | B)), ent(A & (~A & B), B & (A | ~B)), ent(A & (~A & B), B & (~A | B)), ent(A & (~A & B), B & (~A | ~B)), ent(A & (~A & B), B & (A >> B)), ent(A & (~A & B), B & (A >> ~B)), ent(A & (~A & B), B & (~A >> B)), ent(A & (~A & B), B & (~A >> ~B)), ent(A & (~A & B), B & (A % B)), ent(A & (~A & B), B & (A % ~B)), ent(A & (~A & B), B & (~A % B)), ent(A & (~A & B), B & (~A % ~B)), ent(A & (~A & ~B), A & B), ent(A & (~A & ~B), A & ~B), ent(A & (~A & ~B), ~A & B), ent(A & (~A & ~B), ~A & ~B), ent(A & (~A & ~B), A | B), ent(A & (~A & ~B), A | ~B), ent(A & (~A & ~B), ~A | B), ent(A & (~A & ~B), ~A | ~B), ent(A & (~A & ~B), A >> B), ent(A & (~A & ~B), A >> ~B), ent(A & (~A & ~B), ~A >> B), ent(A & (~A & ~B), ~A >> ~B), ent(A & (~A & ~B), A % B), ent(A & (~A & ~B), A % ~B), ent(A & (~A & ~B), ~A % B), ent(A & (~A & ~B), ~A % ~B), ent(A & (~A & ~B), A & (A & B)), ent(A & (~A & ~B), A & (A & ~B)), ent(A & (~A & ~B), A & (~A & B)), ent(A & (~A & ~B), A & (A | B)), ent(A & (~A & ~B), A & (A | ~B)), ent(A & (~A & ~B), A & (~A | B)), ent(A & (~A & ~B), A & (~A | ~B)), ent(A & (~A & ~B), A & (A >> B)), ent(A & (~A & ~B), A & (A >> ~B)), ent(A & (~A & ~B), A & (~A >> B)), ent(A & (~A & ~B), A & (~A >> ~B)), ent(A & (~A & ~B), A & (A % B)), ent(A & (~A & ~B), A & (A % ~B)), ent(A & (~A & ~B), A & (~A % B)), ent(A & (~A & ~B), A & (~A % ~B)), ent(A & (~A & ~B), B & (A & B)), ent(A & (~A & ~B), B & (A & ~B)), ent(A & (~A & ~B), B & (~A & B)), ent(A & (~A & ~B), B & (~A & ~B)), ent(A & (~A & ~B), B & (A | B)), ent(A & (~A & ~B), B & (A | ~B)), ent(A & (~A & ~B), B & (~A | B)), ent(A & (~A & ~B), B & (~A | ~B)), ent(A & (~A & ~B), B & (A >> B)), ent(A & (~A & ~B), B & (A >> ~B)), ent(A & (~A & ~B), B & (~A >> B)), ent(A & (~A & ~B), B & (~A >> ~B)), ent(A & (~A & ~B), B & (A % B)), ent(A & (~A & ~B), B & (A % ~B)), ent(A & (~A & ~B), B & (~A % B)), ent(A & (~A & ~B), B & (~A % ~B)), ent(A & (A | B), A & B), ent(A & (A | B), A & ~B), ent(A & (A | B), ~A & B), ent(A & (A | B), ~A & ~B), ent(A & (A | B), A | B), ent(A & (A | B), A | ~B), ent(A & (A | B), ~A | B), ent(A & (A | B), ~A | ~B), ent(A & (A | B), A >> B), ent(A & (A | B), A >> ~B), ent(A & (A | B), ~A >> B), ent(A & (A | B), ~A >> ~B), ent(A & (A | B), A % B), ent(A & (A | B), A % ~B), ent(A & (A | B), ~A % B), ent(A & (A | B), ~A % ~B), ent(A & (A | B), A & (A & B)), ent(A & (A | B), A & (A & ~B)), ent(A & (A | B), A & (~A & B)), ent(A & (A | B), A & (~A & ~B)), ent(A & (A | B), A & (A | ~B)), ent(A & (A | B), A & (~A | B)), ent(A & (A | B), A & (~A | ~B)), ent(A & (A | B), A & (A >> B)), ent(A & (A | B), A & (A >> ~B)), ent(A & (A | B), A & (~A >> B)), ent(A & (A | B), A & (~A >> ~B)), ent(A & (A | B), A & (A % B)), ent(A & (A | B), A & (A % ~B)), ent(A & (A | B), A & (~A % B)), ent(A & (A | B), A & (~A % ~B)), ent(A & (A | B), B & (A & B)), ent(A & (A | B), B & (A & ~B)), ent(A & (A | B), B & (~A & B)), ent(A & (A | B), B & (~A & ~B)), ent(A & (A | B), B & (A | B)), ent(A & (A | B), B & (A | ~B)), ent(A & (A | B), B & (~A | B)), ent(A & (A | B), B & (~A | ~B)), ent(A & (A | B), B & (A >> B)), ent(A & (A | B), B & (A >> ~B)), ent(A & (A | B), B & (~A >> B)), ent(A & (A | B), B & (~A >> ~B)), ent(A & (A | B), B & (A % B)), ent(A & (A | B), B & (A % ~B)), ent(A & (A | B), B & (~A % B)), ent(A & (A | B), B & (~A % ~B)), ent(A & (A | ~B), A & B), ent(A & (A | ~B), A & ~B), ent(A & (A | ~B), ~A & B), ent(A & (A | ~B), ~A & ~B), ent(A & (A | ~B), A | B), ent(A & (A | ~B), A | ~B), ent(A & (A | ~B), ~A | B), ent(A & (A | ~B), ~A | ~B), ent(A & (A | ~B), A >> B), ent(A & (A | ~B), A >> ~B), ent(A & (A | ~B), ~A >> B), ent(A & (A | ~B), ~A >> ~B), ent(A & (A | ~B), A % B), ent(A & (A | ~B), A % ~B), ent(A & (A | ~B), ~A % B), ent(A & (A | ~B), ~A % ~B), ent(A & (A | ~B), A & (A & B)), ent(A & (A | ~B), A & (A & ~B)), ent(A & (A | ~B), A & (~A & B)), ent(A & (A | ~B), A & (~A & ~B)), ent(A & (A | ~B), A & (A | B)), ent(A & (A | ~B), A & (~A | B)), ent(A & (A | ~B), A & (~A | ~B)), ent(A & (A | ~B), A & (A >> B)), ent(A & (A | ~B), A & (A >> ~B)), ent(A & (A | ~B), A & (~A >> B)), ent(A & (A | ~B), A & (~A >> ~B)), ent(A & (A | ~B), A & (A % B)), ent(A & (A | ~B), A & (A % ~B)), ent(A & (A | ~B), A & (~A % B)), ent(A & (A | ~B), A & (~A % ~B)), ent(A & (A | ~B), B & (A & B)), ent(A & (A | ~B), B & (A & ~B)), ent(A & (A | ~B), B & (~A & B)), ent(A & (A | ~B), B & (~A & ~B)), ent(A & (A | ~B), B & (A | B)), ent(A & (A | ~B), B & (A | ~B)), ent(A & (A | ~B), B & (~A | B)), ent(A & (A | ~B), B & (~A | ~B)), ent(A & (A | ~B), B & (A >> B)), ent(A & (A | ~B), B & (A >> ~B)), ent(A & (A | ~B), B & (~A >> B)), ent(A & (A | ~B), B & (~A >> ~B)), ent(A & (A | ~B), B & (A % B)), ent(A & (A | ~B), B & (A % ~B)), ent(A & (A | ~B), B & (~A % B)), ent(A & (A | ~B), B & (~A % ~B)), ent(A & (~A | B), A & B), ent(A & (~A | B), A & ~B), ent(A & (~A | B), ~A & B), ent(A & (~A | B), ~A & ~B), ent(A & (~A | B), A | B), ent(A & (~A | B), A | ~B), ent(A & (~A | B), ~A | B), ent(A & (~A | B), ~A | ~B), ent(A & (~A | B), A >> B), ent(A & (~A | B), A >> ~B), ent(A & (~A | B), ~A >> B), ent(A & (~A | B), ~A >> ~B), ent(A & (~A | B), A % B), ent(A & (~A | B), A % ~B), ent(A & (~A | B), ~A % B), ent(A & (~A | B), ~A % ~B), ent(A & (~A | B), A & (A & B)), ent(A & (~A | B), A & (A & ~B)), ent(A & (~A | B), A & (~A & B)), ent(A & (~A | B), A & (~A & ~B)), ent(A & (~A | B), A & (A | B)), ent(A & (~A | B), A & (A | ~B)), ent(A & (~A | B), A & (~A | ~B)), ent(A & (~A | B), A & (A >> B)), ent(A & (~A | B), A & (A >> ~B)), ent(A & (~A | B), A & (~A >> B)), ent(A & (~A | B), A & (~A >> ~B)), ent(A & (~A | B), A & (A % B)), ent(A & (~A | B), A & (A % ~B)), ent(A & (~A | B), A & (~A % B)), ent(A & (~A | B), A & (~A % ~B)), ent(A & (~A | B), B & (A & B)), ent(A & (~A | B), B & (A & ~B)), ent(A & (~A | B), B & (~A & B)), ent(A & (~A | B), B & (~A & ~B)), ent(A & (~A | B), B & (A | B)), ent(A & (~A | B), B & (A | ~B)), ent(A & (~A | B), B & (~A | B)), ent(A & (~A | B), B & (~A | ~B)), ent(A & (~A | B), B & (A >> B)), ent(A & (~A | B), B & (A >> ~B)), ent(A & (~A | B), B & (~A >> B)), ent(A & (~A | B), B & (~A >> ~B)), ent(A & (~A | B), B & (A % B)), ent(A & (~A | B), B & (A % ~B)), ent(A & (~A | B), B & (~A % B)), ent(A & (~A | B), B & (~A % ~B)), ent(A & (~A | ~B), A & B), ent(A & (~A | ~B), A & ~B), ent(A & (~A | ~B), ~A & B), ent(A & (~A | ~B), ~A & ~B), ent(A & (~A | ~B), A | B), ent(A & (~A | ~B), A | ~B), ent(A & (~A | ~B), ~A | B), ent(A & (~A | ~B), ~A | ~B), ent(A & (~A | ~B), A >> B), ent(A & (~A | ~B), A >> ~B), ent(A & (~A | ~B), ~A >> B), ent(A & (~A | ~B), ~A >> ~B), ent(A & (~A | ~B), A % B), ent(A & (~A | ~B), A % ~B), ent(A & (~A | ~B), ~A % B), ent(A & (~A | ~B), ~A % ~B), ent(A & (~A | ~B), A & (A & B)), ent(A & (~A | ~B), A & (A & ~B)), ent(A & (~A | ~B), A & (~A & B)), ent(A & (~A | ~B), A & (~A & ~B)), ent(A & (~A | ~B), A & (A | B)), ent(A & (~A | ~B), A & (A | ~B)), ent(A & (~A | ~B), A & (~A | B)), ent(A & (~A | ~B), A & (A >> B)), ent(A & (~A | ~B), A & (A >> ~B)), ent(A & (~A | ~B), A & (~A >> B)), ent(A & (~A | ~B), A & (~A >> ~B)), ent(A & (~A | ~B), A & (A % B)), ent(A & (~A | ~B), A & (A % ~B)), ent(A & (~A | ~B), A & (~A % B)), ent(A & (~A | ~B), A & (~A % ~B)), ent(A & (~A | ~B), B & (A & B)), ent(A & (~A | ~B), B & (A & ~B)), ent(A & (~A | ~B), B & (~A & B)), ent(A & (~A | ~B), B & (~A & ~B)), ent(A & (~A | ~B), B & (A | B)), ent(A & (~A | ~B), B & (A | ~B)), ent(A & (~A | ~B), B & (~A | B)), ent(A & (~A | ~B), B & (~A | ~B)), ent(A & (~A | ~B), B & (A >> B)), ent(A & (~A | ~B), B & (A >> ~B)), ent(A & (~A | ~B), B & (~A >> B)), ent(A & (~A | ~B), B & (~A >> ~B)), ent(A & (~A | ~B), B & (A % B)), ent(A & (~A | ~B), B & (A % ~B)), ent(A & (~A | ~B), B & (~A % B)), ent(A & (~A | ~B), B & (~A % ~B)), ent(A & (A >> B), A & B), ent(A & (A >> B), A & ~B), ent(A & (A >> B), ~A & B), ent(A & (A >> B), ~A & ~B), ent(A & (A >> B), A | B), ent(A & (A >> B), A | ~B), ent(A & (A >> B), ~A | B), ent(A & (A >> B), ~A | ~B), ent(A & (A >> B), A >> B), ent(A & (A >> B), A >> ~B), ent(A & (A >> B), ~A >> B), ent(A & (A >> B), ~A >> ~B), ent(A & (A >> B), A % B), ent(A & (A >> B), A % ~B), ent(A & (A >> B), ~A % B), ent(A & (A >> B), ~A % ~B), ent(A & (A >> B), A & (A & B)), ent(A & (A >> B), A & (A & ~B)), ent(A & (A >> B), A & (~A & B)), ent(A & (A >> B), A & (~A & ~B)), ent(A & (A >> B), A & (A | B)), ent(A & (A >> B), A & (A | ~B)), ent(A & (A >> B), A & (~A | B)), ent(A & (A >> B), A & (~A | ~B)), ent(A & (A >> B), A & (A >> ~B)), ent(A & (A >> B), A & (~A >> B)), ent(A & (A >> B), A & (~A >> ~B)), ent(A & (A >> B), A & (A % B)), ent(A & (A >> B), A & (A % ~B)), ent(A & (A >> B), A & (~A % B)), ent(A & (A >> B), A & (~A % ~B)), ent(A & (A >> B), B & (A & B)), ent(A & (A >> B), B & (A & ~B)), ent(A & (A >> B), B & (~A & B)), ent(A & (A >> B), B & (~A & ~B)), ent(A & (A >> B), B & (A | B)), ent(A & (A >> B), B & (A | ~B)), ent(A & (A >> B), B & (~A | B)), ent(A & (A >> B), B & (~A | ~B)), ent(A & (A >> B), B & (A >> B)), ent(A & (A >> B), B & (A >> ~B)), ent(A & (A >> B), B & (~A >> B)), ent(A & (A >> B), B & (~A >> ~B)), ent(A & (A >> B), B & (A % B)), ent(A & (A >> B), B & (A % ~B)), ent(A & (A >> B), B & (~A % B)), ent(A & (A >> B), B & (~A % ~B)), ent(A & (A >> ~B), A & B), ent(A & (A >> ~B), A & ~B), ent(A & (A >> ~B), ~A & B), ent(A & (A >> ~B), ~A & ~B), ent(A & (A >> ~B), A | B), ent(A & (A >> ~B), A | ~B), ent(A & (A >> ~B), ~A | B), ent(A & (A >> ~B), ~A | ~B), ent(A & (A >> ~B), A >> B), ent(A & (A >> ~B), A >> ~B), ent(A & (A >> ~B), ~A >> B), ent(A & (A >> ~B), ~A >> ~B), ent(A & (A >> ~B), A % B), ent(A & (A >> ~B), A % ~B), ent(A & (A >> ~B), ~A % B), ent(A & (A >> ~B), ~A % ~B), ent(A & (A >> ~B), A & (A & B)), ent(A & (A >> ~B), A & (A & ~B)), ent(A & (A >> ~B), A & (~A & B)), ent(A & (A >> ~B), A & (~A & ~B)), ent(A & (A >> ~B), A & (A | B)), ent(A & (A >> ~B), A & (A | ~B)), ent(A & (A >> ~B), A & (~A | B)), ent(A & (A >> ~B), A & (~A | ~B)), ent(A & (A >> ~B), A & (A >> B)), ent(A & (A >> ~B), A & (~A >> B)), ent(A & (A >> ~B), A & (~A >> ~B)), ent(A & (A >> ~B), A & (A % B)), ent(A & (A >> ~B), A & (A % ~B)), ent(A & (A >> ~B), A & (~A % B)), ent(A & (A >> ~B), A & (~A % ~B)), ent(A & (A >> ~B), B & (A & B)), ent(A & (A >> ~B), B & (A & ~B)), ent(A & (A >> ~B), B & (~A & B)), ent(A & (A >> ~B), B & (~A & ~B)), ent(A & (A >> ~B), B & (A | B)), ent(A & (A >> ~B), B & (A | ~B)), ent(A & (A >> ~B), B & (~A | B)), ent(A & (A >> ~B), B & (~A | ~B)), ent(A & (A >> ~B), B & (A >> B)), ent(A & (A >> ~B), B & (A >> ~B)), ent(A & (A >> ~B), B & (~A >> B)), ent(A & (A >> ~B), B & (~A >> ~B)), ent(A & (A >> ~B), B & (A % B)), ent(A & (A >> ~B), B & (A % ~B)), ent(A & (A >> ~B), B & (~A % B)), ent(A & (A >> ~B), B & (~A % ~B)), ent(A & (~A >> B), A & B), ent(A & (~A >> B), A & ~B), ent(A & (~A >> B), ~A & B), ent(A & (~A >> B), ~A & ~B), ent(A & (~A >> B), A | B), ent(A & (~A >> B), A | ~B), ent(A & (~A >> B), ~A | B), ent(A & (~A >> B), ~A | ~B), ent(A & (~A >> B), A >> B), ent(A & (~A >> B), A >> ~B), ent(A & (~A >> B), ~A >> B), ent(A & (~A >> B), ~A >> ~B), ent(A & (~A >> B), A % B), ent(A & (~A >> B), A % ~B), ent(A & (~A >> B), ~A % B), ent(A & (~A >> B), ~A % ~B), ent(A & (~A >> B), A & (A & B)), ent(A & (~A >> B), A & (A & ~B)), ent(A & (~A >> B), A & (~A & B)), ent(A & (~A >> B), A & (~A & ~B)), ent(A & (~A >> B), A & (A | B)), ent(A & (~A >> B), A & (A | ~B)), ent(A & (~A >> B), A & (~A | B)), ent(A & (~A >> B), A & (~A | ~B)), ent(A & (~A >> B), A & (A >> B)), ent(A & (~A >> B), A & (A >> ~B)), ent(A & (~A >> B), A & (~A >> ~B)), ent(A & (~A >> B), A & (A % B)), ent(A & (~A >> B), A & (A % ~B)), ent(A & (~A >> B), A & (~A % B)), ent(A & (~A >> B), A & (~A % ~B)), ent(A & (~A >> B), B & (A & B)), ent(A & (~A >> B), B & (A & ~B)), ent(A & (~A >> B), B & (~A & B)), ent(A & (~A >> B), B & (~A & ~B)), ent(A & (~A >> B), B & (A | B)), ent(A & (~A >> B), B & (A | ~B)), ent(A & (~A >> B), B & (~A | B)), ent(A & (~A >> B), B & (~A | ~B)), ent(A & (~A >> B), B & (A >> B)), ent(A & (~A >> B), B & (A >> ~B)), ent(A & (~A >> B), B & (~A >> B)), ent(A & (~A >> B), B & (~A >> ~B)), ent(A & (~A >> B), B & (A % B)), ent(A & (~A >> B), B & (A % ~B)), ent(A & (~A >> B), B & (~A % B)), ent(A & (~A >> B), B & (~A % ~B)), ent(A & (~A >> ~B), A & B), ent(A & (~A >> ~B), A & ~B), ent(A & (~A >> ~B), ~A & B), ent(A & (~A >> ~B), ~A & ~B), ent(A & (~A >> ~B), A | B), ent(A & (~A >> ~B), A | ~B), ent(A & (~A >> ~B), ~A | B), ent(A & (~A >> ~B), ~A | ~B), ent(A & (~A >> ~B), A >> B), ent(A & (~A >> ~B), A >> ~B), ent(A & (~A >> ~B), ~A >> B), ent(A & (~A >> ~B), ~A >> ~B), ent(A & (~A >> ~B), A % B), ent(A & (~A >> ~B), A % ~B), ent(A & (~A >> ~B), ~A % B), ent(A & (~A >> ~B), ~A % ~B), ent(A & (~A >> ~B), A & (A & B)), ent(A & (~A >> ~B), A & (A & ~B)), ent(A & (~A >> ~B), A & (~A & B)), ent(A & (~A >> ~B), A & (~A & ~B)), ent(A & (~A >> ~B), A & (A | B)), ent(A & (~A >> ~B), A & (A | ~B)), ent(A & (~A >> ~B), A & (~A | B)), ent(A & (~A >> ~B), A & (~A | ~B)), ent(A & (~A >> ~B), A & (A >> B)), ent(A & (~A >> ~B), A & (A >> ~B)), ent(A & (~A >> ~B), A & (~A >> B)), ent(A & (~A >> ~B), A & (A % B)), ent(A & (~A >> ~B), A & (A % ~B)), ent(A & (~A >> ~B), A & (~A % B)), ent(A & (~A >> ~B), A & (~A % ~B)), ent(A & (~A >> ~B), B & (A & B)), ent(A & (~A >> ~B), B & (A & ~B)), ent(A & (~A >> ~B), B & (~A & B)), ent(A & (~A >> ~B), B & (~A & ~B)), ent(A & (~A >> ~B), B & (A | B)), ent(A & (~A >> ~B), B & (A | ~B)), ent(A & (~A >> ~B), B & (~A | B)), ent(A & (~A >> ~B), B & (~A | ~B)), ent(A & (~A >> ~B), B & (A >> B)), ent(A & (~A >> ~B), B & (A >> ~B)), ent(A & (~A >> ~B), B & (~A >> B)), ent(A & (~A >> ~B), B & (~A >> ~B)), ent(A & (~A >> ~B), B & (A % B)), ent(A & (~A >> ~B), B & (A % ~B)), ent(A & (~A >> ~B), B & (~A % B)), ent(A & (~A >> ~B), B & (~A % ~B)), ent(A & (A % B), A & B), ent(A & (A % B), A & ~B), ent(A & (A % B), ~A & B), ent(A & (A % B), ~A & ~B), ent(A & (A % B), A | B), ent(A & (A % B), A | ~B), ent(A & (A % B), ~A | B), ent(A & (A % B), ~A | ~B), ent(A & (A % B), A >> B), ent(A & (A % B), A >> ~B), ent(A & (A % B), ~A >> B), ent(A & (A % B), ~A >> ~B), ent(A & (A % B), A % B), ent(A & (A % B), A % ~B), ent(A & (A % B), ~A % B), ent(A & (A % B), ~A % ~B), ent(A & (A % B), A & (A & B)), ent(A & (A % B), A & (A & ~B)), ent(A & (A % B), A & (~A & B)), ent(A & (A % B), A & (~A & ~B)), ent(A & (A % B), A & (A | B)), ent(A & (A % B), A & (A | ~B)), ent(A & (A % B), A & (~A | B)), ent(A & (A % B), A & (~A | ~B)), ent(A & (A % B), A & (A >> B)), ent(A & (A % B), A & (A >> ~B)), ent(A & (A % B), A & (~A >> B)), ent(A & (A % B), A & (~A >> ~B)), ent(A & (A % B), A & (A % ~B)), ent(A & (A % B), A & (~A % B)), ent(A & (A % B), A & (~A % ~B)), ent(A & (A % B), B & (A & B)), ent(A & (A % B), B & (A & ~B)), ent(A & (A % B), B & (~A & B)), ent(A & (A % B), B & (~A & ~B)), ent(A & (A % B), B & (A | B)), ent(A & (A % B), B & (A | ~B)), ent(A & (A % B), B & (~A | B)), ent(A & (A % B), B & (~A | ~B)), ent(A & (A % B), B & (A >> B)), ent(A & (A % B), B & (A >> ~B)), ent(A & (A % B), B & (~A >> B)), ent(A & (A % B), B & (~A >> ~B)), ent(A & (A % B), B & (A % B)), ent(A & (A % B), B & (A % ~B)), ent(A & (A % B), B & (~A % B)), ent(A & (A % B), B & (~A % ~B)), ent(A & (A % ~B), A & B), ent(A & (A % ~B), A & ~B), ent(A & (A % ~B), ~A & B), ent(A & (A % ~B), ~A & ~B), ent(A & (A % ~B), A | B), ent(A & (A % ~B), A | ~B), ent(A & (A % ~B), ~A | B), ent(A & (A % ~B), ~A | ~B), ent(A & (A % ~B), A >> B), ent(A & (A % ~B), A >> ~B), ent(A & (A % ~B), ~A >> B), ent(A & (A % ~B), ~A >> ~B), ent(A & (A % ~B), A % B), ent(A & (A % ~B), A % ~B), ent(A & (A % ~B), ~A % B), ent(A & (A % ~B), ~A % ~B), ent(A & (A % ~B), A & (A & B)), ent(A & (A % ~B), A & (A & ~B)), ent(A & (A % ~B), A & (~A & B)), ent(A & (A % ~B), A & (~A & ~B)), ent(A & (A % ~B), A & (A | B)), ent(A & (A % ~B), A & (A | ~B)), ent(A & (A % ~B), A & (~A | B)), ent(A & (A % ~B), A & (~A | ~B)), ent(A & (A % ~B), A & (A >> B)), ent(A & (A % ~B), A & (A >> ~B)), ent(A & (A % ~B), A & (~A >> B)), ent(A & (A % ~B), A & (~A >> ~B)), ent(A & (A % ~B), A & (A % B)), ent(A & (A % ~B), A & (~A % B)), ent(A & (A % ~B), A & (~A % ~B)), ent(A & (A % ~B), B & (A & B)), ent(A & (A % ~B), B & (A & ~B)), ent(A & (A % ~B), B & (~A & B)), ent(A & (A % ~B), B & (~A & ~B)), ent(A & (A % ~B), B & (A | B)), ent(A & (A % ~B), B & (A | ~B)), ent(A & (A % ~B), B & (~A | B)), ent(A & (A % ~B), B & (~A | ~B)), ent(A & (A % ~B), B & (A >> B)), ent(A & (A % ~B), B & (A >> ~B)), ent(A & (A % ~B), B & (~A >> B)), ent(A & (A % ~B), B & (~A >> ~B)), ent(A & (A % ~B), B & (A % B)), ent(A & (A % ~B), B & (A % ~B)), ent(A & (A % ~B), B & (~A % B)), ent(A & (A % ~B), B & (~A % ~B)), ent(A & (~A % B), A & B), ent(A & (~A % B), A & ~B), ent(A & (~A % B), ~A & B), ent(A & (~A % B), ~A & ~B), ent(A & (~A % B), A | B), ent(A & (~A % B), A | ~B), ent(A & (~A % B), ~A | B), ent(A & (~A % B), ~A | ~B), ent(A & (~A % B), A >> B), ent(A & (~A % B), A >> ~B), ent(A & (~A % B), ~A >> B), ent(A & (~A % B), ~A >> ~B), ent(A & (~A % B), A % B), ent(A & (~A % B), A % ~B), ent(A & (~A % B), ~A % B), ent(A & (~A % B), ~A % ~B), ent(A & (~A % B), A & (A & B)), ent(A & (~A % B), A & (A & ~B)), ent(A & (~A % B), A & (~A & B)), ent(A & (~A % B), A & (~A & ~B)), ent(A & (~A % B), A & (A | B)), ent(A & (~A % B), A & (A | ~B)), ent(A & (~A % B), A & (~A | B)), ent(A & (~A % B), A & (~A | ~B)), ent(A & (~A % B), A & (A >> B)), ent(A & (~A % B), A & (A >> ~B)), ent(A & (~A % B), A & (~A >> B)), ent(A & (~A % B), A & (~A >> ~B)), ent(A & (~A % B), A & (A % B)), ent(A & (~A % B), A & (A % ~B)), ent(A & (~A % B), A & (~A % ~B)), ent(A & (~A % B), B & (A & B)), ent(A & (~A % B), B & (A & ~B)), ent(A & (~A % B), B & (~A & B)), ent(A & (~A % B), B & (~A & ~B)), ent(A & (~A % B), B & (A | B)), ent(A & (~A % B), B & (A | ~B)), ent(A & (~A % B), B & (~A | B)), ent(A & (~A % B), B & (~A | ~B)), ent(A & (~A % B), B & (A >> B)), ent(A & (~A % B), B & (A >> ~B)), ent(A & (~A % B), B & (~A >> B)), ent(A & (~A % B), B & (~A >> ~B)), ent(A & (~A % B), B & (A % B)), ent(A & (~A % B), B & (A % ~B)), ent(A & (~A % B), B & (~A % B)), ent(A & (~A % B), B & (~A % ~B)), ent(A & (~A % ~B), A & B), ent(A & (~A % ~B), A & ~B), ent(A & (~A % ~B), ~A & B), ent(A & (~A % ~B), ~A & ~B), ent(A & (~A % ~B), A | B), ent(A & (~A % ~B), A | ~B), ent(A & (~A % ~B), ~A | B), ent(A & (~A % ~B), ~A | ~B), ent(A & (~A % ~B), A >> B), ent(A & (~A % ~B), A >> ~B), ent(A & (~A % ~B), ~A >> B), ent(A & (~A % ~B), ~A >> ~B), ent(A & (~A % ~B), A % B), ent(A & (~A % ~B), A % ~B), ent(A & (~A % ~B), ~A % B), ent(A & (~A % ~B), ~A % ~B), ent(A & (~A % ~B), A & (A & B)), ent(A & (~A % ~B), A & (A & ~B)), ent(A & (~A % ~B), A & (~A & B)), ent(A & (~A % ~B), A & (~A & ~B)), ent(A & (~A % ~B), A & (A | B)), ent(A & (~A % ~B), A & (A | ~B)), ent(A & (~A % ~B), A & (~A | B)), ent(A & (~A % ~B), A & (~A | ~B)), ent(A & (~A % ~B), A & (A >> B)), ent(A & (~A % ~B), A & (A >> ~B)), ent(A & (~A % ~B), A & (~A >> B)), ent(A & (~A % ~B), A & (~A >> ~B)), ent(A & (~A % ~B), A & (A % B)), ent(A & (~A % ~B), A & (A % ~B)), ent(A & (~A % ~B), A & (~A % B)), ent(A & (~A % ~B), B & (A & B)), ent(A & (~A % ~B), B & (A & ~B)), ent(A & (~A % ~B), B & (~A & B)), ent(A & (~A % ~B), B & (~A & ~B)), ent(A & (~A % ~B), B & (A | B)), ent(A & (~A % ~B), B & (A | ~B)), ent(A & (~A % ~B), B & (~A | B)), ent(A & (~A % ~B), B & (~A | ~B)), ent(A & (~A % ~B), B & (A >> B)), ent(A & (~A % ~B), B & (A >> ~B)), ent(A & (~A % ~B), B & (~A >> B)), ent(A & (~A % ~B), B & (~A >> ~B)), ent(A & (~A % ~B), B & (A % B)), ent(A & (~A % ~B), B & (A % ~B)), ent(A & (~A % ~B), B & (~A % B)), ent(A & (~A % ~B), B & (~A % ~B)), ent(B & (A & B), A & B), ent(B & (A & B), A & ~B), ent(B & (A & B), ~A & B), ent(B & (A & B), ~A & ~B), ent(B & (A & B), A | B), ent(B & (A & B), A | ~B), ent(B & (A & B), ~A | B), ent(B & (A & B), ~A | ~B), ent(B & (A & B), A >> B), ent(B & (A & B), A >> ~B), ent(B & (A & B), ~A >> B), ent(B & (A & B), ~A >> ~B), ent(B & (A & B), A % B), ent(B & (A & B), A % ~B), ent(B & (A & B), ~A % B), ent(B & (A & B), ~A % ~B), ent(B & (A & B), A & (A & B)), ent(B & (A & B), A & (A & ~B)), ent(B & (A & B), A & (~A & B)), ent(B & (A & B), A & (~A & ~B)), ent(B & (A & B), A & (A | B)), ent(B & (A & B), A & (A | ~B)), ent(B & (A & B), A & (~A | B)), ent(B & (A & B), A & (~A | ~B)), ent(B & (A & B), A & (A >> B)), ent(B & (A & B), A & (A >> ~B)), ent(B & (A & B), A & (~A >> B)), ent(B & (A & B), A & (~A >> ~B)), ent(B & (A & B), A & (A % B)), ent(B & (A & B), A & (A % ~B)), ent(B & (A & B), A & (~A % B)), ent(B & (A & B), A & (~A % ~B)), ent(B & (A & B), B & (A & ~B)), ent(B & (A & B), B & (~A & B)), ent(B & (A & B), B & (~A & ~B)), ent(B & (A & B), B & (A | B)), ent(B & (A & B), B & (A | ~B)), ent(B & (A & B), B & (~A | B)), ent(B & (A & B), B & (~A | ~B)), ent(B & (A & B), B & (A >> B)), ent(B & (A & B), B & (A >> ~B)), ent(B & (A & B), B & (~A >> B)), ent(B & (A & B), B & (~A >> ~B)), ent(B & (A & B), B & (A % B)), ent(B & (A & B), B & (A % ~B)), ent(B & (A & B), B & (~A % B)), ent(B & (A & B), B & (~A % ~B)), ent(B & (A & ~B), A & B), ent(B & (A & ~B), A & ~B), ent(B & (A & ~B), ~A & B), ent(B & (A & ~B), ~A & ~B), ent(B & (A & ~B), A | B), ent(B & (A & ~B), A | ~B), ent(B & (A & ~B), ~A | B), ent(B & (A & ~B), ~A | ~B), ent(B & (A & ~B), A >> B), ent(B & (A & ~B), A >> ~B), ent(B & (A & ~B), ~A >> B), ent(B & (A & ~B), ~A >> ~B), ent(B & (A & ~B), A % B), ent(B & (A & ~B), A % ~B), ent(B & (A & ~B), ~A % B), ent(B & (A & ~B), ~A % ~B), ent(B & (A & ~B), A & (A & B)), ent(B & (A & ~B), A & (A & ~B)), ent(B & (A & ~B), A & (~A & B)), ent(B & (A & ~B), A & (~A & ~B)), ent(B & (A & ~B), A & (A | B)), ent(B & (A & ~B), A & (A | ~B)), ent(B & (A & ~B), A & (~A | B)), ent(B & (A & ~B), A & (~A | ~B)), ent(B & (A & ~B), A & (A >> B)), ent(B & (A & ~B), A & (A >> ~B)), ent(B & (A & ~B), A & (~A >> B)), ent(B & (A & ~B), A & (~A >> ~B)), ent(B & (A & ~B), A & (A % B)), ent(B & (A & ~B), A & (A % ~B)), ent(B & (A & ~B), A & (~A % B)), ent(B & (A & ~B), A & (~A % ~B)), ent(B & (A & ~B), B & (A & B)), ent(B & (A & ~B), B & (~A & B)), ent(B & (A & ~B), B & (~A & ~B)), ent(B & (A & ~B), B & (A | B)), ent(B & (A & ~B), B & (A | ~B)), ent(B & (A & ~B), B & (~A | B)), ent(B & (A & ~B), B & (~A | ~B)), ent(B & (A & ~B), B & (A >> B)), ent(B & (A & ~B), B & (A >> ~B)), ent(B & (A & ~B), B & (~A >> B)), ent(B & (A & ~B), B & (~A >> ~B)), ent(B & (A & ~B), B & (A % B)), ent(B & (A & ~B), B & (A % ~B)), ent(B & (A & ~B), B & (~A % B)), ent(B & (A & ~B), B & (~A % ~B)), ent(B & (~A & B), A & B), ent(B & (~A & B), A & ~B), ent(B & (~A & B), ~A & B), ent(B & (~A & B), ~A & ~B), ent(B & (~A & B), A | B), ent(B & (~A & B), A | ~B), ent(B & (~A & B), ~A | B), ent(B & (~A & B), ~A | ~B), ent(B & (~A & B), A >> B), ent(B & (~A & B), A >> ~B), ent(B & (~A & B), ~A >> B), ent(B & (~A & B), ~A >> ~B), ent(B & (~A & B), A % B), ent(B & (~A & B), A % ~B), ent(B & (~A & B), ~A % B), ent(B & (~A & B), ~A % ~B), ent(B & (~A & B), A & (A & B)), ent(B & (~A & B), A & (A & ~B)), ent(B & (~A & B), A & (~A & B)), ent(B & (~A & B), A & (~A & ~B)), ent(B & (~A & B), A & (A | B)), ent(B & (~A & B), A & (A | ~B)), ent(B & (~A & B), A & (~A | B)), ent(B & (~A & B), A & (~A | ~B)), ent(B & (~A & B), A & (A >> B)), ent(B & (~A & B), A & (A >> ~B)), ent(B & (~A & B), A & (~A >> B)), ent(B & (~A & B), A & (~A >> ~B)), ent(B & (~A & B), A & (A % B)), ent(B & (~A & B), A & (A % ~B)), ent(B & (~A & B), A & (~A % B)), ent(B & (~A & B), A & (~A % ~B)), ent(B & (~A & B), B & (A & B)), ent(B & (~A & B), B & (A & ~B)), ent(B & (~A & B), B & (~A & ~B)), ent(B & (~A & B), B & (A | B)), ent(B & (~A & B), B & (A | ~B)), ent(B & (~A & B), B & (~A | B)), ent(B & (~A & B), B & (~A | ~B)), ent(B & (~A & B), B & (A >> B)), ent(B & (~A & B), B & (A >> ~B)), ent(B & (~A & B), B & (~A >> B)), ent(B & (~A & B), B & (~A >> ~B)), ent(B & (~A & B), B & (A % B)), ent(B & (~A & B), B & (A % ~B)), ent(B & (~A & B), B & (~A % B)), ent(B & (~A & B), B & (~A % ~B)), ent(B & (~A & ~B), A & B), ent(B & (~A & ~B), A & ~B), ent(B & (~A & ~B), ~A & B), ent(B & (~A & ~B), ~A & ~B), ent(B & (~A & ~B), A | B), ent(B & (~A & ~B), A | ~B), ent(B & (~A & ~B), ~A | B), ent(B & (~A & ~B), ~A | ~B), ent(B & (~A & ~B), A >> B), ent(B & (~A & ~B), A >> ~B), ent(B & (~A & ~B), ~A >> B), ent(B & (~A & ~B), ~A >> ~B), ent(B & (~A & ~B), A % B), ent(B & (~A & ~B), A % ~B), ent(B & (~A & ~B), ~A % B), ent(B & (~A & ~B), ~A % ~B), ent(B & (~A & ~B), A & (A & B)), ent(B & (~A & ~B), A & (A & ~B)), ent(B & (~A & ~B), A & (~A & B)), ent(B & (~A & ~B), A & (~A & ~B)), ent(B & (~A & ~B), A & (A | B)), ent(B & (~A & ~B), A & (A | ~B)), ent(B & (~A & ~B), A & (~A | B)), ent(B & (~A & ~B), A & (~A | ~B)), ent(B & (~A & ~B), A & (A >> B)), ent(B & (~A & ~B), A & (A >> ~B)), ent(B & (~A & ~B), A & (~A >> B)), ent(B & (~A & ~B), A & (~A >> ~B)), ent(B & (~A & ~B), A & (A % B)), ent(B & (~A & ~B), A & (A % ~B)), ent(B & (~A & ~B), A & (~A % B)), ent(B & (~A & ~B), A & (~A % ~B)), ent(B & (~A & ~B), B & (A & B)), ent(B & (~A & ~B), B & (A & ~B)), ent(B & (~A & ~B), B & (~A & B)), ent(B & (~A & ~B), B & (A | B)), ent(B & (~A & ~B), B & (A | ~B)), ent(B & (~A & ~B), B & (~A | B)), ent(B & (~A & ~B), B & (~A | ~B)), ent(B & (~A & ~B), B & (A >> B)), ent(B & (~A & ~B), B & (A >> ~B)), ent(B & (~A & ~B), B & (~A >> B)), ent(B & (~A & ~B), B & (~A >> ~B)), ent(B & (~A & ~B), B & (A % B)), ent(B & (~A & ~B), B & (A % ~B)), ent(B & (~A & ~B), B & (~A % B)), ent(B & (~A & ~B), B & (~A % ~B)), ent(B & (A | B), A & B), ent(B & (A | B), A & ~B), ent(B & (A | B), ~A & B), ent(B & (A | B), ~A & ~B), ent(B & (A | B), A | B), ent(B & (A | B), A | ~B), ent(B & (A | B), ~A | B), ent(B & (A | B), ~A | ~B), ent(B & (A | B), A >> B), ent(B & (A | B), A >> ~B), ent(B & (A | B), ~A >> B), ent(B & (A | B), ~A >> ~B), ent(B & (A | B), A % B), ent(B & (A | B), A % ~B), ent(B & (A | B), ~A % B), ent(B & (A | B), ~A % ~B), ent(B & (A | B), A & (A & B)), ent(B & (A | B), A & (A & ~B)), ent(B & (A | B), A & (~A & B)), ent(B & (A | B), A & (~A & ~B)), ent(B & (A | B), A & (A | B)), ent(B & (A | B), A & (A | ~B)), ent(B & (A | B), A & (~A | B)), ent(B & (A | B), A & (~A | ~B)), ent(B & (A | B), A & (A >> B)), ent(B & (A | B), A & (A >> ~B)), ent(B & (A | B), A & (~A >> B)), ent(B & (A | B), A & (~A >> ~B)), ent(B & (A | B), A & (A % B)), ent(B & (A | B), A & (A % ~B)), ent(B & (A | B), A & (~A % B)), ent(B & (A | B), A & (~A % ~B)), ent(B & (A | B), B & (A & B)), ent(B & (A | B), B & (A & ~B)), ent(B & (A | B), B & (~A & B)), ent(B & (A | B), B & (~A & ~B)), ent(B & (A | B), B & (A | ~B)), ent(B & (A | B), B & (~A | B)), ent(B & (A | B), B & (~A | ~B)), ent(B & (A | B), B & (A >> B)), ent(B & (A | B), B & (A >> ~B)), ent(B & (A | B), B & (~A >> B)), ent(B & (A | B), B & (~A >> ~B)), ent(B & (A | B), B & (A % B)), ent(B & (A | B), B & (A % ~B)), ent(B & (A | B), B & (~A % B)), ent(B & (A | B), B & (~A % ~B)), ent(B & (A | ~B), A & B), ent(B & (A | ~B), A & ~B), ent(B & (A | ~B), ~A & B), ent(B & (A | ~B), ~A & ~B), ent(B & (A | ~B), A | B), ent(B & (A | ~B), A | ~B), ent(B & (A | ~B), ~A | B), ent(B & (A | ~B), ~A | ~B), ent(B & (A | ~B), A >> B), ent(B & (A | ~B), A >> ~B), ent(B & (A | ~B), ~A >> B), ent(B & (A | ~B), ~A >> ~B), ent(B & (A | ~B), A % B), ent(B & (A | ~B), A % ~B), ent(B & (A | ~B), ~A % B), ent(B & (A | ~B), ~A % ~B), ent(B & (A | ~B), A & (A & B)), ent(B & (A | ~B), A & (A & ~B)), ent(B & (A | ~B), A & (~A & B)), ent(B & (A | ~B), A & (~A & ~B)), ent(B & (A | ~B), A & (A | B)), ent(B & (A | ~B), A & (A | ~B)), ent(B & (A | ~B), A & (~A | B)), ent(B & (A | ~B), A & (~A | ~B)), ent(B & (A | ~B), A & (A >> B)), ent(B & (A | ~B), A & (A >> ~B)), ent(B & (A | ~B), A & (~A >> B)), ent(B & (A | ~B), A & (~A >> ~B)), ent(B & (A | ~B), A & (A % B)), ent(B & (A | ~B), A & (A % ~B)), ent(B & (A | ~B), A & (~A % B)), ent(B & (A | ~B), A & (~A % ~B)), ent(B & (A | ~B), B & (A & B)), ent(B & (A | ~B), B & (A & ~B)), ent(B & (A | ~B), B & (~A & B)), ent(B & (A | ~B), B & (~A & ~B)), ent(B & (A | ~B), B & (A | B)), ent(B & (A | ~B), B & (~A | B)), ent(B & (A | ~B), B & (~A | ~B)), ent(B & (A | ~B), B & (A >> B)), ent(B & (A | ~B), B & (A >> ~B)), ent(B & (A | ~B), B & (~A >> B)), ent(B & (A | ~B), B & (~A >> ~B)), ent(B & (A | ~B), B & (A % B)), ent(B & (A | ~B), B & (A % ~B)), ent(B & (A | ~B), B & (~A % B)), ent(B & (A | ~B), B & (~A % ~B)), ent(B & (~A | B), A & B), ent(B & (~A | B), A & ~B), ent(B & (~A | B), ~A & B), ent(B & (~A | B), ~A & ~B), ent(B & (~A | B), A | B), ent(B & (~A | B), A | ~B), ent(B & (~A | B), ~A | B), ent(B & (~A | B), ~A | ~B), ent(B & (~A | B), A >> B), ent(B & (~A | B), A >> ~B), ent(B & (~A | B), ~A >> B), ent(B & (~A | B), ~A >> ~B), ent(B & (~A | B), A % B), ent(B & (~A | B), A % ~B), ent(B & (~A | B), ~A % B), ent(B & (~A | B), ~A % ~B), ent(B & (~A | B), A & (A & B)), ent(B & (~A | B), A & (A & ~B)), ent(B & (~A | B), A & (~A & B)), ent(B & (~A | B), A & (~A & ~B)), ent(B & (~A | B), A & (A | B)), ent(B & (~A | B), A & (A | ~B)), ent(B & (~A | B), A & (~A | B)), ent(B & (~A | B), A & (~A | ~B)), ent(B & (~A | B), A & (A >> B)), ent(B & (~A | B), A & (A >> ~B)), ent(B & (~A | B), A & (~A >> B)), ent(B & (~A | B), A & (~A >> ~B)), ent(B & (~A | B), A & (A % B)), ent(B & (~A | B), A & (A % ~B)), ent(B & (~A | B), A & (~A % B)), ent(B & (~A | B), A & (~A % ~B)), ent(B & (~A | B), B & (A & B)), ent(B & (~A | B), B & (A & ~B)), ent(B & (~A | B), B & (~A & B)), ent(B & (~A | B), B & (~A & ~B)), ent(B & (~A | B), B & (A | B)), ent(B & (~A | B), B & (A | ~B)), ent(B & (~A | B), B & (~A | ~B)), ent(B & (~A | B), B & (A >> B)), ent(B & (~A | B), B & (A >> ~B)), ent(B & (~A | B), B & (~A >> B)), ent(B & (~A | B), B & (~A >> ~B)), ent(B & (~A | B), B & (A % B)), ent(B & (~A | B), B & (A % ~B)), ent(B & (~A | B), B & (~A % B)), ent(B & (~A | B), B & (~A % ~B)), ent(B & (~A | ~B), A & B), ent(B & (~A | ~B), A & ~B), ent(B & (~A | ~B), ~A & B), ent(B & (~A | ~B), ~A & ~B), ent(B & (~A | ~B), A | B), ent(B & (~A | ~B), A | ~B), ent(B & (~A | ~B), ~A | B), ent(B & (~A | ~B), ~A | ~B), ent(B & (~A | ~B), A >> B), ent(B & (~A | ~B), A >> ~B), ent(B & (~A | ~B), ~A >> B), ent(B & (~A | ~B), ~A >> ~B), ent(B & (~A | ~B), A % B), ent(B & (~A | ~B), A % ~B), ent(B & (~A | ~B), ~A % B), ent(B & (~A | ~B), ~A % ~B), ent(B & (~A | ~B), A & (A & B)), ent(B & (~A | ~B), A & (A & ~B)), ent(B & (~A | ~B), A & (~A & B)), ent(B & (~A | ~B), A & (~A & ~B)), ent(B & (~A | ~B), A & (A | B)), ent(B & (~A | ~B), A & (A | ~B)), ent(B & (~A | ~B), A & (~A | B)), ent(B & (~A | ~B), A & (~A | ~B)), ent(B & (~A | ~B), A & (A >> B)), ent(B & (~A | ~B), A & (A >> ~B)), ent(B & (~A | ~B), A & (~A >> B)), ent(B & (~A | ~B), A & (~A >> ~B)), ent(B & (~A | ~B), A & (A % B)), ent(B & (~A | ~B), A & (A % ~B)), ent(B & (~A | ~B), A & (~A % B)), ent(B & (~A | ~B), A & (~A % ~B)), ent(B & (~A | ~B), B & (A & B)), ent(B & (~A | ~B), B & (A & ~B)), ent(B & (~A | ~B), B & (~A & B)), ent(B & (~A | ~B), B & (~A & ~B)), ent(B & (~A | ~B), B & (A | B)), ent(B & (~A | ~B), B & (A | ~B)), ent(B & (~A | ~B), B & (~A | B)), ent(B & (~A | ~B), B & (A >> B)), ent(B & (~A | ~B), B & (A >> ~B)), ent(B & (~A | ~B), B & (~A >> B)), ent(B & (~A | ~B), B & (~A >> ~B)), ent(B & (~A | ~B), B & (A % B)), ent(B & (~A | ~B), B & (A % ~B)), ent(B & (~A | ~B), B & (~A % B)), ent(B & (~A | ~B), B & (~A % ~B)), ent(B & (A >> B), A & B), ent(B & (A >> B), A & ~B), ent(B & (A >> B), ~A & B), ent(B & (A >> B), ~A & ~B), ent(B & (A >> B), A | B), ent(B & (A >> B), A | ~B), ent(B & (A >> B), ~A | B), ent(B & (A >> B), ~A | ~B), ent(B & (A >> B), A >> B), ent(B & (A >> B), A >> ~B), ent(B & (A >> B), ~A >> B), ent(B & (A >> B), ~A >> ~B), ent(B & (A >> B), A % B), ent(B & (A >> B), A % ~B), ent(B & (A >> B), ~A % B), ent(B & (A >> B), ~A % ~B), ent(B & (A >> B), A & (A & B)), ent(B & (A >> B), A & (A & ~B)), ent(B & (A >> B), A & (~A & B)), ent(B & (A >> B), A & (~A & ~B)), ent(B & (A >> B), A & (A | B)), ent(B & (A >> B), A & (A | ~B)), ent(B & (A >> B), A & (~A | B)), ent(B & (A >> B), A & (~A | ~B)), ent(B & (A >> B), A & (A >> B)), ent(B & (A >> B), A & (A >> ~B)), ent(B & (A >> B), A & (~A >> B)), ent(B & (A >> B), A & (~A >> ~B)), ent(B & (A >> B), A & (A % B)), ent(B & (A >> B), A & (A % ~B)), ent(B & (A >> B), A & (~A % B)), ent(B & (A >> B), A & (~A % ~B)), ent(B & (A >> B), B & (A & B)), ent(B & (A >> B), B & (A & ~B)), ent(B & (A >> B), B & (~A & B)), ent(B & (A >> B), B & (~A & ~B)), ent(B & (A >> B), B & (A | B)), ent(B & (A >> B), B & (A | ~B)), ent(B & (A >> B), B & (~A | B)), ent(B & (A >> B), B & (~A | ~B)), ent(B & (A >> B), B & (A >> ~B)), ent(B & (A >> B), B & (~A >> B)), ent(B & (A >> B), B & (~A >> ~B)), ent(B & (A >> B), B & (A % B)), ent(B & (A >> B), B & (A % ~B)), ent(B & (A >> B), B & (~A % B)), ent(B & (A >> B), B & (~A % ~B)), ent(B & (A >> ~B), A & B), ent(B & (A >> ~B), A & ~B), ent(B & (A >> ~B), ~A & B), ent(B & (A >> ~B), ~A & ~B), ent(B & (A >> ~B), A | B), ent(B & (A >> ~B), A | ~B), ent(B & (A >> ~B), ~A | B), ent(B & (A >> ~B), ~A | ~B), ent(B & (A >> ~B), A >> B), ent(B & (A >> ~B), A >> ~B), ent(B & (A >> ~B), ~A >> B), ent(B & (A >> ~B), ~A >> ~B), ent(B & (A >> ~B), A % B), ent(B & (A >> ~B), A % ~B), ent(B & (A >> ~B), ~A % B), ent(B & (A >> ~B), ~A % ~B), ent(B & (A >> ~B), A & (A & B)), ent(B & (A >> ~B), A & (A & ~B)), ent(B & (A >> ~B), A & (~A & B)), ent(B & (A >> ~B), A & (~A & ~B)), ent(B & (A >> ~B), A & (A | B)), ent(B & (A >> ~B), A & (A | ~B)), ent(B & (A >> ~B), A & (~A | B)), ent(B & (A >> ~B), A & (~A | ~B)), ent(B & (A >> ~B), A & (A >> B)), ent(B & (A >> ~B), A & (A >> ~B)), ent(B & (A >> ~B), A & (~A >> B)), ent(B & (A >> ~B), A & (~A >> ~B)), ent(B & (A >> ~B), A & (A % B)), ent(B & (A >> ~B), A & (A % ~B)), ent(B & (A >> ~B), A & (~A % B)), ent(B & (A >> ~B), A & (~A % ~B)), ent(B & (A >> ~B), B & (A & B)), ent(B & (A >> ~B), B & (A & ~B)), ent(B & (A >> ~B), B & (~A & B)), ent(B & (A >> ~B), B & (~A & ~B)), ent(B & (A >> ~B), B & (A | B)), ent(B & (A >> ~B), B & (A | ~B)), ent(B & (A >> ~B), B & (~A | B)), ent(B & (A >> ~B), B & (~A | ~B)), ent(B & (A >> ~B), B & (A >> B)), ent(B & (A >> ~B), B & (~A >> B)), ent(B & (A >> ~B), B & (~A >> ~B)), ent(B & (A >> ~B), B & (A % B)), ent(B & (A >> ~B), B & (A % ~B)), ent(B & (A >> ~B), B & (~A % B)), ent(B & (A >> ~B), B & (~A % ~B)), ent(B & (~A >> B), A & B), ent(B & (~A >> B), A & ~B), ent(B & (~A >> B), ~A & B), ent(B & (~A >> B), ~A & ~B), ent(B & (~A >> B), A | B), ent(B & (~A >> B), A | ~B), ent(B & (~A >> B), ~A | B), ent(B & (~A >> B), ~A | ~B), ent(B & (~A >> B), A >> B), ent(B & (~A >> B), A >> ~B), ent(B & (~A >> B), ~A >> B), ent(B & (~A >> B), ~A >> ~B), ent(B & (~A >> B), A % B), ent(B & (~A >> B), A % ~B), ent(B & (~A >> B), ~A % B), ent(B & (~A >> B), ~A % ~B), ent(B & (~A >> B), A & (A & B)), ent(B & (~A >> B), A & (A & ~B)), ent(B & (~A >> B), A & (~A & B)), ent(B & (~A >> B), A & (~A & ~B)), ent(B & (~A >> B), A & (A | B)), ent(B & (~A >> B), A & (A | ~B)), ent(B & (~A >> B), A & (~A | B)), ent(B & (~A >> B), A & (~A | ~B)), ent(B & (~A >> B), A & (A >> B)), ent(B & (~A >> B), A & (A >> ~B)), ent(B & (~A >> B), A & (~A >> B)), ent(B & (~A >> B), A & (~A >> ~B)), ent(B & (~A >> B), A & (A % B)), ent(B & (~A >> B), A & (A % ~B)), ent(B & (~A >> B), A & (~A % B)), ent(B & (~A >> B), A & (~A % ~B)), ent(B & (~A >> B), B & (A & B)), ent(B & (~A >> B), B & (A & ~B)), ent(B & (~A >> B), B & (~A & B)), ent(B & (~A >> B), B & (~A & ~B)), ent(B & (~A >> B), B & (A | B)), ent(B & (~A >> B), B & (A | ~B)), ent(B & (~A >> B), B & (~A | B)), ent(B & (~A >> B), B & (~A | ~B)), ent(B & (~A >> B), B & (A >> B)), ent(B & (~A >> B), B & (A >> ~B)), ent(B & (~A >> B), B & (~A >> ~B)), ent(B & (~A >> B), B & (A % B)), ent(B & (~A >> B), B & (A % ~B)), ent(B & (~A >> B), B & (~A % B)), ent(B & (~A >> B), B & (~A % ~B)), ent(B & (~A >> ~B), A & B), ent(B & (~A >> ~B), A & ~B), ent(B & (~A >> ~B), ~A & B), ent(B & (~A >> ~B), ~A & ~B), ent(B & (~A >> ~B), A | B), ent(B & (~A >> ~B), A | ~B), ent(B & (~A >> ~B), ~A | B), ent(B & (~A >> ~B), ~A | ~B), ent(B & (~A >> ~B), A >> B), ent(B & (~A >> ~B), A >> ~B), ent(B & (~A >> ~B), ~A >> B), ent(B & (~A >> ~B), ~A >> ~B), ent(B & (~A >> ~B), A % B), ent(B & (~A >> ~B), A % ~B), ent(B & (~A >> ~B), ~A % B), ent(B & (~A >> ~B), ~A % ~B), ent(B & (~A >> ~B), A & (A & B)), ent(B & (~A >> ~B), A & (A & ~B)), ent(B & (~A >> ~B), A & (~A & B)), ent(B & (~A >> ~B), A & (~A & ~B)), ent(B & (~A >> ~B), A & (A | B)), ent(B & (~A >> ~B), A & (A | ~B)), ent(B & (~A >> ~B), A & (~A | B)), ent(B & (~A >> ~B), A & (~A | ~B)), ent(B & (~A >> ~B), A & (A >> B)), ent(B & (~A >> ~B), A & (A >> ~B)), ent(B & (~A >> ~B), A & (~A >> B)), ent(B & (~A >> ~B), A & (~A >> ~B)), ent(B & (~A >> ~B), A & (A % B)), ent(B & (~A >> ~B), A & (A % ~B)), ent(B & (~A >> ~B), A & (~A % B)), ent(B & (~A >> ~B), A & (~A % ~B)), ent(B & (~A >> ~B), B & (A & B)), ent(B & (~A >> ~B), B & (A & ~B)), ent(B & (~A >> ~B), B & (~A & B)), ent(B & (~A >> ~B), B & (~A & ~B)), ent(B & (~A >> ~B), B & (A | B)), ent(B & (~A >> ~B), B & (A | ~B)), ent(B & (~A >> ~B), B & (~A | B)), ent(B & (~A >> ~B), B & (~A | ~B)), ent(B & (~A >> ~B), B & (A >> B)), ent(B & (~A >> ~B), B & (A >> ~B)), ent(B & (~A >> ~B), B & (~A >> B)), ent(B & (~A >> ~B), B & (A % B)), ent(B & (~A >> ~B), B & (A % ~B)), ent(B & (~A >> ~B), B & (~A % B)), ent(B & (~A >> ~B), B & (~A % ~B)), ent(B & (A % B), A & B), ent(B & (A % B), A & ~B), ent(B & (A % B), ~A & B), ent(B & (A % B), ~A & ~B), ent(B & (A % B), A | B), ent(B & (A % B), A | ~B), ent(B & (A % B), ~A | B), ent(B & (A % B), ~A | ~B), ent(B & (A % B), A >> B), ent(B & (A % B), A >> ~B), ent(B & (A % B), ~A >> B), ent(B & (A % B), ~A >> ~B), ent(B & (A % B), A % B), ent(B & (A % B), A % ~B), ent(B & (A % B), ~A % B), ent(B & (A % B), ~A % ~B), ent(B & (A % B), A & (A & B)), ent(B & (A % B), A & (A & ~B)), ent(B & (A % B), A & (~A & B)), ent(B & (A % B), A & (~A & ~B)), ent(B & (A % B), A & (A | B)), ent(B & (A % B), A & (A | ~B)), ent(B & (A % B), A & (~A | B)), ent(B & (A % B), A & (~A | ~B)), ent(B & (A % B), A & (A >> B)), ent(B & (A % B), A & (A >> ~B)), ent(B & (A % B), A & (~A >> B)), ent(B & (A % B), A & (~A >> ~B)), ent(B & (A % B), A & (A % B)), ent(B & (A % B), A & (A % ~B)), ent(B & (A % B), A & (~A % B)), ent(B & (A % B), A & (~A % ~B)), ent(B & (A % B), B & (A & B)), ent(B & (A % B), B & (A & ~B)), ent(B & (A % B), B & (~A & B)), ent(B & (A % B), B & (~A & ~B)), ent(B & (A % B), B & (A | B)), ent(B & (A % B), B & (A | ~B)), ent(B & (A % B), B & (~A | B)), ent(B & (A % B), B & (~A | ~B)), ent(B & (A % B), B & (A >> B)), ent(B & (A % B), B & (A >> ~B)), ent(B & (A % B), B & (~A >> B)), ent(B & (A % B), B & (~A >> ~B)), ent(B & (A % B), B & (A % ~B)), ent(B & (A % B), B & (~A % B)), ent(B & (A % B), B & (~A % ~B)), ent(B & (A % ~B), A & B), ent(B & (A % ~B), A & ~B), ent(B & (A % ~B), ~A & B), ent(B & (A % ~B), ~A & ~B), ent(B & (A % ~B), A | B), ent(B & (A % ~B), A | ~B), ent(B & (A % ~B), ~A | B), ent(B & (A % ~B), ~A | ~B), ent(B & (A % ~B), A >> B), ent(B & (A % ~B), A >> ~B), ent(B & (A % ~B), ~A >> B), ent(B & (A % ~B), ~A >> ~B), ent(B & (A % ~B), A % B), ent(B & (A % ~B), A % ~B), ent(B & (A % ~B), ~A % B), ent(B & (A % ~B), ~A % ~B), ent(B & (A % ~B), A & (A & B)), ent(B & (A % ~B), A & (A & ~B)), ent(B & (A % ~B), A & (~A & B)), ent(B & (A % ~B), A & (~A & ~B)), ent(B & (A % ~B), A & (A | B)), ent(B & (A % ~B), A & (A | ~B)), ent(B & (A % ~B), A & (~A | B)), ent(B & (A % ~B), A & (~A | ~B)), ent(B & (A % ~B), A & (A >> B)), ent(B & (A % ~B), A & (A >> ~B)), ent(B & (A % ~B), A & (~A >> B)), ent(B & (A % ~B), A & (~A >> ~B)), ent(B & (A % ~B), A & (A % B)), ent(B & (A % ~B), A & (A % ~B)), ent(B & (A % ~B), A & (~A % B)), ent(B & (A % ~B), A & (~A % ~B)), ent(B & (A % ~B), B & (A & B)), ent(B & (A % ~B), B & (A & ~B)), ent(B & (A % ~B), B & (~A & B)), ent(B & (A % ~B), B & (~A & ~B)), ent(B & (A % ~B), B & (A | B)), ent(B & (A % ~B), B & (A | ~B)), ent(B & (A % ~B), B & (~A | B)), ent(B & (A % ~B), B & (~A | ~B)), ent(B & (A % ~B), B & (A >> B)), ent(B & (A % ~B), B & (A >> ~B)), ent(B & (A % ~B), B & (~A >> B)), ent(B & (A % ~B), B & (~A >> ~B)), ent(B & (A % ~B), B & (A % B)), ent(B & (A % ~B), B & (~A % B)), ent(B & (A % ~B), B & (~A % ~B)), ent(B & (~A % B), A & B), ent(B & (~A % B), A & ~B), ent(B & (~A % B), ~A & B), ent(B & (~A % B), ~A & ~B), ent(B & (~A % B), A | B), ent(B & (~A % B), A | ~B), ent(B & (~A % B), ~A | B), ent(B & (~A % B), ~A | ~B), ent(B & (~A % B), A >> B), ent(B & (~A % B), A >> ~B), ent(B & (~A % B), ~A >> B), ent(B & (~A % B), ~A >> ~B), ent(B & (~A % B), A % B), ent(B & (~A % B), A % ~B), ent(B & (~A % B), ~A % B), ent(B & (~A % B), ~A % ~B), ent(B & (~A % B), A & (A & B)), ent(B & (~A % B), A & (A & ~B)), ent(B & (~A % B), A & (~A & B)), ent(B & (~A % B), A & (~A & ~B)), ent(B & (~A % B), A & (A | B)), ent(B & (~A % B), A & (A | ~B)), ent(B & (~A % B), A & (~A | B)), ent(B & (~A % B), A & (~A | ~B)), ent(B & (~A % B), A & (A >> B)), ent(B & (~A % B), A & (A >> ~B)), ent(B & (~A % B), A & (~A >> B)), ent(B & (~A % B), A & (~A >> ~B)), ent(B & (~A % B), A & (A % B)), ent(B & (~A % B), A & (A % ~B)), ent(B & (~A % B), A & (~A % B)), ent(B & (~A % B), A & (~A % ~B)), ent(B & (~A % B), B & (A & B)), ent(B & (~A % B), B & (A & ~B)), ent(B & (~A % B), B & (~A & B)), ent(B & (~A % B), B & (~A & ~B)), ent(B & (~A % B), B & (A | B)), ent(B & (~A % B), B & (A | ~B)), ent(B & (~A % B), B & (~A | B)), ent(B & (~A % B), B & (~A | ~B)), ent(B & (~A % B), B & (A >> B)), ent(B & (~A % B), B & (A >> ~B)), ent(B & (~A % B), B & (~A >> B)), ent(B & (~A % B), B & (~A >> ~B)), ent(B & (~A % B), B & (A % B)), ent(B & (~A % B), B & (A % ~B)), ent(B & (~A % B), B & (~A % ~B)), ent(B & (~A % ~B), A & B), ent(B & (~A % ~B), A & ~B), ent(B & (~A % ~B), ~A & B), ent(B & (~A % ~B), ~A & ~B), ent(B & (~A % ~B), A | B), ent(B & (~A % ~B), A | ~B), ent(B & (~A % ~B), ~A | B), ent(B & (~A % ~B), ~A | ~B), ent(B & (~A % ~B), A >> B), ent(B & (~A % ~B), A >> ~B), ent(B & (~A % ~B), ~A >> B), ent(B & (~A % ~B), ~A >> ~B), ent(B & (~A % ~B), A % B), ent(B & (~A % ~B), A % ~B), ent(B & (~A % ~B), ~A % B), ent(B & (~A % ~B), ~A % ~B), ent(B & (~A % ~B), A & (A & B)), ent(B & (~A % ~B), A & (A & ~B)), ent(B & (~A % ~B), A & (~A & B)), ent(B & (~A % ~B), A & (~A & ~B)), ent(B & (~A % ~B), A & (A | B)), ent(B & (~A % ~B), A & (A | ~B)), ent(B & (~A % ~B), A & (~A | B)), ent(B & (~A % ~B), A & (~A | ~B)), ent(B & (~A % ~B), A & (A >> B)), ent(B & (~A % ~B), A & (A >> ~B)), ent(B & (~A % ~B), A & (~A >> B)), ent(B & (~A % ~B), A & (~A >> ~B)), ent(B & (~A % ~B), A & (A % B)), ent(B & (~A % ~B), A & (A % ~B)), ent(B & (~A % ~B), A & (~A % B)), ent(B & (~A % ~B), A & (~A % ~B)), ent(B & (~A % ~B), B & (A & B)), ent(B & (~A % ~B), B & (A & ~B)), ent(B & (~A % ~B), B & (~A & B)), ent(B & (~A % ~B), B & (~A & ~B)), ent(B & (~A % ~B), B & (A | B)), ent(B & (~A % ~B), B & (A | ~B)), ent(B & (~A % ~B), B & (~A | B)), ent(B & (~A % ~B), B & (~A | ~B)), ent(B & (~A % ~B), B & (A >> B)), ent(B & (~A % ~B), B & (A >> ~B)), ent(B & (~A % ~B), B & (~A >> B)), ent(B & (~A % ~B), B & (~A >> ~B)), ent(B & (~A % ~B), B & (A % B)), ent(B & (~A % ~B), B & (A % ~B)), ent(B & (~A % ~B), B & (~A % B))]
|
|
"""
|
|
|
|
# A python expression to be evaluated. This expression must return the
|
|
# same result for the student and instructor's code.
|
|
|
|
test: "ans"
|