.model top
.inputs in clk
.outputs viol sample
.latch    ny3 ny4 re clk 2
.latch    ny5 sample re clk 2
.latch    in nx1 re clk 2
.latch    nx1 nx2 re clk 2
.names in nx1 nx2 viol
111 1
000 1
.names in ny4 nx1 nx2 ny3
-0-- 1
1-11 1
0-00 1
.names sample ny4 nx1 nx2 ny5
11-- 1
-001 1
-010 1
.end