.inputs addr<0> addr<1> addr<2> addr<3> addr<4> .latches ad<0> ad<1> ad<2> ad<3> ad<4> character<0> character<1> character<2> character<3> character<4> character<5> character<6> character<7> count<0> count<1> count<2> decoder.state<0> decoder.state<1> decoder.state<2> decoder.state<3> decoder.state<4> decoder.state<5> decoder.state<6> decoder.state<7> decoder.state<8> decoder.state<9> encoder.shiftreg<0> encoder.shiftreg<1> encoder.shiftreg<2> encoder.shiftreg<3> encoder.shiftreg<4> encoder.shiftreg<5> encoder.shiftreg<6> encoder.shiftreg<7> encoder.shiftreg<8> encoder.shiftreg<9> .outputs plain<0> plain<1> plain<2> plain<3> plain<4> plain<5> plain<6> plain<7> reset .initial 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 .start_vectors # addr<0> addr<1> addr<2> addr<3> addr<4> ; ad<0> ad<1> ad<2> ad<3> ad<4> character<0> character<1> character<2> character<3> character<4> character<5> character<6> character<7> count<0> count<1> count<2> decoder.state<0> decoder.state<1> decoder.state<2> decoder.state<3> decoder.state<4> decoder.state<5> decoder.state<6> decoder.state<7> decoder.state<8> decoder.state<9> encoder.shiftreg<0> encoder.shiftreg<1> encoder.shiftreg<2> encoder.shiftreg<3> encoder.shiftreg<4> encoder.shiftreg<5> encoder.shiftreg<6> encoder.shiftreg<7> encoder.shiftreg<8> encoder.shiftreg<9> ; plain<0> plain<1> plain<2> plain<3> plain<4> plain<5> plain<6> plain<7> reset 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ; 0 0 0 0 0 ;