Urkunden Judo 51-655
Execution time (seconds): ~2.813092