what is the show which opens with marina lima and marina lima ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_openingTheme dbr_Marina_Lima sep_dot var_uri dbo_openingTheme dbr_Marina_Lima sep_dot var_uri a dbo_TelevisionShow brack_close