# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 82eac50e81994e2657b464ce1175a0702e63427f
sources:
2276b88f150f7d9c14acd069393d309edba4b2a2
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
c69a34fab516059a32912c463ad3b69d83660a12

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928
67d73bed1ae998faf857e901c6d1633b24ec2cad
fdc869a891797ca0124be126ddc6c7d11d8a4767


