Terms -8...8 of the Serpent Cipher's Key Schedule in Algebraic Form.
This article is a byproduct of the recent mega-puzzler concerning the Serpent cipher's key expansion procedure.
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!~
