generated a, b0 , F