# isabelle_session_info

session_name: Matrix
sources: 6fcea8745ee0c7d2d4191cc3c80346426ff4826f
output_heap: a257fa0150085f3879db1580716a9194b7046d98
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
1a298acf65fb27287d69b79e5623fc6ffe185b72
4c11d9c58170bf9d4c60e348f8c941cc29376ccb


