Absolutely no idea. Even looking at my IBI ( rates ) bill provides no clues for me.
Never known an estate agent to check with local Ayuntamiento. Vendor wants a certain price and EA’s stick their commission on top.
Bottom line is at the end of day the buyer is held responsible if it is thought black money was part of the “cheap” deal.