# isabelle_session_info

session_name: Cartan_FP
sources:
0464ec59d24dfecb40f57b4f0209592e0847e2bf
7057753c2198f293e7c6203ebeba89e1627dc079
ca1286a1e0a47715277580ab35389f0077a71e70
f731dc2c105e227e07d4b3192c213fe54f0b7697

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
689e42f6a537aa228ba8dcbc2d5fefa5d25464e9


