1: \begin{abstract}

2: We study probability measure preserving (p.m.p.) non-free actions of free groups and the associated IRS's. The perfect kernel of a countable group $\Gamma$ is the largest closed subspace of the space of subgroups of $\Gamma$ without isolated points.

3: We introduce the class of totipotent ergodic p.m.p.\ actions of $\Gamma$: 

4: those for which almost every point-stabilizer has dense conjugacy class 

5: in the perfect kernel. Equivalently,

6:  the support of the associated  IRS is as large as possible,

7:  namely it is equal to the whole perfect kernel.

8: We prove that every ergodic p.m.p.\ equivalence relation $\RR$ of cost $<r$ can 

9: be realized by the orbits of an action of the free group $\FF_r$ on $r$ generators that is totipotent and such that the image in the full group $[\RR]$ is 

10: dense. We explain why these actions have no minimal models.

11: 	This also provides a continuum of pairwise orbit inequivalent invariant random subgroups of $\FF_r$, all of whose supports are equal to the whole space of infinite index subgroups.

12: We are led to introduce a property of topologically generating pairs for full groups (we call evanescence) and establish a genericity result about their existence. 

13: We show that their existence characterizes cost $1$. 

14: \end{abstract}

15: