Raspberry Pi Pico: controle independente de 2 LEDs com 2 botões (GP12-13 + GP4-5)

2 botões, 2 LEDs — totalmente independentes! Cada botão controla seu próprio LED: ao pressionar BTN1, o LED vermelho acende; ao pressionar BTN2, o LED verde acende. Se você pressionar os dois ao mesmo tempo, ambos os LEDs acendem (operação em paralelo). Aprenda **gerenciamento de vários objetos Pin** (várias entradas e saídas ao mesmo tempo), **operador ternário** (`1 if x else 0` — if-else compacto do Python), **controle independente de I/O** (lógica de operação em paralelo) e **mapa de GPIO**…