# isabelle_session_info

session_name: Planarity_Certificates
sources: 33c293dfbee9e51f1cebb66da5201c9d7655c3fc
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
e906c07eeb4a3d66bb56c803d8aba2a778e5b6e2


