# Benchmark "Cookbook__bin_to_7seg" written by ABC on Sun Jul 03 14:49:42 2016
.model Cookbook__bin_to_7seg
.inputs pi0 pi1 pi2 pi3
.outputs po0 po1 po2 po3 po4 po5 po6
.names pi3 pi2 n11
10 1
.names pi3 pi2 n12
00 1
.names n11 n12 pi1 n13
1-0 1
-11 1
.names pi3 pi2 n14
11 1
.names pi3 pi2 n15
10 1
.names n14 n15 pi1 n16
1-0 1
-11 1
.names n13 n16 pi0 po6
1-0 1
-11 1
.names pi3 pi2 n18
01 1
10 1
.names n18 pi1 n19
11 1
.names pi3 pi2 n20
11 1
.names pi3 pi2 n21
10 0
.names n20 n21 pi1 n22
1-0 1
-11 1
.names n19 n22 pi0 po5
1-0 1
-11 1
.names pi3 pi2 n24
01 1
.names n24 pi1 n25
10 1
.names pi3 pi2 n26
10 0
.names n26 pi1 n27
11 1
.names n25 n27 pi0 po4
1-0 1
-11 1
.names pi3 pi2 n29
10 1
.names pi3 pi2 n30
00 1
11 1
.names n29 n30 pi1 n31
1-0 1
-11 1
.names pi3 pi2 n32
01 1
10 1
.names pi3 pi2 n33
11 1
.names n32 n33 pi1 n34
1-0 1
-11 1
.names n31 n34 pi0 po3
1-0 1
-11 1
.names pi3 pi2 n36
01 0
.names pi3 n36 pi1 n37
1-0 1
-11 1
.names pi3 pi2 n38
10 1
.names n38 pi1 n39
10 1
.names n37 n39 pi0 po2
1-0 1
-11 1
.names pi3 pi2 n41
00 0
.names pi3 pi2 n42
11 1
.names n41 n42 pi1 n43
1-0 1
-11 1
.names pi3 pi2 n44
10 1
.names n44 pi1 n45
11 1
.names n43 n45 pi0 po1
1-0 1
-11 1
.names pi3 pi2 n47
11 1
.names pi2 n47 pi1 n48
0-0 1
-11 1
.names pi3 pi2 n49
00 1
.names n49 pi1 n50
11 1
.names n48 n50 pi0 po0
1-0 1
-11 1
.end
