$FILE_FORMAT_VERSION
	Version 1.1;
$END
$VECTOR_PREFERENCE
	descending;
$END
$TIMESTAMP
	1136308049=5-ether12-clkbuf_1x_hv;
	1136308050=5-ether12-clkbuf_1x_hv6-symbol;
	1136308050=5-ether10-and2_1x_hv;
	1136308050=5-ether10-and2_1x_hv6-symbol;
	1136308051=5-ether9-dff_1x_hv;
	1136308051=5-ether9-dff_1x_hv6-symbol;
	1136308052=5-ether10-dffr_2x_hv;
	1136308052=5-ether10-dffr_2x_hv6-symbol;
	-1=5-basic4-opin;
	1133906591=5-basic4-opin6-symbol;
	-1=5-basic4-ipin;
	1133906589=5-basic4-ipin6-symbol;
	1136387713=verilog.vams;
$END
