Notice: Write a Python function by using abstract list functions!

Note: You must not use explicit recursion for this question, nor loops. You may use abstract list functions though. In Twitter, it is possible to search through tweets for specific tweeter. For the purpose of this question, we will represent a Twitter tweet (containing the tweet number, the tweeter name, and the body) as a single string with the following format. "#N.-@name:-Body". (You may assume that" appears only twice in a tweet) For example, "#1:-@DanClark:-The party was amazing" corresponds to tweet #1, the tweeter name is "DanClark", and the body is "The party was amazing" You may assume that N>0, the tweeter and the body are non-empty. Write a Python function search_tweets, that consumes tweets, a list of strings in the format described above, and tweeter, a nonempty string, and returns a list of Nat, containing the tweet numbers of every string in tweets which the sender name is tweeter