# isabelle_session_info

session_name: Pre_Algebraic_Numbers
sources: feb2c745e592e0de7d6be8618e193db775e5699d
output_heap: ab395a95981b62980e450f692c5b990e5547da67
input_heaps:
b57924f8b302be7bf9325b5b3d1801c6b1f856d7
21472514b560bf24a5672fa0a82459cce4023396
cda89969b4157d189bed43d6243d18d8c2795a64
414b2e30e7494f45efe7ce1563a95e31b4fb7fa2
e8d4e009926d159124324989ade0c2d1b50670eb
86d611049ae22b9af2d84b1f960bbf935a16834f
11bf2c79546d6f4acf30a8774ec230b6041473a4
41e0d928b076ddf7dcdf4bf551d329d5903df653
3def07bc2075196ecb1f1dc4cd51acca59d1fbc5
c0048048f42eafd5c88eaabba204c7ae2dea7a58
260ce5de885cf335023fa08f2879a16aa1ac52be


