.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 [82] [83] [84] pt
1-- 1
-1- 1
--1 1
.names [73] [397] pu
1- 1
-1 1
.names nz4 [52] [38] [399] pv
--1- 1
---1 1
11-- 1
.names nz4 [53] [402] pw
--1 1
11- 1
.names nq ne13 [46] [121] ng0
-0-1 1
101- 1
.names pa ne13 [112] [113] nc0
-1-- 1
0-1- 1
0--1 1
.names pa ne13 [108] [109] nd0
-1-- 1
0-1- 1
0--1 1
.names pa pb pc nz4 ne0
1--- 1
-0-- 1
--1- 1
0--1 1
.names np ne13 [46] [101] nf0
-0-1 1
101- 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 [98] [99] nb0
-1-- 1
0-1- 1
0--1 1
.names pa pb pd nx
011 1
.names nr ne13 [46] [95] nh0
-0-1 1
101- 1
.names ns ne13 [46] [93] ni0
-0-1 1
101- 1
.names nc5 [112] [113] [389] nf5
11-- 1
1-1- 1
1--1 1
-1-1 1
--11 1
.names pa pb pc ne13
1-- 1
-0- 1
--1 1
.names nm [45] [113] nd5
--1 1
11- 1
.names pa pb [41]
01 1
.names pc na0 na2 [104] nz4
---1 1
010- 1
.names ne13 ny4 [80] [81] [52]
011- 1
01-1 1
0000 1
.names ne13 ny4 [80] [81] [53]
01-- 1
0-1- 1
0--1 1
.names no na0 ne13 [30] [45]
010- 1
0-01 1
-101 1
.names ne13 [31] [59] [387] [46]
00-0 1
0-00 1
.names np [46] [101] no5
--1 1
11- 1
.names no na0 ne13 [30] na2
010- 1
0-01 1
-101 1
.names nq [46] [121] nc5
--1 1
11- 1
.names nr [46] [95] ng5
--1 1
11- 1
.names ns [46] [93] ny4
--1 1
11- 1
.names nn [45] ng5 [109] [57]
--1- 1
---1 1
11-- 1
.names ne13 [31] [59] [387] np1
0--1 1
011- 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 pa pb pf nr [66]
---0 1
011- 1
.names pa pb pg ns [65]
---0 1
011- 1
.names [66] [65] [31]
11 1
.names ng0 nf0 [98] [99] [48]
1--- 1
-11- 1
-1-1 1
.names nd0 [78] [80] [81] [50]
-1-- 1
0-00 1
.names nq ny [386] [59]
01- 1
0-1 1
-11 1
.names pa pb pc pg [35]
0111 1
.names ne0 ny4 [80] [81] [38]
001- 1
00-1 1
0100 1
.names pa pb pc pf [67]
0111 1
.names nf5 [41] [50] [396] [73]
-1-1 1
111- 1
.names pa pb ni [74]
001 1
.names pa pb pc pe [76]
0111 1
.names nn nh0 [45] [109] [78]
-1-1 1
111- 1
.names nd5 nc5 [57] [389] [80]
111- 1
1-11 1
-111 1
.names nn [45] ng5 [109] [81]
--11 1
111- 1
.names ne13 nd5 nc5 [389] [82]
0100 1
.names pa pb [86] [393] [83]
011- 1
01-1 1
.names pa pb nh [84]
001 1
.names nd5 nc5 [48] [389] [86]
001- 1
0-10 1
-010 1
.names pa pb pc pd [87]
0111 1
.names pc na0 np1 [93]
011 1
.names pc nz np1 [95]
011 1
.names nl [45] [98]
11 1
.names pc nx na2 [99]
010 1
.names pc nx np1 [101]
011 1
.names no na0 ne13 [30] [104]
1101 1
.names nn [45] [108]
11 1
.names pc nz na2 [109]
010 1
.names nm [45] [112]
11 1
.names pc ny na2 [113]
010 1
.names pc ny np1 [121]
011 1
.names pa pb pf nr [385]
0110 1
.names pa pb pd np [386]
0110 1
.names na0 ns [385] [387]
10- 1
1-1 1
-01 1
.names pa pb pd nl [388]
0110 1
.names nl [45] no5 [99] [389]
--11 1
111- 1
.names ng0 no5 [112] [113] [392]
111- 1
11-1 1
.names [87] [98] [99] [392] [393]
1--- 1
-1-1 1
--11 1
.names nn ne13 [45] [109] [395]
-0-1 1
101- 1
.names nh0 [76] [80] [81] [396]
-1-- 1
1-00 1
.names [74] [80] [81] [395] [397]
1--- 1
-001 1
.names pa pb nj [67] [399]
---1 1
001- 1
.names pa pb nk [35] [401]
---1 1
001- 1
.names ni0 [80] [81] [401] [402]
---1 1
11-- 1
1-1- 1
.end