.model top
.inputs pa pb pc pd pe pf pg ph pi pj pk pl
.outputs pm pn
.names pl [2] [9] pm
01- 1
0-1 1
.names pl [2] [9] pn
1-- 1
-00 1
.names pe pf pg ph pi pj pk [2]
---1111 1
--1-011 1
-1--101 1
1---001 1
.names pa pb pc pd pi pj pk [9]
---1110 1
--1-010 1
-1--100 1
1---000 1
.end