# isabelle_session_info

session_name: Category3
sources: d3cb4b305d96ee88d2d281d812bca44e10948bb4
output_heap: 2bed0d3a3761b8854e2aafab491a633248d74133
input_heaps:
0997116ddc7e2096ce248554452797db911cb899
8ee7fb85b07f447bd51087ae25949e0c53166d7a
4aa7a5d82beaa9666066f43f2196ca5f5b9604b9


