# isabelle_session_info

session_name: Matrix_Tensor
sources: 37e0de996c3ae6316e427ba8617ee89641b7ecd7
output_heap: ee33bb7dc0de41ada55105a267832b401696446f
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
8e20ce849646d33245e5b8e0a39681f1fa96c617
422db7ef2ff363b2864fd71b354aa62c3373dada
f92a87ebf90acfc90d082a98849f32a521ebaf9a


