Activity for irit_diff_sequences

1