# isabelle_session_info

session_name: Deep_Learning
sources: 8e1e8cac7f15a7e1ed8c9cb483eb4ee37d65adee
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
3109ebb80bade0add97a25bda6f087f50eb33144
7e2e0eff77da80b156d0c2ba00ff916952c078ca
123e7048f994441268c6d8909d4b0741cfd12196


