.model top
.inputs pa pclk pb pc pd pe pf pg
.outputs pt pu pv pw
.latch    ng0 nq re pclk 2
.latch    nc0 nm re pclk 2
.latch    nd0 nn re pclk 2
.latch    ne0 no re pclk 2
.latch    nf0 np re pclk 2
.latch    ny ni re pclk 2
.latch    nz nj re pclk 2
.latch    na0 nk re pclk 2
.latch    nb0 nl re pclk 2
.latch    nx nh re pclk 2
.latch    nh0 nr re pclk 2
.latch    ni0 ns re pclk 2
.names pa pb [47] [394] pt
---1 1
011- 1
.names pa pb ni nx4 [49] [395] pu
---0-1 1
001--- 1
01--1- 1
.names pa ne13 nx4 nz4 ny4 [399] pv
-----1 1
100-1- 1
-0111- 1
-0001- 1
101-0- 1
-0010- 1
-0100- 1
.names ne13 nx4 nz4 [92] [93] [401] pw
-----1 1
011--- 1
01-1-- 1
0-11-- 1
01--1- 1
0-1-1- 1
.names pa pb pc [120] [121] ng0
0101- 1
010-1 1
.names pa pb pc pe nm [54] nc0
1----- 1
-0---- 1
--1--- 1
010-11 1
0101-0 1
.names pa pb pc pf nn [54] nd0
1----- 1
-0---- 1
--1--- 1
010-11 1
0101-0 1
.names pa pb pc pg no [30] ne0
1----- 1
-0---- 1
--1--- 1
010111 1
010110 1
.names pa pb pc [100] [101] nf0
0101- 1
010-1 1
.names pa pb pe ny
011 1
.names pa pb pf nz
011 1
.names pa pb pg na0
011 1
.names pa pb pc pd nl [54] nb0
1----- 1
-0---- 1
--1--- 1
010-11 1
0101-0 1
.names pa pb pd nx
011 1
.names pa pb pc [94] [95] nh0
0101- 1
010-1 1
.names pa pb pc [92] [93] ni0
0101- 1
010-1 1
.names nd5 nt5 [100] [101] [120] [121] nf5
1---1- 1
1----1 1
111--- 1
11-1-- 1
-11-1- 1
-1-11- 1
-11--1 1
-1-1-1 1
.names pa pb pc ne13
1-- 1
-0- 1
--1 1
.names pa pb pc pe nm [54] nd5
010-11 1
0101-0 1
.names pa pb [41]
01 1
.names ne13 nd5 no5 nc5 nt5 [87] [47]
-----1 1
0001-- 1
00-10- 1
01111- 1
00101- 1
.names nd5 nh5 no5 nc5 nt5 ng5 nx4
-1---1 1
11-1-- 1
1--1-1 1
111-1- 1
-1111- 1
1-1-11 1
--1111 1
.names pa pb pc pf na2 [108] nh5
-----1 1
01010- 1
.names nf5 ne13 nh5 [76] [94] [95] [49]
---1-- 1
101-1- 1
000-1- 1
101--1 1
000--1 1
100-00 1
.names pa pb pc pg na2 [104] nz4
-----1 1
01010- 1
.names np ne13 [31] [59] [101] [387] no5
----1- 1
100--0 1
10-0-0 1
.names nn no nz na0 [63] [54]
-0-1- 1
001-- 1
0-11- 1
00--1 1
-01-1 1
0--11 1
--111 1
.names nn no nz na0 ne13 [63] na2
-0-10- 1
001-0- 1
0-110- 1
00--01 1
-01-01 1
0--101 1
--1101 1
.names nq ne13 [31] [59] [121] [387] nc5
----1- 1
100--0 1
10-0-0 1
.names pa pb pc pd nl [54] nt5
010-11 1
0101-0 1
.names nr ne13 [31] [59] [95] [387] ng5
----1- 1
100--0 1
10-0-0 1
.names ns ne13 [31] [59] [93] [387] ny4
----1- 1
100--0 1
10-0-0 1
.names pa pb pd pe nm nl [63]
01-10- 1
0111-0 1
011-00 1
.names pa pb pf nn [63] [30]
---01 1
0110- 1
011-1 1
.names pa pb pf pg nr ns [31]
----00 1
0111-- 1
01-10- 1
011--0 1
.names pa pb pd pe nq np [59]
01-10- 1
0111-0 1
011-00 1
.names pa pb pc pe [76]
0111 1
.names pa pb nh [84]
001 1
.names pa pb pc pd [87]
0111 1
.names ns ne13 [31] [59] [387] [92]
100-0 1
10-00 1
.names pc pg [41] [31] [59] [387] [93]
011--1 1
01111- 1
.names nr ne13 [31] [59] [387] [94]
100-0 1
10-00 1
.names pc pf [41] [31] [59] [387] [95]
011--1 1
01111- 1
.names np ne13 [31] [59] [387] [100]
100-0 1
10-00 1
.names pc pd [41] [31] [59] [387] [101]
011--1 1
01111- 1
.names nn no nz na0 ne13 [63] [104]
01110- 1
01-101 1
-11101 1
.names nn no nz na0 ne13 [63] [108]
10-10- 1
101-01 1
1-1101 1
.names nq ne13 [31] [59] [387] [120]
100-0 1
10-00 1
.names pc pe [41] [31] [59] [387] [121]
011--1 1
01111- 1
.names pa pb pf pg nr ns [387]
01-1-0 1
01110- 1
011-00 1
.names ne13 nd5 no5 nc5 nt5 [84] [394]
-----1 1
0100-- 1
01-00- 1
.names pa pb pc pf nn [54] [395]
010-11 1
0101-0 1
.names pa pb pc pf nj [399]
00--1 1
0111- 1
.names pa pb pc pg nk [401]
00--1 1
0111- 1
.end