.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 nf5 [41] [48] [84] [85] [87] [390] pt
---1--- 1
-1--1-- 1
-1---1- 1
0-----1 1
011---- 1
.names nf5 ne13 nh5 ng5 [73] [74] pu
----1- 1
-----1 1
0010-- 1
.names nf5 ne13 nh5 nz4 ng5 ny4 [400] pv
------1 1
1011-1- 1
10-111- 1
-01111- 1
0001-0- 1
00-100- 1
-00100- 1
.names nf5 ne13 nh5 nz4 ng5 ny4 [401] pw
------1 1
-0-1-1- 1
1011--- 1
10-11-- 1
-0111-- 1
101--1- 1
10--11- 1
-01-11- 1
.names pc pe nq [41] [31] [386] [387] ng0
01-1--1 1
01011-- 1
01-111- 1
0011--0 1
0-110-0 1
0-11-00 1
.names pa pb pc pe [43] [112] nc0
1----- 1
-0---- 1
--1--- 1
0----1 1
01-11- 1
.names pa pb pc nh5 nd0
1--- 1
-0-- 1
--1- 1
0--1 1
.names pa pb pc nz4 ne0
1--- 1
-0-- 1
--1- 1
0--1 1
.names pc pd np [41] [31] [59] [387] nf0
01-1--1 1
01-111- 1
0-110-0 1
0-11-00 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 [43] [98] nb0
1----- 1
-0---- 1
--1--- 1
0----1 1
01-11- 1
.names pa pb pd nx
011 1
.names pc pf pg nr ns [41] [59] nh0
0001-1- 1
0110-1- 1
00-111- 1
0-0111- 1
011-01- 1
01-001- 1
011--11 1
01--011 1
0-01-10 1
0--1110 1
.names pc pf pg nr ns [41] [59] ni0
0-0-11- 1
0-1-01- 1
0110-1- 1
00-111- 1
011--11 1
0-10-11 1
00--110 1
0--1110 1
.names ny nx [43] no5 nc5 [98] [112] nf5
----1-1 1
1-1-1-- 1
---111- 1
---1-11 1
1111--- 1
-1111-- 1
1-11-1- 1
-111--1 1
.names pa pb pc ne13
1-- 1
-0- 1
--1 1
.names pa pb [41]
01 1
.names pc pf pg nn no [41] [63] nh5
010-11- 1
0-1101- 1
0111-11 1
01-1011 1
0101-10 1
01-1110 1
.names pc pf pg nn no [41] [63] nz4
001111- 1
011011- 1
011-111 1
0-10111 1
001-110 1
0-11110 1
.names pc pf pg nn no [41] [63] [43]
0----0- 1
0-0-1-- 1
0001--- 1
00-11-- 1
000---0 1
0-01--0 1
00--1-0 1
0--11-0 1
.names pc pd np [41] [31] [59] [387] no5
01-1--1 1
01-111- 1
0-110-0 1
0-11-00 1
.names pc pe nq [41] [31] [386] [387] nc5
01-1--1 1
01011-- 1
01-111- 1
0011--0 1
0-110-0 1
0-11-00 1
.names pc pf pg nr ns [41] [59] ng5
0001-1- 1
0110-1- 1
00-111- 1
0-0111- 1
011-01- 1
01-001- 1
011--11 1
01--011 1
0-01-10 1
0--1110 1
.names pc pf pg nr ns [41] [59] ny4
0-0-11- 1
0-1-01- 1
0110-1- 1
00-111- 1
011--11 1
0-10-11 1
00--110 1
0--1110 1
.names pa pb pd pe nm nl [63]
01-10- 1
0111-0 1
011-00 1
.names pa pb pf pg nr ns [31]
----00 1
0111-- 1
01-10- 1
011--0 1
.names pa pb pd ng0 nf0 [43] [98] [48]
---1--- 1
----1-1 1
011-11- 1
.names pa pb pd pe nq np [59]
01-10- 1
0111-0 1
011-00 1
.names pa pb pc pe nf5 nh5 ng5 [73]
0111--- 1
010-111 1
010-001 1
010-100 1
.names pa pb ni [74]
001 1
.names pa pb nh [84]
001 1
.names ng0 ny nx [43] no5 [98] [112] [85]
1---111 1
11111-- 1
11-111- 1
1-111-1 1
.names pa pb pc pd [87]
0111 1
.names nn no nz na0 nl ne13 [63] [98]
-0-110- 1
001-10- 1
0-1110- 1
00--101 1
-01-101 1
0--1101 1
--11101 1
.names nm nn no nz na0 ne13 [63] [112]
1-0-10- 1
1001-0- 1
10-110- 1
100--01 1
1-01-01 1
10--101 1
1--1101 1
.names pa pb pd np [386]
0110 1
.names pa pb pf pg nr ns [387]
01-1-0 1
01110- 1
011-00 1
.names pa pb pc pe [43] [112] [390]
010--1 1
01011- 1
.names pa pb pc pf nj [399]
00--1 1
0111- 1
.names ne0 nf5 nh5 ng5 ny4 [399] [400]
-----1 1
000-1- 1
00-01- 1
0-001- 1
011-0- 1
01-10- 1
0-110- 1
.names pa pb pc pg nk [401]
00--1 1
0111- 1
.end