Raspberry Pi Pico Dice Programmed with CircuitPython