# isabelle_session_info

session_name: Locally-Nameless-Sigma
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
sources:
0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f
116062ed5af003f6bd0f6bbbdc0b0142a40c2489
15b0f1a6a9ee7c3478ef48924a1abf99dc709253
41246ba23dfeceda18c10ccebfc487802a40ce1b
4b0fe00b743bde7dadd10e2606e711412999d253
5b76f7dbcf8269782891de0bc71cad28ccfdf988
9b2c3ff8e2a03d221694e61efb117ece2a2c99ea
9dc84cfde1c9e63199c35807058844e22d99270a
d97e0f709cb34e0b4d775136cc9411bef1621181
e8039b0ab7af59eff291e9002ab01c722532f145


