# isabelle_session_info

session_name: Planarity_Certificates
sources: e0f37c7c45d3f451f2db9f84983d5e9c9978cf7d
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
cf37a51a8377adffd25ab5ceb57aa696b666aa1a


