# isabelle_session_info

session_name: Certification_Monads
input_heaps: e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb
sources:
0b69d8c3f70856201e8c054bc34357b13520292f
0c9469e4651698f44e3e228873be074985fc67b7
11e3d63edaae207e5e2a56f61a02be1d8fc71098
12a0e6c0f55de6da86a2819ad3a7128396308306
185b62c9a47bec524007ec7a2225b16a8f4b9349
1a1436f28f19da44f56dd3fdc6afa1e3786effa2
3122c5b55089566c74375976fd6040cc34c326db
37e048eca1afc2c069cebaffb562a02b039bb22c
3997ad1247c599ff5ca5a09326a165d755ba9b8b
429952f9b1ab48f5480776e72dd795c832ab4fd6
5117119a178eac69d137fb85243808da2d667eaf
5f027145b953123734f36cd380855d6483226701
69b4d87e9cab0b856337e17afce32c08395ac7ff
79f31440868c5686b204e83e4f26f92eb8d94f9b
7bb2894bf6b2b1879e224f67e577c429b34466a5
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078
a526ece146642d823be07862c7c8488392c4dd25
b930d3b46ef544b2e9c7801324c8d49593edd92a
c9a7834754ca020e75afb9d98e309c88e75bfb0a
cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c
d1a1fe056914a78cdbca5deac82d86dfddf0c2e2
ee2d4760bb726f6409c2f82a46a166ebb7485156
f2ec054802208841282d3caf8cb88ebe49e30b1b
f6fb166b2f770db6828fc9f56f7c516fce351e03
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90


