(program 0.0.0 [[[(builtin verifyEd25519Signature)
	(con bytestring #a2eb8c0501e30bae0cf842d2bde8dec7386f6b7fc3981b8c57c9792bb94cf2dd)]
	(con bytestring #b87d3813e03f58cf19fd0b6395)]
	(con bytestring #d8bb64aad8c9955a115a793addd24f7f2b077648714f49c4694ec995b330d09d640df310f447fd7b6cb5c14f9fe9f490bcf8cfadbfd2169c8ac20d3b8af49a0c)])
