# isabelle_session_info

session_name: Planarity_Certificates
sources: 59f56b9725cc0fbfd402b6ff449193504ec60660
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
6c116a22589fd261be058772b070af652a7f8d6a


