# isabelle_session_info

session_name: Planarity_Certificates
sources: 09fd5d14b63ccf6ef24d95d176d17682abb71e1c
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
12945a60d1d0339cbf0bf48bed03e91aecfc64ae


