# isabelle_session_info

session_name: Sepref_Prereq
sources: b70ceb54884c7a96ac21f7a3312f1ced1e88adb3
output_heap: 4c2245d8195457eab7d55e5cecd2e68b34a946e1
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
2ddeff9c6ac654e4a0066e2a4eed2e24a610c057
de7c938c1cb86b01c0651104dc0ca753c5878626
b9cb3fe15ebf98920426a3ddb700775ad4ed59ae


