.inputs  ack i_addr<0> i_addr<1> i_addr<2> i_addr<3> i_addr<4> i_val
.latches addr<0> addr<1> addr<2> addr<3> addr<4> r_val val
.outputs addr<0> addr<1> addr<2> addr<3> addr<4> val
.initial 0 0 0 0 0 1 1

.start_vectors

# ack i_addr<0> i_addr<1> i_addr<2> i_addr<3> i_addr<4> i_val ; addr<0> addr<1> addr<2> addr<3> addr<4> val ; addr<0> addr<1> addr<2> addr<3> addr<4> val

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