# isabelle_session_info

session_name: Deep_Learning
sources:
021b738ebe8a9218bcc7d2a6d1fbd84e2f5843b8
062a08f9afb5357c2cd0a6a2d970b16c528bc9eb
0719130376fd2010b82bca692cf5d308d4e260d5
0dbf78b0b811995ab9f79a28b390d18546861883
149b89b325a3c636005e1862ee7daf8936f9d85a
1688c0f9dca71febadfb2f8861ce170271acf702
19b3bbb9db4dd163e21556d1b596f478e7b04bfd
1b27dce7bcb1a8ae39535dd442374cf591f8771c
1cc7660e8e2e874a4e038aa7afb7e08ffe0aff0b
2c70432ef1b55fade30a0fe3c7c07bf843120b7b
349062f58f110797db443e291e5213162c4ac144
39d852ef56e1f2b56cd49dfbe07aedee31909552
43cde492cddd9d4952e9637f3147221f271d2d0f
5357711d1bb3d32e89d535099edc0f5be4e4c7ed
53a4e4d95fd5bc249da2333077ed5d628fa76330
54ffceb728565cece1856e0821d1d265233ac1b7
5b19b6b48b5d2441f61d9bea7f7bcf47425e0d4a
5b9095886c1282ef691b48a4991e4d13c4b03e2f
6e1b818072e78326abbc519665182c7acbda382d
75f6a574447131f6e677f20bdd7e0a2146cbf367
7f0e9b58c5bb125343d39a926f74ec0b8074e174
93fae16d76e480ea9cc4c64f6850ffd44555d3d5
945079443c6e65b40625130f7952352e6beaec4f
9b4343faf8f2755b32e6b53f5e69bac650f1ff04
a16cb0cb6b695208f04c44ce0bc000998712da51
a4863d702d0a3a34f4343c64d21bbd9bd79b36aa
bc03e1702b0f992bfbaa345dc0e258fbd6ae754a
c26ca68532159419c93a7dbdd2a6552543b0f133
d074e17178b0a168119e9cdd64f288a4cf008e39
e2929ff6073a987dca1252a70884542c2178ca5c
e33d10fd30a4b3ac687dcf482b783280e920e8bf
eb7ab09f14269ecc99c7fe5dea366b6cb93aeec7
f6dbb45605976e975f00eca554d4e8bb8d6d58d5
f7937ee0447f556081527761c601cab674415ae4
ff00960f10e05858261d4c13adf1ad4c882f6a70

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
8604b41f1e451262fcd1286c482b758b73d1c934
2171a9640c882a444ab08dd88e02b67368cfa3d2
f0417a96d1122ebb466f01b001cb623414b7dec1
3728491a93400476bea58d2c3f14f767aa7bdc21


