# isabelle_session_info

session_name: Planarity_Certificates
sources: 8c0b7a6419bf7ea0fbd51b4aa01fb3ad52e268b9
input_heaps:
33a9e32fd4df08287c7662d0ca60cf5ddac28356
4b353e22de97a71725acd840fcd08644cc4d74f4
e5f4a24ca52d6c82a80d941b993b3b2b8d22315c


