The width of the tool used to cut 10 mm pitch square thread is