Urkunden Judo 92-655
Execution time (seconds): ~2.283148