-- This is a valid encoding with the sign bit set (obtained by hashing 0x0102030405 to G1)
(program 0.0.0
(con bls12_381_G1_element 0xa1e9a0c68985059bd25a5ef05b351ca22f7d7c19e37928583ae12a1f4939440ff754cfd85b23df4a54f66c7089db6deb)
)