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