# isabelle_session_info

session_name: VolpanoSmith
input_heaps: 728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de
sources:
07c3d0c0260d24e84312ea07322f84eb50610fe6
15649c4dd41463e761306162c948ea79ce836419
43a788035c378e986edf224750a85551aba4b61c
6918709c5cea4390c2aa9b7a9c411fb9b9e72799
7e04ad2d81aad700a3243fc642ee04707d75e34b
8d8e5854f33fff58a9ec327ea3350411fee5e5b2


