# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146
05218989694d9035f45149cfa16d3e890ccdfc57
c96aff0ceca4570322c0f2c566f8f9648c4f1a7f


