# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 38de62657dd7a57d8577af02c4c87c41fe436415
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
918eda23a59dc008e33f1007c416e95253fa3cb7
ca717aa18172bb3b83c6869b84847a36359f645b

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb
d8625272701e7304f76db642b7fb0e61f9b07c0f
affa92f3b3e514c3db126112d7e55e501a661c71
6bf3d567a8ad572797731b1dbc111dd5972427e8


