Как получить начальные и конечные индексы последовательных групп данных в пандах?

Данный

import pandas as pd

df = pd.DataFrame({
    "a":  [1, 1, 1, 2, 2, 2, 2, 3, 3, 3, 3, 1, 1, 2, 2, 3, 3, ],
})
print(df)

    a
0   1
1   1
2   1
3   2
4   2
5   2
6   2
7   3
8   3
9   3
10  3
11  1
12  1
13  2
14  2
15  3
16  3

Мне нужно рассчитать следующий результат:

res_df = pd.DataFrame({
    "starts": [0, 3, 7, 11, 13, 15],
    "ends": [3, 7, 11, 13, 15, 17]
})
print(res_df)

   starts  ends
0       0     3
1       3     7
2       7    11
3      11    13
4      13    15
5      15    17

Если бы значения не дублировались, я мог бы сделать что-то вроде обнуления всех дубликатов, сохраняя длину группы в groupby, а затем cumsum.

Однако есть дубликаты, и порядок должен быть сохранен.

Есть ли способ сделать это в пандах?

В качестве продолжения я хотел бы рассчитать starts и ends только для df["a"] == 3, если бы это было менее затратным в вычислительном отношении.