(program 0.0.0 [[[(builtin verifyEd25519Signature)
	(con bytestring #0445e456dacc7d5b0bbed23c8200cdb74bdcb03e4c7b73f0a2b9b46eac5d4372)]
	(con bytestring #7368724a5b0efb57d28d97622dbde725af)]
	(con bytestring #3653ccb21219202b8436fb41a32ba2618c4a133431e6e63463ceb3b6106c4d56e1d2ba165ba76eaad3dc39bffb130f1de3d8e6427db5b71938db4e272bc3e20b)])
