# isabelle_session_info

session_name: Cartan_FP
sources:
0464ec59d24dfecb40f57b4f0209592e0847e2bf
7057753c2198f293e7c6203ebeba89e1627dc079
ca1286a1e0a47715277580ab35389f0077a71e70
f731dc2c105e227e07d4b3192c213fe54f0b7697

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
bc6f62a8bf3983e1ad01777897fdc0de1c61c1fa


