# isabelle_session_info

session_name: Deep_Learning
sources:
0cebccd8e186288cd68c73e0609904217b9d978d
0dbf78b0b811995ab9f79a28b390d18546861883
111db9c3403ef2a283370949ce8481463033ca3c
149b89b325a3c636005e1862ee7daf8936f9d85a
1688c0f9dca71febadfb2f8861ce170271acf702
1b27dce7bcb1a8ae39535dd442374cf591f8771c
1cb64b3627e37e0f1302bcb6df18f172d2047cb5
1cc7660e8e2e874a4e038aa7afb7e08ffe0aff0b
1fe1cc2082fbff14aa57e5681114d235ee340537
248a612599283c0e826b49628985f1ea404f827a
45e3a0ae8b53f26c71dd4690d0fa8c867c09141a
46d140fc7c1603b49294ce1443faddb51b8d0e56
46ef6ec7942e7335c3e552eeda2ddeec31c0aa92
54ffceb728565cece1856e0821d1d265233ac1b7
5b19b6b48b5d2441f61d9bea7f7bcf47425e0d4a
5b9095886c1282ef691b48a4991e4d13c4b03e2f
6b751493a8a73b04c7c9811fab45f64cdf8ed586
6b9baee0939b495213b438797afdce6eab979e94
7f0e9b58c5bb125343d39a926f74ec0b8074e174
8980a0436842223ae7f1a87f53dc88bf7a0b8d25
8bf06809f51d116ed48d4c6c7f935bfd4372c6e2
945079443c6e65b40625130f7952352e6beaec4f
992139f4f75b163d0ba06c6fba181656a5ef6901
a0b953dd32ec38fc3fd8fd0e07304729ddb65284
a16cb0cb6b695208f04c44ce0bc000998712da51
a4863d702d0a3a34f4343c64d21bbd9bd79b36aa
acb5064ca56ce35699cb872129f4a8275eb9650a
bc03e1702b0f992bfbaa345dc0e258fbd6ae754a
c26ca68532159419c93a7dbdd2a6552543b0f133
e2929ff6073a987dca1252a70884542c2178ca5c
e33d10fd30a4b3ac687dcf482b783280e920e8bf
e87c96b2b10a3d1c7bf767e808f6a15fac916ade
eb7ab09f14269ecc99c7fe5dea366b6cb93aeec7
ee78827cbb78736adfda55d03ac5183a9c9205a0
f654fe03df93fc3f122876ac13c418c63ab8e1a6

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
6a3b5f35a47c619c2090fbc84ef59d242c963bdb
f013446ba76027b3286f5b8e02f8911162859882
e10af832a830686e469df2bb65936697791c0a85
0af3ffe6e292f2435151ab6bd9f2a1b9fda8510b
bfeb55f889a93e1f70ec57393c4dae3b40360df4
26b6044cf98a272b56818ecfb523257da740afb3


