# isabelle_session_info

session_name: Locally-Nameless-Sigma
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f
116062ed5af003f6bd0f6bbbdc0b0142a40c2489
15b0f1a6a9ee7c3478ef48924a1abf99dc709253
2b4dec19ac3f99c8ab7f772424ba2b3272592258
41246ba23dfeceda18c10ccebfc487802a40ce1b
4b0fe00b743bde7dadd10e2606e711412999d253
9dc84cfde1c9e63199c35807058844e22d99270a
afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9
d97e0f709cb34e0b4d775136cc9411bef1621181
e8039b0ab7af59eff291e9002ab01c722532f145


