[STRATEGY-LIST]
Normal=True, 1385910337
[synthesis-type]
tool=Synplify