# isabelle_session_info

session_name: HOL-Isar_Examples
sources:
16f93dccbde4d64e9f6f576ac6ab538fd0f1b8a9
1e57762256009a3f678ca377fa23786867730e72
36dec1af51d5965e54cffefa42e778a3c36423dd
36efa08c1b8ba73be4ca19ec7aecb7045ca81b8f
4a2d180f6fe84cfaee78109d0676c1b033f69c1a
4c05a1a4b5cdb6a9ba6fa57cc342ab610815b409
4eddeb589d0620c87a21dbb8b9e1fc645c4da4b1
5d161048243a306e57d614573a2fb6b007ba0fd5
5dc7c280f15c6e3a440cb99bc1b39ca60a73db9b
6988264a22340d7468502dfae1830bf00c68b048
6be87752af5b7dc21839ec8f04c9972527078ddf
85ee62a5d5a2ef21cb1b8ab128cc3beb578b5275
8b94dd648d9fb593013a83bfb135a6bf3c0ed0c4
8f55efc57a396bdf7f3788d1c5c961bf3b4f27f4
a1ddf755e038743f7c64ec864b5ea38b42b87f4f
ba9390deda71cc30ea24546c1b02fe4e8cf6358d
c0789d7f1537d0ba57a48880861b34adf415e873
c4395635945fea60cd1e0e21c46282e0855a1a6c
d99252f707ec0dd2fbd0512527e33d15d07c4aa5
daba3972be164dfa9dd9d52f7c9d32b58d67a5f4
e643e0d12cef1cdebb1657d5531b50bec846fff6
f7578ea153de49d36c7ffc1453f046242226a0bb

input_heaps:
30107fd93ce37db2bdd67b83360028ac0c573143
925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
9eb5094ea5c56f5f0e417fb357591e3e8425b5d9
0f7d470baf53307bb30d9f63f737f74e9357be07


