# isabelle_session_info

session_name: Impossible_Geometry
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
3367a51e5036112e9f9d7f26561887eb3b01d061
58baba87cc97aa2659a5c6f0b0be45b1f2ee4c12
983c956279bdf0c919f5f5ee051dfa1ba7563d27
a9355df361323a58832925e1744a3ae49783c29e


