Deakstadieđáhus: Computing LOGCFL Certificates