Terms -8...8 of the Serpent Cipher's Key Schedule in Algebraic Form.

Behold:

```;; Register bitness. (defconstant +bitness+ 32)   (defun make-reg (reg-name bitness) "Make algebraic representation of a register (bits in descending majority)" (loop for i from (1- bitness) downto 0 collect (make-symbol (format nil "~A~A" reg-name i))))   (defun integer-to-reg (n &optional (pad-width +bitness+)) "Generate algebraic represenation of the given integer n." (let* ((bits '()) (integer-bitness (integer-length n)) (pad-bitness (- pad-width integer-bitness))) (dotimes (index integer-bitness bits) (push (if (logbitp index n) 1 0) bits)) ;; Append padding zeros, if required to make full width: (loop repeat pad-bitness do (push 0 bits)) bits))   (defun RL11 (reg) "Rotate given register leftward by 11." (append (subseq reg 11) (subseq reg 0 11)))   (defmacro reg-xor (&rest regs) "Make algebraic representation of the xor of given registers." `(map 'list #'(lambda (&rest args) (cons 'xor args)) ,@regs))   (defun print-reg (reg) "Print algebraic register as table, in descending bit majority" (let ((l (1- (length reg)))) (loop for i from 0 upto l do (format t "[bit:~2d] : ~A~%" i (nth (- l i) reg)))))   ;; Define the input registers (defvar *A* (make-reg "a" +bitness+)) (defvar *B* (make-reg "b" +bitness+)) (defvar *C* (make-reg "c" +bitness+)) (defvar *D* (make-reg "d" +bitness+)) (defvar *E* (make-reg "e" +bitness+)) (defvar *F* (make-reg "f" +bitness+)) (defvar *G* (make-reg "g" +bitness+)) (defvar *H* (make-reg "h" +bitness+))   ;; Serpent's 'goldenratio' turd (defconstant +serpent-const+ #x9E3779B9)   ;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;; from serpent.ada: ;;; ;;;;;;;;;;;;;;;;;;;;;;;;;; ;; for I in 0..7 loop ;; W(-8+I) := Bytes_To_Word(K(4*I .. 4*I+3)); ;; end loop; ;; for I in 0..131 loop ;; W(I) := Rotate_Left(W(I-8) xor W(I-5) xor W(I-3) xor W(I-1) xor ;; 16#9e3779b9# xor Unsigned_32(I), 11); ;; end loop;   (defun serpent-recurrence (k) "Generate k-th term of the Serpent key-expander recurrence equation." (case k ;; The key terms: (-8 *A*) (-7 *B*) (-6 *C*) (-5 *D*) (-4 *E*) (-3 *F*) (-2 *G*) (-1 *H*) ;; Any other term: (t (RL11 (reg-xor (integer-to-reg (logxor +serpent-const+ k)) (serpent-recurrence (- k 8)) (serpent-recurrence (- k 5)) (serpent-recurrence (- k 3)) (serpent-recurrence (- k 1)))))))   (defun print-serpent-recurrent-term (k) "Print k-th term of the serpent key-expander recurrence equation." (format t "~%Serpent W(~A):~%" k) (print-reg (serpent-recurrence k)))   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Print recurrence terms from -8 to 8: (loop for k from -8 upto 8 do (print-serpent-recurrent-term k)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;```

Producing the following output:

```Serpent W(-8): [bit: 0] : a0 [bit: 1] : a1 [bit: 2] : a2 [bit: 3] : a3 [bit: 4] : a4 [bit: 5] : a5 [bit: 6] : a6 [bit: 7] : a7 [bit: 8] : a8 [bit: 9] : a9 [bit:10] : a10 [bit:11] : a11 [bit:12] : a12 [bit:13] : a13 [bit:14] : a14 [bit:15] : a15 [bit:16] : a16 [bit:17] : a17 [bit:18] : a18 [bit:19] : a19 [bit:20] : a20 [bit:21] : a21 [bit:22] : a22 [bit:23] : a23 [bit:24] : a24 [bit:25] : a25 [bit:26] : a26 [bit:27] : a27 [bit:28] : a28 [bit:29] : a29 [bit:30] : a30 [bit:31] : a31   Serpent W(-7): [bit: 0] : b0 [bit: 1] : b1 [bit: 2] : b2 [bit: 3] : b3 [bit: 4] : b4 [bit: 5] : b5 [bit: 6] : b6 [bit: 7] : b7 [bit: 8] : b8 [bit: 9] : b9 [bit:10] : b10 [bit:11] : b11 [bit:12] : b12 [bit:13] : b13 [bit:14] : b14 [bit:15] : b15 [bit:16] : b16 [bit:17] : b17 [bit:18] : b18 [bit:19] : b19 [bit:20] : b20 [bit:21] : b21 [bit:22] : b22 [bit:23] : b23 [bit:24] : b24 [bit:25] : b25 [bit:26] : b26 [bit:27] : b27 [bit:28] : b28 [bit:29] : b29 [bit:30] : b30 [bit:31] : b31   Serpent W(-6): [bit: 0] : c0 [bit: 1] : c1 [bit: 2] : c2 [bit: 3] : c3 [bit: 4] : c4 [bit: 5] : c5 [bit: 6] : c6 [bit: 7] : c7 [bit: 8] : c8 [bit: 9] : c9 [bit:10] : c10 [bit:11] : c11 [bit:12] : c12 [bit:13] : c13 [bit:14] : c14 [bit:15] : c15 [bit:16] : c16 [bit:17] : c17 [bit:18] : c18 [bit:19] : c19 [bit:20] : c20 [bit:21] : c21 [bit:22] : c22 [bit:23] : c23 [bit:24] : c24 [bit:25] : c25 [bit:26] : c26 [bit:27] : c27 [bit:28] : c28 [bit:29] : c29 [bit:30] : c30 [bit:31] : c31   Serpent W(-5): [bit: 0] : d0 [bit: 1] : d1 [bit: 2] : d2 [bit: 3] : d3 [bit: 4] : d4 [bit: 5] : d5 [bit: 6] : d6 [bit: 7] : d7 [bit: 8] : d8 [bit: 9] : d9 [bit:10] : d10 [bit:11] : d11 [bit:12] : d12 [bit:13] : d13 [bit:14] : d14 [bit:15] : d15 [bit:16] : d16 [bit:17] : d17 [bit:18] : d18 [bit:19] : d19 [bit:20] : d20 [bit:21] : d21 [bit:22] : d22 [bit:23] : d23 [bit:24] : d24 [bit:25] : d25 [bit:26] : d26 [bit:27] : d27 [bit:28] : d28 [bit:29] : d29 [bit:30] : d30 [bit:31] : d31   Serpent W(-4): [bit: 0] : e0 [bit: 1] : e1 [bit: 2] : e2 [bit: 3] : e3 [bit: 4] : e4 [bit: 5] : e5 [bit: 6] : e6 [bit: 7] : e7 [bit: 8] : e8 [bit: 9] : e9 [bit:10] : e10 [bit:11] : e11 [bit:12] : e12 [bit:13] : e13 [bit:14] : e14 [bit:15] : e15 [bit:16] : e16 [bit:17] : e17 [bit:18] : e18 [bit:19] : e19 [bit:20] : e20 [bit:21] : e21 [bit:22] : e22 [bit:23] : e23 [bit:24] : e24 [bit:25] : e25 [bit:26] : e26 [bit:27] : e27 [bit:28] : e28 [bit:29] : e29 [bit:30] : e30 [bit:31] : e31   Serpent W(-3): [bit: 0] : f0 [bit: 1] : f1 [bit: 2] : f2 [bit: 3] : f3 [bit: 4] : f4 [bit: 5] : f5 [bit: 6] : f6 [bit: 7] : f7 [bit: 8] : f8 [bit: 9] : f9 [bit:10] : f10 [bit:11] : f11 [bit:12] : f12 [bit:13] : f13 [bit:14] : f14 [bit:15] : f15 [bit:16] : f16 [bit:17] : f17 [bit:18] : f18 [bit:19] : f19 [bit:20] : f20 [bit:21] : f21 [bit:22] : f22 [bit:23] : f23 [bit:24] : f24 [bit:25] : f25 [bit:26] : f26 [bit:27] : f27 [bit:28] : f28 [bit:29] : f29 [bit:30] : f30 [bit:31] : f31   Serpent W(-2): [bit: 0] : g0 [bit: 1] : g1 [bit: 2] : g2 [bit: 3] : g3 [bit: 4] : g4 [bit: 5] : g5 [bit: 6] : g6 [bit: 7] : g7 [bit: 8] : g8 [bit: 9] : g9 [bit:10] : g10 [bit:11] : g11 [bit:12] : g12 [bit:13] : g13 [bit:14] : g14 [bit:15] : g15 [bit:16] : g16 [bit:17] : g17 [bit:18] : g18 [bit:19] : g19 [bit:20] : g20 [bit:21] : g21 [bit:22] : g22 [bit:23] : g23 [bit:24] : g24 [bit:25] : g25 [bit:26] : g26 [bit:27] : g27 [bit:28] : g28 [bit:29] : g29 [bit:30] : g30 [bit:31] : g31   Serpent W(-1): [bit: 0] : h0 [bit: 1] : h1 [bit: 2] : h2 [bit: 3] : h3 [bit: 4] : h4 [bit: 5] : h5 [bit: 6] : h6 [bit: 7] : h7 [bit: 8] : h8 [bit: 9] : h9 [bit:10] : h10 [bit:11] : h11 [bit:12] : h12 [bit:13] : h13 [bit:14] : h14 [bit:15] : h15 [bit:16] : h16 [bit:17] : h17 [bit:18] : h18 [bit:19] : h19 [bit:20] : h20 [bit:21] : h21 [bit:22] : h22 [bit:23] : h23 [bit:24] : h24 [bit:25] : h25 [bit:26] : h26 [bit:27] : h27 [bit:28] : h28 [bit:29] : h29 [bit:30] : h30 [bit:31] : h31   Serpent W(0): [bit: 0] : (XOR 1 a21 d21 f21 h21) [bit: 1] : (XOR 0 a22 d22 f22 h22) [bit: 2] : (XOR 0 a23 d23 f23 h23) [bit: 3] : (XOR 0 a24 d24 f24 h24) [bit: 4] : (XOR 1 a25 d25 f25 h25) [bit: 5] : (XOR 1 a26 d26 f26 h26) [bit: 6] : (XOR 1 a27 d27 f27 h27) [bit: 7] : (XOR 1 a28 d28 f28 h28) [bit: 8] : (XOR 0 a29 d29 f29 h29) [bit: 9] : (XOR 0 a30 d30 f30 h30) [bit:10] : (XOR 1 a31 d31 f31 h31) [bit:11] : (XOR 1 a0 d0 f0 h0) [bit:12] : (XOR 0 a1 d1 f1 h1) [bit:13] : (XOR 0 a2 d2 f2 h2) [bit:14] : (XOR 1 a3 d3 f3 h3) [bit:15] : (XOR 1 a4 d4 f4 h4) [bit:16] : (XOR 1 a5 d5 f5 h5) [bit:17] : (XOR 0 a6 d6 f6 h6) [bit:18] : (XOR 1 a7 d7 f7 h7) [bit:19] : (XOR 1 a8 d8 f8 h8) [bit:20] : (XOR 0 a9 d9 f9 h9) [bit:21] : (XOR 0 a10 d10 f10 h10) [bit:22] : (XOR 1 a11 d11 f11 h11) [bit:23] : (XOR 1 a12 d12 f12 h12) [bit:24] : (XOR 1 a13 d13 f13 h13) [bit:25] : (XOR 1 a14 d14 f14 h14) [bit:26] : (XOR 0 a15 d15 f15 h15) [bit:27] : (XOR 1 a16 d16 f16 h16) [bit:28] : (XOR 1 a17 d17 f17 h17) [bit:29] : (XOR 1 a18 d18 f18 h18) [bit:30] : (XOR 0 a19 d19 f19 h19) [bit:31] : (XOR 1 a20 d20 f20 h20)   Serpent W(1): [bit: 0] : (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) [bit: 1] : (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) [bit: 2] : (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) [bit: 3] : (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) [bit: 4] : (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) [bit: 5] : (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) [bit: 6] : (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) [bit: 7] : (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) [bit: 8] : (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) [bit: 9] : (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) [bit:10] : (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) [bit:11] : (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) [bit:12] : (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) [bit:13] : (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) [bit:14] : (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) [bit:15] : (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) [bit:16] : (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) [bit:17] : (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) [bit:18] : (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) [bit:19] : (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) [bit:20] : (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) [bit:21] : (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) [bit:22] : (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) [bit:23] : (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) [bit:24] : (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) [bit:25] : (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) [bit:26] : (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) [bit:27] : (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) [bit:28] : (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) [bit:29] : (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) [bit:30] : (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) [bit:31] : (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))   Serpent W(2): [bit: 0] : (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))) [bit: 1] : (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))) [bit: 2] : (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))) [bit: 3] : (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))) [bit: 4] : (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))) [bit: 5] : (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))) [bit: 6] : (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))) [bit: 7] : (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))) [bit: 8] : (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))) [bit: 9] : (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))) [bit:10] : (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))) [bit:11] : (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))) [bit:12] : (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))) [bit:13] : (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))) [bit:14] : (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))) [bit:15] : (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))) [bit:16] : (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))) [bit:17] : (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))) [bit:18] : (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))) [bit:19] : (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))) [bit:20] : (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))) [bit:21] : (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))) [bit:22] : (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))) [bit:23] : (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))) [bit:24] : (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))) [bit:25] : (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))) [bit:26] : (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))) [bit:27] : (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))) [bit:28] : (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))) [bit:29] : (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))) [bit:30] : (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))) [bit:31] : (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)))   Serpent W(3): [bit: 0] : (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)))) [bit: 1] : (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)))) [bit: 2] : (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)))) [bit: 3] : (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)))) [bit: 4] : (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)))) [bit: 5] : (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)))) [bit: 6] : (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)))) [bit: 7] : (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)))) [bit: 8] : (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)))) [bit: 9] : (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)))) [bit:10] : (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)))) [bit:11] : (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)))) [bit:12] : (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)))) [bit:13] : (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)))) [bit:14] : (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)))) [bit:15] : (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)))) [bit:16] : (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)))) [bit:17] : (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)))) [bit:18] : (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)))) [bit:19] : (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)))) [bit:20] : (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)))) [bit:21] : (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)))) [bit:22] : (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)))) [bit:23] : (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)))) [bit:24] : (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)))) [bit:25] : (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)))) [bit:26] : (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)))) [bit:27] : (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)))) [bit:28] : (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)))) [bit:29] : (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)))) [bit:30] : (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)))) [bit:31] : (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))))   Serpent W(4): [bit: 0] : (XOR 1 e21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))))) [bit: 1] : (XOR 0 e22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))))) [bit: 2] : (XOR 0 e23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))))) [bit: 3] : (XOR 0 e24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))))) [bit: 4] : (XOR 1 e25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))))) [bit: 5] : (XOR 1 e26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))))) [bit: 6] : (XOR 1 e27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))))) [bit: 7] : (XOR 1 e28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))))) [bit: 8] : (XOR 0 e29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))))) [bit: 9] : (XOR 0 e30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))))) [bit:10] : (XOR 1 e31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))))) [bit:11] : (XOR 1 e0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))))) [bit:12] : (XOR 0 e1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))))) [bit:13] : (XOR 1 e2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))))) [bit:14] : (XOR 1 e3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))))) [bit:15] : (XOR 1 e4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))))) [bit:16] : (XOR 1 e5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))))) [bit:17] : (XOR 0 e6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))))) [bit:18] : (XOR 1 e7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))))) [bit:19] : (XOR 1 e8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))))) [bit:20] : (XOR 0 e9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))))) [bit:21] : (XOR 0 e10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))))) [bit:22] : (XOR 1 e11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))))) [bit:23] : (XOR 1 e12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))))) [bit:24] : (XOR 1 e13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))))) [bit:25] : (XOR 1 e14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))))) [bit:26] : (XOR 0 e15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))))) [bit:27] : (XOR 1 e16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))))) [bit:28] : (XOR 1 e17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))))) [bit:29] : (XOR 1 e18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))))) [bit:30] : (XOR 0 e19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))))) [bit:31] : (XOR 1 e20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)))))   Serpent W(5): [bit: 0] : (XOR 1 f21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))) (XOR 0 e10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)))))) [bit: 1] : (XOR 0 f22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))) (XOR 1 e11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)))))) [bit: 2] : (XOR 0 f23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))) (XOR 1 e12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)))))) [bit: 3] : (XOR 0 f24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))) (XOR 1 e13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)))))) [bit: 4] : (XOR 1 f25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))) (XOR 1 e14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)))))) [bit: 5] : (XOR 1 f26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))) (XOR 0 e15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)))))) [bit: 6] : (XOR 1 f27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))) (XOR 1 e16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)))))) [bit: 7] : (XOR 1 f28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))) (XOR 1 e17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)))))) [bit: 8] : (XOR 0 f29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))) (XOR 1 e18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)))))) [bit: 9] : (XOR 0 f30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))) (XOR 0 e19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)))))) [bit:10] : (XOR 1 f31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))) (XOR 1 e20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)))))) [bit:11] : (XOR 0 f0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))) (XOR 1 e21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)))))) [bit:12] : (XOR 0 f1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))) (XOR 0 e22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)))))) [bit:13] : (XOR 1 f2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))) (XOR 0 e23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)))))) [bit:14] : (XOR 1 f3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))) (XOR 0 e24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)))))) [bit:15] : (XOR 1 f4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))) (XOR 1 e25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)))))) [bit:16] : (XOR 1 f5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))) (XOR 1 e26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)))))) [bit:17] : (XOR 0 f6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))) (XOR 1 e27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)))))) [bit:18] : (XOR 1 f7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))) (XOR 1 e28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)))))) [bit:19] : (XOR 1 f8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))) (XOR 0 e29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)))))) [bit:20] : (XOR 0 f9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))) (XOR 0 e30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)))))) [bit:21] : (XOR 0 f10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))) (XOR 1 e31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)))))) [bit:22] : (XOR 1 f11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))) (XOR 1 e0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)))))) [bit:23] : (XOR 1 f12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))) (XOR 0 e1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)))))) [bit:24] : (XOR 1 f13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))) (XOR 1 e2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)))))) [bit:25] : (XOR 1 f14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))) (XOR 1 e3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)))))) [bit:26] : (XOR 0 f15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))) (XOR 1 e4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)))))) [bit:27] : (XOR 1 f16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))) (XOR 1 e5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)))))) [bit:28] : (XOR 1 f17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))) (XOR 0 e6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)))))) [bit:29] : (XOR 1 f18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))) (XOR 1 e7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)))))) [bit:30] : (XOR 0 f19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))) (XOR 1 e8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)))))) [bit:31] : (XOR 1 f20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))) (XOR 0 e9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))))))   Serpent W(6): [bit: 0] : (XOR 1 g21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)))) (XOR 0 f10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))) (XOR 1 e31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))))))) [bit: 1] : (XOR 0 g22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)))) (XOR 1 f11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))) (XOR 1 e0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))))))) [bit: 2] : (XOR 0 g23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)))) (XOR 1 f12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))) (XOR 0 e1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))))))) [bit: 3] : (XOR 0 g24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)))) (XOR 1 f13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))) (XOR 1 e2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))))))) [bit: 4] : (XOR 1 g25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)))) (XOR 1 f14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))) (XOR 1 e3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))))))) [bit: 5] : (XOR 1 g26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)))) (XOR 0 f15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))) (XOR 1 e4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))))))) [bit: 6] : (XOR 1 g27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)))) (XOR 1 f16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))) (XOR 1 e5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))))))) [bit: 7] : (XOR 1 g28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)))) (XOR 1 f17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))) (XOR 0 e6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))))))) [bit: 8] : (XOR 0 g29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)))) (XOR 1 f18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))) (XOR 1 e7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))))))) [bit: 9] : (XOR 0 g30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)))) (XOR 0 f19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))) (XOR 1 e8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))))))) [bit:10] : (XOR 1 g31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)))) (XOR 1 f20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))) (XOR 0 e9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))))))) [bit:11] : (XOR 1 g0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)))) (XOR 1 f21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))) (XOR 0 e10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))))))) [bit:12] : (XOR 1 g1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)))) (XOR 0 f22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))) (XOR 1 e11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))))))) [bit:13] : (XOR 1 g2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)))) (XOR 0 f23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))) (XOR 1 e12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))))))) [bit:14] : (XOR 1 g3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)))) (XOR 0 f24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))) (XOR 1 e13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))))))) [bit:15] : (XOR 1 g4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)))) (XOR 1 f25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))) (XOR 1 e14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))))))) [bit:16] : (XOR 1 g5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)))) (XOR 1 f26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))) (XOR 0 e15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))))))) [bit:17] : (XOR 0 g6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)))) (XOR 1 f27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))) (XOR 1 e16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))))))) [bit:18] : (XOR 1 g7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)))) (XOR 1 f28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))) (XOR 1 e17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))))))) [bit:19] : (XOR 1 g8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)))) (XOR 0 f29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))) (XOR 1 e18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))))))) [bit:20] : (XOR 0 g9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)))) (XOR 0 f30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))) (XOR 0 e19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))))))) [bit:21] : (XOR 0 g10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)))) (XOR 1 f31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))) (XOR 1 e20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))))))) [bit:22] : (XOR 1 g11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)))) (XOR 0 f0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))) (XOR 1 e21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))))))) [bit:23] : (XOR 1 g12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)))) (XOR 0 f1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))) (XOR 0 e22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))))))) [bit:24] : (XOR 1 g13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)))) (XOR 1 f2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))) (XOR 0 e23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))))))) [bit:25] : (XOR 1 g14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)))) (XOR 1 f3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))) (XOR 0 e24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))))))) [bit:26] : (XOR 0 g15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)))) (XOR 1 f4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))) (XOR 1 e25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))))))) [bit:27] : (XOR 1 g16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)))) (XOR 1 f5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))) (XOR 1 e26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))))))) [bit:28] : (XOR 1 g17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)))) (XOR 0 f6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))) (XOR 1 e27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))))))) [bit:29] : (XOR 1 g18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)))) (XOR 1 f7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))) (XOR 1 e28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))))))) [bit:30] : (XOR 0 g19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)))) (XOR 1 f8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))) (XOR 0 e29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))))))) [bit:31] : (XOR 1 g20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)))) (XOR 0 f9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))) (XOR 0 e30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)))))))   Serpent W(7): [bit: 0] : (XOR 1 h21 (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))) (XOR 0 e10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))))) (XOR 0 g10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)))) (XOR 1 f31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))) (XOR 1 e20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)))))))) [bit: 1] : (XOR 0 h22 (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))) (XOR 1 e11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))))) (XOR 1 g11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)))) (XOR 0 f0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))) (XOR 1 e21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)))))))) [bit: 2] : (XOR 0 h23 (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))) (XOR 1 e12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))))) (XOR 1 g12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)))) (XOR 0 f1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))) (XOR 0 e22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)))))))) [bit: 3] : (XOR 0 h24 (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))) (XOR 1 e13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))))) (XOR 1 g13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)))) (XOR 1 f2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))) (XOR 0 e23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)))))))) [bit: 4] : (XOR 1 h25 (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))) (XOR 1 e14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))))) (XOR 1 g14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)))) (XOR 1 f3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))) (XOR 0 e24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)))))))) [bit: 5] : (XOR 1 h26 (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))) (XOR 0 e15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))))) (XOR 0 g15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)))) (XOR 1 f4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))) (XOR 1 e25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)))))))) [bit: 6] : (XOR 1 h27 (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))) (XOR 1 e16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))))) (XOR 1 g16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)))) (XOR 1 f5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))) (XOR 1 e26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)))))))) [bit: 7] : (XOR 1 h28 (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))) (XOR 1 e17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))))) (XOR 1 g17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)))) (XOR 0 f6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))) (XOR 1 e27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)))))))) [bit: 8] : (XOR 0 h29 (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))) (XOR 1 e18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))))) (XOR 1 g18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)))) (XOR 1 f7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))) (XOR 1 e28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)))))))) [bit: 9] : (XOR 0 h30 (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))) (XOR 0 e19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))))) (XOR 0 g19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)))) (XOR 1 f8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))) (XOR 0 e29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)))))))) [bit:10] : (XOR 1 h31 (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))) (XOR 1 e20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))))) (XOR 1 g20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)))) (XOR 0 f9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))) (XOR 0 e30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)))))))) [bit:11] : (XOR 0 h0 (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))) (XOR 1 e21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))))) (XOR 1 g21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)))) (XOR 0 f10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))) (XOR 1 e31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)))))))) [bit:12] : (XOR 1 h1 (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))) (XOR 0 e22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))))) (XOR 0 g22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)))) (XOR 1 f11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))) (XOR 1 e0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)))))))) [bit:13] : (XOR 1 h2 (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))) (XOR 0 e23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))))) (XOR 0 g23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)))) (XOR 1 f12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))) (XOR 0 e1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)))))))) [bit:14] : (XOR 1 h3 (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))) (XOR 0 e24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))))) (XOR 0 g24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)))) (XOR 1 f13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))) (XOR 1 e2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)))))))) [bit:15] : (XOR 1 h4 (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))) (XOR 1 e25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))))) (XOR 1 g25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)))) (XOR 1 f14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))) (XOR 1 e3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)))))))) [bit:16] : (XOR 1 h5 (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))) (XOR 1 e26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))))) (XOR 1 g26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)))) (XOR 0 f15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))) (XOR 1 e4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)))))))) [bit:17] : (XOR 0 h6 (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))) (XOR 1 e27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))))) (XOR 1 g27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)))) (XOR 1 f16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))) (XOR 1 e5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)))))))) [bit:18] : (XOR 1 h7 (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))) (XOR 1 e28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))))) (XOR 1 g28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)))) (XOR 1 f17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))) (XOR 0 e6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)))))))) [bit:19] : (XOR 1 h8 (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))) (XOR 0 e29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))))) (XOR 0 g29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)))) (XOR 1 f18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))) (XOR 1 e7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)))))))) [bit:20] : (XOR 0 h9 (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))) (XOR 0 e30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))))) (XOR 0 g30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)))) (XOR 0 f19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))) (XOR 1 e8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)))))))) [bit:21] : (XOR 0 h10 (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))) (XOR 1 e31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))))) (XOR 1 g31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)))) (XOR 1 f20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))) (XOR 0 e9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)))))))) [bit:22] : (XOR 1 h11 (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))) (XOR 1 e0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))))) (XOR 1 g0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)))) (XOR 1 f21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))) (XOR 0 e10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)))))))) [bit:23] : (XOR 1 h12 (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))) (XOR 0 e1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))))) (XOR 1 g1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)))) (XOR 0 f22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))) (XOR 1 e11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)))))))) [bit:24] : (XOR 1 h13 (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))) (XOR 1 e2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))))) (XOR 1 g2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)))) (XOR 0 f23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))) (XOR 1 e12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)))))))) [bit:25] : (XOR 1 h14 (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))) (XOR 1 e3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))))) (XOR 1 g3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)))) (XOR 0 f24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))) (XOR 1 e13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)))))))) [bit:26] : (XOR 0 h15 (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))) (XOR 1 e4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))))) (XOR 1 g4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)))) (XOR 1 f25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))) (XOR 1 e14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)))))))) [bit:27] : (XOR 1 h16 (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))) (XOR 1 e5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))))) (XOR 1 g5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)))) (XOR 1 f26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))) (XOR 0 e15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)))))))) [bit:28] : (XOR 1 h17 (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))) (XOR 0 e6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))))) (XOR 0 g6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)))) (XOR 1 f27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))) (XOR 1 e16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)))))))) [bit:29] : (XOR 1 h18 (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))) (XOR 1 e7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))))) (XOR 1 g7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)))) (XOR 1 f28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))) (XOR 1 e17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)))))))) [bit:30] : (XOR 0 h19 (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))) (XOR 1 e8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))))) (XOR 1 g8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)))) (XOR 0 f29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))) (XOR 1 e18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)))))))) [bit:31] : (XOR 1 h20 (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))) (XOR 0 e9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))))) (XOR 0 g9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)))) (XOR 0 f30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))) (XOR 0 e19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))))))))   Serpent W(8): [bit: 0] : (XOR 1 (XOR 0 a10 d10 f10 h10) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)))) (XOR 0 f10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))) (XOR 1 e31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)))))) (XOR 0 h10 (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))) (XOR 1 e31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))))) (XOR 1 g31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)))) (XOR 1 f20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))) (XOR 0 e9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))))))))) [bit: 1] : (XOR 0 (XOR 1 a11 d11 f11 h11) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)))) (XOR 1 f11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))) (XOR 1 e0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)))))) (XOR 1 h11 (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))) (XOR 1 e0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))))) (XOR 1 g0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)))) (XOR 1 f21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))) (XOR 0 e10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))))))))) [bit: 2] : (XOR 0 (XOR 1 a12 d12 f12 h12) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)))) (XOR 1 f12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))) (XOR 0 e1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)))))) (XOR 1 h12 (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))) (XOR 0 e1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))))) (XOR 1 g1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)))) (XOR 0 f22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))) (XOR 1 e11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))))))))) [bit: 3] : (XOR 0 (XOR 1 a13 d13 f13 h13) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)))) (XOR 1 f13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))) (XOR 1 e2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)))))) (XOR 1 h13 (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))) (XOR 1 e2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))))) (XOR 1 g2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)))) (XOR 0 f23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))) (XOR 1 e12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))))))))) [bit: 4] : (XOR 1 (XOR 1 a14 d14 f14 h14) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)))) (XOR 1 f14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))) (XOR 1 e3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)))))) (XOR 1 h14 (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))) (XOR 1 e3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))))) (XOR 1 g3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)))) (XOR 0 f24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))) (XOR 1 e13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))))))))) [bit: 5] : (XOR 1 (XOR 0 a15 d15 f15 h15) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)))) (XOR 0 f15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))) (XOR 1 e4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)))))) (XOR 0 h15 (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))) (XOR 1 e4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))))) (XOR 1 g4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)))) (XOR 1 f25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))) (XOR 1 e14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))))))))) [bit: 6] : (XOR 1 (XOR 1 a16 d16 f16 h16) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)))) (XOR 1 f16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))) (XOR 1 e5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)))))) (XOR 1 h16 (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))) (XOR 1 e5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))))) (XOR 1 g5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)))) (XOR 1 f26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))) (XOR 0 e15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))))))))) [bit: 7] : (XOR 1 (XOR 1 a17 d17 f17 h17) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)))) (XOR 1 f17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))) (XOR 0 e6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)))))) (XOR 1 h17 (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))) (XOR 0 e6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))))) (XOR 0 g6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)))) (XOR 1 f27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))) (XOR 1 e16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))))))))) [bit: 8] : (XOR 0 (XOR 1 a18 d18 f18 h18) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)))) (XOR 1 f18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))) (XOR 1 e7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)))))) (XOR 1 h18 (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))) (XOR 1 e7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))))) (XOR 1 g7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)))) (XOR 1 f28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))) (XOR 1 e17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))))))))) [bit: 9] : (XOR 0 (XOR 0 a19 d19 f19 h19) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)))) (XOR 0 f19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))) (XOR 1 e8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)))))) (XOR 0 h19 (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))) (XOR 1 e8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))))) (XOR 1 g8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)))) (XOR 0 f29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))) (XOR 1 e18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))))))))) [bit:10] : (XOR 1 (XOR 1 a20 d20 f20 h20) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)))) (XOR 1 f20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))) (XOR 0 e9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)))))) (XOR 1 h20 (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))) (XOR 0 e9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))))) (XOR 0 g9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19)) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)))) (XOR 0 f30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))) (XOR 0 e19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))))))))) [bit:11] : (XOR 1 (XOR 1 a21 d21 f21 h21) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)))) (XOR 1 f21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))) (XOR 0 e10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)))))) (XOR 1 h21 (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))) (XOR 0 e10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))))) (XOR 0 g10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20)) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)))) (XOR 1 f31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))) (XOR 1 e20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))))))))) [bit:12] : (XOR 0 (XOR 0 a22 d22 f22 h22) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)))) (XOR 0 f22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))) (XOR 1 e11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)))))) (XOR 0 h22 (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))) (XOR 1 e11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))))) (XOR 1 g11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21)) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)))) (XOR 0 f0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))) (XOR 1 e21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))))))))) [bit:13] : (XOR 0 (XOR 0 a23 d23 f23 h23) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)))) (XOR 0 f23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))) (XOR 1 e12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)))))) (XOR 0 h23 (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))) (XOR 1 e12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))))) (XOR 1 g12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22)) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)))) (XOR 0 f1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))) (XOR 0 e22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))))))))) [bit:14] : (XOR 0 (XOR 0 a24 d24 f24 h24) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)))) (XOR 0 f24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))) (XOR 1 e13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)))))) (XOR 0 h24 (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))) (XOR 1 e13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))))) (XOR 1 g13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23)) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)))) (XOR 1 f2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))) (XOR 0 e23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))))))))) [bit:15] : (XOR 1 (XOR 1 a25 d25 f25 h25) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)))) (XOR 1 f25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))) (XOR 1 e14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)))))) (XOR 1 h25 (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))) (XOR 1 e14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))))) (XOR 1 g14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24)) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)))) (XOR 1 f3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))) (XOR 0 e24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))))))))) [bit:16] : (XOR 1 (XOR 1 a26 d26 f26 h26) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)))) (XOR 1 f26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))) (XOR 0 e15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)))))) (XOR 1 h26 (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))) (XOR 0 e15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))))) (XOR 0 g15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25)) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)))) (XOR 1 f4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))) (XOR 1 e25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))))))))) [bit:17] : (XOR 0 (XOR 1 a27 d27 f27 h27) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)))) (XOR 1 f27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))) (XOR 1 e16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)))))) (XOR 1 h27 (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))) (XOR 1 e16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))))) (XOR 1 g16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26)) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)))) (XOR 1 f5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))) (XOR 1 e26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))))))))) [bit:18] : (XOR 1 (XOR 1 a28 d28 f28 h28) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)))) (XOR 1 f28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))) (XOR 1 e17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)))))) (XOR 1 h28 (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))) (XOR 1 e17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))))) (XOR 1 g17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27)) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)))) (XOR 0 f6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))) (XOR 1 e27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))))))))) [bit:19] : (XOR 1 (XOR 0 a29 d29 f29 h29) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)))) (XOR 0 f29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))) (XOR 1 e18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)))))) (XOR 0 h29 (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28))) (XOR 1 e18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))))) (XOR 1 g18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)))) (XOR 1 f7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))) (XOR 1 e28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))))))))) [bit:20] : (XOR 0 (XOR 0 a30 d30 f30 h30) (XOR 0 d30 g30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)))) (XOR 0 f30 (XOR 0 a19 d19 f19 h19) (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))) (XOR 0 e19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)))))) (XOR 0 h30 (XOR 0 c19 f19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29))) (XOR 0 e19 h19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))))) (XOR 0 g19 (XOR 1 b8 e8 g8 (XOR 0 a29 d29 f29 h29)) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)))) (XOR 1 f8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))) (XOR 0 e29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))))))))) [bit:21] : (XOR 0 (XOR 1 a31 d31 f31 h31) (XOR 1 d31 g31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)))) (XOR 1 f31 (XOR 1 a20 d20 f20 h20) (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))) (XOR 1 e20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)))))) (XOR 1 h31 (XOR 1 c20 f20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30))) (XOR 1 e20 h20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))))) (XOR 1 g20 (XOR 0 b9 e9 g9 (XOR 0 a30 d30 f30 h30)) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)))) (XOR 0 f9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))) (XOR 0 e30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))))))))) [bit:22] : (XOR 1 (XOR 1 a0 d0 f0 h0) (XOR 0 d0 g0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)))) (XOR 0 f0 (XOR 1 a21 d21 f21 h21) (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))) (XOR 1 e21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)))))) (XOR 0 h0 (XOR 1 c21 f21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31))) (XOR 1 e21 h21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))))) (XOR 1 g21 (XOR 0 b10 e10 g10 (XOR 1 a31 d31 f31 h31)) (XOR 0 d10 g10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)))) (XOR 0 f10 (XOR 1 a31 d31 f31 h31) (XOR 1 c31 f31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9))) (XOR 1 e31 h31 (XOR 1 b20 e20 g20 (XOR 0 a9 d9 f9 h9)) (XOR 1 d20 g20 (XOR 0 a9 d9 f9 h9) (XOR 0 c9 f9 h9 (XOR 0 b30 e30 g30 (XOR 0 a19 d19 f19 h19))))))))) [bit:23] : (XOR 1 (XOR 0 a1 d1 f1 h1) (XOR 1 d1 g1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)))) (XOR 0 f1 (XOR 0 a22 d22 f22 h22) (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))) (XOR 0 e22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)))))) (XOR 1 h1 (XOR 0 c22 f22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0))) (XOR 0 e22 h22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))))) (XOR 0 g22 (XOR 1 b11 e11 g11 (XOR 1 a0 d0 f0 h0)) (XOR 1 d11 g11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)))) (XOR 1 f11 (XOR 1 a0 d0 f0 h0) (XOR 1 c0 f0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10))) (XOR 1 e0 h0 (XOR 1 b21 e21 g21 (XOR 0 a10 d10 f10 h10)) (XOR 1 d21 g21 (XOR 0 a10 d10 f10 h10) (XOR 0 c10 f10 h10 (XOR 1 b31 e31 g31 (XOR 1 a20 d20 f20 h20))))))))) [bit:24] : (XOR 1 (XOR 0 a2 d2 f2 h2) (XOR 0 d2 g2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)))) (XOR 1 f2 (XOR 0 a23 d23 f23 h23) (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))) (XOR 0 e23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)))))) (XOR 1 h2 (XOR 0 c23 f23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1))) (XOR 0 e23 h23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))))) (XOR 0 g23 (XOR 1 b12 e12 g12 (XOR 0 a1 d1 f1 h1)) (XOR 1 d12 g12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)))) (XOR 1 f12 (XOR 0 a1 d1 f1 h1) (XOR 1 c1 f1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11))) (XOR 0 e1 h1 (XOR 0 b22 e22 g22 (XOR 1 a11 d11 f11 h11)) (XOR 0 d22 g22 (XOR 1 a11 d11 f11 h11) (XOR 1 c11 f11 h11 (XOR 0 b0 e0 g0 (XOR 1 a21 d21 f21 h21))))))))) [bit:25] : (XOR 1 (XOR 1 a3 d3 f3 h3) (XOR 1 d3 g3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)))) (XOR 1 f3 (XOR 0 a24 d24 f24 h24) (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))) (XOR 0 e24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)))))) (XOR 1 h3 (XOR 0 c24 f24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2))) (XOR 0 e24 h24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))))) (XOR 0 g24 (XOR 1 b13 e13 g13 (XOR 0 a2 d2 f2 h2)) (XOR 1 d13 g13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)))) (XOR 1 f13 (XOR 0 a2 d2 f2 h2) (XOR 0 c2 f2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12))) (XOR 1 e2 h2 (XOR 0 b23 e23 g23 (XOR 1 a12 d12 f12 h12)) (XOR 0 d23 g23 (XOR 1 a12 d12 f12 h12) (XOR 1 c12 f12 h12 (XOR 0 b1 e1 g1 (XOR 0 a22 d22 f22 h22))))))))) [bit:26] : (XOR 0 (XOR 1 a4 d4 f4 h4) (XOR 1 d4 g4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)))) (XOR 1 f4 (XOR 1 a25 d25 f25 h25) (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))) (XOR 1 e25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)))))) (XOR 1 h4 (XOR 1 c25 f25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3))) (XOR 1 e25 h25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))))) (XOR 1 g25 (XOR 1 b14 e14 g14 (XOR 1 a3 d3 f3 h3)) (XOR 1 d14 g14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)))) (XOR 1 f14 (XOR 1 a3 d3 f3 h3) (XOR 1 c3 f3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13))) (XOR 1 e3 h3 (XOR 0 b24 e24 g24 (XOR 1 a13 d13 f13 h13)) (XOR 0 d24 g24 (XOR 1 a13 d13 f13 h13) (XOR 1 c13 f13 h13 (XOR 0 b2 e2 g2 (XOR 0 a23 d23 f23 h23))))))))) [bit:27] : (XOR 1 (XOR 1 a5 d5 f5 h5) (XOR 1 d5 g5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)))) (XOR 1 f5 (XOR 1 a26 d26 f26 h26) (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))) (XOR 1 e26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)))))) (XOR 1 h5 (XOR 1 c26 f26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4))) (XOR 1 e26 h26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))))) (XOR 1 g26 (XOR 0 b15 e15 g15 (XOR 1 a4 d4 f4 h4)) (XOR 0 d15 g15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)))) (XOR 0 f15 (XOR 1 a4 d4 f4 h4) (XOR 1 c4 f4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14))) (XOR 1 e4 h4 (XOR 1 b25 e25 g25 (XOR 1 a14 d14 f14 h14)) (XOR 1 d25 g25 (XOR 1 a14 d14 f14 h14) (XOR 1 c14 f14 h14 (XOR 1 b3 e3 g3 (XOR 0 a24 d24 f24 h24))))))))) [bit:28] : (XOR 1 (XOR 0 a6 d6 f6 h6) (XOR 0 d6 g6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)))) (XOR 0 f6 (XOR 1 a27 d27 f27 h27) (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))) (XOR 1 e27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)))))) (XOR 0 h6 (XOR 1 c27 f27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5))) (XOR 1 e27 h27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))))) (XOR 1 g27 (XOR 1 b16 e16 g16 (XOR 1 a5 d5 f5 h5)) (XOR 1 d16 g16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)))) (XOR 1 f16 (XOR 1 a5 d5 f5 h5) (XOR 1 c5 f5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15))) (XOR 1 e5 h5 (XOR 1 b26 e26 g26 (XOR 0 a15 d15 f15 h15)) (XOR 1 d26 g26 (XOR 0 a15 d15 f15 h15) (XOR 0 c15 f15 h15 (XOR 1 b4 e4 g4 (XOR 1 a25 d25 f25 h25))))))))) [bit:29] : (XOR 1 (XOR 1 a7 d7 f7 h7) (XOR 1 d7 g7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)))) (XOR 1 f7 (XOR 1 a28 d28 f28 h28) (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))) (XOR 1 e28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)))))) (XOR 1 h7 (XOR 1 c28 f28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6))) (XOR 1 e28 h28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))))) (XOR 1 g28 (XOR 1 b17 e17 g17 (XOR 0 a6 d6 f6 h6)) (XOR 1 d17 g17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)))) (XOR 1 f17 (XOR 0 a6 d6 f6 h6) (XOR 0 c6 f6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16))) (XOR 0 e6 h6 (XOR 1 b27 e27 g27 (XOR 1 a16 d16 f16 h16)) (XOR 1 d27 g27 (XOR 1 a16 d16 f16 h16) (XOR 1 c16 f16 h16 (XOR 1 b5 e5 g5 (XOR 1 a26 d26 f26 h26))))))))) [bit:30] : (XOR 0 (XOR 1 a8 d8 f8 h8) (XOR 1 d8 g8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)))) (XOR 1 f8 (XOR 0 a29 d29 f29 h29) (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))) (XOR 0 e29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)))))) (XOR 1 h8 (XOR 0 c29 f29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7))) (XOR 0 e29 h29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))))) (XOR 0 g29 (XOR 1 b18 e18 g18 (XOR 1 a7 d7 f7 h7)) (XOR 1 d18 g18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)))) (XOR 1 f18 (XOR 1 a7 d7 f7 h7) (XOR 1 c7 f7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17))) (XOR 1 e7 h7 (XOR 1 b28 e28 g28 (XOR 1 a17 d17 f17 h17)) (XOR 1 d28 g28 (XOR 1 a17 d17 f17 h17) (XOR 1 c17 f17 h17 (XOR 0 b6 e6 g6 (XOR 1 a27 d27 f27 h27))))))))) [bit:31] : (XOR 1 (XOR 0 a9 d9 f9 h9) (XOR 0 d9 g9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)))) (XOR 0 f9 (XOR 0 a30 d30 f30 h30) (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))) (XOR 0 e30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)))))) (XOR 0 h9 (XOR 0 c30 f30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8))) (XOR 0 e30 h30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))))) (XOR 0 g30 (XOR 0 b19 e19 g19 (XOR 1 a8 d8 f8 h8)) (XOR 0 d19 g19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)))) (XOR 0 f19 (XOR 1 a8 d8 f8 h8) (XOR 1 c8 f8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18))) (XOR 1 e8 h8 (XOR 0 b29 e29 g29 (XOR 1 a18 d18 f18 h18)) (XOR 0 d29 g29 (XOR 1 a18 d18 f18 h18) (XOR 1 c18 f18 h18 (XOR 1 b7 e7 g7 (XOR 1 a28 d28 f28 h28)))))))))```

Still needs an elementary term-combining algebraic simplifier. Then, potentially we learn the answer to the puzzler of whether there are in fact 2**256 possible 528-byte expanded keys.

~To be continued!~

This entry was written by Stanislav , posted on Tuesday October 30 2018 , filed under Bitcoin, Cold Air, Computation, Cryptography, Distractions, Friends, Lisp, Mathematics, ModestProposal, NonLoper, SerpentCipher, SoftwareArchaeology, SoftwareSucks . Bookmark the permalink . Post a comment below or leave a trackback: Trackback URL.