# isabelle_session_info

session_name: Minimal_SSA
sources: 16539b00085e7f4930747dc1d05fbaecd5fd69b6
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
41397749331004e6e89a92b9edf427dce3f44ef1
dfae79588919b5834a93298279b56c4625da02e1
38dfe9ed9785bf9e1605dafdceeaaa0aa60f6dd1
91d1cf61f0266f501bae0e060a54465c2a658e6c


