# isabelle_session_info

session_name: Cayley_Hamilton
sources:
43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf
51eb61e2a492504af9f8148f71377a549e367dfb
5afb051e020f533c044f16a05bd414c2af813fef
78fdfa1d3510f6708f28649e4043efa157ccbec2
838f958b45d76730a0be92b27d51a00c732b3a44
de5914860915128d818c097ac245a955c1587e4b
f83abfa96c2346ecc68d747c8f1846d73e577b2e

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
e689e4dd8e5b66d1ce0438e4d78b37235fa465f7


