Collection of random codings