(program 0.0.0 [[[(builtin verifyEd25519Signature)
	(con bytestring #f81fb54a825fced95eb033afcd64314075abfb0abd20a970892503436f34b863)]
	(con bytestring #4284abc51bb67235)]
	(con bytestring #d6addec5afb0528ac17bb178d3e7f2887f9adbb1ad16e110545ef3bc57f9de2314a5c8388f723b8907be0f3ac90c6259bbe885ecc17645df3db7d488f805fa08)])
