# isabelle_session_info

session_name: Algebraic_Numbers_Lib
sources: f0c1867d73a0cba479d6560c1cd3af49c44a39e8
output_heap: 81e3faa055c3a3956e61b2d06b0223f631a9f3c5
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
87718d0c1aebf020a6cc483886932b0e8197300b
b99fd466bfce9bcd63f5212920b2f069f7c60f5b
633bab71540a35ad6006607babed2bef3a292c9e
dacda345b918ab77666a889cf294191630777087
b1daac2af5a21d98f5025408259eded3731abc40
b3e29c3faec9f26e2fe4da3e8cb1bd382cad0d15
9d5677b3b2ee732cd6aa5f3710ad62ab22aa0f28
bb537057982c3c03ae60713b0240268de73837aa
317cc23b6c4070daae89dfff06ec4f8ba342cae8
8386e83a0fe2669216eac648fd36f1ff504bdd39


