tai42-contract<9,>=8.0
