# isabelle_session_info

session_name: HOL-Hahn_Banach
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16
sources:
0c9469e4651698f44e3e228873be074985fc67b7
1056ae38f6fb0dba786d92087d6c898a3cab8b5b
1fac670295d8d00bf309e4e625e77654a76176cf
391487ee4b031686a4d99d4d12cba9a269f2fd07
5117119a178eac69d137fb85243808da2d667eaf
6fecd76a994d840cb600ddf6fd6d28a1c64e7394
81e0df68b736d3920bc374db15982283c8f02cdb
83bab2beffbf4ee896db7b96b805256be37ce7d7
982ca8168bb4e8ce61f4e8483f3957ba567b6bbb
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
9f82d4e53459f814981e858cec3d927c6169fcd3
a22c745b98f17c67580b11d999e0fdab40574786
a6c7bd12a516b1b524b6be77e1594789f2b4dd86
b631e23bb03424d49e1b2efbc9665518164053ad
b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec
c1486f73e51f6ecc1a9a3f0f929cf903dd647a3a
c33aa91be9218d9708ae860341b6d5389961103b
c67aad73bc9fcebdc38c8c564d8e76064050e392
c9a7834754ca020e75afb9d98e309c88e75bfb0a
cb6567777c626bb2dda43b488ad022e4266a7922
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d197f05538956a2f8a253ced34db1635ff8c081e
e98d989b0d56b347c6ee1a9d61645ae944ef72e3
f7d7695b21718df39e8a80a5c0e149dd8fdcff3e
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90


