No functional change|Conditional ready TSC2<flox> http://identifiers.org/mgd/MGI:3795269 MGI:3795269 Tsc2<tm1Kido> targeted mutation 1, Yoshiaki Kido