Date: Dec 7, 2012 2:25 AM
Author: fom
Subject: fom - 03 - connectivity algebra


By removing a line and its associated
line elements from a projective geometry,
one obtains an affine geometry.

The lines of a 21-point plane each have
5 line elements.

Every corresponding affine geometry is
a 16-point plane for which each line
has 4 line elements.

What follows is a faithful algebra of
intensional functions ("intensional" as
described by Church when introducing
the lambda-calculus) associated with
16 of logical constants that form
an affine plane in the namespace and
having the signature:

<16, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2>

with domain:

{LEQ, OR, DENY, FLIP, NIF, NTRU, AND, NIMP, XOR, IMP, NAND, TRU, IF,
FIX, LET, NOR}



(I am sorry. I have been accused of not
understanding the meaning of "formal")


and axioms:


LEQ (LEQ,LEQ) = TRU
LEQ (LEQ,OR) = AND
LEQ (LEQ,DENY) = FLIP
LEQ (LEQ,FLIP) = DENY
LEQ (LEQ,NIF) = NIMP
LEQ (LEQ,NTRU) = XOR
LEQ (LEQ,AND) = OR
LEQ (LEQ,NIMP) = NIF
LEQ (LEQ,XOR) = NTRU
LEQ (LEQ,IMP) = IF
LEQ (LEQ,NAND) = NOR
LEQ (LEQ,TRU) = LEQ
LEQ (LEQ,IF) = IMP
LEQ (LEQ,FIX) = LET
LEQ (LEQ,LET) = FIX
LEQ (LEQ,NOR) = NAND
LEQ (OR,LEQ) = AND
LEQ (OR,OR) = TRU
LEQ (OR,DENY) = NIMP
LEQ (OR,FLIP) = NIF
LEQ (OR,NIF) = FLIP
LEQ (OR,NTRU) = NOR
LEQ (OR,AND) = LEQ
LEQ (OR,NIMP) = DENY
LEQ (OR,XOR) = NAND
LEQ (OR,IMP) = LET
LEQ (OR,NAND) = XOR
LEQ (OR,TRU) = OR
LEQ (OR,IF) = FIX
LEQ (OR,FIX) = IF
LEQ (OR,LET) = IMP
LEQ (OR,NOR) = NTRU
LEQ (DENY,LEQ) = FLIP
LEQ (DENY,OR) = NIMP
LEQ (DENY,DENY) = TRU
LEQ (DENY,FLIP) = LEQ
LEQ (DENY,NIF) = AND
LEQ (DENY,NTRU) = LET
LEQ (DENY,AND) = NIF
LEQ (DENY,NIMP) = OR
LEQ (DENY,XOR) = FIX
LEQ (DENY,IMP) = NOR
LEQ (DENY,NAND) = IF
LEQ (DENY,TRU) = DENY
LEQ (DENY,IF) = NAND
LEQ (DENY,FIX) = XOR
LEQ (DENY,LET) = NTRU
LEQ (DENY,NOR) = IMP
LEQ (FLIP,LEQ) = DENY
LEQ (FLIP,OR) = NIF
LEQ (FLIP,DENY) = LEQ
LEQ (FLIP,FLIP) = TRU
LEQ (FLIP,NIF) = OR
LEQ (FLIP,NTRU) = FIX
LEQ (FLIP,AND) = NIMP
LEQ (FLIP,NIMP) = AND
LEQ (FLIP,XOR) = LET
LEQ (FLIP,IMP) = NAND
LEQ (FLIP,NAND) = IMP
LEQ (FLIP,TRU) = FLIP
LEQ (FLIP,IF) = NOR
LEQ (FLIP,FIX) = NTRU
LEQ (FLIP,LET) = XOR
LEQ (FLIP,NOR) = IF
LEQ (NIF,LEQ) = NIMP
LEQ (NIF,OR) = FLIP
LEQ (NIF,DENY) = AND
LEQ (NIF,FLIP) = OR
LEQ (NIF,NIF) = TRU
LEQ (NIF,NTRU) = IF
LEQ (NIF,AND) = DENY
LEQ (NIF,NIMP) = LEQ
LEQ (NIF,XOR) = IMP
LEQ (NIF,IMP) = XOR
LEQ (NIF,NAND) = LET
LEQ (NIF,TRU) = NIF
LEQ (NIF,IF) = NTRU
LEQ (NIF,FIX) = NOR
LEQ (NIF,LET) = NAND
LEQ (NIF,NOR) = FIX
LEQ (NTRU,LEQ) = XOR
LEQ (NTRU,OR) = NOR
LEQ (NTRU,DENY) = LET
LEQ (NTRU,FLIP) = FIX
LEQ (NTRU,NIF) = IF
LEQ (NTRU,NTRU) = TRU
LEQ (NTRU,AND) = NAND
LEQ (NTRU,NIMP) = IMP
LEQ (NTRU,XOR) = LEQ
LEQ (NTRU,IMP) = NIMP
LEQ (NTRU,NAND) = AND
LEQ (NTRU,TRU) = NTRU
LEQ (NTRU,IF) = NIF
LEQ (NTRU,FIX) = FLIP
LEQ (NTRU,LET) = DENY
LEQ (NTRU,NOR) = OR
LEQ (AND,LEQ) = OR
LEQ (AND,OR) = LEQ
LEQ (AND,DENY) = NIF
LEQ (AND,FLIP) = NIMP
LEQ (AND,NIF) = DENY
LEQ (AND,NTRU) = NAND
LEQ (AND,AND) = TRU
LEQ (AND,NIMP) = FLIP
LEQ (AND,XOR) = NOR
LEQ (AND,IMP) = FIX
LEQ (AND,NAND) = NTRU
LEQ (AND,TRU) = AND
LEQ (AND,IF) = LET
LEQ (AND,FIX) = IMP
LEQ (AND,LET) = IF
LEQ (AND,NOR) = XOR
LEQ (NIMP,LEQ) = NIF
LEQ (NIMP,OR) = DENY
LEQ (NIMP,DENY) = OR
LEQ (NIMP,FLIP) = AND
LEQ (NIMP,NIF) = LEQ
LEQ (NIMP,NTRU) = IMP
LEQ (NIMP,AND) = FLIP
LEQ (NIMP,NIMP) = TRU
LEQ (NIMP,XOR) = IF
LEQ (NIMP,IMP) = NTRU
LEQ (NIMP,NAND) = FIX
LEQ (NIMP,TRU) = NIMP
LEQ (NIMP,IF) = XOR
LEQ (NIMP,FIX) = NAND
LEQ (NIMP,LET) = NOR
LEQ (NIMP,NOR) = LET
LEQ (XOR,LEQ) = NTRU
LEQ (XOR,OR) = NAND
LEQ (XOR,DENY) = FIX
LEQ (XOR,FLIP) = LET
LEQ (XOR,NIF) = IMP
LEQ (XOR,NTRU) = LEQ
LEQ (XOR,AND) = NOR
LEQ (XOR,NIMP) = IF
LEQ (XOR,XOR) = TRU
LEQ (XOR,IMP) = NIF
LEQ (XOR,NAND) = OR
LEQ (XOR,TRU) = XOR
LEQ (XOR,IF) = NIMP
LEQ (XOR,FIX) = DENY
LEQ (XOR,LET) = FLIP
LEQ (XOR,NOR) = AND
LEQ (IMP,LEQ) = IF
LEQ (IMP,OR) = LET
LEQ (IMP,DENY) = NOR
LEQ (IMP,FLIP) = NAND
LEQ (IMP,NIF) = XOR
LEQ (IMP,NTRU) = NIMP
LEQ (IMP,AND) = FIX
LEQ (IMP,NIMP) = NTRU
LEQ (IMP,XOR) = NIF
LEQ (IMP,IMP) = TRU
LEQ (IMP,NAND) = FLIP
LEQ (IMP,TRU) = IMP
LEQ (IMP,IF) = LEQ
LEQ (IMP,FIX) = AND
LEQ (IMP,LET) = OR
LEQ (IMP,NOR) = DENY
LEQ (NAND,LEQ) = NOR
LEQ (NAND,OR) = XOR
LEQ (NAND,DENY) = IF
LEQ (NAND,FLIP) = IMP
LEQ (NAND,NIF) = LET
LEQ (NAND,NTRU) = AND
LEQ (NAND,AND) = NTRU
LEQ (NAND,NIMP) = FIX
LEQ (NAND,XOR) = OR
LEQ (NAND,IMP) = FLIP
LEQ (NAND,NAND) = TRU
LEQ (NAND,TRU) = NAND
LEQ (NAND,IF) = DENY
LEQ (NAND,FIX) = NIMP
LEQ (NAND,LET) = NIF
LEQ (NAND,NOR) = LEQ
LEQ (TRU,LEQ) = LEQ
LEQ (TRU,OR) = OR
LEQ (TRU,DENY) = DENY
LEQ (TRU,FLIP) = FLIP
LEQ (TRU,NIF) = NIF
LEQ (TRU,NTRU) = NTRU
LEQ (TRU,AND) = AND
LEQ (TRU,NIMP) = NIMP
LEQ (TRU,XOR) = XOR
LEQ (TRU,IMP) = IMP
LEQ (TRU,NAND) = NAND
LEQ (TRU,TRU) = TRU
LEQ (TRU,IF) = IF
LEQ (TRU,FIX) = FIX
LEQ (TRU,LET) = LET
LEQ (TRU,NOR) = NOR
LEQ (IF,LEQ) = IMP
LEQ (IF,OR) = FIX
LEQ (IF,DENY) = NAND
LEQ (IF,FLIP) = NOR
LEQ (IF,NIF) = NTRU
LEQ (IF,NTRU) = NIF
LEQ (IF,AND) = LET
LEQ (IF,NIMP) = XOR
LEQ (IF,XOR) = NIMP
LEQ (IF,IMP) = LEQ
LEQ (IF,NAND) = DENY
LEQ (IF,TRU) = IF
LEQ (IF,IF) = TRU
LEQ (IF,FIX) = OR
LEQ (IF,LET) = AND
LEQ (IF,NOR) = FLIP
LEQ (FIX,LEQ) = LET
LEQ (FIX,OR) = IF
LEQ (FIX,DENY) = XOR
LEQ (FIX,FLIP) = NTRU
LEQ (FIX,NIF) = NOR
LEQ (FIX,NTRU) = FLIP
LEQ (FIX,AND) = IMP
LEQ (FIX,NIMP) = NAND
LEQ (FIX,XOR) = DENY
LEQ (FIX,IMP) = AND
LEQ (FIX,NAND) = NIMP
LEQ (FIX,TRU) = FIX
LEQ (FIX,IF) = OR
LEQ (FIX,FIX) = TRU
LEQ (FIX,LET) = LEQ
LEQ (FIX,NOR) = NIF
LEQ (LET,LEQ) = FIX
LEQ (LET,OR) = IMP
LEQ (LET,DENY) = NTRU
LEQ (LET,FLIP) = XOR
LEQ (LET,NIF) = NAND
LEQ (LET,NTRU) = DENY
LEQ (LET,AND) = IF
LEQ (LET,NIMP) = NOR
LEQ (LET,XOR) = FLIP
LEQ (LET,IMP) = OR
LEQ (LET,NAND) = NIF
LEQ (LET,TRU) = LET
LEQ (LET,IF) = AND
LEQ (LET,FIX) = LEQ
LEQ (LET,LET) = TRU
LEQ (LET,NOR) = NIMP
LEQ (NOR,LEQ) = NAND
LEQ (NOR,OR) = NTRU
LEQ (NOR,DENY) = IMP
LEQ (NOR,FLIP) = IF
LEQ (NOR,NIF) = FIX
LEQ (NOR,NTRU) = OR
LEQ (NOR,AND) = XOR
LEQ (NOR,NIMP) = LET
LEQ (NOR,XOR) = AND
LEQ (NOR,IMP) = DENY
LEQ (NOR,NAND) = LEQ
LEQ (NOR,TRU) = NOR
LEQ (NOR,IF) = FLIP
LEQ (NOR,FIX) = NIF
LEQ (NOR,LET) = NIMP
LEQ (NOR,NOR) = TRU
OR (LEQ,LEQ) = LEQ
OR (LEQ,OR) = TRU
OR (LEQ,DENY) = IF
OR (LEQ,FLIP) = IMP
OR (LEQ,NIF) = IMP
OR (LEQ,NTRU) = LEQ
OR (LEQ,AND) = LEQ
OR (LEQ,NIMP) = IF
OR (LEQ,XOR) = TRU
OR (LEQ,IMP) = IMP
OR (LEQ,NAND) = TRU
OR (LEQ,TRU) = TRU
OR (LEQ,IF) = IF
OR (LEQ,FIX) = IF
OR (LEQ,LET) = IMP
OR (LEQ,NOR) = LEQ
OR (OR,LEQ) = TRU
OR (OR,OR) = OR
OR (OR,DENY) = TRU
OR (OR,FLIP) = TRU
OR (OR,NIF) = OR
OR (OR,NTRU) = OR
OR (OR,AND) = OR
OR (OR,NIMP) = OR
OR (OR,XOR) = OR
OR (OR,IMP) = TRU
OR (OR,NAND) = TRU
OR (OR,TRU) = TRU
OR (OR,IF) = TRU
OR (OR,FIX) = OR
OR (OR,LET) = OR
OR (OR,NOR) = TRU
OR (DENY,LEQ) = IF
OR (DENY,OR) = TRU
OR (DENY,DENY) = DENY
OR (DENY,FLIP) = NAND
OR (DENY,NIF) = NAND
OR (DENY,NTRU) = DENY
OR (DENY,AND) = IF
OR (DENY,NIMP) = DENY
OR (DENY,XOR) = NAND
OR (DENY,IMP) = TRU
OR (DENY,NAND) = NAND
OR (DENY,TRU) = TRU
OR (DENY,IF) = IF
OR (DENY,FIX) = IF
OR (DENY,LET) = TRU
OR (DENY,NOR) = DENY
OR (FLIP,LEQ) = IMP
OR (FLIP,OR) = TRU
OR (FLIP,DENY) = NAND
OR (FLIP,FLIP) = FLIP
OR (FLIP,NIF) = FLIP
OR (FLIP,NTRU) = FLIP
OR (FLIP,AND) = IMP
OR (FLIP,NIMP) = NAND
OR (FLIP,XOR) = NAND
OR (FLIP,IMP) = IMP
OR (FLIP,NAND) = NAND
OR (FLIP,TRU) = TRU
OR (FLIP,IF) = TRU
OR (FLIP,FIX) = TRU
OR (FLIP,LET) = IMP
OR (FLIP,NOR) = FLIP
OR (NIF,LEQ) = IMP
OR (NIF,OR) = OR
OR (NIF,DENY) = NAND
OR (NIF,FLIP) = FLIP
OR (NIF,NIF) = NIF
OR (NIF,NTRU) = NIF
OR (NIF,AND) = LET
OR (NIF,NIMP) = XOR
OR (NIF,XOR) = XOR
OR (NIF,IMP) = IMP
OR (NIF,NAND) = NAND
OR (NIF,TRU) = TRU
OR (NIF,IF) = TRU
OR (NIF,FIX) = OR
OR (NIF,LET) = LET
OR (NIF,NOR) = FLIP
OR (NTRU,LEQ) = LEQ
OR (NTRU,OR) = OR
OR (NTRU,DENY) = DENY
OR (NTRU,FLIP) = FLIP
OR (NTRU,NIF) = NIF
OR (NTRU,NTRU) = NTRU
OR (NTRU,AND) = AND
OR (NTRU,NIMP) = NIMP
OR (NTRU,XOR) = XOR
OR (NTRU,IMP) = IMP
OR (NTRU,NAND) = NAND
OR (NTRU,TRU) = TRU
OR (NTRU,IF) = IF
OR (NTRU,FIX) = FIX
OR (NTRU,LET) = LET
OR (NTRU,NOR) = NOR
OR (AND,LEQ) = LEQ
OR (AND,OR) = OR
OR (AND,DENY) = IF
OR (AND,FLIP) = IMP
OR (AND,NIF) = LET
OR (AND,NTRU) = AND
OR (AND,AND) = AND
OR (AND,NIMP) = FIX
OR (AND,XOR) = OR
OR (AND,IMP) = IMP
OR (AND,NAND) = TRU
OR (AND,TRU) = TRU
OR (AND,IF) = IF
OR (AND,FIX) = FIX
OR (AND,LET) = LET
OR (AND,NOR) = LEQ
OR (NIMP,LEQ) = IF
OR (NIMP,OR) = OR
OR (NIMP,DENY) = DENY
OR (NIMP,FLIP) = NAND
OR (NIMP,NIF) = XOR
OR (NIMP,NTRU) = NIMP
OR (NIMP,AND) = FIX
OR (NIMP,NIMP) = NIMP
OR (NIMP,XOR) = XOR
OR (NIMP,IMP) = TRU
OR (NIMP,NAND) = NAND
OR (NIMP,TRU) = TRU
OR (NIMP,IF) = IF
OR (NIMP,FIX) = FIX
OR (NIMP,LET) = OR
OR (NIMP,NOR) = DENY
OR (XOR,LEQ) = TRU
OR (XOR,OR) = OR
OR (XOR,DENY) = NAND
OR (XOR,FLIP) = NAND
OR (XOR,NIF) = XOR
OR (XOR,NTRU) = XOR
OR (XOR,AND) = OR
OR (XOR,NIMP) = XOR
OR (XOR,XOR) = XOR
OR (XOR,IMP) = TRU
OR (XOR,NAND) = NAND
OR (XOR,TRU) = TRU
OR (XOR,IF) = TRU
OR (XOR,FIX) = OR
OR (XOR,LET) = OR
OR (XOR,NOR) = NAND
OR (IMP,LEQ) = IMP
OR (IMP,OR) = TRU
OR (IMP,DENY) = TRU
OR (IMP,FLIP) = IMP
OR (IMP,NIF) = IMP
OR (IMP,NTRU) = IMP
OR (IMP,AND) = IMP
OR (IMP,NIMP) = TRU
OR (IMP,XOR) = TRU
OR (IMP,IMP) = IMP
OR (IMP,NAND) = TRU
OR (IMP,TRU) = TRU
OR (IMP,IF) = TRU
OR (IMP,FIX) = TRU
OR (IMP,LET) = IMP
OR (IMP,NOR) = IMP
OR (NAND,LEQ) = TRU
OR (NAND,OR) = TRU
OR (NAND,DENY) = NAND
OR (NAND,FLIP) = NAND
OR (NAND,NIF) = NAND
OR (NAND,NTRU) = NAND
OR (NAND,AND) = TRU
OR (NAND,NIMP) = NAND
OR (NAND,XOR) = NAND
OR (NAND,IMP) = TRU
OR (NAND,NAND) = NAND
OR (NAND,TRU) = TRU
OR (NAND,IF) = TRU
OR (NAND,FIX) = TRU
OR (NAND,LET) = TRU
OR (NAND,NOR) = NAND
OR (TRU,LEQ) = TRU
OR (TRU,OR) = TRU
OR (TRU,DENY) = TRU
OR (TRU,FLIP) = TRU
OR (TRU,NIF) = TRU
OR (TRU,NTRU) = TRU
OR (TRU,AND) = TRU
OR (TRU,NIMP) = TRU
OR (TRU,XOR) = TRU
OR (TRU,IMP) = TRU
OR (TRU,NAND) = TRU
OR (TRU,TRU) = TRU
OR (TRU,IF) = TRU
OR (TRU,FIX) = TRU
OR (TRU,LET) = TRU
OR (TRU,NOR) = TRU
OR (IF,LEQ) = IF
OR (IF,OR) = TRU
OR (IF,DENY) = IF
OR (IF,FLIP) = TRU
OR (IF,NIF) = TRU
OR (IF,NTRU) = IF
OR (IF,AND) = IF
OR (IF,NIMP) = IF
OR (IF,XOR) = TRU
OR (IF,IMP) = TRU
OR (IF,NAND) = TRU
OR (IF,TRU) = TRU
OR (IF,IF) = IF
OR (IF,FIX) = IF
OR (IF,LET) = TRU
OR (IF,NOR) = IF
OR (FIX,LEQ) = IF
OR (FIX,OR) = OR
OR (FIX,DENY) = IF
OR (FIX,FLIP) = TRU
OR (FIX,NIF) = OR
OR (FIX,NTRU) = FIX
OR (FIX,AND) = FIX
OR (FIX,NIMP) = FIX
OR (FIX,XOR) = OR
OR (FIX,IMP) = TRU
OR (FIX,NAND) = TRU
OR (FIX,TRU) = TRU
OR (FIX,IF) = IF
OR (FIX,FIX) = FIX
OR (FIX,LET) = OR
OR (FIX,NOR) = IF
OR (LET,LEQ) = IMP
OR (LET,OR) = OR
OR (LET,DENY) = TRU
OR (LET,FLIP) = IMP
OR (LET,NIF) = LET
OR (LET,NTRU) = LET
OR (LET,AND) = LET
OR (LET,NIMP) = OR
OR (LET,XOR) = OR
OR (LET,IMP) = IMP
OR (LET,NAND) = TRU
OR (LET,TRU) = TRU
OR (LET,IF) = TRU
OR (LET,FIX) = OR
OR (LET,LET) = LET
OR (LET,NOR) = IMP
OR (NOR,LEQ) = LEQ
OR (NOR,OR) = TRU
OR (NOR,DENY) = DENY
OR (NOR,FLIP) = FLIP
OR (NOR,NIF) = FLIP
OR (NOR,NTRU) = NOR
OR (NOR,AND) = LEQ
OR (NOR,NIMP) = DENY
OR (NOR,XOR) = NAND
OR (NOR,IMP) = IMP
OR (NOR,NAND) = NAND
OR (NOR,TRU) = TRU
OR (NOR,IF) = IF
OR (NOR,FIX) = IF
OR (NOR,LET) = IMP
OR (NOR,NOR) = NOR
DENY (LEQ,LEQ) = XOR
DENY (LEQ,OR) = NOR
DENY (LEQ,DENY) = LET
DENY (LEQ,FLIP) = FIX
DENY (LEQ,NIF) = IF
DENY (LEQ,NTRU) = TRU
DENY (LEQ,AND) = NAND
DENY (LEQ,NIMP) = IMP
DENY (LEQ,XOR) = LEQ
DENY (LEQ,IMP) = NIMP
DENY (LEQ,NAND) = AND
DENY (LEQ,TRU) = NTRU
DENY (LEQ,IF) = NIF
DENY (LEQ,FIX) = FLIP
DENY (LEQ,LET) = DENY
DENY (LEQ,NOR) = OR
DENY (OR,LEQ) = XOR
DENY (OR,OR) = NOR
DENY (OR,DENY) = LET
DENY (OR,FLIP) = FIX
DENY (OR,NIF) = IF
DENY (OR,NTRU) = TRU
DENY (OR,AND) = NAND
DENY (OR,NIMP) = IMP
DENY (OR,XOR) = LEQ
DENY (OR,IMP) = NIMP
DENY (OR,NAND) = AND
DENY (OR,TRU) = NTRU
DENY (OR,IF) = NIF
DENY (OR,FIX) = FLIP
DENY (OR,LET) = DENY
DENY (OR,NOR) = OR
DENY (DENY,LEQ) = XOR
DENY (DENY,OR) = NOR
DENY (DENY,DENY) = LET
DENY (DENY,FLIP) = FIX
DENY (DENY,NIF) = IF
DENY (DENY,NTRU) = TRU
DENY (DENY,AND) = NAND
DENY (DENY,NIMP) = IMP
DENY (DENY,XOR) = LEQ
DENY (DENY,IMP) = NIMP
DENY (DENY,NAND) = AND
DENY (DENY,TRU) = NTRU
DENY (DENY,IF) = NIF
DENY (DENY,FIX) = FLIP
DENY (DENY,LET) = DENY
DENY (DENY,NOR) = OR
DENY (FLIP,LEQ) = XOR
DENY (FLIP,OR) = NOR
DENY (FLIP,DENY) = LET
DENY (FLIP,FLIP) = FIX
DENY (FLIP,NIF) = IF
DENY (FLIP,NTRU) = TRU
DENY (FLIP,AND) = NAND
DENY (FLIP,NIMP) = IMP
DENY (FLIP,XOR) = LEQ
DENY (FLIP,IMP) = NIMP
DENY (FLIP,NAND) = AND
DENY (FLIP,TRU) = NTRU
DENY (FLIP,IF) = NIF
DENY (FLIP,FIX) = FLIP
DENY (FLIP,LET) = DENY
DENY (FLIP,NOR) = OR
DENY (NIF,LEQ) = XOR
DENY (NIF,OR) = NOR
DENY (NIF,DENY) = LET
DENY (NIF,FLIP) = FIX
DENY (NIF,NIF) = IF
DENY (NIF,NTRU) = TRU
DENY (NIF,AND) = NAND
DENY (NIF,NIMP) = IMP
DENY (NIF,XOR) = LEQ
DENY (NIF,IMP) = NIMP
DENY (NIF,NAND) = AND
DENY (NIF,TRU) = NTRU
DENY (NIF,IF) = NIF
DENY (NIF,FIX) = FLIP
DENY (NIF,LET) = DENY
DENY (NIF,NOR) = OR
DENY (NTRU,LEQ) = XOR
DENY (NTRU,OR) = NOR
DENY (NTRU,DENY) = LET
DENY (NTRU,FLIP) = FIX
DENY (NTRU,NIF) = IF
DENY (NTRU,NTRU) = TRU
DENY (NTRU,AND) = NAND
DENY (NTRU,NIMP) = IMP
DENY (NTRU,XOR) = LEQ
DENY (NTRU,IMP) = NIMP
DENY (NTRU,NAND) = AND
DENY (NTRU,TRU) = NTRU
DENY (NTRU,IF) = NIF
DENY (NTRU,FIX) = FLIP
DENY (NTRU,LET) = DENY
DENY (NTRU,NOR) = OR
DENY (AND,LEQ) = XOR
DENY (AND,OR) = NOR
DENY (AND,DENY) = LET
DENY (AND,FLIP) = FIX
DENY (AND,NIF) = IF
DENY (AND,NTRU) = TRU
DENY (AND,AND) = NAND
DENY (AND,NIMP) = IMP
DENY (AND,XOR) = LEQ
DENY (AND,IMP) = NIMP
DENY (AND,NAND) = AND
DENY (AND,TRU) = NTRU
DENY (AND,IF) = NIF
DENY (AND,FIX) = FLIP
DENY (AND,LET) = DENY
DENY (AND,NOR) = OR
DENY (NIMP,LEQ) = XOR
DENY (NIMP,OR) = NOR
DENY (NIMP,DENY) = LET
DENY (NIMP,FLIP) = FIX
DENY (NIMP,NIF) = IF
DENY (NIMP,NTRU) = TRU
DENY (NIMP,AND) = NAND
DENY (NIMP,NIMP) = IMP
DENY (NIMP,XOR) = LEQ
DENY (NIMP,IMP) = NIMP
DENY (NIMP,NAND) = AND
DENY (NIMP,TRU) = NTRU
DENY (NIMP,IF) = NIF
DENY (NIMP,FIX) = FLIP
DENY (NIMP,LET) = DENY
DENY (NIMP,NOR) = OR
DENY (XOR,LEQ) = XOR
DENY (XOR,OR) = NOR
DENY (XOR,DENY) = LET
DENY (XOR,FLIP) = FIX
DENY (XOR,NIF) = IF
DENY (XOR,NTRU) = TRU
DENY (XOR,AND) = NAND
DENY (XOR,NIMP) = IMP
DENY (XOR,XOR) = LEQ
DENY (XOR,IMP) = NIMP
DENY (XOR,NAND) = AND
DENY (XOR,TRU) = NTRU
DENY (XOR,IF) = NIF
DENY (XOR,FIX) = FLIP
DENY (XOR,LET) = DENY
DENY (XOR,NOR) = OR
DENY (IMP,LEQ) = XOR
DENY (IMP,OR) = NOR
DENY (IMP,DENY) = LET
DENY (IMP,FLIP) = FIX
DENY (IMP,NIF) = IF
DENY (IMP,NTRU) = TRU
DENY (IMP,AND) = NAND
DENY (IMP,NIMP) = IMP
DENY (IMP,XOR) = LEQ
DENY (IMP,IMP) = NIMP
DENY (IMP,NAND) = AND
DENY (IMP,TRU) = NTRU
DENY (IMP,IF) = NIF
DENY (IMP,FIX) = FLIP
DENY (IMP,LET) = DENY
DENY (IMP,NOR) = OR
DENY (NAND,LEQ) = XOR
DENY (NAND,OR) = NOR
DENY (NAND,DENY) = LET
DENY (NAND,FLIP) = FIX
DENY (NAND,NIF) = IF
DENY (NAND,NTRU) = TRU
DENY (NAND,AND) = NAND
DENY (NAND,NIMP) = IMP
DENY (NAND,XOR) = LEQ
DENY (NAND,IMP) = NIMP
DENY (NAND,NAND) = AND
DENY (NAND,TRU) = NTRU
DENY (NAND,IF) = NIF
DENY (NAND,FIX) = FLIP
DENY (NAND,LET) = DENY
DENY (NAND,NOR) = OR
DENY (TRU,LEQ) = XOR
DENY (TRU,OR) = NOR
DENY (TRU,DENY) = LET
DENY (TRU,FLIP) = FIX
DENY (TRU,NIF) = IF
DENY (TRU,NTRU) = TRU
DENY (TRU,AND) = NAND
DENY (TRU,NIMP) = IMP
DENY (TRU,XOR) = LEQ
DENY (TRU,IMP) = NIMP
DENY (TRU,NAND) = AND
DENY (TRU,TRU) = NTRU
DENY (TRU,IF) = NIF
DENY (TRU,FIX) = FLIP
DENY (TRU,LET) = DENY
DENY (TRU,NOR) = OR
DENY (IF,LEQ) = XOR
DENY (IF,OR) = NOR
DENY (IF,DENY) = LET
DENY (IF,FLIP) = FIX
DENY (IF,NIF) = IF
DENY (IF,NTRU) = TRU
DENY (IF,AND) = NAND
DENY (IF,NIMP) = IMP
DENY (IF,XOR) = LEQ
DENY (IF,IMP) = NIMP
DENY (IF,NAND) = AND
DENY (IF,TRU) = NTRU
DENY (IF,IF) = NIF
DENY (IF,FIX) = FLIP
DENY (IF,LET) = DENY
DENY (IF,NOR) = OR
DENY (FIX,LEQ) = XOR
DENY (FIX,OR) = NOR
DENY (FIX,DENY) = LET
DENY (FIX,FLIP) = FIX
DENY (FIX,NIF) = IF
DENY (FIX,NTRU) = TRU
DENY (FIX,AND) = NAND
DENY (FIX,NIMP) = IMP
DENY (FIX,XOR) = LEQ
DENY (FIX,IMP) = NIMP
DENY (FIX,NAND) = AND
DENY (FIX,TRU) = NTRU
DENY (FIX,IF) = NIF
DENY (FIX,FIX) = FLIP
DENY (FIX,LET) = DENY
DENY (FIX,NOR) = OR
DENY (LET,LEQ) = XOR
DENY (LET,OR) = NOR
DENY (LET,DENY) = LET
DENY (LET,FLIP) = FIX
DENY (LET,NIF) = IF
DENY (LET,NTRU) = TRU
DENY (LET,AND) = NAND
DENY (LET,NIMP) = IMP
DENY (LET,XOR) = LEQ
DENY (LET,IMP) = NIMP
DENY (LET,NAND) = AND
DENY (LET,TRU) = NTRU
DENY (LET,IF) = NIF
DENY (LET,FIX) = FLIP
DENY (LET,LET) = DENY
DENY (LET,NOR) = OR
DENY (NOR,LEQ) = XOR
DENY (NOR,OR) = NOR
DENY (NOR,DENY) = LET
DENY (NOR,FLIP) = FIX
DENY (NOR,NIF) = IF
DENY (NOR,NTRU) = TRU
DENY (NOR,AND) = NAND
DENY (NOR,NIMP) = IMP
DENY (NOR,XOR) = LEQ
DENY (NOR,IMP) = NIMP
DENY (NOR,NAND) = AND
DENY (NOR,TRU) = NTRU
DENY (NOR,IF) = NIF
DENY (NOR,FIX) = FLIP
DENY (NOR,LET) = DENY
DENY (NOR,NOR) = OR
FLIP (LEQ,LEQ) = XOR
FLIP (LEQ,OR) = XOR
FLIP (LEQ,DENY) = XOR
FLIP (LEQ,FLIP) = XOR
FLIP (LEQ,NIF) = XOR
FLIP (LEQ,NTRU) = XOR
FLIP (LEQ,AND) = XOR
FLIP (LEQ,NIMP) = XOR
FLIP (LEQ,XOR) = XOR
FLIP (LEQ,IMP) = XOR
FLIP (LEQ,NAND) = XOR
FLIP (LEQ,TRU) = XOR
FLIP (LEQ,IF) = XOR
FLIP (LEQ,FIX) = XOR
FLIP (LEQ,LET) = XOR
FLIP (LEQ,NOR) = XOR
FLIP (OR,LEQ) = NOR
FLIP (OR,OR) = NOR
FLIP (OR,DENY) = NOR
FLIP (OR,FLIP) = NOR
FLIP (OR,NIF) = NOR
FLIP (OR,NTRU) = NOR
FLIP (OR,AND) = NOR
FLIP (OR,NIMP) = NOR
FLIP (OR,XOR) = NOR
FLIP (OR,IMP) = NOR
FLIP (OR,NAND) = NOR
FLIP (OR,TRU) = NOR
FLIP (OR,IF) = NOR
FLIP (OR,FIX) = NOR
FLIP (OR,LET) = NOR
FLIP (OR,NOR) = NOR
FLIP (DENY,LEQ) = LET
FLIP (DENY,OR) = LET
FLIP (DENY,DENY) = LET
FLIP (DENY,FLIP) = LET
FLIP (DENY,NIF) = LET
FLIP (DENY,NTRU) = LET
FLIP (DENY,AND) = LET
FLIP (DENY,NIMP) = LET
FLIP (DENY,XOR) = LET
FLIP (DENY,IMP) = LET
FLIP (DENY,NAND) = LET
FLIP (DENY,TRU) = LET
FLIP (DENY,IF) = LET
FLIP (DENY,FIX) = LET
FLIP (DENY,LET) = LET
FLIP (DENY,NOR) = LET
FLIP (FLIP,LEQ) = FIX
FLIP (FLIP,OR) = FIX
FLIP (FLIP,DENY) = FIX
FLIP (FLIP,FLIP) = FIX
FLIP (FLIP,NIF) = FIX
FLIP (FLIP,NTRU) = FIX
FLIP (FLIP,AND) = FIX
FLIP (FLIP,NIMP) = FIX
FLIP (FLIP,XOR) = FIX
FLIP (FLIP,IMP) = FIX
FLIP (FLIP,NAND) = FIX
FLIP (FLIP,TRU) = FIX
FLIP (FLIP,IF) = FIX
FLIP (FLIP,FIX) = FIX
FLIP (FLIP,LET) = FIX
FLIP (FLIP,NOR) = FIX
FLIP (NIF,LEQ) = IF
FLIP (NIF,OR) = IF
FLIP (NIF,DENY) = IF
FLIP (NIF,FLIP) = IF
FLIP (NIF,NIF) = IF
FLIP (NIF,NTRU) = IF
FLIP (NIF,AND) = IF
FLIP (NIF,NIMP) = IF
FLIP (NIF,XOR) = IF
FLIP (NIF,IMP) = IF
FLIP (NIF,NAND) = IF
FLIP (NIF,TRU) = IF
FLIP (NIF,IF) = IF
FLIP (NIF,FIX) = IF
FLIP (NIF,LET) = IF
FLIP (NIF,NOR) = IF
FLIP (NTRU,LEQ) = TRU
FLIP (NTRU,OR) = TRU
FLIP (NTRU,DENY) = TRU
FLIP (NTRU,FLIP) = TRU
FLIP (NTRU,NIF) = TRU
FLIP (NTRU,NTRU) = TRU
FLIP (NTRU,AND) = TRU
FLIP (NTRU,NIMP) = TRU
FLIP (NTRU,XOR) = TRU
FLIP (NTRU,IMP) = TRU
FLIP (NTRU,NAND) = TRU
FLIP (NTRU,TRU) = TRU
FLIP (NTRU,IF) = TRU
FLIP (NTRU,FIX) = TRU
FLIP (NTRU,LET) = TRU
FLIP (NTRU,NOR) = TRU
FLIP (AND,LEQ) = NAND
FLIP (AND,OR) = NAND
FLIP (AND,DENY) = NAND
FLIP (AND,FLIP) = NAND
FLIP (AND,NIF) = NAND
FLIP (AND,NTRU) = NAND
FLIP (AND,AND) = NAND
FLIP (AND,NIMP) = NAND
FLIP (AND,XOR) = NAND
FLIP (AND,IMP) = NAND
FLIP (AND,NAND) = NAND
FLIP (AND,TRU) = NAND
FLIP (AND,IF) = NAND
FLIP (AND,FIX) = NAND
FLIP (AND,LET) = NAND
FLIP (AND,NOR) = NAND
FLIP (NIMP,LEQ) = IMP
FLIP (NIMP,OR) = IMP
FLIP (NIMP,DENY) = IMP
FLIP (NIMP,FLIP) = IMP
FLIP (NIMP,NIF) = IMP
FLIP (NIMP,NTRU) = IMP
FLIP (NIMP,AND) = IMP
FLIP (NIMP,NIMP) = IMP
FLIP (NIMP,XOR) = IMP
FLIP (NIMP,IMP) = IMP
FLIP (NIMP,NAND) = IMP
FLIP (NIMP,TRU) = IMP
FLIP (NIMP,IF) = IMP
FLIP (NIMP,FIX) = IMP
FLIP (NIMP,LET) = IMP
FLIP (NIMP,NOR) = IMP
FLIP (XOR,LEQ) = LEQ
FLIP (XOR,OR) = LEQ
FLIP (XOR,DENY) = LEQ
FLIP (XOR,FLIP) = LEQ
FLIP (XOR,NIF) = LEQ
FLIP (XOR,NTRU) = LEQ
FLIP (XOR,AND) = LEQ
FLIP (XOR,NIMP) = LEQ
FLIP (XOR,XOR) = LEQ
FLIP (XOR,IMP) = LEQ
FLIP (XOR,NAND) = LEQ
FLIP (XOR,TRU) = LEQ
FLIP (XOR,IF) = LEQ
FLIP (XOR,FIX) = LEQ
FLIP (XOR,LET) = LEQ
FLIP (XOR,NOR) = LEQ
FLIP (IMP,LEQ) = NIMP
FLIP (IMP,OR) = NIMP
FLIP (IMP,DENY) = NIMP
FLIP (IMP,FLIP) = NIMP
FLIP (IMP,NIF) = NIMP
FLIP (IMP,NTRU) = NIMP
FLIP (IMP,AND) = NIMP
FLIP (IMP,NIMP) = NIMP
FLIP (IMP,XOR) = NIMP
FLIP (IMP,IMP) = NIMP
FLIP (IMP,NAND) = NIMP
FLIP (IMP,TRU) = NIMP
FLIP (IMP,IF) = NIMP
FLIP (IMP,FIX) = NIMP
FLIP (IMP,LET) = NIMP
FLIP (IMP,NOR) = NIMP
FLIP (NAND,LEQ) = AND
FLIP (NAND,OR) = AND
FLIP (NAND,DENY) = AND
FLIP (NAND,FLIP) = AND
FLIP (NAND,NIF) = AND
FLIP (NAND,NTRU) = AND
FLIP (NAND,AND) = AND
FLIP (NAND,NIMP) = AND
FLIP (NAND,XOR) = AND
FLIP (NAND,IMP) = AND
FLIP (NAND,NAND) = AND
FLIP (NAND,TRU) = AND
FLIP (NAND,IF) = AND
FLIP (NAND,FIX) = AND
FLIP (NAND,LET) = AND
FLIP (NAND,NOR) = AND
FLIP (TRU,LEQ) = NTRU
FLIP (TRU,OR) = NTRU
FLIP (TRU,DENY) = NTRU
FLIP (TRU,FLIP) = NTRU
FLIP (TRU,NIF) = NTRU
FLIP (TRU,NTRU) = NTRU
FLIP (TRU,AND) = NTRU
FLIP (TRU,NIMP) = NTRU
FLIP (TRU,XOR) = NTRU
FLIP (TRU,IMP) = NTRU
FLIP (TRU,NAND) = NTRU
FLIP (TRU,TRU) = NTRU
FLIP (TRU,IF) = NTRU
FLIP (TRU,FIX) = NTRU
FLIP (TRU,LET) = NTRU
FLIP (TRU,NOR) = NTRU
FLIP (IF,LEQ) = NIF
FLIP (IF,OR) = NIF
FLIP (IF,DENY) = NIF
FLIP (IF,FLIP) = NIF
FLIP (IF,NIF) = NIF
FLIP (IF,NTRU) = NIF
FLIP (IF,AND) = NIF
FLIP (IF,NIMP) = NIF
FLIP (IF,XOR) = NIF
FLIP (IF,IMP) = NIF
FLIP (IF,NAND) = NIF
FLIP (IF,TRU) = NIF
FLIP (IF,IF) = NIF
FLIP (IF,FIX) = NIF
FLIP (IF,LET) = NIF
FLIP (IF,NOR) = NIF
FLIP (FIX,LEQ) = FLIP
FLIP (FIX,OR) = FLIP
FLIP (FIX,DENY) = FLIP
FLIP (FIX,FLIP) = FLIP
FLIP (FIX,NIF) = FLIP
FLIP (FIX,NTRU) = FLIP
FLIP (FIX,AND) = FLIP
FLIP (FIX,NIMP) = FLIP
FLIP (FIX,XOR) = FLIP
FLIP (FIX,IMP) = FLIP
FLIP (FIX,NAND) = FLIP
FLIP (FIX,TRU) = FLIP
FLIP (FIX,IF) = FLIP
FLIP (FIX,FIX) = FLIP
FLIP (FIX,LET) = FLIP
FLIP (FIX,NOR) = FLIP
FLIP (LET,LEQ) = DENY
FLIP (LET,OR) = DENY
FLIP (LET,DENY) = DENY
FLIP (LET,FLIP) = DENY
FLIP (LET,NIF) = DENY
FLIP (LET,NTRU) = DENY
FLIP (LET,AND) = DENY
FLIP (LET,NIMP) = DENY
FLIP (LET,XOR) = DENY
FLIP (LET,IMP) = DENY
FLIP (LET,NAND) = DENY
FLIP (LET,TRU) = DENY
FLIP (LET,IF) = DENY
FLIP (LET,FIX) = DENY
FLIP (LET,LET) = DENY
FLIP (LET,NOR) = DENY
FLIP (NOR,LEQ) = OR
FLIP (NOR,OR) = OR
FLIP (NOR,DENY) = OR
FLIP (NOR,FLIP) = OR
FLIP (NOR,NIF) = OR
FLIP (NOR,NTRU) = OR
FLIP (NOR,AND) = OR
FLIP (NOR,NIMP) = OR
FLIP (NOR,XOR) = OR
FLIP (NOR,IMP) = OR
FLIP (NOR,NAND) = OR
FLIP (NOR,TRU) = OR
FLIP (NOR,IF) = OR
FLIP (NOR,FIX) = OR
FLIP (NOR,LET) = OR
FLIP (NOR,NOR) = OR
NIF (LEQ,LEQ) = NTRU
NIF (LEQ,OR) = XOR
NIF (LEQ,DENY) = NIMP
NIF (LEQ,FLIP) = NIF
NIF (LEQ,NIF) = NIF
NIF (LEQ,NTRU) = NTRU
NIF (LEQ,AND) = NTRU
NIF (LEQ,NIMP) = NIMP
NIF (LEQ,XOR) = XOR
NIF (LEQ,IMP) = NIF
NIF (LEQ,NAND) = XOR
NIF (LEQ,TRU) = XOR
NIF (LEQ,IF) = NIMP
NIF (LEQ,FIX) = NIMP
NIF (LEQ,LET) = NIF
NIF (LEQ,NOR) = NTRU
NIF (OR,LEQ) = NOR
NIF (OR,OR) = NTRU
NIF (OR,DENY) = NOR
NIF (OR,FLIP) = NOR
NIF (OR,NIF) = NTRU
NIF (OR,NTRU) = NTRU
NIF (OR,AND) = NTRU
NIF (OR,NIMP) = NTRU
NIF (OR,XOR) = NTRU
NIF (OR,IMP) = NOR
NIF (OR,NAND) = NOR
NIF (OR,TRU) = NOR
NIF (OR,IF) = NOR
NIF (OR,FIX) = NTRU
NIF (OR,LET) = NTRU
NIF (OR,NOR) = NOR
NIF (DENY,LEQ) = AND
NIF (DENY,OR) = LET
NIF (DENY,DENY) = NTRU
NIF (DENY,FLIP) = NIF
NIF (DENY,NIF) = NIF
NIF (DENY,NTRU) = NTRU
NIF (DENY,AND) = AND
NIF (DENY,NIMP) = NTRU
NIF (DENY,XOR) = NIF
NIF (DENY,IMP) = LET
NIF (DENY,NAND) = NIF
NIF (DENY,TRU) = LET
NIF (DENY,IF) = AND
NIF (DENY,FIX) = AND
NIF (DENY,LET) = LET
NIF (DENY,NOR) = NTRU
NIF (FLIP,LEQ) = AND
NIF (FLIP,OR) = FIX
NIF (FLIP,DENY) = NIMP
NIF (FLIP,FLIP) = NTRU
NIF (FLIP,NIF) = NTRU
NIF (FLIP,NTRU) = NTRU
NIF (FLIP,AND) = AND
NIF (FLIP,NIMP) = NIMP
NIF (FLIP,XOR) = NIMP
NIF (FLIP,IMP) = AND
NIF (FLIP,NAND) = NIMP
NIF (FLIP,TRU) = FIX
NIF (FLIP,IF) = FIX
NIF (FLIP,FIX) = FIX
NIF (FLIP,LET) = AND
NIF (FLIP,NOR) = NTRU
NIF (NIF,LEQ) = LEQ
NIF (NIF,OR) = FIX
NIF (NIF,DENY) = DENY
NIF (NIF,FLIP) = NOR
NIF (NIF,NIF) = NTRU
NIF (NIF,NTRU) = NTRU
NIF (NIF,AND) = AND
NIF (NIF,NIMP) = NIMP
NIF (NIF,XOR) = NIMP
NIF (NIF,IMP) = LEQ
NIF (NIF,NAND) = DENY
NIF (NIF,TRU) = IF
NIF (NIF,IF) = IF
NIF (NIF,FIX) = FIX
NIF (NIF,LET) = AND
NIF (NIF,NOR) = NOR
NIF (NTRU,LEQ) = LEQ
NIF (NTRU,OR) = OR
NIF (NTRU,DENY) = DENY
NIF (NTRU,FLIP) = FLIP
NIF (NTRU,NIF) = NIF
NIF (NTRU,NTRU) = NTRU
NIF (NTRU,AND) = AND
NIF (NTRU,NIMP) = NIMP
NIF (NTRU,XOR) = XOR
NIF (NTRU,IMP) = IMP
NIF (NTRU,NAND) = NAND
NIF (NTRU,TRU) = TRU
NIF (NTRU,IF) = IF
NIF (NTRU,FIX) = FIX
NIF (NTRU,LET) = LET
NIF (NTRU,NOR) = NOR
NIF (AND,LEQ) = NOR
NIF (AND,OR) = XOR
NIF (AND,DENY) = DENY
NIF (AND,FLIP) = FLIP
NIF (AND,NIF) = NIF
NIF (AND,NTRU) = NTRU
NIF (AND,AND) = NTRU
NIF (AND,NIMP) = NIMP
NIF (AND,XOR) = XOR
NIF (AND,IMP) = FLIP
NIF (AND,NAND) = NAND
NIF (AND,TRU) = NAND
NIF (AND,IF) = DENY
NIF (AND,FIX) = NIMP
NIF (AND,LET) = NIF
NIF (AND,NOR) = NOR
NIF (NIMP,LEQ) = LEQ
NIF (NIMP,OR) = LET
NIF (NIMP,DENY) = NOR
NIF (NIMP,FLIP) = FLIP
NIF (NIMP,NIF) = NIF
NIF (NIMP,NTRU) = NTRU
NIF (NIMP,AND) = AND
NIF (NIMP,NIMP) = NTRU
NIF (NIMP,XOR) = NIF
NIF (NIMP,IMP) = IMP
NIF (NIMP,NAND) = FLIP
NIF (NIMP,TRU) = IMP
NIF (NIMP,IF) = LEQ
NIF (NIMP,FIX) = AND
NIF (NIMP,LET) = LET
NIF (NIMP,NOR) = NOR
NIF (XOR,LEQ) = LEQ
NIF (XOR,OR) = AND
NIF (XOR,DENY) = NOR
NIF (XOR,FLIP) = NOR
NIF (XOR,NIF) = NTRU
NIF (XOR,NTRU) = NTRU
NIF (XOR,AND) = AND
NIF (XOR,NIMP) = NTRU
NIF (XOR,XOR) = NTRU
NIF (XOR,IMP) = LEQ
NIF (XOR,NAND) = NOR
NIF (XOR,TRU) = LEQ
NIF (XOR,IF) = LEQ
NIF (XOR,FIX) = AND
NIF (XOR,LET) = AND
NIF (XOR,NOR) = NOR
NIF (IMP,LEQ) = NTRU
NIF (IMP,OR) = NIMP
NIF (IMP,DENY) = NIMP
NIF (IMP,FLIP) = NTRU
NIF (IMP,NIF) = NTRU
NIF (IMP,NTRU) = NTRU
NIF (IMP,AND) = NTRU
NIF (IMP,NIMP) = NIMP
NIF (IMP,XOR) = NIMP
NIF (IMP,IMP) = NTRU
NIF (IMP,NAND) = NIMP
NIF (IMP,TRU) = NIMP
NIF (IMP,IF) = NIMP
NIF (IMP,FIX) = NIMP
NIF (IMP,LET) = NTRU
NIF (IMP,NOR) = NTRU
NIF (NAND,LEQ) = AND
NIF (NAND,OR) = AND
NIF (NAND,DENY) = NTRU
NIF (NAND,FLIP) = NTRU
NIF (NAND,NIF) = NTRU
NIF (NAND,NTRU) = NTRU
NIF (NAND,AND) = AND
NIF (NAND,NIMP) = NTRU
NIF (NAND,XOR) = NTRU
NIF (NAND,IMP) = AND
NIF (NAND,NAND) = NTRU
NIF (NAND,TRU) = AND
NIF (NAND,IF) = AND
NIF (NAND,FIX) = AND
NIF (NAND,LET) = AND
NIF (NAND,NOR) = NTRU
NIF (TRU,LEQ) = NTRU
NIF (TRU,OR) = NTRU
NIF (TRU,DENY) = NTRU
NIF (TRU,FLIP) = NTRU
NIF (TRU,NIF) = NTRU
NIF (TRU,NTRU) = NTRU
NIF (TRU,AND) = NTRU
NIF (TRU,NIMP) = NTRU
NIF (TRU,XOR) = NTRU
NIF (TRU,IMP) = NTRU
NIF (TRU,NAND) = NTRU
NIF (TRU,TRU) = NTRU
NIF (TRU,IF) = NTRU
NIF (TRU,FIX) = NTRU
NIF (TRU,LET) = NTRU
NIF (TRU,NOR) = NTRU
NIF (IF,LEQ) = NTRU
NIF (IF,OR) = NIF
NIF (IF,DENY) = NTRU
NIF (IF,FLIP) = NIF
NIF (IF,NIF) = NIF
NIF (IF,NTRU) = NTRU
NIF (IF,AND) = NTRU
NIF (IF,NIMP) = NTRU
NIF (IF,XOR) = NIF
NIF (IF,IMP) = NIF
NIF (IF,NAND) = NIF
NIF (IF,TRU) = NIF
NIF (IF,IF) = NTRU
NIF (IF,FIX) = NTRU
NIF (IF,LET) = NIF
NIF (IF,NOR) = NTRU
NIF (FIX,LEQ) = NOR
NIF (FIX,OR) = NIF
NIF (FIX,DENY) = NOR
NIF (FIX,FLIP) = FLIP
NIF (FIX,NIF) = NIF
NIF (FIX,NTRU) = NTRU
NIF (FIX,AND) = NTRU
NIF (FIX,NIMP) = NTRU
NIF (FIX,XOR) = NIF
NIF (FIX,IMP) = FLIP
NIF (FIX,NAND) = FLIP
NIF (FIX,TRU) = FLIP
NIF (FIX,IF) = NOR
NIF (FIX,FIX) = NTRU
NIF (FIX,LET) = NIF
NIF (FIX,NOR) = NOR
NIF (LET,LEQ) = NOR
NIF (LET,OR) = NIMP
NIF (LET,DENY) = DENY
NIF (LET,FLIP) = NOR
NIF (LET,NIF) = NTRU
NIF (LET,NTRU) = NTRU
NIF (LET,AND) = NTRU
NIF (LET,NIMP) = NIMP
NIF (LET,XOR) = NIMP
NIF (LET,IMP) = NOR
NIF (LET,NAND) = DENY
NIF (LET,TRU) = DENY
NIF (LET,IF) = DENY
NIF (LET,FIX) = NIMP
NIF (LET,LET) = NTRU
NIF (LET,NOR) = NOR
NIF (NOR,LEQ) = AND
NIF (NOR,OR) = OR
NIF (NOR,DENY) = NIMP
NIF (NOR,FLIP) = NIF
NIF (NOR,NIF) = NIF
NIF (NOR,NTRU) = NTRU
NIF (NOR,AND) = AND
NIF (NOR,NIMP) = NIMP
NIF (NOR,XOR) = XOR
NIF (NOR,IMP) = LET
NIF (NOR,NAND) = XOR
NIF (NOR,TRU) = OR
NIF (NOR,IF) = FIX
NIF (NOR,FIX) = FIX
NIF (NOR,LET) = LET
NIF (NOR,NOR) = NTRU
NTRU (LEQ,LEQ) = NTRU
NTRU (LEQ,OR) = NTRU
NTRU (LEQ,DENY) = NTRU
NTRU (LEQ,FLIP) = NTRU
NTRU (LEQ,NIF) = NTRU
NTRU (LEQ,NTRU) = NTRU
NTRU (LEQ,AND) = NTRU
NTRU (LEQ,NIMP) = NTRU
NTRU (LEQ,XOR) = NTRU
NTRU (LEQ,IMP) = NTRU
NTRU (LEQ,NAND) = NTRU
NTRU (LEQ,TRU) = NTRU
NTRU (LEQ,IF) = NTRU
NTRU (LEQ,FIX) = NTRU
NTRU (LEQ,LET) = NTRU
NTRU (LEQ,NOR) = NTRU
NTRU (OR,LEQ) = NTRU
NTRU (OR,OR) = NTRU
NTRU (OR,DENY) = NTRU
NTRU (OR,FLIP) = NTRU
NTRU (OR,NIF) = NTRU
NTRU (OR,NTRU) = NTRU
NTRU (OR,AND) = NTRU
NTRU (OR,NIMP) = NTRU
NTRU (OR,XOR) = NTRU
NTRU (OR,IMP) = NTRU
NTRU (OR,NAND) = NTRU
NTRU (OR,TRU) = NTRU
NTRU (OR,IF) = NTRU
NTRU (OR,FIX) = NTRU
NTRU (OR,LET) = NTRU
NTRU (OR,NOR) = NTRU
NTRU (DENY,LEQ) = NTRU
NTRU (DENY,OR) = NTRU
NTRU (DENY,DENY) = NTRU
NTRU (DENY,FLIP) = NTRU
NTRU (DENY,NIF) = NTRU
NTRU (DENY,NTRU) = NTRU
NTRU (DENY,AND) = NTRU
NTRU (DENY,NIMP) = NTRU
NTRU (DENY,XOR) = NTRU
NTRU (DENY,IMP) = NTRU
NTRU (DENY,NAND) = NTRU
NTRU (DENY,TRU) = NTRU
NTRU (DENY,IF) = NTRU
NTRU (DENY,FIX) = NTRU
NTRU (DENY,LET) = NTRU
NTRU (DENY,NOR) = NTRU
NTRU (FLIP,LEQ) = NTRU
NTRU (FLIP,OR) = NTRU
NTRU (FLIP,DENY) = NTRU
NTRU (FLIP,FLIP) = NTRU
NTRU (FLIP,NIF) = NTRU
NTRU (FLIP,NTRU) = NTRU
NTRU (FLIP,AND) = NTRU
NTRU (FLIP,NIMP) = NTRU
NTRU (FLIP,XOR) = NTRU
NTRU (FLIP,IMP) = NTRU
NTRU (FLIP,NAND) = NTRU
NTRU (FLIP,TRU) = NTRU
NTRU (FLIP,IF) = NTRU
NTRU (FLIP,FIX) = NTRU
NTRU (FLIP,LET) = NTRU
NTRU (FLIP,NOR) = NTRU
NTRU (NIF,LEQ) = NTRU
NTRU (NIF,OR) = NTRU
NTRU (NIF,DENY) = NTRU
NTRU (NIF,FLIP) = NTRU
NTRU (NIF,NIF) = NTRU
NTRU (NIF,NTRU) = NTRU
NTRU (NIF,AND) = NTRU
NTRU (NIF,NIMP) = NTRU
NTRU (NIF,XOR) = NTRU
NTRU (NIF,IMP) = NTRU
NTRU (NIF,NAND) = NTRU
NTRU (NIF,TRU) = NTRU
NTRU (NIF,IF) = NTRU
NTRU (NIF,FIX) = NTRU
NTRU (NIF,LET) = NTRU
NTRU (NIF,NOR) = NTRU
NTRU (NTRU,LEQ) = NTRU
NTRU (NTRU,OR) = NTRU
NTRU (NTRU,DENY) = NTRU
NTRU (NTRU,FLIP) = NTRU
NTRU (NTRU,NIF) = NTRU
NTRU (NTRU,NTRU) = NTRU
NTRU (NTRU,AND) = NTRU
NTRU (NTRU,NIMP) = NTRU
NTRU (NTRU,XOR) = NTRU
NTRU (NTRU,IMP) = NTRU
NTRU (NTRU,NAND) = NTRU
NTRU (NTRU,TRU) = NTRU
NTRU (NTRU,IF) = NTRU
NTRU (NTRU,FIX) = NTRU
NTRU (NTRU,LET) = NTRU
NTRU (NTRU,NOR) = NTRU
NTRU (AND,LEQ) = NTRU
NTRU (AND,OR) = NTRU
NTRU (AND,DENY) = NTRU
NTRU (AND,FLIP) = NTRU
NTRU (AND,NIF) = NTRU
NTRU (AND,NTRU) = NTRU
NTRU (AND,AND) = NTRU
NTRU (AND,NIMP) = NTRU
NTRU (AND,XOR) = NTRU
NTRU (AND,IMP) = NTRU
NTRU (AND,NAND) = NTRU
NTRU (AND,TRU) = NTRU
NTRU (AND,IF) = NTRU
NTRU (AND,FIX) = NTRU
NTRU (AND,LET) = NTRU
NTRU (AND,NOR) = NTRU
NTRU (NIMP,LEQ) = NTRU
NTRU (NIMP,OR) = NTRU
NTRU (NIMP,DENY) = NTRU
NTRU (NIMP,FLIP) = NTRU
NTRU (NIMP,NIF) = NTRU
NTRU (NIMP,NTRU) = NTRU
NTRU (NIMP,AND) = NTRU
NTRU (NIMP,NIMP) = NTRU
NTRU (NIMP,XOR) = NTRU
NTRU (NIMP,IMP) = NTRU
NTRU (NIMP,NAND) = NTRU
NTRU (NIMP,TRU) = NTRU
NTRU (NIMP,IF) = NTRU
NTRU (NIMP,FIX) = NTRU
NTRU (NIMP,LET) = NTRU
NTRU (NIMP,NOR) = NTRU
NTRU (XOR,LEQ) = NTRU
NTRU (XOR,OR) = NTRU
NTRU (XOR,DENY) = NTRU
NTRU (XOR,FLIP) = NTRU
NTRU (XOR,NIF) = NTRU
NTRU (XOR,NTRU) = NTRU
NTRU (XOR,AND) = NTRU
NTRU (XOR,NIMP) = NTRU
NTRU (XOR,XOR) = NTRU
NTRU (XOR,IMP) = NTRU
NTRU (XOR,NAND) = NTRU
NTRU (XOR,TRU) = NTRU
NTRU (XOR,IF) = NTRU
NTRU (XOR,FIX) = NTRU
NTRU (XOR,LET) = NTRU
NTRU (XOR,NOR) = NTRU
NTRU (IMP,LEQ) = NTRU
NTRU (IMP,OR) = NTRU
NTRU (IMP,DENY) = NTRU
NTRU (IMP,FLIP) = NTRU
NTRU (IMP,NIF) = NTRU
NTRU (IMP,NTRU) = NTRU
NTRU (IMP,AND) = NTRU
NTRU (IMP,NIMP) = NTRU
NTRU (IMP,XOR) = NTRU
NTRU (IMP,IMP) = NTRU
NTRU (IMP,NAND) = NTRU
NTRU (IMP,TRU) = NTRU
NTRU (IMP,IF) = NTRU
NTRU (IMP,FIX) = NTRU
NTRU (IMP,LET) = NTRU
NTRU (IMP,NOR) = NTRU
NTRU (NAND,LEQ) = NTRU
NTRU (NAND,OR) = NTRU
NTRU (NAND,DENY) = NTRU
NTRU (NAND,FLIP) = NTRU
NTRU (NAND,NIF) = NTRU
NTRU (NAND,NTRU) = NTRU
NTRU (NAND,AND) = NTRU
NTRU (NAND,NIMP) = NTRU
NTRU (NAND,XOR) = NTRU
NTRU (NAND,IMP) = NTRU
NTRU (NAND,NAND) = NTRU
NTRU (NAND,TRU) = NTRU
NTRU (NAND,IF) = NTRU
NTRU (NAND,FIX) = NTRU
NTRU (NAND,LET) = NTRU
NTRU (NAND,NOR) = NTRU
NTRU (TRU,LEQ) = NTRU
NTRU (TRU,OR) = NTRU
NTRU (TRU,DENY) = NTRU
NTRU (TRU,FLIP) = NTRU
NTRU (TRU,NIF) = NTRU
NTRU (TRU,NTRU) = NTRU
NTRU (TRU,AND) = NTRU
NTRU (TRU,NIMP) = NTRU
NTRU (TRU,XOR) = NTRU
NTRU (TRU,IMP) = NTRU
NTRU (TRU,NAND) = NTRU
NTRU (TRU,TRU) = NTRU
NTRU (TRU,IF) = NTRU
NTRU (TRU,FIX) = NTRU
NTRU (TRU,LET) = NTRU
NTRU (TRU,NOR) = NTRU
NTRU (IF,LEQ) = NTRU
NTRU (IF,OR) = NTRU
NTRU (IF,DENY) = NTRU
NTRU (IF,FLIP) = NTRU
NTRU (IF,NIF) = NTRU
NTRU (IF,NTRU) = NTRU
NTRU (IF,AND) = NTRU
NTRU (IF,NIMP) = NTRU
NTRU (IF,XOR) = NTRU
NTRU (IF,IMP) = NTRU
NTRU (IF,NAND) = NTRU
NTRU (IF,TRU) = NTRU
NTRU (IF,IF) = NTRU
NTRU (IF,FIX) = NTRU
NTRU (IF,LET) = NTRU
NTRU (IF,NOR) = NTRU
NTRU (FIX,LEQ) = NTRU
NTRU (FIX,OR) = NTRU
NTRU (FIX,DENY) = NTRU
NTRU (FIX,FLIP) = NTRU
NTRU (FIX,NIF) = NTRU
NTRU (FIX,NTRU) = NTRU
NTRU (FIX,AND) = NTRU
NTRU (FIX,NIMP) = NTRU
NTRU (FIX,XOR) = NTRU
NTRU (FIX,IMP) = NTRU
NTRU (FIX,NAND) = NTRU
NTRU (FIX,TRU) = NTRU
NTRU (FIX,IF) = NTRU
NTRU (FIX,FIX) = NTRU
NTRU (FIX,LET) = NTRU
NTRU (FIX,NOR) = NTRU
NTRU (LET,LEQ) = NTRU
NTRU (LET,OR) = NTRU
NTRU (LET,DENY) = NTRU
NTRU (LET,FLIP) = NTRU
NTRU (LET,NIF) = NTRU
NTRU (LET,NTRU) = NTRU
NTRU (LET,AND) = NTRU
NTRU (LET,NIMP) = NTRU
NTRU (LET,XOR) = NTRU
NTRU (LET,IMP) = NTRU
NTRU (LET,NAND) = NTRU
NTRU (LET,TRU) = NTRU
NTRU (LET,IF) = NTRU
NTRU (LET,FIX) = NTRU
NTRU (LET,LET) = NTRU
NTRU (LET,NOR) = NTRU
NTRU (NOR,LEQ) = NTRU
NTRU (NOR,OR) = NTRU
NTRU (NOR,DENY) = NTRU
NTRU (NOR,FLIP) = NTRU
NTRU (NOR,NIF) = NTRU
NTRU (NOR,NTRU) = NTRU
NTRU (NOR,AND) = NTRU
NTRU (NOR,NIMP) = NTRU
NTRU (NOR,XOR) = NTRU
NTRU (NOR,IMP) = NTRU
NTRU (NOR,NAND) = NTRU
NTRU (NOR,TRU) = NTRU
NTRU (NOR,IF) = NTRU
NTRU (NOR,FIX) = NTRU
NTRU (NOR,LET) = NTRU
NTRU (NOR,NOR) = NTRU
AND (LEQ,LEQ) = LEQ
AND (LEQ,OR) = AND
AND (LEQ,DENY) = NOR
AND (LEQ,FLIP) = NOR
AND (LEQ,NIF) = NTRU
AND (LEQ,NTRU) = NTRU
AND (LEQ,AND) = AND
AND (LEQ,NIMP) = NTRU
AND (LEQ,XOR) = NTRU
AND (LEQ,IMP) = LEQ
AND (LEQ,NAND) = NOR
AND (LEQ,TRU) = LEQ
AND (LEQ,IF) = LEQ
AND (LEQ,FIX) = AND
AND (LEQ,LET) = AND
AND (LEQ,NOR) = NOR
AND (OR,LEQ) = AND
AND (OR,OR) = OR
AND (OR,DENY) = NIMP
AND (OR,FLIP) = NIF
AND (OR,NIF) = NIF
AND (OR,NTRU) = NTRU
AND (OR,AND) = AND
AND (OR,NIMP) = NIMP
AND (OR,XOR) = XOR
AND (OR,IMP) = LET
AND (OR,NAND) = XOR
AND (OR,TRU) = OR
AND (OR,IF) = FIX
AND (OR,FIX) = FIX
AND (OR,LET) = LET
AND (OR,NOR) = NTRU
AND (DENY,LEQ) = NOR
AND (DENY,OR) = NIMP
AND (DENY,DENY) = DENY
AND (DENY,FLIP) = NOR
AND (DENY,NIF) = NTRU
AND (DENY,NTRU) = NTRU
AND (DENY,AND) = NTRU
AND (DENY,NIMP) = NIMP
AND (DENY,XOR) = NIMP
AND (DENY,IMP) = NOR
AND (DENY,NAND) = DENY
AND (DENY,TRU) = DENY
AND (DENY,IF) = DENY
AND (DENY,FIX) = NIMP
AND (DENY,LET) = NTRU
AND (DENY,NOR) = NOR
AND (FLIP,LEQ) = NOR
AND (FLIP,OR) = NIF
AND (FLIP,DENY) = NOR
AND (FLIP,FLIP) = FLIP
AND (FLIP,NIF) = NIF
AND (FLIP,NTRU) = NTRU
AND (FLIP,AND) = NTRU
AND (FLIP,NIMP) = NTRU
AND (FLIP,XOR) = NIF
AND (FLIP,IMP) = FLIP
AND (FLIP,NAND) = FLIP
AND (FLIP,TRU) = FLIP
AND (FLIP,IF) = NOR
AND (FLIP,FIX) = NTRU
AND (FLIP,LET) = NIF
AND (FLIP,NOR) = NOR
AND (NIF,LEQ) = NTRU
AND (NIF,OR) = NIF
AND (NIF,DENY) = NTRU
AND (NIF,FLIP) = NIF
AND (NIF,NIF) = NIF
AND (NIF,NTRU) = NTRU
AND (NIF,AND) = NTRU
AND (NIF,NIMP) = NTRU
AND (NIF,XOR) = NIF
AND (NIF,IMP) = NIF
AND (NIF,NAND) = NIF
AND (NIF,TRU) = NIF
AND (NIF,IF) = NTRU
AND (NIF,FIX) = NTRU
AND (NIF,LET) = NIF
AND (NIF,NOR) = NTRU
AND (NTRU,LEQ) = NTRU
AND (NTRU,OR) = NTRU
AND (NTRU,DENY) = NTRU
AND (NTRU,FLIP) = NTRU
AND (NTRU,NIF) = NTRU
AND (NTRU,NTRU) = NTRU
AND (NTRU,AND) = NTRU
AND (NTRU,NIMP) = NTRU
AND (NTRU,XOR) = NTRU
AND (NTRU,IMP) = NTRU
AND (NTRU,NAND) = NTRU
AND (NTRU,TRU) = NTRU
AND (NTRU,IF) = NTRU
AND (NTRU,FIX) = NTRU
AND (NTRU,LET) = NTRU
AND (NTRU,NOR) = NTRU
AND (AND,LEQ) = AND
AND (AND,OR) = AND
AND (AND,DENY) = NTRU
AND (AND,FLIP) = NTRU
AND (AND,NIF) = NTRU
AND (AND,NTRU) = NTRU
AND (AND,AND) = AND
AND (AND,NIMP) = NTRU
AND (AND,XOR) = NTRU
AND (AND,IMP) = AND
AND (AND,NAND) = NTRU
AND (AND,TRU) = AND
AND (AND,IF) = AND
AND (AND,FIX) = AND
AND (AND,LET) = AND
AND (AND,NOR) = NTRU
AND (NIMP,LEQ) = NTRU
AND (NIMP,OR) = NIMP
AND (NIMP,DENY) = NIMP
AND (NIMP,FLIP) = NTRU
AND (NIMP,NIF) = NTRU
AND (NIMP,NTRU) = NTRU
AND (NIMP,AND) = NTRU
AND (NIMP,NIMP) = NIMP
AND (NIMP,XOR) = NIMP
AND (NIMP,IMP) = NTRU
AND (NIMP,NAND) = NIMP
AND (NIMP,TRU) = NIMP
AND (NIMP,IF) = NIMP
AND (NIMP,FIX) = NIMP
AND (NIMP,LET) = NTRU
AND (NIMP,NOR) = NTRU
AND (XOR,LEQ) = NTRU
AND (XOR,OR) = XOR
AND (XOR,DENY) = NIMP
AND (XOR,FLIP) = NIF
AND (XOR,NIF) = NIF
AND (XOR,NTRU) = NTRU
AND (XOR,AND) = NTRU
AND (XOR,NIMP) = NIMP
AND (XOR,XOR) = XOR
AND (XOR,IMP) = NIF
AND (XOR,NAND) = XOR
AND (XOR,TRU) = XOR
AND (XOR,IF) = NIMP
AND (XOR,FIX) = NIMP
AND (XOR,LET) = NIF
AND (XOR,NOR) = NTRU
AND (IMP,LEQ) = LEQ
AND (IMP,OR) = LET
AND (IMP,DENY) = NOR
AND (IMP,FLIP) = FLIP
AND (IMP,NIF) = NIF
AND (IMP,NTRU) = NTRU
AND (IMP,AND) = AND
AND (IMP,NIMP) = NTRU
AND (IMP,XOR) = NIF
AND (IMP,IMP) = IMP
AND (IMP,NAND) = FLIP
AND (IMP,TRU) = IMP
AND (IMP,IF) = LEQ
AND (IMP,FIX) = AND
AND (IMP,LET) = LET
AND (IMP,NOR) = NOR
AND (NAND,LEQ) = NOR
AND (NAND,OR) = XOR
AND (NAND,DENY) = DENY
AND (NAND,FLIP) = FLIP
AND (NAND,NIF) = NIF
AND (NAND,NTRU) = NTRU
AND (NAND,AND) = NTRU
AND (NAND,NIMP) = NIMP
AND (NAND,XOR) = XOR
AND (NAND,IMP) = FLIP
AND (NAND,NAND) = NAND
AND (NAND,TRU) = NAND
AND (NAND,IF) = DENY
AND (NAND,FIX) = NIMP
AND (NAND,LET) = NIF
AND (NAND,NOR) = NOR
AND (TRU,LEQ) = LEQ
AND (TRU,OR) = OR
AND (TRU,DENY) = DENY
AND (TRU,FLIP) = FLIP
AND (TRU,NIF) = NIF
AND (TRU,NTRU) = NTRU
AND (TRU,AND) = AND
AND (TRU,NIMP) = NIMP
AND (TRU,XOR) = XOR
AND (TRU,IMP) = IMP
AND (TRU,NAND) = NAND
AND (TRU,TRU) = TRU
AND (TRU,IF) = IF
AND (TRU,FIX) = FIX
AND (TRU,LET) = LET
AND (TRU,NOR) = NOR
AND (IF,LEQ) = LEQ
AND (IF,OR) = FIX
AND (IF,DENY) = DENY
AND (IF,FLIP) = NOR
AND (IF,NIF) = NTRU
AND (IF,NTRU) = NTRU
AND (IF,AND) = AND
AND (IF,NIMP) = NIMP
AND (IF,XOR) = NIMP
AND (IF,IMP) = LEQ
AND (IF,NAND) = DENY
AND (IF,TRU) = IF
AND (IF,IF) = IF
AND (IF,FIX) = FIX
AND (IF,LET) = AND
AND (IF,NOR) = NOR
AND (FIX,LEQ) = AND
AND (FIX,OR) = FIX
AND (FIX,DENY) = NIMP
AND (FIX,FLIP) = NTRU
AND (FIX,NIF) = NTRU
AND (FIX,NTRU) = NTRU
AND (FIX,AND) = AND
AND (FIX,NIMP) = NIMP
AND (FIX,XOR) = NIMP
AND (FIX,IMP) = AND
AND (FIX,NAND) = NIMP
AND (FIX,TRU) = FIX
AND (FIX,IF) = FIX
AND (FIX,FIX) = FIX
AND (FIX,LET) = AND
AND (FIX,NOR) = NTRU
AND (LET,LEQ) = AND
AND (LET,OR) = LET
AND (LET,DENY) = NTRU
AND (LET,FLIP) = NIF
AND (LET,NIF) = NIF
AND (LET,NTRU) = NTRU
AND (LET,AND) = AND
AND (LET,NIMP) = NTRU
AND (LET,XOR) = NIF
AND (LET,IMP) = LET
AND (LET,NAND) = NIF
AND (LET,TRU) = LET
AND (LET,IF) = AND
AND (LET,FIX) = AND
AND (LET,LET) = LET
AND (LET,NOR) = NTRU
AND (NOR,LEQ) = NOR
AND (NOR,OR) = NTRU
AND (NOR,DENY) = NOR
AND (NOR,FLIP) = NOR
AND (NOR,NIF) = NTRU
AND (NOR,NTRU) = NTRU
AND (NOR,AND) = NTRU
AND (NOR,NIMP) = NTRU
AND (NOR,XOR) = NTRU
AND (NOR,IMP) = NOR
AND (NOR,NAND) = NOR
AND (NOR,TRU) = NOR
AND (NOR,IF) = NOR
AND (NOR,FIX) = NTRU
AND (NOR,LET) = NTRU
AND (NOR,NOR) = NOR
NIMP (LEQ,LEQ) = NTRU
NIMP (LEQ,OR) = NOR
NIMP (LEQ,DENY) = AND
NIMP (LEQ,FLIP) = AND
NIMP (LEQ,NIF) = LEQ
NIMP (LEQ,NTRU) = LEQ
NIMP (LEQ,AND) = NOR
NIMP (LEQ,NIMP) = LEQ
NIMP (LEQ,XOR) = LEQ
NIMP (LEQ,IMP) = NTRU
NIMP (LEQ,NAND) = AND
NIMP (LEQ,TRU) = NTRU
NIMP (LEQ,IF) = NTRU
NIMP (LEQ,FIX) = NOR
NIMP (LEQ,LET) = NOR
NIMP (LEQ,NOR) = AND
NIMP (OR,LEQ) = XOR
NIMP (OR,OR) = NTRU
NIMP (OR,DENY) = LET
NIMP (OR,FLIP) = FIX
NIMP (OR,NIF) = FIX
NIMP (OR,NTRU) = OR
NIMP (OR,AND) = XOR
NIMP (OR,NIMP) = LET
NIMP (OR,XOR) = AND
NIMP (OR,IMP) = NIMP
NIMP (OR,NAND) = AND
NIMP (OR,TRU) = NTRU
NIMP (OR,IF) = NIF
NIMP (OR,FIX) = NIF
NIMP (OR,LET) = NIMP
NIMP (OR,NOR) = OR
NIMP (DENY,LEQ) = NIMP
NIMP (DENY,OR) = NOR
NIMP (DENY,DENY) = NTRU
NIMP (DENY,FLIP) = NIMP
NIMP (DENY,NIF) = DENY
NIMP (DENY,NTRU) = DENY
NIMP (DENY,AND) = DENY
NIMP (DENY,NIMP) = NOR
NIMP (DENY,XOR) = NOR
NIMP (DENY,IMP) = NIMP
NIMP (DENY,NAND) = NTRU
NIMP (DENY,TRU) = NTRU
NIMP (DENY,IF) = NTRU
NIMP (DENY,FIX) = NOR
NIMP (DENY,LET) = DENY
NIMP (DENY,NOR) = NIMP
NIMP (FLIP,LEQ) = NIF
NIMP (FLIP,OR) = NOR
NIMP (FLIP,DENY) = NIF
NIMP (FLIP,FLIP) = NTRU
NIMP (FLIP,NIF) = NOR
NIMP (FLIP,NTRU) = FLIP
NIMP (FLIP,AND) = FLIP
NIMP (FLIP,NIMP) = FLIP
NIMP (FLIP,XOR) = NOR
NIMP (FLIP,IMP) = NTRU
NIMP (FLIP,NAND) = NTRU
NIMP (FLIP,TRU) = NTRU
NIMP (FLIP,IF) = NIF
NIMP (FLIP,FIX) = FLIP
NIMP (FLIP,LET) = NOR
NIMP (FLIP,NOR) = NIF
NIMP (NIF,LEQ) = NIF
NIMP (NIF,OR) = NTRU
NIMP (NIF,DENY) = NIF
NIMP (NIF,FLIP) = NTRU
NIMP (NIF,NIF) = NTRU
NIMP (NIF,NTRU) = NIF
NIMP (NIF,AND) = NIF
NIMP (NIF,NIMP) = NIF
NIMP (NIF,XOR) = NTRU
NIMP (NIF,IMP) = NTRU
NIMP (NIF,NAND) = NTRU
NIMP (NIF,TRU) = NTRU
NIMP (NIF,IF) = NIF
NIMP (NIF,FIX) = NIF
NIMP (NIF,LET) = NTRU
NIMP (NIF,NOR) = NIF
NIMP (NTRU,LEQ) = NTRU
NIMP (NTRU,OR) = NTRU
NIMP (NTRU,DENY) = NTRU
NIMP (NTRU,FLIP) = NTRU
NIMP (NTRU,NIF) = NTRU
NIMP (NTRU,NTRU) = NTRU
NIMP (NTRU,AND) = NTRU
NIMP (NTRU,NIMP) = NTRU
NIMP (NTRU,XOR) = NTRU
NIMP (NTRU,IMP) = NTRU
NIMP (NTRU,NAND) = NTRU
NIMP (NTRU,TRU) = NTRU
NIMP (NTRU,IF) = NTRU
NIMP (NTRU,FIX) = NTRU
NIMP (NTRU,LET) = NTRU
NIMP (NTRU,NOR) = NTRU
NIMP (AND,LEQ) = NTRU
NIMP (AND,OR) = NTRU
NIMP (AND,DENY) = AND
NIMP (AND,FLIP) = AND
NIMP (AND,NIF) = AND
NIMP (AND,NTRU) = AND
NIMP (AND,AND) = NTRU
NIMP (AND,NIMP) = AND
NIMP (AND,XOR) = AND
NIMP (AND,IMP) = NTRU
NIMP (AND,NAND) = AND
NIMP (AND,TRU) = NTRU
NIMP (AND,IF) = NTRU
NIMP (AND,FIX) = NTRU
NIMP (AND,LET) = NTRU
NIMP (AND,NOR) = AND
NIMP (NIMP,LEQ) = NIMP
NIMP (NIMP,OR) = NTRU
NIMP (NIMP,DENY) = NTRU
NIMP (NIMP,FLIP) = NIMP
NIMP (NIMP,NIF) = NIMP
NIMP (NIMP,NTRU) = NIMP
NIMP (NIMP,AND) = NIMP
NIMP (NIMP,NIMP) = NTRU
NIMP (NIMP,XOR) = NTRU
NIMP (NIMP,IMP) = NIMP
NIMP (NIMP,NAND) = NTRU
NIMP (NIMP,TRU) = NTRU
NIMP (NIMP,IF) = NTRU
NIMP (NIMP,FIX) = NTRU
NIMP (NIMP,LET) = NIMP
NIMP (NIMP,NOR) = NIMP
NIMP (XOR,LEQ) = XOR
NIMP (XOR,OR) = NTRU
NIMP (XOR,DENY) = NIF
NIMP (XOR,FLIP) = NIMP
NIMP (XOR,NIF) = NIMP
NIMP (XOR,NTRU) = XOR
NIMP (XOR,AND) = XOR
NIMP (XOR,NIMP) = NIF
NIMP (XOR,XOR) = NTRU
NIMP (XOR,IMP) = NIMP
NIMP (XOR,NAND) = NTRU
NIMP (XOR,TRU) = NTRU
NIMP (XOR,IF) = NIF
NIMP (XOR,FIX) = NIF
NIMP (XOR,LET) = NIMP
NIMP (XOR,NOR) = XOR
NIMP (IMP,LEQ) = NIF
NIMP (IMP,OR) = NOR
NIMP (IMP,DENY) = LET
NIMP (IMP,FLIP) = AND
NIMP (IMP,NIF) = LEQ
NIMP (IMP,NTRU) = IMP
NIMP (IMP,AND) = FLIP
NIMP (IMP,NIMP) = IMP
NIMP (IMP,XOR) = LEQ
NIMP (IMP,IMP) = NTRU
NIMP (IMP,NAND) = AND
NIMP (IMP,TRU) = NTRU
NIMP (IMP,IF) = NIF
NIMP (IMP,FIX) = FLIP
NIMP (IMP,LET) = NOR
NIMP (IMP,NOR) = LET
NIMP (NAND,LEQ) = XOR
NIMP (NAND,OR) = NOR
NIMP (NAND,DENY) = NIF
NIMP (NAND,FLIP) = NIMP
NIMP (NAND,NIF) = DENY
NIMP (NAND,NTRU) = NAND
NIMP (NAND,AND) = NAND
NIMP (NAND,NIMP) = FLIP
NIMP (NAND,XOR) = NOR
NIMP (NAND,IMP) = NIMP
NIMP (NAND,NAND) = NTRU
NIMP (NAND,TRU) = NTRU
NIMP (NAND,IF) = NIF
NIMP (NAND,FIX) = FLIP
NIMP (NAND,LET) = DENY
NIMP (NAND,NOR) = XOR
NIMP (TRU,LEQ) = XOR
NIMP (TRU,OR) = NOR
NIMP (TRU,DENY) = LET
NIMP (TRU,FLIP) = FIX
NIMP (TRU,NIF) = IF
NIMP (TRU,NTRU) = TRU
NIMP (TRU,AND) = NAND
NIMP (TRU,NIMP) = IMP
NIMP (TRU,XOR) = LEQ
NIMP (TRU,IMP) = NIMP
NIMP (TRU,NAND) = AND
NIMP (TRU,TRU) = NTRU
NIMP (TRU,IF) = NIF
NIMP (TRU,FIX) = FLIP
NIMP (TRU,LET) = DENY
NIMP (TRU,NOR) = OR
NIMP (IF,LEQ) = NIMP
NIMP (IF,OR) = NOR
NIMP (IF,DENY) = AND
NIMP (IF,FLIP) = FIX
NIMP (IF,NIF) = IF
NIMP (IF,NTRU) = IF
NIMP (IF,AND) = DENY
NIMP (IF,NIMP) = LEQ
NIMP (IF,XOR) = LEQ
NIMP (IF,IMP) = NIMP
NIMP (IF,NAND) = AND
NIMP (IF,TRU) = NTRU
NIMP (IF,IF) = NTRU
NIMP (IF,FIX) = NOR
NIMP (IF,LET) = DENY
NIMP (IF,NOR) = FIX
NIMP (FIX,LEQ) = NIMP
NIMP (FIX,OR) = NTRU
NIMP (FIX,DENY) = AND
NIMP (FIX,FLIP) = FIX
NIMP (FIX,NIF) = FIX
NIMP (FIX,NTRU) = FIX
NIMP (FIX,AND) = NIMP
NIMP (FIX,NIMP) = AND
NIMP (FIX,XOR) = AND
NIMP (FIX,IMP) = NIMP
NIMP (FIX,NAND) = AND
NIMP (FIX,TRU) = NTRU
NIMP (FIX,IF) = NTRU
NIMP (FIX,FIX) = NTRU
NIMP (FIX,LET) = NIMP
NIMP (FIX,NOR) = FIX
NIMP (LET,LEQ) = NIF
NIMP (LET,OR) = NTRU
NIMP (LET,DENY) = LET
NIMP (LET,FLIP) = AND
NIMP (LET,NIF) = AND
NIMP (LET,NTRU) = LET
NIMP (LET,AND) = NIF
NIMP (LET,NIMP) = LET
NIMP (LET,XOR) = AND
NIMP (LET,IMP) = NTRU
NIMP (LET,NAND) = AND
NIMP (LET,TRU) = NTRU
NIMP (LET,IF) = NIF
NIMP (LET,FIX) = NIF
NIMP (LET,LET) = NTRU
NIMP (LET,NOR) = LET
NIMP (NOR,LEQ) = NTRU
NIMP (NOR,OR) = NOR
NIMP (NOR,DENY) = NTRU
NIMP (NOR,FLIP) = NTRU
NIMP (NOR,NIF) = NOR
NIMP (NOR,NTRU) = NOR
NIMP (NOR,AND) = NOR
NIMP (NOR,NIMP) = NOR
NIMP (NOR,XOR) = NOR
NIMP (NOR,IMP) = NTRU
NIMP (NOR,NAND) = NTRU
NIMP (NOR,TRU) = NTRU
NIMP (NOR,IF) = NTRU
NIMP (NOR,FIX) = NOR
NIMP (NOR,LET) = NOR
NIMP (NOR,NOR) = NTRU
XOR (LEQ,LEQ) = NTRU
XOR (LEQ,OR) = NAND
XOR (LEQ,DENY) = FIX
XOR (LEQ,FLIP) = LET
XOR (LEQ,NIF) = IMP
XOR (LEQ,NTRU) = LEQ
XOR (LEQ,AND) = NOR
XOR (LEQ,NIMP) = IF
XOR (LEQ,XOR) = TRU
XOR (LEQ,IMP) = NIF
XOR (LEQ,NAND) = OR
XOR (LEQ,TRU) = XOR
XOR (LEQ,IF) = NIMP
XOR (LEQ,FIX) = DENY
XOR (LEQ,LET) = FLIP
XOR (LEQ,NOR) = AND
XOR (OR,LEQ) = NAND
XOR (OR,OR) = NTRU
XOR (OR,DENY) = IMP
XOR (OR,FLIP) = IF
XOR (OR,NIF) = FIX
XOR (OR,NTRU) = OR
XOR (OR,AND) = XOR
XOR (OR,NIMP) = LET
XOR (OR,XOR) = AND
XOR (OR,IMP) = DENY
XOR (OR,NAND) = LEQ
XOR (OR,TRU) = NOR
XOR (OR,IF) = FLIP
XOR (OR,FIX) = NIF
XOR (OR,LET) = NIMP
XOR (OR,NOR) = TRU
XOR (DENY,LEQ) = FIX
XOR (DENY,OR) = IMP
XOR (DENY,DENY) = NTRU
XOR (DENY,FLIP) = XOR
XOR (DENY,NIF) = NAND
XOR (DENY,NTRU) = DENY
XOR (DENY,AND) = IF
XOR (DENY,NIMP) = NOR
XOR (DENY,XOR) = FLIP
XOR (DENY,IMP) = OR
XOR (DENY,NAND) = NIF
XOR (DENY,TRU) = LET
XOR (DENY,IF) = AND
XOR (DENY,FIX) = LEQ
XOR (DENY,LET) = TRU
XOR (DENY,NOR) = NIMP
XOR (FLIP,LEQ) = LET
XOR (FLIP,OR) = IF
XOR (FLIP,DENY) = XOR
XOR (FLIP,FLIP) = NTRU
XOR (FLIP,NIF) = NOR
XOR (FLIP,NTRU) = FLIP
XOR (FLIP,AND) = IMP
XOR (FLIP,NIMP) = NAND
XOR (FLIP,XOR) = DENY
XOR (FLIP,IMP) = AND
XOR (FLIP,NAND) = NIMP
XOR (FLIP,TRU) = FIX
XOR (FLIP,IF) = OR
XOR (FLIP,FIX) = TRU
XOR (FLIP,LET) = LEQ
XOR (FLIP,NOR) = NIF
XOR (NIF,LEQ) = IMP
XOR (NIF,OR) = FIX
XOR (NIF,DENY) = NAND
XOR (NIF,FLIP) = NOR
XOR (NIF,NIF) = NTRU
XOR (NIF,NTRU) = NIF
XOR (NIF,AND) = LET
XOR (NIF,NIMP) = XOR
XOR (NIF,XOR) = NIMP
XOR (NIF,IMP) = LEQ
XOR (NIF,NAND) = DENY
XOR (NIF,TRU) = IF
XOR (NIF,IF) = TRU
XOR (NIF,FIX) = OR
XOR (NIF,LET) = AND
XOR (NIF,NOR) = FLIP
XOR (NTRU,LEQ) = LEQ
XOR (NTRU,OR) = OR
XOR (NTRU,DENY) = DENY
XOR (NTRU,FLIP) = FLIP
XOR (NTRU,NIF) = NIF
XOR (NTRU,NTRU) = NTRU
XOR (NTRU,AND) = AND
XOR (NTRU,NIMP) = NIMP
XOR (NTRU,XOR) = XOR
XOR (NTRU,IMP) = IMP
XOR (NTRU,NAND) = NAND
XOR (NTRU,TRU) = TRU
XOR (NTRU,IF) = IF
XOR (NTRU,FIX) = FIX
XOR (NTRU,LET) = LET
XOR (NTRU,NOR) = NOR
XOR (AND,LEQ) = NOR
XOR (AND,OR) = XOR
XOR (AND,DENY) = IF
XOR (AND,FLIP) = IMP
XOR (AND,NIF) = LET
XOR (AND,NTRU) = AND
XOR (AND,AND) = NTRU
XOR (AND,NIMP) = FIX
XOR (AND,XOR) = OR
XOR (AND,IMP) = FLIP
XOR (AND,NAND) = TRU
XOR (AND,TRU) = NAND
XOR (AND,IF) = DENY
XOR (AND,FIX) = NIMP
XOR (AND,LET) = NIF
XOR (AND,NOR) = LEQ
XOR (NIMP,LEQ) = IF
XOR (NIMP,OR) = LET
XOR (NIMP,DENY) = NOR
XOR (NIMP,FLIP) = NAND
XOR (NIMP,NIF) = XOR
XOR (NIMP,NTRU) = NIMP
XOR (NIMP,AND) = FIX
XOR (NIMP,NIMP) = NTRU
XOR (NIMP,XOR) = NIF
XOR (NIMP,IMP) = TRU
XOR (NIMP,NAND) = FLIP
XOR (NIMP,TRU) = IMP
XOR (NIMP,IF) = LEQ
XOR (NIMP,FIX) = AND
XOR (NIMP,LET) = OR
XOR (NIMP,NOR) = DENY
XOR (XOR,LEQ) = TRU
XOR (XOR,OR) = AND
XOR (XOR,DENY) = FLIP
XOR (XOR,FLIP) = DENY
XOR (XOR,NIF) = NIMP
XOR (XOR,NTRU) = XOR
XOR (XOR,AND) = OR
XOR (XOR,NIMP) = NIF
XOR (XOR,XOR) = NTRU
XOR (XOR,IMP) = IF
XOR (XOR,NAND) = NOR
XOR (XOR,TRU) = LEQ
XOR (XOR,IF) = IMP
XOR (XOR,FIX) = LET
XOR (XOR,LET) = FIX
XOR (XOR,NOR) = NAND
XOR (IMP,LEQ) = NIF
XOR (IMP,OR) = DENY
XOR (IMP,DENY) = OR
XOR (IMP,FLIP) = AND
XOR (IMP,NIF) = LEQ
XOR (IMP,NTRU) = IMP
XOR (IMP,AND) = FLIP
XOR (IMP,NIMP) = TRU
XOR (IMP,XOR) = IF
XOR (IMP,IMP) = NTRU
XOR (IMP,NAND) = FIX
XOR (IMP,TRU) = NIMP
XOR (IMP,IF) = XOR
XOR (IMP,FIX) = NAND
XOR (IMP,LET) = NOR
XOR (IMP,NOR) = LET
XOR (NAND,LEQ) = OR
XOR (NAND,OR) = LEQ
XOR (NAND,DENY) = NIF
XOR (NAND,FLIP) = NIMP
XOR (NAND,NIF) = DENY
XOR (NAND,NTRU) = NAND
XOR (NAND,AND) = TRU
XOR (NAND,NIMP) = FLIP
XOR (NAND,XOR) = NOR
XOR (NAND,IMP) = FIX
XOR (NAND,NAND) = NTRU
XOR (NAND,TRU) = AND
XOR (NAND,IF) = LET
XOR (NAND,FIX) = IMP
XOR (NAND,LET) = IF
XOR (NAND,NOR) = XOR
XOR (TRU,LEQ) = XOR
XOR (TRU,OR) = NOR
XOR (TRU,DENY) = LET
XOR (TRU,FLIP) = FIX
XOR (TRU,NIF) = IF
XOR (TRU,NTRU) = TRU
XOR (TRU,AND) = NAND
XOR (TRU,NIMP) = IMP
XOR (TRU,XOR) = LEQ
XOR (TRU,IMP) = NIMP
XOR (TRU,NAND) = AND
XOR (TRU,TRU) = NTRU
XOR (TRU,IF) = NIF
XOR (TRU,FIX) = FLIP
XOR (TRU,LET) = DENY
XOR (TRU,NOR) = OR
XOR (IF,LEQ) = NIMP
XOR (IF,OR) = FLIP
XOR (IF,DENY) = AND
XOR (IF,FLIP) = OR
XOR (IF,NIF) = TRU
XOR (IF,NTRU) = IF
XOR (IF,AND) = DENY
XOR (IF,NIMP) = LEQ
XOR (IF,XOR) = IMP
XOR (IF,IMP) = XOR
XOR (IF,NAND) = LET
XOR (IF,TRU) = NIF
XOR (IF,IF) = NTRU
XOR (IF,FIX) = NOR
XOR (IF,LET) = NAND
XOR (IF,NOR) = FIX
XOR (FIX,LEQ) = DENY
XOR (FIX,OR) = NIF
XOR (FIX,DENY) = LEQ
XOR (FIX,FLIP) = TRU
XOR (FIX,NIF) = OR
XOR (FIX,NTRU) = FIX
XOR (FIX,AND) = NIMP
XOR (FIX,NIMP) = AND
XOR (FIX,XOR) = LET
XOR (FIX,IMP) = NAND
XOR (FIX,NAND) = IMP
XOR (FIX,TRU) = FLIP
XOR (FIX,IF) = NOR
XOR (FIX,FIX) = NTRU
XOR (FIX,LET) = XOR
XOR (FIX,NOR) = IF
XOR (LET,LEQ) = FLIP
XOR (LET,OR) = NIMP
XOR (LET,DENY) = TRU
XOR (LET,FLIP) = LEQ
XOR (LET,NIF) = AND
XOR (LET,NTRU) = LET
XOR (LET,AND) = NIF
XOR (LET,NIMP) = OR
XOR (LET,XOR) = FIX
XOR (LET,IMP) = NOR
XOR (LET,NAND) = IF
XOR (LET,TRU) = DENY
XOR (LET,IF) = NAND
XOR (LET,FIX) = XOR
XOR (LET,LET) = NTRU
XOR (LET,NOR) = IMP
XOR (NOR,LEQ) = AND
XOR (NOR,OR) = TRU
XOR (NOR,DENY) = NIMP
XOR (NOR,FLIP) = NIF
XOR (NOR,NIF) = FLIP
XOR (NOR,NTRU) = NOR
XOR (NOR,AND) = LEQ
XOR (NOR,NIMP) = DENY
XOR (NOR,XOR) = NAND
XOR (NOR,IMP) = LET
XOR (NOR,NAND) = XOR
XOR (NOR,TRU) = OR
XOR (NOR,IF) = FIX
XOR (NOR,FIX) = IF
XOR (NOR,LET) = IMP
XOR (NOR,NOR) = NTRU
IMP (LEQ,LEQ) = TRU
IMP (LEQ,OR) = OR
IMP (LEQ,DENY) = NAND
IMP (LEQ,FLIP) = NAND
IMP (LEQ,NIF) = XOR
IMP (LEQ,NTRU) = XOR
IMP (LEQ,AND) = OR
IMP (LEQ,NIMP) = XOR
IMP (LEQ,XOR) = XOR
IMP (LEQ,IMP) = TRU
IMP (LEQ,NAND) = NAND
IMP (LEQ,TRU) = TRU
IMP (LEQ,IF) = TRU
IMP (LEQ,FIX) = OR
IMP (LEQ,LET) = OR
IMP (LEQ,NOR) = NAND
IMP (OR,LEQ) = LEQ
IMP (OR,OR) = TRU
IMP (OR,DENY) = DENY
IMP (OR,FLIP) = FLIP
IMP (OR,NIF) = FLIP
IMP (OR,NTRU) = NOR
IMP (OR,AND) = LEQ
IMP (OR,NIMP) = DENY
IMP (OR,XOR) = NAND
IMP (OR,IMP) = IMP
IMP (OR,NAND) = NAND
IMP (OR,TRU) = TRU
IMP (OR,IF) = IF
IMP (OR,FIX) = IF
IMP (OR,LET) = IMP
IMP (OR,NOR) = NOR
IMP (DENY,LEQ) = IMP
IMP (DENY,OR) = OR
IMP (DENY,DENY) = TRU
IMP (DENY,FLIP) = IMP
IMP (DENY,NIF) = LET
IMP (DENY,NTRU) = LET
IMP (DENY,AND) = LET
IMP (DENY,NIMP) = OR
IMP (DENY,XOR) = OR
IMP (DENY,IMP) = IMP
IMP (DENY,NAND) = TRU
IMP (DENY,TRU) = TRU
IMP (DENY,IF) = TRU
IMP (DENY,FIX) = OR
IMP (DENY,LET) = LET
IMP (DENY,NOR) = IMP
IMP (FLIP,LEQ) = IF
IMP (FLIP,OR) = OR
IMP (FLIP,DENY) = IF
IMP (FLIP,FLIP) = TRU
IMP (FLIP,NIF) = OR
IMP (FLIP,NTRU) = FIX
IMP (FLIP,AND) = FIX
IMP (FLIP,NIMP) = FIX
IMP (FLIP,XOR) = OR
IMP (FLIP,IMP) = TRU
IMP (FLIP,NAND) = TRU
IMP (FLIP,TRU) = TRU
IMP (FLIP,IF) = IF
IMP (FLIP,FIX) = FIX
IMP (FLIP,LET) = OR
IMP (FLIP,NOR) = IF
IMP (NIF,LEQ) = IF
IMP (NIF,OR) = TRU
IMP (NIF,DENY) = IF
IMP (NIF,FLIP) = TRU
IMP (NIF,NIF) = TRU
IMP (NIF,NTRU) = IF
IMP (NIF,AND) = IF
IMP (NIF,NIMP) = IF
IMP (NIF,XOR) = TRU
IMP (NIF,IMP) = TRU
IMP (NIF,NAND) = TRU
IMP (NIF,TRU) = TRU
IMP (NIF,IF) = IF
IMP (NIF,FIX) = IF
IMP (NIF,LET) = TRU
IMP (NIF,NOR) = IF
IMP (NTRU,LEQ) = TRU
IMP (NTRU,OR) = TRU
IMP (NTRU,DENY) = TRU
IMP (NTRU,FLIP) = TRU
IMP (NTRU,NIF) = TRU
IMP (NTRU,NTRU) = TRU
IMP (NTRU,AND) = TRU
IMP (NTRU,NIMP) = TRU
IMP (NTRU,XOR) = TRU
IMP (NTRU,IMP) = TRU
IMP (NTRU,NAND) = TRU
IMP (NTRU,TRU) = TRU
IMP (NTRU,IF) = TRU
IMP (NTRU,FIX) = TRU
IMP (NTRU,LET) = TRU
IMP (NTRU,NOR) = TRU
IMP (AND,LEQ) = TRU
IMP (AND,OR) = TRU
IMP (AND,DENY) = NAND
IMP (AND,FLIP) = NAND
IMP (AND,NIF) = NAND
IMP (AND,NTRU) = NAND
IMP (AND,AND) = TRU
IMP (AND,NIMP) = NAND
IMP (AND,XOR) = NAND
IMP (AND,IMP) = TRU
IMP (AND,NAND) = NAND
IMP (AND,TRU) = TRU
IMP (AND,IF) = TRU
IMP (AND,FIX) = TRU
IMP (AND,LET) = TRU
IMP (AND,NOR) = NAND
IMP (NIMP,LEQ) = IMP
IMP (NIMP,OR) = TRU
IMP (NIMP,DENY) = TRU
IMP (NIMP,FLIP) = IMP
IMP (NIMP,NIF) = IMP
IMP (NIMP,NTRU) = IMP
IMP (NIMP,AND) = IMP
IMP (NIMP,NIMP) = TRU
IMP (NIMP,XOR) = TRU
IMP (NIMP,IMP) = IMP
IMP (NIMP,NAND) = TRU
IMP (NIMP,TRU) = TRU
IMP (NIMP,IF) = TRU
IMP (NIMP,FIX) = TRU
IMP (NIMP,LET) = IMP
IMP (NIMP,NOR) = IMP
IMP (XOR,LEQ) = LEQ
IMP (XOR,OR) = TRU
IMP (XOR,DENY) = IF
IMP (XOR,FLIP) = IMP
IMP (XOR,NIF) = IMP
IMP (XOR,NTRU) = LEQ
IMP (XOR,AND) = LEQ
IMP (XOR,NIMP) = IF
IMP (XOR,XOR) = TRU
IMP (XOR,IMP) = IMP
IMP (XOR,NAND) = TRU
IMP (XOR,TRU) = TRU
IMP (XOR,IF) = IF
IMP (XOR,FIX) = IF
IMP (XOR,LET) = IMP
IMP (XOR,NOR) = LEQ
IMP (IMP,LEQ) = IF
IMP (IMP,OR) = OR
IMP (IMP,DENY) = DENY
IMP (IMP,FLIP) = NAND
IMP (IMP,NIF) = XOR
IMP (IMP,NTRU) = NIMP
IMP (IMP,AND) = FIX
IMP (IMP,NIMP) = NIMP
IMP (IMP,XOR) = XOR
IMP (IMP,IMP) = TRU
IMP (IMP,NAND) = NAND
IMP (IMP,TRU) = TRU
IMP (IMP,IF) = IF
IMP (IMP,FIX) = FIX
IMP (IMP,LET) = OR
IMP (IMP,NOR) = DENY
IMP (NAND,LEQ) = LEQ
IMP (NAND,OR) = OR
IMP (NAND,DENY) = IF
IMP (NAND,FLIP) = IMP
IMP (NAND,NIF) = LET
IMP (NAND,NTRU) = AND
IMP (NAND,AND) = AND
IMP (NAND,NIMP) = FIX
IMP (NAND,XOR) = OR
IMP (NAND,IMP) = IMP
IMP (NAND,NAND) = TRU
IMP (NAND,TRU) = TRU
IMP (NAND,IF) = IF
IMP (NAND,FIX) = FIX
IMP (NAND,LET) = LET
IMP (NAND,NOR) = LEQ
IMP (TRU,LEQ) = LEQ
IMP (TRU,OR) = OR
IMP (TRU,DENY) = DENY
IMP (TRU,FLIP) = FLIP
IMP (TRU,NIF) = NIF
IMP (TRU,NTRU) = NTRU
IMP (TRU,AND) = AND
IMP (TRU,NIMP) = NIMP
IMP (TRU,XOR) = XOR
IMP (TRU,IMP) = IMP
IMP (TRU,NAND) = NAND
IMP (TRU,TRU) = TRU
IMP (TRU,IF) = IF
IMP (TRU,FIX) = FIX
IMP (TRU,LET) = LET
IMP (TRU,NOR) = NOR
IMP (IF,LEQ) = IMP
IMP (IF,OR) = OR
IMP (IF,DENY) = NAND
IMP (IF,FLIP) = FLIP
IMP (IF,NIF) = NIF
IMP (IF,NTRU) = NIF
IMP (IF,AND) = LET
IMP (IF,NIMP) = XOR
IMP (IF,XOR) = XOR
IMP (IF,IMP) = IMP
IMP (IF,NAND) = NAND
IMP (IF,TRU) = TRU
IMP (IF,IF) = TRU
IMP (IF,FIX) = OR
IMP (IF,LET) = LET
IMP (IF,NOR) = FLIP
IMP (FIX,LEQ) = IMP
IMP (FIX,OR) = TRU
IMP (FIX,DENY) = NAND
IMP (FIX,FLIP) = FLIP
IMP (FIX,NIF) = FLIP
IMP (FIX,NTRU) = FLIP
IMP (FIX,AND) = IMP
IMP (FIX,NIMP) = NAND
IMP (FIX,XOR) = NAND
IMP (FIX,IMP) = IMP
IMP (FIX,NAND) = NAND
IMP (FIX,TRU) = TRU
IMP (FIX,IF) = TRU
IMP (FIX,FIX) = TRU
IMP (FIX,LET) = IMP
IMP (FIX,NOR) = FLIP
IMP (LET,LEQ) = IF
IMP (LET,OR) = TRU
IMP (LET,DENY) = DENY
IMP (LET,FLIP) = NAND
IMP (LET,NIF) = NAND
IMP (LET,NTRU) = DENY
IMP (LET,AND) = IF
IMP (LET,NIMP) = DENY
IMP (LET,XOR) = NAND
IMP (LET,IMP) = TRU
IMP (LET,NAND) = NAND
IMP (LET,TRU) = TRU
IMP (LET,IF) = IF
IMP (LET,FIX) = IF
IMP (LET,LET) = TRU
IMP (LET,NOR) = DENY
IMP (NOR,LEQ) = TRU
IMP (NOR,OR) = OR
IMP (NOR,DENY) = TRU
IMP (NOR,FLIP) = TRU
IMP (NOR,NIF) = OR
IMP (NOR,NTRU) = OR
IMP (NOR,AND) = OR
IMP (NOR,NIMP) = OR
IMP (NOR,XOR) = OR
IMP (NOR,IMP) = TRU
IMP (NOR,NAND) = TRU
IMP (NOR,TRU) = TRU
IMP (NOR,IF) = TRU
IMP (NOR,FIX) = OR
IMP (NOR,LET) = OR
IMP (NOR,NOR) = TRU
NAND (LEQ,LEQ) = XOR
NAND (LEQ,OR) = NAND
NAND (LEQ,DENY) = OR
NAND (LEQ,FLIP) = OR
NAND (LEQ,NIF) = TRU
NAND (LEQ,NTRU) = TRU
NAND (LEQ,AND) = NAND
NAND (LEQ,NIMP) = TRU
NAND (LEQ,XOR) = TRU
NAND (LEQ,IMP) = XOR
NAND (LEQ,NAND) = OR
NAND (LEQ,TRU) = XOR
NAND (LEQ,IF) = XOR
NAND (LEQ,FIX) = NAND
NAND (LEQ,LET) = NAND
NAND (LEQ,NOR) = OR
NAND (OR,LEQ) = NAND
NAND (OR,OR) = NOR
NAND (OR,DENY) = IMP
NAND (OR,FLIP) = IF
NAND (OR,NIF) = IF
NAND (OR,NTRU) = TRU
NAND (OR,AND) = NAND
NAND (OR,NIMP) = IMP
NAND (OR,XOR) = LEQ
NAND (OR,IMP) = DENY
NAND (OR,NAND) = LEQ
NAND (OR,TRU) = NOR
NAND (OR,IF) = FLIP
NAND (OR,FIX) = FLIP
NAND (OR,LET) = DENY
NAND (OR,NOR) = TRU
NAND (DENY,LEQ) = OR
NAND (DENY,OR) = IMP
NAND (DENY,DENY) = LET
NAND (DENY,FLIP) = OR
NAND (DENY,NIF) = TRU
NAND (DENY,NTRU) = TRU
NAND (DENY,AND) = TRU
NAND (DENY,NIMP) = IMP
NAND (DENY,XOR) = IMP
NAND (DENY,IMP) = OR
NAND (DENY,NAND) = LET
NAND (DENY,TRU) = LET
NAND (DENY,IF) = LET
NAND (DENY,FIX) = IMP
NAND (DENY,LET) = TRU
NAND (DENY,NOR) = OR
NAND (FLIP,LEQ) = OR
NAND (FLIP,OR) = IF
NAND (FLIP,DENY) = OR
NAND (FLIP,FLIP) = FIX
NAND (FLIP,NIF) = IF
NAND (FLIP,NTRU) = TRU
NAND (FLIP,AND) = TRU
NAND (FLIP,NIMP) = TRU
NAND (FLIP,XOR) = IF
NAND (FLIP,IMP) = FIX
NAND (FLIP,NAND) = FIX
NAND (FLIP,TRU) = FIX
NAND (FLIP,IF) = OR
NAND (FLIP,FIX) = TRU
NAND (FLIP,LET) = IF
NAND (FLIP,NOR) = OR
NAND (NIF,LEQ) = TRU
NAND (NIF,OR) = IF
NAND (NIF,DENY) = TRU
NAND (NIF,FLIP) = IF
NAND (NIF,NIF) = IF
NAND (NIF,NTRU) = TRU
NAND (NIF,AND) = TRU
NAND (NIF,NIMP) = TRU
NAND (NIF,XOR) = IF
NAND (NIF,IMP) = IF
NAND (NIF,NAND) = IF
NAND (NIF,TRU) = IF
NAND (NIF,IF) = TRU
NAND (NIF,FIX) = TRU
NAND (NIF,LET) = IF
NAND (NIF,NOR) = TRU
NAND (NTRU,LEQ) = TRU
NAND (NTRU,OR) = TRU
NAND (NTRU,DENY) = TRU
NAND (NTRU,FLIP) = TRU
NAND (NTRU,NIF) = TRU
NAND (NTRU,NTRU) = TRU
NAND (NTRU,AND) = TRU
NAND (NTRU,NIMP) = TRU
NAND (NTRU,XOR) = TRU
NAND (NTRU,IMP) = TRU
NAND (NTRU,NAND) = TRU
NAND (NTRU,TRU) = TRU
NAND (NTRU,IF) = TRU
NAND (NTRU,FIX) = TRU
NAND (NTRU,LET) = TRU
NAND (NTRU,NOR) = TRU
NAND (AND,LEQ) = NAND
NAND (AND,OR) = NAND
NAND (AND,DENY) = TRU
NAND (AND,FLIP) = TRU
NAND (AND,NIF) = TRU
NAND (AND,NTRU) = TRU
NAND (AND,AND) = NAND
NAND (AND,NIMP) = TRU
NAND (AND,XOR) = TRU
NAND (AND,IMP) = NAND
NAND (AND,NAND) = TRU
NAND (AND,TRU) = NAND
NAND (AND,IF) = NAND
NAND (AND,FIX) = NAND
NAND (AND,LET) = NAND
NAND (AND,NOR) = TRU
NAND (NIMP,LEQ) = TRU
NAND (NIMP,OR) = IMP
NAND (NIMP,DENY) = IMP
NAND (NIMP,FLIP) = TRU
NAND (NIMP,NIF) = TRU
NAND (NIMP,NTRU) = TRU
NAND (NIMP,AND) = TRU
NAND (NIMP,NIMP) = IMP
NAND (NIMP,XOR) = IMP
NAND (NIMP,IMP) = TRU
NAND (NIMP,NAND) = IMP
NAND (NIMP,TRU) = IMP
NAND (NIMP,IF) = IMP
NAND (NIMP,FIX) = IMP
NAND (NIMP,LET) = TRU
NAND (NIMP,NOR) = TRU
NAND (XOR,LEQ) = TRU
NAND (XOR,OR) = LEQ
NAND (XOR,DENY) = IMP
NAND (XOR,FLIP) = IF
NAND (XOR,NIF) = IF
NAND (XOR,NTRU) = TRU
NAND (XOR,AND) = TRU
NAND (XOR,NIMP) = IMP
NAND (XOR,XOR) = LEQ
NAND (XOR,IMP) = IF
NAND (XOR,NAND) = LEQ
NAND (XOR,TRU) = LEQ
NAND (XOR,IF) = IMP
NAND (XOR,FIX) = IMP
NAND (XOR,LET) = IF
NAND (XOR,NOR) = TRU
NAND (IMP,LEQ) = XOR
NAND (IMP,OR) = DENY
NAND (IMP,DENY) = OR
NAND (IMP,FLIP) = FIX
NAND (IMP,NIF) = IF
NAND (IMP,NTRU) = TRU
NAND (IMP,AND) = NAND
NAND (IMP,NIMP) = TRU
NAND (IMP,XOR) = IF
NAND (IMP,IMP) = NIMP
NAND (IMP,NAND) = FIX
NAND (IMP,TRU) = NIMP
NAND (IMP,IF) = XOR
NAND (IMP,FIX) = NAND
NAND (IMP,LET) = DENY
NAND (IMP,NOR) = OR
NAND (NAND,LEQ) = OR
NAND (NAND,OR) = LEQ
NAND (NAND,DENY) = LET
NAND (NAND,FLIP) = FIX
NAND (NAND,NIF) = IF
NAND (NAND,NTRU) = TRU
NAND (NAND,AND) = TRU
NAND (NAND,NIMP) = IMP
NAND (NAND,XOR) = LEQ
NAND (NAND,IMP) = FIX
NAND (NAND,NAND) = AND
NAND (NAND,TRU) = AND
NAND (NAND,IF) = LET
NAND (NAND,FIX) = IMP
NAND (NAND,LET) = IF
NAND (NAND,NOR) = OR
NAND (TRU,LEQ) = XOR
NAND (TRU,OR) = NOR
NAND (TRU,DENY) = LET
NAND (TRU,FLIP) = FIX
NAND (TRU,NIF) = IF
NAND (TRU,NTRU) = TRU
NAND (TRU,AND) = NAND
NAND (TRU,NIMP) = IMP
NAND (TRU,XOR) = LEQ
NAND (TRU,IMP) = NIMP
NAND (TRU,NAND) = AND
NAND (TRU,TRU) = NTRU
NAND (TRU,IF) = NIF
NAND (TRU,FIX) = FLIP
NAND (TRU,LET) = DENY
NAND (TRU,NOR) = OR
NAND (IF,LEQ) = XOR
NAND (IF,OR) = FLIP
NAND (IF,DENY) = LET
NAND (IF,FLIP) = OR
NAND (IF,NIF) = TRU
NAND (IF,NTRU) = TRU
NAND (IF,AND) = NAND
NAND (IF,NIMP) = IMP
NAND (IF,XOR) = IMP
NAND (IF,IMP) = XOR
NAND (IF,NAND) = LET
NAND (IF,TRU) = NIF
NAND (IF,IF) = NIF
NAND (IF,FIX) = FLIP
NAND (IF,LET) = NAND
NAND (IF,NOR) = OR
NAND (FIX,LEQ) = NAND
NAND (FIX,OR) = FLIP
NAND (FIX,DENY) = IMP
NAND (FIX,FLIP) = TRU
NAND (FIX,NIF) = TRU
NAND (FIX,NTRU) = TRU
NAND (FIX,AND) = NAND
NAND (FIX,NIMP) = IMP
NAND (FIX,XOR) = IMP
NAND (FIX,IMP) = NAND
NAND (FIX,NAND) = IMP
NAND (FIX,TRU) = FLIP
NAND (FIX,IF) = FLIP
NAND (FIX,FIX) = FLIP
NAND (FIX,LET) = NAND
NAND (FIX,NOR) = TRU
NAND (LET,LEQ) = NAND
NAND (LET,OR) = DENY
NAND (LET,DENY) = TRU
NAND (LET,FLIP) = IF
NAND (LET,NIF) = IF
NAND (LET,NTRU) = TRU
NAND (LET,AND) = NAND
NAND (LET,NIMP) = TRU
NAND (LET,XOR) = IF
NAND (LET,IMP) = DENY
NAND (LET,NAND) = IF
NAND (LET,TRU) = DENY
NAND (LET,IF) = NAND
NAND (LET,FIX) = NAND
NAND (LET,LET) = DENY
NAND (LET,NOR) = TRU
NAND (NOR,LEQ) = OR
NAND (NOR,OR) = TRU
NAND (NOR,DENY) = OR
NAND (NOR,FLIP) = OR
NAND (NOR,NIF) = TRU
NAND (NOR,NTRU) = TRU
NAND (NOR,AND) = TRU
NAND (NOR,NIMP) = TRU
NAND (NOR,XOR) = TRU
NAND (NOR,IMP) = OR
NAND (NOR,NAND) = OR
NAND (NOR,TRU) = OR
NAND (NOR,IF) = OR
NAND (NOR,FIX) = TRU
NAND (NOR,LET) = TRU
NAND (NOR,NOR) = OR
TRU (LEQ,LEQ) = TRU
TRU (LEQ,OR) = TRU
TRU (LEQ,DENY) = TRU
TRU (LEQ,FLIP) = TRU
TRU (LEQ,NIF) = TRU
TRU (LEQ,NTRU) = TRU
TRU (LEQ,AND) = TRU
TRU (LEQ,NIMP) = TRU
TRU (LEQ,XOR) = TRU
TRU (LEQ,IMP) = TRU
TRU (LEQ,NAND) = TRU
TRU (LEQ,TRU) = TRU
TRU (LEQ,IF) = TRU
TRU (LEQ,FIX) = TRU
TRU (LEQ,LET) = TRU
TRU (LEQ,NOR) = TRU
TRU (OR,LEQ) = TRU
TRU (OR,OR) = TRU
TRU (OR,DENY) = TRU
TRU (OR,FLIP) = TRU
TRU (OR,NIF) = TRU
TRU (OR,NTRU) = TRU
TRU (OR,AND) = TRU
TRU (OR,NIMP) = TRU
TRU (OR,XOR) = TRU
TRU (OR,IMP) = TRU
TRU (OR,NAND) = TRU
TRU (OR,TRU) = TRU
TRU (OR,IF) = TRU
TRU (OR,FIX) = TRU
TRU (OR,LET) = TRU
TRU (OR,NOR) = TRU
TRU (DENY,LEQ) = TRU
TRU (DENY,OR) = TRU
TRU (DENY,DENY) = TRU
TRU (DENY,FLIP) = TRU
TRU (DENY,NIF) = TRU
TRU (DENY,NTRU) = TRU
TRU (DENY,AND) = TRU
TRU (DENY,NIMP) = TRU
TRU (DENY,XOR) = TRU
TRU (DENY,IMP) = TRU
TRU (DENY,NAND) = TRU
TRU (DENY,TRU) = TRU
TRU (DENY,IF) = TRU
TRU (DENY,FIX) = TRU
TRU (DENY,LET) = TRU
TRU (DENY,NOR) = TRU
TRU (FLIP,LEQ) = TRU
TRU (FLIP,OR) = TRU
TRU (FLIP,DENY) = TRU
TRU (FLIP,FLIP) = TRU
TRU (FLIP,NIF) = TRU
TRU (FLIP,NTRU) = TRU
TRU (FLIP,AND) = TRU
TRU (FLIP,NIMP) = TRU
TRU (FLIP,XOR) = TRU
TRU (FLIP,IMP) = TRU
TRU (FLIP,NAND) = TRU
TRU (FLIP,TRU) = TRU
TRU (FLIP,IF) = TRU
TRU (FLIP,FIX) = TRU
TRU (FLIP,LET) = TRU
TRU (FLIP,NOR) = TRU
TRU (NIF,LEQ) = TRU
TRU (NIF,OR) = TRU
TRU (NIF,DENY) = TRU
TRU (NIF,FLIP) = TRU
TRU (NIF,NIF) = TRU
TRU (NIF,NTRU) = TRU
TRU (NIF,AND) = TRU
TRU (NIF,NIMP) = TRU
TRU (NIF,XOR) = TRU
TRU (NIF,IMP) = TRU
TRU (NIF,NAND) = TRU
TRU (NIF,TRU) = TRU
TRU (NIF,IF) = TRU
TRU (NIF,FIX) = TRU
TRU (NIF,LET) = TRU
TRU (NIF,NOR) = TRU
TRU (NTRU,LEQ) = TRU
TRU (NTRU,OR) = TRU
TRU (NTRU,DENY) = TRU
TRU (NTRU,FLIP) = TRU
TRU (NTRU,NIF) = TRU
TRU (NTRU,NTRU) = TRU
TRU (NTRU,AND) = TRU
TRU (NTRU,NIMP) = TRU
TRU (NTRU,XOR) = TRU
TRU (NTRU,IMP) = TRU
TRU (NTRU,NAND) = TRU
TRU (NTRU,TRU) = TRU
TRU (NTRU,IF) = TRU
TRU (NTRU,FIX) = TRU
TRU (NTRU,LET) = TRU
TRU (NTRU,NOR) = TRU
TRU (AND,LEQ) = TRU
TRU (AND,OR) = TRU
TRU (AND,DENY) = TRU
TRU (AND,FLIP) = TRU
TRU (AND,NIF) = TRU
TRU (AND,NTRU) = TRU
TRU (AND,AND) = TRU
TRU (AND,NIMP) = TRU
TRU (AND,XOR) = TRU
TRU (AND,IMP) = TRU
TRU (AND,NAND) = TRU
TRU (AND,TRU) = TRU
TRU (AND,IF) = TRU
TRU (AND,FIX) = TRU
TRU (AND,LET) = TRU
TRU (AND,NOR) = TRU
TRU (NIMP,LEQ) = TRU
TRU (NIMP,OR) = TRU
TRU (NIMP,DENY) = TRU
TRU (NIMP,FLIP) = TRU
TRU (NIMP,NIF) = TRU
TRU (NIMP,NTRU) = TRU
TRU (NIMP,AND) = TRU
TRU (NIMP,NIMP) = TRU
TRU (NIMP,XOR) = TRU
TRU (NIMP,IMP) = TRU
TRU (NIMP,NAND) = TRU
TRU (NIMP,TRU) = TRU
TRU (NIMP,IF) = TRU
TRU (NIMP,FIX) = TRU
TRU (NIMP,LET) = TRU
TRU (NIMP,NOR) = TRU
TRU (XOR,LEQ) = TRU
TRU (XOR,OR) = TRU
TRU (XOR,DENY) = TRU
TRU (XOR,FLIP) = TRU
TRU (XOR,NIF) = TRU
TRU (XOR,NTRU) = TRU
TRU (XOR,AND) = TRU
TRU (XOR,NIMP) = TRU
TRU (XOR,XOR) = TRU
TRU (XOR,IMP) = TRU
TRU (XOR,NAND) = TRU
TRU (XOR,TRU) = TRU
TRU (XOR,IF) = TRU
TRU (XOR,FIX) = TRU
TRU (XOR,LET) = TRU
TRU (XOR,NOR) = TRU
TRU (IMP,LEQ) = TRU
TRU (IMP,OR) = TRU
TRU (IMP,DENY) = TRU
TRU (IMP,FLIP) = TRU
TRU (IMP,NIF) = TRU
TRU (IMP,NTRU) = TRU
TRU (IMP,AND) = TRU
TRU (IMP,NIMP) = TRU
TRU (IMP,XOR) = TRU
TRU (IMP,IMP) = TRU
TRU (IMP,NAND) = TRU
TRU (IMP,TRU) = TRU
TRU (IMP,IF) = TRU
TRU (IMP,FIX) = TRU
TRU (IMP,LET) = TRU
TRU (IMP,NOR) = TRU
TRU (NAND,LEQ) = TRU
TRU (NAND,OR) = TRU
TRU (NAND,DENY) = TRU
TRU (NAND,FLIP) = TRU
TRU (NAND,NIF) = TRU
TRU (NAND,NTRU) = TRU
TRU (NAND,AND) = TRU
TRU (NAND,NIMP) = TRU
TRU (NAND,XOR) = TRU
TRU (NAND,IMP) = TRU
TRU (NAND,NAND) = TRU
TRU (NAND,TRU) = TRU
TRU (NAND,IF) = TRU
TRU (NAND,FIX) = TRU
TRU (NAND,LET) = TRU
TRU (NAND,NOR) = TRU
TRU (TRU,LEQ) = TRU
TRU (TRU,OR) = TRU
TRU (TRU,DENY) = TRU
TRU (TRU,FLIP) = TRU
TRU (TRU,NIF) = TRU
TRU (TRU,NTRU) = TRU
TRU (TRU,AND) = TRU
TRU (TRU,NIMP) = TRU
TRU (TRU,XOR) = TRU
TRU (TRU,IMP) = TRU
TRU (TRU,NAND) = TRU
TRU (TRU,TRU) = TRU
TRU (TRU,IF) = TRU
TRU (TRU,FIX) = TRU
TRU (TRU,LET) = TRU
TRU (TRU,NOR) = TRU
TRU (IF,LEQ) = TRU
TRU (IF,OR) = TRU
TRU (IF,DENY) = TRU
TRU (IF,FLIP) = TRU
TRU (IF,NIF) = TRU
TRU (IF,NTRU) = TRU
TRU (IF,AND) = TRU
TRU (IF,NIMP) = TRU
TRU (IF,XOR) = TRU
TRU (IF,IMP) = TRU
TRU (IF,NAND) = TRU
TRU (IF,TRU) = TRU
TRU (IF,IF) = TRU
TRU (IF,FIX) = TRU
TRU (IF,LET) = TRU
TRU (IF,NOR) = TRU
TRU (FIX,LEQ) = TRU
TRU (FIX,OR) = TRU
TRU (FIX,DENY) = TRU
TRU (FIX,FLIP) = TRU
TRU (FIX,NIF) = TRU
TRU (FIX,NTRU) = TRU
TRU (FIX,AND) = TRU
TRU (FIX,NIMP) = TRU
TRU (FIX,XOR) = TRU
TRU (FIX,IMP) = TRU
TRU (FIX,NAND) = TRU
TRU (FIX,TRU) = TRU
TRU (FIX,IF) = TRU
TRU (FIX,FIX) = TRU
TRU (FIX,LET) = TRU
TRU (FIX,NOR) = TRU
TRU (LET,LEQ) = TRU
TRU (LET,OR) = TRU
TRU (LET,DENY) = TRU
TRU (LET,FLIP) = TRU
TRU (LET,NIF) = TRU
TRU (LET,NTRU) = TRU
TRU (LET,AND) = TRU
TRU (LET,NIMP) = TRU
TRU (LET,XOR) = TRU
TRU (LET,IMP) = TRU
TRU (LET,NAND) = TRU
TRU (LET,TRU) = TRU
TRU (LET,IF) = TRU
TRU (LET,FIX) = TRU
TRU (LET,LET) = TRU
TRU (LET,NOR) = TRU
TRU (NOR,LEQ) = TRU
TRU (NOR,OR) = TRU
TRU (NOR,DENY) = TRU
TRU (NOR,FLIP) = TRU
TRU (NOR,NIF) = TRU
TRU (NOR,NTRU) = TRU
TRU (NOR,AND) = TRU
TRU (NOR,NIMP) = TRU
TRU (NOR,XOR) = TRU
TRU (NOR,IMP) = TRU
TRU (NOR,NAND) = TRU
TRU (NOR,TRU) = TRU
TRU (NOR,IF) = TRU
TRU (NOR,FIX) = TRU
TRU (NOR,LET) = TRU
TRU (NOR,NOR) = TRU
IF (LEQ,LEQ) = TRU
IF (LEQ,OR) = LEQ
IF (LEQ,DENY) = IMP
IF (LEQ,FLIP) = IF
IF (LEQ,NIF) = IF
IF (LEQ,NTRU) = TRU
IF (LEQ,AND) = TRU
IF (LEQ,NIMP) = IMP
IF (LEQ,XOR) = LEQ
IF (LEQ,IMP) = IF
IF (LEQ,NAND) = LEQ
IF (LEQ,TRU) = LEQ
IF (LEQ,IF) = IMP
IF (LEQ,FIX) = IMP
IF (LEQ,LET) = IF
IF (LEQ,NOR) = TRU
IF (OR,LEQ) = OR
IF (OR,OR) = TRU
IF (OR,DENY) = OR
IF (OR,FLIP) = OR
IF (OR,NIF) = TRU
IF (OR,NTRU) = TRU
IF (OR,AND) = TRU
IF (OR,NIMP) = TRU
IF (OR,XOR) = TRU
IF (OR,IMP) = OR
IF (OR,NAND) = OR
IF (OR,TRU) = OR
IF (OR,IF) = OR
IF (OR,FIX) = TRU
IF (OR,LET) = TRU
IF (OR,NOR) = OR
IF (DENY,LEQ) = NAND
IF (DENY,OR) = DENY
IF (DENY,DENY) = TRU
IF (DENY,FLIP) = IF
IF (DENY,NIF) = IF
IF (DENY,NTRU) = TRU
IF (DENY,AND) = NAND
IF (DENY,NIMP) = TRU
IF (DENY,XOR) = IF
IF (DENY,IMP) = DENY
IF (DENY,NAND) = IF
IF (DENY,TRU) = DENY
IF (DENY,IF) = NAND
IF (DENY,FIX) = NAND
IF (DENY,LET) = DENY
IF (DENY,NOR) = TRU
IF (FLIP,LEQ) = NAND
IF (FLIP,OR) = FLIP
IF (FLIP,DENY) = IMP
IF (FLIP,FLIP) = TRU
IF (FLIP,NIF) = TRU
IF (FLIP,NTRU) = TRU
IF (FLIP,AND) = NAND
IF (FLIP,NIMP) = IMP
IF (FLIP,XOR) = IMP
IF (FLIP,IMP) = NAND
IF (FLIP,NAND) = IMP
IF (FLIP,TRU) = FLIP
IF (FLIP,IF) = FLIP
IF (FLIP,FIX) = FLIP
IF (FLIP,LET) = NAND
IF (FLIP,NOR) = TRU
IF (NIF,LEQ) = XOR
IF (NIF,OR) = FLIP
IF (NIF,DENY) = LET
IF (NIF,FLIP) = OR
IF (NIF,NIF) = TRU
IF (NIF,NTRU) = TRU
IF (NIF,AND) = NAND
IF (NIF,NIMP) = IMP
IF (NIF,XOR) = IMP
IF (NIF,IMP) = XOR
IF (NIF,NAND) = LET
IF (NIF,TRU) = NIF
IF (NIF,IF) = NIF
IF (NIF,FIX) = FLIP
IF (NIF,LET) = NAND
IF (NIF,NOR) = OR
IF (NTRU,LEQ) = XOR
IF (NTRU,OR) = NOR
IF (NTRU,DENY) = LET
IF (NTRU,FLIP) = FIX
IF (NTRU,NIF) = IF
IF (NTRU,NTRU) = TRU
IF (NTRU,AND) = NAND
IF (NTRU,NIMP) = IMP
IF (NTRU,XOR) = LEQ
IF (NTRU,IMP) = NIMP
IF (NTRU,NAND) = AND
IF (NTRU,TRU) = NTRU
IF (NTRU,IF) = NIF
IF (NTRU,FIX) = FLIP
IF (NTRU,LET) = DENY
IF (NTRU,NOR) = OR
IF (AND,LEQ) = OR
IF (AND,OR) = LEQ
IF (AND,DENY) = LET
IF (AND,FLIP) = FIX
IF (AND,NIF) = IF
IF (AND,NTRU) = TRU
IF (AND,AND) = TRU
IF (AND,NIMP) = IMP
IF (AND,XOR) = LEQ
IF (AND,IMP) = FIX
IF (AND,NAND) = AND
IF (AND,TRU) = AND
IF (AND,IF) = LET
IF (AND,FIX) = IMP
IF (AND,LET) = IF
IF (AND,NOR) = OR
IF (NIMP,LEQ) = XOR
IF (NIMP,OR) = DENY
IF (NIMP,DENY) = OR
IF (NIMP,FLIP) = FIX
IF (NIMP,NIF) = IF
IF (NIMP,NTRU) = TRU
IF (NIMP,AND) = NAND
IF (NIMP,NIMP) = TRU
IF (NIMP,XOR) = IF
IF (NIMP,IMP) = NIMP
IF (NIMP,NAND) = FIX
IF (NIMP,TRU) = NIMP
IF (NIMP,IF) = XOR
IF (NIMP,FIX) = NAND
IF (NIMP,LET) = DENY
IF (NIMP,NOR) = OR
IF (XOR,LEQ) = XOR
IF (XOR,OR) = NAND
IF (XOR,DENY) = OR
IF (XOR,FLIP) = OR
IF (XOR,NIF) = TRU
IF (XOR,NTRU) = TRU
IF (XOR,AND) = NAND
IF (XOR,NIMP) = TRU
IF (XOR,XOR) = TRU
IF (XOR,IMP) = XOR
IF (XOR,NAND) = OR
IF (XOR,TRU) = XOR
IF (XOR,IF) = XOR
IF (XOR,FIX) = NAND
IF (XOR,LET) = NAND
IF (XOR,NOR) = OR
IF (IMP,LEQ) = TRU
IF (IMP,OR) = IMP
IF (IMP,DENY) = IMP
IF (IMP,FLIP) = TRU
IF (IMP,NIF) = TRU
IF (IMP,NTRU) = TRU
IF (IMP,AND) = TRU
IF (IMP,NIMP) = IMP
IF (IMP,XOR) = IMP
IF (IMP,IMP) = TRU
IF (IMP,NAND) = IMP
IF (IMP,TRU) = IMP
IF (IMP,IF) = IMP
IF (IMP,FIX) = IMP
IF (IMP,LET) = TRU
IF (IMP,NOR) = TRU
IF (NAND,LEQ) = NAND
IF (NAND,OR) = NAND
IF (NAND,DENY) = TRU
IF (NAND,FLIP) = TRU
IF (NAND,NIF) = TRU
IF (NAND,NTRU) = TRU
IF (NAND,AND) = NAND
IF (NAND,NIMP) = TRU
IF (NAND,XOR) = TRU
IF (NAND,IMP) = NAND
IF (NAND,NAND) = TRU
IF (NAND,TRU) = NAND
IF (NAND,IF) = NAND
IF (NAND,FIX) = NAND
IF (NAND,LET) = NAND
IF (NAND,NOR) = TRU
IF (TRU,LEQ) = TRU
IF (TRU,OR) = TRU
IF (TRU,DENY) = TRU
IF (TRU,FLIP) = TRU
IF (TRU,NIF) = TRU
IF (TRU,NTRU) = TRU
IF (TRU,AND) = TRU
IF (TRU,NIMP) = TRU
IF (TRU,XOR) = TRU
IF (TRU,IMP) = TRU
IF (TRU,NAND) = TRU
IF (TRU,TRU) = TRU
IF (TRU,IF) = TRU
IF (TRU,FIX) = TRU
IF (TRU,LET) = TRU
IF (TRU,NOR) = TRU
IF (IF,LEQ) = TRU
IF (IF,OR) = IF
IF (IF,DENY) = TRU
IF (IF,FLIP) = IF
IF (IF,NIF) = IF
IF (IF,NTRU) = TRU
IF (IF,AND) = TRU
IF (IF,NIMP) = TRU
IF (IF,XOR) = IF
IF (IF,IMP) = IF
IF (IF,NAND) = IF
IF (IF,TRU) = IF
IF (IF,IF) = TRU
IF (IF,FIX) = TRU
IF (IF,LET) = IF
IF (IF,NOR) = TRU
IF (FIX,LEQ) = OR
IF (FIX,OR) = IF
IF (FIX,DENY) = OR
IF (FIX,FLIP) = FIX
IF (FIX,NIF) = IF
IF (FIX,NTRU) = TRU
IF (FIX,AND) = TRU
IF (FIX,NIMP) = TRU
IF (FIX,XOR) = IF
IF (FIX,IMP) = FIX
IF (FIX,NAND) = FIX
IF (FIX,TRU) = FIX
IF (FIX,IF) = OR
IF (FIX,FIX) = TRU
IF (FIX,LET) = IF
IF (FIX,NOR) = OR
IF (LET,LEQ) = OR
IF (LET,OR) = IMP
IF (LET,DENY) = LET
IF (LET,FLIP) = OR
IF (LET,NIF) = TRU
IF (LET,NTRU) = TRU
IF (LET,AND) = TRU
IF (LET,NIMP) = IMP
IF (LET,XOR) = IMP
IF (LET,IMP) = OR
IF (LET,NAND) = LET
IF (LET,TRU) = LET
IF (LET,IF) = LET
IF (LET,FIX) = IMP
IF (LET,LET) = TRU
IF (LET,NOR) = OR
IF (NOR,LEQ) = NAND
IF (NOR,OR) = NOR
IF (NOR,DENY) = IMP
IF (NOR,FLIP) = IF
IF (NOR,NIF) = IF
IF (NOR,NTRU) = TRU
IF (NOR,AND) = NAND
IF (NOR,NIMP) = IMP
IF (NOR,XOR) = LEQ
IF (NOR,IMP) = DENY
IF (NOR,NAND) = LEQ
IF (NOR,TRU) = NOR
IF (NOR,IF) = FLIP
IF (NOR,FIX) = FLIP
IF (NOR,LET) = DENY
IF (NOR,NOR) = TRU
FIX (LEQ,LEQ) = LEQ
FIX (LEQ,OR) = LEQ
FIX (LEQ,DENY) = LEQ
FIX (LEQ,FLIP) = LEQ
FIX (LEQ,NIF) = LEQ
FIX (LEQ,NTRU) = LEQ
FIX (LEQ,AND) = LEQ
FIX (LEQ,NIMP) = LEQ
FIX (LEQ,XOR) = LEQ
FIX (LEQ,IMP) = LEQ
FIX (LEQ,NAND) = LEQ
FIX (LEQ,TRU) = LEQ
FIX (LEQ,IF) = LEQ
FIX (LEQ,FIX) = LEQ
FIX (LEQ,LET) = LEQ
FIX (LEQ,NOR) = LEQ
FIX (OR,LEQ) = OR
FIX (OR,OR) = OR
FIX (OR,DENY) = OR
FIX (OR,FLIP) = OR
FIX (OR,NIF) = OR
FIX (OR,NTRU) = OR
FIX (OR,AND) = OR
FIX (OR,NIMP) = OR
FIX (OR,XOR) = OR
FIX (OR,IMP) = OR
FIX (OR,NAND) = OR
FIX (OR,TRU) = OR
FIX (OR,IF) = OR
FIX (OR,FIX) = OR
FIX (OR,LET) = OR
FIX (OR,NOR) = OR
FIX (DENY,LEQ) = DENY
FIX (DENY,OR) = DENY
FIX (DENY,DENY) = DENY
FIX (DENY,FLIP) = DENY
FIX (DENY,NIF) = DENY
FIX (DENY,NTRU) = DENY
FIX (DENY,AND) = DENY
FIX (DENY,NIMP) = DENY
FIX (DENY,XOR) = DENY
FIX (DENY,IMP) = DENY
FIX (DENY,NAND) = DENY
FIX (DENY,TRU) = DENY
FIX (DENY,IF) = DENY
FIX (DENY,FIX) = DENY
FIX (DENY,LET) = DENY
FIX (DENY,NOR) = DENY
FIX (FLIP,LEQ) = FLIP
FIX (FLIP,OR) = FLIP
FIX (FLIP,DENY) = FLIP
FIX (FLIP,FLIP) = FLIP
FIX (FLIP,NIF) = FLIP
FIX (FLIP,NTRU) = FLIP
FIX (FLIP,AND) = FLIP
FIX (FLIP,NIMP) = FLIP
FIX (FLIP,XOR) = FLIP
FIX (FLIP,IMP) = FLIP
FIX (FLIP,NAND) = FLIP
FIX (FLIP,TRU) = FLIP
FIX (FLIP,IF) = FLIP
FIX (FLIP,FIX) = FLIP
FIX (FLIP,LET) = FLIP
FIX (FLIP,NOR) = FLIP
FIX (NIF,LEQ) = NIF
FIX (NIF,OR) = NIF
FIX (NIF,DENY) = NIF
FIX (NIF,FLIP) = NIF
FIX (NIF,NIF) = NIF
FIX (NIF,NTRU) = NIF
FIX (NIF,AND) = NIF
FIX (NIF,NIMP) = NIF
FIX (NIF,XOR) = NIF
FIX (NIF,IMP) = NIF
FIX (NIF,NAND) = NIF
FIX (NIF,TRU) = NIF
FIX (NIF,IF) = NIF
FIX (NIF,FIX) = NIF
FIX (NIF,LET) = NIF
FIX (NIF,NOR) = NIF
FIX (NTRU,LEQ) = NTRU
FIX (NTRU,OR) = NTRU
FIX (NTRU,DENY) = NTRU
FIX (NTRU,FLIP) = NTRU
FIX (NTRU,NIF) = NTRU
FIX (NTRU,NTRU) = NTRU
FIX (NTRU,AND) = NTRU
FIX (NTRU,NIMP) = NTRU
FIX (NTRU,XOR) = NTRU
FIX (NTRU,IMP) = NTRU
FIX (NTRU,NAND) = NTRU
FIX (NTRU,TRU) = NTRU
FIX (NTRU,IF) = NTRU
FIX (NTRU,FIX) = NTRU
FIX (NTRU,LET) = NTRU
FIX (NTRU,NOR) = NTRU
FIX (AND,LEQ) = AND
FIX (AND,OR) = AND
FIX (AND,DENY) = AND
FIX (AND,FLIP) = AND
FIX (AND,NIF) = AND
FIX (AND,NTRU) = AND
FIX (AND,AND) = AND
FIX (AND,NIMP) = AND
FIX (AND,XOR) = AND
FIX (AND,IMP) = AND
FIX (AND,NAND) = AND
FIX (AND,TRU) = AND
FIX (AND,IF) = AND
FIX (AND,FIX) = AND
FIX (AND,LET) = AND
FIX (AND,NOR) = AND
FIX (NIMP,LEQ) = NIMP
FIX (NIMP,OR) = NIMP
FIX (NIMP,DENY) = NIMP
FIX (NIMP,FLIP) = NIMP
FIX (NIMP,NIF) = NIMP
FIX (NIMP,NTRU) = NIMP
FIX (NIMP,AND) = NIMP
FIX (NIMP,NIMP) = NIMP
FIX (NIMP,XOR) = NIMP
FIX (NIMP,IMP) = NIMP
FIX (NIMP,NAND) = NIMP
FIX (NIMP,TRU) = NIMP
FIX (NIMP,IF) = NIMP
FIX (NIMP,FIX) = NIMP
FIX (NIMP,LET) = NIMP
FIX (NIMP,NOR) = NIMP
FIX (XOR,LEQ) = XOR
FIX (XOR,OR) = XOR
FIX (XOR,DENY) = XOR
FIX (XOR,FLIP) = XOR
FIX (XOR,NIF) = XOR
FIX (XOR,NTRU) = XOR
FIX (XOR,AND) = XOR
FIX (XOR,NIMP) = XOR
FIX (XOR,XOR) = XOR
FIX (XOR,IMP) = XOR
FIX (XOR,NAND) = XOR
FIX (XOR,TRU) = XOR
FIX (XOR,IF) = XOR
FIX (XOR,FIX) = XOR
FIX (XOR,LET) = XOR
FIX (XOR,NOR) = XOR
FIX (IMP,LEQ) = IMP
FIX (IMP,OR) = IMP
FIX (IMP,DENY) = IMP
FIX (IMP,FLIP) = IMP
FIX (IMP,NIF) = IMP
FIX (IMP,NTRU) = IMP
FIX (IMP,AND) = IMP
FIX (IMP,NIMP) = IMP
FIX (IMP,XOR) = IMP
FIX (IMP,IMP) = IMP
FIX (IMP,NAND) = IMP
FIX (IMP,TRU) = IMP
FIX (IMP,IF) = IMP
FIX (IMP,FIX) = IMP
FIX (IMP,LET) = IMP
FIX (IMP,NOR) = IMP
FIX (NAND,LEQ) = NAND
FIX (NAND,OR) = NAND
FIX (NAND,DENY) = NAND
FIX (NAND,FLIP) = NAND
FIX (NAND,NIF) = NAND
FIX (NAND,NTRU) = NAND
FIX (NAND,AND) = NAND
FIX (NAND,NIMP) = NAND
FIX (NAND,XOR) = NAND
FIX (NAND,IMP) = NAND
FIX (NAND,NAND) = NAND
FIX (NAND,TRU) = NAND
FIX (NAND,IF) = NAND
FIX (NAND,FIX) = NAND
FIX (NAND,LET) = NAND
FIX (NAND,NOR) = NAND
FIX (TRU,LEQ) = TRU
FIX (TRU,OR) = TRU
FIX (TRU,DENY) = TRU
FIX (TRU,FLIP) = TRU
FIX (TRU,NIF) = TRU
FIX (TRU,NTRU) = TRU
FIX (TRU,AND) = TRU
FIX (TRU,NIMP) = TRU
FIX (TRU,XOR) = TRU
FIX (TRU,IMP) = TRU
FIX (TRU,NAND) = TRU
FIX (TRU,TRU) = TRU
FIX (TRU,IF) = TRU
FIX (TRU,FIX) = TRU
FIX (TRU,LET) = TRU
FIX (TRU,NOR) = TRU
FIX (IF,LEQ) = IF
FIX (IF,OR) = IF
FIX (IF,DENY) = IF
FIX (IF,FLIP) = IF
FIX (IF,NIF) = IF
FIX (IF,NTRU) = IF
FIX (IF,AND) = IF
FIX (IF,NIMP) = IF
FIX (IF,XOR) = IF
FIX (IF,IMP) = IF
FIX (IF,NAND) = IF
FIX (IF,TRU) = IF
FIX (IF,IF) = IF
FIX (IF,FIX) = IF
FIX (IF,LET) = IF
FIX (IF,NOR) = IF
FIX (FIX,LEQ) = FIX
FIX (FIX,OR) = FIX
FIX (FIX,DENY) = FIX
FIX (FIX,FLIP) = FIX
FIX (FIX,NIF) = FIX
FIX (FIX,NTRU) = FIX
FIX (FIX,AND) = FIX
FIX (FIX,NIMP) = FIX
FIX (FIX,XOR) = FIX
FIX (FIX,IMP) = FIX
FIX (FIX,NAND) = FIX
FIX (FIX,TRU) = FIX
FIX (FIX,IF) = FIX
FIX (FIX,FIX) = FIX
FIX (FIX,LET) = FIX
FIX (FIX,NOR) = FIX
FIX (LET,LEQ) = LET
FIX (LET,OR) = LET
FIX (LET,DENY) = LET
FIX (LET,FLIP) = LET
FIX (LET,NIF) = LET
FIX (LET,NTRU) = LET
FIX (LET,AND) = LET
FIX (LET,NIMP) = LET
FIX (LET,XOR) = LET
FIX (LET,IMP) = LET
FIX (LET,NAND) = LET
FIX (LET,TRU) = LET
FIX (LET,IF) = LET
FIX (LET,FIX) = LET
FIX (LET,LET) = LET
FIX (LET,NOR) = LET
FIX (NOR,LEQ) = NOR
FIX (NOR,OR) = NOR
FIX (NOR,DENY) = NOR
FIX (NOR,FLIP) = NOR
FIX (NOR,NIF) = NOR
FIX (NOR,NTRU) = NOR
FIX (NOR,AND) = NOR
FIX (NOR,NIMP) = NOR
FIX (NOR,XOR) = NOR
FIX (NOR,IMP) = NOR
FIX (NOR,NAND) = NOR
FIX (NOR,TRU) = NOR
FIX (NOR,IF) = NOR
FIX (NOR,FIX) = NOR
FIX (NOR,LET) = NOR
FIX (NOR,NOR) = NOR
LET (LEQ,LEQ) = LEQ
LET (LEQ,OR) = OR
LET (LEQ,DENY) = DENY
LET (LEQ,FLIP) = FLIP
LET (LEQ,NIF) = NIF
LET (LEQ,NTRU) = NTRU
LET (LEQ,AND) = AND
LET (LEQ,NIMP) = NIMP
LET (LEQ,XOR) = XOR
LET (LEQ,IMP) = IMP
LET (LEQ,NAND) = NAND
LET (LEQ,TRU) = TRU
LET (LEQ,IF) = IF
LET (LEQ,FIX) = FIX
LET (LEQ,LET) = LET
LET (LEQ,NOR) = NOR
LET (OR,LEQ) = LEQ
LET (OR,OR) = OR
LET (OR,DENY) = DENY
LET (OR,FLIP) = FLIP
LET (OR,NIF) = NIF
LET (OR,NTRU) = NTRU
LET (OR,AND) = AND
LET (OR,NIMP) = NIMP
LET (OR,XOR) = XOR
LET (OR,IMP) = IMP
LET (OR,NAND) = NAND
LET (OR,TRU) = TRU
LET (OR,IF) = IF
LET (OR,FIX) = FIX
LET (OR,LET) = LET
LET (OR,NOR) = NOR
LET (DENY,LEQ) = LEQ
LET (DENY,OR) = OR
LET (DENY,DENY) = DENY
LET (DENY,FLIP) = FLIP
LET (DENY,NIF) = NIF
LET (DENY,NTRU) = NTRU
LET (DENY,AND) = AND
LET (DENY,NIMP) = NIMP
LET (DENY,XOR) = XOR
LET (DENY,IMP) = IMP
LET (DENY,NAND) = NAND
LET (DENY,TRU) = TRU
LET (DENY,IF) = IF
LET (DENY,FIX) = FIX
LET (DENY,LET) = LET
LET (DENY,NOR) = NOR
LET (FLIP,LEQ) = LEQ
LET (FLIP,OR) = OR
LET (FLIP,DENY) = DENY
LET (FLIP,FLIP) = FLIP
LET (FLIP,NIF) = NIF
LET (FLIP,NTRU) = NTRU
LET (FLIP,AND) = AND
LET (FLIP,NIMP) = NIMP
LET (FLIP,XOR) = XOR
LET (FLIP,IMP) = IMP
LET (FLIP,NAND) = NAND
LET (FLIP,TRU) = TRU
LET (FLIP,IF) = IF
LET (FLIP,FIX) = FIX
LET (FLIP,LET) = LET
LET (FLIP,NOR) = NOR
LET (NIF,LEQ) = LEQ
LET (NIF,OR) = OR
LET (NIF,DENY) = DENY
LET (NIF,FLIP) = FLIP
LET (NIF,NIF) = NIF
LET (NIF,NTRU) = NTRU
LET (NIF,AND) = AND
LET (NIF,NIMP) = NIMP
LET (NIF,XOR) = XOR
LET (NIF,IMP) = IMP
LET (NIF,NAND) = NAND
LET (NIF,TRU) = TRU
LET (NIF,IF) = IF
LET (NIF,FIX) = FIX
LET (NIF,LET) = LET
LET (NIF,NOR) = NOR
LET (NTRU,LEQ) = LEQ
LET (NTRU,OR) = OR
LET (NTRU,DENY) = DENY
LET (NTRU,FLIP) = FLIP
LET (NTRU,NIF) = NIF
LET (NTRU,NTRU) = NTRU
LET (NTRU,AND) = AND
LET (NTRU,NIMP) = NIMP
LET (NTRU,XOR) = XOR
LET (NTRU,IMP) = IMP
LET (NTRU,NAND) = NAND
LET (NTRU,TRU) = TRU
LET (NTRU,IF) = IF
LET (NTRU,FIX) = FIX
LET (NTRU,LET) = LET
LET (NTRU,NOR) = NOR
LET (AND,LEQ) = LEQ
LET (AND,OR) = OR
LET (AND,DENY) = DENY
LET (AND,FLIP) = FLIP
LET (AND,NIF) = NIF
LET (AND,NTRU) = NTRU
LET (AND,AND) = AND
LET (AND,NIMP) = NIMP
LET (AND,XOR) = XOR
LET (AND,IMP) = IMP
LET (AND,NAND) = NAND
LET (AND,TRU) = TRU
LET (AND,IF) = IF
LET (AND,FIX) = FIX
LET (AND,LET) = LET
LET (AND,NOR) = NOR
LET (NIMP,LEQ) = LEQ
LET (NIMP,OR) = OR
LET (NIMP,DENY) = DENY
LET (NIMP,FLIP) = FLIP
LET (NIMP,NIF) = NIF
LET (NIMP,NTRU) = NTRU
LET (NIMP,AND) = AND
LET (NIMP,NIMP) = NIMP
LET (NIMP,XOR) = XOR
LET (NIMP,IMP) = IMP
LET (NIMP,NAND) = NAND
LET (NIMP,TRU) = TRU
LET (NIMP,IF) = IF
LET (NIMP,FIX) = FIX
LET (NIMP,LET) = LET
LET (NIMP,NOR) = NOR
LET (XOR,LEQ) = LEQ
LET (XOR,OR) = OR
LET (XOR,DENY) = DENY
LET (XOR,FLIP) = FLIP
LET (XOR,NIF) = NIF
LET (XOR,NTRU) = NTRU
LET (XOR,AND) = AND
LET (XOR,NIMP) = NIMP
LET (XOR,XOR) = XOR
LET (XOR,IMP) = IMP
LET (XOR,NAND) = NAND
LET (XOR,TRU) = TRU
LET (XOR,IF) = IF
LET (XOR,FIX) = FIX
LET (XOR,LET) = LET
LET (XOR,NOR) = NOR
LET (IMP,LEQ) = LEQ
LET (IMP,OR) = OR
LET (IMP,DENY) = DENY
LET (IMP,FLIP) = FLIP
LET (IMP,NIF) = NIF
LET (IMP,NTRU) = NTRU
LET (IMP,AND) = AND
LET (IMP,NIMP) = NIMP
LET (IMP,XOR) = XOR
LET (IMP,IMP) = IMP
LET (IMP,NAND) = NAND
LET (IMP,TRU) = TRU
LET (IMP,IF) = IF
LET (IMP,FIX) = FIX
LET (IMP,LET) = LET
LET (IMP,NOR) = NOR
LET (NAND,LEQ) = LEQ
LET (NAND,OR) = OR
LET (NAND,DENY) = DENY
LET (NAND,FLIP) = FLIP
LET (NAND,NIF) = NIF
LET (NAND,NTRU) = NTRU
LET (NAND,AND) = AND
LET (NAND,NIMP) = NIMP
LET (NAND,XOR) = XOR
LET (NAND,IMP) = IMP
LET (NAND,NAND) = NAND
LET (NAND,TRU) = TRU
LET (NAND,IF) = IF
LET (NAND,FIX) = FIX
LET (NAND,LET) = LET
LET (NAND,NOR) = NOR
LET (TRU,LEQ) = LEQ
LET (TRU,OR) = OR
LET (TRU,DENY) = DENY
LET (TRU,FLIP) = FLIP
LET (TRU,NIF) = NIF
LET (TRU,NTRU) = NTRU
LET (TRU,AND) = AND
LET (TRU,NIMP) = NIMP
LET (TRU,XOR) = XOR
LET (TRU,IMP) = IMP
LET (TRU,NAND) = NAND
LET (TRU,TRU) = TRU
LET (TRU,IF) = IF
LET (TRU,FIX) = FIX
LET (TRU,LET) = LET
LET (TRU,NOR) = NOR
LET (IF,LEQ) = LEQ
LET (IF,OR) = OR
LET (IF,DENY) = DENY
LET (IF,FLIP) = FLIP
LET (IF,NIF) = NIF
LET (IF,NTRU) = NTRU
LET (IF,AND) = AND
LET (IF,NIMP) = NIMP
LET (IF,XOR) = XOR
LET (IF,IMP) = IMP
LET (IF,NAND) = NAND
LET (IF,TRU) = TRU
LET (IF,IF) = IF
LET (IF,FIX) = FIX
LET (IF,LET) = LET
LET (IF,NOR) = NOR
LET (FIX,LEQ) = LEQ
LET (FIX,OR) = OR
LET (FIX,DENY) = DENY
LET (FIX,FLIP) = FLIP
LET (FIX,NIF) = NIF
LET (FIX,NTRU) = NTRU
LET (FIX,AND) = AND
LET (FIX,NIMP) = NIMP
LET (FIX,XOR) = XOR
LET (FIX,IMP) = IMP
LET (FIX,NAND) = NAND
LET (FIX,TRU) = TRU
LET (FIX,IF) = IF
LET (FIX,FIX) = FIX
LET (FIX,LET) = LET
LET (FIX,NOR) = NOR
LET (LET,LEQ) = LEQ
LET (LET,OR) = OR
LET (LET,DENY) = DENY
LET (LET,FLIP) = FLIP
LET (LET,NIF) = NIF
LET (LET,NTRU) = NTRU
LET (LET,AND) = AND
LET (LET,NIMP) = NIMP
LET (LET,XOR) = XOR
LET (LET,IMP) = IMP
LET (LET,NAND) = NAND
LET (LET,TRU) = TRU
LET (LET,IF) = IF
LET (LET,FIX) = FIX
LET (LET,LET) = LET
LET (LET,NOR) = NOR
LET (NOR,LEQ) = LEQ
LET (NOR,OR) = OR
LET (NOR,DENY) = DENY
LET (NOR,FLIP) = FLIP
LET (NOR,NIF) = NIF
LET (NOR,NTRU) = NTRU
LET (NOR,AND) = AND
LET (NOR,NIMP) = NIMP
LET (NOR,XOR) = XOR
LET (NOR,IMP) = IMP
LET (NOR,NAND) = NAND
LET (NOR,TRU) = TRU
LET (NOR,IF) = IF
LET (NOR,FIX) = FIX
LET (NOR,LET) = LET
LET (NOR,NOR) = NOR
NOR (LEQ,LEQ) = XOR
NOR (LEQ,OR) = NTRU
NOR (LEQ,DENY) = NIF
NOR (LEQ,FLIP) = NIMP
NOR (LEQ,NIF) = NIMP
NOR (LEQ,NTRU) = XOR
NOR (LEQ,AND) = XOR
NOR (LEQ,NIMP) = NIF
NOR (LEQ,XOR) = NTRU
NOR (LEQ,IMP) = NIMP
NOR (LEQ,NAND) = NTRU
NOR (LEQ,TRU) = NTRU
NOR (LEQ,IF) = NIF
NOR (LEQ,FIX) = NIF
NOR (LEQ,LET) = NIMP
NOR (LEQ,NOR) = XOR
NOR (OR,LEQ) = NTRU
NOR (OR,OR) = NOR
NOR (OR,DENY) = NTRU
NOR (OR,FLIP) = NTRU
NOR (OR,NIF) = NOR
NOR (OR,NTRU) = NOR
NOR (OR,AND) = NOR
NOR (OR,NIMP) = NOR
NOR (OR,XOR) = NOR
NOR (OR,IMP) = NTRU
NOR (OR,NAND) = NTRU
NOR (OR,TRU) = NTRU
NOR (OR,IF) = NTRU
NOR (OR,FIX) = NOR
NOR (OR,LET) = NOR
NOR (OR,NOR) = NTRU
NOR (DENY,LEQ) = NIF
NOR (DENY,OR) = NTRU
NOR (DENY,DENY) = LET
NOR (DENY,FLIP) = AND
NOR (DENY,NIF) = AND
NOR (DENY,NTRU) = LET
NOR (DENY,AND) = NIF
NOR (DENY,NIMP) = LET
NOR (DENY,XOR) = AND
NOR (DENY,IMP) = NTRU
NOR (DENY,NAND) = AND
NOR (DENY,TRU) = NTRU
NOR (DENY,IF) = NIF
NOR (DENY,FIX) = NIF
NOR (DENY,LET) = NTRU
NOR (DENY,NOR) = LET
NOR (FLIP,LEQ) = NIMP
NOR (FLIP,OR) = NTRU
NOR (FLIP,DENY) = AND
NOR (FLIP,FLIP) = FIX
NOR (FLIP,NIF) = FIX
NOR (FLIP,NTRU) = FIX
NOR (FLIP,AND) = NIMP
NOR (FLIP,NIMP) = AND
NOR (FLIP,XOR) = AND
NOR (FLIP,IMP) = NIMP
NOR (FLIP,NAND) = AND
NOR (FLIP,TRU) = NTRU
NOR (FLIP,IF) = NTRU
NOR (FLIP,FIX) = NTRU
NOR (FLIP,LET) = NIMP
NOR (FLIP,NOR) = FIX
NOR (NIF,LEQ) = NIMP
NOR (NIF,OR) = NOR
NOR (NIF,DENY) = AND
NOR (NIF,FLIP) = FIX
NOR (NIF,NIF) = IF
NOR (NIF,NTRU) = IF
NOR (NIF,AND) = DENY
NOR (NIF,NIMP) = LEQ
NOR (NIF,XOR) = LEQ
NOR (NIF,IMP) = NIMP
NOR (NIF,NAND) = AND
NOR (NIF,TRU) = NTRU
NOR (NIF,IF) = NTRU
NOR (NIF,FIX) = NOR
NOR (NIF,LET) = DENY
NOR (NIF,NOR) = FIX
NOR (NTRU,LEQ) = XOR
NOR (NTRU,OR) = NOR
NOR (NTRU,DENY) = LET
NOR (NTRU,FLIP) = FIX
NOR (NTRU,NIF) = IF
NOR (NTRU,NTRU) = TRU
NOR (NTRU,AND) = NAND
NOR (NTRU,NIMP) = IMP
NOR (NTRU,XOR) = LEQ
NOR (NTRU,IMP) = NIMP
NOR (NTRU,NAND) = AND
NOR (NTRU,TRU) = NTRU
NOR (NTRU,IF) = NIF
NOR (NTRU,FIX) = FLIP
NOR (NTRU,LET) = DENY
NOR (NTRU,NOR) = OR
NOR (AND,LEQ) = XOR
NOR (AND,OR) = NOR
NOR (AND,DENY) = NIF
NOR (AND,FLIP) = NIMP
NOR (AND,NIF) = DENY
NOR (AND,NTRU) = NAND
NOR (AND,AND) = NAND
NOR (AND,NIMP) = FLIP
NOR (AND,XOR) = NOR
NOR (AND,IMP) = NIMP
NOR (AND,NAND) = NTRU
NOR (AND,TRU) = NTRU
NOR (AND,IF) = NIF
NOR (AND,FIX) = FLIP
NOR (AND,LET) = DENY
NOR (AND,NOR) = XOR
NOR (NIMP,LEQ) = NIF
NOR (NIMP,OR) = NOR
NOR (NIMP,DENY) = LET
NOR (NIMP,FLIP) = AND
NOR (NIMP,NIF) = LEQ
NOR (NIMP,NTRU) = IMP
NOR (NIMP,AND) = FLIP
NOR (NIMP,NIMP) = IMP
NOR (NIMP,XOR) = LEQ
NOR (NIMP,IMP) = NTRU
NOR (NIMP,NAND) = AND
NOR (NIMP,TRU) = NTRU
NOR (NIMP,IF) = NIF
NOR (NIMP,FIX) = FLIP
NOR (NIMP,LET) = NOR
NOR (NIMP,NOR) = LET
NOR (XOR,LEQ) = NTRU
NOR (XOR,OR) = NOR
NOR (XOR,DENY) = AND
NOR (XOR,FLIP) = AND
NOR (XOR,NIF) = LEQ
NOR (XOR,NTRU) = LEQ
NOR (XOR,AND) = NOR
NOR (XOR,NIMP) = LEQ
NOR (XOR,XOR) = LEQ
NOR (XOR,IMP) = NTRU
NOR (XOR,NAND) = AND
NOR (XOR,TRU) = NTRU
NOR (XOR,IF) = NTRU
NOR (XOR,FIX) = NOR
NOR (XOR,LET) = NOR
NOR (XOR,NOR) = AND
NOR (IMP,LEQ) = NIMP
NOR (IMP,OR) = NTRU
NOR (IMP,DENY) = NTRU
NOR (IMP,FLIP) = NIMP
NOR (IMP,NIF) = NIMP
NOR (IMP,NTRU) = NIMP
NOR (IMP,AND) = NIMP
NOR (IMP,NIMP) = NTRU
NOR (IMP,XOR) = NTRU
NOR (IMP,IMP) = NIMP
NOR (IMP,NAND) = NTRU
NOR (IMP,TRU) = NTRU
NOR (IMP,IF) = NTRU
NOR (IMP,FIX) = NTRU
NOR (IMP,LET) = NIMP
NOR (IMP,NOR) = NIMP
NOR (NAND,LEQ) = NTRU
NOR (NAND,OR) = NTRU
NOR (NAND,DENY) = AND
NOR (NAND,FLIP) = AND
NOR (NAND,NIF) = AND
NOR (NAND,NTRU) = AND
NOR (NAND,AND) = NTRU
NOR (NAND,NIMP) = AND
NOR (NAND,XOR) = AND
NOR (NAND,IMP) = NTRU
NOR (NAND,NAND) = AND
NOR (NAND,TRU) = NTRU
NOR (NAND,IF) = NTRU
NOR (NAND,FIX) = NTRU
NOR (NAND,LET) = NTRU
NOR (NAND,NOR) = AND
NOR (TRU,LEQ) = NTRU
NOR (TRU,OR) = NTRU
NOR (TRU,DENY) = NTRU
NOR (TRU,FLIP) = NTRU
NOR (TRU,NIF) = NTRU
NOR (TRU,NTRU) = NTRU
NOR (TRU,AND) = NTRU
NOR (TRU,NIMP) = NTRU
NOR (TRU,XOR) = NTRU
NOR (TRU,IMP) = NTRU
NOR (TRU,NAND) = NTRU
NOR (TRU,TRU) = NTRU
NOR (TRU,IF) = NTRU
NOR (TRU,FIX) = NTRU
NOR (TRU,LET) = NTRU
NOR (TRU,NOR) = NTRU
NOR (IF,LEQ) = NIF
NOR (IF,OR) = NTRU
NOR (IF,DENY) = NIF
NOR (IF,FLIP) = NTRU
NOR (IF,NIF) = NTRU
NOR (IF,NTRU) = NIF
NOR (IF,AND) = NIF
NOR (IF,NIMP) = NIF
NOR (IF,XOR) = NTRU
NOR (IF,IMP) = NTRU
NOR (IF,NAND) = NTRU
NOR (IF,TRU) = NTRU
NOR (IF,IF) = NIF
NOR (IF,FIX) = NIF
NOR (IF,LET) = NTRU
NOR (IF,NOR) = NIF
NOR (FIX,LEQ) = NIF
NOR (FIX,OR) = NOR
NOR (FIX,DENY) = NIF
NOR (FIX,FLIP) = NTRU
NOR (FIX,NIF) = NOR
NOR (FIX,NTRU) = FLIP
NOR (FIX,AND) = FLIP
NOR (FIX,NIMP) = FLIP
NOR (FIX,XOR) = NOR
NOR (FIX,IMP) = NTRU
NOR (FIX,NAND) = NTRU
NOR (FIX,TRU) = NTRU
NOR (FIX,IF) = NIF
NOR (FIX,FIX) = FLIP
NOR (FIX,LET) = NOR
NOR (FIX,NOR) = NIF
NOR (LET,LEQ) = NIMP
NOR (LET,OR) = NOR
NOR (LET,DENY) = NTRU
NOR (LET,FLIP) = NIMP
NOR (LET,NIF) = DENY
NOR (LET,NTRU) = DENY
NOR (LET,AND) = DENY
NOR (LET,NIMP) = NOR
NOR (LET,XOR) = NOR
NOR (LET,IMP) = NIMP
NOR (LET,NAND) = NTRU
NOR (LET,TRU) = NTRU
NOR (LET,IF) = NTRU
NOR (LET,FIX) = NOR
NOR (LET,LET) = DENY
NOR (LET,NOR) = NIMP
NOR (NOR,LEQ) = XOR
NOR (NOR,OR) = NTRU
NOR (NOR,DENY) = LET
NOR (NOR,FLIP) = FIX
NOR (NOR,NIF) = FIX
NOR (NOR,NTRU) = OR
NOR (NOR,AND) = XOR
NOR (NOR,NIMP) = LET
NOR (NOR,XOR) = AND
NOR (NOR,IMP) = NIMP
NOR (NOR,NAND) = AND
NOR (NOR,TRU) = NTRU
NOR (NOR,IF) = NIF
NOR (NOR,FIX) = NIF
NOR (NOR,LET) = NIMP
NOR (NOR,NOR) = OR