# isabelle_session_info

session_name: Regular-Sets
output_heap: aa9820bce087f3002dd8a9aba660f4b5706348c8
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed
30a1bc059e0e0e6e5c1deba4757bf160c8a590ba
3d085b2f15013ab9cdd8983b82002e5b7e45d759
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
7a22667c57f746b278085651b8428b2a3e2519ea
81de4762b4e143259c5d9fb6b097811906b676c1
824ffdd9ada10c2f424ff25f9c7b62a127a40fd5
851ad684207c6c6f68ee9f2b6b0683326d8eb4c2
978f4c9854098616b38bd0614a930e76821c454b
990c38c302b3d316dec8f782155064e72439f0fb
9f29556387ec36c26fc38f1a1ae9357066308f47
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
d3fb91c47fc3112ac31920e45c2b8b27c21094bf

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


