# isabelle_session_info

session_name: VTcomp_Lib
sources: b4c8e1c92bc3a2f99d1f905fe137ddf3f396e0a5
output_heap: d921059e639f93f908ad9c7e443d472bbfaf36cf
input_heaps:
77b05a38c61bed9464e9d08cc674c7ee5a9515fb
67ebf28886cf3720f60d93584be27ba458428631
562cca3131f941a012cc62a469bbba2f31b3c4dc
91174e02c4e8cb51ec60a46aadbdecce9d8d7655
33bfa9beec2da8efd23aa06c574f788f19564a8c
cdd39872990c7feee7a62bc0a9216f6e6807fc86
1dd25434dc4589be0b00c0056a0fdb11757cf5b2
524810cdba0fa4f0aa5442ac0dc65333cbd3b869


