vtr_flow/benchmarks/blif/2/term1.blif

.model top
.inputs pp pa0 pq pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw ph0 px pi0 py pz pa pb \
pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pj0 pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0
.names ph0 pj0
0 1
.names [170] [171] pk0
1- 1
-1 1
.names [59] [566] pl0
11 1
.names pc0 [56] pm0
01 1
.names [148] [149] pn0
1- 1
-1 1
.names [146] [147] po0
1- 1
-1 1
.names [23] [67] pp0
11 1
.names [130] [583] pq0
1- 1
-1 1
.names [76] [602] pr0
11 1
.names [82] [621] ps0
11 1
.names pc pd [58]
01 1
10 1
.names pc pd [57]
11 1
00 1
.names [154] [155] [59]
1- 1
-1 1
.names [19] [568] [56]
11 1
.names nm3 [11] [19]
0- 1
-1 1
.names pb [567] [23]
11 1
.names pc pd [32]
0- 1
-0 1
.names pc0 pd0 [48]
0- 1
-0 1
.names [137] [138] [67]
1- 1
-1 1
.names [37] [152] nm3
0- 1
-1 1
.names [133] [134] [74]
1- 1
-1 1
.names pq pv [73]
1- 1
-1 1
.names pf0 [25] [72]
0- 1
-1 1
.names [98] [99] [76]
1- 1
-1 1
.names [10] [12] [82]
1- 1
-1 1
.names pt py [91]
1- 1
-1 1
.names ps px [90]
1- 1
-1 1
.names [91] [90] nc3
11 1
.names pe0 [125] [18]
0- 1
-1 1
.names pf0 [18] [55]
01 1
.names pf0 [18] np4
01 1
10 1
.names pr nc3 [37]
0- 1
-0 1
.names pt pn [92]
0- 1
-1 1
.names [111] [112] ni6
1- 1
-1 1
.names pe ph [93]
1- 1
-1 1
.names [168] [169] ng7
1- 1
-1 1
.names [46] [96] [28]
1- 1
-1 1
.names pq [45] [54]
10 1
.names [611] [612] nc6
1- 1
-1 1
.names [150] [151] [11]
1- 1
-1 1
.names pc pg [13]
1- 1
-0 1
.names pr pt [14]
0- 1
-0 1
.names [121] [122] [17]
1- 1
-1 1
.names pe ph [22]
01 1
10 1
.names pp pq [24]
0- 1
-0 1
.names pe0 [48] [25]
0- 1
-1 1
.names [113] [114] [27]
1- 1
-1 1
.names ps [14] [45]
0- 1
-1 1
.names [109] [110] [46]
1- 1
-1 1
.names pr ni6 [44]
0- 1
-1 1
.names [160] [161] [62]
1- 1
-1 1
.names [66] [61] [60]
11 1
00 1
.names [13] [22] [66]
11 1
00 1
.names pd pf [61]
1- 1
-0 1
.names [166] [167] [64]
1- 1
-1 1
.names pd [22] [63]
01 1
10 1
.names ph [565] [65]
1- 1
-1 1
.names [139] [140] [68]
1- 1
-1 1
.names [11] [141] [70]
1- 1
-1 1
.names pe0 [48] [69]
0- 1
-1 1
.names [144] [577] [71]
1- 1
-1 1
.names [37] [135] [75]
0- 1
-1 1
.names [115] [116] [78]
1- 1
-1 1
.names [600] [601] [77]
1- 1
-1 1
.names [117] [118] [79]
1- 1
-1 1
.names [119] [120] [80]
1- 1
-1 1
.names pm [14] [81]
1- 1
-0 1
.names [43] [620] [86]
1- 1
-1 1
.names [15] [16] [83]
1- 1
-1 1
.names [33] [34] [85]
1- 1
-1 1
.names [20] [21] [84]
1- 1
-1 1
.names [26] [29] [88]
1- 1
-1 1
.names [94] [95] [87]
1- 1
-1 1
.names ps pt [89]
01 1
10 1
.names pi0 [83] [10]
01 1
.names pi0 [86] [12]
11 1
.names [84] [605] [15]
11 1
.names [85] [614] [16]
11 1
.names [88] [604] [20]
11 1
.names [17] [45] [21]
10 1
.names pm [603] [26]
11 1
.names pr [89] [29]
11 1
.names [54] [607] [33]
11 1
.names nc6 [613] [34]
01 1
.names pt po [35]
00 1
.names ps pn [36]
00 1
.names pr pm [38]
00 1
.names pq pl [39]
00 1
.names pc0 pd0 [40]
00 1
.names pp [87] [43]
11 1
.names pp [54] [47]
00 1
.names pk [54] [49]
01 1
.names pg0 [18] [50]
00 1
.names pf0 [18] [51]
11 1
.names pf0 pg0 [52]
01 1
.names [27] [615] [94]
11 1
.names pq [44] [95]
10 1
.names pq [45] [96]
01 1
.names [78] [592] [98]
11 1
.names ph0 [77] [99]
11 1
.names [27] [594] [100]
11 1
.names pk [54] [101]
01 1
.names [24] [45] [102]
11 1
.names [24] [44] [103]
00 1
.names pf0 [18] [104]
10 1
.names pp pq [105]
00 1
.names ps [14] [109]
01 1
.names pr pt [110]
00 1
.names ps [92] [111]
01 1
.names pt po [112]
01 1
.names pm [593] [113]
01 1
.names pl [14] [114]
00 1
.names [24] [79] [115]
01 1
.names [17] [45] [116]
10 1
.names [584] [585] [117]
11 1
.names pr [80] [118]
11 1
.names [81] [587] [119]
11 1
.names po [588] [120]
11 1
.names pl [589] [121]
11 1
.names pk [590] [122]
11 1
.names pc0 pd0 [125]
00 1
.names nm3 [579] [127]
11 1
.names pg0 [72] [128]
00 1
.names pg0 [72] [129]
11 1
.names pp [74] [130]
11 1
.names pv [75] [133]
11 1
.names pq nm3 [134]
11 1
.names pw nc3 [135]
11 1
.names [19] [575] [137]
11 1
.names pf0 [68] [138]
11 1
.names [19] [576] [139]
11 1
.names [70] [578] [140]
11 1
.names [37] [71] [141]
11 1
.names pt py [143]
00 1
.names ps px [144]
00 1
.names [19] [572] [146]
11 1
.names [56] [573] [147]
11 1
.names [56] [569] [148]
11 1
.names pd0 pm0 [149]
11 1
.names pq pv [150]
00 1
.names pp pu [151]
00 1
.names pw nc3 [152]
11 1
.names pb [60] [154]
01 1
.names pb [62] [155]
11 1
.names pc [63] [160]
11 1
.names pc [64] [161]
01 1
.names ph [564] [166]
11 1
.names ng7 [65] [167]
01 1
.names pd [93] [168]
01 1
.names pe ph [169]
11 1
.names pi0 [57] [170]
01 1
.names ph0 [58] [171]
01 1
.names pe pd [564]
10 1
.names pe pd [565]
1- 1
-0 1
.names pj pi [566]
01 1
.names pz pa0 [567]
10 1
.names [23] [32] [568]
11 1
.names pd0 pc0 [569]
01 1
.names [32] pe0 [570]
11 1
.names [23] [48] [571]
11 1
.names [571] [570] [572]
11 1
.names [48] pe0 [573]
00 1
.names [32] pf0 [574]
10 1
.names [574] [25] [575]
10 1
.names [69] pc [576]
10 1
.names [143] pw [577]
1- 1
-0 1
.names [25] pd [578]
10 1
.names [73] pu [579]
11 1
.names [23] [32] [580]
0- 1
-0 1
.names [128] [580] [581]
1- 1
-1 1
.names [127] [129] [582]
1- 1
-1 1
.names [582] [581] [583]
1- 1
-1 1
.names ps pr [584]
10 1
.names pm pt [585]
11 1
.names pt ps [586]
10 1
.names [586] pn [587]
11 1
.names pt ps [588]
01 1
.names pq pp [589]
01 1
.names pq pp [590]
10 1
.names ph0 pg0 [591]
01 1
.names np4 [591] [592]
01 1
.names pt pq [593]
11 1
.names ps pp [594]
11 1
.names [105] pg0 [595]
1- 1
-0 1
.names [55] [595] [596]
1- 1
-1 1
.names [102] [46] [597]
1- 1
-1 1
.names [100] [104] [598]
1- 1
-1 1
.names [596] [101] [599]
1- 1
-1 1
.names [103] [597] [600]
1- 1
-1 1
.names [599] [598] [601]
1- 1
-1 1
.names pa pa0 [602]
10 1
.names pt ps [603]
11 1
.names [44] [24] [604]
10 1
.names [55] pg0 [605]
10 1
.names pk pp [606]
10 1
.names [18] [606] [607]
01 1
.names [36] [35] [608]
1- 1
-1 1
.names [39] [38] [609]
1- 1
-1 1
.names [608] [40] [610]
1- 1
-1 1
.names [54] [609] [611]
1- 1
-1 1
.names [28] [610] [612]
1- 1
-1 1
.names pe0 pp [613]
11 1
.names pg0 pf0 [614]
11 1
.names ni6 ps [615]
01 1
.names [50] [52] [616]
1- 1
-1 1
.names [28] [51] [617]
1- 1
-1 1
.names [49] [47] [618]
1- 1
-1 1
.names [617] [616] [619]
1- 1
-1 1
.names [619] [618] [620]
1- 1
-1 1
.names pa pa0 [621]
10 1
.end