# isabelle_session_info

session_name: Sort_Encodings
sources: a1b67266016a466d56c37499a90be6e9c254e16c
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
dc939cc351b5381e607cb0b76b2ef7c2235e876e


