# isabelle_session_info

session_name: Liouville_Numbers
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
0791caee842d92fb3623ec7037e72594ed8c7594
16158687bf6151f09dee73c866382325b682e1fa
838f958b45d76730a0be92b27d51a00c732b3a44
977b45643c34661a2846ba7275d96ca42194b267
9e181743509cdf0be709d709d0b38e72ae327f3e
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
fa31b5b5eb2ec7f0c156d484bb028cfb407a7162
ff2fba45dda38de01c3e1a1f6120ba8e924ad692


