# isabelle_session_info

session_name: Matrix_Tensor
sources: 979c847504c72a60ce555e551af66cfc75678a2e
output_heap: f2d032a8e89288cc34b1b35b8637d85103d83a5b
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
ad1ba3f00ef68917282fd2edc8c084d3c50a4da0
23415251a2be0b1b263faf12bf655efff349b64e
2a7e256f6935837fce5d396738d56ea50006bafd


