# isabelle_session_info

session_name: LambdaAuth
sources: e8e0bc04d3d43ab75fb269379ea29f0db20684ac
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
3284af57f7e488b3336d0718487d1d5116991351


