#1506 (Apr 14, 2018, 8:32:12 AM)

	Changes moved lemmas, LLL_gs_bounds independent of i (detail / hgweb)
	Started by an SCM change
	This run spent: 9.3 sec waiting; 3 min 47 sec build duration; 3 min 56 sec total from scheduled to completion.
	Revision: 369d1fc7a6e926c35970bf454e4662807cc9020e

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1506	( 3 min 12 sec )	Console Output