# isabelle_session_info

session_name: Deep_Learning
sources:
0dbf78b0b811995ab9f79a28b390d18546861883
1113049baef563da48ea4822b64140e66f0b450e
1688c0f9dca71febadfb2f8861ce170271acf702
1b27dce7bcb1a8ae39535dd442374cf591f8771c
1cb64b3627e37e0f1302bcb6df18f172d2047cb5
1cc7660e8e2e874a4e038aa7afb7e08ffe0aff0b
1fe1cc2082fbff14aa57e5681114d235ee340537
248a612599283c0e826b49628985f1ea404f827a
45e3a0ae8b53f26c71dd4690d0fa8c867c09141a
45f84ce14ba851bfa152356861fdcb8a1fb113e9
46d140fc7c1603b49294ce1443faddb51b8d0e56
54ffceb728565cece1856e0821d1d265233ac1b7
5b19b6b48b5d2441f61d9bea7f7bcf47425e0d4a
5b9095886c1282ef691b48a4991e4d13c4b03e2f
6b751493a8a73b04c7c9811fab45f64cdf8ed586
7037d08306c131d7b501dd6d9d9b136ae8062c64
7f0e9b58c5bb125343d39a926f74ec0b8074e174
823a35c43cf4366fa07fd122163f59ea532565c4
8980a0436842223ae7f1a87f53dc88bf7a0b8d25
8bf06809f51d116ed48d4c6c7f935bfd4372c6e2
945079443c6e65b40625130f7952352e6beaec4f
992139f4f75b163d0ba06c6fba181656a5ef6901
a0b953dd32ec38fc3fd8fd0e07304729ddb65284
a16cb0cb6b695208f04c44ce0bc000998712da51
a47a7ffe90a3007671efd8c4f6eea91626310b29
acb5064ca56ce35699cb872129f4a8275eb9650a
c26ca68532159419c93a7dbdd2a6552543b0f133
ccb510f486bc995bb0a75fad3dc04cb7af302917
d005c9e8bc8536a9dff49f5ee76ebc2dc66b9648
e1f4f79c2ca0a7f77c56f5d5fa951aec1913cad8
e2929ff6073a987dca1252a70884542c2178ca5c
e33d10fd30a4b3ac687dcf482b783280e920e8bf
e87c96b2b10a3d1c7bf767e808f6a15fac916ade
eb7ab09f14269ecc99c7fe5dea366b6cb93aeec7
ee78827cbb78736adfda55d03ac5183a9c9205a0

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f
3d4014483414825c400089dffb34dee8f3340d83
9bb1c56ae33f9648a43f69c1a75cff22f45c4b29


