# isabelle_session_info

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

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
df4c4e52006aece17c1a6660d071e24987d1e046
f9ffdd80c3709e637ad5250254077bbaab857e86


