Raspberry pi pico & arduino mbed os, whats the pinout?

Straightforward pins 0-29 go to the pins labeled gp0-29 on the PICO (gp29 might be labeled AREF)