# isabelle_session_info

session_name: Deep_Learning
sources: 7587d7e71d24bb43c73d1917328cc332f888a30e
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
223999b3718fa9c4a49cbc7261f4cb6ae6361149
cf4cd8bff22bd4bb9c82a246bc88d699695ee1d8
607cf3f885e92ace57225398fccc80cb87cef65a


