# isabelle_session_info

session_name: Deep_Learning
sources: 487a69d456d44a621e0da4cf34aef57d69fc12a2
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
e58c0b53d135d2468d83139943d3835239d94d2e
59bedaa090758dadb6cf61e44de79f384afda49e
a74f7609bfd67dbd153c851e2bb135000e159cbf
747e333270518ce60c15dc34844eeecc95a83f48
c4a2d1cda80a58662c70d751475f967b0cbe5c74
e777b9b8d5585427e03a7f9a80b8b89230f803a9


