logfile log
aet on 0

bitvec cin cla4/cin/0
bitvec a cla4/a/*
bitvec b cla4/b/*
bitvec d cla4/d/*
bitvec cout cla4/cout/0

sbvec cin 1
sbvec a 0101
sbvec b 0001
st
dl

sbvec cin 0
sbvec a 0110
sbvec b 1101
st
dl

sbvec cin 0
sbvec a 1111
sbvec b 1111
st
dl

sbvec cin 1
st
dl

st
dl

exit
