# isabelle_session_info

session_name: Matrix_Tensor
output_heap: eb66c7a60bc3b63021f4a0fae279a1eee9706ecd
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
61e1899d4386bd555fd14f7aa4db0c9041b7d73d
97c9d0d8725cffa9bcf99561bdc8921605ef1a86

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
cae37fff4f9d3f7c7b0af52720d3c2a97957b546
515c579f92ea68b1c380d6eead4053a220cc2c5f


