.model top
.inputs pp pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pq
.names nc0 nd0 na0 nb0 pq
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names pe pf pg ph nc0
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names pa pb pc pd nd0
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names pp pm pn po na0
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names pi pj pk pl nb0
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.end