# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
53c8bd6cd9b4e6659e7c8d26458e89775080e70f


