Input file for test_seek.pl