# isabelle_session_info

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

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748
0beff611cd94b5fa7aa7bfc129b0c2bacd34771d


