ByNobleID
    artifact for Lexicographic Ranking Supermartingales with Lazy Lower Bounds of POPL'24 | NobleID