-- This contains a value which is the x-coordinate of a point which lies on the
-- E2 curve but not the G2 subgroup.
(program 0.0.0
 [
  (builtin bls12_381_G2_uncompress)
  (con bytestring #8bd83699f607412448d202d948bb111badd456d68086ff9a5906ea3b2cda4111d3638391f7a7b153eea77ab47215d6fe13b350f59f884c6e31ac087239d9145b816424cba2c8bcb7b3ed7e19638089d91e5c9136d2aefc8da165284b42229a70
)
 ]
)