# isabelle_session_info

session_name: Planarity_Certificates
sources: 6ab6c11a1f37f6baa210d8a6cf1e4116efff369b
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
16ec8e2b67d5daa4a34c75ef026f8fe5ddff256e


