s a: 5′-CCCCGGCCCTCACCCTCATCTTCG-3′, from the PuΔTK gene, assays targeting of Flox