tai42-contract<2,>=1.0
