# isabelle_session_info

session_name: PseudoHoops
sources:
024dad8fe898cc373584ca421d2f6ac517f6757a
24854fc6e0ba1abb1268fbcdf897fbcdbc016dd8
2e4bbc95064959a708ade071236a95c7038f6442
32b284596db1e83dc0ec305f42b3f193753b8d67
4e9168a4953045453908bad16f1b01e3adce7bef
51b459fc9c5aa7d5f68f1754d795fb09ea644e53
76e3c3c83413865d1c0249cc34717434bf9ee7b7
7b9c3934743e11d84bbdabd78c336dd8d4ab626b
9a4a85368546387a79f5ba733f177705e96b7af8
a1c79c9d16563cf2a9e51ec07c9b698fbbb351b5
f647347d3fe7669dbde6bd5d5cd06822bb8fb7cd

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
6ff155a9b66d8a1f8d5b40c44699717d77f427eb


