# isabelle_session_info

session_name: Sort_Encodings
sources: 76d551f6566d50a1c462ef686307bf1ade81ac6c
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
e816bd9a9dbad40b32295b442d799a64f41259f2
8831642c7b8f9c8161e58eb07a23677fd113e837


