Urkunden Judo 64-1328
Execution time (seconds): ~2.265381