# isabelle_session_info

session_name: Complx
sources: c13e7c674970077043334c47dc8df0952a84237e
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
573c60ba3acfa61cac9ff2a6a5d7e478e6bc035c
a12dd1d0f81bc03d2c48f05e28a3108e35148186


