#540 (Jan 28, 2018, 12:50:10 AM)

1. tuned output; (detail / hgweb)
2. tuned; (detail / hgweb)
3. explicit graph for chains, which contains all nts as nodes; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned; (detail / hgweb)
6. prefer lazy update; (detail / hgweb)
7. tuned output; (detail / hgweb)
8. more operations; (detail / hgweb)
9. include lemmas generally useful for combinatorial proofs (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.