SINISTRO (Explicit)

TDFA (Explicit)