# isabelle_session_info

session_name: Sort_Encodings
sources: 014d47690a8c6e1bc76ea9443358dbed2c1987e9
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
d7fecabe4edd87a062c1bb81fd5b9b2fdb73dcb6
8f3315d5aa18b46e927582722014383a1e95d7c7


