# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 7d91bf78b08a8082f4e918a3c5e459367852d4f3
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
5d243b5920a59dd6a65d90a7b18014b416b97181
97c9d0d8725cffa9bcf99561bdc8921605ef1a86

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
d97c8eeab5366846f6d9647d2a5501999e294803
ca57ef1b446e14ab305bac96ebb43b476d3520da
b459858b5a0074fc7633d5336b4af5184cb9631f
f601a3406e2267d86621c994e6b17c284591efef


