# isabelle_session_info

session_name: Sort_Encodings
sources:
0c9469e4651698f44e3e228873be074985fc67b7
20ea6516a8bb1f7f460f7539b6851c4c88206d2a
2ff8fe7c4fabea1dff3ea3ed090210f39bf6dd1c
3a5d224321abcd3025d7908939e5051282d40b17
5117119a178eac69d137fb85243808da2d667eaf
530439dac4fd10d4901f7c4b3e803792746de9cb
5730a07dc56548845b4cbc2cd42101ccd872e720
6e691628acc2f4dfd5c1fa4ec08fb1e38b4f6224
748b6541d56a935bed3180274f0faf1b843c3782
7ae703d361721d369ac45f4e2b82b121995ea9f7
8521945443cdddae3ad507fdb9ce5d0f31c7d17b
9084fdcb915a21bfe56579b05493873cbb36e2a3
98d33e14525d28dea3a32f954325f09dbacf26a1
994e906601e17310bff00be21ae5e216ebc52992
9acc8ca492c1e307528dc3bda9c39c4e8e8bc16d
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a62c3dc679c95957b9869ea0f0a44b4995233f34
a695d71308694f838cfaae6bd1b6774a51ddb97f
b57a108564b650d9bc8828d6d509dfbf89d0d784
bf8004df5548fb3b8cc9764b7f5037482e358552
c9a7834754ca020e75afb9d98e309c88e75bfb0a
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d14245488f773ce049ba50b4fa478a906cb80044
d743f11a6bc9725a8d74571fb0de06381013e0a1
db461de9aaafe24c63395d404c3b9745cdc33aa1
e98d989b0d56b347c6ee1a9d61645ae944ef72e3
f7d7695b21718df39e8a80a5c0e149dd8fdcff3e
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90
ff24380b584e13b0c0bf1f98540b082f3db4a3f3

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
fb92b532221d7fc97a1e2826a9573c104787ea6d


