Foxp3EGFPCre, Foxp3YFPCre, CD4Cre,
Rptorfl/fl, Foxo1fl/fl, R26YFP and
Rag1–/– mice were obtained from the Jackson Laboratory.
Rictorfl/fl mice were obtained from the Mutant Mouse Regional Resource Center.
R26Foxo1AAA and Pfkfb3fl/fl mice were generated as described
33 (link), 41 (link).
Foxp3K276X, Foxp3EGFP, CD45.1
Foxp3
EGFP, Foxp3ΔEGFPiCre and their respective
crosses were backcrossed 8–10 generations on C57/BL6/J, excepted
Foxp3ΔEGFPiCreFoxo1Δ/Δ and
Foxp3ΔEGFPiCreRictorΔ/ΔFoxo1Δ/Δstrain. A list of all mouse strains used is reported in Supplementary Table
1
. Excepted when it was specified, 25–28 days old mice were used in this study. The mice were housed under
specific pathogen-free conditions and used according to the guidelines of the institutional Animal Research Committees at the
Boston Children’s Hospital.