# Benchmark "i1" written by ABC on Sat Apr 16 17:02:27 2016
.model i1
.inputs pi00 pi01 pi02 pi03 pi04 pi05 pi06 pi07 pi08 pi09 pi10 pi11 pi12 \
 pi13 pi14 pi15 pi16 pi17 pi18 pi19 pi20 pi21 pi22 pi23 pi24
.outputs po00 po01 po02 po03 po04 po05 po06 po07 po08 po09 po10 po11 po12 \
 po13 po14
.outputs po15
.names pi01 n41
0 1
.names pi02 n42
0 1
.names pi03 n43
0 1
.names pi04 n44
0 1
.names pi05 n45
0 1
.names pi06 n46
0 1
.names pi07 n47
0 1
.names n47 n45 n43 n41 n42 n44 n46 n48
1111111 1
.names pi00 n49
0 1
.names n49 pi19 n50
11 1
.names pi08 n51
0 1
.names n51 pi19 n48 n52
111 1
.names pi09 n53
0 1
.names n53 n52 n54
11 1
.names pi09 n48 pi19 pi08 n55
1111 1
.names n48 n56
0 1
.names n56 pi19 pi00 n57
111 1
.names n53 n48 pi19 pi08 n58
1111 1
.names n55 n50 n54 po01
000 0
.names n58 n57 po02
00 0
.names pi20 pi21 po04
00 0
.names n52 pi10 po05
00 0
.names pi24 pi18 po07
11 1
.names pi24 n64
0 1
.names n64 pi11 n65
11 1
.names pi24 pi11 po09
11 1
.names n64 pi14 pi22 po10
111 1
.names n64 pi17 pi22 po11
111 1
.names n64 pi14 pi23 po12
111 1
.names n64 pi17 pi23 po13
111 1
.names n64 pi16 po14
11 1
.names po09 n65 po08
00 0
.names pi15 pi13 pi12 pi14 po15
0000 0
.names pi00 po00
1 1
.names pi20 po03
1 1
.names pi19 po06
1 1
.end
