Urkunden Judo 29-655
Execution time (seconds): ~2.725053