Build #716 (Jul 5, 2022, 5:57:10 PM)

1. added lemmas total_on_trancl and totalp_on_tranclp (detail / hgweb)
2. Move code lemmas for symbolic computation of bit operations on int to distribution. (detail / hgweb)

Started by an SCM change

This run spent:

• 9.6 sec waiting;
• 3 hr 37 min build duration;
• 3 hr 37 min total from scheduled to completion.