# isabelle_session_info

session_name: Planarity_Certificates
sources: 3e149dcb4a680529a295a58790e0fa146956009d
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
32c9366dc5433d8d9ceb92ab9fedeab0646f156b


