update with f4-seq examples