sagelite_database_symbolic_data
