9401 bis 9500 (von insgesamt 11382)
Execution time (seconds): ~3.084783