# Benchmark "Generic__03-adder" written by ABC on Mon Jul 18 13:04:30 2016
.model Generic__03-adder
.inputs pi0 pi1 pi2 pi3 pi4 pi5 pi6
.outputs po0 po1 po2 po3
.names pi6 pi4 pi5 po3
001 1
010 1
100 1
111 1
.names pi6 pi4 pi5 n12
11- 1
1-1 1
-11 1
.names n12 pi1 pi3 po2
001 1
010 1
100 1
111 1
.names n12 pi1 pi3 n14
11- 1
1-1 1
-11 1
.names n14 pi0 pi2 po1
001 1
010 1
100 1
111 1
.names n14 pi0 pi2 po0
11- 1
1-1 1
-11 1
.end
