# isabelle_session_info

session_name: Liouville_Numbers
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
35c36c3c26ce7a6ec5f69846e0c6e22ac219c9cf
4028b5a92ba314841f49943f7400ea672a8df6bd
526cce9f7562a0e41b6f05dee3c6b055bcff4203
9e181743509cdf0be709d709d0b38e72ae327f3e
cb6e57dded880035883e8d1f336079565ac5d721
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
e481f21142cf911a70f84c9d6142c8f3e50f21bd
ff2fba45dda38de01c3e1a1f6120ba8e924ad692


