# isabelle_session_info

session_name: Cartan_FP
sources:
7057753c2198f293e7c6203ebeba89e1627dc079
ca1286a1e0a47715277580ab35389f0077a71e70
f4f45ce2c3a2bf9c0ba22e59d1bfbc012e348e2f
f731dc2c105e227e07d4b3192c213fe54f0b7697

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
081e2ea43e234aae88c54c36bdea8492ada09aff
000c31cfe79f77e59785b0781aea8cbf500999b8


