tai42-contract<6,>=5.0
