tai42-contract<13,>=12.0
