Urkunden Judo 52-655
Execution time (seconds): ~2.254736