# isabelle_session_info

session_name: Sepref_IICF
sources: 5f29aa96b26f7c3aadca2b78857e0d9860fa75f9
output_heap: f136c91f5e7bd62282784e5265959e872c27b47f
input_heaps:
1478cd8cbae6c2903ff8b7580a1b47a0f1487a38
aa8d72250be55f6a4c5e37b817be58eab22b8e4e
e1168c71bf431cca9f6c63488565e0b47035e89d
94fa3a14d8c407bda6c7fa76bdc5a0b8b1fac46c
f3006f5bbec0ea3bd507c29fc4b89aae4600a484
eb1b2af12837cfe2c6973b62fbe857bab93d77f8
9afb965657a57ee102a33509faae131051b3dc1a


