# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab5ea8ae8ede0a6f9e25ed8b7f84d4c31edcfd89


