# isabelle_session_info

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

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c792037e3d0f7486f079b5d2eeeeb761cbe56f95
0051ea09776582b9410b18e4da0feb402522d186
6e328d578e457acf2dd63c4257c2eef6bc6e8798
1dd730c738b19ba45224824a62d018e9ed3eadc1
69fa277fbf1f2821b3dadfec0ce2fdc8065732c7
30b30df4c393d5147c1c582d2cd71b6496ab1a0e
24bba6f60a67a19ff5f7922d02adbdf5a8721749
ebe459f797867beb235517ce5cff6e77338517d1


