# isabelle_session_info

session_name: Impossible_Geometry
input_heaps: 572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb
sources:
3367a51e5036112e9f9d7f26561887eb3b01d061
983c956279bdf0c919f5f5ee051dfa1ba7563d27
a9355df361323a58832925e1744a3ae49783c29e
e72eb8dcd6e094f82ae72b2b222799548be40f0e


