update LLL_Flint