# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061e
26a337b48b8c63fd275ea93a777a3e7a3401e2e1
43d82483a65cf8b30698af36c334bb4ab4c71b44


