4070-02

Execution time (seconds): ~0.139160