Tsc2^tm2.1Djk

A loxP and a loxP-neo-loxP cassette flanked exon 3 of Tsc2 which consists of 111 bp, encoding 37 amino acids near the N terminus of the protein (note that in some schemes this is counted as exon 4; however in accordance with human TSC2 gene, it is denoted this as exon 3, labeling a 5' untranslated exon as 1a). The neo cassette was removed in ES cells by transient cre expression leaving exon 3 floxed. (J:149326)