-- 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 #9483141c933166b61990a706aca07f467d22bc34c6552f5bba91cb1fc21db51d03dfff6523a5e1b4285d54c47660eda1)
 ]
)