Back to 2aig summary page.