Animals were housed under constant temperature and humidity on a 12-hr light-dark cycle (light 6 am–6 pm) with food and water available ad libitum (except during behavioral analysis). Mixed genotypes were housed together in groups of 2–5, separated by sex. All procedures were performed in the light cycle using IACUC-approved protocols for animal handling at the Salk Institute.
