# isabelle_session_info

session_name: Ordinal
input_heaps: 80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4
output_heap: 7005c5ac77e441c804023b112050da8fd179e055
sources:
0ea07e2eb048e5f1c7380706a7afdece8a9220cf
0ec36d7ca23942e0d8211bca3458e89df4086332
39fb1256892d3568b8f6150d61ca445e5012297e
4236fc5d5ace4dc812aef1bff77d50fb2f4b345b
46c634f4b6a44212939795b955d06be0f45a2c19
6da2e2a0e422696be54ef36c23980e1e96452ac3
7ebcac4b33b5d2f6eecf065c4dde00b693ebdde1
a2b9477bee35b79fbcb096eb5e777b0aa5666887
cafa73f3ecdfa81fad98de2057649d95f9a4779f
d401c1896f1849accd5fc7c91c3a8b9b46ca9be5
d439013a4cc84688243731923c489a1a610e6155
e016f822822bd2151544565aacce9870a7db4521


