F1L74 = F1L64 # F1L74_p0_out # F1L74_p1_out # F1L74_p2_out # F1L74_p3_out # F1L74_p4_out;


--F1L02 is seg7:ie|num~8582
F1L02_p1_out = F1_s[0] & !F1_s[1] & !E1_count_1[4] & !E1_count_1[0] & E1_count_1[2];
F1L02_p2_out = F1_s[0] & !F1_s[1] & !E1_count_1[2] & !E1_count_1[3] & E1_count_1[1] & !E1_count_1[5];
F1L02_p3_out = F1_s[0] & !F1_s[1] & !E1_count_1[2] & !E1_count_1[3] & !E1_count_1[1] & E1_count_1[5];
F1L02 = F1L02_p1_out # F1L02_p2_out # F1L02_p3_out;


--F1L12 is seg7:ie|num~8586
F1L12_p0_out = F1_s[0] & !F1_s[1] & E1_count_1[4] & !E1_count_1[1] & !E1_count_1[2] & !E1_count_1[0];
F1L12_p1_out = !E1_count_1[3] & F1_s[0] & !F1_s[1] & !E1_count_1[4] & E1_count_1[1] & E1_count_1[5];
F1L12_p2_out = E1_count_1[3] & F1_s[0] & !F1_s[1] & !E1_count_1[4] & !E1_count_1[1] & E1_count_1[2];
F1L12_p3_out = E1_count_1[3] & F1_s[0] & !F1_s[1] & !E1_count_1[4] & !E1_count_1[5] & E1_count_1[2];
F1L12_p4_out = E1_count_1[3] & F1_s[0] & !F1_s[1] & E1_count_1[4] & !E1_count_1[2] & !E1_count_1[0];
F1L12 = F1L02 # F1L12_p0_out # F1L12_p1_out # F1L12_p2_out # F1L12_p3_out # F1L12_p4_out;


--F1L22 is seg7:ie|num~8592
F1L22_p1_out = !B1_model1[2] & !F1_s[1] & !F1_s[0] & B1_model1[0];
F1L22_p2_out = !F1_s[1] & !F1_s[0] & !B1_model1[0] & !B1_model1[1];
F1L22_p3_out = F1_s[1] & !F1_s[0] & E1_count_1[5] & !E1_count_1[4];
F1L22 = F1L22_p1_out # F1L22_p2_out # F1L22_p3_out;


--F1L84 is seg7:ie|process1~241
F1L84_p1_out = !E1_count_1[5] & E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & E1_count_1[3] & !E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L84_p2_out = !E1_count_1[5] & E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & E1_count_1[3] & !E1_count_1[4] & !B1_model1[1] & !B1_model1[0] & !B1_model1[2];
F1L84_p3_out = E1_count_1[5] & E1_count_1[1] & E1_count_1[0] & E1_count_1[2] & E1_count_1[3] & !E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L84_p4_out = E1_count_1[5] & E1_count_1[1] & E1_count_1[0] & E1_count_1[2] & E1_count_1[3] & !E1_count_1[4] & !B1_model1[1] & !B1_model1[0] & !B1_model1[2];
F1L84 = F1L84_p1_out # F1L84_p2_out # F1L84_p3_out # F1L84_p4_out;


--F1L94 is seg7:ie|process1~246
F1L94_p0_out = E1_count_1[5] & E1_count_1[1] & !E1_count_1[0] & !E1_count_1[2] & !E1_count_1[3] & F1_s[0] & !F1_s[1] & !E1_count_1[4];
F1L94_p1_out = E1_count_1[5] & !E1_count_1[1] & E1_count_1[0] & !E1_count_1[2] & E1_count_1[3] & F1_s[0] & !F1_s[1];
F1L94_p2_out = E1_count_1[5] & !E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & E1_count_1[3] & F1_s[0] & !F1_s[1] & !E1_count_1[4];
F1L94_p3_out = !F1_s[0] & !F1_s[1] & !B1_model1[1] & !B1_model1[0] & !B1_model1[2];
F1L94_p4_out = !E1_count_1[5] & !E1_count_1[1] & !E1_count_1[0] & !E1_count_1[2] & E1_count_1[3] & F1_s[0] & !F1_s[1] & E1_count_1[4];
F1L94 = F1L84 # F1L94_p0_out # F1L94_p1_out # F1L94_p2_out # F1L94_p3_out # F1L94_p4_out;


--F1L05 is seg7:ie|process1~252
F1L05_p0_out = E1_count_1[5] & E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & !E1_count_1[3] & E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L05_p1_out = E1_count_1[5] & E1_count_1[1] & E1_count_1[0] & !E1_count_1[2] & !E1_count_1[3] & E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L05_p2_out = !E1_count_1[5] & !E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & !E1_count_1[3] & !E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L05_p3_out = !E1_count_1[5] & E1_count_1[1] & E1_count_1[0] & E1_count_1[2] & !E1_count_1[3] & !E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L05_p4_out = E1_count_1[5] & !E1_count_1[1] & E1_count_1[0] & E1_count_1[2] & !E1_count_1[3] & !E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L05 = F1L94 # F1L05_p0_out # F1L05_p1_out # F1L05_p2_out # F1L05_p3_out # F1L05_p4_out;


--~VCC~0 is ~VCC~0
~VCC~0_or_out = GND;
~VCC~0 = !(~VCC~0_or_out);


--~VCC~1 is ~VCC~1
~VCC~1_or_out = GND;
~VCC~1 = !(~VCC~1_or_out);


--~VCC~2 is ~VCC~2
~VCC~2_or_out = GND;
~VCC~2 = !(~VCC~2_or_out);


--C1L8 is washer_statement:ib|Select~110sexp
C1L8 = EXP(C1L2Q & !C1L3Q & C1L1Q);


--F1L82 is seg7:ie|process1~62sexp
F1L82 = EXP(F1L8 & F1L9);


--F1L92 is seg7:ie|process1~63sexp
F1L92 = EXP(F1L01 & F1L11);


--F1L32 is seg7:ie|process1~57sexp
F1L32 = EXP(!F1L21 & !F1L31);


--E1L01 is counter:id|count_1~769sexp1
E1L01 = EXP(!C1L2Q & !C1L3Q & E1_set0);


--E1L11 is counter:id|count_1~769sexp2
E1L11 = EXP(!C1L3Q & E1_set0 & C1L1Q);


--E1L21 is counter:id|count_1~769sexp3
E1L21 = EXP(!E1_count_1[3] & !E1_count_1[2] & !E1_count_1[5] & !E1_count_1[4] & !E1_count_1[0] & !E1_set0);


--E1L31 is counter:id|count_1~769sexp4
E1L31 = EXP(E1_count_1[0] & !E1_count_1[1] & !E1_set0);


--E1L41 is counter:id|count_1~769sexp5
E1L41 = EXP(!E1_count_1[0] & E1_count_1[1] & !E1_set0);


--E1L51 is counter:id|count_1~779sexp1
E1L51 = EXP(!C1L2Q & !C1L1Q & E1_set0);


--E1L61 is counter:id|count_1~779sexp2
E1L61 = EXP(!E1_count_1[3] & !E1_count_1[5] & !E1_count_1[4] & !E1_count_1[1] & !E1_count_1[0] & !E1_set0);


--E1L71 is counter:id|count_1~779sexp3
E1L71 = EXP(E1_count_1[1] & !E1_count_1[2] & !E1_set0);


--E1L81 is counter:id|count_1~779sexp4
E1L81 = EXP(E1_count_1[0] & !E1_count_1[2] & !E1_set0);


--E1L91 is counter:id|count_1~779sexp5
E1L91 = EXP(!E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & !E1_set0);


--clk is clk
--operation mode is input

clk = INPUT();


--model is model
--operation mode is input

model = INPUT();


--s_and_p is s_and_p
--operation mode is input

s_and_p = INPUT();


--power is power
--operation mode is input

power = INPUT();


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

seg[5] = OUTPUT(~VCC~0);


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

seg[4] = OUTPUT(~VCC~1);


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

seg[3] = OUTPUT(~VCC~2);


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

ctrlout[2] = OUTPUT(B1L6);


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

ctrlout[1] = OUTPUT(B1L7);


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

ctrlout[0] = OUTPUT(B1L1);


--clk1000out is clk1000out
--operation mode is output

clk1000out = OUTPUT(D1_y1);


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

seg[0] = OUTPUT(F1L03);


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

seg[2] = OUTPUT(F1L13);


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

seg[1] = OUTPUT(F1L23);


--clk50out is clk50out
--operation mode is output

clk50out = OUTPUT(D1_y2);


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

show_count[0] = OUTPUT(E1_count_1[0]);


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

show_count[1] = OUTPUT(E1_count_1[1]);


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

show_count[2] = OUTPUT(E1_count_1[2]);


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

show_count[3] = OUTPUT(E1_count_1[3]);


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

show_count[4] = OUTPUT(E1_count_1[4]);


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

show_count[5] = OUTPUT(E1_count_1[5]);


--nextstaout is nextstaout
--operation mode is output

nextstaout = OUTPUT(E1_nextsta_c);


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

number[4] = OUTPUT(F1L5);


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

number[2] = OUTPUT(F1L3);


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

number[1] = OUTPUT(F1L2);


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

number[0] = OUTPUT(F1L1);


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

number[5] = OUTPUT(F1L6);


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

number[3] = OUTPUT(F1L4);


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

number[6] = OUTPUT(F1L7);