sagelite-database-symbolic-data