../ phonenumbers-AT.def 09-May-2024 19:40 91144 phonenumbers-DE.def 09-May-2024 19:40 376886 phonenumbers-FR.def 09-May-2024 19:40 16962 phonenumbers-UK.def 09-May-2024 19:40 101083 phonenumbers-US.def 09-May-2024 19:40 45409 phonenumbers.sty 09-May-2024 19:40 33389