Urkunden Judo 6-233
Execution time (seconds): ~2.448408