--C1L6Q is washer_statement:ib|process2~1
C1L6Q_or_out = !C1L01;
C1L6Q_reg_input = C1L6Q_or_out;
C1L6Q = DFFE(C1L6Q_reg_input, s_and_p, , , );


--D1_count1[0] is div:ic|count1[0]
D1_count1[0]_reg_input = VCC;
D1_count1[0] = TFFE(D1_count1[0]_reg_input, GLOBAL(clk), , , );


--B1_model1[2] is modelctrl:ia|model1[2]
B1_model1[2]_p1_out = !B1_model1[0] & !B1_model1[1] & B1_model1[2];
B1_model1[2]_p2_out = B1_model1[0] & B1_model1[1];
B1_model1[2]_or_out = B1_model1[2]_p1_out # B1_model1[2]_p2_out;
B1_model1[2]_reg_input = B1_model1[2]_or_out;
B1_model1[2] = TFFE(B1_model1[2]_reg_input, model, , , );


--B1_model1[0] is modelctrl:ia|model1[0]
B1_model1[0]_p1_out = !B1_model1[1] & B1_model1[2] & !B1_model1[0];
B1_model1[0]_or_out = B1_model1[0]_p1_out;
B1_model1[0]_reg_input = !B1_model1[0]_or_out;
B1_model1[0] = TFFE(B1_model1[0]_reg_input, model, , , );


--D1_count1[1] is div:ic|count1[1]
D1_count1[1]_p1_out = D1_count1[4] & !D1_count1[3] & !D1_count1[2] & D1_count1[5] & !D1_count1[1];
D1_count1[1]_or_out = D1_count1[1]_p1_out # !D1_count1[0];
D1_count1[1]_reg_input = !D1_count1[1]_or_out;
D1_count1[1] = TFFE(D1_count1[1]_reg_input, GLOBAL(clk), , , );


--B1_model1[1] is modelctrl:ia|model1[1]
B1_model1[1]_or_out = B1_model1[0];
B1_model1[1]_reg_input = B1_model1[1]_or_out;
B1_model1[1] = TFFE(B1_model1[1]_reg_input, model, , , );


--B1L6 is modelctrl:ia|reduce_nor~85
B1L6_p1_out = !B1_model1[1] & !B1_model1[0];
B1L6_or_out = B1L6_p1_out;
B1L6 = B1L6_or_out;


--B1L7 is modelctrl:ia|stanum~69
B1L7_p1_out = !B1_model1[2] & !B1_model1[1] & B1_model1[0];
B1L7_p2_out = !B1_model1[2] & B1_model1[1] & B1_model1[0];
B1L7_p3_out = B1_model1[2] & !B1_model1[1] & !B1_model1[0];
B1L7_or_out = B1L7_p2_out # B1L7_p3_out;
B1L7 = B1L7_p1_out $ B1L7_or_out;


--D1_count1[2] is div:ic|count1[2]
D1_count1[2]_p1_out = D1_count1[1] & D1_count1[0];
D1_count1[2]_or_out = D1_count1[2];
D1_count1[2]_reg_input = D1_count1[2]_p1_out $ D1_count1[2]_or_out;
D1_count1[2] = DFFE(D1_count1[2]_reg_input, GLOBAL(clk), , , );


--B1L1 is modelctrl:ia|ctrl[0]~62
B1L1_p1_out = !B1_model1[1] & B1_model1[0];
B1L1_p2_out = B1_model1[1] & B1_model1[2];
B1L1_p3_out = !B1_model1[1] & !B1_model1[2];
B1L1_or_out = B1L1_p1_out # B1L1_p2_out # B1L1_p3_out;
B1L1 = !(B1L1_or_out);


--C1L1Q is washer_statement:ib|present_state~7
C1L1Q_p0_out = B1_model1[1] & !B1_model1[2] & C1L3Q;
C1L1Q_p1_out = !C1L2Q & !C1L1Q & B1_model1[1] & B1_model1[2];
C1L1Q_p2_out = !C1L2Q & !C1L1Q & B1_model1[2] & B1_model1[0];
C1L1Q_p4_out = !B1_model1[1] & B1_model1[2] & !B1_model1[0] & C1L3Q;
C1L1Q_or_out = C1L4 # C1L1Q_p0_out # C1L1Q_p1_out # C1L1Q_p2_out # C1L1Q_p4_out;
C1L1Q_reg_input = !(C1L1Q_or_out);
C1L1Q = DFFE(C1L1Q_reg_input, E1_nextsta_c, , , );


--C1L3Q is washer_statement:ib|present_state~9
C1L3Q_p1_out = !B1_model1[1] & !C1L3Q & !B1_model1[0] & B1_model1[2] & !C1L2Q & C1L1Q;
C1L3Q_p2_out = !C1L3Q & B1_model1[0] & !B1_model1[2] & !C1L2Q;
C1L3Q_p4_out = B1_model1[0] & !B1_model1[2] & !C1L2Q & !C1L1Q;
C1L3Q_or_out = C1L3Q_p1_out # C1L3Q_p2_out # C1L3Q_p4_out;
C1L3Q_reg_input = C1L3Q_or_out;
C1L3Q = DFFE(C1L3Q_reg_input, E1_nextsta_c, , , );


--D1_count1[3] is div:ic|count1[3]
D1_count1[3]_p1_out = D1_count1[2] & D1_count1[1] & D1_count1[0];
D1_count1[3]_or_out = D1_count1[3];
D1_count1[3]_reg_input = D1_count1[3]_p1_out $ D1_count1[3]_or_out;
D1_count1[3] = DFFE(D1_count1[3]_reg_input, GLOBAL(clk), , , );


--C1L2Q is washer_statement:ib|present_state~8
C1L2Q_p0_out = C1L2Q & !C1L3Q & C1L1Q;
C1L2Q_p1_out = !C1L2Q & B1_model1[2] & !C1L3Q & !B1_model1[0] & !B1_model1[1];
C1L2Q_p2_out = !C1L2Q & B1_model1[2] & !C1L3Q & !C1L1Q;
C1L2Q_p4_out = !C1L2Q & !C1L3Q & !B1_model1[1] & !C1L1Q;
C1L2Q_or_out = C1L5 # C1L2Q_p0_out # C1L2Q_p1_out # C1L2Q_p2_out # C1L2Q_p4_out;
C1L2Q_reg_input = !(C1L2Q_or_out);
C1L2Q = DFFE(C1L2Q_reg_input, E1_nextsta_c, , , );


--C1L9 is washer_statement:ib|Select~115
C1L9_p1_out = !C1L2Q & C1L1Q;
C1L9_p2_out = C1L2Q & !C1L1Q;
C1L9_or_out = C1L9_p1_out # C1L9_p2_out # C1L3Q;
C1L9 = C1L9_or_out;


--D1_count1[4] is div:ic|count1[4]
D1_count1[4]_p1_out = D1_count1[5] & !D1_count1[2] & !D1_count1[1] & !D1_count1[3] & D1_count1[0] & D1_count1[4];
D1_count1[4]_p2_out = D1_count1[2] & D1_count1[1] & D1_count1[3] & D1_count1[0];
D1_count1[4]_or_out = D1_count1[4]_p1_out # D1_count1[4]_p2_out;
D1_count1[4]_reg_input = D1_count1[4]_or_out;
D1_count1[4] = TFFE(D1_count1[4]_reg_input, GLOBAL(clk), , , );


--C1L7 is washer_statement:ib|process2~5
C1L7_p1_out = !power & !C1L2Q & !C1L1Q;
C1L7_p2_out = !s_and_p & !C1L2Q & !C1L1Q;
C1L7_p3_out = C1L6Q & C1L9;
C1L7_or_out = C1L7_p1_out # C1L7_p2_out # C1L7_p3_out;
C1L7 = C1L7_or_out;


--C1L01 is washer_statement:ib|s~19
C1L01_p1_out = C1L7 & C1L8;
C1L01_p2_out = C1L01 & C1L2Q & !C1L3Q & C1L1Q;
C1L01_p3_out = C1L7 & C1L01;
C1L01_or_out = C1L01_p1_out # C1L01_p2_out # C1L01_p3_out;
C1L01 = C1L01_or_out;


--D1_count1[5] is div:ic|count1[5]
D1_count1[5]_p1_out = D1_count1[4] & !D1_count1[2] & !D1_count1[1] & !D1_count1[3] & D1_count1[0] & D1_count1[5];
D1_count1[5]_p2_out = D1_count1[4] & D1_count1[2] & D1_count1[1] & D1_count1[3] & D1_count1[0];
D1_count1[5]_or_out = D1_count1[5]_p1_out # D1_count1[5]_p2_out;
D1_count1[5]_reg_input = D1_count1[5]_or_out;
D1_count1[5] = TFFE(D1_count1[5]_reg_input, GLOBAL(clk), , , );


--D1_y1 is div:ic|y1
D1_y1_p1_out = D1_count1[4] & !D1_count1[3] & !D1_count1[2] & !D1_count1[1] & D1_count1[0] & D1_count1[5];
D1_y1_or_out = D1_y1_p1_out;
D1_y1_reg_input = D1_y1_or_out;
D1_y1 = TFFE(D1_y1_reg_input, GLOBAL(clk), , , );


--D1_count2[0] is div:ic|count2[0]
D1_count2[0]_reg_input = VCC;
D1_count2[0] = TFFE(D1_count2[0]_reg_input, D1_y1, , , );


--F1_s[1] is seg7:ie|s[1]
F1_s[1]_or_out = F1_s[0];
F1_s[1]_reg_input = F1_s[1]_or_out;
F1_s[1] = TFFE(F1_s[1]_reg_input, D1_y1, , , );


--F1_s[0] is seg7:ie|s[0]
F1_s[0]_p1_out = F1_s[0] & !F1_s[1];
F1_s[0]_or_out = F1_s[0]_p1_out;
F1_s[0]_reg_input = !(F1_s[0]_or_out);
F1_s[0] = DFFE(F1_s[0]_reg_input, D1_y1, , , );


--D1_count2[1] is div:ic|count2[1]
D1_count2[1]_p1_out = D1_count2[3] & !D1_count2[2] & !D1_count2[1];
D1_count2[1]_or_out = D1_count2[1]_p1_out # !D1_count2[0];
D1_count2[1]_reg_input = !D1_count2[1]_or_out;
D1_count2[1] = TFFE(D1_count2[1]_reg_input, D1_y1, , , );


--F1L03 is seg7:ie|process1~64
F1L03_p1_out = power & F1_s[0] & !F1_s[1];
F1L03_or_out = F1L03_p1_out;
F1L03 = !(F1L03_or_out);


--F1L13 is seg7:ie|process1~69
F1L13_p1_out = !F1_s[0] & F1_s[1];
F1L13_p2_out = F1_s[0] & !F1_s[1];
F1L13_or_out = F1L13_p1_out # F1L13_p2_out # !power;
F1L13 = F1L13_or_out;


--F1L23 is seg7:ie|process1~71
F1L23_p1_out = !F1_s[0] & F1_s[1] & power;
F1L23_or_out = F1L23_p1_out;
F1L23 = !(F1L23_or_out);


--D1_count2[2] is div:ic|count2[2]
D1_count2[2]_p1_out = D1_count2[1] & D1_count2[0];
D1_count2[2]_or_out = D1_count2[2]_p1_out;
D1_count2[2]_reg_input = D1_count2[2]_or_out;
D1_count2[2] = TFFE(D1_count2[2]_reg_input, D1_y1, , , );


--D1_count2[3] is div:ic|count2[3]
D1_count2[3]_p1_out = !D1_count2[2] & !D1_count2[1] & D1_count2[3] & D1_count2[0];
D1_count2[3]_p2_out = D1_count2[2] & D1_count2[1] & D1_count2[0];
D1_count2[3]_or_out = D1_count2[3]_p1_out # D1_count2[3]_p2_out;
D1_count2[3]_reg_input = D1_count2[3]_or_out;
D1_count2[3] = TFFE(D1_count2[3]_reg_input, D1_y1, , , );


--D1_y2 is div:ic|y2
D1_y2_p1_out = D1_count2[3] & !D1_count2[2] & !D1_count2[1] & D1_count2[0];
D1_y2_or_out = D1_y2_p1_out;
D1_y2_reg_input = D1_y2_or_out;
D1_y2 = TFFE(D1_y2_reg_input, D1_y1, , , );


--E1_count_1[0] is counter:id|count_1[0]
E1_count_1[0]_p0_out = C1L01 & !E1_count_1[0];
E1_count_1[0]_p1_out = !C1L2Q & !C1L01 & E1_set0;
E1_count_1[0]_p2_out = !E1_set0 & !E1_count_1[3] & !E1_count_1[2] & !E1_count_1[5] & !E1_count_1[1] & !E1_count_1[4] & !E1_count_1[0];
E1_count_1[0]_p4_out = !C1L01 & !E1_set0 & E1_count_1[0];
E1_count_1[0]_or_out = E1_count_1[0]_p0_out # E1_count_1[0]_p1_out # E1_count_1[0]_p2_out # E1_count_1[0]_p4_out;
E1_count_1[0]_reg_input = !(E1_count_1[0]_or_out);
E1_count_1[0] = DFFE(E1_count_1[0]_reg_input, D1_y2, , , );


--E1_count_1[1] is counter:id|count_1[1]
E1_count_1[1]_p1_out = !C1L01 & E1L01 & E1L11 & E1L21 & E1L31 & E1L41;
E1_count_1[1]_p2_out = C1L01 & E1_count_1[1];
E1_count_1[1]_or_out = E1_count_1[1]_p1_out # E1_count_1[1]_p2_out;
E1_count_1[1]_reg_input = E1_count_1[1]_or_out;
E1_count_1[1] = DFFE(E1_count_1[1]_reg_input, D1_y2, , , );


--E1_count_1[2] is counter:id|count_1[2]
E1_count_1[2]_p1_out = !C1L01 & E1L51 & E1L61 & E1L71 & E1L81 & E1L91;
E1_count_1[2]_p2_out = C1L01 & E1_count_1[2];
E1_count_1[2]_or_out = E1_count_1[2]_p1_out # E1_count_1[2]_p2_out;
E1_count_1[2]_reg_input = E1_count_1[2]_or_out;
E1_count_1[2] = DFFE(E1_count_1[2]_reg_input, D1_y2, , , );


--E1_count_1[3] is counter:id|count_1[3]
E1_count_1[3]_p0_out = C1L1Q & E1_set0 & !C1L01 & E1_count_1[3] & !C1L3Q;
E1_count_1[3]_p1_out = C1L2Q & !C1L1Q & E1_set0 & !C1L01 & !E1_count_1[3];
E1_count_1[3]_p2_out = !E1_set0 & !C1L01 & E1_count_1[3] & !E1_count_1[2] & !E1_count_1[1] & !E1_count_1[0];
E1_count_1[3]_p4_out = !C1L2Q & E1_set0 & !C1L01 & E1_count_1[3] & !C1L3Q;
E1_count_1[3]_or_out = E1L6 # E1_count_1[3]_p0_out # E1_count_1[3]_p1_out # E1_count_1[3]_p2_out # E1_count_1[3]_p4_out;
E1_count_1[3]_reg_input = E1_count_1[3]_or_out;
E1_count_1[3] = TFFE(E1_count_1[3]_reg_input, D1_y2, , , );


--E1_count_1[4] is counter:id|count_1[4]
E1_count_1[4]_p0_out = !E1_set0 & !C1L01 & E1_count_1[4] & !E1_count_1[3] & !E1_count_1[2] & !E1_count_1[1] & !E1_count_1[0];
E1_count_1[4]_p1_out = !C1L2Q & C1L1Q & E1_set0 & !C1L01 & !E1_count_1[4];
E1_count_1[4]_p2_out = C1L2Q & E1_set0 & !C1L01 & E1_count_1[4] & !C1L3Q;
E1_count_1[4]_p4_out = !C1L1Q & E1_set0 & !C1L01 & E1_count_1[4] & !C1L3Q;
E1_count_1[4]_or_out = E1L8 # E1_count_1[4]_p0_out # E1_count_1[4]_p1_out # E1_count_1[4]_p2_out # E1_count_1[4]_p4_out;
E1_count_1[4]_reg_input = E1_count_1[4]_or_out;
E1_count_1[4] = TFFE(E1_count_1[4]_reg_input, D1_y2, , , );


--E1_count_1[5] is counter:id|count_1[5]
E1_count_1[5]_p1_out = !E1_count_1[4] & !E1_count_1[3] & !E1_count_1[2] & !E1_count_1[1] & !E1_count_1[0] & !C1L01 & E1_count_1[5];
E1_count_1[5]_p2_out = !C1L01 & E1_count_1[5] & E1_set0;
E1_count_1[5]_or_out = E1_count_1[5]_p1_out # E1_count_1[5]_p2_out;
E1_count_1[5]_reg_input = E1_count_1[5]_or_out;
E1_count_1[5] = TFFE(E1_count_1[5]_reg_input, D1_y2, , , );


--E1_set0 is counter:id|set0
E1_set0_p1_out = !E1_set0 & !E1_count_1[3] & !E1_count_1[2] & !E1_count_1[5] & !E1_count_1[1] & !E1_count_1[4] & !E1_count_1[0] & !C1L01;
E1_set0_p2_out = E1_set0 & C1L01;
E1_set0_or_out = E1_set0_p1_out # E1_set0_p2_out;
E1_set0_reg_input = E1_set0_or_out;
E1_set0 = DFFE(E1_set0_reg_input, D1_y2, , , );


--E1_nextsta_c is counter:id|nextsta_c
E1_nextsta_c_p1_out = !E1_set0 & !E1_count_1[3] & !E1_count_1[2] & !E1_count_1[5] & !E1_count_1[1] & !E1_count_1[4] & !E1_count_1[0] & !C1L01 & !E1_nextsta_c;
E1_nextsta_c_p2_out = E1_set0 & !C1L01 & E1_nextsta_c;
E1_nextsta_c_or_out = E1_nextsta_c_p1_out # E1_nextsta_c_p2_out;
E1_nextsta_c_reg_input = E1_nextsta_c_or_out;
E1_nextsta_c = TFFE(E1_nextsta_c_reg_input, D1_y2, , , );


--F1L8 is seg7:ie|num~8490
F1L8_p1_out = !E1_count_1[3] & !E1_count_1[2] & E1_count_1[4] & !E1_count_1[0] & !E1_count_1[5] & !E1_count_1[1];
F1L8_p2_out = E1_count_1[3] & !E1_count_1[2] & E1_count_1[4] & !E1_count_1[0] & !E1_count_1[5] & E1_count_1[1];
F1L8_p3_out = E1_count_1[3] & !E1_count_1[2] & E1_count_1[4] & !E1_count_1[0] & E1_count_1[5] & !E1_count_1[1];
F1L8_p4_out = E1_count_1[3] & !E1_count_1[2] & E1_count_1[4] & E1_count_1[0] & !E1_count_1[5] & !E1_count_1[1];
F1L8_or_out = F1L51 # F1_s[1] # F1L8_p1_out # F1L8_p2_out # F1L8_p3_out # F1L8_p4_out;
F1L8 = F1L8_or_out;


--F1L9 is seg7:ie|num~8497
F1L9_p0_out = F1_s[0] & !F1_s[1];
F1L9_p1_out = B1_model1[2] & !B1_model1[1] & !B1_model1[0] & F1_s[0];
F1L9_p2_out = !F1_s[0] & F1_s[1] & E1_count_1[5] & E1_count_1[4] & E1_count_1[1] & !E1_count_1[3];