A, B. The PCR products were separated by 1% agarose gel electrophoresis. B6-blank control; and N-negative control. C. Genotyping was performed by sequencing; the different deletion locations and fragments of the three types of mutants are shown. The numbers #392, #394, #421, #381, and #409 are representative numbers of all homozygous mice.