# isabelle_session_info

session_name: VerifyThis2018
sources: b452b02c07e8dd42a759b20a481410c79d0cf1b9
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
964183943647a3fc0d559025d2c32108d727845f
7178df41b23c03d70a18770049a914dedd17da3a
138f92f21a3988bb35f15edea16cad5963be6606
5e9d8a3caecc9b92a89d9daca89896a93c2d3a76
7fab5af68d2e02497690f2f3ae50591c87c58a9f
987d66600565603976abace2150b3eb5b41d4816


