# isabelle_session_info

session_name: Planarity_Certificates
sources: c54f534fddce7ff37ed0cf1c14d30b8ef76a6b68
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
7571dcfcb25ef06c625cd30bfeb9edadef4318ad


