name the tv show whose opening theme is paulinho da viola and the subsequent work is o casarão ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_openingTheme dbr_Paulinho_da_Viola sep_dot var_uri dbo_subsequentWork dbr_O_Casarão sep_dot var_uri a dbo_TelevisionShow brack_close