A = x1^x2,
C = x2^x9,
H = x3^x7,
T = x4^x9,
E = ((x0^x6)&x5)^x6,
R = ((x1^x4)&C)^T,
b = (R^(A&x5)^x2)&H,
a = ((x10^x11)&(C^(A&T)^E))^E,
h = (x8^x12)&(b^a^R^x7^x10),
n = H^A^T^a^h^x0^x5^x6^x11^x12;
A = x1^x2,
C = x2^x9,
H = x3^x7,
T = x4^x9,
E = ((x0^x6)&x5)^x6,
R = ((x1^x4)&C)^T,
b = (R^(A&x5)^x2)&H,
a = ((x10^x11)&(C^(A&T)^E))^E,
h = (x8^x12)&(b^a^R^x7^x10),
n = H^A^T^a^h^x0^x5^x6^x11^x12;