# isabelle_session_info

session_name: Impossible_Geometry
input_heaps: 3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd
sources:
3367a51e5036112e9f9d7f26561887eb3b01d061
983c956279bdf0c919f5f5ee051dfa1ba7563d27
a7f851eead65da93b0998a1b452dc309c8592c2c
a9355df361323a58832925e1744a3ae49783c29e


