D1_out[4]_lut_out = D1L7;
D1_out[4] = DFFEAS(D1_out[4]_lut_out, clk, rst, , , , , , );


--C1_out[4] is counter24:counter24_1|out[4]
--operation mode is normal

C1_out[4]_lut_out = C1L7;
C1_out[4] = DFFEAS(C1_out[4]_lut_out, D2_carry, rst, , , , , , );


--B1L11 is chooser:chooser1|Select~746
--operation mode is normal

B1L11 = B1_i[2] & (D1_out[4] # B1L01) # !B1_i[2] & (C1_out[4] & !B1L01);


--D1_carry is counter60:counter60_1|carry
--operation mode is normal

D1_carry_lut_out = !D1_carry;
D1_carry = DFFEAS(D1_carry_lut_out, clk, rst, , D1L81, , , , );


--D2L1 is counter60:counter60_2|add~156
--operation mode is normal

D2L1_carry_eqn = D2L4;
D2L1 = D2_out[7] $ (D2L1_carry_eqn);


--D1L1 is counter60:counter60_1|add~156
--operation mode is normal

D1L1_carry_eqn = D1L3;
D1L1 = D1_out[7] $ (D1L1_carry_eqn);


--C1L91 is counter24:counter24_1|reduce_nor~57
--operation mode is normal

C1L91 = C1_out[2] # C1_out[1] # !C1_out[0] # !C1_out[3];


--C1L02 is counter24:counter24_1|reduce_nor~58
--operation mode is normal

C1L02 = C1_out[3] # C1_out[7];


--C1L12 is counter24:counter24_1|reduce_nor~59
--operation mode is normal

C1L12 = C1_out[6] # C1_out[4] # !C1_out[5] # !C1_out[1];


--C1L22 is counter24:counter24_1|reduce_nor~60
--operation mode is normal

C1L22 = C1_out[0] & (!C1_out[2]);


--C1L81 is counter24:counter24_1|out~281
--operation mode is normal

C1L81 = C1L91 & (C1L02 # C1L12 # !C1L22);


--C1L1 is counter24:counter24_1|add~173
--operation mode is normal

C1L1 = C1_out[1] & C1_out[0];


--D2_carry is counter60:counter60_2|carry
--operation mode is normal

D2_carry_lut_out = !D2_carry;
D2_carry = DFFEAS(D2_carry_lut_out, D1_carry, rst, , D2L91, , , , );


--C1L2 is counter24:counter24_1|add~174
--operation mode is normal

C1L2_carry_eqn = C1L4;
C1L2 = C1_out[7] $ (C1L2_carry_eqn);


--D1L2 is counter60:counter60_1|add~161
--operation mode is arithmetic

D1L2_carry_eqn = D1L6;
D1L2 = D1_out[6] $ (!D1L2_carry_eqn);

--D1L3 is counter60:counter60_1|add~163
--operation mode is arithmetic

D1L3 = CARRY(D1_out[6] & (!D1L6));


--D1L91 is counter60:counter60_1|reduce_nor~44
--operation mode is normal

D1L91 = D1_out[7] # !D1_out[6];


--D1L02 is counter60:counter60_1|reduce_nor~45
--operation mode is normal

D1L02 = B1_i[0] & D1_out[3] & !D1_out[2] & !D1_out[1];


--D1L81 is counter60:counter60_1|reduce_nor~0
--operation mode is normal

D1L81 = !D1_out[5] & !D1L91 & D1_out[4] & D1L02;


--C1L3 is counter24:counter24_1|add~179
--operation mode is arithmetic

C1L3_carry_eqn = C1L6;
C1L3 = C1_out[6] $ (!C1L3_carry_eqn);

--C1L4 is counter24:counter24_1|add~181
--operation mode is arithmetic

C1L4 = CARRY(C1_out[6] & (!C1L6));


--D1L4 is counter60:counter60_1|add~166
--operation mode is normal

D1L4 = B1_i[0] & D1_out[1];


--D2L2 is counter60:counter60_2|add~161
--operation mode is normal

D2L2 = D2_out[1] & D2_out[0];


--D2L3 is counter60:counter60_2|add~162
--operation mode is arithmetic

D2L3_carry_eqn = D2L6;
D2L3 = D2_out[6] $ (!D2L3_carry_eqn);

--D2L4 is counter60:counter60_2|add~164
--operation mode is arithmetic

D2L4 = CARRY(D2_out[6] & (!D2L6));


--D2L02 is counter60:counter60_2|reduce_nor~44
--operation mode is normal

D2L02 = D2_out[7] # !D2_out[6];


--D2L12 is counter60:counter60_2|reduce_nor~45
--operation mode is normal

D2L12 = D2_out[3] & D2_out[0] & !D2_out[2] & !D2_out[1];


--D2L91 is counter60:counter60_2|reduce_nor~0
--operation mode is normal

D2L91 = !D2_out[5] & !D2L02 & D2_out[4] & D2L12;


--D1L5 is counter60:counter60_1|add~167
--operation mode is arithmetic

D1L5_carry_eqn = D1L8;
D1L5 = D1_out[5] $ (D1L5_carry_eqn);

--D1L6 is counter60:counter60_1|add~169
--operation mode is arithmetic

D1L6 = CARRY(!D1L8 # !D1_out[5]);


--C1L5 is counter24:counter24_1|add~184
--operation mode is arithmetic

C1L5_carry_eqn = C1L8;
C1L5 = C1_out[5] $ (C1L5_carry_eqn);

--C1L6 is counter24:counter24_1|add~186
--operation mode is arithmetic

C1L6 = CARRY(!C1L8 # !C1_out[5]);


--D2L5 is counter60:counter60_2|add~167
--operation mode is arithmetic

D2L5_carry_eqn = D2L8;
D2L5 = D2_out[5] $ (D2L5_carry_eqn);

--D2L6 is counter60:counter60_2|add~169
--operation mode is arithmetic

D2L6 = CARRY(!D2L8 # !D2_out[5]);


--D2L7 is counter60:counter60_2|add~172
--operation mode is arithmetic

D2L7 = D2_out[4] $ D2L12;

--D2L8 is counter60:counter60_2|add~174
--operation mode is arithmetic

D2L8 = CARRY(D2_out[4] & D2L12);


--D1L7 is counter60:counter60_1|add~172
--operation mode is arithmetic

D1L7 = D1_out[4] $ D1L02;

--D1L8 is counter60:counter60_1|add~174
--operation mode is arithmetic

D1L8 = CARRY(D1_out[4] & D1L02);


--C1L7 is counter24:counter24_1|add~189
--operation mode is arithmetic

C1L7 = C1_out[4] $ !C1L91;

--C1L8 is counter24:counter24_1|add~191
--operation mode is arithmetic

C1L8 = CARRY(C1_out[4] & !C1L91);


--clk is clk
--operation mode is input

clk = INPUT();


--rst is rst
--operation mode is input

rst = INPUT();


--out[0] is out[0]
--operation mode is output

out[0] = OUTPUT(GND);


--out[1] is out[1]
--operation mode is output

out[1] = OUTPUT(!E1L3);


--out[2] is out[2]
--operation mode is output

out[2] = OUTPUT(!E1L5);


--out[3] is out[3]
--operation mode is output

out[3] = OUTPUT(!E1L6);


--out[4] is out[4]
--operation mode is output

out[4] = OUTPUT(!E1L4);


--out[5] is out[5]
--operation mode is output

out[5] = OUTPUT(!E1L1);


--out[6] is out[6]
--operation mode is output

out[6] = OUTPUT(!E1L2);


--out[7] is out[7]
--operation mode is output

out[7] = OUTPUT(!E1L4);


--sel[0] is sel[0]
--operation mode is output

sel[0] = OUTPUT(B1_sel[0]);


--sel[1] is sel[1]
--operation mode is output

sel[1] = OUTPUT(B1_sel[1]);


--sel[2] is sel[2]
--operation mode is output

sel[2] = OUTPUT(B1_sel[2]);


--B1L41 is chooser:chooser1|i[0]~102
--operation mode is normal

B1L41 = !B1_i[0];