# isabelle_session_info

session_name: VerifyThis2018
sources: 32b49b54b227d27e6c2d17fcc6f76857a0ccb9a2
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
388404ca9f9d9a44acefae5395149c5a7edcde3c
4774b27fc112db14dc00cdcbabe06f2ea3ebcd2c
749960aee6aa2f60467f1ed97969bc17fb49410d
9569bc99a5c2fddaad5a172299b0fcbbeec42b86
7e417dcbfdec70aed7be782bda8d26b3644e9545
5bc2f85f9c4b142c07171dcefe8fce7c76791ac5


