# isabelle_session_info

session_name: Sort_Encodings
sources: 5f094bf7cb3fcc73c3c6767988860410225c9677
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48
15566e989a763f06306739b9d1a73094cbe89319


