Genetic Mouse Models for Research

C57BL/6J mice were purchased from Japan SLC. Ly5.1 mice were maintained in IRCMS, Kumamoto University. NSG mice were purchased from Charles River Laboratories Japan. NSGS mice for PDX experiments were purchased from the Jackson Laboratory. p53^−/− mice, in which 5′ part of exon 2 including translation initiation site of Trp53 gene was replaced with Neomycin resistance gene, were provided from the RIKEN BioResource Center (Ibaragi, Japan)^{42 (link)}. Hif1α^flox/flox mice^{43 (link)} were provided from Dr. Randall S. Johnson, and were crossed with Rosa26-Cre-ERT2 mice (Taconic). Rosa26-LSL-Cas9 knockin mice were purchased from Jackson Laboratory^{44 (link)}. C57BL/6-Tg(CAG-EGFP) mice were purchased from Japan SLC. The primer sequences for genotyping are provided in Supplementary Table 2. All animal studies were approved by the Animal Care Committee of the Institute of Medical Science at the University of Tokyo (approval number: PA13-19, PA15-100, PA17-75), and were conducted in accordance with the Regulation on Animal Experimentation at University of Tokyo based on International Guiding Principles for Biomedical Research Involving Animals.