Urkunden Judo 46-15
Execution time (seconds): ~0.205706