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