.inputs  addr<0> addr<1> addr<2> addr<3> addr<4> 
.latches ch<0> ch<1> ch<2> ch<3> ch<4> ch<5> ch<6> ch<7> character<0> character<1> character<2> character<3> character<4> character<5> character<6> character<7> ci 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.count<0> encoder.count<1> encoder.count<2> encoder.count<3> 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> ok
.outputs ok val
.initial 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0

.start_vectors

# addr<0> addr<1> addr<2> addr<3> addr<4> ; ch<0> ch<1> ch<2> ch<3> ch<4> ch<5> ch<6> ch<7> character<0> character<1> character<2> character<3> character<4> character<5> character<6> character<7> ci 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.count<0> encoder.count<1> encoder.count<2> encoder.count<3> 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> ok; ok val

0 0 0 0 0 ; 
1 1 1 1 1 ;
0 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 0 0 ;
0 0 0 0 0 ;
0 0 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 0 ;
1 1 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 1 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 0 0 ;
0 1 1 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 ;