C57bl 6 mice

All experiments were performed in accordance with the Guide for the Care
and Use of Laboratory Animals and were approved by the National Institutes of
Health and the Committee and Animal Care at Massachusetts Institute of
Technology. C57BL/6 mice were purchased from Taconic (USA), and
Nestin-cre (003771), PV-cre (008069), and
vGluT2-cre (016963) mice from Jackson laboratory (USA).
IL-17Ra^fl/lfl mice were described
previously^{42 (link)}. All mice
were crossed and maintained in-house with C57BL/6 mice from Taconic. Mice were
analyzed with the following primers for the presence of SFB using qPCR: SFB736-F
5′-GACGCTGAGGCATGAGAGCAT-3′, SFB844-R:
5′-GACGGCACGGATTGTTATTCA-3′ for SFB; UniF340
5′-ACTCCTACGGGAGGCAGCAGT-3′, UniR514
5′-ATTACCGCGGCTGCTGGC-3′ for total commensal bacteria.
IL-17Ra^fl/fl animals were crossed with
Nestin-cre to remove IL-17Ra in the brain. The following
primers were used to genotype progenies: IL-17Ra-flox-1-F
5′-GGCAGCCTTTGGGATCCCAAC-3′, IL-17Ra-flox-2-R
5′-CTACTCTTCTCACCAGCGCGC-3′ for WT 336bps/Floxed 377bps;
IL-17Ra-flox-2-R, IL-17Ra-flox-3-F 5′-GTGCCCACAGAGTGTCTTCTGT-3′
for KO 478bps; and Cre-F 5′-GCGGTCTGGCAGTAAAAACTATC-3′, Cre-R
5′-GTGAAACAGCATTGCTGTCACTT-3′ for Nestin-cre 100bps. For gender
discrimination of each embryo, PCR was carried out using sry(sex-determining region of the Y chromosome) gene specific primers:
5′-ACAAGTTGGCCCAGCAGAAT-3′, and
5′-GGGATATCAACAGGCTGCCA-3′.

Adult male C57BL/6 mice (Taconic, Germantown, NY) or transgenic mice [25 (link)] were used in all experiments. All procedures were approved by the Committee on Animal Care at the Massachusetts Institute of Technology and the Animal Care and Use Review Office at the U.S. Army Medical Research and Materiel Command.