# isabelle_session_info

session_name: Deep_Learning
sources: 58c072f6a641a4271ff3ab72cbbb6bc3e1e4998d
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
4e1edfe7234d69db0c391af4bc472f546b8db87f
7b09aac4b44a5155c5fe7accb0f2e57b63cf4d03
41acc1dda85ddc4fa46fc7fa4fbb35982b16f170


