\set ECHO 0
SELECT cpf_valido(59328253241);
 cpf_valido 
------------
 t
(1 row)

SELECT 59328253241 #? AS cpf_valido;
 cpf_valido 
------------
 t
(1 row)

SELECT 37821042773 #? AS cpf_valido;
 cpf_valido 
------------
 t
(1 row)

SELECT 91416742433 #? AS cpf_valido;
 cpf_valido 
------------
 t
(1 row)

SELECT 91416000433 #? AS cpf_valido;
 cpf_valido 
------------
 f
(1 row)

SELECT 37821042003 #? AS cpf_valido;
 cpf_valido 
------------
 f
(1 row)

SELECT NOT 37821042003 #? AS cpf_valido;
 cpf_valido 
------------
 t
(1 row)

SELECT NOT 91416000433 #? AS cpf_valido;
 cpf_valido 
------------
 t
(1 row)

CREATE TABLE pessoa (
    nro_cpf cpf
);
INSERT INTO pessoa VALUES(88229346798);
INSERT INTO pessoa VALUES(45476684425);
SAVEPOINT cpf_invalido;
INSERT INTO pessoa VALUES(45076684425);
ERROR:  value for domain cpf violates check constraint "cpf_check"
ROLLBACK TO cpf_invalido;
SAVEPOINT cpf_invalido;
INSERT INTO pessoa VALUES(81249396798);
ERROR:  value for domain cpf violates check constraint "cpf_check"
ROLLBACK TO cpf_invalido;
ROLLBACK;