# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
19002224682d0330513dd552f921e11aadafd0fb


