# isabelle_session_info

session_name: Planarity_Certificates
sources: ec6ea378a4c0cbe5ae651889fc1f7e0e9d2eff1e
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
07d65b7ff0541c67ea86ea0f9770357a08a16b97


