# isabelle_session_info

session_name: Matrix_Tensor
sources: e59b4a640be8106795ef08d4539bf980815156bb
output_heap: f76ffac8dda1094f16335ffaa9e364cd49467fd6
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
d871d21db844b5c9f0d6d8f5752b75fd3bec4d28
479055c9414d5b0938f63d35fa6979f71c6f0f06
60d692098192cf89901e1f51e1ad2f600760d28b


