# isabelle_session_info

session_name: Matrix_Tensor
output_heap: bb74cb7780b955154f52cefaf133ba38d6cd99b0
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
918eda23a59dc008e33f1007c416e95253fa3cb7
ca717aa18172bb3b83c6869b84847a36359f645b

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
f7313a7cc9a42baf2cd3d6babee8d43a73f48489
43f01b5a1124b7e82eaf3aa0463b6d23f3d0ee22


