vtr_flow/benchmarks/blif/3/pm1.blif

.model top
.inputs pp pq pa pb pc pd pe pg ph pi pj pk pl pm pn po
.outputs pa0 pb0 pr pc0 ps pd0 pt pu pv pw px py pz
.names pm pn [79] pa0
111 1
001 1
.names [13] [16] [18] pb0
111 1
.names pb pm pn pr
1-- 1
-1- 1
--1 1
.names pb pb0 [21] pc0
--1 1
11- 1
.names pm pn ps
1- 1
-0 1
.names pk pn [16] pd0
011 1
.names [86] [87] [88] pt
0-- 1
-0- 1
--1 1
.names [86] [87] [89] pu
--1 1
11- 1
.names pp pv
0 1
.names po pw
0 1
.names ps [13] [90] px
0-1 1
-11 1
.names pq py
0 1
.names [13] [16] [18] pz
-0- 1
0-1 1
.names pc pd pe [13]
0-- 1
-0- 1
--0 1
.names pa pl pm [16]
101 1
.names pk pn [18]
11 1
.names pb pn [16] [21]
001 1
.names pl pa [79]
01 1
.names ph pg [86]
11 1
.names pj pi [87]
11 1
.names pk pm pn [88]
0-- 1
-0- 1
--0 1
.names pk pm pn [89]
0-- 1
-0- 1
--0 1
.names pk pb [90]
11 1
.end