# isabelle_session_info

session_name: LambdaAuth
sources: 5c909c44ce6aace2fcb464d178e7bf78bf71cc73
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
d32204cddd77d8c7be39d6b27af3a82349c2605f


