# isabelle_session_info

session_name: Landau_Analysis
output_heap: 5374984b7a57d1249eaae374d8bb9c2ded93e1dc
sources:
00397a27b716a17d9a023df60549d6646efe8e97
02b46a88fb3755427c4e37e0dfc37f84ec4a24d9
06836e075e09e46f8eb9eafafa5f472179d4079e
4c7e394dbc3513322bcdd16f9e7366b8cf75b2d1
55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38
5ae3843a3ed59ab2457ecff50bd3bef97837615b
5fd67474860cc00175ce6967175273e563c61549
73e1f44d85a4b0f6ee0af77aa4fa110d530d6de8
99a1022f7c5e258726c42743163c68599db87e23
a9d5ad43ec6f86c94c776f5fec4964604cea28d3
e1e95447f60e6fa9698fc2dc2d3f9a6dee397c16

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
f60747b440ff03a765b404a47b50b781d9eabc9e


