# isabelle_session_info

session_name: Complx
sources:
0f6fba79bc6cf2f13ee6d14a18c42de9a098f029
18e7c88474f772eff8933fceab539eb645ba4465
1a197816f10d168b86f805bcdc18ab189cdabf14
1aad61e6a4e3336678c647078e2d5786fa644652
28c08e36331a3610a52103e341de443e0dd2c846
3fd1616dbc4a2e52a01f07c41f8d6353b3d52352
5d7d7b0b691244de6c05e48be7873f6531655552
67a589767b075f3cb65d88875419b27969fc8db8
6e12cfdb0fdb6c130d395028f0b6afd195a15f3b
a1eaac179395bd7886e74def6ca366d066450945
d4935befc69efcd714a206a0a66811113f744b47
d6578f0858f8aa88cfc2967a1c85fa5d0ebe6d81
e8fce2ae041f0651955688ba91f262ed53dea923

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
7f9ea2cd7bb7be132b52334531098cdd85d231a5
664bf71e0ebb6d66b3dfd16d5fcd83b2da8549fd


