# isabelle_session_info

session_name: VolpanoSmith
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
07c3d0c0260d24e84312ea07322f84eb50610fe6
2763c8b1569066e01cd44aaf0d1f878ed49f778f
43a788035c378e986edf224750a85551aba4b61c
6918709c5cea4390c2aa9b7a9c411fb9b9e72799
7e04ad2d81aad700a3243fc642ee04707d75e34b
8d8e5854f33fff58a9ec327ea3350411fee5e5b2


