# isabelle_session_info

session_name: Planarity_Certificates
sources: c5348fb9ef04d6f0caeed9f769d6200f7fac4f28
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
0df7dde250abd73938e87e8bc529df88d9dcaf65


