.model ISCAS__s27
.inputs pi0 pi1 pi2 pi3
.outputs po0
.latch li0 lo0
.latch li1 lo1
.latch li2 lo2
.names li1 po0
0 1
.names pi0 li1 li0
10 1
.names lo0 n22 li1
00 1
.names pi2 n19 li2
00 1
.names pi0 lo1 n18
01 1
.names pi1 lo2 n19
00 1
.names n19 n18 n20
00 0
.names pi3 n18 n21
00 0
.names n21 n20 n22
11 0
.end
