# isabelle_session_info

session_name: Planarity_Certificates
sources: ea5616318f1d02fe237e0cee469085288cc6ecec
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
95806ceb48feba108839804e7ffc21e7576fac7a


