# isabelle_session_info

session_name: Sturm_Sequences
output_heap: e11c82d10005541e47bb68085b8f59ff3b5b2b2a
sources:
119489a3e3d8e99d72521b040365de7941f7f622
19c8dbad5648050597dee363f077c3ef6069ec4f
31daccd87cc801426117c4367aefd2b43665ed43
59a77fc3bc2821a7b8023ed1f44e54f31d296767
75ade10fda4dedbddf0c79d726d2e8b3368799a9
8e1395268a387b25702632b1f5b5219090c36b48
a9b3cb2c0bed2fb565e46ac90fe4b7ca08299f68
c9385cc853612c59a697ade4bb07314f1f2a52e4
d8b3344fbf9d3bcf9f7847ced09d257744d6dec4
e64da87197b6cf6a72d86ba6381add534e159263

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
86c7fd1199441702fd9498d93a1d3535f80efeef


