# isabelle_session_info

session_name: Group-Ring-Module
sources: 5544a03386abb8d90e794e67054fd85dd2c32c59
output_heap: 54f2edbc91b25ba9a71c4889c7f371a420a7bc4f
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93


