# isabelle_session_info

session_name: Bicategory
sources: cce0f6e5d52fef0a9d61826aba39f2c86510dff8
input_heaps:
0997116ddc7e2096ce248554452797db911cb899
8ee7fb85b07f447bd51087ae25949e0c53166d7a
4aa7a5d82beaa9666066f43f2196ca5f5b9604b9
2bed0d3a3761b8854e2aafab491a633248d74133
522ed5b460b3c4e6be8fc2c76ca3052c4d21d314


