Vampire

0

Execution time 0.0074880000000001 sec