Files
Paniel_the_Automata_temporary/Cont/Languages/Korean/DefInjected