.model MCNC-Seq__dk27
.inputs pi0
.outputs po0 po1
.latch li0 lo0
.latch li1 lo1
.latch li2 lo2
.names n16 po0
0 1
.names n17 li0
0 1
.names n18 li1
0 1
.names n19 li2
0 1
.names n26 n28 n16
00 1
.names n21 n24 n26 n27 n17
0000 1
.names n20 po1 n25 n28 n18
0000 1
.names n23 n25 n19
00 1
.names pi0 lo0 lo2 n20
100 1
.names pi0 lo0 lo1 n21
001 1
.names lo0 lo1 lo2 po1
100 1
.names pi0 lo1 lo2 n23
110 1
.names pi0 lo1 n24
10 1
.names pi0 lo1 lo2 n25
101 1
.names pi0 lo1 lo2 n26
111 1
.names pi0 lo0 n27
11 1
.names lo0 lo1 n28
00 1
.end
