# isabelle_session_info

session_name: Bicategory
sources: cb6c8c065dc76a9a8f08ee2dbef4eec7ebbcf780
input_heaps:
ab7ebddde897b913697d04674b47135e7a71bba9
83a42f5ab2ecd7550bef3e5a26f7cc58642ad023
242bddc1a24e49024becf543a335faf28c83dc21
dc6a0b7c7e30c57ac4090b71290e3d23d5179716
221ceb044c5ab322ccac50f594741db9074969f8


