# isabelle_session_info

session_name: Formal_SSA
sources: ab76fcfc6ac38622992d522a5aa761b9df6ebba0
output_heap: 91d1cf61f0266f501bae0e060a54465c2a658e6c
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
41397749331004e6e89a92b9edf427dce3f44ef1
dfae79588919b5834a93298279b56c4625da02e1
38dfe9ed9785bf9e1605dafdceeaaa0aa60f6dd1


