Consider the forcing notion(s) introduced by Friedman (or Mitchell or Neeman) for adding a club subset of $\omega_2$ by finite conditions. In the generic extension CH fails, but I can't see the reals added by the forcing. Would you please give an explicit construction of $\aleph_2$-many reals in the generic extension by these forcings. Can we determine if the added reals are Cohen, Random, or ....

**Remark.** The question applies to many similar forcing constructions, in particular to the forcings introduced in Neeman's paper.

**References.**

1) Friedman, Forcing with finite conditions. Set theory, 285–295, Trends Math., Birkhäuser, Basel, 2006.

2) Mitchell, Adding closed unbounded subsets of $\omega_2$ with finite forcing. Notre Dame J. Formal Logic 46 (2005), no. 3, 357–371.

3) Neeman, Forcing with sequences of models of two types.