# isabelle_session_info

session_name: Taylor_Models
sources: d1d6b6ed181b19ffe34cd2e80861ad1725f6d129
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
41c0d8f90ea7be40f59b426bbfc21697230ea515
33fad6f372f70c717689d822cd7c308209bf0101


