# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 1e2c4c809dde8d1d0dfda772d235a3d99af850f2
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
5d243b5920a59dd6a65d90a7b18014b416b97181
97c9d0d8725cffa9bcf99561bdc8921605ef1a86

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c
d17c094375fb2a2c1361b0c3ee28db6ffa2d6426
16bec2a13bd7488f309c9f9baa0a9e31c3d3e4b2


