Thy1^tm1.1Saal

L1L2_Bact_P cassette被插入到染色体9的43,957,515号位置，位于exon 3的上游（基于GRCm39构建）。该 cassette 包含FRT位点、lacZ序列和一个loxP位点，随后是由人类β-actin启动子驱动的诺卡因抗性基因、SV40polyA以及第二个FRT位点和第二个loxP位点。第三个loxP位点位于exon 3下游的43,958,419号位置。因此，exon 3被loxP位点所 flank。通过在携带这种等位基因的小鼠中表达flp重组酶，创建了一个“条件准备”（floxed）基因型。如果没有flp表达而有cre表达，将产生一个报告基因敲除小鼠（J:319158）。