# isabelle_session_info

session_name: HOL-Decision_Procs
sources: ea565319d5522d8bc22749f0854172511c42226a
input_heaps:
b0eb6d493ef01916ef2418e3bb11c9efc956fdd3
d257fae31e53329cb529aae390c73d70f2360d07
511d012bbe1f011c9f4f65228783baa4a2c7bda7
1e2edb7cfb4267f85a8d6785e81a423695bad874
5f2fd734bdbbe59f496bd4097d06bef30ef72855


