Urkunden Judo 88-1223
Execution time (seconds): ~2.719206