# isabelle_session_info

session_name: VerifyThis2018
sources: f4c35a80aed3e8a12382f2c4e717bb952398e7db
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
1f5bcbec8f55bc0ed456fc270a580830373f3698
607ffd3c50e55ffbd3656cf0cf99269ad459cedb
e2dd09fa421fe29871b3c679b2f028468eab7f89
163ac321249b1e4c14fb738b00913c5a9f8b5624
653c540945153b933c62f42a5440899ab171c2a8
e1f7ba5a4723410d673bc022efc8129c42420900


