# isabelle_session_info

session_name: Sturm_Sequences
output_heap: 17803973a4da731b1044469392471261babd3b40
sources:
119489a3e3d8e99d72521b040365de7941f7f622
19c8dbad5648050597dee363f077c3ef6069ec4f
59a77fc3bc2821a7b8023ed1f44e54f31d296767
75ade10fda4dedbddf0c79d726d2e8b3368799a9
75f18cda65a1f11ebe5e324e2da58c24e2eab2ba
8e1395268a387b25702632b1f5b5219090c36b48
a9b3cb2c0bed2fb565e46ac90fe4b7ca08299f68
afc829170c3cc471c776ffc30e57fa45990b75e4
d8b3344fbf9d3bcf9f7847ced09d257744d6dec4
e64da87197b6cf6a72d86ba6381add534e159263

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409


