what are the television shows whose network is islamic republic of iran broadcasting ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_network dbr_Islamic_Republic_of_Iran_Broadcasting sep_dot var_uri a dbo_TelevisionShow brack_close