in which brazil state is mário de andrade library located ?
select distinct var_uri where brack_open dbr_Mário_de_Andrade_Library dbp_location var_uri sep_dot var_uri dbo_country dbr_Brazil sep_dot brack_close