# isabelle_session_info

session_name: Sturm_Sequences
output_heap: 616439d2a9c6f3e7f3a868e62d980a18924281dc
sources:
119489a3e3d8e99d72521b040365de7941f7f622
19c8dbad5648050597dee363f077c3ef6069ec4f
39d9e82ef716144030313c5a225e18e02baeb79e
5bf33340306896ae03b1ba5743a0404464783749
75ade10fda4dedbddf0c79d726d2e8b3368799a9
8e1395268a387b25702632b1f5b5219090c36b48
a2a1e350bc8038acc88d686cbcf4d49f2acb200f
d8b3344fbf9d3bcf9f7847ced09d257744d6dec4
e64da87197b6cf6a72d86ba6381add534e159263
fbaa76028f840c497e2dfb091bd7f18565831c1e

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


