Back to synthesis

Detailed evidence

Verbatim committed records; historical analysis is preserved. The current BDD tables use the exclusion sensitivity.

Source checksums