tai42-contract<11,>=10.0
