# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 7b2baa87c78069b7121a0f65c151d0e7a33b755f
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
5d243b5920a59dd6a65d90a7b18014b416b97181
97c9d0d8725cffa9bcf99561bdc8921605ef1a86

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
34d45216c9c2f40984859f5930a26943fb2d021b
20efc4dbaeced11921610618076ec1961e6e211a


