# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 9939e257e151e0dca026342778f544915962c61b
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
5d243b5920a59dd6a65d90a7b18014b416b97181
97c9d0d8725cffa9bcf99561bdc8921605ef1a86

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
17bfded5b245c678f8b51783f14fc41662df9186
2c9559ac4dfc07fdafa143afc324b48595f58a72


