# isabelle_session_info

session_name: pGCL
sources:
0bdddfb20b3e3545c9b9441084db519302d94dfb
0e5baa370de4782e7af932295a9f002a78bcdc31
1540a81f7dd4147898b3d2926c4bd447083d59af
1ad9c9bccc1dc66316f0d6b7060bd6fa4b533654
456488d68ee9a67bb998f29e90689c293dfbe922
4daf2a7a78cf5c04b805eb7f5c19170f6ce6cda9
4f42905dc9d119c8efe281696faa219e5e7bdc5e
55cd8b098cb2e43e139e34758634a4fece59f9c8
612de86945a5fff11b91d2418cc5649efa8f80d5
7ebbb5d99f9439d08784f3c772701380f386264a
87c5e7d9d46fbc73922940f697d0c2e5c1391215
9197b24aec0efe7dc1ab5442b83bf440168f02e3
936759caceaa7552551ea4b16845bcad8ea573fd
9e869554e6081060ef6246443e69d02c6633d786
a6186a2314fc46373e5cab6b4dd381c33d7058dd
aad4331357ee3ed9012623b48b7446cf62914eaf
b088dd1299948c721a3e08c32107212c584b7e13
b27b2f2e38941acd77b9495a025b3ad00505da07
ba408a9023544d2f9d88eaf7f446ef69a174bc9e
c1e117b004c05bf9eeabd583364d41446986dfed
c9d8cd08bc7e07e07c8b0d7141ec97e252b5edbd
d0d78c9e37455a89d3ce23e30332d3762cfaca8d
e29ac340a2bed9e08eddc7fa678d855b97d3af86
fb02b943c1b40262ee5d451f33fc693a449db4e1

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
e689e4dd8e5b66d1ce0438e4d78b37235fa465f7


