-- This contains a value which is not the x-coordinate of a point on the E2 curve.
(program 0.0.0
 [
  (builtin bls12_381_G2_uncompress)
  (con bytestring #87861839e602fc5dfa0d0b72232dd81d2b0e4b660a7eba353da27e66ceaf2d6c7734925247281866a12d67752a1edaad01ea59e4e86e2e85a81a573cd68f6dfb526558d81a8f488f261f355ddac23f6caf07d27fda71d8f3968d4ceeda89a09d)
 ]
)