TABLE 1.

Primer sequences for PCR genotyping^a

Primer name	Sequence
mKE2aF	5′-AAAATAAAGTGGCAGGGTCTGGTC-3′
LacZ4R	5′-CCTGTAGCCAGCTTTCATCAAC-3′
Keap1-4exF	5′-GGAATGAGTGGCGGATGATCAC-3′
Keap1-6exR	5′-TGCTTCAGCAGGTACAGTTTTG-3′
Keap1-2ndintR	5′-CAGTTTTCCTCCAGCCTGTC-3′
Keap1-d132	5′-CGGGATCCCCATGGAAAGGCTTATT GAGTTC-3′
TV-Neo	5′-TCAGAGCAGCCGATTGTCTGTTGTG CCCAGTCAT-3′
Keap1-2exF	5′-CCGGGAGTATATCTACATGCAC-3′
Keap1-3exR	5′-CAGCGTGAGCTCCTGGAATATC-3′

^aThe genotypes of the mice were determined by PCR. Primers for PCR genotyping were as follows: mKE2aF and LacZ4R for the KRD-LacZ transgene; Keap1-4exF and Keap1-6exR for KRD-Keap1 and its mutant transgenes; and Keap1-2ndintR, Keap1-d132, and TV-Neo for wild-type and targeted Keap1 alleles. The presence of the KRD-Keap1(C273A) or KRD-Keap1(C288A) transgene was detected by PCR with primers Keap1-2exF and Keap1-3exR, followed by digestion with SnaBI. PCR products derived from KRD-Keap1(C273A) and KRD-Keap1(C288A) were distinguished by the presence and absence of the SnaBI site, respectively.