UNIVERSIDAD DEL BIO-BIO

FACULTAD DE CIENCIAS EMPRESARIALES

INGENIERIA CIVIL EN INFORMÁTICA

PROYECTO SEMESTRAL INTELIGENCIA

ARTIFICIAL

Integrantes:

Carlos Cáceres
Francisco Saavedra
Christian Zagarra

Profesor:
Pablo Sáez

Chillán, Agosto 2010

1
 Índice
Pág.

Introducción 03
Enunciado 04
Diseño de la solución 05
Implementación de la solución 07
Conclusiones 11
ANEXO A: Formulas proposicionales
entregadas en el programa 12

2
 Introducción

La inteligencia artificial nace como un intento de representación del

conocimiento y la lógica humana aplicadas en las máquinas, para que estas sean
capaces de resolver problemas cotidianos o de su propio que hacer sin la intervención
o con la mínima intervención humana para que así todo sea más automático y mas
óptimo, es por eso que en este trabajo se nos ha dado un problema el cual debemos
resolver usando inteligencia artificial.

El problema trata de especificar en base a la lógica proposicional el hecho de

que x2 es congruente con A módulo 232+1, donde x es un numero cualquiera ingresado
por teclado.

En este informe se darán a conocer las estrategias seguidas para darle solución
al problema propuesto.

3
 Enunciado

Especificar en base a la lógica proposicional el hecho de que x 2 es congruente con A

módulo 232+1, donde

 x es una incógnita, entero binario de 32 bits (b31b30…b0), y

 A es un entero dado, de 33 bits, que se ingresará por pantalla.

El programa deberá generar una especificación proposicional de la congruencia

mencionada, de modo que, al ser ingresada a un SAT-solver, este SAT-solver
eventualmente resuelva la congruencia, entregando un valor para los bits b 31…b0, si
existe.

4
 Diseño de la Solución
Nuestra solución se basó en 2 partes fundamentales, una parte fue encontrar las formulas
proposicionales para calcular el cuadrado de un valor X de 32 bits, y la otra parte fue calcular el
módulo 232+1 de la solución X.

Parte 1. Calcular cuadrado: Para calcular el cuadrado, se realizo una multiplicación de 2

valores X iguales, mediante sumas sucesivas.
Primero se crean 3 arreglos con los átomos a usar en el procedimiento:
- "A" corresponde a la entrada A32.....A0 para multiplicarse a sí mismo.
- "B" corresponde a la multiplicación entre A(i) y A(j) de cada paso. Su longitud será el
cuadrado de los bits de entrada (1024 valores).
- "C" corresponde a el resultado entre cada suma sucesiva. Su longitud será de:
-

En el primer paso, se imprimen las formulas proposicionales que dan los resultados de B, el
cual se calcula multiplicando los valores de A. Por ejemplo, para una entrada de 2 bits:
A1 A0 * A1 A0 (multiplicación de 2 bits, sin contar el cálculo de la reserva).
B1 B0 Donde B0 = A0*A0 ; B1 = A0*A1 ; B2 = A1*A0; B3 = A1*A1
B3 B2

Luego, se realizan las sumas sucesivas, la cual consta de 3 casos:

- El primer caso indica el primer átomo "C0" que siempre será igual a "B0"
- En el segundo, se realiza la suma entre los primeros 64 B's (ej: B1 con B32, B2 con B33,
etc), dando como resultado los primeros 32+1 "C" (+1, por la reserva). Este se hará una
sola vez, ya que solo hay una pasada en la que se suman B's con B's.
- En el tercer caso, se realiza la suma entre el resultado del anterior de "C's", y se
sumarán con las C's siguientes. Ejemplo

A2 A1 A0 * A2 A1 A0
B2 B1 B0 (BO = CO > primer paso)
B5 B4 B3 ^
______________ (pasada 1)
C4 C3 C2 C1 C0 (Hasta aquí el segundo paso, de C1 a C4)
B6 B7 B9 ^^ ^^
______________ (pasada 2)
C10 C9 C8 C7 C6 C5 (2do paso: suma entre C's y B's)

Este procedimiento se repetirá hasta completar todas las formulas proposicionales para las C’s
(de C0 hasta C1518).

Luego, las ultimas 64 C’s generadas se guardarán para utilizarse en la segunda parte.

5
Parte 2. Calcular el módulo 232+1: Para calcular el modulo de 232+1, se deben comparar los bits
de la primera parte del resultado, con la segunda parte del resultado de X, esto sería:

Si los dos valores son iguales, el resultado es 0, pero si son diferentes, se imprime 1, y se le
descontará 1 al siguiente átomo. Esto quiere decir, que la comparación entre estos valores es
igual a realizar una resta entre las 2 mitades del resultado de X.

Para realizar este procedimiento, primero se dividió el resultado X (que en este caso serian los
últimos 64 C’s) en 2 partes iguales: resA = [1455-1486] ; y resB = [1487-1518].
Los valores de resB se niegan para realizar el complemento 1, luego para el complemento 2, se
le suma “1” al complemento 1, para ello se usa cualquier átomo, haciendo que:
S0 = C1455 OR (NOT C1455)
Esta operación hará que “S0” siempre sea 1. “S0” será la primera reserva en la resta.
Luego, se realiza una suma parecida al procedimiento anterior, finalizando con el resultado
final D32, D31, … , D0; siendo D32 el bit 33 (que será igual a la última reserva

A continuación, se muestra una figura con el resumen de la solución:

6
 Implementación de la solución
El programa computacional se diseñó en lenguaje JAVA. El archivo a compilar se llama
Sistema.java.

public class Sistema {

private int cantBits; //numero de bits .. en el caso del proyecto son 32 bits
private int posC; private String[]resultado; private String arrA[]; private String arrB[];
private String arrC[]; private String[] resA; private String[] resB;
//Constructor
public Sistema(int bits){
cantBits = bits;
posC = cantBits+2;
for(int i =1;i<(cantBits-1);i++){ //calcula la cantidad de atomos "C".
posC = posC+((cantBits+2)+i);}
/*Crea 3 arreglos con los átomos a usar para el procedimiento de multiplicación
* "A" corresponde a la entrada A32.....A0 para multiplicarse a si mismo.
* "B" corresponde a la multiplicacion entre Ax y Ay de cada paso.
* "C" corresponde a el resultado entre cada suma sucesiva.*/
arrA = new String[cantBits];
arrB = new String[cantBits*cantBits];
arrC = new String[posC];
resultado = new String[(cantBits*2)];
resA = new String[bits];
resB = new String[bits];
completaArr();
calculaMult();
calculaSumasSucesivas();
/*Llena los arreglos "resA y resB" con los nombres de los átomos resultantes
en la multiplicacion de sumas sucesivas, para luego llevarlos al metodo
de resta */
int contador = 0;
for(int i = (arrC.length-bits*2); i < arrC.length-bits;i++){
resA[contador] = arrC[i];
contador++;}
contador = 0;
for(int i = (arrC.length-bits); i < arrC.length;i++){
resB[contador] = arrC[i];
contador++;}
calculaResta(resA,resB);
}
//main
public static void main(String[] args) {
Sistema sistema = new Sistema(32);
}
private void completaArr(){
//Completa los areglos de atomos con sus respectivos nombres
for(int i=0; i<cantBits ;i++){
arrA[i]= "A" + i; //escribe nombres de atomos "A"}
for(int i=0; i<cantBits*cantBits ;i++){
arrB[i]= "B" +i; //escribe nombres de atomos "B"}
for(int i=0; i<posC ;i++){
arrC[i]= "C" +i; //escribe nombres de atomos "C"}
}

7
 private void calculaMult() {
/* Calcula la multiplicación entre cada atomo de entrada "Ai"
* Por ejemplo: A1 A0 * A1 A0 (mult de 2 bits)
* B1 B0 Donde B0 = A0*A0 ; B1 = A0*A1 ; B2 = A1*A0; B3 = A1*A1
* B3 B2 */
int cont = 0;
for (int i = 0; i < cantBits; i++) {
for (int j = 0; j < cantBits; j++) {
if(j == i)System.out.println(arrB[cont] + " = " + arrA[i]);
//si los 2 atomos son iguales, se inserta solo uno, ya que Bi = Ai Es lo mismo que Bi = Ai AND Ai
else System.out.println(arrB[cont] + " = " + arrA[i] + " AND " + arrA[j]);
cont++;
}
}
System.out.println();
}

private void calculaSumasSucesivas() {

/** Método para las sumas sucesivas, consta de 3 casos:
- El primer caso indica el primer atomo "C0" que siempre será igual a "B0"
- En el segundo, se realiza la suma entre los primeros 64 "B's" (ej: B1 con B32, B2 con B33, etc)
dando como resultado los primeros 32+1 "C" (+1, por la reserva). Este se hará una sola vez, ya que
solo hay una pasada en la que se suman B's con B's.
- En el tercer caso, se realiza la suma entre el resultado del anterior de "C's", y se sumarán
con las C's siguientes. Ejemplo

A2 A1 A0 * A2 A1 A0
B2 B1 B0 (BO = CO > primer paso)
B5 B4 B3 "
______________ pasada 1
C4 C3 C2 C1 C0 (Hasta aquí el segundo paso, de C1 a C4)
B6 B7 B9 ^^ ^^
______________ pasada 2
C10 C9 C8 C7 C6 C5 (2do paso: suma entre C's y B's) */

int pasada = cantBits - 2; //cuantas veces se repetirán las sumas en el caso 2.

int contResultado = 0; //contador para llenar el arreglo que entregará el resultado de este metodo
int contLetraC = 1; //contador para dar nombre a cada atomo "C" que se genere
int contLetraB = cantBits; //contador para cada letra B que se esté usando
int contEspacios = 2; /*cuenta los espacios que se dan por cada reiteración de sumas.
Ej: en el diagrama de mas arriba. ^^ indica que se han saltado 2 espacios
en el siguiente seran 3, etc.*/
int contReserva = 0; //para nombrar a cada atomo de reserva ("R0,R1,etc)
System.out.println(arrC[0] + " = " + arrB[0]); //primer caso es diferente a los demas (C0 = B0)

for(int i = 1;i<cantBits+1;i++){ //Segundo caso

/*guarda cada C como la suma entre Bx y By, para luego verificar si llevará reserva el siguiente calculo*/
if(i<contEspacios){
System.out.println(arrC[i] + " = " + arrB[contLetraC] + " XOR " + arrB[contLetraB]);
contLetraC++;
if(i == contEspacios-1){ //para los espacios que necesiten generar reserva
reservaPrim(arrB[contLetraC-1],arrB[contLetraB],contReserva); //genera reserva
contReserva++;
}
}
else{
if(i<cantBits){ //para los siguientes bits, hasta el bit-1.

8
 System.out.println(arrC[i] + " = ("+arrB[contLetraC] + " XOR " + arrB[contLetraB]+ ") XOR R"
+(contReserva-1));
reserva(arrB[contLetraC],arrB[contLetraB],contReserva); //genera reserva normal
contReserva++; contLetraC++;
}else{ //para bit
System.out.println(arrC[i] + " = " +arrB[contLetraB] + " XOR R" +(contReserva-1));
reservaUlt(arrB[contLetraB],contReserva); //genera reserva para el ultimo bit
System.out.println(arrC[i+1] + " = R" +(contReserva));
contLetraC++; contReserva++;
}
}
contLetraB++;
}
System.out.println();
int contLetraC2 = 0; //Contador para la letra "C" anterior que debe ser igual a la "C" actual

for (int i = 0; i < pasada; i++) { //tercer caso

for (int j = 0; j < contEspacios; j++) { //para los C que no se sumen con otros valores.
contLetraC++;
System.out.println(arrC[contLetraC] + " = " + arrC[contLetraC2]);
if(i==pasada-1){ //guarda los valores finales, que se usaran para la resta.
resultado[contResultado] = arrC[contLetraC]; contResultado++;
}contLetraC2++;
}
contEspacios++; contLetraC++;
for (int j = 0; j < (cantBits+1); j++) {
if(j==0){ //Para suma sin reserva
System.out.println(arrC[contLetraC] + " = " + arrC[contLetraC2] + " XOR " + arrB[contLetraB]);
if(i==pasada-1){
resultado[contResultado]=arrC[contLetraC]; contResultado++;
}
reservaPrim(arrC[contLetraC2],arrB[contLetraB],contReserva);
contLetraC2++; contLetraB++; contReserva++;
}
else if (j<cantBits){ //Para suma con reserva
contLetraC++;
System.out.println(arrC[contLetraC] + " = (" + arrC[contLetraC2] + " XOR " + arrB[contLetraB]+
") XOR R" +(contReserva-1));
if(i==pasada-1){
resultado[contResultado]=arrC[contLetraC];
contResultado++;}
reserva(arrC[contLetraC2],arrB[contLetraB],contReserva);
contLetraC2++;
contLetraB++;
contReserva++;
}else { //para el ultimo bit de cada pasada
contLetraC++;
System.out.println(arrC[contLetraC] + " = R" +(contReserva-1));
if(i==pasada-1){
resultado[contResultado]=arrC[contLetraC];
contResultado++;
}
}
}
System.out.println();
}
}

9
 private void reservaPrim(String a,String b,int contReserva){
// Genera la primera reserva para cada suma sucesiva
System.out.println( "R" +contReserva + " = (" + a + " AND " + b +")");
}

private void reserva(String a,String b,int contReserva){

/*Genera la reserva, si la suma actual resulta un numero de 2 bits, el segundo bit se
guarda en la reserva siguiente*/
System.out.println( "R" + contReserva + " = (R" +(contReserva-1) + " AND " + a + ") OR (R" +
(contReserva-1)+ " AND " +b+ " ) OR (" +a + " AND " + b+ ")" );
}

private void reservaUlt(String b,int contReserva){

// Genera ultima reserva para cada suma sucesiva
System.out.println( "R" + contReserva + " = (R" +(contReserva-1)+ " AND " + b + ")" );
}

private void calculaResta(String[]a,String[]b){

/*calcula la resta para dar con el valor de modulo 2^(32) +1 */
System.out.println( "S0 = " +a[0]+ " OR (NOT " +a[0]+ ")" ); /*para generar un valor
* que siempre será "1", usado para calcular el complemento dos de la resta*/
for(int i = 0; i<cantBits;i++){
System.out.println( "D" +i+ " = (" +a[i]+" XOR (NOT "+b[i]+")) XOR S" + i);
//Los valores "D" serán el resultado final
System.out.println( "S" +(i+1)+ " = (S" +i+ " AND " +a[i]+ ") OR (S" +(i)+ " AND " +b[i]+ " ) OR ("
+a[i]+ " AND " +b[i]+")" );
//Si es la reserva
}
System.out.println( "D" +(cantBits)+ " = S" +(cantBits)); //ultimo valor bit 33
}
} //Fin Clase Sistema

10
 Conclusión

Como logramos determinar durante el desarrollo del trabajo, para que una
máquina logre entender, aprender, y solucionar un problema planteado necesita de
muchas cláusulas que determinen el comportamiento que esta debe seguir para poder
hallar una solución, para poder lograr esto creamos un algoritmo en java que pudiese
generar el comportamiento que la maquina o “Sat-Solver” debe seguir para un
perfecto funcionamiento y desarrollo de la solución al problema entregado.
El número de combinaciones de cláusulas que se generaron fueron muchísimas
más de 1000 cláusulas, podemos entender que para que una máquina logre un vasto
conocimiento se necesitan de muchas instrucciones, para que realmente haga lo que
se desea y no otra cosa, como por ejemplo que un brazo mecánico tome un solo
objeto no dos.
En cuanto a la inteligencia artificial es un campo muy amplio con una gran
proyección de futuro en la cual se ha investigado mucho y se seguirá haciendo, algún
día quizás se logren algoritmos tan eficaces que logren analizar los cambios a su
alrededor y evolucionen su comportamiento, es decir que aprendan de la experiencia,
algo así como un robot que valla aprendiendo a medida que pasan los años casi igual
como una persona real, pero todo esto aun está en fase de investigaciones y en sueños
de novelistas de ciencia ficción.

11
 ANEXO A:
Formulas proposicionales entregadas en el programa
B0 = A0
B1 = A0 AND A1
B2 = A0 AND A2
B3 = A0 AND A3
B4 = A0 AND A4
B5 = A0 AND A5
B6 = A0 AND A6
B7 = A0 AND A7
B8 = A0 AND A8
B9 = A0 AND A9
B10 = A0 AND A10
B11 = A0 AND A11
B12 = A0 AND A12
B13 = A0 AND A13
B14 = A0 AND A14
B15 = A0 AND A15
B16 = A0 AND A16
B17 = A0 AND A17
B18 = A0 AND A18
B19 = A0 AND A19
B20 = A0 AND A20
B21 = A0 AND A21
B22 = A0 AND A22
B23 = A0 AND A23
B24 = A0 AND A24
B25 = A0 AND A25
B26 = A0 AND A26
B27 = A0 AND A27
B28 = A0 AND A28
B29 = A0 AND A29
B30 = A0 AND A30
B31 = A0 AND A31
B32 = A1 AND A0
B33 = A1
B34 = A1 AND A2
B35 = A1 AND A3
B36 = A1 AND A4
B37 = A1 AND A5
B38 = A1 AND A6
B39 = A1 AND A7
B40 = A1 AND A8
B41 = A1 AND A9
B42 = A1 AND A10
B43 = A1 AND A11
B44 = A1 AND A12
B45 = A1 AND A13
B46 = A1 AND A14
B47 = A1 AND A15
B48 = A1 AND A16
B49 = A1 AND A17
B50 = A1 AND A18
B51 = A1 AND A19
B52 = A1 AND A20
B53 = A1 AND A21
B54 = A1 AND A22
B55 = A1 AND A23
B56 = A1 AND A24
B57 = A1 AND A25
B58 = A1 AND A26
B59 = A1 AND A27
B60 = A1 AND A28
B61 = A1 AND A29
B62 = A1 AND A30
B63 = A1 AND A31
B64 = A2 AND A0
B65 = A2 AND A1

12
B66 = A2
B67 = A2 AND A3
B68 = A2 AND A4
B69 = A2 AND A5
B70 = A2 AND A6
B71 = A2 AND A7
B72 = A2 AND A8
B73 = A2 AND A9
B74 = A2 AND A10
B75 = A2 AND A11
B76 = A2 AND A12
B77 = A2 AND A13
B78 = A2 AND A14
B79 = A2 AND A15
B80 = A2 AND A16
B81 = A2 AND A17
B82 = A2 AND A18
B83 = A2 AND A19
B84 = A2 AND A20
B85 = A2 AND A21
B86 = A2 AND A22
B87 = A2 AND A23
B88 = A2 AND A24
B89 = A2 AND A25
B90 = A2 AND A26
B91 = A2 AND A27
B92 = A2 AND A28
B93 = A2 AND A29
B94 = A2 AND A30
B95 = A2 AND A31
B96 = A3 AND A0
B97 = A3 AND A1
B98 = A3 AND A2
B99 = A3
B100 = A3 AND A4
B101 = A3 AND A5
B102 = A3 AND A6
B103 = A3 AND A7
B104 = A3 AND A8
B105 = A3 AND A9
B106 = A3 AND A10
B107 = A3 AND A11
B108 = A3 AND A12
B109 = A3 AND A13
B110 = A3 AND A14
B111 = A3 AND A15
B112 = A3 AND A16
B113 = A3 AND A17
B114 = A3 AND A18
B115 = A3 AND A19
B116 = A3 AND A20
B117 = A3 AND A21
B118 = A3 AND A22
B119 = A3 AND A23
B120 = A3 AND A24
B121 = A3 AND A25
B122 = A3 AND A26
B123 = A3 AND A27
B124 = A3 AND A28
B125 = A3 AND A29
B126 = A3 AND A30
B127 = A3 AND A31
B128 = A4 AND A0
B129 = A4 AND A1
B130 = A4 AND A2
B131 = A4 AND A3
B132 = A4
B133 = A4 AND A5
B134 = A4 AND A6
B135 = A4 AND A7
B136 = A4 AND A8

13
B137 = A4 AND A9
B138 = A4 AND A10
B139 = A4 AND A11
B140 = A4 AND A12
B141 = A4 AND A13
B142 = A4 AND A14
B143 = A4 AND A15
B144 = A4 AND A16
B145 = A4 AND A17
B146 = A4 AND A18
B147 = A4 AND A19
B148 = A4 AND A20
B149 = A4 AND A21
B150 = A4 AND A22
B151 = A4 AND A23
B152 = A4 AND A24
B153 = A4 AND A25
B154 = A4 AND A26
B155 = A4 AND A27
B156 = A4 AND A28
B157 = A4 AND A29
B158 = A4 AND A30
B159 = A4 AND A31
B160 = A5 AND A0
B161 = A5 AND A1
B162 = A5 AND A2
B163 = A5 AND A3
B164 = A5 AND A4
B165 = A5
B166 = A5 AND A6
B167 = A5 AND A7
B168 = A5 AND A8
B169 = A5 AND A9
B170 = A5 AND A10
B171 = A5 AND A11
B172 = A5 AND A12
B173 = A5 AND A13
B174 = A5 AND A14
B175 = A5 AND A15
B176 = A5 AND A16
B177 = A5 AND A17
B178 = A5 AND A18
B179 = A5 AND A19
B180 = A5 AND A20
B181 = A5 AND A21
B182 = A5 AND A22
B183 = A5 AND A23
B184 = A5 AND A24
B185 = A5 AND A25
B186 = A5 AND A26
B187 = A5 AND A27
B188 = A5 AND A28
B189 = A5 AND A29
B190 = A5 AND A30
B191 = A5 AND A31
B192 = A6 AND A0
B193 = A6 AND A1
B194 = A6 AND A2
B195 = A6 AND A3
B196 = A6 AND A4
B197 = A6 AND A5
B198 = A6
B199 = A6 AND A7
B200 = A6 AND A8
B201 = A6 AND A9
B202 = A6 AND A10
B203 = A6 AND A11
B204 = A6 AND A12
B205 = A6 AND A13
B206 = A6 AND A14
B207 = A6 AND A15

14
B208 = A6 AND A16
B209 = A6 AND A17
B210 = A6 AND A18
B211 = A6 AND A19
B212 = A6 AND A20
B213 = A6 AND A21
B214 = A6 AND A22
B215 = A6 AND A23
B216 = A6 AND A24
B217 = A6 AND A25
B218 = A6 AND A26
B219 = A6 AND A27
B220 = A6 AND A28
B221 = A6 AND A29
B222 = A6 AND A30
B223 = A6 AND A31
B224 = A7 AND A0
B225 = A7 AND A1
B226 = A7 AND A2
B227 = A7 AND A3
B228 = A7 AND A4
B229 = A7 AND A5
B230 = A7 AND A6
B231 = A7
B232 = A7 AND A8
B233 = A7 AND A9
B234 = A7 AND A10
B235 = A7 AND A11
B236 = A7 AND A12
B237 = A7 AND A13
B238 = A7 AND A14
B239 = A7 AND A15
B240 = A7 AND A16
B241 = A7 AND A17
B242 = A7 AND A18
B243 = A7 AND A19
B244 = A7 AND A20
B245 = A7 AND A21
B246 = A7 AND A22
B247 = A7 AND A23
B248 = A7 AND A24
B249 = A7 AND A25
B250 = A7 AND A26
B251 = A7 AND A27
B252 = A7 AND A28
B253 = A7 AND A29
B254 = A7 AND A30
B255 = A7 AND A31
B256 = A8 AND A0
B257 = A8 AND A1
B258 = A8 AND A2
B259 = A8 AND A3
B260 = A8 AND A4
B261 = A8 AND A5
B262 = A8 AND A6
B263 = A8 AND A7
B264 = A8
B265 = A8 AND A9
B266 = A8 AND A10
B267 = A8 AND A11
B268 = A8 AND A12
B269 = A8 AND A13
B270 = A8 AND A14
B271 = A8 AND A15
B272 = A8 AND A16
B273 = A8 AND A17
B274 = A8 AND A18
B275 = A8 AND A19
B276 = A8 AND A20
B277 = A8 AND A21
B278 = A8 AND A22

15
B279 = A8 AND A23
B280 = A8 AND A24
B281 = A8 AND A25
B282 = A8 AND A26
B283 = A8 AND A27
B284 = A8 AND A28
B285 = A8 AND A29
B286 = A8 AND A30
B287 = A8 AND A31
B288 = A9 AND A0
B289 = A9 AND A1
B290 = A9 AND A2
B291 = A9 AND A3
B292 = A9 AND A4
B293 = A9 AND A5
B294 = A9 AND A6
B295 = A9 AND A7
B296 = A9 AND A8
B297 = A9
B298 = A9 AND A10
B299 = A9 AND A11
B300 = A9 AND A12
B301 = A9 AND A13
B302 = A9 AND A14
B303 = A9 AND A15
B304 = A9 AND A16
B305 = A9 AND A17
B306 = A9 AND A18
B307 = A9 AND A19
B308 = A9 AND A20
B309 = A9 AND A21
B310 = A9 AND A22
B311 = A9 AND A23
B312 = A9 AND A24
B313 = A9 AND A25
B314 = A9 AND A26
B315 = A9 AND A27
B316 = A9 AND A28
B317 = A9 AND A29
B318 = A9 AND A30
B319 = A9 AND A31
B320 = A10 AND A0
B321 = A10 AND A1
B322 = A10 AND A2
B323 = A10 AND A3
B324 = A10 AND A4
B325 = A10 AND A5
B326 = A10 AND A6
B327 = A10 AND A7
B328 = A10 AND A8
B329 = A10 AND A9
B330 = A10
B331 = A10 AND A11
B332 = A10 AND A12
B333 = A10 AND A13
B334 = A10 AND A14
B335 = A10 AND A15
B336 = A10 AND A16
B337 = A10 AND A17
B338 = A10 AND A18
B339 = A10 AND A19
B340 = A10 AND A20
B341 = A10 AND A21
B342 = A10 AND A22
B343 = A10 AND A23
B344 = A10 AND A24
B345 = A10 AND A25
B346 = A10 AND A26
B347 = A10 AND A27
B348 = A10 AND A28
B349 = A10 AND A29

16
B350 = A10 AND A30
B351 = A10 AND A31
B352 = A11 AND A0
B353 = A11 AND A1
B354 = A11 AND A2
B355 = A11 AND A3
B356 = A11 AND A4
B357 = A11 AND A5
B358 = A11 AND A6
B359 = A11 AND A7
B360 = A11 AND A8
B361 = A11 AND A9
B362 = A11 AND A10
B363 = A11
B364 = A11 AND A12
B365 = A11 AND A13
B366 = A11 AND A14
B367 = A11 AND A15
B368 = A11 AND A16
B369 = A11 AND A17
B370 = A11 AND A18
B371 = A11 AND A19
B372 = A11 AND A20
B373 = A11 AND A21
B374 = A11 AND A22
B375 = A11 AND A23
B376 = A11 AND A24
B377 = A11 AND A25
B378 = A11 AND A26
B379 = A11 AND A27
B380 = A11 AND A28
B381 = A11 AND A29
B382 = A11 AND A30
B383 = A11 AND A31
B384 = A12 AND A0
B385 = A12 AND A1
B386 = A12 AND A2
B387 = A12 AND A3
B388 = A12 AND A4
B389 = A12 AND A5
B390 = A12 AND A6
B391 = A12 AND A7
B392 = A12 AND A8
B393 = A12 AND A9
B394 = A12 AND A10
B395 = A12 AND A11
B396 = A12
B397 = A12 AND A13
B398 = A12 AND A14
B399 = A12 AND A15
B400 = A12 AND A16
B401 = A12 AND A17
B402 = A12 AND A18
B403 = A12 AND A19
B404 = A12 AND A20
B405 = A12 AND A21
B406 = A12 AND A22
B407 = A12 AND A23
B408 = A12 AND A24
B409 = A12 AND A25
B410 = A12 AND A26
B411 = A12 AND A27
B412 = A12 AND A28
B413 = A12 AND A29
B414 = A12 AND A30
B415 = A12 AND A31
B416 = A13 AND A0
B417 = A13 AND A1
B418 = A13 AND A2
B419 = A13 AND A3
B420 = A13 AND A4

17
B421 = A13 AND A5
B422 = A13 AND A6
B423 = A13 AND A7
B424 = A13 AND A8
B425 = A13 AND A9
B426 = A13 AND A10
B427 = A13 AND A11
B428 = A13 AND A12
B429 = A13
B430 = A13 AND A14
B431 = A13 AND A15
B432 = A13 AND A16
B433 = A13 AND A17
B434 = A13 AND A18
B435 = A13 AND A19
B436 = A13 AND A20
B437 = A13 AND A21
B438 = A13 AND A22
B439 = A13 AND A23
B440 = A13 AND A24
B441 = A13 AND A25
B442 = A13 AND A26
B443 = A13 AND A27
B444 = A13 AND A28
B445 = A13 AND A29
B446 = A13 AND A30
B447 = A13 AND A31
B448 = A14 AND A0
B449 = A14 AND A1
B450 = A14 AND A2
B451 = A14 AND A3
B452 = A14 AND A4
B453 = A14 AND A5
B454 = A14 AND A6
B455 = A14 AND A7
B456 = A14 AND A8
B457 = A14 AND A9
B458 = A14 AND A10
B459 = A14 AND A11
B460 = A14 AND A12
B461 = A14 AND A13
B462 = A14
B463 = A14 AND A15
B464 = A14 AND A16
B465 = A14 AND A17
B466 = A14 AND A18
B467 = A14 AND A19
B468 = A14 AND A20
B469 = A14 AND A21
B470 = A14 AND A22
B471 = A14 AND A23
B472 = A14 AND A24
B473 = A14 AND A25
B474 = A14 AND A26
B475 = A14 AND A27
B476 = A14 AND A28
B477 = A14 AND A29
B478 = A14 AND A30
B479 = A14 AND A31
B480 = A15 AND A0
B481 = A15 AND A1
B482 = A15 AND A2
B483 = A15 AND A3
B484 = A15 AND A4
B485 = A15 AND A5
B486 = A15 AND A6
B487 = A15 AND A7
B488 = A15 AND A8
B489 = A15 AND A9
B490 = A15 AND A10
B491 = A15 AND A11

18
B492 = A15 AND A12
B493 = A15 AND A13
B494 = A15 AND A14
B495 = A15
B496 = A15 AND A16
B497 = A15 AND A17
B498 = A15 AND A18
B499 = A15 AND A19
B500 = A15 AND A20
B501 = A15 AND A21
B502 = A15 AND A22
B503 = A15 AND A23
B504 = A15 AND A24
B505 = A15 AND A25
B506 = A15 AND A26
B507 = A15 AND A27
B508 = A15 AND A28
B509 = A15 AND A29
B510 = A15 AND A30
B511 = A15 AND A31
B512 = A16 AND A0
B513 = A16 AND A1
B514 = A16 AND A2
B515 = A16 AND A3
B516 = A16 AND A4
B517 = A16 AND A5
B518 = A16 AND A6
B519 = A16 AND A7
B520 = A16 AND A8
B521 = A16 AND A9
B522 = A16 AND A10
B523 = A16 AND A11
B524 = A16 AND A12
B525 = A16 AND A13
B526 = A16 AND A14
B527 = A16 AND A15
B528 = A16
B529 = A16 AND A17
B530 = A16 AND A18
B531 = A16 AND A19
B532 = A16 AND A20
B533 = A16 AND A21
B534 = A16 AND A22
B535 = A16 AND A23
B536 = A16 AND A24
B537 = A16 AND A25
B538 = A16 AND A26
B539 = A16 AND A27
B540 = A16 AND A28
B541 = A16 AND A29
B542 = A16 AND A30
B543 = A16 AND A31
B544 = A17 AND A0
B545 = A17 AND A1
B546 = A17 AND A2
B547 = A17 AND A3
B548 = A17 AND A4
B549 = A17 AND A5
B550 = A17 AND A6
B551 = A17 AND A7
B552 = A17 AND A8
B553 = A17 AND A9
B554 = A17 AND A10
B555 = A17 AND A11
B556 = A17 AND A12
B557 = A17 AND A13
B558 = A17 AND A14
B559 = A17 AND A15
B560 = A17 AND A16
B561 = A17
B562 = A17 AND A18

19
B563 = A17 AND A19
B564 = A17 AND A20
B565 = A17 AND A21
B566 = A17 AND A22
B567 = A17 AND A23
B568 = A17 AND A24
B569 = A17 AND A25
B570 = A17 AND A26
B571 = A17 AND A27
B572 = A17 AND A28
B573 = A17 AND A29
B574 = A17 AND A30
B575 = A17 AND A31
B576 = A18 AND A0
B577 = A18 AND A1
B578 = A18 AND A2
B579 = A18 AND A3
B580 = A18 AND A4
B581 = A18 AND A5
B582 = A18 AND A6
B583 = A18 AND A7
B584 = A18 AND A8
B585 = A18 AND A9
B586 = A18 AND A10
B587 = A18 AND A11
B588 = A18 AND A12
B589 = A18 AND A13
B590 = A18 AND A14
B591 = A18 AND A15
B592 = A18 AND A16
B593 = A18 AND A17
B594 = A18
B595 = A18 AND A19
B596 = A18 AND A20
B597 = A18 AND A21
B598 = A18 AND A22
B599 = A18 AND A23
B600 = A18 AND A24
B601 = A18 AND A25
B602 = A18 AND A26
B603 = A18 AND A27
B604 = A18 AND A28
B605 = A18 AND A29
B606 = A18 AND A30
B607 = A18 AND A31
B608 = A19 AND A0
B609 = A19 AND A1
B610 = A19 AND A2
B611 = A19 AND A3
B612 = A19 AND A4
B613 = A19 AND A5
B614 = A19 AND A6
B615 = A19 AND A7
B616 = A19 AND A8
B617 = A19 AND A9
B618 = A19 AND A10
B619 = A19 AND A11
B620 = A19 AND A12
B621 = A19 AND A13
B622 = A19 AND A14
B623 = A19 AND A15
B624 = A19 AND A16
B625 = A19 AND A17
B626 = A19 AND A18
B627 = A19
B628 = A19 AND A20
B629 = A19 AND A21
B630 = A19 AND A22
B631 = A19 AND A23
B632 = A19 AND A24
B633 = A19 AND A25

20
B634 = A19 AND A26
B635 = A19 AND A27
B636 = A19 AND A28
B637 = A19 AND A29
B638 = A19 AND A30
B639 = A19 AND A31
B640 = A20 AND A0
B641 = A20 AND A1
B642 = A20 AND A2
B643 = A20 AND A3
B644 = A20 AND A4
B645 = A20 AND A5
B646 = A20 AND A6
B647 = A20 AND A7
B648 = A20 AND A8
B649 = A20 AND A9
B650 = A20 AND A10
B651 = A20 AND A11
B652 = A20 AND A12
B653 = A20 AND A13
B654 = A20 AND A14
B655 = A20 AND A15
B656 = A20 AND A16
B657 = A20 AND A17
B658 = A20 AND A18
B659 = A20 AND A19
B660 = A20
B661 = A20 AND A21
B662 = A20 AND A22
B663 = A20 AND A23
B664 = A20 AND A24
B665 = A20 AND A25
B666 = A20 AND A26
B667 = A20 AND A27
B668 = A20 AND A28
B669 = A20 AND A29
B670 = A20 AND A30
B671 = A20 AND A31
B672 = A21 AND A0
B673 = A21 AND A1
B674 = A21 AND A2
B675 = A21 AND A3
B676 = A21 AND A4
B677 = A21 AND A5
B678 = A21 AND A6
B679 = A21 AND A7
B680 = A21 AND A8
B681 = A21 AND A9
B682 = A21 AND A10
B683 = A21 AND A11
B684 = A21 AND A12
B685 = A21 AND A13
B686 = A21 AND A14
B687 = A21 AND A15
B688 = A21 AND A16
B689 = A21 AND A17
B690 = A21 AND A18
B691 = A21 AND A19
B692 = A21 AND A20
B693 = A21
B694 = A21 AND A22
B695 = A21 AND A23
B696 = A21 AND A24
B697 = A21 AND A25
B698 = A21 AND A26
B699 = A21 AND A27
B700 = A21 AND A28
B701 = A21 AND A29
B702 = A21 AND A30
B703 = A21 AND A31
B704 = A22 AND A0

21
B705 = A22 AND A1
B706 = A22 AND A2
B707 = A22 AND A3
B708 = A22 AND A4
B709 = A22 AND A5
B710 = A22 AND A6
B711 = A22 AND A7
B712 = A22 AND A8
B713 = A22 AND A9
B714 = A22 AND A10
B715 = A22 AND A11
B716 = A22 AND A12
B717 = A22 AND A13
B718 = A22 AND A14
B719 = A22 AND A15
B720 = A22 AND A16
B721 = A22 AND A17
B722 = A22 AND A18
B723 = A22 AND A19
B724 = A22 AND A20
B725 = A22 AND A21
B726 = A22
B727 = A22 AND A23
B728 = A22 AND A24
B729 = A22 AND A25
B730 = A22 AND A26
B731 = A22 AND A27
B732 = A22 AND A28
B733 = A22 AND A29
B734 = A22 AND A30
B735 = A22 AND A31
B736 = A23 AND A0
B737 = A23 AND A1
B738 = A23 AND A2
B739 = A23 AND A3
B740 = A23 AND A4
B741 = A23 AND A5
B742 = A23 AND A6
B743 = A23 AND A7
B744 = A23 AND A8
B745 = A23 AND A9
B746 = A23 AND A10
B747 = A23 AND A11
B748 = A23 AND A12
B749 = A23 AND A13
B750 = A23 AND A14
B751 = A23 AND A15
B752 = A23 AND A16
B753 = A23 AND A17
B754 = A23 AND A18
B755 = A23 AND A19
B756 = A23 AND A20
B757 = A23 AND A21
B758 = A23 AND A22
B759 = A23
B760 = A23 AND A24
B761 = A23 AND A25
B762 = A23 AND A26
B763 = A23 AND A27
B764 = A23 AND A28
B765 = A23 AND A29
B766 = A23 AND A30
B767 = A23 AND A31
B768 = A24 AND A0
B769 = A24 AND A1
B770 = A24 AND A2
B771 = A24 AND A3
B772 = A24 AND A4
B773 = A24 AND A5
B774 = A24 AND A6
B775 = A24 AND A7

22
B776 = A24 AND A8
B777 = A24 AND A9
B778 = A24 AND A10
B779 = A24 AND A11
B780 = A24 AND A12
B781 = A24 AND A13
B782 = A24 AND A14
B783 = A24 AND A15
B784 = A24 AND A16
B785 = A24 AND A17
B786 = A24 AND A18
B787 = A24 AND A19
B788 = A24 AND A20
B789 = A24 AND A21
B790 = A24 AND A22
B791 = A24 AND A23
B792 = A24
B793 = A24 AND A25
B794 = A24 AND A26
B795 = A24 AND A27
B796 = A24 AND A28
B797 = A24 AND A29
B798 = A24 AND A30
B799 = A24 AND A31
B800 = A25 AND A0
B801 = A25 AND A1
B802 = A25 AND A2
B803 = A25 AND A3
B804 = A25 AND A4
B805 = A25 AND A5
B806 = A25 AND A6
B807 = A25 AND A7
B808 = A25 AND A8
B809 = A25 AND A9
B810 = A25 AND A10
B811 = A25 AND A11
B812 = A25 AND A12
B813 = A25 AND A13
B814 = A25 AND A14
B815 = A25 AND A15
B816 = A25 AND A16
B817 = A25 AND A17
B818 = A25 AND A18
B819 = A25 AND A19
B820 = A25 AND A20
B821 = A25 AND A21
B822 = A25 AND A22
B823 = A25 AND A23
B824 = A25 AND A24
B825 = A25
B826 = A25 AND A26
B827 = A25 AND A27
B828 = A25 AND A28
B829 = A25 AND A29
B830 = A25 AND A30
B831 = A25 AND A31
B832 = A26 AND A0
B833 = A26 AND A1
B834 = A26 AND A2
B835 = A26 AND A3
B836 = A26 AND A4
B837 = A26 AND A5
B838 = A26 AND A6
B839 = A26 AND A7
B840 = A26 AND A8
B841 = A26 AND A9
B842 = A26 AND A10
B843 = A26 AND A11
B844 = A26 AND A12
B845 = A26 AND A13
B846 = A26 AND A14

23
B847 = A26 AND A15
B848 = A26 AND A16
B849 = A26 AND A17
B850 = A26 AND A18
B851 = A26 AND A19
B852 = A26 AND A20
B853 = A26 AND A21
B854 = A26 AND A22
B855 = A26 AND A23
B856 = A26 AND A24
B857 = A26 AND A25
B858 = A26
B859 = A26 AND A27
B860 = A26 AND A28
B861 = A26 AND A29
B862 = A26 AND A30
B863 = A26 AND A31
B864 = A27 AND A0
B865 = A27 AND A1
B866 = A27 AND A2
B867 = A27 AND A3
B868 = A27 AND A4
B869 = A27 AND A5
B870 = A27 AND A6
B871 = A27 AND A7
B872 = A27 AND A8
B873 = A27 AND A9
B874 = A27 AND A10
B875 = A27 AND A11
B876 = A27 AND A12
B877 = A27 AND A13
B878 = A27 AND A14
B879 = A27 AND A15
B880 = A27 AND A16
B881 = A27 AND A17
B882 = A27 AND A18
B883 = A27 AND A19
B884 = A27 AND A20
B885 = A27 AND A21
B886 = A27 AND A22
B887 = A27 AND A23
B888 = A27 AND A24
B889 = A27 AND A25
B890 = A27 AND A26
B891 = A27
B892 = A27 AND A28
B893 = A27 AND A29
B894 = A27 AND A30
B895 = A27 AND A31
B896 = A28 AND A0
B897 = A28 AND A1
B898 = A28 AND A2
B899 = A28 AND A3
B900 = A28 AND A4
B901 = A28 AND A5
B902 = A28 AND A6
B903 = A28 AND A7
B904 = A28 AND A8
B905 = A28 AND A9
B906 = A28 AND A10
B907 = A28 AND A11
B908 = A28 AND A12
B909 = A28 AND A13
B910 = A28 AND A14
B911 = A28 AND A15
B912 = A28 AND A16
B913 = A28 AND A17
B914 = A28 AND A18
B915 = A28 AND A19
B916 = A28 AND A20
B917 = A28 AND A21

24
B918 = A28 AND A22
B919 = A28 AND A23
B920 = A28 AND A24
B921 = A28 AND A25
B922 = A28 AND A26
B923 = A28 AND A27
B924 = A28
B925 = A28 AND A29
B926 = A28 AND A30
B927 = A28 AND A31
B928 = A29 AND A0
B929 = A29 AND A1
B930 = A29 AND A2
B931 = A29 AND A3
B932 = A29 AND A4
B933 = A29 AND A5
B934 = A29 AND A6
B935 = A29 AND A7
B936 = A29 AND A8
B937 = A29 AND A9
B938 = A29 AND A10
B939 = A29 AND A11
B940 = A29 AND A12
B941 = A29 AND A13
B942 = A29 AND A14
B943 = A29 AND A15
B944 = A29 AND A16
B945 = A29 AND A17
B946 = A29 AND A18
B947 = A29 AND A19
B948 = A29 AND A20
B949 = A29 AND A21
B950 = A29 AND A22
B951 = A29 AND A23
B952 = A29 AND A24
B953 = A29 AND A25
B954 = A29 AND A26
B955 = A29 AND A27
B956 = A29 AND A28
B957 = A29
B958 = A29 AND A30
B959 = A29 AND A31
B960 = A30 AND A0
B961 = A30 AND A1
B962 = A30 AND A2
B963 = A30 AND A3
B964 = A30 AND A4
B965 = A30 AND A5
B966 = A30 AND A6
B967 = A30 AND A7
B968 = A30 AND A8
B969 = A30 AND A9
B970 = A30 AND A10
B971 = A30 AND A11
B972 = A30 AND A12
B973 = A30 AND A13
B974 = A30 AND A14
B975 = A30 AND A15
B976 = A30 AND A16
B977 = A30 AND A17
B978 = A30 AND A18
B979 = A30 AND A19
B980 = A30 AND A20
B981 = A30 AND A21
B982 = A30 AND A22
B983 = A30 AND A23
B984 = A30 AND A24
B985 = A30 AND A25
B986 = A30 AND A26
B987 = A30 AND A27
B988 = A30 AND A28

25
B989 = A30 AND A29
B990 = A30
B991 = A30 AND A31
B992 = A31 AND A0
B993 = A31 AND A1
B994 = A31 AND A2
B995 = A31 AND A3
B996 = A31 AND A4
B997 = A31 AND A5
B998 = A31 AND A6
B999 = A31 AND A7
B1000 = A31 AND A8
B1001 = A31 AND A9
B1002 = A31 AND A10
B1003 = A31 AND A11
B1004 = A31 AND A12
B1005 = A31 AND A13
B1006 = A31 AND A14
B1007 = A31 AND A15
B1008 = A31 AND A16
B1009 = A31 AND A17
B1010 = A31 AND A18
B1011 = A31 AND A19
B1012 = A31 AND A20
B1013 = A31 AND A21
B1014 = A31 AND A22
B1015 = A31 AND A23
B1016 = A31 AND A24
B1017 = A31 AND A25
B1018 = A31 AND A26
B1019 = A31 AND A27
B1020 = A31 AND A28
B1021 = A31 AND A29
B1022 = A31 AND A30
B1023 = A31

C0 = B0
C1 = B1 XOR B32
R0 = (B1 AND B32)
C2 = (B2 XOR B33) XOR R0
R1 = (R0 AND B2) OR (R0 AND B33 ) OR (B2 AND B33)
C3 = (B3 XOR B34) XOR R1
R2 = (R1 AND B3) OR (R1 AND B34 ) OR (B3 AND B34)
C4 = (B4 XOR B35) XOR R2
R3 = (R2 AND B4) OR (R2 AND B35 ) OR (B4 AND B35)
C5 = (B5 XOR B36) XOR R3
R4 = (R3 AND B5) OR (R3 AND B36 ) OR (B5 AND B36)
C6 = (B6 XOR B37) XOR R4
R5 = (R4 AND B6) OR (R4 AND B37 ) OR (B6 AND B37)
C7 = (B7 XOR B38) XOR R5
R6 = (R5 AND B7) OR (R5 AND B38 ) OR (B7 AND B38)
C8 = (B8 XOR B39) XOR R6
R7 = (R6 AND B8) OR (R6 AND B39 ) OR (B8 AND B39)
C9 = (B9 XOR B40) XOR R7
R8 = (R7 AND B9) OR (R7 AND B40 ) OR (B9 AND B40)
C10 = (B10 XOR B41) XOR R8
R9 = (R8 AND B10) OR (R8 AND B41 ) OR (B10 AND B41)
C11 = (B11 XOR B42) XOR R9
R10 = (R9 AND B11) OR (R9 AND B42 ) OR (B11 AND B42)
C12 = (B12 XOR B43) XOR R10
R11 = (R10 AND B12) OR (R10 AND B43 ) OR (B12 AND B43)
C13 = (B13 XOR B44) XOR R11
R12 = (R11 AND B13) OR (R11 AND B44 ) OR (B13 AND B44)
C14 = (B14 XOR B45) XOR R12
R13 = (R12 AND B14) OR (R12 AND B45 ) OR (B14 AND B45)
C15 = (B15 XOR B46) XOR R13
R14 = (R13 AND B15) OR (R13 AND B46 ) OR (B15 AND B46)
C16 = (B16 XOR B47) XOR R14
R15 = (R14 AND B16) OR (R14 AND B47 ) OR (B16 AND B47)
C17 = (B17 XOR B48) XOR R15
R16 = (R15 AND B17) OR (R15 AND B48 ) OR (B17 AND B48)

26
C18 = (B18 XOR B49) XOR R16
R17 = (R16 AND B18) OR (R16 AND B49 ) OR (B18 AND B49)
C19 = (B19 XOR B50) XOR R17
R18 = (R17 AND B19) OR (R17 AND B50 ) OR (B19 AND B50)
C20 = (B20 XOR B51) XOR R18
R19 = (R18 AND B20) OR (R18 AND B51 ) OR (B20 AND B51)
C21 = (B21 XOR B52) XOR R19
R20 = (R19 AND B21) OR (R19 AND B52 ) OR (B21 AND B52)
C22 = (B22 XOR B53) XOR R20
R21 = (R20 AND B22) OR (R20 AND B53 ) OR (B22 AND B53)
C23 = (B23 XOR B54) XOR R21
R22 = (R21 AND B23) OR (R21 AND B54 ) OR (B23 AND B54)
C24 = (B24 XOR B55) XOR R22
R23 = (R22 AND B24) OR (R22 AND B55 ) OR (B24 AND B55)
C25 = (B25 XOR B56) XOR R23
R24 = (R23 AND B25) OR (R23 AND B56 ) OR (B25 AND B56)
C26 = (B26 XOR B57) XOR R24
R25 = (R24 AND B26) OR (R24 AND B57 ) OR (B26 AND B57)
C27 = (B27 XOR B58) XOR R25
R26 = (R25 AND B27) OR (R25 AND B58 ) OR (B27 AND B58)
C28 = (B28 XOR B59) XOR R26
R27 = (R26 AND B28) OR (R26 AND B59 ) OR (B28 AND B59)
C29 = (B29 XOR B60) XOR R27
R28 = (R27 AND B29) OR (R27 AND B60 ) OR (B29 AND B60)
C30 = (B30 XOR B61) XOR R28
R29 = (R28 AND B30) OR (R28 AND B61 ) OR (B30 AND B61)
C31 = (B31 XOR B62) XOR R29
R30 = (R29 AND B31) OR (R29 AND B62 ) OR (B31 AND B62)
C32 = B63 XOR R30
R31 = (R30 AND B63)
C33 = R31

C34 = C0
C35 = C1
C36 = C2 XOR B64
R32 = (C2 AND B64)
C37 = (C3 XOR B65) XOR R32
R33 = (R32 AND C3) OR (R32 AND B65 ) OR (C3 AND B65)
C38 = (C4 XOR B66) XOR R33
R34 = (R33 AND C4) OR (R33 AND B66 ) OR (C4 AND B66)
C39 = (C5 XOR B67) XOR R34
R35 = (R34 AND C5) OR (R34 AND B67 ) OR (C5 AND B67)
C40 = (C6 XOR B68) XOR R35
R36 = (R35 AND C6) OR (R35 AND B68 ) OR (C6 AND B68)
C41 = (C7 XOR B69) XOR R36
R37 = (R36 AND C7) OR (R36 AND B69 ) OR (C7 AND B69)
C42 = (C8 XOR B70) XOR R37
R38 = (R37 AND C8) OR (R37 AND B70 ) OR (C8 AND B70)
C43 = (C9 XOR B71) XOR R38
R39 = (R38 AND C9) OR (R38 AND B71 ) OR (C9 AND B71)
C44 = (C10 XOR B72) XOR R39
R40 = (R39 AND C10) OR (R39 AND B72 ) OR (C10 AND B72)
C45 = (C11 XOR B73) XOR R40
R41 = (R40 AND C11) OR (R40 AND B73 ) OR (C11 AND B73)
C46 = (C12 XOR B74) XOR R41
R42 = (R41 AND C12) OR (R41 AND B74 ) OR (C12 AND B74)
C47 = (C13 XOR B75) XOR R42
R43 = (R42 AND C13) OR (R42 AND B75 ) OR (C13 AND B75)
C48 = (C14 XOR B76) XOR R43
R44 = (R43 AND C14) OR (R43 AND B76 ) OR (C14 AND B76)
C49 = (C15 XOR B77) XOR R44
R45 = (R44 AND C15) OR (R44 AND B77 ) OR (C15 AND B77)
C50 = (C16 XOR B78) XOR R45
R46 = (R45 AND C16) OR (R45 AND B78 ) OR (C16 AND B78)
C51 = (C17 XOR B79) XOR R46
R47 = (R46 AND C17) OR (R46 AND B79 ) OR (C17 AND B79)
C52 = (C18 XOR B80) XOR R47
R48 = (R47 AND C18) OR (R47 AND B80 ) OR (C18 AND B80)
C53 = (C19 XOR B81) XOR R48
R49 = (R48 AND C19) OR (R48 AND B81 ) OR (C19 AND B81)
C54 = (C20 XOR B82) XOR R49

27
R50 = (R49 AND C20) OR (R49 AND B82 ) OR (C20 AND B82)
C55 = (C21 XOR B83) XOR R50
R51 = (R50 AND C21) OR (R50 AND B83 ) OR (C21 AND B83)
C56 = (C22 XOR B84) XOR R51
R52 = (R51 AND C22) OR (R51 AND B84 ) OR (C22 AND B84)
C57 = (C23 XOR B85) XOR R52
R53 = (R52 AND C23) OR (R52 AND B85 ) OR (C23 AND B85)
C58 = (C24 XOR B86) XOR R53
R54 = (R53 AND C24) OR (R53 AND B86 ) OR (C24 AND B86)
C59 = (C25 XOR B87) XOR R54
R55 = (R54 AND C25) OR (R54 AND B87 ) OR (C25 AND B87)
C60 = (C26 XOR B88) XOR R55
R56 = (R55 AND C26) OR (R55 AND B88 ) OR (C26 AND B88)
C61 = (C27 XOR B89) XOR R56
R57 = (R56 AND C27) OR (R56 AND B89 ) OR (C27 AND B89)
C62 = (C28 XOR B90) XOR R57
R58 = (R57 AND C28) OR (R57 AND B90 ) OR (C28 AND B90)
C63 = (C29 XOR B91) XOR R58
R59 = (R58 AND C29) OR (R58 AND B91 ) OR (C29 AND B91)
C64 = (C30 XOR B92) XOR R59
R60 = (R59 AND C30) OR (R59 AND B92 ) OR (C30 AND B92)
C65 = (C31 XOR B93) XOR R60
R61 = (R60 AND C31) OR (R60 AND B93 ) OR (C31 AND B93)
C66 = (C32 XOR B94) XOR R61
R62 = (R61 AND C32) OR (R61 AND B94 ) OR (C32 AND B94)
C67 = (C33 XOR B95) XOR R62
R63 = (R62 AND C33) OR (R62 AND B95 ) OR (C33 AND B95)
C68 = R63

C69 = C34
C70 = C35
C71 = C36
C72 = C37 XOR B96
R64 = (C37 AND B96)
C73 = (C38 XOR B97) XOR R64
R65 = (R64 AND C38) OR (R64 AND B97 ) OR (C38 AND B97)
C74 = (C39 XOR B98) XOR R65
R66 = (R65 AND C39) OR (R65 AND B98 ) OR (C39 AND B98)
C75 = (C40 XOR B99) XOR R66
R67 = (R66 AND C40) OR (R66 AND B99 ) OR (C40 AND B99)
C76 = (C41 XOR B100) XOR R67
R68 = (R67 AND C41) OR (R67 AND B100 ) OR (C41 AND B100)
C77 = (C42 XOR B101) XOR R68
R69 = (R68 AND C42) OR (R68 AND B101 ) OR (C42 AND B101)
C78 = (C43 XOR B102) XOR R69
R70 = (R69 AND C43) OR (R69 AND B102 ) OR (C43 AND B102)
C79 = (C44 XOR B103) XOR R70
R71 = (R70 AND C44) OR (R70 AND B103 ) OR (C44 AND B103)
C80 = (C45 XOR B104) XOR R71
R72 = (R71 AND C45) OR (R71 AND B104 ) OR (C45 AND B104)
C81 = (C46 XOR B105) XOR R72
R73 = (R72 AND C46) OR (R72 AND B105 ) OR (C46 AND B105)
C82 = (C47 XOR B106) XOR R73
R74 = (R73 AND C47) OR (R73 AND B106 ) OR (C47 AND B106)
C83 = (C48 XOR B107) XOR R74
R75 = (R74 AND C48) OR (R74 AND B107 ) OR (C48 AND B107)
C84 = (C49 XOR B108) XOR R75
R76 = (R75 AND C49) OR (R75 AND B108 ) OR (C49 AND B108)
C85 = (C50 XOR B109) XOR R76
R77 = (R76 AND C50) OR (R76 AND B109 ) OR (C50 AND B109)
C86 = (C51 XOR B110) XOR R77
R78 = (R77 AND C51) OR (R77 AND B110 ) OR (C51 AND B110)
C87 = (C52 XOR B111) XOR R78
R79 = (R78 AND C52) OR (R78 AND B111 ) OR (C52 AND B111)
C88 = (C53 XOR B112) XOR R79
R80 = (R79 AND C53) OR (R79 AND B112 ) OR (C53 AND B112)
C89 = (C54 XOR B113) XOR R80
R81 = (R80 AND C54) OR (R80 AND B113 ) OR (C54 AND B113)
C90 = (C55 XOR B114) XOR R81
R82 = (R81 AND C55) OR (R81 AND B114 ) OR (C55 AND B114)
C91 = (C56 XOR B115) XOR R82

28
R83 = (R82 AND C56) OR (R82 AND B115 ) OR (C56 AND B115)
C92 = (C57 XOR B116) XOR R83
R84 = (R83 AND C57) OR (R83 AND B116 ) OR (C57 AND B116)
C93 = (C58 XOR B117) XOR R84
R85 = (R84 AND C58) OR (R84 AND B117 ) OR (C58 AND B117)
C94 = (C59 XOR B118) XOR R85
R86 = (R85 AND C59) OR (R85 AND B118 ) OR (C59 AND B118)
C95 = (C60 XOR B119) XOR R86
R87 = (R86 AND C60) OR (R86 AND B119 ) OR (C60 AND B119)
C96 = (C61 XOR B120) XOR R87
R88 = (R87 AND C61) OR (R87 AND B120 ) OR (C61 AND B120)
C97 = (C62 XOR B121) XOR R88
R89 = (R88 AND C62) OR (R88 AND B121 ) OR (C62 AND B121)
C98 = (C63 XOR B122) XOR R89
R90 = (R89 AND C63) OR (R89 AND B122 ) OR (C63 AND B122)
C99 = (C64 XOR B123) XOR R90
R91 = (R90 AND C64) OR (R90 AND B123 ) OR (C64 AND B123)
C100 = (C65 XOR B124) XOR R91
R92 = (R91 AND C65) OR (R91 AND B124 ) OR (C65 AND B124)
C101 = (C66 XOR B125) XOR R92
R93 = (R92 AND C66) OR (R92 AND B125 ) OR (C66 AND B125)
C102 = (C67 XOR B126) XOR R93
R94 = (R93 AND C67) OR (R93 AND B126 ) OR (C67 AND B126)
C103 = (C68 XOR B127) XOR R94
R95 = (R94 AND C68) OR (R94 AND B127 ) OR (C68 AND B127)
C104 = R95

C105 = C69
C106 = C70
C107 = C71
C108 = C72
C109 = C73 XOR B128
R96 = (C73 AND B128)
C110 = (C74 XOR B129) XOR R96
R97 = (R96 AND C74) OR (R96 AND B129 ) OR (C74 AND B129)
C111 = (C75 XOR B130) XOR R97
R98 = (R97 AND C75) OR (R97 AND B130 ) OR (C75 AND B130)
C112 = (C76 XOR B131) XOR R98
R99 = (R98 AND C76) OR (R98 AND B131 ) OR (C76 AND B131)
C113 = (C77 XOR B132) XOR R99
R100 = (R99 AND C77) OR (R99 AND B132 ) OR (C77 AND B132)
C114 = (C78 XOR B133) XOR R100
R101 = (R100 AND C78) OR (R100 AND B133 ) OR (C78 AND B133)
C115 = (C79 XOR B134) XOR R101
R102 = (R101 AND C79) OR (R101 AND B134 ) OR (C79 AND B134)
C116 = (C80 XOR B135) XOR R102
R103 = (R102 AND C80) OR (R102 AND B135 ) OR (C80 AND B135)
C117 = (C81 XOR B136) XOR R103
R104 = (R103 AND C81) OR (R103 AND B136 ) OR (C81 AND B136)
C118 = (C82 XOR B137) XOR R104
R105 = (R104 AND C82) OR (R104 AND B137 ) OR (C82 AND B137)
C119 = (C83 XOR B138) XOR R105
R106 = (R105 AND C83) OR (R105 AND B138 ) OR (C83 AND B138)
C120 = (C84 XOR B139) XOR R106
R107 = (R106 AND C84) OR (R106 AND B139 ) OR (C84 AND B139)
C121 = (C85 XOR B140) XOR R107
R108 = (R107 AND C85) OR (R107 AND B140 ) OR (C85 AND B140)
C122 = (C86 XOR B141) XOR R108
R109 = (R108 AND C86) OR (R108 AND B141 ) OR (C86 AND B141)
C123 = (C87 XOR B142) XOR R109
R110 = (R109 AND C87) OR (R109 AND B142 ) OR (C87 AND B142)
C124 = (C88 XOR B143) XOR R110
R111 = (R110 AND C88) OR (R110 AND B143 ) OR (C88 AND B143)
C125 = (C89 XOR B144) XOR R111
R112 = (R111 AND C89) OR (R111 AND B144 ) OR (C89 AND B144)
C126 = (C90 XOR B145) XOR R112
R113 = (R112 AND C90) OR (R112 AND B145 ) OR (C90 AND B145)
C127 = (C91 XOR B146) XOR R113
R114 = (R113 AND C91) OR (R113 AND B146 ) OR (C91 AND B146)
C128 = (C92 XOR B147) XOR R114
R115 = (R114 AND C92) OR (R114 AND B147 ) OR (C92 AND B147)

29
C129 = (C93 XOR B148) XOR R115
R116 = (R115 AND C93) OR (R115 AND B148 ) OR (C93 AND B148)
C130 = (C94 XOR B149) XOR R116
R117 = (R116 AND C94) OR (R116 AND B149 ) OR (C94 AND B149)
C131 = (C95 XOR B150) XOR R117
R118 = (R117 AND C95) OR (R117 AND B150 ) OR (C95 AND B150)
C132 = (C96 XOR B151) XOR R118
R119 = (R118 AND C96) OR (R118 AND B151 ) OR (C96 AND B151)
C133 = (C97 XOR B152) XOR R119
R120 = (R119 AND C97) OR (R119 AND B152 ) OR (C97 AND B152)
C134 = (C98 XOR B153) XOR R120
R121 = (R120 AND C98) OR (R120 AND B153 ) OR (C98 AND B153)
C135 = (C99 XOR B154) XOR R121
R122 = (R121 AND C99) OR (R121 AND B154 ) OR (C99 AND B154)
C136 = (C100 XOR B155) XOR R122
R123 = (R122 AND C100) OR (R122 AND B155 ) OR (C100 AND B155)
C137 = (C101 XOR B156) XOR R123
R124 = (R123 AND C101) OR (R123 AND B156 ) OR (C101 AND B156)
C138 = (C102 XOR B157) XOR R124
R125 = (R124 AND C102) OR (R124 AND B157 ) OR (C102 AND B157)
C139 = (C103 XOR B158) XOR R125
R126 = (R125 AND C103) OR (R125 AND B158 ) OR (C103 AND B158)
C140 = (C104 XOR B159) XOR R126
R127 = (R126 AND C104) OR (R126 AND B159 ) OR (C104 AND B159)
C141 = R127

C142 = C105
C143 = C106
C144 = C107
C145 = C108
C146 = C109
C147 = C110 XOR B160
R128 = (C110 AND B160)
C148 = (C111 XOR B161) XOR R128
R129 = (R128 AND C111) OR (R128 AND B161 ) OR (C111 AND B161)
C149 = (C112 XOR B162) XOR R129
R130 = (R129 AND C112) OR (R129 AND B162 ) OR (C112 AND B162)
C150 = (C113 XOR B163) XOR R130
R131 = (R130 AND C113) OR (R130 AND B163 ) OR (C113 AND B163)
C151 = (C114 XOR B164) XOR R131
R132 = (R131 AND C114) OR (R131 AND B164 ) OR (C114 AND B164)
C152 = (C115 XOR B165) XOR R132
R133 = (R132 AND C115) OR (R132 AND B165 ) OR (C115 AND B165)
C153 = (C116 XOR B166) XOR R133
R134 = (R133 AND C116) OR (R133 AND B166 ) OR (C116 AND B166)
C154 = (C117 XOR B167) XOR R134
R135 = (R134 AND C117) OR (R134 AND B167 ) OR (C117 AND B167)
C155 = (C118 XOR B168) XOR R135
R136 = (R135 AND C118) OR (R135 AND B168 ) OR (C118 AND B168)
C156 = (C119 XOR B169) XOR R136
R137 = (R136 AND C119) OR (R136 AND B169 ) OR (C119 AND B169)
C157 = (C120 XOR B170) XOR R137
R138 = (R137 AND C120) OR (R137 AND B170 ) OR (C120 AND B170)
C158 = (C121 XOR B171) XOR R138
R139 = (R138 AND C121) OR (R138 AND B171 ) OR (C121 AND B171)
C159 = (C122 XOR B172) XOR R139
R140 = (R139 AND C122) OR (R139 AND B172 ) OR (C122 AND B172)
C160 = (C123 XOR B173) XOR R140
R141 = (R140 AND C123) OR (R140 AND B173 ) OR (C123 AND B173)
C161 = (C124 XOR B174) XOR R141
R142 = (R141 AND C124) OR (R141 AND B174 ) OR (C124 AND B174)
C162 = (C125 XOR B175) XOR R142
R143 = (R142 AND C125) OR (R142 AND B175 ) OR (C125 AND B175)
C163 = (C126 XOR B176) XOR R143
R144 = (R143 AND C126) OR (R143 AND B176 ) OR (C126 AND B176)
C164 = (C127 XOR B177) XOR R144
R145 = (R144 AND C127) OR (R144 AND B177 ) OR (C127 AND B177)
C165 = (C128 XOR B178) XOR R145
R146 = (R145 AND C128) OR (R145 AND B178 ) OR (C128 AND B178)
C166 = (C129 XOR B179) XOR R146
R147 = (R146 AND C129) OR (R146 AND B179 ) OR (C129 AND B179)

30
C167 = (C130 XOR B180) XOR R147
R148 = (R147 AND C130) OR (R147 AND B180 ) OR (C130 AND B180)
C168 = (C131 XOR B181) XOR R148
R149 = (R148 AND C131) OR (R148 AND B181 ) OR (C131 AND B181)
C169 = (C132 XOR B182) XOR R149
R150 = (R149 AND C132) OR (R149 AND B182 ) OR (C132 AND B182)
C170 = (C133 XOR B183) XOR R150
R151 = (R150 AND C133) OR (R150 AND B183 ) OR (C133 AND B183)
C171 = (C134 XOR B184) XOR R151
R152 = (R151 AND C134) OR (R151 AND B184 ) OR (C134 AND B184)
C172 = (C135 XOR B185) XOR R152
R153 = (R152 AND C135) OR (R152 AND B185 ) OR (C135 AND B185)
C173 = (C136 XOR B186) XOR R153
R154 = (R153 AND C136) OR (R153 AND B186 ) OR (C136 AND B186)
C174 = (C137 XOR B187) XOR R154
R155 = (R154 AND C137) OR (R154 AND B187 ) OR (C137 AND B187)
C175 = (C138 XOR B188) XOR R155
R156 = (R155 AND C138) OR (R155 AND B188 ) OR (C138 AND B188)
C176 = (C139 XOR B189) XOR R156
R157 = (R156 AND C139) OR (R156 AND B189 ) OR (C139 AND B189)
C177 = (C140 XOR B190) XOR R157
R158 = (R157 AND C140) OR (R157 AND B190 ) OR (C140 AND B190)
C178 = (C141 XOR B191) XOR R158
R159 = (R158 AND C141) OR (R158 AND B191 ) OR (C141 AND B191)
C179 = R159

C180 = C142
C181 = C143
C182 = C144
C183 = C145
C184 = C146
C185 = C147
C186 = C148 XOR B192
R160 = (C148 AND B192)
C187 = (C149 XOR B193) XOR R160
R161 = (R160 AND C149) OR (R160 AND B193 ) OR (C149 AND B193)
C188 = (C150 XOR B194) XOR R161
R162 = (R161 AND C150) OR (R161 AND B194 ) OR (C150 AND B194)
C189 = (C151 XOR B195) XOR R162
R163 = (R162 AND C151) OR (R162 AND B195 ) OR (C151 AND B195)
C190 = (C152 XOR B196) XOR R163
R164 = (R163 AND C152) OR (R163 AND B196 ) OR (C152 AND B196)
C191 = (C153 XOR B197) XOR R164
R165 = (R164 AND C153) OR (R164 AND B197 ) OR (C153 AND B197)
C192 = (C154 XOR B198) XOR R165
R166 = (R165 AND C154) OR (R165 AND B198 ) OR (C154 AND B198)
C193 = (C155 XOR B199) XOR R166
R167 = (R166 AND C155) OR (R166 AND B199 ) OR (C155 AND B199)
C194 = (C156 XOR B200) XOR R167
R168 = (R167 AND C156) OR (R167 AND B200 ) OR (C156 AND B200)
C195 = (C157 XOR B201) XOR R168
R169 = (R168 AND C157) OR (R168 AND B201 ) OR (C157 AND B201)
C196 = (C158 XOR B202) XOR R169
R170 = (R169 AND C158) OR (R169 AND B202 ) OR (C158 AND B202)
C197 = (C159 XOR B203) XOR R170
R171 = (R170 AND C159) OR (R170 AND B203 ) OR (C159 AND B203)
C198 = (C160 XOR B204) XOR R171
R172 = (R171 AND C160) OR (R171 AND B204 ) OR (C160 AND B204)
C199 = (C161 XOR B205) XOR R172
R173 = (R172 AND C161) OR (R172 AND B205 ) OR (C161 AND B205)
C200 = (C162 XOR B206) XOR R173
R174 = (R173 AND C162) OR (R173 AND B206 ) OR (C162 AND B206)
C201 = (C163 XOR B207) XOR R174
R175 = (R174 AND C163) OR (R174 AND B207 ) OR (C163 AND B207)
C202 = (C164 XOR B208) XOR R175
R176 = (R175 AND C164) OR (R175 AND B208 ) OR (C164 AND B208)
C203 = (C165 XOR B209) XOR R176
R177 = (R176 AND C165) OR (R176 AND B209 ) OR (C165 AND B209)
C204 = (C166 XOR B210) XOR R177
R178 = (R177 AND C166) OR (R177 AND B210 ) OR (C166 AND B210)
C205 = (C167 XOR B211) XOR R178

31
R179 = (R178 AND C167) OR (R178 AND B211 ) OR (C167 AND B211)
C206 = (C168 XOR B212) XOR R179
R180 = (R179 AND C168) OR (R179 AND B212 ) OR (C168 AND B212)
C207 = (C169 XOR B213) XOR R180
R181 = (R180 AND C169) OR (R180 AND B213 ) OR (C169 AND B213)
C208 = (C170 XOR B214) XOR R181
R182 = (R181 AND C170) OR (R181 AND B214 ) OR (C170 AND B214)
C209 = (C171 XOR B215) XOR R182
R183 = (R182 AND C171) OR (R182 AND B215 ) OR (C171 AND B215)
C210 = (C172 XOR B216) XOR R183
R184 = (R183 AND C172) OR (R183 AND B216 ) OR (C172 AND B216)
C211 = (C173 XOR B217) XOR R184
R185 = (R184 AND C173) OR (R184 AND B217 ) OR (C173 AND B217)
C212 = (C174 XOR B218) XOR R185
R186 = (R185 AND C174) OR (R185 AND B218 ) OR (C174 AND B218)
C213 = (C175 XOR B219) XOR R186
R187 = (R186 AND C175) OR (R186 AND B219 ) OR (C175 AND B219)
C214 = (C176 XOR B220) XOR R187
R188 = (R187 AND C176) OR (R187 AND B220 ) OR (C176 AND B220)
C215 = (C177 XOR B221) XOR R188
R189 = (R188 AND C177) OR (R188 AND B221 ) OR (C177 AND B221)
C216 = (C178 XOR B222) XOR R189
R190 = (R189 AND C178) OR (R189 AND B222 ) OR (C178 AND B222)
C217 = (C179 XOR B223) XOR R190
R191 = (R190 AND C179) OR (R190 AND B223 ) OR (C179 AND B223)
C218 = R191

C219 = C180
C220 = C181
C221 = C182
C222 = C183
C223 = C184
C224 = C185
C225 = C186
C226 = C187 XOR B224
R192 = (C187 AND B224)
C227 = (C188 XOR B225) XOR R192
R193 = (R192 AND C188) OR (R192 AND B225 ) OR (C188 AND B225)
C228 = (C189 XOR B226) XOR R193
R194 = (R193 AND C189) OR (R193 AND B226 ) OR (C189 AND B226)
C229 = (C190 XOR B227) XOR R194
R195 = (R194 AND C190) OR (R194 AND B227 ) OR (C190 AND B227)
C230 = (C191 XOR B228) XOR R195
R196 = (R195 AND C191) OR (R195 AND B228 ) OR (C191 AND B228)
C231 = (C192 XOR B229) XOR R196
R197 = (R196 AND C192) OR (R196 AND B229 ) OR (C192 AND B229)
C232 = (C193 XOR B230) XOR R197
R198 = (R197 AND C193) OR (R197 AND B230 ) OR (C193 AND B230)
C233 = (C194 XOR B231) XOR R198
R199 = (R198 AND C194) OR (R198 AND B231 ) OR (C194 AND B231)
C234 = (C195 XOR B232) XOR R199
R200 = (R199 AND C195) OR (R199 AND B232 ) OR (C195 AND B232)
C235 = (C196 XOR B233) XOR R200
R201 = (R200 AND C196) OR (R200 AND B233 ) OR (C196 AND B233)
C236 = (C197 XOR B234) XOR R201
R202 = (R201 AND C197) OR (R201 AND B234 ) OR (C197 AND B234)
C237 = (C198 XOR B235) XOR R202
R203 = (R202 AND C198) OR (R202 AND B235 ) OR (C198 AND B235)
C238 = (C199 XOR B236) XOR R203
R204 = (R203 AND C199) OR (R203 AND B236 ) OR (C199 AND B236)
C239 = (C200 XOR B237) XOR R204
R205 = (R204 AND C200) OR (R204 AND B237 ) OR (C200 AND B237)
C240 = (C201 XOR B238) XOR R205
R206 = (R205 AND C201) OR (R205 AND B238 ) OR (C201 AND B238)
C241 = (C202 XOR B239) XOR R206
R207 = (R206 AND C202) OR (R206 AND B239 ) OR (C202 AND B239)
C242 = (C203 XOR B240) XOR R207
R208 = (R207 AND C203) OR (R207 AND B240 ) OR (C203 AND B240)
C243 = (C204 XOR B241) XOR R208
R209 = (R208 AND C204) OR (R208 AND B241 ) OR (C204 AND B241)
C244 = (C205 XOR B242) XOR R209

32
R210 = (R209 AND C205) OR (R209 AND B242 ) OR (C205 AND B242)
C245 = (C206 XOR B243) XOR R210
R211 = (R210 AND C206) OR (R210 AND B243 ) OR (C206 AND B243)
C246 = (C207 XOR B244) XOR R211
R212 = (R211 AND C207) OR (R211 AND B244 ) OR (C207 AND B244)
C247 = (C208 XOR B245) XOR R212
R213 = (R212 AND C208) OR (R212 AND B245 ) OR (C208 AND B245)
C248 = (C209 XOR B246) XOR R213
R214 = (R213 AND C209) OR (R213 AND B246 ) OR (C209 AND B246)
C249 = (C210 XOR B247) XOR R214
R215 = (R214 AND C210) OR (R214 AND B247 ) OR (C210 AND B247)
C250 = (C211 XOR B248) XOR R215
R216 = (R215 AND C211) OR (R215 AND B248 ) OR (C211 AND B248)
C251 = (C212 XOR B249) XOR R216
R217 = (R216 AND C212) OR (R216 AND B249 ) OR (C212 AND B249)
C252 = (C213 XOR B250) XOR R217
R218 = (R217 AND C213) OR (R217 AND B250 ) OR (C213 AND B250)
C253 = (C214 XOR B251) XOR R218
R219 = (R218 AND C214) OR (R218 AND B251 ) OR (C214 AND B251)
C254 = (C215 XOR B252) XOR R219
R220 = (R219 AND C215) OR (R219 AND B252 ) OR (C215 AND B252)
C255 = (C216 XOR B253) XOR R220
R221 = (R220 AND C216) OR (R220 AND B253 ) OR (C216 AND B253)
C256 = (C217 XOR B254) XOR R221
R222 = (R221 AND C217) OR (R221 AND B254 ) OR (C217 AND B254)
C257 = (C218 XOR B255) XOR R222
R223 = (R222 AND C218) OR (R222 AND B255 ) OR (C218 AND B255)
C258 = R223

C259 = C219
C260 = C220
C261 = C221
C262 = C222
C263 = C223
C264 = C224
C265 = C225
C266 = C226
C267 = C227 XOR B256
R224 = (C227 AND B256)
C268 = (C228 XOR B257) XOR R224
R225 = (R224 AND C228) OR (R224 AND B257 ) OR (C228 AND B257)
C269 = (C229 XOR B258) XOR R225
R226 = (R225 AND C229) OR (R225 AND B258 ) OR (C229 AND B258)
C270 = (C230 XOR B259) XOR R226
R227 = (R226 AND C230) OR (R226 AND B259 ) OR (C230 AND B259)
C271 = (C231 XOR B260) XOR R227
R228 = (R227 AND C231) OR (R227 AND B260 ) OR (C231 AND B260)
C272 = (C232 XOR B261) XOR R228
R229 = (R228 AND C232) OR (R228 AND B261 ) OR (C232 AND B261)
C273 = (C233 XOR B262) XOR R229
R230 = (R229 AND C233) OR (R229 AND B262 ) OR (C233 AND B262)
C274 = (C234 XOR B263) XOR R230
R231 = (R230 AND C234) OR (R230 AND B263 ) OR (C234 AND B263)
C275 = (C235 XOR B264) XOR R231
R232 = (R231 AND C235) OR (R231 AND B264 ) OR (C235 AND B264)
C276 = (C236 XOR B265) XOR R232
R233 = (R232 AND C236) OR (R232 AND B265 ) OR (C236 AND B265)
C277 = (C237 XOR B266) XOR R233
R234 = (R233 AND C237) OR (R233 AND B266 ) OR (C237 AND B266)
C278 = (C238 XOR B267) XOR R234
R235 = (R234 AND C238) OR (R234 AND B267 ) OR (C238 AND B267)
C279 = (C239 XOR B268) XOR R235
R236 = (R235 AND C239) OR (R235 AND B268 ) OR (C239 AND B268)
C280 = (C240 XOR B269) XOR R236
R237 = (R236 AND C240) OR (R236 AND B269 ) OR (C240 AND B269)
C281 = (C241 XOR B270) XOR R237
R238 = (R237 AND C241) OR (R237 AND B270 ) OR (C241 AND B270)
C282 = (C242 XOR B271) XOR R238
R239 = (R238 AND C242) OR (R238 AND B271 ) OR (C242 AND B271)
C283 = (C243 XOR B272) XOR R239
R240 = (R239 AND C243) OR (R239 AND B272 ) OR (C243 AND B272)

33
C284 = (C244 XOR B273) XOR R240
R241 = (R240 AND C244) OR (R240 AND B273 ) OR (C244 AND B273)
C285 = (C245 XOR B274) XOR R241
R242 = (R241 AND C245) OR (R241 AND B274 ) OR (C245 AND B274)
C286 = (C246 XOR B275) XOR R242
R243 = (R242 AND C246) OR (R242 AND B275 ) OR (C246 AND B275)
C287 = (C247 XOR B276) XOR R243
R244 = (R243 AND C247) OR (R243 AND B276 ) OR (C247 AND B276)
C288 = (C248 XOR B277) XOR R244
R245 = (R244 AND C248) OR (R244 AND B277 ) OR (C248 AND B277)
C289 = (C249 XOR B278) XOR R245
R246 = (R245 AND C249) OR (R245 AND B278 ) OR (C249 AND B278)
C290 = (C250 XOR B279) XOR R246
R247 = (R246 AND C250) OR (R246 AND B279 ) OR (C250 AND B279)
C291 = (C251 XOR B280) XOR R247
R248 = (R247 AND C251) OR (R247 AND B280 ) OR (C251 AND B280)
C292 = (C252 XOR B281) XOR R248
R249 = (R248 AND C252) OR (R248 AND B281 ) OR (C252 AND B281)
C293 = (C253 XOR B282) XOR R249
R250 = (R249 AND C253) OR (R249 AND B282 ) OR (C253 AND B282)
C294 = (C254 XOR B283) XOR R250
R251 = (R250 AND C254) OR (R250 AND B283 ) OR (C254 AND B283)
C295 = (C255 XOR B284) XOR R251
R252 = (R251 AND C255) OR (R251 AND B284 ) OR (C255 AND B284)
C296 = (C256 XOR B285) XOR R252
R253 = (R252 AND C256) OR (R252 AND B285 ) OR (C256 AND B285)
C297 = (C257 XOR B286) XOR R253
R254 = (R253 AND C257) OR (R253 AND B286 ) OR (C257 AND B286)
C298 = (C258 XOR B287) XOR R254
R255 = (R254 AND C258) OR (R254 AND B287 ) OR (C258 AND B287)
C299 = R255

C300 = C259
C301 = C260
C302 = C261
C303 = C262
C304 = C263
C305 = C264
C306 = C265
C307 = C266
C308 = C267
C309 = C268 XOR B288
R256 = (C268 AND B288)
C310 = (C269 XOR B289) XOR R256
R257 = (R256 AND C269) OR (R256 AND B289 ) OR (C269 AND B289)
C311 = (C270 XOR B290) XOR R257
R258 = (R257 AND C270) OR (R257 AND B290 ) OR (C270 AND B290)
C312 = (C271 XOR B291) XOR R258
R259 = (R258 AND C271) OR (R258 AND B291 ) OR (C271 AND B291)
C313 = (C272 XOR B292) XOR R259
R260 = (R259 AND C272) OR (R259 AND B292 ) OR (C272 AND B292)
C314 = (C273 XOR B293) XOR R260
R261 = (R260 AND C273) OR (R260 AND B293 ) OR (C273 AND B293)
C315 = (C274 XOR B294) XOR R261
R262 = (R261 AND C274) OR (R261 AND B294 ) OR (C274 AND B294)
C316 = (C275 XOR B295) XOR R262
R263 = (R262 AND C275) OR (R262 AND B295 ) OR (C275 AND B295)
C317 = (C276 XOR B296) XOR R263
R264 = (R263 AND C276) OR (R263 AND B296 ) OR (C276 AND B296)
C318 = (C277 XOR B297) XOR R264
R265 = (R264 AND C277) OR (R264 AND B297 ) OR (C277 AND B297)
C319 = (C278 XOR B298) XOR R265
R266 = (R265 AND C278) OR (R265 AND B298 ) OR (C278 AND B298)
C320 = (C279 XOR B299) XOR R266
R267 = (R266 AND C279) OR (R266 AND B299 ) OR (C279 AND B299)
C321 = (C280 XOR B300) XOR R267
R268 = (R267 AND C280) OR (R267 AND B300 ) OR (C280 AND B300)
C322 = (C281 XOR B301) XOR R268
R269 = (R268 AND C281) OR (R268 AND B301 ) OR (C281 AND B301)
C323 = (C282 XOR B302) XOR R269
R270 = (R269 AND C282) OR (R269 AND B302 ) OR (C282 AND B302)

34
C324 = (C283 XOR B303) XOR R270
R271 = (R270 AND C283) OR (R270 AND B303 ) OR (C283 AND B303)
C325 = (C284 XOR B304) XOR R271
R272 = (R271 AND C284) OR (R271 AND B304 ) OR (C284 AND B304)
C326 = (C285 XOR B305) XOR R272
R273 = (R272 AND C285) OR (R272 AND B305 ) OR (C285 AND B305)
C327 = (C286 XOR B306) XOR R273
R274 = (R273 AND C286) OR (R273 AND B306 ) OR (C286 AND B306)
C328 = (C287 XOR B307) XOR R274
R275 = (R274 AND C287) OR (R274 AND B307 ) OR (C287 AND B307)
C329 = (C288 XOR B308) XOR R275
R276 = (R275 AND C288) OR (R275 AND B308 ) OR (C288 AND B308)
C330 = (C289 XOR B309) XOR R276
R277 = (R276 AND C289) OR (R276 AND B309 ) OR (C289 AND B309)
C331 = (C290 XOR B310) XOR R277
R278 = (R277 AND C290) OR (R277 AND B310 ) OR (C290 AND B310)
C332 = (C291 XOR B311) XOR R278
R279 = (R278 AND C291) OR (R278 AND B311 ) OR (C291 AND B311)
C333 = (C292 XOR B312) XOR R279
R280 = (R279 AND C292) OR (R279 AND B312 ) OR (C292 AND B312)
C334 = (C293 XOR B313) XOR R280
R281 = (R280 AND C293) OR (R280 AND B313 ) OR (C293 AND B313)
C335 = (C294 XOR B314) XOR R281
R282 = (R281 AND C294) OR (R281 AND B314 ) OR (C294 AND B314)
C336 = (C295 XOR B315) XOR R282
R283 = (R282 AND C295) OR (R282 AND B315 ) OR (C295 AND B315)
C337 = (C296 XOR B316) XOR R283
R284 = (R283 AND C296) OR (R283 AND B316 ) OR (C296 AND B316)
C338 = (C297 XOR B317) XOR R284
R285 = (R284 AND C297) OR (R284 AND B317 ) OR (C297 AND B317)
C339 = (C298 XOR B318) XOR R285
R286 = (R285 AND C298) OR (R285 AND B318 ) OR (C298 AND B318)
C340 = (C299 XOR B319) XOR R286
R287 = (R286 AND C299) OR (R286 AND B319 ) OR (C299 AND B319)
C341 = R287

C342 = C300
C343 = C301
C344 = C302
C345 = C303
C346 = C304
C347 = C305
C348 = C306
C349 = C307
C350 = C308
C351 = C309
C352 = C310 XOR B320
R288 = (C310 AND B320)
C353 = (C311 XOR B321) XOR R288
R289 = (R288 AND C311) OR (R288 AND B321 ) OR (C311 AND B321)
C354 = (C312 XOR B322) XOR R289
R290 = (R289 AND C312) OR (R289 AND B322 ) OR (C312 AND B322)
C355 = (C313 XOR B323) XOR R290
R291 = (R290 AND C313) OR (R290 AND B323 ) OR (C313 AND B323)
C356 = (C314 XOR B324) XOR R291
R292 = (R291 AND C314) OR (R291 AND B324 ) OR (C314 AND B324)
C357 = (C315 XOR B325) XOR R292
R293 = (R292 AND C315) OR (R292 AND B325 ) OR (C315 AND B325)
C358 = (C316 XOR B326) XOR R293
R294 = (R293 AND C316) OR (R293 AND B326 ) OR (C316 AND B326)
C359 = (C317 XOR B327) XOR R294
R295 = (R294 AND C317) OR (R294 AND B327 ) OR (C317 AND B327)
C360 = (C318 XOR B328) XOR R295
R296 = (R295 AND C318) OR (R295 AND B328 ) OR (C318 AND B328)
C361 = (C319 XOR B329) XOR R296
R297 = (R296 AND C319) OR (R296 AND B329 ) OR (C319 AND B329)
C362 = (C320 XOR B330) XOR R297
R298 = (R297 AND C320) OR (R297 AND B330 ) OR (C320 AND B330)
C363 = (C321 XOR B331) XOR R298
R299 = (R298 AND C321) OR (R298 AND B331 ) OR (C321 AND B331)
C364 = (C322 XOR B332) XOR R299

35
R300 = (R299 AND C322) OR (R299 AND B332 ) OR (C322 AND B332)
C365 = (C323 XOR B333) XOR R300
R301 = (R300 AND C323) OR (R300 AND B333 ) OR (C323 AND B333)
C366 = (C324 XOR B334) XOR R301
R302 = (R301 AND C324) OR (R301 AND B334 ) OR (C324 AND B334)
C367 = (C325 XOR B335) XOR R302
R303 = (R302 AND C325) OR (R302 AND B335 ) OR (C325 AND B335)
C368 = (C326 XOR B336) XOR R303
R304 = (R303 AND C326) OR (R303 AND B336 ) OR (C326 AND B336)
C369 = (C327 XOR B337) XOR R304
R305 = (R304 AND C327) OR (R304 AND B337 ) OR (C327 AND B337)
C370 = (C328 XOR B338) XOR R305
R306 = (R305 AND C328) OR (R305 AND B338 ) OR (C328 AND B338)
C371 = (C329 XOR B339) XOR R306
R307 = (R306 AND C329) OR (R306 AND B339 ) OR (C329 AND B339)
C372 = (C330 XOR B340) XOR R307
R308 = (R307 AND C330) OR (R307 AND B340 ) OR (C330 AND B340)
C373 = (C331 XOR B341) XOR R308
R309 = (R308 AND C331) OR (R308 AND B341 ) OR (C331 AND B341)
C374 = (C332 XOR B342) XOR R309
R310 = (R309 AND C332) OR (R309 AND B342 ) OR (C332 AND B342)
C375 = (C333 XOR B343) XOR R310
R311 = (R310 AND C333) OR (R310 AND B343 ) OR (C333 AND B343)
C376 = (C334 XOR B344) XOR R311
R312 = (R311 AND C334) OR (R311 AND B344 ) OR (C334 AND B344)
C377 = (C335 XOR B345) XOR R312
R313 = (R312 AND C335) OR (R312 AND B345 ) OR (C335 AND B345)
C378 = (C336 XOR B346) XOR R313
R314 = (R313 AND C336) OR (R313 AND B346 ) OR (C336 AND B346)
C379 = (C337 XOR B347) XOR R314
R315 = (R314 AND C337) OR (R314 AND B347 ) OR (C337 AND B347)
C380 = (C338 XOR B348) XOR R315
R316 = (R315 AND C338) OR (R315 AND B348 ) OR (C338 AND B348)
C381 = (C339 XOR B349) XOR R316
R317 = (R316 AND C339) OR (R316 AND B349 ) OR (C339 AND B349)
C382 = (C340 XOR B350) XOR R317
R318 = (R317 AND C340) OR (R317 AND B350 ) OR (C340 AND B350)
C383 = (C341 XOR B351) XOR R318
R319 = (R318 AND C341) OR (R318 AND B351 ) OR (C341 AND B351)
C384 = R319

C385 = C342
C386 = C343
C387 = C344
C388 = C345
C389 = C346
C390 = C347
C391 = C348
C392 = C349
C393 = C350
C394 = C351
C395 = C352
C396 = C353 XOR B352
R320 = (C353 AND B352)
C397 = (C354 XOR B353) XOR R320
R321 = (R320 AND C354) OR (R320 AND B353 ) OR (C354 AND B353)
C398 = (C355 XOR B354) XOR R321
R322 = (R321 AND C355) OR (R321 AND B354 ) OR (C355 AND B354)
C399 = (C356 XOR B355) XOR R322
R323 = (R322 AND C356) OR (R322 AND B355 ) OR (C356 AND B355)
C400 = (C357 XOR B356) XOR R323
R324 = (R323 AND C357) OR (R323 AND B356 ) OR (C357 AND B356)
C401 = (C358 XOR B357) XOR R324
R325 = (R324 AND C358) OR (R324 AND B357 ) OR (C358 AND B357)
C402 = (C359 XOR B358) XOR R325
R326 = (R325 AND C359) OR (R325 AND B358 ) OR (C359 AND B358)
C403 = (C360 XOR B359) XOR R326
R327 = (R326 AND C360) OR (R326 AND B359 ) OR (C360 AND B359)
C404 = (C361 XOR B360) XOR R327
R328 = (R327 AND C361) OR (R327 AND B360 ) OR (C361 AND B360)
C405 = (C362 XOR B361) XOR R328

36
R329 = (R328 AND C362) OR (R328 AND B361 ) OR (C362 AND B361)
C406 = (C363 XOR B362) XOR R329
R330 = (R329 AND C363) OR (R329 AND B362 ) OR (C363 AND B362)
C407 = (C364 XOR B363) XOR R330
R331 = (R330 AND C364) OR (R330 AND B363 ) OR (C364 AND B363)
C408 = (C365 XOR B364) XOR R331
R332 = (R331 AND C365) OR (R331 AND B364 ) OR (C365 AND B364)
C409 = (C366 XOR B365) XOR R332
R333 = (R332 AND C366) OR (R332 AND B365 ) OR (C366 AND B365)
C410 = (C367 XOR B366) XOR R333
R334 = (R333 AND C367) OR (R333 AND B366 ) OR (C367 AND B366)
C411 = (C368 XOR B367) XOR R334
R335 = (R334 AND C368) OR (R334 AND B367 ) OR (C368 AND B367)
C412 = (C369 XOR B368) XOR R335
R336 = (R335 AND C369) OR (R335 AND B368 ) OR (C369 AND B368)
C413 = (C370 XOR B369) XOR R336
R337 = (R336 AND C370) OR (R336 AND B369 ) OR (C370 AND B369)
C414 = (C371 XOR B370) XOR R337
R338 = (R337 AND C371) OR (R337 AND B370 ) OR (C371 AND B370)
C415 = (C372 XOR B371) XOR R338
R339 = (R338 AND C372) OR (R338 AND B371 ) OR (C372 AND B371)
C416 = (C373 XOR B372) XOR R339
R340 = (R339 AND C373) OR (R339 AND B372 ) OR (C373 AND B372)
C417 = (C374 XOR B373) XOR R340
R341 = (R340 AND C374) OR (R340 AND B373 ) OR (C374 AND B373)
C418 = (C375 XOR B374) XOR R341
R342 = (R341 AND C375) OR (R341 AND B374 ) OR (C375 AND B374)
C419 = (C376 XOR B375) XOR R342
R343 = (R342 AND C376) OR (R342 AND B375 ) OR (C376 AND B375)
C420 = (C377 XOR B376) XOR R343
R344 = (R343 AND C377) OR (R343 AND B376 ) OR (C377 AND B376)
C421 = (C378 XOR B377) XOR R344
R345 = (R344 AND C378) OR (R344 AND B377 ) OR (C378 AND B377)
C422 = (C379 XOR B378) XOR R345
R346 = (R345 AND C379) OR (R345 AND B378 ) OR (C379 AND B378)
C423 = (C380 XOR B379) XOR R346
R347 = (R346 AND C380) OR (R346 AND B379 ) OR (C380 AND B379)
C424 = (C381 XOR B380) XOR R347
R348 = (R347 AND C381) OR (R347 AND B380 ) OR (C381 AND B380)
C425 = (C382 XOR B381) XOR R348
R349 = (R348 AND C382) OR (R348 AND B381 ) OR (C382 AND B381)
C426 = (C383 XOR B382) XOR R349
R350 = (R349 AND C383) OR (R349 AND B382 ) OR (C383 AND B382)
C427 = (C384 XOR B383) XOR R350
R351 = (R350 AND C384) OR (R350 AND B383 ) OR (C384 AND B383)
C428 = R351

C429 = C385
C430 = C386
C431 = C387
C432 = C388
C433 = C389
C434 = C390
C435 = C391
C436 = C392
C437 = C393
C438 = C394
C439 = C395
C440 = C396
C441 = C397 XOR B384
R352 = (C397 AND B384)
C442 = (C398 XOR B385) XOR R352
R353 = (R352 AND C398) OR (R352 AND B385 ) OR (C398 AND B385)
C443 = (C399 XOR B386) XOR R353
R354 = (R353 AND C399) OR (R353 AND B386 ) OR (C399 AND B386)
C444 = (C400 XOR B387) XOR R354
R355 = (R354 AND C400) OR (R354 AND B387 ) OR (C400 AND B387)
C445 = (C401 XOR B388) XOR R355
R356 = (R355 AND C401) OR (R355 AND B388 ) OR (C401 AND B388)
C446 = (C402 XOR B389) XOR R356
R357 = (R356 AND C402) OR (R356 AND B389 ) OR (C402 AND B389)

37
C447 = (C403 XOR B390) XOR R357
R358 = (R357 AND C403) OR (R357 AND B390 ) OR (C403 AND B390)
C448 = (C404 XOR B391) XOR R358
R359 = (R358 AND C404) OR (R358 AND B391 ) OR (C404 AND B391)
C449 = (C405 XOR B392) XOR R359
R360 = (R359 AND C405) OR (R359 AND B392 ) OR (C405 AND B392)
C450 = (C406 XOR B393) XOR R360
R361 = (R360 AND C406) OR (R360 AND B393 ) OR (C406 AND B393)
C451 = (C407 XOR B394) XOR R361
R362 = (R361 AND C407) OR (R361 AND B394 ) OR (C407 AND B394)
C452 = (C408 XOR B395) XOR R362
R363 = (R362 AND C408) OR (R362 AND B395 ) OR (C408 AND B395)
C453 = (C409 XOR B396) XOR R363
R364 = (R363 AND C409) OR (R363 AND B396 ) OR (C409 AND B396)
C454 = (C410 XOR B397) XOR R364
R365 = (R364 AND C410) OR (R364 AND B397 ) OR (C410 AND B397)
C455 = (C411 XOR B398) XOR R365
R366 = (R365 AND C411) OR (R365 AND B398 ) OR (C411 AND B398)
C456 = (C412 XOR B399) XOR R366
R367 = (R366 AND C412) OR (R366 AND B399 ) OR (C412 AND B399)
C457 = (C413 XOR B400) XOR R367
R368 = (R367 AND C413) OR (R367 AND B400 ) OR (C413 AND B400)
C458 = (C414 XOR B401) XOR R368
R369 = (R368 AND C414) OR (R368 AND B401 ) OR (C414 AND B401)
C459 = (C415 XOR B402) XOR R369
R370 = (R369 AND C415) OR (R369 AND B402 ) OR (C415 AND B402)
C460 = (C416 XOR B403) XOR R370
R371 = (R370 AND C416) OR (R370 AND B403 ) OR (C416 AND B403)
C461 = (C417 XOR B404) XOR R371
R372 = (R371 AND C417) OR (R371 AND B404 ) OR (C417 AND B404)
C462 = (C418 XOR B405) XOR R372
R373 = (R372 AND C418) OR (R372 AND B405 ) OR (C418 AND B405)
C463 = (C419 XOR B406) XOR R373
R374 = (R373 AND C419) OR (R373 AND B406 ) OR (C419 AND B406)
C464 = (C420 XOR B407) XOR R374
R375 = (R374 AND C420) OR (R374 AND B407 ) OR (C420 AND B407)
C465 = (C421 XOR B408) XOR R375
R376 = (R375 AND C421) OR (R375 AND B408 ) OR (C421 AND B408)
C466 = (C422 XOR B409) XOR R376
R377 = (R376 AND C422) OR (R376 AND B409 ) OR (C422 AND B409)
C467 = (C423 XOR B410) XOR R377
R378 = (R377 AND C423) OR (R377 AND B410 ) OR (C423 AND B410)
C468 = (C424 XOR B411) XOR R378
R379 = (R378 AND C424) OR (R378 AND B411 ) OR (C424 AND B411)
C469 = (C425 XOR B412) XOR R379
R380 = (R379 AND C425) OR (R379 AND B412 ) OR (C425 AND B412)
C470 = (C426 XOR B413) XOR R380
R381 = (R380 AND C426) OR (R380 AND B413 ) OR (C426 AND B413)
C471 = (C427 XOR B414) XOR R381
R382 = (R381 AND C427) OR (R381 AND B414 ) OR (C427 AND B414)
C472 = (C428 XOR B415) XOR R382
R383 = (R382 AND C428) OR (R382 AND B415 ) OR (C428 AND B415)
C473 = R383

C474 = C429
C475 = C430
C476 = C431
C477 = C432
C478 = C433
C479 = C434
C480 = C435
C481 = C436
C482 = C437
C483 = C438
C484 = C439
C485 = C440
C486 = C441
C487 = C442 XOR B416
R384 = (C442 AND B416)
C488 = (C443 XOR B417) XOR R384
R385 = (R384 AND C443) OR (R384 AND B417 ) OR (C443 AND B417)

38
C489 = (C444 XOR B418) XOR R385
R386 = (R385 AND C444) OR (R385 AND B418 ) OR (C444 AND B418)
C490 = (C445 XOR B419) XOR R386
R387 = (R386 AND C445) OR (R386 AND B419 ) OR (C445 AND B419)
C491 = (C446 XOR B420) XOR R387
R388 = (R387 AND C446) OR (R387 AND B420 ) OR (C446 AND B420)
C492 = (C447 XOR B421) XOR R388
R389 = (R388 AND C447) OR (R388 AND B421 ) OR (C447 AND B421)
C493 = (C448 XOR B422) XOR R389
R390 = (R389 AND C448) OR (R389 AND B422 ) OR (C448 AND B422)
C494 = (C449 XOR B423) XOR R390
R391 = (R390 AND C449) OR (R390 AND B423 ) OR (C449 AND B423)
C495 = (C450 XOR B424) XOR R391
R392 = (R391 AND C450) OR (R391 AND B424 ) OR (C450 AND B424)
C496 = (C451 XOR B425) XOR R392
R393 = (R392 AND C451) OR (R392 AND B425 ) OR (C451 AND B425)
C497 = (C452 XOR B426) XOR R393
R394 = (R393 AND C452) OR (R393 AND B426 ) OR (C452 AND B426)
C498 = (C453 XOR B427) XOR R394
R395 = (R394 AND C453) OR (R394 AND B427 ) OR (C453 AND B427)
C499 = (C454 XOR B428) XOR R395
R396 = (R395 AND C454) OR (R395 AND B428 ) OR (C454 AND B428)
C500 = (C455 XOR B429) XOR R396
R397 = (R396 AND C455) OR (R396 AND B429 ) OR (C455 AND B429)
C501 = (C456 XOR B430) XOR R397
R398 = (R397 AND C456) OR (R397 AND B430 ) OR (C456 AND B430)
C502 = (C457 XOR B431) XOR R398
R399 = (R398 AND C457) OR (R398 AND B431 ) OR (C457 AND B431)
C503 = (C458 XOR B432) XOR R399
R400 = (R399 AND C458) OR (R399 AND B432 ) OR (C458 AND B432)
C504 = (C459 XOR B433) XOR R400
R401 = (R400 AND C459) OR (R400 AND B433 ) OR (C459 AND B433)
C505 = (C460 XOR B434) XOR R401
R402 = (R401 AND C460) OR (R401 AND B434 ) OR (C460 AND B434)
C506 = (C461 XOR B435) XOR R402
R403 = (R402 AND C461) OR (R402 AND B435 ) OR (C461 AND B435)
C507 = (C462 XOR B436) XOR R403
R404 = (R403 AND C462) OR (R403 AND B436 ) OR (C462 AND B436)
C508 = (C463 XOR B437) XOR R404
R405 = (R404 AND C463) OR (R404 AND B437 ) OR (C463 AND B437)
C509 = (C464 XOR B438) XOR R405
R406 = (R405 AND C464) OR (R405 AND B438 ) OR (C464 AND B438)
C510 = (C465 XOR B439) XOR R406
R407 = (R406 AND C465) OR (R406 AND B439 ) OR (C465 AND B439)
C511 = (C466 XOR B440) XOR R407
R408 = (R407 AND C466) OR (R407 AND B440 ) OR (C466 AND B440)
C512 = (C467 XOR B441) XOR R408
R409 = (R408 AND C467) OR (R408 AND B441 ) OR (C467 AND B441)
C513 = (C468 XOR B442) XOR R409
R410 = (R409 AND C468) OR (R409 AND B442 ) OR (C468 AND B442)
C514 = (C469 XOR B443) XOR R410
R411 = (R410 AND C469) OR (R410 AND B443 ) OR (C469 AND B443)
C515 = (C470 XOR B444) XOR R411
R412 = (R411 AND C470) OR (R411 AND B444 ) OR (C470 AND B444)
C516 = (C471 XOR B445) XOR R412
R413 = (R412 AND C471) OR (R412 AND B445 ) OR (C471 AND B445)
C517 = (C472 XOR B446) XOR R413
R414 = (R413 AND C472) OR (R413 AND B446 ) OR (C472 AND B446)
C518 = (C473 XOR B447) XOR R414
R415 = (R414 AND C473) OR (R414 AND B447 ) OR (C473 AND B447)
C519 = R415

C520 = C474
C521 = C475
C522 = C476
C523 = C477
C524 = C478
C525 = C479
C526 = C480
C527 = C481
C528 = C482

39
C529 = C483
C530 = C484
C531 = C485
C532 = C486
C533 = C487
C534 = C488 XOR B448
R416 = (C488 AND B448)
C535 = (C489 XOR B449) XOR R416
R417 = (R416 AND C489) OR (R416 AND B449 ) OR (C489 AND B449)
C536 = (C490 XOR B450) XOR R417
R418 = (R417 AND C490) OR (R417 AND B450 ) OR (C490 AND B450)
C537 = (C491 XOR B451) XOR R418
R419 = (R418 AND C491) OR (R418 AND B451 ) OR (C491 AND B451)
C538 = (C492 XOR B452) XOR R419
R420 = (R419 AND C492) OR (R419 AND B452 ) OR (C492 AND B452)
C539 = (C493 XOR B453) XOR R420
R421 = (R420 AND C493) OR (R420 AND B453 ) OR (C493 AND B453)
C540 = (C494 XOR B454) XOR R421
R422 = (R421 AND C494) OR (R421 AND B454 ) OR (C494 AND B454)
C541 = (C495 XOR B455) XOR R422
R423 = (R422 AND C495) OR (R422 AND B455 ) OR (C495 AND B455)
C542 = (C496 XOR B456) XOR R423
R424 = (R423 AND C496) OR (R423 AND B456 ) OR (C496 AND B456)
C543 = (C497 XOR B457) XOR R424
R425 = (R424 AND C497) OR (R424 AND B457 ) OR (C497 AND B457)
C544 = (C498 XOR B458) XOR R425
R426 = (R425 AND C498) OR (R425 AND B458 ) OR (C498 AND B458)
C545 = (C499 XOR B459) XOR R426
R427 = (R426 AND C499) OR (R426 AND B459 ) OR (C499 AND B459)
C546 = (C500 XOR B460) XOR R427
R428 = (R427 AND C500) OR (R427 AND B460 ) OR (C500 AND B460)
C547 = (C501 XOR B461) XOR R428
R429 = (R428 AND C501) OR (R428 AND B461 ) OR (C501 AND B461)
C548 = (C502 XOR B462) XOR R429
R430 = (R429 AND C502) OR (R429 AND B462 ) OR (C502 AND B462)
C549 = (C503 XOR B463) XOR R430
R431 = (R430 AND C503) OR (R430 AND B463 ) OR (C503 AND B463)
C550 = (C504 XOR B464) XOR R431
R432 = (R431 AND C504) OR (R431 AND B464 ) OR (C504 AND B464)
C551 = (C505 XOR B465) XOR R432
R433 = (R432 AND C505) OR (R432 AND B465 ) OR (C505 AND B465)
C552 = (C506 XOR B466) XOR R433
R434 = (R433 AND C506) OR (R433 AND B466 ) OR (C506 AND B466)
C553 = (C507 XOR B467) XOR R434
R435 = (R434 AND C507) OR (R434 AND B467 ) OR (C507 AND B467)
C554 = (C508 XOR B468) XOR R435
R436 = (R435 AND C508) OR (R435 AND B468 ) OR (C508 AND B468)
C555 = (C509 XOR B469) XOR R436
R437 = (R436 AND C509) OR (R436 AND B469 ) OR (C509 AND B469)
C556 = (C510 XOR B470) XOR R437
R438 = (R437 AND C510) OR (R437 AND B470 ) OR (C510 AND B470)
C557 = (C511 XOR B471) XOR R438
R439 = (R438 AND C511) OR (R438 AND B471 ) OR (C511 AND B471)
C558 = (C512 XOR B472) XOR R439
R440 = (R439 AND C512) OR (R439 AND B472 ) OR (C512 AND B472)
C559 = (C513 XOR B473) XOR R440
R441 = (R440 AND C513) OR (R440 AND B473 ) OR (C513 AND B473)
C560 = (C514 XOR B474) XOR R441
R442 = (R441 AND C514) OR (R441 AND B474 ) OR (C514 AND B474)
C561 = (C515 XOR B475) XOR R442
R443 = (R442 AND C515) OR (R442 AND B475 ) OR (C515 AND B475)
C562 = (C516 XOR B476) XOR R443
R444 = (R443 AND C516) OR (R443 AND B476 ) OR (C516 AND B476)
C563 = (C517 XOR B477) XOR R444
R445 = (R444 AND C517) OR (R444 AND B477 ) OR (C517 AND B477)
C564 = (C518 XOR B478) XOR R445
R446 = (R445 AND C518) OR (R445 AND B478 ) OR (C518 AND B478)
C565 = (C519 XOR B479) XOR R446
R447 = (R446 AND C519) OR (R446 AND B479 ) OR (C519 AND B479)
C566 = R447

40
C567 = C520
C568 = C521
C569 = C522
C570 = C523
C571 = C524
C572 = C525
C573 = C526
C574 = C527
C575 = C528
C576 = C529
C577 = C530
C578 = C531
C579 = C532
C580 = C533
C581 = C534
C582 = C535 XOR B480
R448 = (C535 AND B480)
C583 = (C536 XOR B481) XOR R448
R449 = (R448 AND C536) OR (R448 AND B481 ) OR (C536 AND B481)
C584 = (C537 XOR B482) XOR R449
R450 = (R449 AND C537) OR (R449 AND B482 ) OR (C537 AND B482)
C585 = (C538 XOR B483) XOR R450
R451 = (R450 AND C538) OR (R450 AND B483 ) OR (C538 AND B483)
C586 = (C539 XOR B484) XOR R451
R452 = (R451 AND C539) OR (R451 AND B484 ) OR (C539 AND B484)
C587 = (C540 XOR B485) XOR R452
R453 = (R452 AND C540) OR (R452 AND B485 ) OR (C540 AND B485)
C588 = (C541 XOR B486) XOR R453
R454 = (R453 AND C541) OR (R453 AND B486 ) OR (C541 AND B486)
C589 = (C542 XOR B487) XOR R454
R455 = (R454 AND C542) OR (R454 AND B487 ) OR (C542 AND B487)
C590 = (C543 XOR B488) XOR R455
R456 = (R455 AND C543) OR (R455 AND B488 ) OR (C543 AND B488)
C591 = (C544 XOR B489) XOR R456
R457 = (R456 AND C544) OR (R456 AND B489 ) OR (C544 AND B489)
C592 = (C545 XOR B490) XOR R457
R458 = (R457 AND C545) OR (R457 AND B490 ) OR (C545 AND B490)
C593 = (C546 XOR B491) XOR R458
R459 = (R458 AND C546) OR (R458 AND B491 ) OR (C546 AND B491)
C594 = (C547 XOR B492) XOR R459
R460 = (R459 AND C547) OR (R459 AND B492 ) OR (C547 AND B492)
C595 = (C548 XOR B493) XOR R460
R461 = (R460 AND C548) OR (R460 AND B493 ) OR (C548 AND B493)
C596 = (C549 XOR B494) XOR R461
R462 = (R461 AND C549) OR (R461 AND B494 ) OR (C549 AND B494)
C597 = (C550 XOR B495) XOR R462
R463 = (R462 AND C550) OR (R462 AND B495 ) OR (C550 AND B495)
C598 = (C551 XOR B496) XOR R463
R464 = (R463 AND C551) OR (R463 AND B496 ) OR (C551 AND B496)
C599 = (C552 XOR B497) XOR R464
R465 = (R464 AND C552) OR (R464 AND B497 ) OR (C552 AND B497)
C600 = (C553 XOR B498) XOR R465
R466 = (R465 AND C553) OR (R465 AND B498 ) OR (C553 AND B498)
C601 = (C554 XOR B499) XOR R466
R467 = (R466 AND C554) OR (R466 AND B499 ) OR (C554 AND B499)
C602 = (C555 XOR B500) XOR R467
R468 = (R467 AND C555) OR (R467 AND B500 ) OR (C555 AND B500)
C603 = (C556 XOR B501) XOR R468
R469 = (R468 AND C556) OR (R468 AND B501 ) OR (C556 AND B501)
C604 = (C557 XOR B502) XOR R469
R470 = (R469 AND C557) OR (R469 AND B502 ) OR (C557 AND B502)
C605 = (C558 XOR B503) XOR R470
R471 = (R470 AND C558) OR (R470 AND B503 ) OR (C558 AND B503)
C606 = (C559 XOR B504) XOR R471
R472 = (R471 AND C559) OR (R471 AND B504 ) OR (C559 AND B504)
C607 = (C560 XOR B505) XOR R472
R473 = (R472 AND C560) OR (R472 AND B505 ) OR (C560 AND B505)
C608 = (C561 XOR B506) XOR R473
R474 = (R473 AND C561) OR (R473 AND B506 ) OR (C561 AND B506)
C609 = (C562 XOR B507) XOR R474
R475 = (R474 AND C562) OR (R474 AND B507 ) OR (C562 AND B507)

41
C610 = (C563 XOR B508) XOR R475
R476 = (R475 AND C563) OR (R475 AND B508 ) OR (C563 AND B508)
C611 = (C564 XOR B509) XOR R476
R477 = (R476 AND C564) OR (R476 AND B509 ) OR (C564 AND B509)
C612 = (C565 XOR B510) XOR R477
R478 = (R477 AND C565) OR (R477 AND B510 ) OR (C565 AND B510)
C613 = (C566 XOR B511) XOR R478
R479 = (R478 AND C566) OR (R478 AND B511 ) OR (C566 AND B511)
C614 = R479

C615 = C567
C616 = C568
C617 = C569
C618 = C570
C619 = C571
C620 = C572
C621 = C573
C622 = C574
C623 = C575
C624 = C576
C625 = C577
C626 = C578
C627 = C579
C628 = C580
C629 = C581
C630 = C582
C631 = C583 XOR B512
R480 = (C583 AND B512)
C632 = (C584 XOR B513) XOR R480
R481 = (R480 AND C584) OR (R480 AND B513 ) OR (C584 AND B513)
C633 = (C585 XOR B514) XOR R481
R482 = (R481 AND C585) OR (R481 AND B514 ) OR (C585 AND B514)
C634 = (C586 XOR B515) XOR R482
R483 = (R482 AND C586) OR (R482 AND B515 ) OR (C586 AND B515)
C635 = (C587 XOR B516) XOR R483
R484 = (R483 AND C587) OR (R483 AND B516 ) OR (C587 AND B516)
C636 = (C588 XOR B517) XOR R484
R485 = (R484 AND C588) OR (R484 AND B517 ) OR (C588 AND B517)
C637 = (C589 XOR B518) XOR R485
R486 = (R485 AND C589) OR (R485 AND B518 ) OR (C589 AND B518)
C638 = (C590 XOR B519) XOR R486
R487 = (R486 AND C590) OR (R486 AND B519 ) OR (C590 AND B519)
C639 = (C591 XOR B520) XOR R487
R488 = (R487 AND C591) OR (R487 AND B520 ) OR (C591 AND B520)
C640 = (C592 XOR B521) XOR R488
R489 = (R488 AND C592) OR (R488 AND B521 ) OR (C592 AND B521)
C641 = (C593 XOR B522) XOR R489
R490 = (R489 AND C593) OR (R489 AND B522 ) OR (C593 AND B522)
C642 = (C594 XOR B523) XOR R490
R491 = (R490 AND C594) OR (R490 AND B523 ) OR (C594 AND B523)
C643 = (C595 XOR B524) XOR R491
R492 = (R491 AND C595) OR (R491 AND B524 ) OR (C595 AND B524)
C644 = (C596 XOR B525) XOR R492
R493 = (R492 AND C596) OR (R492 AND B525 ) OR (C596 AND B525)
C645 = (C597 XOR B526) XOR R493
R494 = (R493 AND C597) OR (R493 AND B526 ) OR (C597 AND B526)
C646 = (C598 XOR B527) XOR R494
R495 = (R494 AND C598) OR (R494 AND B527 ) OR (C598 AND B527)
C647 = (C599 XOR B528) XOR R495
R496 = (R495 AND C599) OR (R495 AND B528 ) OR (C599 AND B528)
C648 = (C600 XOR B529) XOR R496
R497 = (R496 AND C600) OR (R496 AND B529 ) OR (C600 AND B529)
C649 = (C601 XOR B530) XOR R497
R498 = (R497 AND C601) OR (R497 AND B530 ) OR (C601 AND B530)
C650 = (C602 XOR B531) XOR R498
R499 = (R498 AND C602) OR (R498 AND B531 ) OR (C602 AND B531)
C651 = (C603 XOR B532) XOR R499
R500 = (R499 AND C603) OR (R499 AND B532 ) OR (C603 AND B532)
C652 = (C604 XOR B533) XOR R500
R501 = (R500 AND C604) OR (R500 AND B533 ) OR (C604 AND B533)
C653 = (C605 XOR B534) XOR R501

42
R502 = (R501 AND C605) OR (R501 AND B534 ) OR (C605 AND B534)
C654 = (C606 XOR B535) XOR R502
R503 = (R502 AND C606) OR (R502 AND B535 ) OR (C606 AND B535)
C655 = (C607 XOR B536) XOR R503
R504 = (R503 AND C607) OR (R503 AND B536 ) OR (C607 AND B536)
C656 = (C608 XOR B537) XOR R504
R505 = (R504 AND C608) OR (R504 AND B537 ) OR (C608 AND B537)
C657 = (C609 XOR B538) XOR R505
R506 = (R505 AND C609) OR (R505 AND B538 ) OR (C609 AND B538)
C658 = (C610 XOR B539) XOR R506
R507 = (R506 AND C610) OR (R506 AND B539 ) OR (C610 AND B539)
C659 = (C611 XOR B540) XOR R507
R508 = (R507 AND C611) OR (R507 AND B540 ) OR (C611 AND B540)
C660 = (C612 XOR B541) XOR R508
R509 = (R508 AND C612) OR (R508 AND B541 ) OR (C612 AND B541)
C661 = (C613 XOR B542) XOR R509
R510 = (R509 AND C613) OR (R509 AND B542 ) OR (C613 AND B542)
C662 = (C614 XOR B543) XOR R510
R511 = (R510 AND C614) OR (R510 AND B543 ) OR (C614 AND B543)
C663 = R511

C664 = C615
C665 = C616
C666 = C617
C667 = C618
C668 = C619
C669 = C620
C670 = C621
C671 = C622
C672 = C623
C673 = C624
C674 = C625
C675 = C626
C676 = C627
C677 = C628
C678 = C629
C679 = C630
C680 = C631
C681 = C632 XOR B544
R512 = (C632 AND B544)
C682 = (C633 XOR B545) XOR R512
R513 = (R512 AND C633) OR (R512 AND B545 ) OR (C633 AND B545)
C683 = (C634 XOR B546) XOR R513
R514 = (R513 AND C634) OR (R513 AND B546 ) OR (C634 AND B546)
C684 = (C635 XOR B547) XOR R514
R515 = (R514 AND C635) OR (R514 AND B547 ) OR (C635 AND B547)
C685 = (C636 XOR B548) XOR R515
R516 = (R515 AND C636) OR (R515 AND B548 ) OR (C636 AND B548)
C686 = (C637 XOR B549) XOR R516
R517 = (R516 AND C637) OR (R516 AND B549 ) OR (C637 AND B549)
C687 = (C638 XOR B550) XOR R517
R518 = (R517 AND C638) OR (R517 AND B550 ) OR (C638 AND B550)
C688 = (C639 XOR B551) XOR R518
R519 = (R518 AND C639) OR (R518 AND B551 ) OR (C639 AND B551)
C689 = (C640 XOR B552) XOR R519
R520 = (R519 AND C640) OR (R519 AND B552 ) OR (C640 AND B552)
C690 = (C641 XOR B553) XOR R520
R521 = (R520 AND C641) OR (R520 AND B553 ) OR (C641 AND B553)
C691 = (C642 XOR B554) XOR R521
R522 = (R521 AND C642) OR (R521 AND B554 ) OR (C642 AND B554)
C692 = (C643 XOR B555) XOR R522
R523 = (R522 AND C643) OR (R522 AND B555 ) OR (C643 AND B555)
C693 = (C644 XOR B556) XOR R523
R524 = (R523 AND C644) OR (R523 AND B556 ) OR (C644 AND B556)
C694 = (C645 XOR B557) XOR R524
R525 = (R524 AND C645) OR (R524 AND B557 ) OR (C645 AND B557)
C695 = (C646 XOR B558) XOR R525
R526 = (R525 AND C646) OR (R525 AND B558 ) OR (C646 AND B558)
C696 = (C647 XOR B559) XOR R526
R527 = (R526 AND C647) OR (R526 AND B559 ) OR (C647 AND B559)
C697 = (C648 XOR B560) XOR R527

43
R528 = (R527 AND C648) OR (R527 AND B560 ) OR (C648 AND B560)
C698 = (C649 XOR B561) XOR R528
R529 = (R528 AND C649) OR (R528 AND B561 ) OR (C649 AND B561)
C699 = (C650 XOR B562) XOR R529
R530 = (R529 AND C650) OR (R529 AND B562 ) OR (C650 AND B562)
C700 = (C651 XOR B563) XOR R530
R531 = (R530 AND C651) OR (R530 AND B563 ) OR (C651 AND B563)
C701 = (C652 XOR B564) XOR R531
R532 = (R531 AND C652) OR (R531 AND B564 ) OR (C652 AND B564)
C702 = (C653 XOR B565) XOR R532
R533 = (R532 AND C653) OR (R532 AND B565 ) OR (C653 AND B565)
C703 = (C654 XOR B566) XOR R533
R534 = (R533 AND C654) OR (R533 AND B566 ) OR (C654 AND B566)
C704 = (C655 XOR B567) XOR R534
R535 = (R534 AND C655) OR (R534 AND B567 ) OR (C655 AND B567)
C705 = (C656 XOR B568) XOR R535
R536 = (R535 AND C656) OR (R535 AND B568 ) OR (C656 AND B568)
C706 = (C657 XOR B569) XOR R536
R537 = (R536 AND C657) OR (R536 AND B569 ) OR (C657 AND B569)
C707 = (C658 XOR B570) XOR R537
R538 = (R537 AND C658) OR (R537 AND B570 ) OR (C658 AND B570)
C708 = (C659 XOR B571) XOR R538
R539 = (R538 AND C659) OR (R538 AND B571 ) OR (C659 AND B571)
C709 = (C660 XOR B572) XOR R539
R540 = (R539 AND C660) OR (R539 AND B572 ) OR (C660 AND B572)
C710 = (C661 XOR B573) XOR R540
R541 = (R540 AND C661) OR (R540 AND B573 ) OR (C661 AND B573)
C711 = (C662 XOR B574) XOR R541
R542 = (R541 AND C662) OR (R541 AND B574 ) OR (C662 AND B574)
C712 = (C663 XOR B575) XOR R542
R543 = (R542 AND C663) OR (R542 AND B575 ) OR (C663 AND B575)
C713 = R543

C714 = C664
C715 = C665
C716 = C666
C717 = C667
C718 = C668
C719 = C669
C720 = C670
C721 = C671
C722 = C672
C723 = C673
C724 = C674
C725 = C675
C726 = C676
C727 = C677
C728 = C678
C729 = C679
C730 = C680
C731 = C681
C732 = C682 XOR B576
R544 = (C682 AND B576)
C733 = (C683 XOR B577) XOR R544
R545 = (R544 AND C683) OR (R544 AND B577 ) OR (C683 AND B577)
C734 = (C684 XOR B578) XOR R545
R546 = (R545 AND C684) OR (R545 AND B578 ) OR (C684 AND B578)
C735 = (C685 XOR B579) XOR R546
R547 = (R546 AND C685) OR (R546 AND B579 ) OR (C685 AND B579)
C736 = (C686 XOR B580) XOR R547
R548 = (R547 AND C686) OR (R547 AND B580 ) OR (C686 AND B580)
C737 = (C687 XOR B581) XOR R548
R549 = (R548 AND C687) OR (R548 AND B581 ) OR (C687 AND B581)
C738 = (C688 XOR B582) XOR R549
R550 = (R549 AND C688) OR (R549 AND B582 ) OR (C688 AND B582)
C739 = (C689 XOR B583) XOR R550
R551 = (R550 AND C689) OR (R550 AND B583 ) OR (C689 AND B583)
C740 = (C690 XOR B584) XOR R551
R552 = (R551 AND C690) OR (R551 AND B584 ) OR (C690 AND B584)
C741 = (C691 XOR B585) XOR R552
R553 = (R552 AND C691) OR (R552 AND B585 ) OR (C691 AND B585)

44
C742 = (C692 XOR B586) XOR R553
R554 = (R553 AND C692) OR (R553 AND B586 ) OR (C692 AND B586)
C743 = (C693 XOR B587) XOR R554
R555 = (R554 AND C693) OR (R554 AND B587 ) OR (C693 AND B587)
C744 = (C694 XOR B588) XOR R555
R556 = (R555 AND C694) OR (R555 AND B588 ) OR (C694 AND B588)
C745 = (C695 XOR B589) XOR R556
R557 = (R556 AND C695) OR (R556 AND B589 ) OR (C695 AND B589)
C746 = (C696 XOR B590) XOR R557
R558 = (R557 AND C696) OR (R557 AND B590 ) OR (C696 AND B590)
C747 = (C697 XOR B591) XOR R558
R559 = (R558 AND C697) OR (R558 AND B591 ) OR (C697 AND B591)
C748 = (C698 XOR B592) XOR R559
R560 = (R559 AND C698) OR (R559 AND B592 ) OR (C698 AND B592)
C749 = (C699 XOR B593) XOR R560
R561 = (R560 AND C699) OR (R560 AND B593 ) OR (C699 AND B593)
C750 = (C700 XOR B594) XOR R561
R562 = (R561 AND C700) OR (R561 AND B594 ) OR (C700 AND B594)
C751 = (C701 XOR B595) XOR R562
R563 = (R562 AND C701) OR (R562 AND B595 ) OR (C701 AND B595)
C752 = (C702 XOR B596) XOR R563
R564 = (R563 AND C702) OR (R563 AND B596 ) OR (C702 AND B596)
C753 = (C703 XOR B597) XOR R564
R565 = (R564 AND C703) OR (R564 AND B597 ) OR (C703 AND B597)
C754 = (C704 XOR B598) XOR R565
R566 = (R565 AND C704) OR (R565 AND B598 ) OR (C704 AND B598)
C755 = (C705 XOR B599) XOR R566
R567 = (R566 AND C705) OR (R566 AND B599 ) OR (C705 AND B599)
C756 = (C706 XOR B600) XOR R567
R568 = (R567 AND C706) OR (R567 AND B600 ) OR (C706 AND B600)
C757 = (C707 XOR B601) XOR R568
R569 = (R568 AND C707) OR (R568 AND B601 ) OR (C707 AND B601)
C758 = (C708 XOR B602) XOR R569
R570 = (R569 AND C708) OR (R569 AND B602 ) OR (C708 AND B602)
C759 = (C709 XOR B603) XOR R570
R571 = (R570 AND C709) OR (R570 AND B603 ) OR (C709 AND B603)
C760 = (C710 XOR B604) XOR R571
R572 = (R571 AND C710) OR (R571 AND B604 ) OR (C710 AND B604)
C761 = (C711 XOR B605) XOR R572
R573 = (R572 AND C711) OR (R572 AND B605 ) OR (C711 AND B605)
C762 = (C712 XOR B606) XOR R573
R574 = (R573 AND C712) OR (R573 AND B606 ) OR (C712 AND B606)
C763 = (C713 XOR B607) XOR R574
R575 = (R574 AND C713) OR (R574 AND B607 ) OR (C713 AND B607)
C764 = R575

C765 = C714
C766 = C715
C767 = C716
C768 = C717
C769 = C718
C770 = C719
C771 = C720
C772 = C721
C773 = C722
C774 = C723
C775 = C724
C776 = C725
C777 = C726
C778 = C727
C779 = C728
C780 = C729
C781 = C730
C782 = C731
C783 = C732
C784 = C733 XOR B608
R576 = (C733 AND B608)
C785 = (C734 XOR B609) XOR R576
R577 = (R576 AND C734) OR (R576 AND B609 ) OR (C734 AND B609)
C786 = (C735 XOR B610) XOR R577
R578 = (R577 AND C735) OR (R577 AND B610 ) OR (C735 AND B610)

45
C787 = (C736 XOR B611) XOR R578
R579 = (R578 AND C736) OR (R578 AND B611 ) OR (C736 AND B611)
C788 = (C737 XOR B612) XOR R579
R580 = (R579 AND C737) OR (R579 AND B612 ) OR (C737 AND B612)
C789 = (C738 XOR B613) XOR R580
R581 = (R580 AND C738) OR (R580 AND B613 ) OR (C738 AND B613)
C790 = (C739 XOR B614) XOR R581
R582 = (R581 AND C739) OR (R581 AND B614 ) OR (C739 AND B614)
C791 = (C740 XOR B615) XOR R582
R583 = (R582 AND C740) OR (R582 AND B615 ) OR (C740 AND B615)
C792 = (C741 XOR B616) XOR R583
R584 = (R583 AND C741) OR (R583 AND B616 ) OR (C741 AND B616)
C793 = (C742 XOR B617) XOR R584
R585 = (R584 AND C742) OR (R584 AND B617 ) OR (C742 AND B617)
C794 = (C743 XOR B618) XOR R585
R586 = (R585 AND C743) OR (R585 AND B618 ) OR (C743 AND B618)
C795 = (C744 XOR B619) XOR R586
R587 = (R586 AND C744) OR (R586 AND B619 ) OR (C744 AND B619)
C796 = (C745 XOR B620) XOR R587
R588 = (R587 AND C745) OR (R587 AND B620 ) OR (C745 AND B620)
C797 = (C746 XOR B621) XOR R588
R589 = (R588 AND C746) OR (R588 AND B621 ) OR (C746 AND B621)
C798 = (C747 XOR B622) XOR R589
R590 = (R589 AND C747) OR (R589 AND B622 ) OR (C747 AND B622)
C799 = (C748 XOR B623) XOR R590
R591 = (R590 AND C748) OR (R590 AND B623 ) OR (C748 AND B623)
C800 = (C749 XOR B624) XOR R591
R592 = (R591 AND C749) OR (R591 AND B624 ) OR (C749 AND B624)
C801 = (C750 XOR B625) XOR R592
R593 = (R592 AND C750) OR (R592 AND B625 ) OR (C750 AND B625)
C802 = (C751 XOR B626) XOR R593
R594 = (R593 AND C751) OR (R593 AND B626 ) OR (C751 AND B626)
C803 = (C752 XOR B627) XOR R594
R595 = (R594 AND C752) OR (R594 AND B627 ) OR (C752 AND B627)
C804 = (C753 XOR B628) XOR R595
R596 = (R595 AND C753) OR (R595 AND B628 ) OR (C753 AND B628)
C805 = (C754 XOR B629) XOR R596
R597 = (R596 AND C754) OR (R596 AND B629 ) OR (C754 AND B629)
C806 = (C755 XOR B630) XOR R597
R598 = (R597 AND C755) OR (R597 AND B630 ) OR (C755 AND B630)
C807 = (C756 XOR B631) XOR R598
R599 = (R598 AND C756) OR (R598 AND B631 ) OR (C756 AND B631)
C808 = (C757 XOR B632) XOR R599
R600 = (R599 AND C757) OR (R599 AND B632 ) OR (C757 AND B632)
C809 = (C758 XOR B633) XOR R600
R601 = (R600 AND C758) OR (R600 AND B633 ) OR (C758 AND B633)
C810 = (C759 XOR B634) XOR R601
R602 = (R601 AND C759) OR (R601 AND B634 ) OR (C759 AND B634)
C811 = (C760 XOR B635) XOR R602
R603 = (R602 AND C760) OR (R602 AND B635 ) OR (C760 AND B635)
C812 = (C761 XOR B636) XOR R603
R604 = (R603 AND C761) OR (R603 AND B636 ) OR (C761 AND B636)
C813 = (C762 XOR B637) XOR R604
R605 = (R604 AND C762) OR (R604 AND B637 ) OR (C762 AND B637)
C814 = (C763 XOR B638) XOR R605
R606 = (R605 AND C763) OR (R605 AND B638 ) OR (C763 AND B638)
C815 = (C764 XOR B639) XOR R606
R607 = (R606 AND C764) OR (R606 AND B639 ) OR (C764 AND B639)
C816 = R607

C817 = C765
C818 = C766
C819 = C767
C820 = C768
C821 = C769
C822 = C770
C823 = C771
C824 = C772
C825 = C773
C826 = C774
C827 = C775

46
C828 = C776
C829 = C777
C830 = C778
C831 = C779
C832 = C780
C833 = C781
C834 = C782
C835 = C783
C836 = C784
C837 = C785 XOR B640
R608 = (C785 AND B640)
C838 = (C786 XOR B641) XOR R608
R609 = (R608 AND C786) OR (R608 AND B641 ) OR (C786 AND B641)
C839 = (C787 XOR B642) XOR R609
R610 = (R609 AND C787) OR (R609 AND B642 ) OR (C787 AND B642)
C840 = (C788 XOR B643) XOR R610
R611 = (R610 AND C788) OR (R610 AND B643 ) OR (C788 AND B643)
C841 = (C789 XOR B644) XOR R611
R612 = (R611 AND C789) OR (R611 AND B644 ) OR (C789 AND B644)
C842 = (C790 XOR B645) XOR R612
R613 = (R612 AND C790) OR (R612 AND B645 ) OR (C790 AND B645)
C843 = (C791 XOR B646) XOR R613
R614 = (R613 AND C791) OR (R613 AND B646 ) OR (C791 AND B646)
C844 = (C792 XOR B647) XOR R614
R615 = (R614 AND C792) OR (R614 AND B647 ) OR (C792 AND B647)
C845 = (C793 XOR B648) XOR R615
R616 = (R615 AND C793) OR (R615 AND B648 ) OR (C793 AND B648)
C846 = (C794 XOR B649) XOR R616
R617 = (R616 AND C794) OR (R616 AND B649 ) OR (C794 AND B649)
C847 = (C795 XOR B650) XOR R617
R618 = (R617 AND C795) OR (R617 AND B650 ) OR (C795 AND B650)
C848 = (C796 XOR B651) XOR R618
R619 = (R618 AND C796) OR (R618 AND B651 ) OR (C796 AND B651)
C849 = (C797 XOR B652) XOR R619
R620 = (R619 AND C797) OR (R619 AND B652 ) OR (C797 AND B652)
C850 = (C798 XOR B653) XOR R620
R621 = (R620 AND C798) OR (R620 AND B653 ) OR (C798 AND B653)
C851 = (C799 XOR B654) XOR R621
R622 = (R621 AND C799) OR (R621 AND B654 ) OR (C799 AND B654)
C852 = (C800 XOR B655) XOR R622
R623 = (R622 AND C800) OR (R622 AND B655 ) OR (C800 AND B655)
C853 = (C801 XOR B656) XOR R623
R624 = (R623 AND C801) OR (R623 AND B656 ) OR (C801 AND B656)
C854 = (C802 XOR B657) XOR R624
R625 = (R624 AND C802) OR (R624 AND B657 ) OR (C802 AND B657)
C855 = (C803 XOR B658) XOR R625
R626 = (R625 AND C803) OR (R625 AND B658 ) OR (C803 AND B658)
C856 = (C804 XOR B659) XOR R626
R627 = (R626 AND C804) OR (R626 AND B659 ) OR (C804 AND B659)
C857 = (C805 XOR B660) XOR R627
R628 = (R627 AND C805) OR (R627 AND B660 ) OR (C805 AND B660)
C858 = (C806 XOR B661) XOR R628
R629 = (R628 AND C806) OR (R628 AND B661 ) OR (C806 AND B661)
C859 = (C807 XOR B662) XOR R629
R630 = (R629 AND C807) OR (R629 AND B662 ) OR (C807 AND B662)
C860 = (C808 XOR B663) XOR R630
R631 = (R630 AND C808) OR (R630 AND B663 ) OR (C808 AND B663)
C861 = (C809 XOR B664) XOR R631
R632 = (R631 AND C809) OR (R631 AND B664 ) OR (C809 AND B664)
C862 = (C810 XOR B665) XOR R632
R633 = (R632 AND C810) OR (R632 AND B665 ) OR (C810 AND B665)
C863 = (C811 XOR B666) XOR R633
R634 = (R633 AND C811) OR (R633 AND B666 ) OR (C811 AND B666)
C864 = (C812 XOR B667) XOR R634
R635 = (R634 AND C812) OR (R634 AND B667 ) OR (C812 AND B667)
C865 = (C813 XOR B668) XOR R635
R636 = (R635 AND C813) OR (R635 AND B668 ) OR (C813 AND B668)
C866 = (C814 XOR B669) XOR R636
R637 = (R636 AND C814) OR (R636 AND B669 ) OR (C814 AND B669)
C867 = (C815 XOR B670) XOR R637
R638 = (R637 AND C815) OR (R637 AND B670 ) OR (C815 AND B670)

47
C868 = (C816 XOR B671) XOR R638
R639 = (R638 AND C816) OR (R638 AND B671 ) OR (C816 AND B671)
C869 = R639

C870 = C817
C871 = C818
C872 = C819
C873 = C820
C874 = C821
C875 = C822
C876 = C823
C877 = C824
C878 = C825
C879 = C826
C880 = C827
C881 = C828
C882 = C829
C883 = C830
C884 = C831
C885 = C832
C886 = C833
C887 = C834
C888 = C835
C889 = C836
C890 = C837
C891 = C838 XOR B672
R640 = (C838 AND B672)
C892 = (C839 XOR B673) XOR R640
R641 = (R640 AND C839) OR (R640 AND B673 ) OR (C839 AND B673)
C893 = (C840 XOR B674) XOR R641
R642 = (R641 AND C840) OR (R641 AND B674 ) OR (C840 AND B674)
C894 = (C841 XOR B675) XOR R642
R643 = (R642 AND C841) OR (R642 AND B675 ) OR (C841 AND B675)
C895 = (C842 XOR B676) XOR R643
R644 = (R643 AND C842) OR (R643 AND B676 ) OR (C842 AND B676)
C896 = (C843 XOR B677) XOR R644
R645 = (R644 AND C843) OR (R644 AND B677 ) OR (C843 AND B677)
C897 = (C844 XOR B678) XOR R645
R646 = (R645 AND C844) OR (R645 AND B678 ) OR (C844 AND B678)
C898 = (C845 XOR B679) XOR R646
R647 = (R646 AND C845) OR (R646 AND B679 ) OR (C845 AND B679)
C899 = (C846 XOR B680) XOR R647
R648 = (R647 AND C846) OR (R647 AND B680 ) OR (C846 AND B680)
C900 = (C847 XOR B681) XOR R648
R649 = (R648 AND C847) OR (R648 AND B681 ) OR (C847 AND B681)
C901 = (C848 XOR B682) XOR R649
R650 = (R649 AND C848) OR (R649 AND B682 ) OR (C848 AND B682)
C902 = (C849 XOR B683) XOR R650
R651 = (R650 AND C849) OR (R650 AND B683 ) OR (C849 AND B683)
C903 = (C850 XOR B684) XOR R651
R652 = (R651 AND C850) OR (R651 AND B684 ) OR (C850 AND B684)
C904 = (C851 XOR B685) XOR R652
R653 = (R652 AND C851) OR (R652 AND B685 ) OR (C851 AND B685)
C905 = (C852 XOR B686) XOR R653
R654 = (R653 AND C852) OR (R653 AND B686 ) OR (C852 AND B686)
C906 = (C853 XOR B687) XOR R654
R655 = (R654 AND C853) OR (R654 AND B687 ) OR (C853 AND B687)
C907 = (C854 XOR B688) XOR R655
R656 = (R655 AND C854) OR (R655 AND B688 ) OR (C854 AND B688)
C908 = (C855 XOR B689) XOR R656
R657 = (R656 AND C855) OR (R656 AND B689 ) OR (C855 AND B689)
C909 = (C856 XOR B690) XOR R657
R658 = (R657 AND C856) OR (R657 AND B690 ) OR (C856 AND B690)
C910 = (C857 XOR B691) XOR R658
R659 = (R658 AND C857) OR (R658 AND B691 ) OR (C857 AND B691)
C911 = (C858 XOR B692) XOR R659
R660 = (R659 AND C858) OR (R659 AND B692 ) OR (C858 AND B692)
C912 = (C859 XOR B693) XOR R660
R661 = (R660 AND C859) OR (R660 AND B693 ) OR (C859 AND B693)
C913 = (C860 XOR B694) XOR R661
R662 = (R661 AND C860) OR (R661 AND B694 ) OR (C860 AND B694)

48
C914 = (C861 XOR B695) XOR R662
R663 = (R662 AND C861) OR (R662 AND B695 ) OR (C861 AND B695)
C915 = (C862 XOR B696) XOR R663
R664 = (R663 AND C862) OR (R663 AND B696 ) OR (C862 AND B696)
C916 = (C863 XOR B697) XOR R664
R665 = (R664 AND C863) OR (R664 AND B697 ) OR (C863 AND B697)
C917 = (C864 XOR B698) XOR R665
R666 = (R665 AND C864) OR (R665 AND B698 ) OR (C864 AND B698)
C918 = (C865 XOR B699) XOR R666
R667 = (R666 AND C865) OR (R666 AND B699 ) OR (C865 AND B699)
C919 = (C866 XOR B700) XOR R667
R668 = (R667 AND C866) OR (R667 AND B700 ) OR (C866 AND B700)
C920 = (C867 XOR B701) XOR R668
R669 = (R668 AND C867) OR (R668 AND B701 ) OR (C867 AND B701)
C921 = (C868 XOR B702) XOR R669
R670 = (R669 AND C868) OR (R669 AND B702 ) OR (C868 AND B702)
C922 = (C869 XOR B703) XOR R670
R671 = (R670 AND C869) OR (R670 AND B703 ) OR (C869 AND B703)
C923 = R671

C924 = C870
C925 = C871
C926 = C872
C927 = C873
C928 = C874
C929 = C875
C930 = C876
C931 = C877
C932 = C878
C933 = C879
C934 = C880
C935 = C881
C936 = C882
C937 = C883
C938 = C884
C939 = C885
C940 = C886
C941 = C887
C942 = C888
C943 = C889
C944 = C890
C945 = C891
C946 = C892 XOR B704
R672 = (C892 AND B704)
C947 = (C893 XOR B705) XOR R672
R673 = (R672 AND C893) OR (R672 AND B705 ) OR (C893 AND B705)
C948 = (C894 XOR B706) XOR R673
R674 = (R673 AND C894) OR (R673 AND B706 ) OR (C894 AND B706)
C949 = (C895 XOR B707) XOR R674
R675 = (R674 AND C895) OR (R674 AND B707 ) OR (C895 AND B707)
C950 = (C896 XOR B708) XOR R675
R676 = (R675 AND C896) OR (R675 AND B708 ) OR (C896 AND B708)
C951 = (C897 XOR B709) XOR R676
R677 = (R676 AND C897) OR (R676 AND B709 ) OR (C897 AND B709)
C952 = (C898 XOR B710) XOR R677
R678 = (R677 AND C898) OR (R677 AND B710 ) OR (C898 AND B710)
C953 = (C899 XOR B711) XOR R678
R679 = (R678 AND C899) OR (R678 AND B711 ) OR (C899 AND B711)
C954 = (C900 XOR B712) XOR R679
R680 = (R679 AND C900) OR (R679 AND B712 ) OR (C900 AND B712)
C955 = (C901 XOR B713) XOR R680
R681 = (R680 AND C901) OR (R680 AND B713 ) OR (C901 AND B713)
C956 = (C902 XOR B714) XOR R681
R682 = (R681 AND C902) OR (R681 AND B714 ) OR (C902 AND B714)
C957 = (C903 XOR B715) XOR R682
R683 = (R682 AND C903) OR (R682 AND B715 ) OR (C903 AND B715)
C958 = (C904 XOR B716) XOR R683
R684 = (R683 AND C904) OR (R683 AND B716 ) OR (C904 AND B716)
C959 = (C905 XOR B717) XOR R684
R685 = (R684 AND C905) OR (R684 AND B717 ) OR (C905 AND B717)
C960 = (C906 XOR B718) XOR R685

49
R686 = (R685 AND C906) OR (R685 AND B718 ) OR (C906 AND B718)
C961 = (C907 XOR B719) XOR R686
R687 = (R686 AND C907) OR (R686 AND B719 ) OR (C907 AND B719)
C962 = (C908 XOR B720) XOR R687
R688 = (R687 AND C908) OR (R687 AND B720 ) OR (C908 AND B720)
C963 = (C909 XOR B721) XOR R688
R689 = (R688 AND C909) OR (R688 AND B721 ) OR (C909 AND B721)
C964 = (C910 XOR B722) XOR R689
R690 = (R689 AND C910) OR (R689 AND B722 ) OR (C910 AND B722)
C965 = (C911 XOR B723) XOR R690
R691 = (R690 AND C911) OR (R690 AND B723 ) OR (C911 AND B723)
C966 = (C912 XOR B724) XOR R691
R692 = (R691 AND C912) OR (R691 AND B724 ) OR (C912 AND B724)
C967 = (C913 XOR B725) XOR R692
R693 = (R692 AND C913) OR (R692 AND B725 ) OR (C913 AND B725)
C968 = (C914 XOR B726) XOR R693
R694 = (R693 AND C914) OR (R693 AND B726 ) OR (C914 AND B726)
C969 = (C915 XOR B727) XOR R694
R695 = (R694 AND C915) OR (R694 AND B727 ) OR (C915 AND B727)
C970 = (C916 XOR B728) XOR R695
R696 = (R695 AND C916) OR (R695 AND B728 ) OR (C916 AND B728)
C971 = (C917 XOR B729) XOR R696
R697 = (R696 AND C917) OR (R696 AND B729 ) OR (C917 AND B729)
C972 = (C918 XOR B730) XOR R697
R698 = (R697 AND C918) OR (R697 AND B730 ) OR (C918 AND B730)
C973 = (C919 XOR B731) XOR R698
R699 = (R698 AND C919) OR (R698 AND B731 ) OR (C919 AND B731)
C974 = (C920 XOR B732) XOR R699
R700 = (R699 AND C920) OR (R699 AND B732 ) OR (C920 AND B732)
C975 = (C921 XOR B733) XOR R700
R701 = (R700 AND C921) OR (R700 AND B733 ) OR (C921 AND B733)
C976 = (C922 XOR B734) XOR R701
R702 = (R701 AND C922) OR (R701 AND B734 ) OR (C922 AND B734)
C977 = (C923 XOR B735) XOR R702
R703 = (R702 AND C923) OR (R702 AND B735 ) OR (C923 AND B735)
C978 = R703

C979 = C924
C980 = C925
C981 = C926
C982 = C927
C983 = C928
C984 = C929
C985 = C930
C986 = C931
C987 = C932
C988 = C933
C989 = C934
C990 = C935
C991 = C936
C992 = C937
C993 = C938
C994 = C939
C995 = C940
C996 = C941
C997 = C942
C998 = C943
C999 = C944
C1000 = C945
C1001 = C946
C1002 = C947 XOR B736
R704 = (C947 AND B736)
C1003 = (C948 XOR B737) XOR R704
R705 = (R704 AND C948) OR (R704 AND B737 ) OR (C948 AND B737)
C1004 = (C949 XOR B738) XOR R705
R706 = (R705 AND C949) OR (R705 AND B738 ) OR (C949 AND B738)
C1005 = (C950 XOR B739) XOR R706
R707 = (R706 AND C950) OR (R706 AND B739 ) OR (C950 AND B739)
C1006 = (C951 XOR B740) XOR R707
R708 = (R707 AND C951) OR (R707 AND B740 ) OR (C951 AND B740)
C1007 = (C952 XOR B741) XOR R708

50
R709 = (R708 AND C952) OR (R708 AND B741 ) OR (C952 AND B741)
C1008 = (C953 XOR B742) XOR R709
R710 = (R709 AND C953) OR (R709 AND B742 ) OR (C953 AND B742)
C1009 = (C954 XOR B743) XOR R710
R711 = (R710 AND C954) OR (R710 AND B743 ) OR (C954 AND B743)
C1010 = (C955 XOR B744) XOR R711
R712 = (R711 AND C955) OR (R711 AND B744 ) OR (C955 AND B744)
C1011 = (C956 XOR B745) XOR R712
R713 = (R712 AND C956) OR (R712 AND B745 ) OR (C956 AND B745)
C1012 = (C957 XOR B746) XOR R713
R714 = (R713 AND C957) OR (R713 AND B746 ) OR (C957 AND B746)
C1013 = (C958 XOR B747) XOR R714
R715 = (R714 AND C958) OR (R714 AND B747 ) OR (C958 AND B747)
C1014 = (C959 XOR B748) XOR R715
R716 = (R715 AND C959) OR (R715 AND B748 ) OR (C959 AND B748)
C1015 = (C960 XOR B749) XOR R716
R717 = (R716 AND C960) OR (R716 AND B749 ) OR (C960 AND B749)
C1016 = (C961 XOR B750) XOR R717
R718 = (R717 AND C961) OR (R717 AND B750 ) OR (C961 AND B750)
C1017 = (C962 XOR B751) XOR R718
R719 = (R718 AND C962) OR (R718 AND B751 ) OR (C962 AND B751)
C1018 = (C963 XOR B752) XOR R719
R720 = (R719 AND C963) OR (R719 AND B752 ) OR (C963 AND B752)
C1019 = (C964 XOR B753) XOR R720
R721 = (R720 AND C964) OR (R720 AND B753 ) OR (C964 AND B753)
C1020 = (C965 XOR B754) XOR R721
R722 = (R721 AND C965) OR (R721 AND B754 ) OR (C965 AND B754)
C1021 = (C966 XOR B755) XOR R722
R723 = (R722 AND C966) OR (R722 AND B755 ) OR (C966 AND B755)
C1022 = (C967 XOR B756) XOR R723
R724 = (R723 AND C967) OR (R723 AND B756 ) OR (C967 AND B756)
C1023 = (C968 XOR B757) XOR R724
R725 = (R724 AND C968) OR (R724 AND B757 ) OR (C968 AND B757)
C1024 = (C969 XOR B758) XOR R725
R726 = (R725 AND C969) OR (R725 AND B758 ) OR (C969 AND B758)
C1025 = (C970 XOR B759) XOR R726
R727 = (R726 AND C970) OR (R726 AND B759 ) OR (C970 AND B759)
C1026 = (C971 XOR B760) XOR R727
R728 = (R727 AND C971) OR (R727 AND B760 ) OR (C971 AND B760)
C1027 = (C972 XOR B761) XOR R728
R729 = (R728 AND C972) OR (R728 AND B761 ) OR (C972 AND B761)
C1028 = (C973 XOR B762) XOR R729
R730 = (R729 AND C973) OR (R729 AND B762 ) OR (C973 AND B762)
C1029 = (C974 XOR B763) XOR R730
R731 = (R730 AND C974) OR (R730 AND B763 ) OR (C974 AND B763)
C1030 = (C975 XOR B764) XOR R731
R732 = (R731 AND C975) OR (R731 AND B764 ) OR (C975 AND B764)
C1031 = (C976 XOR B765) XOR R732
R733 = (R732 AND C976) OR (R732 AND B765 ) OR (C976 AND B765)
C1032 = (C977 XOR B766) XOR R733
R734 = (R733 AND C977) OR (R733 AND B766 ) OR (C977 AND B766)
C1033 = (C978 XOR B767) XOR R734
R735 = (R734 AND C978) OR (R734 AND B767 ) OR (C978 AND B767)
C1034 = R735

C1035 = C979
C1036 = C980
C1037 = C981
C1038 = C982
C1039 = C983
C1040 = C984
C1041 = C985
C1042 = C986
C1043 = C987
C1044 = C988
C1045 = C989
C1046 = C990
C1047 = C991
C1048 = C992
C1049 = C993
C1050 = C994

51
C1051 = C995
C1052 = C996
C1053 = C997
C1054 = C998
C1055 = C999
C1056 = C1000
C1057 = C1001
C1058 = C1002
C1059 = C1003 XOR B768
R736 = (C1003 AND B768)
C1060 = (C1004 XOR B769) XOR R736
R737 = (R736 AND C1004) OR (R736 AND B769 ) OR (C1004 AND B769)
C1061 = (C1005 XOR B770) XOR R737
R738 = (R737 AND C1005) OR (R737 AND B770 ) OR (C1005 AND B770)
C1062 = (C1006 XOR B771) XOR R738
R739 = (R738 AND C1006) OR (R738 AND B771 ) OR (C1006 AND B771)
C1063 = (C1007 XOR B772) XOR R739
R740 = (R739 AND C1007) OR (R739 AND B772 ) OR (C1007 AND B772)
C1064 = (C1008 XOR B773) XOR R740
R741 = (R740 AND C1008) OR (R740 AND B773 ) OR (C1008 AND B773)
C1065 = (C1009 XOR B774) XOR R741
R742 = (R741 AND C1009) OR (R741 AND B774 ) OR (C1009 AND B774)
C1066 = (C1010 XOR B775) XOR R742
R743 = (R742 AND C1010) OR (R742 AND B775 ) OR (C1010 AND B775)
C1067 = (C1011 XOR B776) XOR R743
R744 = (R743 AND C1011) OR (R743 AND B776 ) OR (C1011 AND B776)
C1068 = (C1012 XOR B777) XOR R744
R745 = (R744 AND C1012) OR (R744 AND B777 ) OR (C1012 AND B777)
C1069 = (C1013 XOR B778) XOR R745
R746 = (R745 AND C1013) OR (R745 AND B778 ) OR (C1013 AND B778)
C1070 = (C1014 XOR B779) XOR R746
R747 = (R746 AND C1014) OR (R746 AND B779 ) OR (C1014 AND B779)
C1071 = (C1015 XOR B780) XOR R747
R748 = (R747 AND C1015) OR (R747 AND B780 ) OR (C1015 AND B780)
C1072 = (C1016 XOR B781) XOR R748
R749 = (R748 AND C1016) OR (R748 AND B781 ) OR (C1016 AND B781)
C1073 = (C1017 XOR B782) XOR R749
R750 = (R749 AND C1017) OR (R749 AND B782 ) OR (C1017 AND B782)
C1074 = (C1018 XOR B783) XOR R750
R751 = (R750 AND C1018) OR (R750 AND B783 ) OR (C1018 AND B783)
C1075 = (C1019 XOR B784) XOR R751
R752 = (R751 AND C1019) OR (R751 AND B784 ) OR (C1019 AND B784)
C1076 = (C1020 XOR B785) XOR R752
R753 = (R752 AND C1020) OR (R752 AND B785 ) OR (C1020 AND B785)
C1077 = (C1021 XOR B786) XOR R753
R754 = (R753 AND C1021) OR (R753 AND B786 ) OR (C1021 AND B786)
C1078 = (C1022 XOR B787) XOR R754
R755 = (R754 AND C1022) OR (R754 AND B787 ) OR (C1022 AND B787)
C1079 = (C1023 XOR B788) XOR R755
R756 = (R755 AND C1023) OR (R755 AND B788 ) OR (C1023 AND B788)
C1080 = (C1024 XOR B789) XOR R756
R757 = (R756 AND C1024) OR (R756 AND B789 ) OR (C1024 AND B789)
C1081 = (C1025 XOR B790) XOR R757
R758 = (R757 AND C1025) OR (R757 AND B790 ) OR (C1025 AND B790)
C1082 = (C1026 XOR B791) XOR R758
R759 = (R758 AND C1026) OR (R758 AND B791 ) OR (C1026 AND B791)
C1083 = (C1027 XOR B792) XOR R759
R760 = (R759 AND C1027) OR (R759 AND B792 ) OR (C1027 AND B792)
C1084 = (C1028 XOR B793) XOR R760
R761 = (R760 AND C1028) OR (R760 AND B793 ) OR (C1028 AND B793)
C1085 = (C1029 XOR B794) XOR R761
R762 = (R761 AND C1029) OR (R761 AND B794 ) OR (C1029 AND B794)
C1086 = (C1030 XOR B795) XOR R762
R763 = (R762 AND C1030) OR (R762 AND B795 ) OR (C1030 AND B795)
C1087 = (C1031 XOR B796) XOR R763
R764 = (R763 AND C1031) OR (R763 AND B796 ) OR (C1031 AND B796)
C1088 = (C1032 XOR B797) XOR R764
R765 = (R764 AND C1032) OR (R764 AND B797 ) OR (C1032 AND B797)
C1089 = (C1033 XOR B798) XOR R765
R766 = (R765 AND C1033) OR (R765 AND B798 ) OR (C1033 AND B798)
C1090 = (C1034 XOR B799) XOR R766

52
R767 = (R766 AND C1034) OR (R766 AND B799 ) OR (C1034 AND B799)
C1091 = R767

C1092 = C1035
C1093 = C1036
C1094 = C1037
C1095 = C1038
C1096 = C1039
C1097 = C1040
C1098 = C1041
C1099 = C1042
C1100 = C1043
C1101 = C1044
C1102 = C1045
C1103 = C1046
C1104 = C1047
C1105 = C1048
C1106 = C1049
C1107 = C1050
C1108 = C1051
C1109 = C1052
C1110 = C1053
C1111 = C1054
C1112 = C1055
C1113 = C1056
C1114 = C1057
C1115 = C1058
C1116 = C1059
C1117 = C1060 XOR B800
R768 = (C1060 AND B800)
C1118 = (C1061 XOR B801) XOR R768
R769 = (R768 AND C1061) OR (R768 AND B801 ) OR (C1061 AND B801)
C1119 = (C1062 XOR B802) XOR R769
R770 = (R769 AND C1062) OR (R769 AND B802 ) OR (C1062 AND B802)
C1120 = (C1063 XOR B803) XOR R770
R771 = (R770 AND C1063) OR (R770 AND B803 ) OR (C1063 AND B803)
C1121 = (C1064 XOR B804) XOR R771
R772 = (R771 AND C1064) OR (R771 AND B804 ) OR (C1064 AND B804)
C1122 = (C1065 XOR B805) XOR R772
R773 = (R772 AND C1065) OR (R772 AND B805 ) OR (C1065 AND B805)
C1123 = (C1066 XOR B806) XOR R773
R774 = (R773 AND C1066) OR (R773 AND B806 ) OR (C1066 AND B806)
C1124 = (C1067 XOR B807) XOR R774
R775 = (R774 AND C1067) OR (R774 AND B807 ) OR (C1067 AND B807)
C1125 = (C1068 XOR B808) XOR R775
R776 = (R775 AND C1068) OR (R775 AND B808 ) OR (C1068 AND B808)
C1126 = (C1069 XOR B809) XOR R776
R777 = (R776 AND C1069) OR (R776 AND B809 ) OR (C1069 AND B809)
C1127 = (C1070 XOR B810) XOR R777
R778 = (R777 AND C1070) OR (R777 AND B810 ) OR (C1070 AND B810)
C1128 = (C1071 XOR B811) XOR R778
R779 = (R778 AND C1071) OR (R778 AND B811 ) OR (C1071 AND B811)
C1129 = (C1072 XOR B812) XOR R779
R780 = (R779 AND C1072) OR (R779 AND B812 ) OR (C1072 AND B812)
C1130 = (C1073 XOR B813) XOR R780
R781 = (R780 AND C1073) OR (R780 AND B813 ) OR (C1073 AND B813)
C1131 = (C1074 XOR B814) XOR R781
R782 = (R781 AND C1074) OR (R781 AND B814 ) OR (C1074 AND B814)
C1132 = (C1075 XOR B815) XOR R782
R783 = (R782 AND C1075) OR (R782 AND B815 ) OR (C1075 AND B815)
C1133 = (C1076 XOR B816) XOR R783
R784 = (R783 AND C1076) OR (R783 AND B816 ) OR (C1076 AND B816)
C1134 = (C1077 XOR B817) XOR R784
R785 = (R784 AND C1077) OR (R784 AND B817 ) OR (C1077 AND B817)
C1135 = (C1078 XOR B818) XOR R785
R786 = (R785 AND C1078) OR (R785 AND B818 ) OR (C1078 AND B818)
C1136 = (C1079 XOR B819) XOR R786
R787 = (R786 AND C1079) OR (R786 AND B819 ) OR (C1079 AND B819)
C1137 = (C1080 XOR B820) XOR R787
R788 = (R787 AND C1080) OR (R787 AND B820 ) OR (C1080 AND B820)
C1138 = (C1081 XOR B821) XOR R788

53
R789 = (R788 AND C1081) OR (R788 AND B821 ) OR (C1081 AND B821)
C1139 = (C1082 XOR B822) XOR R789
R790 = (R789 AND C1082) OR (R789 AND B822 ) OR (C1082 AND B822)
C1140 = (C1083 XOR B823) XOR R790
R791 = (R790 AND C1083) OR (R790 AND B823 ) OR (C1083 AND B823)
C1141 = (C1084 XOR B824) XOR R791
R792 = (R791 AND C1084) OR (R791 AND B824 ) OR (C1084 AND B824)
C1142 = (C1085 XOR B825) XOR R792
R793 = (R792 AND C1085) OR (R792 AND B825 ) OR (C1085 AND B825)
C1143 = (C1086 XOR B826) XOR R793
R794 = (R793 AND C1086) OR (R793 AND B826 ) OR (C1086 AND B826)
C1144 = (C1087 XOR B827) XOR R794
R795 = (R794 AND C1087) OR (R794 AND B827 ) OR (C1087 AND B827)
C1145 = (C1088 XOR B828) XOR R795
R796 = (R795 AND C1088) OR (R795 AND B828 ) OR (C1088 AND B828)
C1146 = (C1089 XOR B829) XOR R796
R797 = (R796 AND C1089) OR (R796 AND B829 ) OR (C1089 AND B829)
C1147 = (C1090 XOR B830) XOR R797
R798 = (R797 AND C1090) OR (R797 AND B830 ) OR (C1090 AND B830)
C1148 = (C1091 XOR B831) XOR R798
R799 = (R798 AND C1091) OR (R798 AND B831 ) OR (C1091 AND B831)
C1149 = R799

C1150 = C1092
C1151 = C1093
C1152 = C1094
C1153 = C1095
C1154 = C1096
C1155 = C1097
C1156 = C1098
C1157 = C1099
C1158 = C1100
C1159 = C1101
C1160 = C1102
C1161 = C1103
C1162 = C1104
C1163 = C1105
C1164 = C1106
C1165 = C1107
C1166 = C1108
C1167 = C1109
C1168 = C1110
C1169 = C1111
C1170 = C1112
C1171 = C1113
C1172 = C1114
C1173 = C1115
C1174 = C1116
C1175 = C1117
C1176 = C1118 XOR B832
R800 = (C1118 AND B832)
C1177 = (C1119 XOR B833) XOR R800
R801 = (R800 AND C1119) OR (R800 AND B833 ) OR (C1119 AND B833)
C1178 = (C1120 XOR B834) XOR R801
R802 = (R801 AND C1120) OR (R801 AND B834 ) OR (C1120 AND B834)
C1179 = (C1121 XOR B835) XOR R802
R803 = (R802 AND C1121) OR (R802 AND B835 ) OR (C1121 AND B835)
C1180 = (C1122 XOR B836) XOR R803
R804 = (R803 AND C1122) OR (R803 AND B836 ) OR (C1122 AND B836)
C1181 = (C1123 XOR B837) XOR R804
R805 = (R804 AND C1123) OR (R804 AND B837 ) OR (C1123 AND B837)
C1182 = (C1124 XOR B838) XOR R805
R806 = (R805 AND C1124) OR (R805 AND B838 ) OR (C1124 AND B838)
C1183 = (C1125 XOR B839) XOR R806
R807 = (R806 AND C1125) OR (R806 AND B839 ) OR (C1125 AND B839)
C1184 = (C1126 XOR B840) XOR R807
R808 = (R807 AND C1126) OR (R807 AND B840 ) OR (C1126 AND B840)
C1185 = (C1127 XOR B841) XOR R808
R809 = (R808 AND C1127) OR (R808 AND B841 ) OR (C1127 AND B841)
C1186 = (C1128 XOR B842) XOR R809
R810 = (R809 AND C1128) OR (R809 AND B842 ) OR (C1128 AND B842)

54
C1187 = (C1129 XOR B843) XOR R810
R811 = (R810 AND C1129) OR (R810 AND B843 ) OR (C1129 AND B843)
C1188 = (C1130 XOR B844) XOR R811
R812 = (R811 AND C1130) OR (R811 AND B844 ) OR (C1130 AND B844)
C1189 = (C1131 XOR B845) XOR R812
R813 = (R812 AND C1131) OR (R812 AND B845 ) OR (C1131 AND B845)
C1190 = (C1132 XOR B846) XOR R813
R814 = (R813 AND C1132) OR (R813 AND B846 ) OR (C1132 AND B846)
C1191 = (C1133 XOR B847) XOR R814
R815 = (R814 AND C1133) OR (R814 AND B847 ) OR (C1133 AND B847)
C1192 = (C1134 XOR B848) XOR R815
R816 = (R815 AND C1134) OR (R815 AND B848 ) OR (C1134 AND B848)
C1193 = (C1135 XOR B849) XOR R816
R817 = (R816 AND C1135) OR (R816 AND B849 ) OR (C1135 AND B849)
C1194 = (C1136 XOR B850) XOR R817
R818 = (R817 AND C1136) OR (R817 AND B850 ) OR (C1136 AND B850)
C1195 = (C1137 XOR B851) XOR R818
R819 = (R818 AND C1137) OR (R818 AND B851 ) OR (C1137 AND B851)
C1196 = (C1138 XOR B852) XOR R819
R820 = (R819 AND C1138) OR (R819 AND B852 ) OR (C1138 AND B852)
C1197 = (C1139 XOR B853) XOR R820
R821 = (R820 AND C1139) OR (R820 AND B853 ) OR (C1139 AND B853)
C1198 = (C1140 XOR B854) XOR R821
R822 = (R821 AND C1140) OR (R821 AND B854 ) OR (C1140 AND B854)
C1199 = (C1141 XOR B855) XOR R822
R823 = (R822 AND C1141) OR (R822 AND B855 ) OR (C1141 AND B855)
C1200 = (C1142 XOR B856) XOR R823
R824 = (R823 AND C1142) OR (R823 AND B856 ) OR (C1142 AND B856)
C1201 = (C1143 XOR B857) XOR R824
R825 = (R824 AND C1143) OR (R824 AND B857 ) OR (C1143 AND B857)
C1202 = (C1144 XOR B858) XOR R825
R826 = (R825 AND C1144) OR (R825 AND B858 ) OR (C1144 AND B858)
C1203 = (C1145 XOR B859) XOR R826
R827 = (R826 AND C1145) OR (R826 AND B859 ) OR (C1145 AND B859)
C1204 = (C1146 XOR B860) XOR R827
R828 = (R827 AND C1146) OR (R827 AND B860 ) OR (C1146 AND B860)
C1205 = (C1147 XOR B861) XOR R828
R829 = (R828 AND C1147) OR (R828 AND B861 ) OR (C1147 AND B861)
C1206 = (C1148 XOR B862) XOR R829
R830 = (R829 AND C1148) OR (R829 AND B862 ) OR (C1148 AND B862)
C1207 = (C1149 XOR B863) XOR R830
R831 = (R830 AND C1149) OR (R830 AND B863 ) OR (C1149 AND B863)
C1208 = R831

C1209 = C1150
C1210 = C1151
C1211 = C1152
C1212 = C1153
C1213 = C1154
C1214 = C1155
C1215 = C1156
C1216 = C1157
C1217 = C1158
C1218 = C1159
C1219 = C1160
C1220 = C1161
C1221 = C1162
C1222 = C1163
C1223 = C1164
C1224 = C1165
C1225 = C1166
C1226 = C1167
C1227 = C1168
C1228 = C1169
C1229 = C1170
C1230 = C1171
C1231 = C1172
C1232 = C1173
C1233 = C1174
C1234 = C1175
C1235 = C1176

55
C1236 = C1177 XOR B864
R832 = (C1177 AND B864)
C1237 = (C1178 XOR B865) XOR R832
R833 = (R832 AND C1178) OR (R832 AND B865 ) OR (C1178 AND B865)
C1238 = (C1179 XOR B866) XOR R833
R834 = (R833 AND C1179) OR (R833 AND B866 ) OR (C1179 AND B866)
C1239 = (C1180 XOR B867) XOR R834
R835 = (R834 AND C1180) OR (R834 AND B867 ) OR (C1180 AND B867)
C1240 = (C1181 XOR B868) XOR R835
R836 = (R835 AND C1181) OR (R835 AND B868 ) OR (C1181 AND B868)
C1241 = (C1182 XOR B869) XOR R836
R837 = (R836 AND C1182) OR (R836 AND B869 ) OR (C1182 AND B869)
C1242 = (C1183 XOR B870) XOR R837
R838 = (R837 AND C1183) OR (R837 AND B870 ) OR (C1183 AND B870)
C1243 = (C1184 XOR B871) XOR R838
R839 = (R838 AND C1184) OR (R838 AND B871 ) OR (C1184 AND B871)
C1244 = (C1185 XOR B872) XOR R839
R840 = (R839 AND C1185) OR (R839 AND B872 ) OR (C1185 AND B872)
C1245 = (C1186 XOR B873) XOR R840
R841 = (R840 AND C1186) OR (R840 AND B873 ) OR (C1186 AND B873)
C1246 = (C1187 XOR B874) XOR R841
R842 = (R841 AND C1187) OR (R841 AND B874 ) OR (C1187 AND B874)
C1247 = (C1188 XOR B875) XOR R842
R843 = (R842 AND C1188) OR (R842 AND B875 ) OR (C1188 AND B875)
C1248 = (C1189 XOR B876) XOR R843
R844 = (R843 AND C1189) OR (R843 AND B876 ) OR (C1189 AND B876)
C1249 = (C1190 XOR B877) XOR R844
R845 = (R844 AND C1190) OR (R844 AND B877 ) OR (C1190 AND B877)
C1250 = (C1191 XOR B878) XOR R845
R846 = (R845 AND C1191) OR (R845 AND B878 ) OR (C1191 AND B878)
C1251 = (C1192 XOR B879) XOR R846
R847 = (R846 AND C1192) OR (R846 AND B879 ) OR (C1192 AND B879)
C1252 = (C1193 XOR B880) XOR R847
R848 = (R847 AND C1193) OR (R847 AND B880 ) OR (C1193 AND B880)
C1253 = (C1194 XOR B881) XOR R848
R849 = (R848 AND C1194) OR (R848 AND B881 ) OR (C1194 AND B881)
C1254 = (C1195 XOR B882) XOR R849
R850 = (R849 AND C1195) OR (R849 AND B882 ) OR (C1195 AND B882)
C1255 = (C1196 XOR B883) XOR R850
R851 = (R850 AND C1196) OR (R850 AND B883 ) OR (C1196 AND B883)
C1256 = (C1197 XOR B884) XOR R851
R852 = (R851 AND C1197) OR (R851 AND B884 ) OR (C1197 AND B884)
C1257 = (C1198 XOR B885) XOR R852
R853 = (R852 AND C1198) OR (R852 AND B885 ) OR (C1198 AND B885)
C1258 = (C1199 XOR B886) XOR R853
R854 = (R853 AND C1199) OR (R853 AND B886 ) OR (C1199 AND B886)
C1259 = (C1200 XOR B887) XOR R854
R855 = (R854 AND C1200) OR (R854 AND B887 ) OR (C1200 AND B887)
C1260 = (C1201 XOR B888) XOR R855
R856 = (R855 AND C1201) OR (R855 AND B888 ) OR (C1201 AND B888)
C1261 = (C1202 XOR B889) XOR R856
R857 = (R856 AND C1202) OR (R856 AND B889 ) OR (C1202 AND B889)
C1262 = (C1203 XOR B890) XOR R857
R858 = (R857 AND C1203) OR (R857 AND B890 ) OR (C1203 AND B890)
C1263 = (C1204 XOR B891) XOR R858
R859 = (R858 AND C1204) OR (R858 AND B891 ) OR (C1204 AND B891)
C1264 = (C1205 XOR B892) XOR R859
R860 = (R859 AND C1205) OR (R859 AND B892 ) OR (C1205 AND B892)
C1265 = (C1206 XOR B893) XOR R860
R861 = (R860 AND C1206) OR (R860 AND B893 ) OR (C1206 AND B893)
C1266 = (C1207 XOR B894) XOR R861
R862 = (R861 AND C1207) OR (R861 AND B894 ) OR (C1207 AND B894)
C1267 = (C1208 XOR B895) XOR R862
R863 = (R862 AND C1208) OR (R862 AND B895 ) OR (C1208 AND B895)
C1268 = R863

C1269 = C1209
C1270 = C1210
C1271 = C1211
C1272 = C1212
C1273 = C1213

56
C1274 = C1214
C1275 = C1215
C1276 = C1216
C1277 = C1217
C1278 = C1218
C1279 = C1219
C1280 = C1220
C1281 = C1221
C1282 = C1222
C1283 = C1223
C1284 = C1224
C1285 = C1225
C1286 = C1226
C1287 = C1227
C1288 = C1228
C1289 = C1229
C1290 = C1230
C1291 = C1231
C1292 = C1232
C1293 = C1233
C1294 = C1234
C1295 = C1235
C1296 = C1236
C1297 = C1237 XOR B896
R864 = (C1237 AND B896)
C1298 = (C1238 XOR B897) XOR R864
R865 = (R864 AND C1238) OR (R864 AND B897 ) OR (C1238 AND B897)
C1299 = (C1239 XOR B898) XOR R865
R866 = (R865 AND C1239) OR (R865 AND B898 ) OR (C1239 AND B898)
C1300 = (C1240 XOR B899) XOR R866
R867 = (R866 AND C1240) OR (R866 AND B899 ) OR (C1240 AND B899)
C1301 = (C1241 XOR B900) XOR R867
R868 = (R867 AND C1241) OR (R867 AND B900 ) OR (C1241 AND B900)
C1302 = (C1242 XOR B901) XOR R868
R869 = (R868 AND C1242) OR (R868 AND B901 ) OR (C1242 AND B901)
C1303 = (C1243 XOR B902) XOR R869
R870 = (R869 AND C1243) OR (R869 AND B902 ) OR (C1243 AND B902)
C1304 = (C1244 XOR B903) XOR R870
R871 = (R870 AND C1244) OR (R870 AND B903 ) OR (C1244 AND B903)
C1305 = (C1245 XOR B904) XOR R871
R872 = (R871 AND C1245) OR (R871 AND B904 ) OR (C1245 AND B904)
C1306 = (C1246 XOR B905) XOR R872
R873 = (R872 AND C1246) OR (R872 AND B905 ) OR (C1246 AND B905)
C1307 = (C1247 XOR B906) XOR R873
R874 = (R873 AND C1247) OR (R873 AND B906 ) OR (C1247 AND B906)
C1308 = (C1248 XOR B907) XOR R874
R875 = (R874 AND C1248) OR (R874 AND B907 ) OR (C1248 AND B907)
C1309 = (C1249 XOR B908) XOR R875
R876 = (R875 AND C1249) OR (R875 AND B908 ) OR (C1249 AND B908)
C1310 = (C1250 XOR B909) XOR R876
R877 = (R876 AND C1250) OR (R876 AND B909 ) OR (C1250 AND B909)
C1311 = (C1251 XOR B910) XOR R877
R878 = (R877 AND C1251) OR (R877 AND B910 ) OR (C1251 AND B910)
C1312 = (C1252 XOR B911) XOR R878
R879 = (R878 AND C1252) OR (R878 AND B911 ) OR (C1252 AND B911)
C1313 = (C1253 XOR B912) XOR R879
R880 = (R879 AND C1253) OR (R879 AND B912 ) OR (C1253 AND B912)
C1314 = (C1254 XOR B913) XOR R880
R881 = (R880 AND C1254) OR (R880 AND B913 ) OR (C1254 AND B913)
C1315 = (C1255 XOR B914) XOR R881
R882 = (R881 AND C1255) OR (R881 AND B914 ) OR (C1255 AND B914)
C1316 = (C1256 XOR B915) XOR R882
R883 = (R882 AND C1256) OR (R882 AND B915 ) OR (C1256 AND B915)
C1317 = (C1257 XOR B916) XOR R883
R884 = (R883 AND C1257) OR (R883 AND B916 ) OR (C1257 AND B916)
C1318 = (C1258 XOR B917) XOR R884
R885 = (R884 AND C1258) OR (R884 AND B917 ) OR (C1258 AND B917)
C1319 = (C1259 XOR B918) XOR R885
R886 = (R885 AND C1259) OR (R885 AND B918 ) OR (C1259 AND B918)
C1320 = (C1260 XOR B919) XOR R886
R887 = (R886 AND C1260) OR (R886 AND B919 ) OR (C1260 AND B919)

57
C1321 = (C1261 XOR B920) XOR R887
R888 = (R887 AND C1261) OR (R887 AND B920 ) OR (C1261 AND B920)
C1322 = (C1262 XOR B921) XOR R888
R889 = (R888 AND C1262) OR (R888 AND B921 ) OR (C1262 AND B921)
C1323 = (C1263 XOR B922) XOR R889
R890 = (R889 AND C1263) OR (R889 AND B922 ) OR (C1263 AND B922)
C1324 = (C1264 XOR B923) XOR R890
R891 = (R890 AND C1264) OR (R890 AND B923 ) OR (C1264 AND B923)
C1325 = (C1265 XOR B924) XOR R891
R892 = (R891 AND C1265) OR (R891 AND B924 ) OR (C1265 AND B924)
C1326 = (C1266 XOR B925) XOR R892
R893 = (R892 AND C1266) OR (R892 AND B925 ) OR (C1266 AND B925)
C1327 = (C1267 XOR B926) XOR R893
R894 = (R893 AND C1267) OR (R893 AND B926 ) OR (C1267 AND B926)
C1328 = (C1268 XOR B927) XOR R894
R895 = (R894 AND C1268) OR (R894 AND B927 ) OR (C1268 AND B927)
C1329 = R895

C1330 = C1269
C1331 = C1270
C1332 = C1271
C1333 = C1272
C1334 = C1273
C1335 = C1274
C1336 = C1275
C1337 = C1276
C1338 = C1277
C1339 = C1278
C1340 = C1279
C1341 = C1280
C1342 = C1281
C1343 = C1282
C1344 = C1283
C1345 = C1284
C1346 = C1285
C1347 = C1286
C1348 = C1287
C1349 = C1288
C1350 = C1289
C1351 = C1290
C1352 = C1291
C1353 = C1292
C1354 = C1293
C1355 = C1294
C1356 = C1295
C1357 = C1296
C1358 = C1297
C1359 = C1298 XOR B928
R896 = (C1298 AND B928)
C1360 = (C1299 XOR B929) XOR R896
R897 = (R896 AND C1299) OR (R896 AND B929 ) OR (C1299 AND B929)
C1361 = (C1300 XOR B930) XOR R897
R898 = (R897 AND C1300) OR (R897 AND B930 ) OR (C1300 AND B930)
C1362 = (C1301 XOR B931) XOR R898
R899 = (R898 AND C1301) OR (R898 AND B931 ) OR (C1301 AND B931)
C1363 = (C1302 XOR B932) XOR R899
R900 = (R899 AND C1302) OR (R899 AND B932 ) OR (C1302 AND B932)
C1364 = (C1303 XOR B933) XOR R900
R901 = (R900 AND C1303) OR (R900 AND B933 ) OR (C1303 AND B933)
C1365 = (C1304 XOR B934) XOR R901
R902 = (R901 AND C1304) OR (R901 AND B934 ) OR (C1304 AND B934)
C1366 = (C1305 XOR B935) XOR R902
R903 = (R902 AND C1305) OR (R902 AND B935 ) OR (C1305 AND B935)
C1367 = (C1306 XOR B936) XOR R903
R904 = (R903 AND C1306) OR (R903 AND B936 ) OR (C1306 AND B936)
C1368 = (C1307 XOR B937) XOR R904
R905 = (R904 AND C1307) OR (R904 AND B937 ) OR (C1307 AND B937)
C1369 = (C1308 XOR B938) XOR R905
R906 = (R905 AND C1308) OR (R905 AND B938 ) OR (C1308 AND B938)
C1370 = (C1309 XOR B939) XOR R906
R907 = (R906 AND C1309) OR (R906 AND B939 ) OR (C1309 AND B939)

58
C1371 = (C1310 XOR B940) XOR R907
R908 = (R907 AND C1310) OR (R907 AND B940 ) OR (C1310 AND B940)
C1372 = (C1311 XOR B941) XOR R908
R909 = (R908 AND C1311) OR (R908 AND B941 ) OR (C1311 AND B941)
C1373 = (C1312 XOR B942) XOR R909
R910 = (R909 AND C1312) OR (R909 AND B942 ) OR (C1312 AND B942)
C1374 = (C1313 XOR B943) XOR R910
R911 = (R910 AND C1313) OR (R910 AND B943 ) OR (C1313 AND B943)
C1375 = (C1314 XOR B944) XOR R911
R912 = (R911 AND C1314) OR (R911 AND B944 ) OR (C1314 AND B944)
C1376 = (C1315 XOR B945) XOR R912
R913 = (R912 AND C1315) OR (R912 AND B945 ) OR (C1315 AND B945)
C1377 = (C1316 XOR B946) XOR R913
R914 = (R913 AND C1316) OR (R913 AND B946 ) OR (C1316 AND B946)
C1378 = (C1317 XOR B947) XOR R914
R915 = (R914 AND C1317) OR (R914 AND B947 ) OR (C1317 AND B947)
C1379 = (C1318 XOR B948) XOR R915
R916 = (R915 AND C1318) OR (R915 AND B948 ) OR (C1318 AND B948)
C1380 = (C1319 XOR B949) XOR R916
R917 = (R916 AND C1319) OR (R916 AND B949 ) OR (C1319 AND B949)
C1381 = (C1320 XOR B950) XOR R917
R918 = (R917 AND C1320) OR (R917 AND B950 ) OR (C1320 AND B950)
C1382 = (C1321 XOR B951) XOR R918
R919 = (R918 AND C1321) OR (R918 AND B951 ) OR (C1321 AND B951)
C1383 = (C1322 XOR B952) XOR R919
R920 = (R919 AND C1322) OR (R919 AND B952 ) OR (C1322 AND B952)
C1384 = (C1323 XOR B953) XOR R920
R921 = (R920 AND C1323) OR (R920 AND B953 ) OR (C1323 AND B953)
C1385 = (C1324 XOR B954) XOR R921
R922 = (R921 AND C1324) OR (R921 AND B954 ) OR (C1324 AND B954)
C1386 = (C1325 XOR B955) XOR R922
R923 = (R922 AND C1325) OR (R922 AND B955 ) OR (C1325 AND B955)
C1387 = (C1326 XOR B956) XOR R923
R924 = (R923 AND C1326) OR (R923 AND B956 ) OR (C1326 AND B956)
C1388 = (C1327 XOR B957) XOR R924
R925 = (R924 AND C1327) OR (R924 AND B957 ) OR (C1327 AND B957)
C1389 = (C1328 XOR B958) XOR R925
R926 = (R925 AND C1328) OR (R925 AND B958 ) OR (C1328 AND B958)
C1390 = (C1329 XOR B959) XOR R926
R927 = (R926 AND C1329) OR (R926 AND B959 ) OR (C1329 AND B959)
C1391 = R927

C1392 = C1330
C1393 = C1331
C1394 = C1332
C1395 = C1333
C1396 = C1334
C1397 = C1335
C1398 = C1336
C1399 = C1337
C1400 = C1338
C1401 = C1339
C1402 = C1340
C1403 = C1341
C1404 = C1342
C1405 = C1343
C1406 = C1344
C1407 = C1345
C1408 = C1346
C1409 = C1347
C1410 = C1348
C1411 = C1349
C1412 = C1350
C1413 = C1351
C1414 = C1352
C1415 = C1353
C1416 = C1354
C1417 = C1355
C1418 = C1356
C1419 = C1357
C1420 = C1358

59
C1421 = C1359
C1422 = C1360 XOR B960
R928 = (C1360 AND B960)
C1423 = (C1361 XOR B961) XOR R928
R929 = (R928 AND C1361) OR (R928 AND B961 ) OR (C1361 AND B961)
C1424 = (C1362 XOR B962) XOR R929
R930 = (R929 AND C1362) OR (R929 AND B962 ) OR (C1362 AND B962)
C1425 = (C1363 XOR B963) XOR R930
R931 = (R930 AND C1363) OR (R930 AND B963 ) OR (C1363 AND B963)
C1426 = (C1364 XOR B964) XOR R931
R932 = (R931 AND C1364) OR (R931 AND B964 ) OR (C1364 AND B964)
C1427 = (C1365 XOR B965) XOR R932
R933 = (R932 AND C1365) OR (R932 AND B965 ) OR (C1365 AND B965)
C1428 = (C1366 XOR B966) XOR R933
R934 = (R933 AND C1366) OR (R933 AND B966 ) OR (C1366 AND B966)
C1429 = (C1367 XOR B967) XOR R934
R935 = (R934 AND C1367) OR (R934 AND B967 ) OR (C1367 AND B967)
C1430 = (C1368 XOR B968) XOR R935
R936 = (R935 AND C1368) OR (R935 AND B968 ) OR (C1368 AND B968)
C1431 = (C1369 XOR B969) XOR R936
R937 = (R936 AND C1369) OR (R936 AND B969 ) OR (C1369 AND B969)
C1432 = (C1370 XOR B970) XOR R937
R938 = (R937 AND C1370) OR (R937 AND B970 ) OR (C1370 AND B970)
C1433 = (C1371 XOR B971) XOR R938
R939 = (R938 AND C1371) OR (R938 AND B971 ) OR (C1371 AND B971)
C1434 = (C1372 XOR B972) XOR R939
R940 = (R939 AND C1372) OR (R939 AND B972 ) OR (C1372 AND B972)
C1435 = (C1373 XOR B973) XOR R940
R941 = (R940 AND C1373) OR (R940 AND B973 ) OR (C1373 AND B973)
C1436 = (C1374 XOR B974) XOR R941
R942 = (R941 AND C1374) OR (R941 AND B974 ) OR (C1374 AND B974)
C1437 = (C1375 XOR B975) XOR R942
R943 = (R942 AND C1375) OR (R942 AND B975 ) OR (C1375 AND B975)
C1438 = (C1376 XOR B976) XOR R943
R944 = (R943 AND C1376) OR (R943 AND B976 ) OR (C1376 AND B976)
C1439 = (C1377 XOR B977) XOR R944
R945 = (R944 AND C1377) OR (R944 AND B977 ) OR (C1377 AND B977)
C1440 = (C1378 XOR B978) XOR R945
R946 = (R945 AND C1378) OR (R945 AND B978 ) OR (C1378 AND B978)
C1441 = (C1379 XOR B979) XOR R946
R947 = (R946 AND C1379) OR (R946 AND B979 ) OR (C1379 AND B979)
C1442 = (C1380 XOR B980) XOR R947
R948 = (R947 AND C1380) OR (R947 AND B980 ) OR (C1380 AND B980)
C1443 = (C1381 XOR B981) XOR R948
R949 = (R948 AND C1381) OR (R948 AND B981 ) OR (C1381 AND B981)
C1444 = (C1382 XOR B982) XOR R949
R950 = (R949 AND C1382) OR (R949 AND B982 ) OR (C1382 AND B982)
C1445 = (C1383 XOR B983) XOR R950
R951 = (R950 AND C1383) OR (R950 AND B983 ) OR (C1383 AND B983)
C1446 = (C1384 XOR B984) XOR R951
R952 = (R951 AND C1384) OR (R951 AND B984 ) OR (C1384 AND B984)
C1447 = (C1385 XOR B985) XOR R952
R953 = (R952 AND C1385) OR (R952 AND B985 ) OR (C1385 AND B985)
C1448 = (C1386 XOR B986) XOR R953
R954 = (R953 AND C1386) OR (R953 AND B986 ) OR (C1386 AND B986)
C1449 = (C1387 XOR B987) XOR R954
R955 = (R954 AND C1387) OR (R954 AND B987 ) OR (C1387 AND B987)
C1450 = (C1388 XOR B988) XOR R955
R956 = (R955 AND C1388) OR (R955 AND B988 ) OR (C1388 AND B988)
C1451 = (C1389 XOR B989) XOR R956
R957 = (R956 AND C1389) OR (R956 AND B989 ) OR (C1389 AND B989)
C1452 = (C1390 XOR B990) XOR R957
R958 = (R957 AND C1390) OR (R957 AND B990 ) OR (C1390 AND B990)
C1453 = (C1391 XOR B991) XOR R958
R959 = (R958 AND C1391) OR (R958 AND B991 ) OR (C1391 AND B991)
C1454 = R959

C1455 = C1392
C1456 = C1393
C1457 = C1394
C1458 = C1395

60
C1459 = C1396
C1460 = C1397
C1461 = C1398
C1462 = C1399
C1463 = C1400
C1464 = C1401
C1465 = C1402
C1466 = C1403
C1467 = C1404
C1468 = C1405
C1469 = C1406
C1470 = C1407
C1471 = C1408
C1472 = C1409
C1473 = C1410
C1474 = C1411
C1475 = C1412
C1476 = C1413
C1477 = C1414
C1478 = C1415
C1479 = C1416
C1480 = C1417
C1481 = C1418
C1482 = C1419
C1483 = C1420
C1484 = C1421
C1485 = C1422
C1486 = C1423 XOR B992
R960 = (C1423 AND B992)
C1487 = (C1424 XOR B993) XOR R960
R961 = (R960 AND C1424) OR (R960 AND B993 ) OR (C1424 AND B993)
C1488 = (C1425 XOR B994) XOR R961
R962 = (R961 AND C1425) OR (R961 AND B994 ) OR (C1425 AND B994)
C1489 = (C1426 XOR B995) XOR R962
R963 = (R962 AND C1426) OR (R962 AND B995 ) OR (C1426 AND B995)
C1490 = (C1427 XOR B996) XOR R963
R964 = (R963 AND C1427) OR (R963 AND B996 ) OR (C1427 AND B996)
C1491 = (C1428 XOR B997) XOR R964
R965 = (R964 AND C1428) OR (R964 AND B997 ) OR (C1428 AND B997)
C1492 = (C1429 XOR B998) XOR R965
R966 = (R965 AND C1429) OR (R965 AND B998 ) OR (C1429 AND B998)
C1493 = (C1430 XOR B999) XOR R966
R967 = (R966 AND C1430) OR (R966 AND B999 ) OR (C1430 AND B999)
C1494 = (C1431 XOR B1000) XOR R967
R968 = (R967 AND C1431) OR (R967 AND B1000 ) OR (C1431 AND B1000)
C1495 = (C1432 XOR B1001) XOR R968
R969 = (R968 AND C1432) OR (R968 AND B1001 ) OR (C1432 AND B1001)
C1496 = (C1433 XOR B1002) XOR R969
R970 = (R969 AND C1433) OR (R969 AND B1002 ) OR (C1433 AND B1002)
C1497 = (C1434 XOR B1003) XOR R970
R971 = (R970 AND C1434) OR (R970 AND B1003 ) OR (C1434 AND B1003)
C1498 = (C1435 XOR B1004) XOR R971
R972 = (R971 AND C1435) OR (R971 AND B1004 ) OR (C1435 AND B1004)
C1499 = (C1436 XOR B1005) XOR R972
R973 = (R972 AND C1436) OR (R972 AND B1005 ) OR (C1436 AND B1005)
C1500 = (C1437 XOR B1006) XOR R973
R974 = (R973 AND C1437) OR (R973 AND B1006 ) OR (C1437 AND B1006)
C1501 = (C1438 XOR B1007) XOR R974
R975 = (R974 AND C1438) OR (R974 AND B1007 ) OR (C1438 AND B1007)
C1502 = (C1439 XOR B1008) XOR R975
R976 = (R975 AND C1439) OR (R975 AND B1008 ) OR (C1439 AND B1008)
C1503 = (C1440 XOR B1009) XOR R976
R977 = (R976 AND C1440) OR (R976 AND B1009 ) OR (C1440 AND B1009)
C1504 = (C1441 XOR B1010) XOR R977
R978 = (R977 AND C1441) OR (R977 AND B1010 ) OR (C1441 AND B1010)
C1505 = (C1442 XOR B1011) XOR R978
R979 = (R978 AND C1442) OR (R978 AND B1011 ) OR (C1442 AND B1011)
C1506 = (C1443 XOR B1012) XOR R979
R980 = (R979 AND C1443) OR (R979 AND B1012 ) OR (C1443 AND B1012)
C1507 = (C1444 XOR B1013) XOR R980
R981 = (R980 AND C1444) OR (R980 AND B1013 ) OR (C1444 AND B1013)

61
C1508 = (C1445 XOR B1014) XOR R981
R982 = (R981 AND C1445) OR (R981 AND B1014 ) OR (C1445 AND B1014)
C1509 = (C1446 XOR B1015) XOR R982
R983 = (R982 AND C1446) OR (R982 AND B1015 ) OR (C1446 AND B1015)
C1510 = (C1447 XOR B1016) XOR R983
R984 = (R983 AND C1447) OR (R983 AND B1016 ) OR (C1447 AND B1016)
C1511 = (C1448 XOR B1017) XOR R984
R985 = (R984 AND C1448) OR (R984 AND B1017 ) OR (C1448 AND B1017)
C1512 = (C1449 XOR B1018) XOR R985
R986 = (R985 AND C1449) OR (R985 AND B1018 ) OR (C1449 AND B1018)
C1513 = (C1450 XOR B1019) XOR R986
R987 = (R986 AND C1450) OR (R986 AND B1019 ) OR (C1450 AND B1019)
C1514 = (C1451 XOR B1020) XOR R987
R988 = (R987 AND C1451) OR (R987 AND B1020 ) OR (C1451 AND B1020)
C1515 = (C1452 XOR B1021) XOR R988
R989 = (R988 AND C1452) OR (R988 AND B1021 ) OR (C1452 AND B1021)
C1516 = (C1453 XOR B1022) XOR R989
R990 = (R989 AND C1453) OR (R989 AND B1022 ) OR (C1453 AND B1022)
C1517 = (C1454 XOR B1023) XOR R990
R991 = (R990 AND C1454) OR (R990 AND B1023 ) OR (C1454 AND B1023)
C1518 = R991

S0 = C1455 OR (NOT C1455)

D0 = (C1455 XOR (NOT C1487)) XOR S0
S1 = (S0 AND C1455) OR (S0 AND C1487 ) OR (C1455 AND C1487)
D1 = (C1456 XOR (NOT C1488)) XOR S1
S2 = (S1 AND C1456) OR (S1 AND C1488 ) OR (C1456 AND C1488)
D2 = (C1457 XOR (NOT C1489)) XOR S2
S3 = (S2 AND C1457) OR (S2 AND C1489 ) OR (C1457 AND C1489)
D3 = (C1458 XOR (NOT C1490)) XOR S3
S4 = (S3 AND C1458) OR (S3 AND C1490 ) OR (C1458 AND C1490)
D4 = (C1459 XOR (NOT C1491)) XOR S4
S5 = (S4 AND C1459) OR (S4 AND C1491 ) OR (C1459 AND C1491)
D5 = (C1460 XOR (NOT C1492)) XOR S5
S6 = (S5 AND C1460) OR (S5 AND C1492 ) OR (C1460 AND C1492)
D6 = (C1461 XOR (NOT C1493)) XOR S6
S7 = (S6 AND C1461) OR (S6 AND C1493 ) OR (C1461 AND C1493)
D7 = (C1462 XOR (NOT C1494)) XOR S7
S8 = (S7 AND C1462) OR (S7 AND C1494 ) OR (C1462 AND C1494)
D8 = (C1463 XOR (NOT C1495)) XOR S8
S9 = (S8 AND C1463) OR (S8 AND C1495 ) OR (C1463 AND C1495)
D9 = (C1464 XOR (NOT C1496)) XOR S9
S10 = (S9 AND C1464) OR (S9 AND C1496 ) OR (C1464 AND C1496)
D10 = (C1465 XOR (NOT C1497)) XOR S10
S11 = (S10 AND C1465) OR (S10 AND C1497 ) OR (C1465 AND C1497)
D11 = (C1466 XOR (NOT C1498)) XOR S11
S12 = (S11 AND C1466) OR (S11 AND C1498 ) OR (C1466 AND C1498)
D12 = (C1467 XOR (NOT C1499)) XOR S12
S13 = (S12 AND C1467) OR (S12 AND C1499 ) OR (C1467 AND C1499)
D13 = (C1468 XOR (NOT C1500)) XOR S13
S14 = (S13 AND C1468) OR (S13 AND C1500 ) OR (C1468 AND C1500)
D14 = (C1469 XOR (NOT C1501)) XOR S14
S15 = (S14 AND C1469) OR (S14 AND C1501 ) OR (C1469 AND C1501)
D15 = (C1470 XOR (NOT C1502)) XOR S15
S16 = (S15 AND C1470) OR (S15 AND C1502 ) OR (C1470 AND C1502)
D16 = (C1471 XOR (NOT C1503)) XOR S16
S17 = (S16 AND C1471) OR (S16 AND C1503 ) OR (C1471 AND C1503)
D17 = (C1472 XOR (NOT C1504)) XOR S17
S18 = (S17 AND C1472) OR (S17 AND C1504 ) OR (C1472 AND C1504)
D18 = (C1473 XOR (NOT C1505)) XOR S18
S19 = (S18 AND C1473) OR (S18 AND C1505 ) OR (C1473 AND C1505)
D19 = (C1474 XOR (NOT C1506)) XOR S19
S20 = (S19 AND C1474) OR (S19 AND C1506 ) OR (C1474 AND C1506)
D20 = (C1475 XOR (NOT C1507)) XOR S20
S21 = (S20 AND C1475) OR (S20 AND C1507 ) OR (C1475 AND C1507)
D21 = (C1476 XOR (NOT C1508)) XOR S21
S22 = (S21 AND C1476) OR (S21 AND C1508 ) OR (C1476 AND C1508)
D22 = (C1477 XOR (NOT C1509)) XOR S22
S23 = (S22 AND C1477) OR (S22 AND C1509 ) OR (C1477 AND C1509)
D23 = (C1478 XOR (NOT C1510)) XOR S23
S24 = (S23 AND C1478) OR (S23 AND C1510 ) OR (C1478 AND C1510)

62
D24 = (C1479 XOR (NOT C1511)) XOR S24
S25 = (S24 AND C1479) OR (S24 AND C1511 ) OR (C1479 AND C1511)
D25 = (C1480 XOR (NOT C1512)) XOR S25
S26 = (S25 AND C1480) OR (S25 AND C1512 ) OR (C1480 AND C1512)
D26 = (C1481 XOR (NOT C1513)) XOR S26
S27 = (S26 AND C1481) OR (S26 AND C1513 ) OR (C1481 AND C1513)
D27 = (C1482 XOR (NOT C1514)) XOR S27
S28 = (S27 AND C1482) OR (S27 AND C1514 ) OR (C1482 AND C1514)
D28 = (C1483 XOR (NOT C1515)) XOR S28
S29 = (S28 AND C1483) OR (S28 AND C1515 ) OR (C1483 AND C1515)
D29 = (C1484 XOR (NOT C1516)) XOR S29
S30 = (S29 AND C1484) OR (S29 AND C1516 ) OR (C1484 AND C1516)
D30 = (C1485 XOR (NOT C1517)) XOR S30
S31 = (S30 AND C1485) OR (S30 AND C1517 ) OR (C1485 AND C1517)
D31 = (C1486 XOR (NOT C1518)) XOR S31
S32 = (S31 AND C1486) OR (S31 AND C1518 ) OR (C1486 AND C1518)
D32 = S32

63