-- This contains a value which is not the x-coordinate of a point on the E1 curve.
(program 0.0.0
 [
  (builtin bls12_381_G1_uncompress)
  (con bytestring #864cc4f64b12ca99ecdd1962572e6add609d9c619aab678b3fc298bc2f0f81feb4f0d3ebad7e850a8bcb52ca467e649d)
 ]
)