# isabelle_session_info

session_name: Liouville_Numbers
sources:
16158687bf6151f09dee73c866382325b682e1fa
977b45643c34661a2846ba7275d96ca42194b267
9e181743509cdf0be709d709d0b38e72ae327f3e
e8a7278c44c665abfe808ade78e7dd92c1abe7e6
ff2fba45dda38de01c3e1a1f6120ba8e924ad692

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2
2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89


