# isabelle_session_info

session_name: Planarity_Certificates
sources: a78164d10c9f818063c1b3ce369bbff53d935703
input_heaps:
1cdfa493abc57ab9691669c8109d13bf20bc65c6
6f974f3708387dcf61ccb15ff92a91ea3a0c06d1
a0fc0fe587ad39dc5bb43f346a00536c5bc2637b


