# isabelle_session_info

session_name: Planarity_Certificates
sources: abdd5bb7e2c457e70896767ea2e0f3340f4b304a
input_heaps:
4b079fe610649cd37f98f05ad7c20586ef43ee64
74523ca0166e9eb6415b2be2253b4d5ef2f75bfe
ad8b83803fa8b943f8022258bf62d5525af45368


