# isabelle_session_info

session_name: Matrix_Tensor
output_heap: c8957bfd73c9a20a52288f5e95a16100d5c00f60
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
5d243b5920a59dd6a65d90a7b18014b416b97181
97c9d0d8725cffa9bcf99561bdc8921605ef1a86

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
3edfa7f42f69c6970d78671c36bbb5a33c89ecbe
d57717224c11a207fea1b42488900eaf70372d0a


