# isabelle_session_info

session_name: Pre_Algebraic_Numbers
output_heap: 17889142499525052fef6d9e1a3ea4b51fb25078
sources:
19c8dbad5648050597dee363f077c3ef6069ec4f
268e812fffa5c2fd46f0296a94e824c975fbcdaf
31daccd87cc801426117c4367aefd2b43665ed43
3bb07f8e7368b3a16cb24f337bf4d2dd1fb431fd
407edce55bc78b9aac458ee75faca6679202c9b0
463b2cf812e4beab5fee72b33f00ce4814102222
c9385cc853612c59a697ade4bb07314f1f2a52e4
d576543e393bb727a76518a74a7611b656b88e98

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a
a52cca36c501e454ac8d14ffec7d171d1797787a
93abc91c039f52f86271cad82c5783c5cc5df1d2
fa34367f2b58170d59734929198117cd5cb0a339
9a6d2d5f4440a9bdb100269815556e786b616e40
7f31b9ffafc728b1b64807acfe6024c3a928cce0
566cd0669a58837491873882f5374f762b398ab3
b20a3cde106716c75cc1b258b2968396fbcddc12
2bf554ae37e54b936642b9a6c9c9d54a769754d8


