I often run into this problem when working on Isabelle code and simply = changing a ... by smtp2.science.ru.nl (8.15.2/5.32) with ESMTPSA id 0A3DiDq5008562 for ... The ML part of the code in the second email was meant to look like the code ... Waa5Maw0KYlaiPJqBXSZQCD7LfUZM ​TvVRGCAwVSQDYK3Zj066 y35R/ ...