# isabelle_session_info

session_name: Shivers-CFA
sources: da2669bb4ea518ea80d6502bb4c45f51ac1e516c
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c7c459dd06fae9df9dddca44155b9bc96ca4d8a0


