vtr_flow/benchmarks/blif/3/too-lrg.blif

.model top
.inputs pa0 pq pb0 pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw ph0 px pi0 py pj0 pz \
pk0 pl0 pm0 pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pn0 po0 pp0
.names [203] [967] pn0
1- 1
-1 1
.names [79] [988] po0
1- 1
-1 1
.names pc0 [136] [1015] pp0
--1 1
01- 1
.names pq pb0 [892] [28]
001 1
.names pa0 py [29]
00 1
.names [263] [264] [913] [31]
1-- 1
-1- 1
--1 1
.names [33] [899] [42]
01 1
.names [258] [259] [260] [50]
1-- 1
-1- 1
--1 1
.names [40] [179] [970] [61]
111 1
.names [144] [1007] [1014] [136]
--1 1
11- 1
.names pg0 pi [3]
0- 1
-0 1
.names pr pm [6]
0- 1
-0 1
.names pi0 py pj0 [17]
10- 1
0-1 1
.names pr pm [17] [4]
0-1 1
-01 1
.names pe0 pf0 pg0 [33]
1-- 1
-1- 1
--1 1
.names pa0 px pi0 [153]
-01 1
0-0 1
.names pi0 pj0 [41]
01 1
.names pi0 py [45]
10 1
.names pf0 pj0 ph [22]
--0 1
00- 1
.names pj0 pj [97]
01 1
.names pk [158] [157] [156]
0-- 1
-0- 1
--0 1
.names pb pj [156] [23]
0-- 1
-01 1
.names pt pl [158]
1- 1
-1 1
.names ps pd [157]
1- 1
-0 1
.names pe pf pg [84]
000 1
.names pd0 pc [101]
00 1
.names pd0 pc [84] [30]
001 1
.names [90] [891] [892] [40]
111 1
.names [41] [96] [271] [165]
1-- 1
-1- 1
--1 1
.names pn po [163]
0- 1
-0 1
.names pa0 py [6] [98]
001 1
.names pa0 pi0 py [105]
0-0 1
-10 1
.names [22] [105] [243] [34]
--1 1
11- 1
.names [170] [211] [929] [169]
-1- 1
1-1 1
.names pa0 pd0 py [90]
010 1
.names ph0 pn po [47]
--0 1
00- 1
.names ph0 po [63]
0- 1
-0 1
.names pr pm [175] [173]
0-1 1
-01 1
.names [915] [916] [172]
1- 1
-1 1
.names [98] [254] [256] [51]
1-- 1
-1- 1
--1 1
.names ph0 pz [67]
0- 1
-0 1
.names pd0 pv [199] [53]
--1 1
11- 1
.names pd0 pw [54]
0- 1
-1 1
.names pn po [56]
0- 1
-0 1
.names [968] [969] [179]
1- 1
-1 1
.names pd0 pu pv [69]
110 1
.names pj0 [105] [87]
01 1
.names px pi0 py [96]
010 1
.names pj0 ph [180]
0- 1
-0 1
.names pf0 ph [103]
11 1
.names [69] [110] [928] [109]
1-- 1
-11 1
.names pz po [110]
1- 1
-1 1
.names [223] [246] [247] [113]
1-- 1
-1- 1
--1 1
.names pz pn po [112]
-01 1
1-0 1
.names [29] [6] [17] [119]
11- 1
-11 1
.names pr pb pm [118]
--0 1
00- 1
.names pe0 pb [84] [122]
0-- 1
-01 1
.names pd0 pe0 [84] [121]
-0- 1
1-1 1
.names [197] [199] [200] [127]
1-- 1
-1- 1
--1 1
.names pr pm [23] [130]
-0- 1
0-1 1
.names [29] [6] [17] [133]
11- 1
-11 1
.names [37] [39] [43] [144]
1-- 1
-1- 1
--1 1
.names [6] [56] [1008] [143]
0-- 1
-0- 1
--1 1
.names [29] [33] [54] [141]
11- 1
1-0 1
.names [143] [1010] [1011] [139]
--1 1
11- 1
.names [54] [141] [138] [137]
-1- 1
1-1 1
.names [33] [41] [45] [138]
--1 1
11- 1
.names pu pv [140]
1- 1
-1 1
.names [44] [46] [145]
1- 1
-1 1
.names pc pm [152]
0- 1
-1 1
.names pc pj pm [150]
0-- 1
-11 1
.names pr pm [162]
0- 1
-0 1
.names pi0 py pj0 [161]
10- 1
0-1 1
.names pr pm [167]
0- 1
-0 1
.names pi0 pj0 [96] [170]
--1 1
01- 1
.names pi0 py pj0 [175]
10- 1
0-1 1
.names pa0 py [63] [14]
000 1
.names pw ph0 po [36]
111 1
.names [23] [989] [991] [37]
1-1 1
-11 1
.names [145] [71] [72] [39]
11- 1
1-1 1
.names pe0 [48] [49] [43]
01- 1
0-1 1
.names [29] [84] [993] [44]
111 1
.names [84] [101] [105] [46]
111 1
.names pd0 [57] [999] [48]
01- 1
0-1 1
.names pw [59] [60] [49]
01- 1
0-1 1
.names pj0 [105] [998] [57]
011 1
.names [68] [70] [1003] [59]
1-1 1
-11 1
.names [29] [62] [64] [60]
11- 1
1-1 1
.names pc pm [1004] [62]
0-1 1
-11 1
.names [22] [150] [64]
11 1
.names pk pm [22] [68]
111 1
.names pj0 pj [152] [70]
011 1
.names pk [73] [992] [71]
0-1 1
-11 1
.names [22] [23] [989] [72]
11- 1
1-1 1
.names pn [158] [157] [73]
011 1
.names pc0 [82] [83] [78]
01- 1
0-1 1
.names [28] [86] [986] [79]
11- 1
1-1 1
.names pd0 [169] [972] [82]
011 1
.names [53] [212] [213] [83]
11- 1
1-1 1
.names [98] [256] [973] [85]
1-1 1
-11 1
.names pl0 [94] [95] [86]
11- 1
1-1 1
.names [56] [196] [985] [93]
11- 1
1-1 1
.names [188] [189] [978] [94]
1-1 1
-11 1
.names [47] [99] [100] [95]
11- 1
1-1 1
.names [130] [980] [99]
11 1
.names pe0 [104] [106] [100]
01- 1
0-1 1
.names [180] [974] [981] [104]
111 1
.names pd0 [107] [181] [106]
01- 1
0-1 1
.names pf0 pg0 [133] [107]
101 1
.names pi [182] [183] [181]
01- 1
0-1 1
.names pj0 [6] [105] [182]
011 1
.names ph [6] [17] [183]
011 1
.names [101] [87] [190] [188]
11- 1
1-1 1
.names [90] [180] [974] [189]
111 1
.names ph [17] [190]
01 1
.names [90] [984] [194]
11 1
.names [98] [103] [256] [196]
11- 1
-11 1
.names pu pf0 ph [197]
111 1
.names pu ph0 pz [199]
111 1
.names pd0 pv [200]
11 1
.names pc0 [206] [207] [202]
01- 1
0-1 1
.names [28] [220] [964] [203]
11- 1
1-1 1
.names [109] [212] [213] [206]
11- 1
1-1 1
.names pd0 pk0 [169] [207]
011 1
.names [33] [153] [930] [211]
011 1
.names pi0 pj0 [33] [212]
010 1
.names py [33] [153] [213]
001 1
.names [248] [249] [942] [217]
1-1 1
-11 1
.names [29] [6] [945] [219]
111 1
.names [56] [227] [961] [220]
11- 1
1-1 1
.names pk pn [223]
00 1
.names [6] [90] [946] [225]
111 1
.names pk0 [229] [230] [227]
11- 1
1-1 1
.names [6] [17] [69] [228]
111 1
.names pj0 [105] [952] [229]
011 1
.names [3] [232] [959] [230]
11- 1
1-1 1
.names [119] [954] [231]
11 1
.names [236] [237] [957] [232]
1-1 1
-11 1
.names pr pc [122] [236]
001 1
.names pm [121] [237]
01 1
.names pi0 pj0 ph [243]
010 1
.names pn [158] [157] [246]
00- 1
0-0 1
.names pn po [247]
10 1
.names [250] [251] [939] [248]
1-1 1
-11 1
.names pv pc [90] [249]
011 1
.names [252] [253] [937] [250]
1-1 1
-11 1
.names ph [17] [30] [251]
011 1
.names pa0 pd0 [935] [252]
011 1
.names pd0 pc [936] [253]
001 1
.names pv [6] [17] [254]
111 1
.names pd0 [6] [17] [256]
011 1
.names [40] [172] [918] [258]
111 1
.names [28] [173] [921] [259]
111 1
.names [41] [96] [923] [260]
1-1 1
-11 1
.names [40] [896] [261]
11 1
.names pw [265] [266] [263]
11- 1
1-1 1
.names [28] [267] [268] [264]
11- 1
1-1 1
.names [33] [165] [902] [265]
011 1
.names [40] [904] [905] [266]
11- 1
1-1 1
.names [67] [162] [906] [267]
011 1
.names [161] [269] [270] [268]
11- 1
1-1 1
.names [67] [167] [908] [269]
011 1
.names [910] [911] [912] [270]
1-1 1
-11 1
.names pa0 pi0 py [271]
000 1
.names pb0 pq [891]
00 1
.names px pc0 [892]
00 1
.names pv pu [893]
00 1
.names pm pc [894]
01 1
.names [163] [893] [894] [896]
111 1
.names pc0 pd0 ph0 [899]
001 1
.names pz [33] [899] [901]
101 1
.names pd0 pc0 [902]
10 1
.names pr pn po [904]
00- 1
0-0 1
.names pm pn po [905]
00- 1
0-0 1
.names pa0 py po [906]
000 1
.names po pd0 [908]
00 1
.names pr pn po [910]
00- 1
0-0 1
.names pm pn po [911]
00- 1
0-0 1
.names pw pd0 [912]
11 1
.names [165] [261] [901] [913]
-1- 1
1-1 1
.names pr pn po [915]
00- 1
0-0 1
.names pm pn po [916]
00- 1
0-0 1
.names pu pv pw [918]
100 1
.names pd0 pn [63] [921]
000 1
.names po [33] [899] [923]
101 1
.names pi0 po [29] [926]
011 1
.names ph0 pv [928]
11 1
.names [33] ph [929]
00 1
.names pj0 py [930]
00 1
.names pv ph0 [112] [932]
111 1
.names pv pj0 ph [935]
00- 1
0-0 1
.names pa0 pi0 pj0 [936]
0-0 1
-10 1
.names [84] py [937]
10 1
.names pg0 pk0 pi [939]
01- 1
-10 1
.names pr pj [113] [942]
001 1
.names pf0 ph pk [943]
111 1
.names [246] [247] [943] [944]
1-1 1
-11 1
.names ph0 pn po [945]
101 1
.names pa pv [946]
10 1
.names pf0 ph pj [948]
110 1
.names pe0 pd0 [949]
00 1
.names pi pf0 [950]
00 1
.names [6] [949] [950] [952]
111 1
.names pd0 pe0 ph [954]
000 1
.names pa0 pv py [956]
000 1
.names [956] [22] [957]
11 1
.names [84] [101] [118] [958]
111 1
.names [34] [231] [958] [959]
-1- 1
1-1 1
.names [228] [225] [960]
1- 1
-1 1
.names [51] [948] [960] [961]
--1 1
11- 1
.names [4] [219] [932] [962]
-1- 1
1-1 1
.names [51] [944] [962] [963]
--1 1
11- 1
.names [217] [963] [964]
1- 1
-1 1
.names [42] [50] [926] [965]
-1- 1
1-1 1
.names [31] [202] [965] [967]
1-- 1
-1- 1
--1 1
.names pr pn po [968]
00- 1
0-0 1
.names pm pn po [969]
00- 1
0-0 1
.names pw pv [970]
01 1
.names ph0 pl0 po [972]
01- 1
-10 1
.names ph0 pz pn [973]
110 1
.names pa pu [974]
00 1
.names pn pj [975]
10 1
.names pr po [3] [976]
001 1
.names [84] [975] [976] [978]
111 1
.names pg0 pi [84] [979]
0-1 1
-01 1
.names [188] [189] [979] [980]
1-1 1
-11 1
.names [29] [3] [6] [981]
111 1
.names pr pu pc [984]
001 1
.names [4] [127] [194] [985]
--1 1
11- 1
.names [93] [85] [986]
1- 1
-1 1
.names [31] [61] [78] [988]
1-- 1
-1- 1
--1 1
.names pj pm pn [989]
-0- 1
0-1 1
.names pi0 pj0 ph [990]
010 1
.names [84] [101] [990] [991]
111 1
.names pb pm [97] [992]
0-1 1
-01 1
.names pc pw [993]
00 1
.names pn py [995]
00 1
.names pa0 pi0 [97] [996]
0-1 1
-11 1
.names [158] [157] [995] [997]
111 1
.names pk pj [998]
01 1
.names [34] [996] [997] [999]
1-- 1
-11 1
.names pa0 py pn [1002]
000 1
.names [158] [157] [1002] [1003]
111 1
.names pj0 pj pk [1004]
010 1
.names pg0 pm0 pi [1006]
01- 1
-10 1
.names ph0 pz [1006] [1007]
0-1 1
-01 1
.names pb0 pq [1008]
1- 1
-1 1
.names pd0 pw [33] [1010]
0-1 1
-11 1
.names [54] [140] [36] [1011]
--1 1
01- 1
.names [143] [141] [14] [1012]
--1 1
11- 1
.names [17] [139] [1012] [1013]
--1 1
11- 1
.names px [137] [1013] [1014]
--1 1
11- 1
.names [50] [61] [1015]
1- 1
-1 1
.end