?i FdZddlmZddlddlmZmZd dZd dZd dZ y) a*Postcode (the Spanish postal code). The Spanish postal code consists of five digits where the first two digits, ranging 01 to 52, correspond either to one of the 50 provinces of Spain or to one of the two autonomous cities on the African coast. More information: * https://en.wikipedia.org/wiki/Postal_codes_in_Spain >>> validate('01000') '01000' >>> validate('52000') '52000' >>> validate('00000') Traceback (most recent call last): ... InvalidComponent: ... >>> validate('53000') Traceback (most recent call last): ... InvalidComponent: ... >>> validate('99999') Traceback (most recent call last): ... InvalidComponent: ... >>> validate('5200') Traceback (most recent call last): ... InvalidLength: ... >>> validate('520000') Traceback (most recent call last): ... InvalidLength: ... ) annotations)*)cleanisdigitsc6t|djS)z1Convert the number to the minimal representation. )rstripnumbers \/var/www/html/myprovider/mon_projet_qr/lib/python3.12/site-packages/stdnum/es/postal_code.pycompactr ?s   # # %%ct|}t|dk7r tt|s t d|ddcxkrdkst t |S)4Check if the number provided is a valid postal code.01N52)r len InvalidLengthr InvalidFormatInvalidComponentr s r validaterDs^ V_F 6{ao F o 6"1: % %   &  MrcJ tt|S#t$rYywxYw)rF)boolrValidationErrorr s r is_validrPs)HV$%% s  ""N)r strreturnr)r rrr) __doc__ __future__rstdnum.exceptions stdnum.utilrrr rrrr r%s%*"H#'& r