I'm sorry, I haven't translated the comments to English.
#define Button1 13 //Corresponde a R (LED Vermelho)
The "//Corresponde a R (LED Vermelho)" translated to English means "Matches to a R (Red LED)", the pin 13 it is just a button in front of a LED.