64-tooth module 1.0 gear, 20-degree pressure angle, 7mm bore

This is a 64-tooth gear, module 1.0, 20-degree pressure angle, with a 7mm bore, 25mm hub, and 2.5mm setscrew hole (for a 3mm grub screw). It fits well with the gear from

https://www.thingiverse.com/thing:944471

or this one

https://www.thingiverse.com/thing:2610850