9001 bis 9100 (von insgesamt 11586)
Execution time (seconds): ~2.217751