Question: who sings the teenage mutant ninja turtles theme song
[{'answer': 'Chuck Lorre', 'provenance': [{'wikipedia_id': '1467951', 'title': 'Teenage Mutant Ninja Turtles (1987 TV series)', 'start_paragraph_id': 24, 'start_character': 337, 'end_paragraph_id': 24, 'end_character': 348, 'bleu_score': 1.0, 'section': 'Section::::Soundtrack.\n'}]}, {'answer': 'James Mandell ( aka Miles Doppler )'}, {'provenance': [{'wikipedia_id': '1467951', 'title': 'Teenage Mutant Ninja Turtles (1987 TV series)', 'start_paragraph_id': 24, 'start_character': 0, 'end_paragraph_id': 24, 'end_character': 580, 'bleu_score': 0.943372970740017, 'meta': {'yes_no_answer': 'NONE', 'annotation_id': 1674529254702814497}, 'section': 'Section::::Soundtrack.\n'}]}]