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