# isabelle_session_info

session_name: Matrix
output_heap: 0cee92eb33174cca74d8621cb2fc4737b398a1a0
sources:
0c02ceead20f10236d7275425ef59dfbc5021710
0c28d31d52f0d21254b2db086986f26a7fac0cc6
0d6b8ca4e74c1cce8a53892702d9f17f781ac0cd
218b488772efe0947498ce7a48488ca9261b05d8
2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b
3245cfeac2613b419ff643cf72db5edf625cf117
38afbe19f377c6bb01722372a5c726aa0b706124
4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf
57d832db0aea24c58f93e26834b9d0b95d5f2f1a
608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426
6a1b07b082500f00f6c3b1326fbbeedb536bae44
6f592ef2fc1f1158acf74e077595e80f132f1405
8aefc9b67109956542535e583bb6b75d0af7dac3
a27338b4f30d9b620ce288b3b6cad2314d843f79
c84783fb29526ce883108f7d0451c93533bbfc84
d24fbcecf3a6eead299e7b943efa75e6295f91ea
ffc84c1be563c401109cd08cba36147d94a4a62c

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
aa963d36c004d44d185f1963e086442e3e056aa0


