# isabelle_session_info

session_name: Impossible_Geometry
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
3367a51e5036112e9f9d7f26561887eb3b01d061
406c71d9db1b800c1ec2fe099c98f709095d5a20
983c956279bdf0c919f5f5ee051dfa1ba7563d27
a9355df361323a58832925e1744a3ae49783c29e


