# isabelle_session_info

session_name: Certification_Monads
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
sources:
02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07
09e0808c0e37c102417cc80ab635572ecd263bca
0b69d8c3f70856201e8c054bc34357b13520292f
12a0e6c0f55de6da86a2819ad3a7128396308306
18aa0abdf1fefa55988ded8ef401a512df7f012a
3122c5b55089566c74375976fd6040cc34c326db
341d088b709cd150fd9c1a2653b7d716a51caf6c
37e048eca1afc2c069cebaffb562a02b039bb22c
3997ad1247c599ff5ca5a09326a165d755ba9b8b
42173706a585d797953589c87338c3cf6272c40c
69b4d87e9cab0b856337e17afce32c08395ac7ff
79f31440868c5686b204e83e4f26f92eb8d94f9b
9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078
a526ece146642d823be07862c7c8488392c4dd25
a6638c627480a5e8ab799b8b8c54931fdd852454
b1e21aa57edd70bde8f216c90c9e019b2def3613
b930d3b46ef544b2e9c7801324c8d49593edd92a
cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c
e438ab71afbf69bba650907d5d74b783d37f1cde


