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