# isabelle_session_info

session_name: LOFT
sources: b0d2411d55b5f4af13b2793f28a4906b7b078bba
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
3ce9ac9a9423afbb53288038c66a1b8cda2bf3ef
3778fcd958331e5c4c1ca3a0581b991689d692bf
8a226494c245468607bc801e650735f82f02c207
ca3a44c15d24eeb23d0a5a6e2ee0264bfe0c0621
8e3f0513fc98aa818a0c3ff310275c50f4b0c337
2015af3d6a2a6be16572481278afe202f585568b


