# isabelle_session_info

session_name: Bicategory
sources: de4d0a10eea2e35c2a7599b7615ea39fbf2ffb35
uuid: 0549ae64-3abb-4ede-9c45-a7f26dd41543
input_heaps:
90e442fbafcda00abca55563258bda9ca879489b
0e76a3aa38c6ebd63564921ed7e69fff6fe53fc9
22a2454184e7a5248523a465a69751a31f342945
c97ea8d3b9daed4291f4ec0feb0a322d03e49788
11782a3a3dbfc1e3617d35d9e3344546732f704f


