The WT loxP and loxP257 differ in their spacer sequences: the spacer sequence is 5′-ATGTATGC-3′ for WT loxP and 5′-AAGTCTCC-3′ for loxP257.