# isabelle_session_info

session_name: Matrix_Tensor
sources: fee08c648c106c08327b8382e4f4048eb2c213b9
output_heap: 8e9a9302f2d8eba978fce3876aa94025e48f189d
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
f04b6a6c33ad0f2bac00ec27566d13b96a6832d3
471c96ff79153fe378be2e6655639096c0540e1a
fc55dfd76c0c47fc9a716222fe697684ea4699c4


