#553 (Nov 15, 2016, 9:59:05 PM)

1. merge (detail / hgweb)
2. improved mignotte bound (detail / hgweb)
3. tuning (detail / hgweb)
4. simplified proof (detail / hgweb)
5. removed deadcode (detail / hgweb)
6. tuned proof (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 10 min build duration;
• 10 min total from scheduled to completion.