D C3 C2 C1 C B A1 A->Y 0 0 0 0 0 0 0 0 Y=1 1 0 0 0 0 0 0 0 Y=0 1 1 0 0 0 0 0 0 Y=0 0 1 0 0 0 0 0 0 Y=1 0 1 1 0 0 0 0 0 Y=1 1 1 1 0 0 0 0 0 Y=0 1 0 1 0 0 0 0 0 Y=0 0 0 1 0 0 0 0 0 Y=1 0 0 1 1 0 0 0 0 Y=1 1 0 1 1 0 0 0 0 Y=0 1 1 1 1 0 0 0 0 Y=0 0 1 1 1 0 0 0 0 Y=1 0 1 0 1 0 0 0 0 Y=1 1 1 0 1 0 0 0 0 Y=0 1 0 0 1 0 0 0 0 Y=0 0 0 0 1 0 0 0 0 Y=1 0 0 0 1 1 0 0 0 Y=1 1 0 0 1 1 0 0 0 Y=0 1 1 0 1 1 0 0 0 Y=0 0 1 0 1 1 0 0 0 Y=1 0 1 1 1 1 0 0 0 Y=0 1 1 1 1 1 0 0 0 Y=0 1 0 1 1 1 0 0 0 Y=0 0 0 1 1 1 0 0 0 Y=1 0 0 1 0 1 0 0 0 Y=1 1 0 1 0 1 0 0 0 Y=0 1 1 1 0 1 0 0 0 Y=0 0 1 1 0 1 0 0 0 Y=1 0 1 0 0 1 0 0 0 Y=1 1 1 0 0 1 0 0 0 Y=0 1 0 0 0 1 0 0 0 Y=0 0 0 0 0 1 0 0 0 Y=1 0 0 0 0 1 1 0 0 Y=1 1 0 0 0 1 1 0 0 Y=0 1 1 0 0 1 1 0 0 Y=0 0 1 0 0 1 1 0 0 Y=1 0 1 1 0 1 1 0 0 Y=1 1 1 1 0 1 1 0 0 Y=0 1 0 1 0 1 1 0 0 Y=0 0 0 1 0 1 1 0 0 Y=1 0 0 1 1 1 1 0 0 Y=1 1 0 1 1 1 1 0 0 Y=0 1 1 1 1 1 1 0 0 Y=0 0 1 1 1 1 1 0 0 Y=0 0 1 0 1 1 1 0 0 Y=1 1 1 0 1 1 1 0 0 Y=0 1 0 0 1 1 1 0 0 Y=0 0 0 0 1 1 1 0 0 Y=1 0 0 0 1 0 1 0 0 Y=1 1 0 0 1 0 1 0 0 Y=0 1 1 0 1 0 1 0 0 Y=0 0 1 0 1 0 1 0 0 Y=1 0 1 1 1 0 1 0 0 Y=1 1 1 1 1 0 1 0 0 Y=0 1 0 1 1 0 1 0 0 Y=0 0 0 1 1 0 1 0 0 Y=1 0 0 1 0 0 1 0 0 Y=1 1 0 1 0 0 1 0 0 Y=0 1 1 1 0 0 1 0 0 Y=0 0 1 1 0 0 1 0 0 Y=1 0 1 0 0 0 1 0 0 Y=1 1 1 0 0 0 1 0 0 Y=0 1 0 0 0 0 1 0 0 Y=0 0 0 0 0 0 1 0 0 Y=1 0 0 0 0 0 1 1 0 Y=0 1 0 0 0 0 1 1 0 Y=0 1 1 0 0 0 1 1 0 Y=0 0 1 0 0 0 1 1 0 Y=0 0 1 1 0 0 1 1 0 Y=0 1 1 1 0 0 1 1 0 Y=0 1 0 1 0 0 1 1 0 Y=0 0 0 1 0 0 1 1 0 Y=0 0 0 1 1 0 1 1 0 Y=0 1 0 1 1 0 1 1 0 Y=0 1 1 1 1 0 1 1 0 Y=0 0 1 1 1 0 1 1 0 Y=0 0 1 0 1 0 1 1 0 Y=0 1 1 0 1 0 1 1 0 Y=0 1 0 0 1 0 1 1 0 Y=0 0 0 0 1 0 1 1 0 Y=0 0 0 0 1 1 1 1 0 Y=0 1 0 0 1 1 1 1 0 Y=0 1 1 0 1 1 1 1 0 Y=0 0 1 0 1 1 1 1 0 Y=0 0 1 1 1 1 1 1 0 Y=0 1 1 1 1 1 1 1 0 Y=0 1 0 1 1 1 1 1 0 Y=0 0 0 1 1 1 1 1 0 Y=0 0 0 1 0 1 1 1 0 Y=0 1 0 1 0 1 1 1 0 Y=0 1 1 1 0 1 1 1 0 Y=0 0 1 1 0 1 1 1 0 Y=0 0 1 0 0 1 1 1 0 Y=0 1 1 0 0 1 1 1 0 Y=0 1 0 0 0 1 1 1 0 Y=0 0 0 0 0 1 1 1 0 Y=0 0 0 0 0 1 0 1 0 Y=1 1 0 0 0 1 0 1 0 Y=0 1 1 0 0 1 0 1 0 Y=0 0 1 0 0 1 0 1 0 Y=1 0 1 1 0 1 0 1 0 Y=1 1 1 1 0 1 0 1 0 Y=0 1 0 1 0 1 0 1 0 Y=0 0 0 1 0 1 0 1 0 Y=1 0 0 1 1 1 0 1 0 Y=1 1 0 1 1 1 0 1 0 Y=0 1 1 1 1 1 0 1 0 Y=0 0 1 1 1 1 0 1 0 Y=0 0 1 0 1 1 0 1 0 Y=1 1 1 0 1 1 0 1 0 Y=0 1 0 0 1 1 0 1 0 Y=0 0 0 0 1 1 0 1 0 Y=1 0 0 0 1 0 0 1 0 Y=1 1 0 0 1 0 0 1 0 Y=0 1 1 0 1 0 0 1 0 Y=0 0 1 0 1 0 0 1 0 Y=1 0 1 1 1 0 0 1 0 Y=1 1 1 1 1 0 0 1 0 Y=0 1 0 1 1 0 0 1 0 Y=0 0 0 1 1 0 0 1 0 Y=1 0 0 1 0 0 0 1 0 Y=1 1 0 1 0 0 0 1 0 Y=0 1 1 1 0 0 0 1 0 Y=0 0 1 1 0 0 0 1 0 Y=1 0 1 0 0 0 0 1 0 Y=1 1 1 0 0 0 0 1 0 Y=0 1 0 0 0 0 0 1 0 Y=0 0 0 0 0 0 0 1 0 Y=1 0 0 0 0 0 0 1 1 Y=1 1 0 0 0 0 0 1 1 Y=0 1 1 0 0 0 0 1 1 Y=0 0 1 0 0 0 0 1 1 Y=1 0 1 1 0 0 0 1 1 Y=1 1 1 1 0 0 0 1 1 Y=0 1 0 1 0 0 0 1 1 Y=0 0 0 1 0 0 0 1 1 Y=1 0 0 1 1 0 0 1 1 Y=1 1 0 1 1 0 0 1 1 Y=0 1 1 1 1 0 0 1 1 Y=0 0 1 1 1 0 0 1 1 Y=1 0 1 0 1 0 0 1 1 Y=1 1 1 0 1 0 0 1 1 Y=0 1 0 0 1 0 0 1 1 Y=0 0 0 0 1 0 0 1 1 Y=1 0 0 0 1 1 0 1 1 Y=1 1 0 0 1 1 0 1 1 Y=0 1 1 0 1 1 0 1 1 Y=0 0 1 0 1 1 0 1 1 Y=1 0 1 1 1 1 0 1 1 Y=0 1 1 1 1 1 0 1 1 Y=0 1 0 1 1 1 0 1 1 Y=0 0 0 1 1 1 0 1 1 Y=1 0 0 1 0 1 0 1 1 Y=1 1 0 1 0 1 0 1 1 Y=0 1 1 1 0 1 0 1 1 Y=0 0 1 1 0 1 0 1 1 Y=1 0 1 0 0 1 0 1 1 Y=1 1 1 0 0 1 0 1 1 Y=0 1 0 0 0 1 0 1 1 Y=0 0 0 0 0 1 0 1 1 Y=1 0 0 0 0 1 1 1 1 Y=0 1 0 0 0 1 1 1 1 Y=0 1 1 0 0 1 1 1 1 Y=0 0 1 0 0 1 1 1 1 Y=0 0 1 1 0 1 1 1 1 Y=0 1 1 1 0 1 1 1 1 Y=0 1 0 1 0 1 1 1 1 Y=0 0 0 1 0 1 1 1 1 Y=0 0 0 1 1 1 1 1 1 Y=0 1 0 1 1 1 1 1 1 Y=0 1 1 1 1 1 1 1 1 Y=0 0 1 1 1 1 1 1 1 Y=0 0 1 0 1 1 1 1 1 Y=0 1 1 0 1 1 1 1 1 Y=0 1 0 0 1 1 1 1 1 Y=0 0 0 0 1 1 1 1 1 Y=0 0 0 0 1 0 1 1 1 Y=0 1 0 0 1 0 1 1 1 Y=0 1 1 0 1 0 1 1 1 Y=0 0 1 0 1 0 1 1 1 Y=0 0 1 1 1 0 1 1 1 Y=0 1 1 1 1 0 1 1 1 Y=0 1 0 1 1 0 1 1 1 Y=0 0 0 1 1 0 1 1 1 Y=0 0 0 1 0 0 1 1 1 Y=0 1 0 1 0 0 1 1 1 Y=0 1 1 1 0 0 1 1 1 Y=0 0 1 1 0 0 1 1 1 Y=0 0 1 0 0 0 1 1 1 Y=0 1 1 0 0 0 1 1 1 Y=0 1 0 0 0 0 1 1 1 Y=0 0 0 0 0 0 1 1 1 Y=0 0 0 0 0 0 1 0 1 Y=0 1 0 0 0 0 1 0 1 Y=0 1 1 0 0 0 1 0 1 Y=0 0 1 0 0 0 1 0 1 Y=0 0 1 1 0 0 1 0 1 Y=0 1 1 1 0 0 1 0 1 Y=0 1 0 1 0 0 1 0 1 Y=0 0 0 1 0 0 1 0 1 Y=0 0 0 1 1 0 1 0 1 Y=0 1 0 1 1 0 1 0 1 Y=0 1 1 1 1 0 1 0 1 Y=0 0 1 1 1 0 1 0 1 Y=0 0 1 0 1 0 1 0 1 Y=0 1 1 0 1 0 1 0 1 Y=0 1 0 0 1 0 1 0 1 Y=0 0 0 0 1 0 1 0 1 Y=0 0 0 0 1 1 1 0 1 Y=0 1 0 0 1 1 1 0 1 Y=0 1 1 0 1 1 1 0 1 Y=0 0 1 0 1 1 1 0 1 Y=0 0 1 1 1 1 1 0 1 Y=0 1 1 1 1 1 1 0 1 Y=0 1 0 1 1 1 1 0 1 Y=0 0 0 1 1 1 1 0 1 Y=0 0 0 1 0 1 1 0 1 Y=0 1 0 1 0 1 1 0 1 Y=0 1 1 1 0 1 1 0 1 Y=0 0 1 1 0 1 1 0 1 Y=0 0 1 0 0 1 1 0 1 Y=0 1 1 0 0 1 1 0 1 Y=0 1 0 0 0 1 1 0 1 Y=0 0 0 0 0 1 1 0 1 Y=0 0 0 0 0 1 0 0 1 Y=1 1 0 0 0 1 0 0 1 Y=0 1 1 0 0 1 0 0 1 Y=0 0 1 0 0 1 0 0 1 Y=1 0 1 1 0 1 0 0 1 Y=1 1 1 1 0 1 0 0 1 Y=0 1 0 1 0 1 0 0 1 Y=0 0 0 1 0 1 0 0 1 Y=1 0 0 1 1 1 0 0 1 Y=1 1 0 1 1 1 0 0 1 Y=0 1 1 1 1 1 0 0 1 Y=0 0 1 1 1 1 0 0 1 Y=0 0 1 0 1 1 0 0 1 Y=1 1 1 0 1 1 0 0 1 Y=0 1 0 0 1 1 0 0 1 Y=0 0 0 0 1 1 0 0 1 Y=1 0 0 0 1 0 0 0 1 Y=1 1 0 0 1 0 0 0 1 Y=0 1 1 0 1 0 0 0 1 Y=0 0 1 0 1 0 0 0 1 Y=1 0 1 1 1 0 0 0 1 Y=1 1 1 1 1 0 0 0 1 Y=0 1 0 1 1 0 0 0 1 Y=0 0 0 1 1 0 0 0 1 Y=1 0 0 1 0 0 0 0 1 Y=1 1 0 1 0 0 0 0 1 Y=0 1 1 1 0 0 0 0 1 Y=0 0 1 1 0 0 0 0 1 Y=1 0 1 0 0 0 0 0 1 Y=1 1 1 0 0 0 0 0 1 Y=0 1 0 0 0 0 0 0 1 Y=0 0 0 0 0 0 0 0 1 Y=1 function: Y = (!D && !C3 && !C2 && !C1 && !C && !B && !A1 && !A || !D && C3 && !C2 && !C1 && !C && !B && !A1 && !A || !D && C3 && C2 && !C1 && !C && !B && !A1 && !A || !D && !C3 && C2 && !C1 && !C && !B && !A1 && !A || !D && !C3 && C2 && C1 && !C && !B && !A1 && !A || !D && C3 && C2 && C1 && !C && !B && !A1 && !A || !D && C3 && !C2 && C1 && !C && !B && !A1 && !A || !D && !C3 && !C2 && C1 && !C && !B && !A1 && !A || !D && !C3 && !C2 && C1 && C && !B && !A1 && !A || !D && C3 && !C2 && C1 && C && !B && !A1 && !A || !D && !C3 && C2 && C1 && C && !B && !A1 && !A || !D && !C3 && C2 && !C1 && C && !B && !A1 && !A || !D && C3 && C2 && !C1 && C && !B && !A1 && !A || !D && C3 && !C2 && !C1 && C && !B && !A1 && !A || !D && !C3 && !C2 && !C1 && C && !B && !A1 && !A || !D && !C3 && !C2 && !C1 && C && B && !A1 && !A || !D && C3 && !C2 && !C1 && C && B && !A1 && !A || !D && C3 && C2 && !C1 && C && B && !A1 && !A || !D && !C3 && C2 && !C1 && C && B && !A1 && !A || !D && !C3 && C2 && C1 && C && B && !A1 && !A || !D && C3 && !C2 && C1 && C && B && !A1 && !A || !D && !C3 && !C2 && C1 && C && B && !A1 && !A || !D && !C3 && !C2 && C1 && !C && B && !A1 && !A || !D && C3 && !C2 && C1 && !C && B && !A1 && !A || !D && C3 && C2 && C1 && !C && B && !A1 && !A || !D && !C3 && C2 && C1 && !C && B && !A1 && !A || !D && !C3 && C2 && !C1 && !C && B && !A1 && !A || !D && C3 && C2 && !C1 && !C && B && !A1 && !A || !D && C3 && !C2 && !C1 && !C && B && !A1 && !A || !D && !C3 && !C2 && !C1 && !C && B && !A1 && !A || !D && !C3 && !C2 && !C1 && C && !B && A1 && !A || !D && C3 && !C2 && !C1 && C && !B && A1 && !A || !D && C3 && C2 && !C1 && C && !B && A1 && !A || !D && !C3 && C2 && !C1 && C && !B && A1 && !A || !D && !C3 && C2 && C1 && C && !B && A1 && !A || !D && C3 && !C2 && C1 && C && !B && A1 && !A || !D && !C3 && !C2 && C1 && C && !B && A1 && !A || !D && !C3 && !C2 && C1 && !C && !B && A1 && !A || !D && C3 && !C2 && C1 && !C && !B && A1 && !A || !D && C3 && C2 && C1 && !C && !B && A1 && !A || !D && !C3 && C2 && C1 && !C && !B && A1 && !A || !D && !C3 && C2 && !C1 && !C && !B && A1 && !A || !D && C3 && C2 && !C1 && !C && !B && A1 && !A || !D && C3 && !C2 && !C1 && !C && !B && A1 && !A || !D && !C3 && !C2 && !C1 && !C && !B && A1 && !A || !D && !C3 && !C2 && !C1 && !C && !B && A1 && A || !D && C3 && !C2 && !C1 && !C && !B && A1 && A || !D && C3 && C2 && !C1 && !C && !B && A1 && A || !D && !C3 && C2 && !C1 && !C && !B && A1 && A || !D && !C3 && C2 && C1 && !C && !B && A1 && A || !D && C3 && C2 && C1 && !C && !B && A1 && A || !D && C3 && !C2 && C1 && !C && !B && A1 && A || !D && !C3 && !C2 && C1 && !C && !B && A1 && A || !D && !C3 && !C2 && C1 && C && !B && A1 && A || !D && C3 && !C2 && C1 && C && !B && A1 && A || !D && !C3 && C2 && C1 && C && !B && A1 && A || !D && !C3 && C2 && !C1 && C && !B && A1 && A || !D && C3 && C2 && !C1 && C && !B && A1 && A || !D && C3 && !C2 && !C1 && C && !B && A1 && A || !D && !C3 && !C2 && !C1 && C && !B && A1 && A || !D && !C3 && !C2 && !C1 && C && !B && !A1 && A || !D && C3 && !C2 && !C1 && C && !B && !A1 && A || !D && C3 && C2 && !C1 && C && !B && !A1 && A || !D && !C3 && C2 && !C1 && C && !B && !A1 && A || !D && !C3 && C2 && C1 && C && !B && !A1 && A || !D && C3 && !C2 && C1 && C && !B && !A1 && A || !D && !C3 && !C2 && C1 && C && !B && !A1 && A || !D && !C3 && !C2 && C1 && !C && !B && !A1 && A || !D && C3 && !C2 && C1 && !C && !B && !A1 && A || !D && C3 && C2 && C1 && !C && !B && !A1 && A || !D && !C3 && C2 && C1 && !C && !B && !A1 && A || !D && !C3 && C2 && !C1 && !C && !B && !A1 && A || !D && C3 && C2 && !C1 && !C && !B && !A1 && A || !D && C3 && !C2 && !C1 && !C && !B && !A1 && A || !D && !C3 && !C2 && !C1 && !C && !B && !A1 && A)