# isabelle_session_info

session_name: Liouville_Numbers
input_heaps: 7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56
sources:
16158687bf6151f09dee73c866382325b682e1fa
235a12f7ef7ab47053bbcb3a7ff1672656592df7
838f958b45d76730a0be92b27d51a00c732b3a44
977b45643c34661a2846ba7275d96ca42194b267
9e181743509cdf0be709d709d0b38e72ae327f3e
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
f83abfa96c2346ecc68d747c8f1846d73e577b2e
ff2fba45dda38de01c3e1a1f6120ba8e924ad692


