# isabelle_session_info

session_name: Planarity_Certificates
sources: 7290b2ad397fd3f80275f047285126f951bc0086
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
66f0679a745eb39b026f61c1b7effad3fd5b8267


