TM test

Settings

Σ:
Γ: