# isabelle_session_info

session_name: Sort_Encodings
sources:
20ea6516a8bb1f7f460f7539b6851c4c88206d2a
2ff8fe7c4fabea1dff3ea3ed090210f39bf6dd1c
3a5d224321abcd3025d7908939e5051282d40b17
530439dac4fd10d4901f7c4b3e803792746de9cb
5730a07dc56548845b4cbc2cd42101ccd872e720
6e691628acc2f4dfd5c1fa4ec08fb1e38b4f6224
748b6541d56a935bed3180274f0faf1b843c3782
7ae703d361721d369ac45f4e2b82b121995ea9f7
8521945443cdddae3ad507fdb9ce5d0f31c7d17b
9084fdcb915a21bfe56579b05493873cbb36e2a3
98d33e14525d28dea3a32f954325f09dbacf26a1
9acc8ca492c1e307528dc3bda9c39c4e8e8bc16d
a695d71308694f838cfaae6bd1b6774a51ddb97f
b57a108564b650d9bc8828d6d509dfbf89d0d784
bf8004df5548fb3b8cc9764b7f5037482e358552
d743f11a6bc9725a8d74571fb0de06381013e0a1
db461de9aaafe24c63395d404c3b9745cdc33aa1
f2196de5f18cd63829a1c044af031b31dcecfb3a
ff24380b584e13b0c0bf1f98540b082f3db4a3f3

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c98c5bd9f2c44205cce7b9d825793411c164f5fe


