# isabelle_session_info

session_name: LocalLexing
input_heaps: e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
sources:
006068cab603afd939bea23dd9af161553c08d3b
15d5450198c7456fb8053ab4c8ab1794c9d1e0d1
268fc59ecd2a4703f289655658b8890a9b0ff4fe
2c42a2c044b43299c5842c00ba91c58a99f2a406
2e58b1680b8cdd504a7b4c1a094c7bb95e88ed33
37b521bb981ecf02698cb83df75996d2ac5b0862
38c0b72a92d13f861881b5cea1db6e982b2851fc
4513f75491bcda618338e486093811e5bc2f1636
506dc7fb9b037728f580e6dbf67c9c8a00f5a4a6
5ebf709385d4644dbeb79755121ae35ebcdc1a0a
7d779f05878bdacbacd3782c94af23703d81d7c8
7f814707121ff2866f8d7244082da0defacba415
86bfefc043e9b14535640b176c2fd479e2fd6b47
94a9b09dcdbd19167c2121fe21db1559abacb07e
9ba0747ce20697c7b6f394994d6589ff7bc646b5
a457d8d1692aa87ba261b39895f2add0a4414ece
a6b8ac37113af8786822a560ea986eb88ec44e30
ada80eed69182ba0e96f8dec791e9aa0811c06cd
bc337828c4f37875f2f0d765d0e59cf590643b94
bdbd87ffec62724f704bd6d678a5867019170f6b
c26ed6fc729d3ce2fe2fe10d314e1c1b03b4a28f
c8ca242337f0b0ba9581a06c6f69044b06b317db
d452491a75e5f7fa37c41176ecf43e817fbe19bd
d8140eaa46cb2f9654f8a05472005287d62aab89
df65f8c6dadab47a20ac1eb4b957337c60d48068
f5b830bc198886e6eeccdb9bd1e5d85415b3b825


