# isabelle_session_info

session_name: Planarity_Certificates
sources: 8a3e2bfaa3731b5c88325161cf60f5243970d392
input_heaps:
e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
8bc5e4e698b75064ace23e39f4df53a3b43b01fa


