tai42-contract<7,>=6.0
