# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a


