tai42-contract<0.4,>=0.3
