# isabelle_session_info

session_name: Cartan_FP
sources:
7057753c2198f293e7c6203ebeba89e1627dc079
bdaa1b99d71610c6a792ae278149d579a721512e
ca1286a1e0a47715277580ab35389f0077a71e70
f731dc2c105e227e07d4b3192c213fe54f0b7697

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f


