# isabelle_session_info

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

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
544d5273f63ab8306b7ba89b4cf320cc64739cc9
88c76860c70d62e9b5858e317f9274aecbdc5061
8267c4822eca905e851c9e6a9473f1de0a1294ab
336cbf3e23213615ea54f5b4e025d206c872e1d7
7b25b26ffe522e8d2aa2ae0575cc66c2865bb62b
97a3f8da9f58d01ad3c875267b791e22696aa3b2
06c9ef038d50c7cd9e437d658e75e43c0b0b43fd
92529852da7c20ae45bc9dc7dbe131583f0049f2


