# isabelle_session_info

session_name: Complx
sources: 5d1265e674a3d801c42ff5e29023a70f9a90964e
input_heaps:
325386da1460dc38f32089d1221024ec932a2181
06bff5eb73bee75606e14d28e9b646bebba8f569
102d99e3f55936a8de903efcfef2f8a4fd518734
2afdbe8c846633e929fb475c80963c3e9df6c3c6


