# isabelle_session_info

session_name: Planarity_Certificates
sources: 4df6621de14d0af44cf9e5321f9ae38c0d441dc3
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
5622de97e6de831903a719001a7eb4f63ba66f5d


