# isabelle_session_info

session_name: Impossible_Geometry
input_heaps: 07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988
sources:
3367a51e5036112e9f9d7f26561887eb3b01d061
983c956279bdf0c919f5f5ee051dfa1ba7563d27
a9355df361323a58832925e1744a3ae49783c29e
e72eb8dcd6e094f82ae72b2b222799548be40f0e


