# isabelle_session_info

session_name: HRB-Slicing
sources: fe9f226b8431e28819353f2a97e8980af4ddf7fa
output_heap: 03bcc0f0a99e57729ccd0572fed9fab934b8103e
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
f0a2f8be7d76af5c5ee0f764cbcc3ee1cbd904e9
869a308399b0bc28183d2dd9a7292bc0506d2c31


