In the Hagadah after enumerating the plagues, there are 3 paragraphs deriving the number of plagues in Egypt and at the Sea of Reeds - by Rabbi Yosi Haglili, Rabbi Eliezer and Rabbi Akiva.
What's the original source of these? I couldn't find it in a Gemarah. Is it in a Tosefta, maybe?