# isabelle_session_info

session_name: Deep_Learning_Lib
sources: 2939f1f467539d6a95d0b7238d14ac822e6fa3a1
output_heap: 4fe4c8a164c5bb2183ed82d2b889635e1f74f769
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
4f980edf476e1d267841215178fca737808515ef
058f9ae2f545853b9ac66d3443f26d23073423d9


