Mirror of the FGL library