# isabelle_session_info

session_name: LOFT
sources: 106ccd6775f1d0b5a0e633b7dc414afe6c39634e
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
a62f3578bc606d22406323ac6305318410d08961
9bcfe91480a3e9ca86a884117045c0fbadd5643b
390b2bd88e59c9f28db8befce1d93d7b8e461b43
18e04f6db1ccc0103dc3385c0402dd9f97807d7c
55163731caf05d70076b97fae09a74929ec9a7c8
8e0b07cbe5a46d0398094864a0a0b8d5756b8c3a


