# isabelle_session_info

session_name: VolpanoSmith
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
07c3d0c0260d24e84312ea07322f84eb50610fe6
43a788035c378e986edf224750a85551aba4b61c
5fe372e4c5dd92b1163ab3beee6000c7b5a6956b
6918709c5cea4390c2aa9b7a9c411fb9b9e72799
7e04ad2d81aad700a3243fc642ee04707d75e34b
8d8e5854f33fff58a9ec327ea3350411fee5e5b2


