-- This value was obtained by hashing 0x0102030405 to G2 and has the compression
-- bit set, so uncompression should succeed.
(program
  0.0.0
  (con
    bls12_381_G1_element
    0xa1e9a0c68985059bd25a5ef05b351ca22f7d7c19e37928583ae12a1f4939440ff754cfd85b23df4a54f66c7089db6deb
  )
)