.inputs  In<6> In<5> In<4> In<3> In<2> In<1> In<0>
.outputs  Out<6> Out<5> Out<4> Out<3> Out<2> Out<1> Out<0>
.clock 
#.states  State<3> State<2> State<1> State<0>

.start_kiss
.i 7
.o 7
#inputs  current  next  outputs
0------ s0000<0>  s0000<0>  0000000
10----0 s0000<0>  s0001<0>  00110-0
10----1 s0000<0>  s0001<0>  00010-0
11----0 s0000<0>  s0010<0>  0011010
11----1 s0000<0>  s0010<0>  0001010
100---- s0001<0>  s0001<0>  00000-0
0------ s0001<0>  s0010<0>  000--10
11----- s0001<0>  s0010<0>  0000010
101-1-- s0001<0>  s0011<0>  00000-0
101-0-- s0001<0>  s0100<0>  00000-0
0----1- s0010<0>  s0000<0>  000---1
10----- s0010<0>  s0001<0>  00000-0
0----0- s0010<0>  s0010<0>  000--00
11---0- s0010<0>  s0010<0>  0000000
11---1- s0010<0>  s0101<0>  00001-0
0------ s0011<0>  s0010<0>  100--10
11----- s0011<0>  s0010<0>  1000010
10----- s0011<0>  s0110<0>  10000-0
0------ s0100<0>  s0010<0>  100--10
11----- s0100<0>  s0010<0>  1000010
10----- s0100<0>  s0111<0>  10000-0
10----- s0101<0>  s0001<0>  00000-0
0------ s0101<0>  s0010<0>  000--10
11----- s0101<0>  s0101<0>  00001-0
0------ s0110<0>  s0010<0>  000--10
11----- s0110<0>  s0010<0>  0000010
10-1--- s0110<0>  s0011<0>  00000-0
10--1-- s0110<0>  s0011<0>  00000-0
10-00-- s0110<0>  s1000<0>  0000010
0------ s0111<0>  s0010<0>  000--10
11----- s0111<0>  s0010<0>  0000010
10--1-- s0111<0>  s0011<0>  00000-0
10--0-- s0111<0>  s0100<0>  00000-0
0------ s1000<0>  s0010<0>  010--10
11----- s1000<0>  s0010<0>  0100010
10---0- s1000<0>  s1000<0>  0100000
10---1- s1000<0>  s1001<0>  01000-0
0------ s1001<0>  s0010<0>  010--10
11----- s1001<0>  s0010<0>  0100010
10----- s1001<0>  s1010<0>  0100010
0------ s1010<0>  s0010<0>  000--10
11----- s1010<0>  s0010<0>  0000010
10---0- s1010<0>  s1010<0>  0000000
10---1- s1010<0>  s1011<0>  00000-0
0------ s1011<0>  s0010<0>  100--10
11----- s1011<0>  s0010<0>  1000010
10----- s1011<0>  s1100<0>  10000-0
10-01-- s1100<0>  s0001<0>  00010-0
0------ s1100<0>  s0010<0>  000--10
11----- s1100<0>  s0010<0>  0000010
10-00-- s1100<0>  s1000<0>  0000010
1011--- s1100<0>  s1011<0>  00000-0
1001--- s1100<0>  s1100<0>  00000-0
.end_kiss
