# isabelle_session_info

session_name: ROBDD
sources: 9212b6c3b3e882a3b4ceb103a4065627657b7020
input_heaps:
1478cd8cbae6c2903ff8b7580a1b47a0f1487a38
aa8d72250be55f6a4c5e37b817be58eab22b8e4e
e1168c71bf431cca9f6c63488565e0b47035e89d
94fa3a14d8c407bda6c7fa76bdc5a0b8b1fac46c
f3006f5bbec0ea3bd507c29fc4b89aae4600a484
eb1b2af12837cfe2c6973b62fbe857bab93d77f8


