# isabelle_session_info

session_name: Bicategory
sources: 8860ba4a3bf4c5aa864a8f3e66d01a90e2cabd2d
uuid: 68cf9957-7b32-48af-bd70-99e437249485
input_heaps:
e80e18c8b52d6756a3f6acd32213211b5a8b456e
f79cd4de26099ba564b35da188ad163326fc635c
8abcd69af89670c7a37ad87e3cb6e75506b84527
4e3fb82f383574be5548ada22d2919f4f9b206dd
e44349cea2cf51ab2ebc404053d8a0c73751efbf


