PVS

0

Execution time 0.054537 sec