# isabelle_session_info

session_name: Cayley_Hamilton
sources:
13b5f149a84a5ea9824248c6b9583897afbadddb
2cb640b871bb39e5fb447a731fce2a220422ff3e
4028b5a92ba314841f49943f7400ea672a8df6bd
43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf
51eb61e2a492504af9f8148f71377a549e367dfb
78fdfa1d3510f6708f28649e4043efa157ccbec2
c781a5f4788893bc9c14b49b5202d4f9d56d9aa6

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
689e42f6a537aa228ba8dcbc2d5fefa5d25464e9


