# isabelle_session_info

session_name: Sort_Encodings
sources: 060c30b7017753816038089782fe9a711279ac25
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa
629a23878c868aae7e3784372f931cce4bfe11b3


