# isabelle_session_info

session_name: Cayley_Hamilton
sources:
22fc1df7b0328cb6e1b9202059a94991ce5dcb4c
43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf
51eb61e2a492504af9f8148f71377a549e367dfb
a98987bd489b9d3b7079fd786d3f0120b64ca201
e141559798a321b3a55e0f57d39fd9623bead1da

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
662e2c93275b3f9c97faea279c1f2e9b30a29203
3a002d6a995019df178bd168faef100dc685caf7


