# isabelle_session_info

session_name: Planarity_Certificates
sources: b921bbb14c6653b050a710196a6ee0c645ff2e84
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
b37327b403d44a7c377f0f0491164ad82994afda


