# isabelle_session_info

session_name: Cayley_Hamilton
sources:
43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf
51eb61e2a492504af9f8148f71377a549e367dfb
54d9b6a3dda04d5ed7500cbe6262fab009975214
5afb051e020f533c044f16a05bd414c2af813fef
78fdfa1d3510f6708f28649e4043efa157ccbec2

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c792037e3d0f7486f079b5d2eeeeb761cbe56f95
86e95bb3182356f659f9dccb3c8075066387911f


