A history of filecutting and how it was replaced by industrial processes. Materializing Sheffield - A Filecutter's Hammer from the Hawley Collection
And a quote from that:
"The speed at which early filesmiths could cut a file is not known, but at the beginning of the 19th century, a boy was timed cutting a three-square file, 5 inches long, with a 'double' cut, i.e. having two sets of teeth cut into each side. (Rees, 1819, 374). The file had 1,350 teeth and the boy made 225 strokes per minute, taking about 6 minutes to cut the file! Fremont, in 1920, writes that a filecutter using a five kilogram hammer (c.10 lbs) could make 88 strokes per minute, but averaged 50, while a hammer weighing two and a half kilos, allowed a filecutter to make 114 strokes per minute, averaging 75. This is a much lower rate than the slightly unbelievable rate of the 19th century boy, but the boy would have used a much lighter hammer."