.inputs  addr<0> addr<1> addr<2> addr<3> addr<4>
.latches character<0> character<1> character<2> character<3> character<4> character<5> character<6> character<7> 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> start
.outputs plain<0> plain<1> plain<2> plain<3> plain<4> plain<5> plain<6> plain<7>
.initial 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

.start_vectors

# addr<0> addr<1> addr<2> addr<3> addr<4> ; character<0> character<1> character<2> character<3> character<4> character<5> character<6> character<7> 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> start ; plain<0> plain<1> plain<2> plain<3> plain<4> plain<5> plain<6> plain<7>

0 0 0 0 0 ; 
0 0 0 0 0 ; 
0 0 0 0 0 ; 
0 0 0 0 0 ; 
0 0 1 0 0 ; 
0 0 1 0 0 ; 
0 0 1 0 0 ; 
0 0 1 0 0 ; 
0 0 1 0 0 ; 
0 0 0 0 0 ; 
0 0 0 0 0 ; 
0 0 0 0 0 ; 
0 0 0 0 0 ;