# isabelle_session_info

session_name: Matrix
sources: ce5a0d9dcccda17fc2a7554b02c618e2458fa1eb
output_heap: 44ff89cfb1992cbd7f9bac4e65d65721f7f71074
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
bb942e3de3a6ee0c81dc1f934c33e4250aa33115
0ccb4e8b1d3394fe74d0d26906bf8a44940965a0


