# isabelle_session_info

session_name: Deep_Learning_Lib
sources: 2914a570057c28d2c3cd4b66537af38015a12027
output_heap: aecf57ed5e549c271132b021b001cc38519a4e59
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
9d950ef2235e5522a76e629acdb6a81b4f1fea5d
cd96e2c62333de16e9a0e50c2c37033f2dc0f745


