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!~

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

Leave a Reply

XHTML: You can use these tags: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong> <pre lang="" line="" escaped="" highlight="">