# isabelle_session_info

session_name: Sturm_Sequences
output_heap: f5a7a9cdb3935d786689b5dfd0e3866b44b9642b
sources:
025b440a2f86b5ff6cec86de9ebd207a237e1419
0791caee842d92fb3623ec7037e72594ed8c7594
119489a3e3d8e99d72521b040365de7941f7f622
19c8dbad5648050597dee363f077c3ef6069ec4f
1e7ab19d32592565d771a2534a2041f54f5896b8
75ade10fda4dedbddf0c79d726d2e8b3368799a9
7968f6322732c3ba03250bfbaf9834d26331cb65
8577e25de3d2144ed5e515600e29877251192b04
8e1395268a387b25702632b1f5b5219090c36b48
99a313f1db1e1572443b88b26b1db53bf14520a4
a983b7dacbcbeca7f189237577759f4195807224
b1414c3ca7d741dc9c3828d873306f24e6963539
b8f70cf488f601fef79bc2af41296acc46bd82b1
c9385cc853612c59a697ade4bb07314f1f2a52e4
d8b3344fbf9d3bcf9f7847ced09d257744d6dec4
e64da87197b6cf6a72d86ba6381add534e159263
fbaa76028f840c497e2dfb091bd7f18565831c1e

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


