# isabelle_session_info

session_name: Category2
sources:
1a85d643ff9daa78dc2008ddb49d7c4038929bd2
25d219649e986c48138819519bd57fbf0cc0129a
2eb5625e56755fda5ce3401b40beed5169cd2f93
2f668ac1a1893d2a5e14a760b9b035a34741b967
3e7dc5f169a50d41f92fa9dcce18ca6e6f0cb4fc
46e8c5b6de631db9e4a3bb68ae239a1957eec99e
513a81bf794efc8deac8947c77c06afd61249e42
8282a16f2d860a70a7c6cee5ef8261c8ae19609b
86fd7da255e0657d15e775a7170bdc58487beed1
9047213262f305724c9b6f8d7d1941eb424a1a8a
b000116ec6ac689f1ec762430fc478a93e7852d1
b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3
b655cfe8cb22898d4b4ce5762e1e15db5fa4599d
f061effe1a39aad1953557c0a1606fc8143f9a30

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


