# isabelle_session_info

session_name: Landau_Analysis
sources: f6674226db458875b33306a90ee0362fd82742c7
output_heap: 428cc911e05c4a9809d37ee5bfd4f98160d5fbc4
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
50d7567ba5f079e933f9c40588fc7548716f71d9


