Urkunden Judo 85-1328
Execution time (seconds): ~2.263246