# isabelle_session_info

session_name: HOL-Mutabelle
sources:
1986556ab4178bdda322338c785143884e3d6131
20b8f4aa73219a62907a909a1089f8facc56bd93
695102bf5465b942da3a549ef55eeb213c786883
affe343b422c96f2db65ac34297b39cc63e1054a

input_heaps:
76e60ab7be570c8f37ab4fbd0cc297599bd4212e
75f08b6f45353080735e360691a96b11d33f8575
4113b3ffb31b40b1c0c2e73ef8640203db6d0ade


