# isabelle_session_info

session_name: Planarity_Certificates
sources: 62bfd5387f5ce47171f71dde99b2e3bdcd5eb942
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
d15ddeb3e045a921727e98f20fb78cb299d335b8


