# isabelle_session_info

session_name: Cayley_Hamilton
sources:
0791caee842d92fb3623ec7037e72594ed8c7594
08fb6455169da0a95fd8770286981c121df4a73a
43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf
51eb61e2a492504af9f8148f71377a549e367dfb
78fdfa1d3510f6708f28649e4043efa157ccbec2
838f958b45d76730a0be92b27d51a00c732b3a44
de5914860915128d818c097ac245a955c1587e4b

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f


