SHANK3 and insomnia measurement: Shank3∆C mutants were chosen for this study as mice with Shank3 mutations recapitulate multiple features of ASD including deficits in social behavior, cognitive impairments, and key insomnia phenotypes such as sleeping less and delayed seep onset following SD [8, 17, 19, 21, 25, 35].