# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 030fea858da4c071cd4940a954a9be61fdf497f5
sources:
37031e95199e4fd6f8c78dd05ead4cf313e2578e
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
97c9d0d8725cffa9bcf99561bdc8921605ef1a86

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
e89de90d18201999edb9d0c4b8a208bce353f9c8
7ebc9ddc638dfdf1601dc447d60583b7418b3480


