# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 9bcc5713f1ecda16dd354b63d25a178a69d6e51e
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
5d243b5920a59dd6a65d90a7b18014b416b97181
97c9d0d8725cffa9bcf99561bdc8921605ef1a86

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
9daf9b2243525f9f5d1a1f22d380df7ef09d72de
3e315ae02238ba29ff4dfa91456277ea298bcd5c
2fb1f02dc0792957fab376c2c1ab62f3783aff50
43fcf032cdcd90faf6f433c9915c577bb7aaf485


