# isabelle_session_info

session_name: Planarity_Certificates
sources: 03fb1b86c5cdadc7ab187ec27365df39c8a5de4f
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
eb4c41b54bc9d22cf60fea5c5f8b104554864dd0


