# isabelle_session_info

session_name: Impossible_Geometry
input_heaps: c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3
sources:
3367a51e5036112e9f9d7f26561887eb3b01d061
58baba87cc97aa2659a5c6f0b0be45b1f2ee4c12
983c956279bdf0c919f5f5ee051dfa1ba7563d27
a9355df361323a58832925e1744a3ae49783c29e


