.model top
.inputs pp pa0 pq pb0 pr pc0 ps pt pu pv pw px py pz pa pb pc pe pf pg ph pi \
pj pk pl pm pn po
.outputs pd0 pe0 pf0
.names pb pc [10] pd0
--1 1
01- 1
.names pa pc [4] pe0
1-- 1
-1- 1
--1 1
.names pe [35] pf0
01 1
.names pb0 pa pc [35]
0-- 1
-1- 1
--1 1
.names [42] [88] [291] [7]
-1- 1
1-1 1
.names pv [48] [287] [11]
--1 1
01- 1
.names pm [282] [283] [18]
0-- 1
-11 1
.names pl [18] [286] [6]
0-- 1
-11 1
.names px pz pm [44]
--0 1
00- 1
.names pk [90] [42]
0- 1
-1 1
.names px ph [22]
00 1
.names py pj [24]
00 1
.names [22] [24] [81] [45]
1-- 1
-1- 1
--1 1
.names [279] [280] [281] [20]
1-1 1
-11 1
.names pu [6] [68] [48]
--1 1
01- 1
.names pm po [23]
00 1
.names pa pe [33]
1- 1
-1 1
.names py pz pm [40]
--0 1
00- 1
.names pu pv pk [39]
--0 1
00- 1
.names pu ph [38]
0- 1
-0 1
.names pa0 pe pf [4]
0-1 1
-11 1
.names pc [14] [15] [10]
01- 1
0-1 1
.names pc0 pa pe [14]
000 1
.names [33] [16] [311] [15]
11- 1
1-1 1
.names ps pt [11] [16]
001 1
.names pk [6] [20] [19]
01- 1
0-1 1
.names pj [28] [296] [25]
01- 1
0-1 1
.names pg [56] [302] [26]
01- 1
0-1 1
.names pn [306] [307] [27]
01- 1
0-1 1
.names [40] [39] [293] [28]
111 1
.names [297] [298] [299] [56]
1-1 1
-11 1
.names pi [23] [300] [57]
01- 1
0-1 1
.names pw py po [60]
000 1
.names ph pl [68]
00 1
.names pw px po [71]
000 1
.names pw [84] [85] [76]
01- 1
0-1 1
.names py pg pj [77]
000 1
.names px ph pi [78]
000 1
.names ph pj [81]
00 1
.names py pg pi [84]
00- 1
-00 1
.names px pi [85]
00 1
.names pz pm [289] [88]
0-1 1
-01 1
.names ps pt pv [90]
000 1
.names pm po [22] [279]
--1 1
00- 1
.names ph pm [71] [280]
--1 1
00- 1
.names pi pp [281]
00 1
.names px pw [282]
00 1
.names pz py [283]
00 1
.names pq pp [284]
00 1
.names pr po [284] [286]
001 1
.names pi pl [20] [287]
--1 1
00- 1
.names pv pj pk [289]
00- 1
-00 1
.names [44] pp [291]
10 1
.names ph pr [292]
00 1
.names pr pq [293]
00 1
.names pl pv [295]
00 1
.names pi [38] [295] [296]
0-- 1
-11 1
.names pm po [24] [297]
--1 1
00- 1
.names pj pm [60] [298]
--1 1
00- 1
.names pq pu pk [299]
00- 1
0-0 1
.names pw pl po [300]
-0- 1
0-0 1
.names pu ph pl [301]
-0- 1
0-0 1
.names [57] [301] [302]
1- 1
-1 1
.names [77] pl [304]
1- 1
-0 1
.names pz [45] [304] [306]
--1 1
01- 1
.names [18] [76] [78] [307]
1-- 1
-1- 1
--1 1
.names [7] [25] [292] [308]
-1- 1
1-1 1
.names [26] [19] [309]
1- 1
-1 1
.names [27] [308] [309] [311]
1-- 1
-1- 1
--1 1
.end