# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
f656ec447c30fdf9474f0847349659e63ea8f651
b2ca03faab74ef60b3d34a61a3c4be1a6747b39c


