tai42-contract<10,>=9.0
