# Benchmark "ITC99__b02" written by ABC on Sat Jul 16 12:00:40 2016
.model ITC99__b02
.inputs pi0 lo0 lo1 lo2 lo3
.outputs po0 n5 n10 n15 n20_1
.names lo3 lo2 lo1 n5
001 1
.names n27 n26 n20_1
11 0
.names n21 n20 n10
11 0
.names n31 n30 n15
11 0
.names n29 n28 lo3 n18
110 0
.names lo1 pi0 n19
00 0
.names lo3 n19 n20
11 0
.names lo2 n18 n21
11 0
.names pi0 lo2 n22
00 0
.names lo1 n22 n23
01 0
.names pi0 lo1 n24
10 0
.names lo3 n24 n25
11 0
.names pi0 lo3 lo1 n26
000 0
.names n25 lo2 n27
10 0
.names pi0 lo1 n28
10 0
.names lo1 pi0 n29
10 0
.names lo3 n23 n30
11 0
.names lo2 lo1 lo3 n31
100 0
.names lo0 po0
1 1
.end
