# isabelle_session_info

session_name: Planarity_Certificates
sources: b761613721ec34427cfb196c522f41c06d31789c
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
9672c8c5c1508893bd138f43c0661f24f6daeffa


