# isabelle_session_info

session_name: Complx
sources: f3778e4deb6b6b823ebf092ed3c53a71add9b810
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
51db91e83f318eb4f9048c72f099076c40d05947
1c325f4af388a56d22e2d80eb7a0ac5c71fab672


