Colt 6731 trigger/hammer pin size?

[TAman19]

Do Colt 6731’s use standard .154 size trigger/hammer pins? Or the larger .17? pins?

Thanks