Tiny2040 clock frequency

Hi,
What is the external XOSC frequency and default clk_sys on the Tiny 2040?
12Mhz & 133Mz respectively? Like the RPI Pico?
Thank you