# isabelle_session_info

session_name: Group-Ring-Module
output_heap: e6d46db9717e34c81983116bbd82961b439f2d53
sources:
138608abf9943e1a6e1765caebec65775a98bd1b
2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d
35ec4e2de1f71465859c6d662739cf54a8befe0d
726c14bcebd8c9086d6ffeae50f834f88cd0b12f
86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24
8964e51f080924e514a838cb18b9faa55c5b3946
915e94606ccfb7d9869acdc7496174916d1344d4
acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a
bb2e71e367f701bf235e7af64211aed91a1d3ea1
e3f54a6c594a12fa4d3060c52e77f45c6a52b37c
f310cff088d0fd2457c434114a12cfb40609df43

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3


