# Benchmark "ISCAS__s208.1" written by ABC on Sat Jul 16 12:00:35 2016
.model ISCAS__s208.1
.inputs pi0 pi1 pi2 pi3 pi4 pi5 pi6 pi7 pi8 pi9 lo0 lo1 lo2 lo3 lo4 lo5 lo6 \
 lo7
.outputs po0 n23 n28 n33 n38 n43 n48_1 n53_1 n58_1
.names n94 n80 po0
00 0
.names n81 n95 n23
11 0
.names n55 n56 n28
00 0
.names n57 n58 n33
00 1
.names n59 n60 n38
00 0
.names n85 n96 n43
11 0
.names n86 n48 n48_1
10 0
.names n61 n62 n53_1
00 1
.names n63 n64 n58_1
00 0
.names n82 pi0 n44
01 1
.names lo3 pi0 n45
11 0
.names lo7 n47 n46
11 0
.names n66 pi0 n47
11 1
.names lo5 n65 n48
10 1
.names lo3 pi0 n49
01 0
.names lo7 pi0 n50
01 0
.names lo2 n49 n51
10 1
.names lo1 n97 n52
10 1
.names n67 n70 n53
11 1
.names n67 n71 n54
11 1
.names n44 lo1 n55
10 1
.names lo1 n44 n56
10 1
.names n45 lo2 n57
10 1
.names lo2 n45 n58
10 1
.names lo3 pi0 n59
10 1
.names pi0 lo3 n60
10 1
.names n46 lo6 n61
10 1
.names lo6 n46 n62
10 1
.names lo7 n47 n63
10 1
.names n47 lo7 n64
10 1
.names n46 lo6 n65
01 1
.names n82 lo0 lo1 n66
011 1
.names lo0 lo2 lo1 lo3 n67
0000 1
.names pi0 lo7 n68
11 1
.names n67 n68 n69
11 1
.names lo6 n50 n70
10 1
.names lo5 n98 n71
10 1
.names lo5 n98 lo4 n72
001 1
.names n67 n72 n73
11 1
.names pi0 lo3 n74
11 1
.names n74 pi8 n75
11 1
.names pi0 pi9 n76
11 1
.names n69 pi4 n77
11 1
.names lo1 n97 lo0 n78
001 1
.names n78 pi5 n79
11 1
.names n73 pi1 n80
11 1
.names n44 lo0 lo1 n81
101 0
.names lo3 lo2 n82
11 0
.names n82 lo1 pi0 n83
011 0
.names n46 lo6 n84
01 0
.names n84 lo4 lo5 n85
001 0
.names n84 lo5 n86
00 0
.names n46 lo6 lo5 n87
011 0
.names n52 pi6 n88
11 0
.names n51 pi7 n89
11 0
.names n54 pi2 n90
11 0
.names n53 pi3 n91
11 0
.names n88 n89 n99 n92
111 0
.names n90 n91 n100 n93
111 0
.names n92 n93 n94
00 0
.names n83 lo0 n95
11 0
.names n87 lo4 n96
11 0
.names n49 lo2 n97
00 0
.names n50 lo6 n98
00 0
.names n75 n76 n99
00 1
.names n77 n79 n100
00 1
.end
