# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 63e42ef4c9fd89196b9227c884f0393da6c7165f
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
5d243b5920a59dd6a65d90a7b18014b416b97181
97c9d0d8725cffa9bcf99561bdc8921605ef1a86

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
ea130132a8ab1e832f061836cb5bf296dd9c641b
9aa367bb8061c194cb2caef837c811362fe2f146
0d3a156c967e167e65d8b37e65a6daf4dbcaee4d
8946a902034961e0ca5a7bfa6853d8a29d6bec20


