Urkunden Judo 3-233
Execution time (seconds): ~2.349680