fpylll >=0.5.5, <=0.5.6
