# isabelle_session_info

session_name: Liouville_Numbers
input_heaps: 70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
sources:
16158687bf6151f09dee73c866382325b682e1fa
235a12f7ef7ab47053bbcb3a7ff1672656592df7
3ae02176469709ed2060702228dd1fe1cc8dc10b
838f958b45d76730a0be92b27d51a00c732b3a44
977b45643c34661a2846ba7275d96ca42194b267
9e181743509cdf0be709d709d0b38e72ae327f3e
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
ff2fba45dda38de01c3e1a1f6120ba8e924ad692


