# isabelle_session_info

session_name: Category2
sources:
00cc22d1e149de2b56ecc5c1b1c9acde14f756c4
1a85d643ff9daa78dc2008ddb49d7c4038929bd2
2eb5625e56755fda5ce3401b40beed5169cd2f93
513a81bf794efc8deac8947c77c06afd61249e42
8282a16f2d860a70a7c6cee5ef8261c8ae19609b
86fd7da255e0657d15e775a7170bdc58487beed1
8d27736d7b5020008fcc2f11d1d6e066fbf5fce1
9047213262f305724c9b6f8d7d1941eb424a1a8a
b000116ec6ac689f1ec762430fc478a93e7852d1
b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3
b655cfe8cb22898d4b4ce5762e1e15db5fa4599d
c5e40c169c35a0861c6b29bd1a845974a762f502
f061effe1a39aad1953557c0a1606fc8143f9a30
f5e82ea1c278f91f9937efb26f3b0956a096c71f

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91


