4070-01

Execution time (seconds): ~0.129826