Extended Data Fig. 1: (Related to Fig. 2): The sequencing analyses of Hmgcs2-targeted mice.

a, Sanger sequencing results of two lines (#9 and #10) of Hmgcs2 KO heterozygote mice. b, Alignments with the reference sequence of Hmgcs2. Green box represents the first ATG (start codon). Blue box represents the second ATG.