Contents of residuation-analysis-3.0.0