tst.precondi.d.out
[
plain text
]
The value is 5