Tekstiviesti: Computing LOGCFL Certificates