# isabelle_session_info

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

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
9b6d2749cd620ee67f37529e819b7b66d9895dd9
4cb11ff1df58e6a04b03c95f36f74a157343b807


