vtr_flow/benchmarks/blif/8/too-lrg.blif - third_party/vtr-verilog-to-routing - Git at Google

 .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 [42] [50] [202] [203] [264] [914] [926] pn0
 -1----- 1
 --1---- 1
 ---1--- 1
 ----1-- 1
 -----1- 1
 1-----1 1
 .names pv pw [40] [179] [78] [79] [264] [914] po0
 ----1--- 1
 -----1-- 1
 ------1- 1
 -------1 1
 1011---- 1
 .names pv pw [50] [40] [179] [5] pp0
 --1--- 1
 -----1 1
 10-11- 1
 .names pq pb0 pc0 px [28]
 0000 1
 .names pc0 pd0 pe0 pf0 pg0 ph0 [42]
 000001 1
 .names [40] [173] [172] [171] [918] [922] [923] [50]
 -1---1- 1
 ---1--1 1
 1-1-1-- 1
 .names pg0 pi [3]
 0- 1
 -0 1
 .names pi0 py pj0 [17]
 10- 1
 0-1 1
 .names pr pi0 py pj0 pm [4]
 010-- 1
 00-1- 1
 -10-0 1
 -0-10 1
 .names pa0 pe0 pf0 pg0 px pi0 py pj0 [18]
 -000-0-1 1
 -000010- 1
 0000-00- 1
 .names pf0 pj0 ph [22]
 --0 1
 00- 1
 .names ps pt pd pk pl pn [155]
 ---0-- 1
 11---0 1
 -10--0 1
 1---10 1
 --0-10 1
 .names ps pt pb pd pj pk pl [23]
 --0---- 1
 ----00- 1
 0--10-- 1
 -0--0-0 1
 .names pd0 pc pe pf pg [30]
 00000 1
 .names pa0 pq pb0 pc0 pd0 px py [40]
 0000100 1
 .names pa0 px pi0 py pj0 [165]
 --0-1 1
 -010- 1
 0-00- 1
 .names pa0 pr pd0 pi0 py pj0 pm [32]
 00--0-- 1
 0---0-0 1
 -0010-- 1
 -000-1- 1
 --010-0 1
 --00-10 1
 .names pa0 pf0 pi0 py pj0 ph [34]
 0--0-0 1
 --10-0 1
 --0-10 1
 00-00- 1
 -0100- 1
 .names ph0 pn po [47]
 --0 1
 00- 1
 .names pr pi0 py pj0 pm [173]
 010-- 1
 00-1- 1
 -10-0 1
 -0-10 1
 .names pr pm pn po [172]
 0-0- 1
 -00- 1
 0--0 1
 -0-0 1
 .names px pi0 py pj0 [171]
 -0-1 1
 010- 1
 .names pa0 pr pd0 pv pi0 py pj0 pm [51]
 00---0-- 1
 0----0-0 1
 -00-10-- 1
 -0-110-- 1
 -00-0-1- 1
 -0-10-1- 1
 --0-10-0 1
 ---110-0 1
 --0-0-10 1
 ---10-10 1
 .names pd0 pu pv ph0 pz [53]
 1-1-- 1
 -1-11 1
 .names pn po [56]
 0- 1
 -0 1
 .names pr pm pn po [179]
 0-0- 1
 -00- 1
 0--0 1
 -0-0 1
 .names pu pj0 pa ph [102]
 000- 1
 0-00 1
 .names pf0 ph [103]
 11 1
 .names pd0 pu pv ph0 pz po [109]
 110--- 1
 --111- 1
 --11-1 1
 .names ps pt pd pl pn po [116]
 ----10 1
 0-1-0- 1
 -0-00- 1
 .names ps pt pd pk pl pn po [113]
 ---0-0- 1
 -----10 1
 0-1--0- 1
 -0--00- 1
 .names pa0 pr pi0 py pj0 pm [119]
 00-0-- 1
 -010-- 1
 -00-1- 1
 0--0-0 1
 --10-0 1
 --0-10 1
 .names pd0 pu pf0 pv ph0 pz ph [127]
 1--1--- 1
 -1--11- 1
 -11---1 1
 .names pq pb0 pr pm pn po [143]
 1----- 1
 -1---- 1
 --11-- 1
 ----11 1
 .names pa0 pd0 pe0 pf0 pg0 pw py [141]
 0-1---0 1
 0--1--0 1
 0---1-0 1
 01---00 1
 .names pf0 pj0 pc ph pj pk pm [151]
 -00-1-- 1
 -0--1-1 1
 ---0-11 1
 00---11 1
 .names pf0 pj0 pc ph pj pk pm [149]
 --00--- 1
 000---- 1
 ---01-1 1
 -00-10- 1
 00--1-1 1
 -0--101 1
 .names pr pm pn po [164]
 0-0- 1
 -00- 1
 0--0 1
 -0-0 1
 .names pr pd0 pw ph0 pz pm pn po [166]
 011---0- 1
 -11--00- 1
 011----0 1
 -11--0-0 1
 00-11--0 1
 -0-110-0 1
 .names pa0 pd0 pv pi0 pj0 pc ph [177]
 010-0-- 1
 00--00- 1
 -0-100- 1
 010---0 1
 .names pc0 pe0 [48] [49] [1005] [1007] [1014] [5]
 0-----1 1
 0---11- 1
 001--1- 1
 00-1-1- 1
 .names pa0 ph0 py po [14]
 0101 1
 .names pd0 pe0 pf0 pg0 pw pi0 py pj0 [15]
 0----10- 1
 ----110- 1
 01---0-1 1
 0-1--0-1 1
 0--1-0-1 1
 -1--10-1 1
 --1-10-1 1
 ---110-1 1
 .names pa0 pw py pc pe pf pg [44]
 0000000 1
 .names pa0 pd0 pi0 py pc pe pf pg [46]
 00-00000 1
 -0100000 1
 .names pa0 pd0 pi0 pj0 pj [34] [57] [997] [48]
 -0---1-- 1
 -0----1- 1
 00-01--1 1
 -0101--1 1
 .names pa0 pw py [151] [149] [1003] [49]
 -0-1-1 1
 000-1- 1
 .names pa0 pi0 py pj0 pj pk [57]
 0-0010 1
 -10010 1
 .names pc0 pd0 [18] [53] [210] [211] [972] [78]
 0-11--- 1
 00--1-1 1
 00---11 1
 .names pl0 [28] [47] [94] [99] [100] [986] [79]
 -1----1 1
 11-1--- 1
 111-1-- 1
 111--1- 1
 .names pr pg0 pi po [188] [189] [977] [94]
 00-01-1 1
 0-001-1 1
 00-0-11 1
 0-00-11 1
 .names pm [184] [188] [189] [979] [99]
 0-1-1 1
 -11-1 1
 0--11 1
 -1-11 1
 .names pd0 pe0 [102] [107] [181] [981] [100]
 00-1-- 1
 00--1- 1
 -01--1 1
 .names pa0 pr pf0 pg0 pi0 py pj0 pm [107]
 0010-0-- 1
 -01010-- 1
 -0100-1- 1
 0-10-0-0 1
 --1010-0 1
 --100-10 1
 .names pa0 pr pi0 py pj0 ph pi pm [181]
 00-00-0- 1
 -0100-0- 1
 -010-00- 1
 -00-100- 1
 0--00-00 1
 --100-00 1
 --10-000 1
 --0-1000 1
 .names pr ps pt pb pd pj pk pl [184]
 0--0---- 1
 0----00- 1
 00--10-- 1
 0-0--0-0 1
 .names pa0 pd0 pi0 py pj0 pc ph [188]
 00-000- 1
 -01000- 1
 -010-00 1
 -00-100 1
 .names pa0 pd0 pu py pj0 pa ph [189]
 010000- 1
 0100-00 1
 .names pa0 pr pd0 pu py pc [194]
 001001 1
 .names pc0 pd0 pk0 [18] [109] [210] [211] [202]
 0--11-- 1
 001--1- 1
 001---1 1
 .names pk0 [28] [56] [217] [229] [230] [961] [963] [203]
 -1-1---- 1
 -1-----1 1
 -11---1- 1
 111-1--- 1
 111--1-- 1
 .names pe0 pf0 pg0 px pi0 py pj0 ph [210]
 000-0-10 1
 000010-0 1
 .names pa0 pe0 pf0 pg0 px pi0 py pj0 [211]
 -0000100 1
 0000-000 1
 .names [30] [113] [177] [249] [937] [938] [939] [941] [217]
 -1-1---1 1
 -11-1-11 1
 11---111 1
 .names pa0 pr ph0 py pm pn po [219]
 0010-01 1
 0-10001 1
 .names pa0 pr pd0 pv py pa pm [225]
 001001- 1
 0-10010 1
 .names pr pd0 pu pv pi0 py pj0 pm [228]
 011010-- 1
 01100-1- 1
 -11010-0 1
 -1100-10 1
 .names pa0 pi0 py pj0 [952] [229]
 0-001 1
 -1001 1
 .names [3] [34] [119] [236] [237] [954] [957] [958] [230]
 1-1--1-- 1
 1--1--1- 1
 1---1-1- 1
 11-----1 1
 .names pr pe0 pb pc pe pf pg [236]
 00-0--- 1
 0-00000 1
 .names pd0 pe0 pe pf pg pm [237]
 -0---0 1
 1-0000 1
 .names pa0 pd0 pv py pc [249]
 01001 1
 .names pi0 py pj0 [28] [166] [267] [264]
 ---1-1 1
 10-11- 1
 0-111- 1
 .names pa0 pr ph0 py pz pm po [267]
 00101-0 1
 0-10100 1
 .names pu pv pc pm pn po [896]
 00100- 1
 0010-0 1
 .names pc0 pd0 pe0 pf0 pg0 ph0 pz [901]
 0000011 1
 .names pc0 pd0 pe0 pf0 pg0 [903]
 01000 1
 .names pw [40] [165] [164] [896] [901] [903] [914]
 -1--1-- 1
 --1--1- 1
 11-1--- 1
 1-1---1 1
 .names pu pv pw [918]
 100 1
 .names pq pb0 pc0 pd0 ph0 px pn po [922]
 00001001 1
 .names pc0 pd0 pe0 pf0 pg0 ph0 po [923]
 0000011 1
 .names pa0 pi0 py po [926]
 0001 1
 .names pv ph0 pz pn po [932]
 11-01 1
 111-0 1
 .names py pe pf pg [937]
 0000 1
 .names pi0 py pj0 ph [938]
 10-0 1
 0-10 1
 .names pg0 pk0 pi [939]
 01- 1
 -10 1
 .names pj pr [941]
 00 1
 .names pr pd0 pe0 pf0 pi pm [952]
 00000- 1
 -00000 1
 .names pd0 pe0 ph [954]
 000 1
 .names pa0 pf0 pv py pj0 ph [957]
 0-00-0 1
 00000- 1
 .names pr pd0 pb pc pe pf pg pm [958]
 -0-00000 1
 0000000- 1
 .names pf0 ph pj [51] [225] [228] [961]
 ----1- 1
 -----1 1
 1101-- 1
 .names pf0 ph pk [4] [51] [116] [219] [932] [963]
 ------1- 1
 ---1---1 1
 111-11-- 1
 .names ph0 pl0 po [972]
 01- 1
 -10 1
 .names ph0 pz pn [973]
 110 1
 .names pe pf pg pj pn [977]
 00001 1
 .names pg0 pe pf pg pi [979]
 0000- 1
 -0000 1
 .names pa0 pr pg0 py pi pm [981]
 0000-- 1
 00-00- 1
 0-00-0 1
 0--000 1
 .names pn po [4] [32] [103] [127] [194] [973] [986]
 0-----1- 1
 -0----1- 1
 ---1---1 1
 0--11--- 1
 -0-11--- 1
 0-1--1-- 1
 -01--1-- 1
 .names pj pm pn [989]
 -0- 1
 0-1 1
 .names pd0 pi0 pj0 pc pe pf pg ph [991]
 00100000 1
 .names pj0 pb pj pm [992]
 001- 1
 0-10 1
 .names ps pt py pd pl pn [997]
 110--0 1
 -100-0 1
 1-0-10 1
 --0010 1
 .names pa0 ps pt py pd pl pn [1003]
 0110--0 1
 0-100-0 1
 01-0-10 1
 0--0010 1
 .names [22] [155] [23] [44] [46] [989] [991] [992] [1005]
 --1---1- 1
 -----11- 1
 1-11---- 1
 1-1-1--- 1
 1--1-1-- 1
 1---11-- 1
 -1-1---1 1
 -1--1--1 1
 .names pg0 ph0 pz pm0 pi [1007]
 00-1- 1
 0-01- 1
 -0-10 1
 --010 1
 .names pd0 pe0 pf0 pg0 pw [1010]
 01--- 1
 0-1-- 1
 0--1- 1
 -1--1 1
 --1-1 1
 ---11 1
 .names pd0 pu pv pw ph0 po [1011]
 11-0-- 1
 1-10-- 1
 ---111 1
 .names px [17] [143] [141] [14] [15] [1010] [1011] [1014]
 ----1--- 1
 1--1---- 1
 --11---- 1
 1----1-- 1
 -1-----1 1
 -11---1- 1
 .end
	.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 [42] [50] [202] [203] [264] [914] [926] pn0
	-1----- 1
	--1---- 1
	---1--- 1
	----1-- 1
	-----1- 1
	1-----1 1
	.names pv pw [40] [179] [78] [79] [264] [914] po0
	----1--- 1
	-----1-- 1
	------1- 1
	-------1 1
	1011---- 1
	.names pv pw [50] [40] [179] [5] pp0
	--1--- 1
	-----1 1
	10-11- 1
	.names pq pb0 pc0 px [28]
	0000 1
	.names pc0 pd0 pe0 pf0 pg0 ph0 [42]
	000001 1
	.names [40] [173] [172] [171] [918] [922] [923] [50]
	-1---1- 1
	---1--1 1
	1-1-1-- 1
	.names pg0 pi [3]
	0- 1
	-0 1
	.names pi0 py pj0 [17]
	10- 1
	0-1 1
	.names pr pi0 py pj0 pm [4]
	010-- 1
	00-1- 1
	-10-0 1
	-0-10 1
	.names pa0 pe0 pf0 pg0 px pi0 py pj0 [18]
	-000-0-1 1
	-000010- 1
	0000-00- 1
	.names pf0 pj0 ph [22]
	--0 1
	00- 1
	.names ps pt pd pk pl pn [155]
	---0-- 1
	11---0 1
	-10--0 1
	1---10 1
	--0-10 1
	.names ps pt pb pd pj pk pl [23]
	--0---- 1
	----00- 1
	0--10-- 1
	-0--0-0 1
	.names pd0 pc pe pf pg [30]
	00000 1
	.names pa0 pq pb0 pc0 pd0 px py [40]
	0000100 1
	.names pa0 px pi0 py pj0 [165]
	--0-1 1
	-010- 1
	0-00- 1
	.names pa0 pr pd0 pi0 py pj0 pm [32]
	00--0-- 1
	0---0-0 1
	-0010-- 1
	-000-1- 1
	--010-0 1
	--00-10 1
	.names pa0 pf0 pi0 py pj0 ph [34]
	0--0-0 1
	--10-0 1
	--0-10 1
	00-00- 1
	-0100- 1
	.names ph0 pn po [47]
	--0 1
	00- 1
	.names pr pi0 py pj0 pm [173]
	010-- 1
	00-1- 1
	-10-0 1
	-0-10 1
	.names pr pm pn po [172]
	0-0- 1
	-00- 1
	0--0 1
	-0-0 1
	.names px pi0 py pj0 [171]
	-0-1 1
	010- 1
	.names pa0 pr pd0 pv pi0 py pj0 pm [51]
	00---0-- 1
	0----0-0 1
	-00-10-- 1
	-0-110-- 1
	-00-0-1- 1
	-0-10-1- 1
	--0-10-0 1
	---110-0 1
	--0-0-10 1
	---10-10 1
	.names pd0 pu pv ph0 pz [53]
	1-1-- 1
	-1-11 1
	.names pn po [56]
	0- 1
	-0 1
	.names pr pm pn po [179]
	0-0- 1
	-00- 1
	0--0 1
	-0-0 1
	.names pu pj0 pa ph [102]
	000- 1
	0-00 1
	.names pf0 ph [103]
	11 1
	.names pd0 pu pv ph0 pz po [109]
	110--- 1
	--111- 1
	--11-1 1
	.names ps pt pd pl pn po [116]
	----10 1
	0-1-0- 1
	-0-00- 1
	.names ps pt pd pk pl pn po [113]
	---0-0- 1
	-----10 1
	0-1--0- 1
	-0--00- 1
	.names pa0 pr pi0 py pj0 pm [119]
	00-0-- 1
	-010-- 1
	-00-1- 1
	0--0-0 1
	--10-0 1
	--0-10 1
	.names pd0 pu pf0 pv ph0 pz ph [127]
	1--1--- 1
	-1--11- 1
	-11---1 1
	.names pq pb0 pr pm pn po [143]
	1----- 1
	-1---- 1
	--11-- 1
	----11 1
	.names pa0 pd0 pe0 pf0 pg0 pw py [141]
	0-1---0 1
	0--1--0 1
	0---1-0 1
	01---00 1
	.names pf0 pj0 pc ph pj pk pm [151]
	-00-1-- 1
	-0--1-1 1
	---0-11 1
	00---11 1
	.names pf0 pj0 pc ph pj pk pm [149]
	--00--- 1
	000---- 1
	---01-1 1
	-00-10- 1
	00--1-1 1
	-0--101 1
	.names pr pm pn po [164]
	0-0- 1
	-00- 1
	0--0 1
	-0-0 1
	.names pr pd0 pw ph0 pz pm pn po [166]
	011---0- 1
	-11--00- 1
	011----0 1
	-11--0-0 1
	00-11--0 1
	-0-110-0 1
	.names pa0 pd0 pv pi0 pj0 pc ph [177]
	010-0-- 1
	00--00- 1
	-0-100- 1
	010---0 1
	.names pc0 pe0 [48] [49] [1005] [1007] [1014] [5]
	0-----1 1
	0---11- 1
	001--1- 1
	00-1-1- 1
	.names pa0 ph0 py po [14]
	0101 1
	.names pd0 pe0 pf0 pg0 pw pi0 py pj0 [15]
	0----10- 1
	----110- 1
	01---0-1 1
	0-1--0-1 1
	0--1-0-1 1
	-1--10-1 1
	--1-10-1 1
	---110-1 1
	.names pa0 pw py pc pe pf pg [44]
	0000000 1
	.names pa0 pd0 pi0 py pc pe pf pg [46]
	00-00000 1
	-0100000 1
	.names pa0 pd0 pi0 pj0 pj [34] [57] [997] [48]
	-0---1-- 1
	-0----1- 1
	00-01--1 1
	-0101--1 1
	.names pa0 pw py [151] [149] [1003] [49]
	-0-1-1 1
	000-1- 1
	.names pa0 pi0 py pj0 pj pk [57]
	0-0010 1
	-10010 1
	.names pc0 pd0 [18] [53] [210] [211] [972] [78]
	0-11--- 1
	00--1-1 1
	00---11 1
	.names pl0 [28] [47] [94] [99] [100] [986] [79]
	-1----1 1
	11-1--- 1
	111-1-- 1
	111--1- 1
	.names pr pg0 pi po [188] [189] [977] [94]
	00-01-1 1
	0-001-1 1
	00-0-11 1
	0-00-11 1
	.names pm [184] [188] [189] [979] [99]
	0-1-1 1
	-11-1 1
	0--11 1
	-1-11 1
	.names pd0 pe0 [102] [107] [181] [981] [100]
	00-1-- 1
	00--1- 1
	-01--1 1
	.names pa0 pr pf0 pg0 pi0 py pj0 pm [107]
	0010-0-- 1
	-01010-- 1
	-0100-1- 1
	0-10-0-0 1
	--1010-0 1
	--100-10 1
	.names pa0 pr pi0 py pj0 ph pi pm [181]
	00-00-0- 1
	-0100-0- 1
	-010-00- 1
	-00-100- 1
	0--00-00 1
	--100-00 1
	--10-000 1
	--0-1000 1
	.names pr ps pt pb pd pj pk pl [184]
	0--0---- 1
	0----00- 1
	00--10-- 1
	0-0--0-0 1
	.names pa0 pd0 pi0 py pj0 pc ph [188]
	00-000- 1
	-01000- 1
	-010-00 1
	-00-100 1
	.names pa0 pd0 pu py pj0 pa ph [189]
	010000- 1
	0100-00 1
	.names pa0 pr pd0 pu py pc [194]
	001001 1
	.names pc0 pd0 pk0 [18] [109] [210] [211] [202]
	0--11-- 1
	001--1- 1
	001---1 1
	.names pk0 [28] [56] [217] [229] [230] [961] [963] [203]
	-1-1---- 1
	-1-----1 1
	-11---1- 1
	111-1--- 1
	111--1-- 1
	.names pe0 pf0 pg0 px pi0 py pj0 ph [210]
	000-0-10 1
	000010-0 1
	.names pa0 pe0 pf0 pg0 px pi0 py pj0 [211]
	-0000100 1
	0000-000 1
	.names [30] [113] [177] [249] [937] [938] [939] [941] [217]
	-1-1---1 1
	-11-1-11 1
	11---111 1
	.names pa0 pr ph0 py pm pn po [219]
	0010-01 1
	0-10001 1
	.names pa0 pr pd0 pv py pa pm [225]
	001001- 1
	0-10010 1
	.names pr pd0 pu pv pi0 py pj0 pm [228]
	011010-- 1
	01100-1- 1
	-11010-0 1
	-1100-10 1
	.names pa0 pi0 py pj0 [952] [229]
	0-001 1
	-1001 1
	.names [3] [34] [119] [236] [237] [954] [957] [958] [230]
	1-1--1-- 1
	1--1--1- 1
	1---1-1- 1
	11-----1 1
	.names pr pe0 pb pc pe pf pg [236]
	00-0--- 1
	0-00000 1
	.names pd0 pe0 pe pf pg pm [237]
	-0---0 1
	1-0000 1
	.names pa0 pd0 pv py pc [249]
	01001 1
	.names pi0 py pj0 [28] [166] [267] [264]
	---1-1 1
	10-11- 1
	0-111- 1
	.names pa0 pr ph0 py pz pm po [267]
	00101-0 1
	0-10100 1
	.names pu pv pc pm pn po [896]
	00100- 1
	0010-0 1
	.names pc0 pd0 pe0 pf0 pg0 ph0 pz [901]
	0000011 1
	.names pc0 pd0 pe0 pf0 pg0 [903]
	01000 1
	.names pw [40] [165] [164] [896] [901] [903] [914]
	-1--1-- 1
	--1--1- 1
	11-1--- 1
	1-1---1 1
	.names pu pv pw [918]
	100 1
	.names pq pb0 pc0 pd0 ph0 px pn po [922]
	00001001 1
	.names pc0 pd0 pe0 pf0 pg0 ph0 po [923]
	0000011 1
	.names pa0 pi0 py po [926]
	0001 1
	.names pv ph0 pz pn po [932]
	11-01 1
	111-0 1
	.names py pe pf pg [937]
	0000 1
	.names pi0 py pj0 ph [938]
	10-0 1
	0-10 1
	.names pg0 pk0 pi [939]
	01- 1
	-10 1
	.names pj pr [941]
	00 1
	.names pr pd0 pe0 pf0 pi pm [952]
	00000- 1
	-00000 1
	.names pd0 pe0 ph [954]
	000 1
	.names pa0 pf0 pv py pj0 ph [957]
	0-00-0 1
	00000- 1
	.names pr pd0 pb pc pe pf pg pm [958]
	-0-00000 1
	0000000- 1
	.names pf0 ph pj [51] [225] [228] [961]
	----1- 1
	-----1 1
	1101-- 1
	.names pf0 ph pk [4] [51] [116] [219] [932] [963]
	------1- 1
	---1---1 1
	111-11-- 1
	.names ph0 pl0 po [972]
	01- 1
	-10 1
	.names ph0 pz pn [973]
	110 1
	.names pe pf pg pj pn [977]
	00001 1
	.names pg0 pe pf pg pi [979]
	0000- 1
	-0000 1
	.names pa0 pr pg0 py pi pm [981]
	0000-- 1
	00-00- 1
	0-00-0 1
	0--000 1
	.names pn po [4] [32] [103] [127] [194] [973] [986]
	0-----1- 1
	-0----1- 1
	---1---1 1
	0--11--- 1
	-0-11--- 1
	0-1--1-- 1
	-01--1-- 1
	.names pj pm pn [989]
	-0- 1
	0-1 1
	.names pd0 pi0 pj0 pc pe pf pg ph [991]
	00100000 1
	.names pj0 pb pj pm [992]
	001- 1
	0-10 1
	.names ps pt py pd pl pn [997]
	110--0 1
	-100-0 1
	1-0-10 1
	--0010 1
	.names pa0 ps pt py pd pl pn [1003]
	0110--0 1
	0-100-0 1
	01-0-10 1
	0--0010 1
	.names [22] [155] [23] [44] [46] [989] [991] [992] [1005]
	--1---1- 1
	-----11- 1
	1-11---- 1
	1-1-1--- 1
	1--1-1-- 1
	1---11-- 1
	-1-1---1 1
	-1--1--1 1
	.names pg0 ph0 pz pm0 pi [1007]
	00-1- 1
	0-01- 1
	-0-10 1
	--010 1
	.names pd0 pe0 pf0 pg0 pw [1010]
	01--- 1
	0-1-- 1
	0--1- 1
	-1--1 1
	--1-1 1
	---11 1
	.names pd0 pu pv pw ph0 po [1011]
	11-0-- 1
	1-10-- 1
	---111 1
	.names px [17] [143] [141] [14] [15] [1010] [1011] [1014]
	----1--- 1
	1--1---- 1
	--11---- 1
	1----1-- 1
	-1-----1 1
	-11---1- 1
	.end