# isabelle_session_info

session_name: Matrix
sources: fe1ded588be2d21bf8ad424d20173116521945dc
output_heap: e9b80b1260a2158b4698c2468b89578e1ca38bc3
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
cae7c24f9eb266592dbb134ac9cfd949daaed5cf


