# isabelle_session_info

session_name: Sort_Encodings
sources: 5b65415853144418152d3ad09f9480b20c5ff7c2
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
6dd7123fa75097b18d3135622d27b8f5daf5537c
e6c1c898ae9f29962e1b891e5a3f1e2e6ebe9299


