# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
267903774b2eb9590fe3c0457e60e678a3a73ace


