# isabelle_session_info

session_name: Matrix
output_heap: 43f01b5a1124b7e82eaf3aa0463b6d23f3d0ee22
sources:
0c02ceead20f10236d7275425ef59dfbc5021710
218b488772efe0947498ce7a48488ca9261b05d8
2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b
3245cfeac2613b419ff643cf72db5edf625cf117
422c5cb07b88b52f2b335ef98f379f3465f4e2f9
57d832db0aea24c58f93e26834b9d0b95d5f2f1a
608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426
6f592ef2fc1f1158acf74e077595e80f132f1405
8aefc9b67109956542535e583bb6b75d0af7dac3
c84783fb29526ce883108f7d0451c93533bbfc84
d24fbcecf3a6eead299e7b943efa75e6295f91ea
dfc56948f7c3727a79607c61fc19f86b52eb6fc5
f0b7846b0cea71efdbaa789195dc83a4204f3cc7
ffc84c1be563c401109cd08cba36147d94a4a62c

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
f7313a7cc9a42baf2cd3d6babee8d43a73f48489


