.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 [41] [47] [394] pt
--1 1
11- 1
.names [41] [49] [397] pu
--1 1
11- 1
.names nz4 [52] [400] pv
--1 1
11- 1
.names nz4 [53] [402] pw
--1 1
11- 1
.names ne13 nc5 ng0
01 1
.names pa ne13 nd5 nc0
-1- 1
0-1 1
.names pa ne13 nh5 nd0
-1- 1
0-1 1
.names pa ne13 nz4 ne0
-1- 1
0-1 1
.names ne13 no5 nf0
01 1
.names pa pb pe ny
011 1
.names pa pb pf nz
011 1
.names pa pb pg na0
011 1
.names pa ne13 nt5 nb0
-1- 1
0-1 1
.names pa pb pd nx
011 1
.names ne13 ng5 nh0
01 1
.names ne13 ny4 ni0
01 1
.names nd5 nc5 [389] nf5
11- 1
1-1 1
-11 1
.names pa pb pc ne13
1-- 1
-0- 1
--1 1
.names ny [43] [112] nd5
--1 1
11- 1
.names pa pb [41]
01 1
.names nf5 [48] [393] [47]
--1 1
01- 1
.names nf5 nh5 ng5 nx4
11- 1
1-1 1
-11 1
.names nz [43] [108] nh5
--1 1
11- 1
.names nf5 [50] [396] [49]
--1 1
11- 1
.names na0 [43] [104] nz4
--1 1
11- 1
.names ne13 nx4 ny4 [52]
011 1
000 1
.names ne13 nx4 ny4 [53]
01- 1
0-1 1
.names pc [41] [54] [43]
00- 1
0-0 1
.names pc [41] [58] [44]
011 1
.names nx [44] [100] no5
--1 1
11- 1
.names no na0 [30] [54]
01- 1
0-1 1
-11 1
.names ny [44] [120] nc5
--1 1
11- 1
.names nx [43] [98] nt5
--1 1
11- 1
.names nz [44] [94] ng5
--1 1
11- 1
.names na0 [44] [92] ny4
--1 1
11- 1
.names [31] [59] [387] [58]
--1 1
11- 1
.names nm ny [388] [63]
01- 1
0-1 1
-11 1
.names nn nz [63] [30]
01- 1
0-1 1
-11 1
.names na0 ns [65]
1- 1
-0 1
.names nz nr [65] [31]
1-1 1
-01 1
.names ng0 nf0 nt5 [48]
1-- 1
-11 1
.names nd0 nx4 [78] [50]
--1 1
00- 1
.names nq ny [386] [59]
01- 1
0-1 1
-11 1
.names pa pb nk [33]
001 1
.names ne0 nx4 ny4 [38]
001 1
010 1
.names pa pb nj [40]
001 1
.names pa pb ni [74]
001 1
.names pc ny [76]
11 1
.names ne13 nh5 ng5 [78]
011 1
.names pa pb nh [84]
001 1
.names nd5 nt5 [391] [85]
111 1
.names ns ne13 [58] [92]
100 1
.names nr ne13 [58] [94]
100 1
.names nl ne13 [54] [98]
101 1
.names np ne13 [58] [100]
100 1
.names no ne13 [54] [104]
101 1
.names nn ne13 [54] [108]
101 1
.names nm ne13 [54] [112]
101 1
.names nq ne13 [58] [120]
100 1
.names nz nr [385]
10 1
.names nx np [386]
10 1
.names na0 ns [385] [387]
10- 1
1-1 1
-01 1
.names nx nl [388]
10 1
.names nt5 no5 [389]
11 1
.names nd5 ne13 [390]
10 1
.names ne13 no5 nc5 [391]
011 1
.names pc nx [85] [393]
--1 1
11- 1
.names nf5 [84] [390] [394]
-1- 1
0-1 1
.names nh5 ne13 [395]
10 1
.names nh0 nx4 [76] [396]
--1 1
10- 1
.names nx4 [74] [395] [397]
-1- 1
0-1 1
.names pc nz [40] [399]
--1 1
11- 1
.names [38] [399] [400]
1- 1
-1 1
.names pc na0 [33] [401]
--1 1
11- 1
.names ni0 nx4 [401] [402]
--1 1
11- 1
.end