The term formal semantics is identified in base64 scheme by the sequence Zm9ybWFsIHNlbWFudGljcw==, while the MD5 signature is equal to d3113eb2b3323eee5931298c9ea3582f. The ASCII encoding of formal semantics in hexadecimal notation is 666f726d616c2073656d616e74696373.