# isabelle_session_info

session_name: Planarity_Certificates
sources: a6cb1fc216e33627546000336bd6b3052608fc55
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
27f672bc2476beaefceec438c8f4386b11d12536


