translation to improve
This was sent by František Blahoudek.
The translation of FGa | GFb&GFc was recently improved (#260 (closed)) to a 3-state TGBA:
% ltl2tgba 'FGa | GFb&GFc'
However it could be reduced further by merging states 1 and 2:
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information