ByNobleID
    Seas of squares with sizes from a $\Pi^0_1$ set | NobleID