Urkunden Judo 61-423
Execution time (seconds): ~2.363310