# isabelle_session_info

session_name: Algebraic_Numbers_Lib
sources: d6af5f46ce2a945d4e3ee69baa9c5836a68f7a32
output_heap: f1a163e1465eb0cda13b9b36aa5d8beadbf23cb3
input_heaps:
e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
a15e9030bb829e65726be753cd6c29a0a343ef2f
d7715951209549f86c9442a653d9432cb122f2de
20134841e543a7bacfe24bdc4f76acc2928d86ab
0d482fea75712f747b73221c2647e7e8df67a1d3
40718a4836c54a8ba3b2a7d8946a7337a4cb4de5
0349e4de6f79d55d3250268e89a6734920218350
681a2acfc49d4e54dd610ec8027543e2f3e49efc
f1c37606883f263bd60d57e6a02413bc546054bb
38c7464a7e81c52f07351bf651490326e61bc6b4
61b3865516fd53a965032b7ccc3ba5dba878a95b


