#1254 (Oct 30, 2017, 2:49:05 PM)

1. generalized some lemmas on multisets (detail / hgweb)
2. rule out pathologic instances (detail / hgweb)
3. tuned some proofs and added some lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 3 hr 9 min build duration;
• 3 hr 14 min total from scheduled to completion.