# isabelle_session_info

session_name: Matrix_Tensor
sources: e127d0b7f0f08f9fd52f562722bf87301fb663dd
output_heap: c900eb67d4005ba555a674e971fc5d5ef04c291b
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
daf773399df2d213d8f31040a17ff1b2e88164e2
592d7b6c1f390e34cb6d8eb4444538023c0bb569
bbdca522cf9d7907fb3d17cece6fe18af038ce78


