Estadísticas de Proof-term reconstruction from TSTP to Agda