# isabelle_session_info

session_name: Liouville_Numbers
input_heaps: b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
sources:
4028b5a92ba314841f49943f7400ea672a8df6bd
526cce9f7562a0e41b6f05dee3c6b055bcff4203
9e181743509cdf0be709d709d0b38e72ae327f3e
c781a5f4788893bc9c14b49b5202d4f9d56d9aa6
cb6e57dded880035883e8d1f336079565ac5d721
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
e481f21142cf911a70f84c9d6142c8f3e50f21bd
ff2fba45dda38de01c3e1a1f6120ba8e924ad692


