#1453 (Mar 21, 2018, 9:02:15 AM)

	Changes formal proof that f-vectors in LLL-algorithm stay small (detail / hgweb)
	Started by an SCM change
	This run spent: 8.2 sec waiting; 7 min 17 sec build duration; 7 min 25 sec total from scheduled to completion.
	Revision: 51a113d2211df6c6fb0e13c22ad9e23cbfad36da

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1453	( 6 min 49 sec )	Console Output