# isabelle_session_info

session_name: Complx
sources: 5753e84088e0fb96f3c9b432bf7731abbc9ce071
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
b8472359012f34971f91d8be2ac721aa84a24dbd
ba44f6b1cfb40d68fec95146b97019e531c6917d


