# isabelle_session_info

session_name: Matrix_Tensor
output_heap: cd7c2f2f6db31bcf3f00c4d3c7130570a6a393fb
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
4970bbec5bbd6c501ec45b47c40b10b047a7f03f
97c9d0d8725cffa9bcf99561bdc8921605ef1a86

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
aa963d36c004d44d185f1963e086442e3e056aa0
0cee92eb33174cca74d8621cb2fc4737b398a1a0


