# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061e
aad3cc731f1655b88ce4180fcc3519595b2d56f9
6e62eac380c35b394826d75231fd7b34a50bc9d9


