# isabelle_session_info

session_name: VolpanoSmith
input_heaps: 3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd
sources:
07c3d0c0260d24e84312ea07322f84eb50610fe6
43a788035c378e986edf224750a85551aba4b61c
6918709c5cea4390c2aa9b7a9c411fb9b9e72799
7a3b19e2d6f7d46158c1d7c7f816177889e9ecea
7e04ad2d81aad700a3243fc642ee04707d75e34b
8d8e5854f33fff58a9ec327ea3350411fee5e5b2


